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

2026-10-09

Transaction Science

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

- 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]>

5767799cc3

• View at this point in history

2026-10-09 04:41:30 -04:00

Transaction Science

wai-quantum 0.3.41 ...

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

401d3bcbd1

• View at this point in history

2026-10-09 04:01:33 -04:00

Transaction Science

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

1ec4ee2062

• View at this point in history

2026-10-09 04:01:20 -04:00

Transaction Science

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

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]>

36a39494b8

• View at this point in history

2026-10-09 03:59:54 -04:00

Transaction Science

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

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

2c5df283a4

• View at this point in history

2026-10-09 03:29:04 -04:00

Transaction Science

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

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

62078ff370

• View at this point in history

2026-10-09 03:05:48 -04:00