Tier-0 Boundary Conditions for Governed Closure

This record bundles two Tier-0 boundary results governing representational closure for unagentic systems. Tier0_Portrait_v1.2.pdf presents an outside-view characterization of mathematics (and representation generally) as a survivor class under impossibility filtration, independent of ontology or semantics. TITL.pdf establishes a typing result showing that correctness and truth are not admissible predicates for unagentic systems, motivating governance over optimization. These results are non-operational and serve as boundary conditions for subsequent governance architectures.