wai-quantum 0.3.41: the fabric — members, parity against the CPU reference, certificates, placement by joules, and the gate kernel in 32-bit lanes #195

Merged

dcharlot merged 6 commits from wai-quantum-fabric into main 2026-10-10 09:38:01 -04:00

Conversation 0 Commits 6 Files changed 20 +1371 -14

dcharlot commented 2026-10-09 04:49:55 -04:00

Owner

Copy link

What

wai-quantum 0.3.41: the fabric, wai.quantum.fabric.

The algorithm is the product; the fabric is where it runs. A quantum processor is one accelerator among others: CPU, GPU, neural, tensor or dataflow processor, FPGA, or analog Ising machine. This PR is the contract every member is held to, plus the first port held to it.

• Members (Member, FabricClass, Presence): what silicon, and how sure we are it is there. Only detected members are placed.
• Parity against the CPU reference: BitExact, Within { max_ulp, max_abs }, Statistical { fidelity, shots }, or Uncertified. Parity::meets orders requirements, and a bound never stands in for a fidelity.
• Certification:
  • certify compares the reference's and the member's outputs case by case; the parity is the worst case.
  • certify_sampling folds the classical fidelity of a sampling device's counts.
  • A Certificate names its kernel, implementation, member and corpus generator (with the seed), so whoever holds it can draw the corpus again and check the digest.
• Placement (place): the detected member whose certificate is its own, earned on a corpus unless it is a CPU's reference, and whose parity meets the requirement. Among those, the fewest nanojoules per operation; ties are deterministic.
• Receipt (FabricReceipt): a signed statement that a result was computed by a kernel on a member.
  • It binds the certificate hash, the joules and their acquisition class (energy-measurement §2.7 encoding; required for a non-zero figure).
  • Every string is length-prefixed.
  • Its figure profile, wai:quantum-fabric-id, is in §6.1, the Rust profiles, the Python verifier and an EnergyFigures view.
• The gate kernel in 32-bit lanes (lanes): the fixed-point core's gate application, written with only wrapping 32-bit add, subtract and multiply, shifts and compares, which is what a WebGPU or Metal shader or an FPGA's DSP slices have.
  • certify_lanes certifies it against the native simulator: bit-exact.
  • Native aarch64 and wasm32-wasip2 give the same corpus digest for the same seed.
• CLI: wai-quantum fabric [--circuits N] [--seed S] [--json] lists the detected member, certifies the lane port, and places.
• Registry: wai.quantum.fabric joins the unregistered receipt labels (REGISTRY.md, capabilities.json, the equality test).

Numerics decide how much parity a fabric can earn. Most accelerators carry no 64-bit float, and some no 64-bit integer. The core's gate kernel needs neither, so an integer-only fabric can reproduce it bit for bit. The floating-point modules can earn bit-exactness only where 64-bit floats and the same order of operations exist; elsewhere their parity is a measured bound.

Reviewed

Two adversarial review rounds, five lenses each (lane arithmetic, parity and placement, receipt encoding, documentation claims, integration), with three skeptics per finding.

Round one: 37 findings upheld, 7 refuted. Fixed:

• certificates bound to implementation, member and generator;
• placement requires a certificate of the entry's own;
• a bound no longer meets a fidelity;
• length-prefixed encodings, including corpus outputs;
• the energy class on the receipt;
• statistical normalises and checks for overflow;
• compare refuses a 64-bit scale;
• lanes::simulate validates;
• energy ordering;
• run-time CPU feature detection;
• narrowed docs, CLI labels, and the registry entry.

Round two: 11 upheld, 14 refuted. Fixed:

• the §2.7 class encoding (a stray leading byte read as the legacy tag);
• the §6.1 figure profile;
• certify_sampling;
• the length-prefixed control count in corpus inputs;
• non-finite outputs certify nothing;
• the lane multiply's exact range, tested on both sides of its edge;
• detection on other targets;
• the cross-platform wording.

Found and left for its own PR: the core's pinned dyadic phase table loses precision through cancellation in (1 − cos θ)/2 at 30 bits. P(12) to P(16) are off by more than a hundred units, P(17) and P(18) by 10–27 % in angle, and P(19) to P(32) carry no phase at all. The table is pinned by extensions/quantum-sim.md §3, so the fix is a corrected table under a new gateset version (cosines unchanged, sines from sin θ / (2 cos θ/2)), with new conformance vectors.

Gates

