Claim-status and source ledger

The labels in the following ledger have distinct meanings:

• Source record: a claim reported in the supplied landmark excerpts;

• Proved here: a result proved for the objects defined in this manuscript;

• Assumption: an input needed by a conditional result;

• Open bridge: a construction not supplied by the present proofs.

{@{}p{0.25}p{0.20}p{0.48}@{}} of the incorporated components.
Component & Status & Exact boundary
Component & Status & Exact boundary

Em06-B scalar concentration and ordered interface & Source record; Fock form proved here & The source's full relational input map, classical metric estimates, and plateau constants are not independently audited by their restatement.

Fock domains and number estimate & Proved here & Uses the stated field normalization, analytic-vector theorem, and finite residual number expectation.

Compact-test map & Proved here & Explicit flat-space mass-shell map only; not a construction on an arbitrary metric or microtubule geometry.

Scalar–biological correspondence & Open bridge & Requires participating states, observations, an encoding or comparison map, and an error in the relevant metric.

Time-uniform concentration & Conditional theorem & The environmental number-moment inequality and its domain justification are inputs.

Attenuation two-budget example & Proved here & A specified oscillator and independent bath model, not neuronal environmental dynamics.

Coherence witness and recovery distinction & Proved here & Relative to the selected dephasing and accessible channel; does not exhaust every quantum resource.

Input and preparation allowances & Conditional theorem & Input-map constants and moment-compatible preparation control must be instantiated.

Detector noise & Proved model & Independent additive noise gives a convolution POVM; general dynamics are not identified with this noise.

Sequential probabilities & Proved here & Require named instruments; ordered Weyl expectations alone are insufficient.

VII-H-type response & Benchmark proved here & Free massless vacuum, fixed source sign and Wick-square calibration, scaling degree at most four.

Response transfer or physical detector & Open bridge & A response distribution does not itself construct an instrument or a biological susceptibility.

VII-J/VIII-C-type support & Finite theorem proved here & Complete block-channel schedule; physical causal containment needs an independent embedding.

Mechanism identification & Conditional certificate or obstruction & Requires complete record laws and a common oriented statistic after nuisance and implementation errors.

Finite regularized reduction & Proved comparison model & Mass profiles, regularization, and interpretation are declared inputs; no continuum physical law is derived.