Kernel minimality and categoricity

The construction uses three distinct notions of uniqueness, and the document keeps them separate. First, at E0, the operative claim is minimal constructive sufficiency: the five generator symbols, ρ, and K0 – K6 are claimed to be the least symbolic source able to carry address structure, topology, holomorphy, self-enrichment, and the E1 carrier. Fewer generators should collapse the construction; additional generators should be redundant or break canonical closure. Second, at the Central-Theorem level, the rank-(3,15) categoricity check says that the relevant fibered product with an ABCD chart satisfying K0 – K5 is canonically isomorphic to τ^3; at that rank the moduli space is pt. Third, classical model-theoretic categoricity – one model up to isomorphism over arbitrary models – belongs to the later E3 self-hosting problem, where τ can represent formal systems, model talk, and its own kernel internally. This dossier uses the first two notions and defers the third.