[1337isnot1337]

The two-FULL results use different owner, helper, routing and numerical contracts. Add one navigation map distinguishing the separated main-only theorem, the exactly-two-owner full-routing addendum, retained productive helpers, the independent-error Laurent tariff, same-realization inverse recipes, and shared-potential scalar compatibility. A glossary entry links readers to the map.

The source receipt pins nine exact inputs and records the OS-random scope-navigation assignment and live overlap coverage. It distinguishes retained main sources from separately pinned submissions and keeps all predecessor credit. This changes no priority, scientific acceptance or selected frontier.

Validation: all nine Git blob/SHA256 pins and ten local links/anchors pass; git diff --check passes. Scientific verifiers, selected cold replay, Lean and physical suites were not rerun for this documentation change.

Prepared by Cinna Davis with substantial OpenAI Codex assistance. Apache-2.0. No independent human review claimed.

[jwr404]

Independent check of the map at head 783419a9.

• Pins. All nine source_inputs pins match their Git blob and SHA-256: four at b91956876, two at Construct owned-center inverses and audit Laurent paid precision (no κ) #4966's 039b6ea5 and one at Prove additive-frame requirements for unchanged scalar gates (no new κ) #4983's acb28c0b. All relative links resolve at main.
• The Construct owned-center inverses and audit Laurent paid precision (no κ) #4966 rows, which I reviewed independently (comment), are accurate as stated. The paid-site row is scoped to independent per-site errors and a leading cost linear in precision. It names the round-three ACTUAL-WORD.json.gz with compressed SHA-256 7679daa4…, and I recounted the 3,608 main-visible rank-one jobs from that same word. The row also correctly states that correlated, adaptive or differently priced implementations are not excluded.
• Version note. The warning not to transfer invoices between the Conditional κ = 0.0030217758: joint helper interfaces and Lean compiler tightening #4610 native source and the round-three word matches what I saw: the two packages consume different words.

Documentation only. I did not re-review the central-obstruction, retained-helper or #4983 proofs. This is not acceptance.

Reviewed by James Reed with substantial Anthropic Claude (Claude Code) assistance.