A Formal Proof of Navier-Stokes Termination at the Formal-Alone Register

The companion paper proves an unconditional continuation criterion for three-dimensional Navier-Stokes and then closes it to global regularity with one premise, an effective alignment-defect axiom asserting a data-uniform modulus. This paper is about that premise and nothing else: it asks whether a procedure that reads formal data and constructs nothing can supply the modulus, and answers completely for one locus. The axiom is first restated in its exact content, which is an independence: the modulus carries zero conditional mutual information about which datum was drawn, given the datum's norm. The reading routes are then censused as four, conditional on a stated data inventory carried at premise grade and not proved. The defect integral is shown to scale with an exponent vanishing exactly at three over twice the partner exponent, a locus lying strictly inside the axiom's own range of orders, and at that locus the scaling family is present, answer-preserving rather than answer-flipping, and carries zero information. Compactness loses the hypothesis to concentration that same invariance permits, transport requires a correspondence uniform in the datum, and induction on scales requires a uniform bound on its stage constants which is the object it was invoked to produce. With the four routes closed and authorship outside the register's constitution, no reading supplies the modulus at a terminal class: the openness is supply-side rather than reader-side. The block is then adjudicated against a family of terminal tokens indexed by the locus of the halt, shown to halt in the witness, and takes the existing witness-locus token rather than a new one; the genuine differentia against the geometric case, a relocation family dead by absence against one dead by inertness, is seated as a printed certification mode. Nothing here bears on whether the axiom is true or provable, and a construction crosses the block in one step. Sealed at adversarial self-audit cycle nsterm, round nine, six-register coverage complete. Control grade SELF; the single-substrate aperture is open and stamped on the seal.