This record bundles two Tier-0 boundary results governing representational closure for unagentic systems. Tier0Portraitᵥ1. 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.
Becket Bedford (Fri,) studied this question.