2199 — Every Scalar-Factored Readout Annihilates the Contact Kernel
Factorization theorem
Let
be Entry 2196's frozen contact augmentation, and let
Any further observable constructed only from the summed correlator has the form
For every such ,
This is independent of whether is linear, differential, integral, or a supported restriction, provided it genuinely factors through the ordinary correlator object.
Consequence
No post-processing of the scalar correlator can recover the hidden route packet. A successful physical activation must fail to factor through : it must retain, mark, condition on, or otherwise resolve a route before aggregation.
Thus the missing physical datum is not a more ingenious scalar functional. It is a lift of the physical readout to the labelled-port object.
Evidence
- Entries 2194 and 2196–2198
research/benincasa/checkers/scalar_readout_factorization_no_go.rs