universalSubstrateAccessOperator
plain-language theorem explainer
For any complex-linear map L on the eight-tick signal space, the joint operator id ⊗ L on the matter-channel substrate is the universal witness that recovers L as an induced channel under the canonical recognition probe. Gravity Track 2.C cites this construction to show every amplitude-linear channel arises from substrate access. The body is the standard tensor-product map of the identity with L.
Claim. Given any $\mathbb{C}$-linear map $L : \mathrm{Signal}_8 \to \mathrm{Signal}_8$, define the joint operator $R_J := \mathrm{id} \otimes L$ on the joint substrate (matter factor tensored with the eight-tick channel factor). Under the canonical recognition probe (constant matter state $1$, channel coordinate $0$, calibration $1$), the induced channel of $R_J$ is exactly $L$.
background
Track 2.C studies operational channel responses on the eight-tick signal space $\mathrm{Signal}_8$ and asks when such a response arises from a single linear operator on the joint substrate (matter tensor channel). Substrate access means: prepare a matter probe, apply one joint linear map, read one channel coordinate with nonzero calibration. The named principle ArisesFromSubstrateAccess packages that recovery.
Earlier sessions reduced forcing of amplitude-linear channels to a substrate-locality hypothesis. This module closes that thread by proving the hypothesis is forced: every amplitude-linear channel is the induced channel of some joint operator. The joint substrate is the tensor product of a matter factor with $\mathrm{Signal}_8$; linear maps act by tensor product of factor maps.
The companion canonical access data pairs the constant-$1$ matter probe with channel index $0$ and calibration $1$. Together with the operator defined here, that access exhibits any amplitude-linear witness as substrate-induced.
proof idea
One-line definitional construction: the joint map is TensorProduct.map LinearMap.id L, i.e. $\mathrm{id} \otimes L$ on the joint substrate. No further lemmas are invoked at the definition site; the nontrivial content is the later calculation that the induced channel under canonical access equals $L$ itself.
why it matters
This is the universal witness that retires the substrate-access hypothesis as an independent input on Gravity Track 2.C. Downstream, arisesFromSubstrateAccess_of_isAmplitudeLinear instantiates the existential by feeding any amplitude-linear witness $L$ into this operator plus canonical access. The induced-channel identity universalSubstrateAccessOperator_inducedChannel is the calculation that makes the form universal.
The master certificate SubstrateSemanticsUnconditionalCert and the one-statement theorem unconditional_substrate_semantics_one_statement record the closure: substrate access is equivalent to amplitude-linearity, so the locality principle is derived rather than assumed. In the Recognition chain this sits on the eight-tick octave (T7) signal space and the joint linear semantics of recognition observables; it does not itself force $\phi$, $D=3$, or the mass ladder, but it clears the last load-bearing hypothesis on the quantum-channel no-go side of Track 2.C.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.