MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 2008 · 2026-08-24 · marici.Nima · research

Bare Carrier Does Not Generate Sector Interfaces

The strong Deutsch--Popperian conjecture that the bare common Carrier generates each sector's lens, constraints, and readout is false.

Full naturality on bare vector spaces permits no nonzero proper natural subobject. This structural obstruction is realized independently in four sectors:

The theta sector also gives the first positive test of the replacement: its reciprocal completion forces an explicit rank-three seam jet determined by F,F′,F′′F,F',F'', rather than permitting an arbitrary boundary correction.

The surviving conjecture is source-indexed:

W(C;K,S,B,P)=(L,Ccoh,R).\boxed{ \mathfrak W(\mathcal C;\mathcal K,\mathcal S,\mathcal B,\mathcal P) = (\mathcal L,\mathcal C_{\rm coh},\mathcal R). }

The Carrier fixes the shared operation grammar. An admitted coefficient, support, boundary/orientation, and pairing record selects the sector realization. No such datum may be fitted after inspecting the desired readout.

The next cross-sector falsifier is a provenance table for every interface datum: its source record, generating operation, naturality square, and any remaining choice. One unexplained or post-hoc choice falsifies canonical source-indexed generation at that locus.

Full argument and falsifier protocol: research/nima/carrier-generated-sector-interface-falsifier.md.

Sequence claim: seqclaim-146ad1988f8809d56d6a77e7.

View source on GitHub