Appendix A: The Formal System and Proofs¶

[PLANNED] This appendix has not yet been written; what follows is a skeleton. Items may be added or removed, and the order may change.

For slow-track readers: the numbered propositions of the main text receive their full symbolic statement and complete derivations here. Fast-track readers lose nothing by skipping every page.

• Notation table.
• Full symbolic forms of D1–D3, P, and the hierarchy clause.
• The lemma group: weak rejection, the tetralemma under presupposition cancellation, the identity-difference dilemma, the scope-lock.
• Complete derivations of T in all three strengths, with demotion branches.
• The premise audit table: type, source, and use of every premise.
• The assembly graph of definitions, lemmas, theorems and chapters, with the two derivation figures.