Debugging and quantifier audit

Claiming the edge witness forces every total smearing to be nonzero & Smearing, equation-zero classes, switch terms, and possible cancellations must be checked on the actual data.

Claiming a second-order term repairs a nonzero first coefficient & Formal orders cannot cancel that lower coefficient while the prescription is fixed.

Keeping a nonempty main plateau at $g=0$ & Zero switch is a separate diagnostic specialization with a trivial plateau algebra.

Using a classical evaluation as a quantum state & ${\mathrm{ev}}_u$ is a degree-one solution pairing, not a state or quantum expectation value.

Turning a finite table into a field detector & Only supplied evaluations or enclosures are encoded.

Equating every history label to one event time & At one fixed event, exact matching of distinct labels is deterministic.

Identifying scheduled ancestry with a derived cone & Physical containment uses separately certified regular dependency routes.

Calling endpoint SWAP a derived local Hamiltonian & The finite tick-boundary permission is an explicit operational input.

Preserving stale empty-author declarations & The title and PDF metadata identify Ngo Cheung, as in the supplied predecessor documents.