Manuscript Oai365-A@1 · Oai365-A.tex · section · a3840e3d

Acceptance ledger

Hypothesis and connection ledgers › Acceptance ledger · lines 1658–1705

Item	Acceptance condition	Status in this paper
Item	Acceptance condition	Status in this paper
A1	One named nonempty operational class, intervention access, and one declared represented relation.	The rich tagged comb class is explicit and nonempty. Its represented relation is the SCC component order, not supplied physical causality.
A2	Matched covariance and a non-circular extraction rule.	Proved for trial relabellings and the declared common Pauli frame. Repeated indistinguishable blocks remain subject to Proposition prop:symmetry.
A3	Faithfulness, spanning, generation, and selecting properties.	Proved on the pilot's countable carrier. The wider classification theorem remains conditional on its representation hypotheses.
A4	Compatible transport, complete outputs, arrivals, and resource bounds.	Proved certificates under a supplied realization. The moving-carrier pilot is an explicit enlargement, not an operation of the original carrier.
A5	Smooth elliptic coefficients, a valid boundary observation law, and an appropriate inverse theorem.	The scaled-ball comparison is proved directly. General boundary acquisition and $U_{C}$ remain separately required.
A6	Metric jets, source interpretation, and separation from physical emergence and Einstein dynamics.	Separation and mismatch witnesses are proved. No general dynamics-matching package is constructed.