Corrections and assumption audit

Undefined state-label notation is replaced by explicit $\mathrm{state}$ or named quantities.

Continuous instruments are defined through their integrated maps; an outcome density is not incorrectly required to be trace nonincreasing pointwise.

The scalar calibrated obstruction establishes overlap, not whole-family containment.

Matching is required across stages, controls, and histories; proportionality is not inferred from a generic force-noise label.

Raw external calibration and interval-constrained inference are different experiments.

Heating denotes the diffusion contribution unless other dynamical contributions have been subtracted.

The homogeneous-sphere nonquadratic coefficient is exactly $-5041/81920$.

Regularized sign is proved for the complete integral, not inferred from selected spectral nodes.

Numerical sign certificates retain quadrature, tail, nodal, and parameter-cell errors.

Packet operator-norm estimates explicitly require disjoint supports and an isometric embedding.

Nominal separation cancellation does not remove uncertainty in the actual squared-separation template.

Positive log contrast is not automatically a positive single-copy bounded-statistic gap.

Log-confidence propagation requires a positive visibility floor and positive calibrated detector sensitivity.

Fisher weighting uses complete constrained probability coordinates, or an appropriately transformed reduced metric.

All statistical sample counts refer to attempted runs; calibration coverage, success probabilities, reset time, and correlations require separate accounting.

No numerical or compiler execution record is fabricated.