docs: 新增任务书 03-ledger

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-02 02:36:47 -04:00
parent ca2cd52caa
commit e46fce654a
2 changed files with 187 additions and 1 deletions
@@ -24,6 +24,7 @@
 - 提交的字段定义放 vocab，submissions 只判收不收；vocab 只放两个函数（规范序列化、哈希）。用户原话："我都同意"。
 - vocab 上限改为 1100 行（多出来的主要是发给模型的字段说明）。用户原话："同意 A，vocab 上限改为 1100 行。结构.md 由监督者改，你不用动。"
 - 每份预测只对一个候选、每份挑刺只针对一个目标；入口、因子、实现条款的编号由程序按位置分配；实现提交不设代码字段（程序从工作目录冻结）；运行结果用"没启动 / 正常退出 / 超时 / 被取消"一个字段表示启动与结束；四种 token 数都可记测不到。用户原话："3、4、5、6：同意保留你的写法。方法.md 第五部分的表（入口编号、实现的代码字段）由监督者改。"
+- 账本改为一张只追加的表，12 种记录都不能改（ca2cd52）。用户原话："同意全部只追加"。
 - 计算时间不再是预算，只记录；预算只有运行次数（42347e4）。用户原话："CPU 秒不当预算但是要记录"。
 - 解释的每格三个数改为可选，关掉消融时不交。用户原话："同意 A：解释的 cells 去掉 minItems，改为可选"。
 - rules 的约定（方法.md 没写死的地方）：入池 P < 0.5 严格；采纳和消融中发现都要严格大于采纳线；成本用 max(0, ĝ₀)；没测的格附"含它的最好组合"的净值；战绩在分数原值上判；编号一律按自然序比较。用户原话："1–8 都同意"。消融成分权重跟随 λ、分歧量不掺开放预留，由用户改进方法.md（a050771）。
@@ -66,4 +67,4 @@

 ## 下一步

-任务书 02（rules）已核对通过（60c21ae）。下一个是 ledger。
+任务书 02（rules）已核对通过（60c21ae）。`任务书/03-ledger.md` 已写好，等用户另开 Agent 执行，监督者核对。