arisesFromSubstrateAccess_of_isAmplitudeLinear
plain-language theorem explainer
Every amplitude-linear channel response on the eight-tick signal space arises from substrate access of some complex-linear joint operator. Gravity-track workers cite this when retiring substrate locality as a load-bearing hypothesis. The reverse half of the characterisation uses a universal witness: the joint operator built from the amplitude-linear witness under canonical probe access. The proof is a short term construction that unpacks the linearity witness and matches the induced channel.
Claim. Let $R_C$ be a map on the eight-tick signal space. If $R_C$ is amplitude-linear, then there exists a $\mathbb{C}$-linear operator $R_J$ on the joint substrate such that $R_C$ arises from substrate access of $R_J$ (via some recognition probe access data).
background
Track 2.C studies operational channel responses on the eight-tick signal space Signal8 and how they sit on the joint substrate (matter probe tensor channel coordinates). Amplitude-linearity means the response is induced by some $\mathbb{C}$-linear map $L$ on Signal8: the channel acts by applying $L$ in amplitude, not by a density-only functional of intensities.
Substrate access is the named principle that a channel response is recovered by preparing a matter probe, applying one joint linear operator once, and reading a calibrated channel coordinate. Earlier sessions reduced bare amplitude-linear forcing through factor-product and section-readout hypotheses down to this substrate-locality form. The present module closes that thread by showing the form is forced by substrate semantics rather than assumed.
The universal construction pairs a channel-linear witness $L$ with the joint operator that acts as the identity on the probe factor and as $L$ on the channel factor, read under the canonical access triple (unit probe, base index, unit calibration).
proof idea
Unpack the amplitude-linearity hypothesis to a witness $L : \mathrm{Signal}8 \to{\mathbb{C}} \mathrm{Signal}_8$ together with the pointwise identity that $R_C$ equals the action of $L$. Exhibit the existential by taking the universal substrate-access operator built from $L$ and the canonical recognition probe access.
It remains only to check the arises-from-access equation. Extensionality on signals, rewrite $R_C$ by the linearity witness, then apply the pre-proved calculation that the universal operator induces exactly the channel of $L$ under canonical access; symmetry of that equality finishes the goal.
why it matters
This is the reverse arrow of the substrate-access characterisation: amplitude-linear channels are exactly those that arise from substrate access of some joint linear operator. Downstream, the biconditional packages both directions, and the unconditional certificate records this arrow as arises_of_amplitude_linear.
In the module's closure narrative, Sessions 85–124 had successively weakened hypotheses until substrate locality remained. This theorem retires that principle as load-bearing: every operational amplitude-linear observable already admits a universal substrate-access witness, so the hypothesis adds no force beyond amplitude-linearity itself. That is the unconditional substrate-semantics universality claimed for Track 2.C.
Within Recognition Science gravity work, the result anchors the claim that joint-substrate linear access characterises the minimal semantic content of channel observables on the eight-tick octave, rather than imposing an extra structural axiom.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.