Formal Developments

These papers develop particular elements of the programme beyond the synthetic treatment of the books. They refine definitions, formalise specific constructions, and derive regime-level consequences without claiming to restate the framework as a whole.