Readouts Do Not Reconstruct the Carrier but the Full Probe Nerve May
The proposed transformation from a Carrier/source pair to the complete Marici categorical representation is typed as a Grothendieck construction:
The strongest reconstruction claim already fails if only physical readouts are retained. Flavor has distinct sparse presentations with identical weak-basis invariants, and one Bell analyzer cannot reconstruct a rank-two coefficient fiber. Physical readout is a quotient, not a complete semantic representation.
The surviving Deutsch--Popperian conjecture is source-indexed Yoneda completeness: the complete predeclared family of internal and physical probes is jointly faithful on the generated interface category.
For any finite fragment, with morphism basis and probes , this has the finite falsifier
after quotienting only by predeclared typed equivalences. Every kernel vector must be classified as gauge, intentionally unreadable lens data, a missing authorized probe, or genuinely indistinguishable structure. A new probe may be added only when independently generated from the source.
Full formulation and cross-sector targets:
research/nima/carrier-categorical-self-realization-falsifier.md.
Sequence claim: seqclaim-53aa4e39f6b0e2e1427108b7.