Twelve prerequisites.
The circuit remains on HOLD.

Match each bound to its use.

The profile binds dataset and kernel hashes, apparatus/run, channels, time coverage, units, carrier, window and full-envelope target. The required records cover source bandwidth and spectral variation, tail leakage, amplitude, voltage range, baseline, noise/quantization, gain, timing and slope.

Wrong units, incomplete intervals, weak or statistical-only bounds, missing bytes, changed hashes, duplicate identities, circular dependencies and same-output-derived source claims return HOLD. A real packet with an unresolved apparatus/run also returns HOLD.

Structural readiness has an external trust boundary.

A structurally complete packet can reach only “ready for review.” Scientific acceptance still depends on authentic reviews of the underlying method and witness bytes. The software does not establish reviewer identity, scientific truth or actual independence.

Review receipts must match the evidence/profile and appear in an externally controlled allowlist. A caller controlling both the packet and that allowlist can fabricate apparent structural readiness; the checker does not hide that limitation.

The complete positive fixture uses fictional constructor/reviewer labels. It supplies software coverage only, with empirical admission always false.

Gather calibration evidence before physical use.

The audited circuit provides useful signed traces. Its inspected records do not establish the twelve deterministic source/instrument bounds needed for this theorem. That scoped conclusion does not prove no additional author or laboratory records exist.

Next prepare reference-calibration and source-preparation protocols with blank receipt templates. Prioritize whether timing and tail-variation evidence can meet the proposed budget. Full energy, absolute native support, primitive state clock and action calibration remain open.