The Proofs
Appendices
Reference materials, registries, and technical side surfaces that support the main anchor sequence without entering its linear reading path.
- Appendix ACategorical Vocabulary
Reference guide to the categorical terms used across The Proofs.
- Appendix BSheaves and Gluing
Background reference on sheaf language and the gluing condition.
- Appendix CDependent Types and Fibrations
Background on dependent types, fibrations, and context-sensitive validity.
- Appendix DUnivalence: What It Means Here
Reference note on the univalence ideas behind the transport discipline.
- Appendix FAnchor Registry
Registry of the formal anchors, their dependencies, and their witness-claim correspondences.
- Appendix GImplementation Formats
Technical appendix sketching interoperable formats for witnessed systems.
- Appendix HGlossary
Expanded formal glossary for the terms and objects used in The Proofs.
- Appendix IMinimum Third-Mode Interface
Operational appendix defining the minimum interface a Third-Mode system must expose.
- Appendix KMathematical Foundations
Background mathematical foundations collected for formal readers.
- Appendix LThe Coherence Topos and Vocabulary Evolution
Advanced appendix on the coherence topos and vocabulary evolution.