• cargo test --locked --release --features full --lib --tests in wai-quantum: 468 library tests, the 22 bit-identity pins and the other test files, all passed.
• The fabric tests alone, with only --features quantum_fabric: 11 passed in debug (0.8 s) and in release.
• cargo test --locked --features full --lib --tests --no-run (debug) compiles. Clippy is clean in the module.
• The x86-64 detection path compiles for x86_64-apple-darwin; CI's Linux x86-64 leg runs it.
• wai-rs: the registry tests (committed export, label equality) and the energy-figure tests, the new profile view included, pass. cargo check --locked passes for the wai-quantum bin, wai-quantum-serve and wai-web.
• claim_verify.py passes all 567 vectors.
• The wai-quantum fabric CLI, native aarch64 and wasm32-wasip2 under wasmtime: the same parity, generator, cases and corpus digest for the same seed.
• --locked resolves in all five lockfiles that pin wai-quantum.
• scripts/check-comparative-prose.sh and scripts/check-no-vanity-metrics.sh are clean.

🤖 Generated with Claude Code

## What wai-quantum 0.3.41: the fabric, `wai.quantum.fabric`. The algorithm is the product; the fabric is where it runs. A quantum processor is one accelerator among others: CPU, GPU, neural, tensor or dataflow processor, FPGA, or analog Ising machine. This PR is the contract every member is held to, plus the first port held to it. - **Members** (`Member`, `FabricClass`, `Presence`): what silicon, and how sure we are it is there. Only detected members are placed. - **Parity** against the CPU reference: `BitExact`, `Within { max_ulp, max_abs }`, `Statistical { fidelity, shots }`, or `Uncertified`. `Parity::meets` orders requirements, and a bound never stands in for a fidelity. - **Certification**: - `certify` compares the reference's and the member's outputs case by case; the parity is the worst case. - `certify_sampling` folds the classical fidelity of a sampling device's counts. - A `Certificate` names its kernel, implementation, member and corpus generator (with the seed), so whoever holds it can draw the corpus again and check the digest. - **Placement** (`place`): the detected member whose certificate is its own, earned on a corpus unless it is a CPU's reference, and whose parity meets the requirement. Among those, the fewest nanojoules per operation; ties are deterministic. - **Receipt** (`FabricReceipt`): a signed statement that a result was computed by a kernel on a member. - It binds the certificate hash, the joules and their acquisition class (energy-measurement §2.7 encoding; required for a non-zero figure). - Every string is length-prefixed. - Its figure profile, `wai:quantum-fabric-id`, is in §6.1, the Rust profiles, the Python verifier and an `EnergyFigures` view. - **The gate kernel in 32-bit lanes** (`lanes`): the fixed-point core's gate application, written with only wrapping 32-bit add, subtract and multiply, shifts and compares, which is what a WebGPU or Metal shader or an FPGA's DSP slices have. - `certify_lanes` certifies it against the native simulator: **bit-exact**. - Native aarch64 and wasm32-wasip2 give the same corpus digest for the same seed. - **CLI**: `wai-quantum fabric [--circuits N] [--seed S] [--json]` lists the detected member, certifies the lane port, and places. - **Registry**: `wai.quantum.fabric` joins the unregistered receipt labels (REGISTRY.md, capabilities.json, the equality test). Numerics decide how much parity a fabric can earn. Most accelerators carry no 64-bit float, and some no 64-bit integer. The core's gate kernel needs neither, so an integer-only fabric can reproduce it bit for bit. The floating-point modules can earn bit-exactness only where 64-bit floats and the same order of operations exist; elsewhere their parity is a measured bound. ## Reviewed Two adversarial review rounds, five lenses each (lane arithmetic, parity and placement, receipt encoding, documentation claims, integration), with three skeptics per finding. **Round one: 37 findings upheld, 7 refuted.** Fixed: - certificates bound to implementation, member and generator; - placement requires a certificate of the entry's own; - a bound no longer meets a fidelity; - length-prefixed encodings, including corpus outputs; - the energy class on the receipt; - `statistical` normalises and checks for overflow; - `compare` refuses a 64-bit scale; - `lanes::simulate` validates; - energy ordering; - run-time CPU feature detection; - narrowed docs, CLI labels, and the registry entry. **Round two: 11 upheld, 14 refuted.** Fixed: - the §2.7 class encoding (a stray leading byte read as the legacy tag); - the §6.1 figure profile; - `certify_sampling`; - the length-prefixed control count in corpus inputs; - non-finite outputs certify nothing; - the lane multiply's exact range, tested on both sides of its edge; - detection on other targets; - the cross-platform wording. **Found and left for its own PR:** the core's pinned dyadic phase table loses precision through cancellation in `(1 − cos θ)/2` at 30 bits. P(12) to P(16) are off by more than a hundred units, P(17) and P(18) by 10–27 % in angle, and P(19) to P(32) carry no phase at all. The table is pinned by `extensions/quantum-sim.md` §3, so the fix is a corrected table under a new gateset version (cosines unchanged, sines from `sin θ / (2 cos θ/2)`), with new conformance vectors. ## Gates - `cargo test --locked --release --features full --lib --tests` in wai-quantum: 468 library tests, the 22 bit-identity pins and the other test files, all passed. - The fabric tests alone, with only `--features quantum_fabric`: 11 passed in debug (0.8 s) and in release. - `cargo test --locked --features full --lib --tests --no-run` (debug) compiles. Clippy is clean in the module. - The x86-64 detection path compiles for `x86_64-apple-darwin`; CI's Linux x86-64 leg runs it. - wai-rs: the registry tests (committed export, label equality) and the energy-figure tests, the new profile view included, pass. `cargo check --locked` passes for the `wai-quantum` bin, wai-quantum-serve and wai-web. - `claim_verify.py` passes all 567 vectors. - The `wai-quantum fabric` CLI, native aarch64 and wasm32-wasip2 under wasmtime: the same parity, generator, cases and corpus digest for the same seed. - `--locked` resolves in all five lockfiles that pin wai-quantum. - `scripts/check-comparative-prose.sh` and `scripts/check-no-vanity-metrics.sh` are clean. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

