当前页面已进入跨页知识网络层:不仅展示本页拓扑,还明确它在整站里的分类、被哪些页面引用、又继续指向哪些专题与证据页。
本页已经把“入账闭环”和“执行闭环”拆开并串起来,能让读者分清资金进入金库与金库支出执行是两条不同但可拼接的链路。
可信性来自成功样本、失败样本和 timeout 样本同页并存,而不是只展示 executed 的单条喜报路径。
如果用户只想确认“金库这件事到底真不真”,建议按“地址 -> 入账 -> 阈值 -> 执行”四步走。
| 闭环 | 拓扑锚点 | 原始证据 | 上游 / 下游 | 当前结论 |
|---|---|---|---|---|
| 入账闭环 | Gas -> Treasury -> Before -> InTx -> InReceipt -> After | before/after balances + transfer tx + receipt | 上游 `economy`,回跳 `evidence_index` | 可证明金库至少已有真实资金流入样本,不是仅靠制度描述 |
| 阈值闭环 | Cfg -> Ratio / MinSign / HighValue -> query_threshold_high | `get_config` + `query_threshold_high` + timeout 负样本 | 上游 `registry` / `dao` | 可证明高价值执行会提升要求签名数,同时负样本仍被保留 |
| 执行闭环 | Proposal -> Strict -> Sign -> Status -> Approved -> Transfer -> AfterExec | `get_execution_signatures_after` + `execute_approved_try1` + `get_execution_after_final2` | 上游 `dao`,下游 `proof_chain` | 可证明高价值执行存在 timelock 拒绝与最终 executed 两阶段状态 |
flowchart TD
subgraph Inflow["被动入账来源"]
Gas["economy.html / Gas Fee Distribution 合约"] -->|"固定 10% 金库份额"| Treasury["foundation_treasury_v2"]
Donate["用户主动转账 / 自愿捐赠"] --> Treasury
DAOTransfer["DAO 已批准专项划转"] --> Treasury
Treasury --> Before["balance before = 0 umsg"]
Before --> InTx["transfer tx_hash / height 283"]
InTx --> InReceipt["receipt.transfer amount = 223456789"]
InReceipt --> After["balance after = 223456789 umsg"]
end
subgraph Config["配置与治理约束"]
Treasury --> Cfg["config 查询"]
Cfg --> Ratio["threshold_ratio_num / threshold_ratio_den"]
Cfg --> MinSign["min_signers"]
Cfg --> HighValue["high_value_ratio_num / high_value_ratio_den"]
Cfg --> HighMin["high_value_min_signers"]
Cfg --> ExecCount["execution_count"]
DAO["dao_governance_v1"] --> Treasury
DAR["dar_rating_v1"] --> Treasury
Registry["genesis_registry_v1"] --> Treasury
end
subgraph Execution["资金执行闭环"]
DAO --> Gate["dao.html
proposal passed + timelock reached"]
Gate --> Proposal["创建 treasury execution / proposal_id"]
Applicant["支出申请人"] --> Proposal
Proposal --> Amount{"是否高价值执行"}
Amount -->|"否"| Normal["按常规阈值收集签名
样本: required_signers=1"]
Amount -->|"是"| Strict["提升 required_signers + min_signers
样本: is_high_value=true / required_signers=2"]
Normal --> Sign["核心验证者动态签名"]
Strict --> Sign
Sign --> ReceiptMeta["execution receipt: execution_id / dao_proposal_id / required_signers"]
ReceiptMeta --> Status["execution 查询: status / signatures_count / last_required_signers / last_core_validator_count"]
Status --> FailFast["先验负样本: dao timelock not finished"]
FailFast --> Approved["高价值样本仍保持 approved"]
Approved --> Timelock["DAO Timelock Delay 结束"]
Timelock --> Transfer["最终执行: status=executed"]
Transfer --> ExecReceipt["execute_approved receipt / signatures_count"]
ExecReceipt --> AfterExec["执行后状态: executed / 可追 execution_id"]
AfterExec --> FundsProof["余额变化 / execution_id / signatures_count"]
Status -.-> ExecMiss["负样本: get_execution 可能返回 contract not found"]
Cfg -.-> Timeout["负样本: dynamic_threshold 查询可出现 timeout"]
end
Registry --> Map["canonical key: foundation_treasury -> foundation_treasury_v2"]
Map --> Treasury
AfterExec -.-> Evidence["evidence_index.html
before / transfer / receipt / after / executed"]
FundsProof -.-> Proof["proof_chain.html
资金面可信走廊"]