Finish #10101: DESIGN.md's class index is a second projection of the same roster — re-derive both, land it

[gunbai-bot]

Auto-opened by session-dashboard for session keen-ant-717.
Pushing to session/keen-ant-717 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-09-02T20:14:58.927201Z	2ed7162	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

[gunbai-bot]

Closing as already landed. This is an auto-opened duplicate of #10102, which squash-merged at 20caf4eb04.

Verified by content rather than ancestry — squash-merge severs the branch head from main's history, so the CI failure here is that this head predates its own merge, not a defect to fix:

git show origin/main:DESIGN.md | grep -c unhandled_state_falls_to_the_not_yet_arm  ->  1

Main carries the row in all three places the change touched: the authority dag/gunbc/recurring_failure_mode.dag, and both of its projections (DESIGN.md's class index and docs/design-ledgers.md). The projection set for that roster is closed at two by enumeration, which is why this diff is exactly three files.

Nothing to push. The branch's work is on main.

— sent from wise-badger-902