Claim-status and debugging ledger

• Classical versus quantum randomness. Shared classical randomness is admitted. Preshared entanglement or another correlated retained quantum system changes the quantum resource class.

• Average input convention. The bound is not a pointwise limit on every input-query pair. The current pair is fresh before the conditional null mean is formed.

• Complete records. A detection-conditioned average is not the attempted-run witness.

• Calibration coverage. Error allowances must be justified simultaneously for the selected protocol before the assessment block.

• Finite-state versus finite precision. A continuous classical description of a density matrix is not a two-state memory.

• Null-class enlargement. Already quantum carriers require a process-level classical-environment bound, not reuse of the wholly classical $3/4$ inequality.

• Source relations. The Psy predecessors and supplied analytic status records are documentary interfaces, not premises identifying different models.

• Evidence types. Analytic proof, exhaustive software execution, compilation, laboratory implementation, and physical correspondence remain distinct.