eco-funding

viridis-eco-funding

Viridis 开源技术栈的生态资助层。 开放工具，让人们和 AI Agent 能为某个地点的生态复杂性估值、核验该价值，并模拟其资助池的运作方式。所有结果均可复现。

NOTICE. 任何实际资助池在资金流动前都需要经过法律审查。本软件不持有、转移或发放资金。它会计算生态指标并模拟资金池规则。Viridis 只构建和许可软件。Viridis 从不运营合作社、持有资金或销售金融产品。

状态： v0.1.0。采用 Apache-2.0 许可证的私有工作仓库。尚未经同行评审。D-Score 正在接受期刊评审。智能上限是一个猜想，所有使用该上限的输出都会注明这一点。

功能

部件	功能
估值核心（value_site）	纯粹、确定性的复杂性评分 K = D* x ECA，单位为复杂性公顷。它将数据丰富度（已发表的 D-Score，可选择与 GSIP 土壤指数混合）乘以已核验栖息地的等效连通面积，连通数据取自 HDFM。每个数值都会注明其数值、单位、公式、输入、不确定性（sigma、95% 区间、依据）和状态。
复杂性容量项	可选的热力学上限，B = P D* / (k_B T ln 2)，其中 P 是该地点的光合功率。C 是受连通性限制的容量，且 C 不会超过 B。另有一种算力平价表述：计算机在 Landauer 极限下达到相同上限所需的瓦数。以上均为猜想。
核验接口（make_receipt、verify_receipt）	密封回执，其中包含规范化输入、这些输入的 SHA-256 摘要、方法版本和结果。任何人都可以离线重新运行回执，并得到逐字节相同的输出。回执还可选择绑定一个 VergeCommon 公开项目，仅通过公开 GET 读取。
资金池设计（simulate_pool）	用于承诺资金、里程碑拨款和结果关联拨款的架构与模拟器。记账使用整数最小货币单位：拨款额加剩余余额始终等于承诺额，且只有满足规则后才会拨款。这只是一个模型，不包含支付代码。
MCP 服务（vef-mcp）	五个只读工具：value_site、explain_valuation、verify_receipt、simulate_pool、describe_method。支持通过 stdio 或 Streamable HTTP 运行。Agent 可从 llms.txt 和 AGENTS.md 开始。
Viridis fleet 挂载（adapters/mcp_server.py）	同样的五个工具，打包后供 Viridis Agent 网关在 /eco-funding/mcp 使用，并声明为免费通道。成功响应会通过 next_steps 边教会用户如何连接 notary、regulatory-radar 和 ghg-ledger 挂载点。它通过 fleet 的准入不变量 AA1–AA7（tests/test_fleet_admission.py）。参见 deploy/fleet/MOUNT.md。

快速开始

pip install -e ".[mcp,dev]"          # the core itself uses only the Python standard library
vef value examples/data/woodland_site.json
vef receipt examples/data/woodland_site.json > receipt.json && vef verify receipt.json
vef simulate examples/data/woodland_pool.json
vef-mcp                                # MCP over stdio
vef-mcp --transport streamable-http --port 8765   # MCP at http://127.0.0.1:8765/mcp
pytest                                 # full suite, including all seven invariants

from viridis_eco_funding import value_site, make_receipt, verify_receipt
receipt = make_receipt(site)            # site follows schema vef-site/0.1
assert verify_receipt(receipt)["valid"]
print(receipt["result"]["explanation"])

示例教程见 examples/woodland_valuation.ipynb。它为一个 VergeCommon 林地项目估值。该项目记录是合成的，因为构建 v0.1 时，VergeCommon 的公开目录中没有列出任何合作社。

不变量（每项都是一项测试）

#	不变量	测试
1	确定性：相同输入和方法版本会产生字节完全一致的结果和凭证	tests/test_invariant_1_determinism.py
2	单调性：增加经过验证的栖息地或连通性，绝不会降低复杂度得分	tests/test_invariant_2_monotonicity.py
3	界限得到遵守：复杂度容量绝不会超过声明的界限	tests/test_invariant_3_bound.py
4	守恒：释放额 + 剩余额 = 承诺额；未达成里程碑时不得释放	tests/test_invariant_4_pool_conservation.py
5	不发生资金流动：不使用支付 SDK、私钥、钱包代码或代币铸造	tests/test_invariant_5_no_money.py
6	对外只读：仅通过公共 GET 请求读取；不在任何地方写入内容	tests/test_invariant_6_read_only.py
7	标签诚实：使用智能界限的输出会标注“猜想”	tests/test_invariant_7_labels.py

docs/INVARIANTS.md 说明了每项不变量如何在代码中强制执行并接受测试。

文档

• METHOD.md：数学、常量、不确定性传播和引用文献。
• LIMITS.md：这些数字的含义和不代表的含义。使用数字做决策前请先阅读。
• AGENTS.md：面向编码 Agent 和调用这些工具的 Agent。
• CHANGELOG.md

项目定位

它读取 VergeCommon 的公共项目记录，其基础源自 EcoChain 在验证和定价方面的工作。它使用 HDFM / Dendritic Forest Management 的廊道连接和移动核，以及 GSIP 的土壤单元。其科学依据是 D-Score 和 J. D. Hart 关于智能界限的论文（见 METHOD.md）。全文使用的术语：承诺、资金池、与成果挂钩的释放。

许可证

Apache License 2.0。请参阅 LICENSE 和 NOTICE。版权所有 2026 Viridis LLC.