[amaybaum]

Summary

This adds the owner's direction of 2026-10-26 to the review instructions. It is a new first subsection, Whole-framework scope, under the Code Review Rules in AGENTS.md. No other file changes.

The subsection says:

• Main.md is not the complete proof corpus. Reviews audit the whole framework: the companion papers and their appendices, the book's appendices, the Lean modules and the verification records.
• Trace each claim to its actual proof across documents. A proof's absence from Main is not evidence that a result is unproved: "the framework does not establish X" is a negative claim and needs §A.19's corpus-wide search.
• Classify by layer of support, and separately by conditionality.
  • Each link takes its strongest support; the claim takes its weakest link and every link's hypotheses.
  • A document that asserts more than its proof reaches is a finding, not support.
  • An equivalence is traced one direction at a time (§A.34).
• Check cross-document consistency in both directions, with the maintained, most careful statement as the anchor (§A.25 step 2). Rigor decides, not detail: a more detailed document does not outrank a less detailed but more rigorous one.
• This matters most for the quantum equivalence, the gravitational results and the Standard Model reconstruction.

Review and approval

• Independent review. It went REVISE → ACCEPT at 7ec79bfe. It was then accepted at a55ef845, which adds the owner's rigor sentence; that acceptance covers the whole subsection. R7-MSP's AGENTS.md pins are intact.
• Update. 8059b1fc merges main (eae01647, ħ framing and the θ₀ match: owner decisions O1–O7 applied (follow-up to #937) #939) in with a normal merge commit. It brings in exactly b64919cd..eae01647, and the PR's diff against main is identical to the reviewed one.
• CI. Run 40396449977 on 8059b1fc is green.
• Merge approval. The owner approved it on 2026-10-26: a55ef845 as reviewed, plus the main-merge update.

🤖 Generated with Claude Code

https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

[amaybaum]

Merge record

The merge commit is 02e73e5611c6f89ddbedb3b49968529748a0b33a on main, a normal merge commit.

Verified after the merge:

• Parents: eae01647, the previous main, and 8059b1fc, the approved head.
• Tree: identical to the tree of 8059b1fc.
• Reachability: 8059b1fc is an ancestor of main.
• Diff: eae01647..02e73e56 changes only AGENTS.md (+40), the "Whole-framework scope" subsection.
• Main CI: push run 40399411290 on 02e73e56 is green.

Before the merge:

• Owner approval (amaybaum, 2026-10-26): a55ef845 accepted as reviewed, plus the main-merge update.
• Independent review: ACCEPT at a55ef845.
• The update (8059b1fc): it brings in exactly b64919cd..eae01647, and the PR's diff against main is unchanged.
• CI: PR run 40396449977 on 8059b1fc was green.

---

Generated by Claude Code