Research Notes

This page is the technical notes index: proofs, sub-lemmas, verification notes, and supporting documents.

If you want the canonical, reader-first master index (program hubs, reading routes, and downloads), use:

• Research Library

What this page is for

• when you want the deeper technical trail behind a summary
• when you want definitions, lemmas, and dependencies in a tighter sequence
• when you are following a proof spine and need nearby supporting modules

Suggested routes

• Rigidity and Reconstruction for the flagship boundary problem and its proof posture
• Main Paper for the formal contract layer
• Proof Appendix for the checkable theorem chain and obstruction gates
• Verification Playbook for how artifacts and checks fit together
• Constants Ledger for the one-page dependency map referees care about

How to use the notes

• follow the “Related” links when a page offers them
• treat downloads as offline bundles, not required reading
• when a page links to a document by name, it points to a bundled library file rendered here