recognitionProbeAccess

Gravity Track 2.C closes the gap left after Session 111's section-readout retirement. Session 111 showed that a nonzero matter-section readout of a linear joint operator is forced amplitude-linear. What remained was the operational claim that the physical channel is obtained by such a readout. This module derives that claim from substrate locality / measurement-access: every operational channel on the joint substrate is harvested by fixing a matter probe state, applying the joint operator once, reading one channel coordinate, and normalising by a nonzero calibration scalar.

The structure packing that data is a matter probe $\psi_0$ in the eight-tick signal space, a channel index $i_0 \in \mathrm{Fin},8$, and a scalar $\chi \neq 0$. The induced channel is then defined by inserting the probe in the first factor, applying the joint operator, extracting the chosen channel coordinate, and scaling by $\chi^{-1}$. Under that definition the channel is automatically a joint section readout, so section readout ceases to be an extra hypothesis.

Upstream, the recognition-update operator supplies the cyclic-shift dynamics on the eight-tick lattice (the T7 octave), and the arithmetic fact $1 \neq 0$ is the standard unit/zero separation used to discharge the calibration nondegeneracy.

Field-by-field construction of the access datum. Set the matter probe to the constant unit signal and the readout index to $0$. Set the calibration scalar to the $0$-th component of the recognition-update of that unit signal. The nondegeneracy goal unfolds, by the cyclic-shift action of the recognition update on the constant-1 signal, to the literal complex inequality $1 \neq 0$, which is discharged by the standard unit-nonzero lemma.

Without an explicit witness the substrate-access hypothesis space could be empty, rendering the whole Track 2.C implication chain vacuous. This definition inhabits that space with the canonical recognition probe, so the principle is non-vacuously available for the Session-87 recognition-coupled joint operator and its channel response.

It sits at the top of the module's forcing ladder: substrate-access data imply joint section readout, which imply amplitude-linearity of the operational channel. That ladder is the structural reason pure-tensor factorization is no longer required as a separate assumption. The eight-tick support of the probe is the T7 octave already forced in the foundation chain; the construction therefore ties the gravity-side channel story back to the same discrete period that organises the recognition calculus.

Sibling results then show the canonical cyclic joint operator arises from this very probe, completing the non-vacuity claim advertised in the module header (structural theorem, zero sorry).