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.