Reproducibility and claim status

Reproducibility and claim status

Searchable transcription

The supplement supplies the exact rational/algebraic source definitions and certificates. Positivity for
the mixed-support source is checked in Q(
√

) by Hermiticity, supported principal minors and exact basis inversion; all-word attainment follows by induction from the reset identity. The Weyl family is proved analytically and independently reconstructed symbolically. Integer enumeration checks the finite support-count argument. Floating word enumeration diagnoses implementation mistakes but is not substituted for universal proofs. The intermediate minimum-memory boundary and the exact complete-history optimum remain unresolved. Specifying a stationary CP instrument does not establish a laboratory interaction, clock, preparation procedure or energy advantage. The technical companion preserves additional bounds and alternative realizations under their separate output contracts.

Assistance disclosure. AI assistance was used for computational checks and review.