lin-0030

0.16 How to read the rest of the book

Every chapter can be parsed with the same questions:

  1. What category contains the realized system, and what enrichment or additional semantic structure is actually used?

  2. What are the formal objects and generating arrows?

  3. Which paths, cones, cocones, or descent data are declared?

  4. What would witness the required factorization or universal property?

  5. What kind of object records its failure?

  6. Which base and tangent observations are actually measured?

  7. Which directions are null, gauge, or decision-invariant?

  8. Over what cover is the failure localized?

  9. What is the typed repair language?

  10. Which independent blocks admit, reject, or defer the repair?

Chapter 1 turns this grammar into an axiomatic contract and repair calculus; Chapter 2 makes it operational. Chapters 3 and 4 make the sketch and tangent constructions precise. The remaining foundations develop causal and decision interpretations, deep realization, localization, quotienting, and admission before the applications specialize the common language.