Non-import discipline

The construction begins by refusing the usual ambient supports: no ZFC universe as ontic background, no continuum, no classical first-order semantics, no spacetime, observer, runtime, physical primitives, or measurement structure. Reasoning may be carried out in CIC/Lean as an external audit language, but τ-objects themselves must be generated internally. This establishes the first burden: every later mathematical or physical object, operation, or readout must be earned from the kernel rather than borrowed from the metalanguage.