Work package A: carrier audit and correspondence

Required data. Specify $\mathcal{H},\mathcal{A},{\rho }_{ϵ}$, the spacetime test class, its one-particle map, displacement convention, domains, support restrictions, and the commutation matrix.

Completed here. Lemma lem:number, Proposition prop:compact-test, Proposition prop:finite-CCR, and Theorem thm:cutoff establish an explicit scalar-surrogate carrier audit.

Remaining target. For a biological carrier, construct matched state and observation classes and prove a carrier error. For coherent processing, construct a referenced channel comparison rather than only an effect comparison.

Completion criterion. Either a proved correspondence with a declared error, or an explicit designation as a scalar surrogate without biological identification.