Frozen theorem contract · verifier-controlled

full theorem closure

研究合同

范围、量词、假设与验收策略

路线组合

按真实机制而非 Agent 数量计数

Claim / Obligation DAG

上游否证会自动失效下游节点

Directed acyclic

公开结构化研究轨迹

目标、假设、动作、观察、否证、决策

Evidence ledger

作用域、信任等级、哈希和重放命令

Verifier policy

生成永远不等于验收

工具调用账本

PASS / FAIL / COUNTEREXAMPLE / UNKNOWN / TIMEOUT / ERROR

ID	Tool	Status	Summary	Claims	Duration	Digest

失败演化与回归记忆

最小复现、失效传播和防复发