The quantum-sim extension now specifies both capabilities to the bit. Its header
and section 1 name wai.quantum.circuit2 for new content and wai.quantum.circuit
as frozen. Section 2 states the little-endian layout, overflow-free section
bounds, the refusal of a repeated known section, and the three refusal classes
in the order a reader checks them. Section 2.1 gives both canonical contracts,
the ext convention, the circuit/1 reader rules and circuit2's byte-canonical
rule, and defines wai.det.amp64 and the meaning of wai.det.fixed64 inside a
circuit/1 contract. Sections 2.2 and 2.3 state the op-log and measurement rules
per capability. Section 3.0 states the shared arithmetic, the index convention
and the gate matrices. Section 3.1 gives the exact circuit/1 recurrence and the
deviation of every entry and no longer claims that table gives the QFT. Section
3.2 defines the circuit2 table as the nearest integers, makes the literal table
normative with its digest, and gives the interval-certified derivation as
informative. Sections 4 to 6 state the hash and sampler layouts, the error per
capability and how receipts name their capability, and a new section 8 says
why circuit2 is a capability of its own, what older readers do, and which
circuit/1 payloads become non-conforming.
Appendix B holds both phase tables and digests, rendered from PHASE_V1 and
PHASE_V2 by a new wai_quantum_vectors appendix subcommand. A bin test fails when
the text differs from the constants, and the referee requires Appendix B to
state its literal tables; wai-conformance now triggers on the extension.
SPEC.md names wai.det.amp64 and lists the newly non-conforming circuit/1
payloads. The registry adds wai.det.amp64 as an identifier and annotates
wai.det.fixed64, and the export is regenerated. The crate rustdoc, the crate,
wai and quantum-conformance READMEs, and the changelog describe both
capabilities, the corpus coverage and its limits, and the 0.4.0 migration.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
95849040e3