eco-funding

viridis-eco-funding

Viridis オープンソーススタックの生態系資金調達レイヤーです。 人々や AI エージェントが、サイトの生態系の複雑さに価値を付け、その価値を確認し、誓約金プールの仕組みをモデル化できるオープンツールです。そのすべてを再現できます。

お知らせ。 実際の資金プールを運用する場合は、資金を動かす前に法的審査が必要です。このソフトウェアは資金を保有、移動、放出しません。生態系の指標を計算し、プールのルールをシミュレーションします。Viridis はソフトウェアの開発とライセンス供与のみを行います。Viridis が協同組合を運営したり、資金を保有したり、金融商品を販売したりすることはありません。

ステータス： v0.1.0。Apache-2.0 ライセンスの非公開作業リポジトリです。査読は受けていません。D-Score は学術誌の査読中です。知性の上限は予想であり、これを使用する出力にはすべてその旨が記載されます。

できること

要素	内容
評価コア（value_site）	純粋で決定論的な複雑性スコア K = D* x ECA を複雑性ヘクタール単位で算出します。データの豊富さ（公開済みの D-Score。必要に応じて GSIP 土壌指数とブレンド）に、HDFM から取得したリンクを用いて、検証済み生息地の接続済み等価面積を乗算します。すべての数値に、値、単位、計算式、入力、不確実性（シグマ、95％区間、根拠）、ステータスが示されます。
複雑性容量項	任意で熱力学的な上限 B = P D* / (k_B T ln 2) を設定できます。ここで P はサイトの光合成出力です。C は接続性によって制限される容量であり、B を超えることはありません。また、計算能力の等価性による言い換えもあります。これは、ランダウアー限界にあるコンピューターが同じ上限に達するために必要なワット数です。これらはすべて予想です。
検証用フック（make_receipt、verify_receipt）	正規化された入力、それらの入力の SHA-256 ダイジェスト、メソッドのバージョン、結果を格納する封印済みレシートです。誰でもレシートをオフラインで再実行し、バイト単位で同一の出力を得られます。レシートには、公開 GET のみで読み取る VergeCommon の公開プロジェクトを任意で紐付けられます。
プール設計（simulate_pool）	誓約、マイルストーンに基づく放出、成果に連動した放出のためのスキーマとシミュレーターです。会計には整数の最小通貨単位を使用します。放出額と残高の合計は常に誓約額と一致し、条件が満たされない限り放出されません。これはモデルにすぎません。支払い処理コードはありません。
MCP サーバー（vef-mcp）	読み取り専用の 5 つのツール：value_site、explain_valuation、verify_receipt、simulate_pool、describe_method。stdio または Streamable HTTP で実行します。エージェントは llms.txt と AGENTS.md から利用を開始できます。
Viridis フリートへのマウント（adapters/mcp_server.py）	同じ 5 つのツールを、宣言済みの無料レールとして、/eco-funding/mcp にある Viridis エージェントゲートウェイ向けにパッケージ化したものです。成功時のエンベロープでは、notary、regulatory-radar、ghg-ledger の各マウントに対する next_steps の接続先を示します。フリートの受け入れ不変条件 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 です。1 件の 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：コーディングエージェントおよびツールを呼び出すエージェント向けです。
• CHANGELOG.md

関連情報

VergeCommonの公開プロジェクト記録を読み取り、検証と価格設定に関するEcoChainの取り組みを基にしています。HDFM / Dendritic Forest Managementの回廊リンクと移動カーネル、およびGSIPの土壌単位を使用します。科学的な基盤は、D-ScoreとJ. D. Hartによる知性の上限に関する論文です（METHOD.mdを参照）。全体を通して使用する用語は、誓約、プール、成果連動型リリースです。

ライセンス

Apache License 2.0です。LICENSEおよびNOTICEを参照してください。Copyright 2026 Viridis LLC。