PT mathematics / map
Atlas of PT theorems
A reading map distinguishing identities, theorems, bridges, derivations, and validations.
The idea
An ambitious theory quickly becomes intimidating. The atlas answers a simple question: what is proved, what is derived, what is tested?
This is essential for credibility: PT must show its strength, but also its statuses honestly.
logical map
Standard reading
The atlas connects GFT, T0-T6, BA5, bridges E/F/G, physical derivations, and numerical validations.
It does not replace the Theorems page; it adds a narrative map: which result depends on which brick?
Takeaways
- Clarifies the logical strength of results.
- Protects the site against over-claiming.
- Gives new readers a map.
Technical formulation
The technical level should display epistemic categories: ID, THM, BRIDGE, DER, VAL, PRED, META.
A numerically more precise result must never be promoted if its logical status does not allow it. The atlas is a guardrail against confusion.
Monograph: frontmatter/status_ledger.tex, NOMENCLATURE_MAP.md, ch23_audit.