dcharlot added 6 commits 2026-10-09 04:49:56 -04:00

wai-quantum: the fabric contract, and the fixed-point core in 32-bit lanes (WIP) ... 62078ff370

Co-Authored-By: Claude Opus 5.5 <[email protected]>

wai-quantum: the fabric on the CLI; placement prefers the reference on a tie (WIP) ... 2c5df283a4

Co-Authored-By: Claude Opus 5.5 <[email protected]>

wai-quantum fabric: certificates bind what they certify; receipts encode without ambiguity ... 36a39494b8

From a five-lens review with three skeptics per finding:

- A certificate now names its kernel, implementation, member and corpus
  generator (with the seed), all in its hash. Placement relies only on a
  certificate that is for that kernel, implementation and member, and
  earned on a corpus unless it is a CPU's own reference.
- A bound no longer stands in for a fidelity.
- The receipt and certificate encodings length-prefix every string, so
  bytes cannot move between fields under one signature. The corpus digest
  length-prefixes every output.
- The receipt carries the joules' acquisition class: required for a
  non-zero figure, absent for zero, checked by the crate's label rule.
- statistical() normalises the reference, refuses a shot total past 64
  bits, and cannot exceed one. compare() refuses a scale of 64 bits or
  more. lanes::simulate refuses what the native simulator refuses.
- A known energy figure of any size comes before none.
- Detection asks the running CPU for its vector units on x86-64 and
  aarch64 and says when it reports what the binary was compiled for.
- The docs claim no more than the gate kernel for lanes.
- The CLI labels by implementation and prints the generator; its doc says
  fabric describes the host while its certificate agrees everywhere.
- wai.quantum.fabric joins the registry's unregistered receipt labels.

Native aarch64 and wasm32-wasip2 give the same certificate, corpus digest
included, for the same seed.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

Merge remote-tracking branch 'origin/main' into wai-quantum-fabric 1ec4ee2062

wai-quantum 0.3.41 ... 401d3bcbd1

Co-Authored-By: Claude Opus 5.5 <[email protected]>

wai-quantum fabric: the second review round ... 5767799cc3

- The energy class is encoded as energy-measurement §2.7 does: tag 0 for
  an unmetered zero, otherwise the class's own tag, with no byte before
  it (a leading 1 read as the legacy HwShunt tag).
- The fabric receipt has its figure profile, wai:quantum-fabric-id, in
  the §6.1 table, the Rust profiles, the Python verifier, and an
  EnergyFigures view with a test.
- certify_sampling certifies a sampling device from its counts, with the
  weights and counts in the corpus digest.
- Corpus inputs length-prefix the control count; non-finite floats
  certify nothing even when they match; the lane multiply's exact range
  is stated and tested on both sides of its edge; detection names the
  units it probes on targets it cannot ask.
- The docs say a certificate names the member it ran on, so only its
  parity and corpus digest agree across platforms.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

dcharlot merged commit f7205ebf67 into main 2026-10-10 09:38:01 -04:00

dcharlot referenced this pull request from a commit 2026-10-10 09:38:02 -04:00

Merge pull request 'wai-quantum 0.3.41: the fabric — members, parity against the CPU reference, certificates, placement by joules, and the gate kernel in 32-bit lanes' (#195) from wai-quantum-fabric into main

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

Transaction-Science/open-standards!195

No description provided.