Skip to content

docs: record PRs #108-#110 in the ledger and date the status gates - #111

Merged
StackOverFlow11 merged 1 commit into
mainfrom
docs/ledger-catchup
Jul 30, 2026
Merged

docs: record PRs #108-#110 in the ledger and date the status gates#111
StackOverFlow11 merged 1 commit into
mainfrom
docs/ledger-catchup

Conversation

@StackOverFlow11

Copy link
Copy Markdown
Owner

两处小修,紧接 #110

  1. 台账补 docs: progress for refactor D5 C4b (PR #107) #108/test(eval): D5 C5 prep — warmup cell ceiling + migration map + audit skeleton #109/docs: split the progress log out of CLAUDE.md into docs/progress/ #110 —— 搬出来的原文停在 feat(factors): bind valley_price_quantile + fold binding.py into code_hash (D5 C4b) #107,之后三次合并没被记录。追加在新小节里,不去改那段逐字归档的原文(改它就破坏了"verbatim"这个性质)。
  2. 状态表说清 gate 数字测于哪个 commit —— 原来写 main | c9cc12e,会被读成"main 的 head",而 main 已经动了。改成"全部 gate 实测于 c9cc12e;此后只落过 docs-only 的 docs: split the progress log out of CLAUDE.md into docs/progress/ #110(pytest 复跑同为 2537)"。

docs-only;cmp CLAUDE.md AGENTS.md 逐字节相同。

The ledger text moved out of CLAUDE.md stopped at #107, so the three
merges since then were unrecorded. Append them in a new section rather
than editing the archived paragraph, which is a verbatim copy.

Also make the status table say which commit its gate numbers were
measured at, instead of implying it tracks main's head.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant