wai-quantum: what is new, what is a known construction found again, and aberrations #495

Merged
dcharlot merged 1 commit from wai/quantum-novelty into main 2026-10-26 15:45:27 -04:00

2026-10-26

Transaction Science
wai-quantum: what is new, what is a known construction found again, and aberrations
All checks were successful
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 10s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 3m1s
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 36s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 15s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 8m49s
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 22s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 9m57s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m37s
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 9s
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 9s
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 25s
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 16s
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 25s
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 14s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 4m55s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 18m8s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 17m45s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m36s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m34s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m45s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m4s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 14m26s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 9m19s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m45s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 13m14s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 4m52s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m50s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m17s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 25m20s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 49m22s
Feature 9 of the co-design report: a novelty, rediscovery and serendipity
ledger.

- engine::novelty:
  - the inspiring set: GHZ by a chain, by doubling and by fan-out, the
    uniform superposition and the toolchain's QFT, at the program's width
    (to 12 qubits), and programs the caller adds;
  - a structural distance, 0 to 1: weighted Jaccard over gate tokens (kind,
    qubits relative to the first) and consecutive pairs of them;
  - rediscovery: a program proved to make the same state (a preparation) or
    the same circuit as a known construction, never on random inputs alone,
    is named for it; built unlike it (distance >= 0.5) it is a different
    route to a known result; a program that is itself one known
    construction is not a different route to another;
  - with a reference, the measures it beats it on that the cost does not
    weigh; call is the JSON dispatch for hosts.
- engine::discover:
  - an aberration: a candidate that breaks only the specification's rules
    is judged again without them; verified there, its evaluation carries
    the rule (broke: the gate, or the line), the reason, and the cost, axes
    and strength it would have. Never kept. judge returns the rule broken
    instead of marking the failure text;
  - novelty: one entry at the largest size against the other elites.
- The command line: novelty (--against, --reference, --weigh, --input) and
  discover novelty; discover eval and submit print an aberration.
- MCP: novelty_qasm and discover_novelty.
- The Studio:
  - Alternatives cards say what is new in each, against the known
    constructions and the draft, and mark a different route;
  - the Workbench names each kept generator, shows it on the entry with
    what it beats the reference on unasked, and logs an aberration with
    "Try without that rule", which loosens the specification;
  - Found keeps different routes, aberrations and verified entries far from
    everything compared, to open, save with a note, or dismiss, counting
    what was flagged and saved;
  - the assistant has novelty_qasm, and may call a program new only when
    the engine says so.
- Bindings: engine_novelty and engine_discover_novelty in the page; novelty
  and discover_novelty in the desktop app, which builds quantum_toolchain.
- CI: wai-web's native engine tests count 10.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-26 14:51:38 -04:00