wai-quantum: rewrites, convergence, and the 0.6.16 / 0.1.4 release #498

Merged

dcharlot merged 4 commits from wai/quantum-converge into main 2026-10-26 18:00:43 -04:00

Conversation 0 Commits 4 Files changed 48 +1907 -49

2026-10-26

Transaction Science

wai-web: the wasm test of a wide equivalence expects the rewrite proof ...

Equivalence now proves a wide pair whose rotations merge by rewriting
(how: rewrites), as the native test in engine::equiv already expects. The
random check is kept, on a swap written as three cx, which no pair of
gates rewrites.

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

defc8c6f8d

• View at this point in history

2026-10-26 16:44:05 -04:00

Transaction Science

wai-quantum 0.6.16 and wai-quantum-cli 0.1.4: the person's rules, what is new, taste, rewrites and convergence ...

This carries the person's rules for proposals, what is new in a program,
a person's taste, checked rewrites with equivalence proved by them, and the
convergence monitor to the package registry, with 0.6.15's entry, which
reached the binaries and the taps but not the registry.

- wai-quantum 0.6.16: engine::locks, engine::novelty, engine::taste,
  engine::rewrite (equiv answers how: rewrites) and engine::converge.
- wai-quantum-cli 0.1.4 requires it: locks, novelty, discover novelty,
  taste, rewrite and converge, and their MCP tools.
- The desktop app requires 0.6.16 too.
- Every lockfile that holds wai-quantum or wai-quantum-cli moves with them,
  so a --locked build still reads its own.

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

7309053e46

• View at this point in history

2026-10-26 16:11:07 -04:00

Transaction Science

wai-quantum: whether designs converge on a model's, and a while on one's own ...

Feature 12 of the co-design report: a convergence monitor.

- engine::converge:
  - history: for each version the person made after a model proposed,
    its structural distance from the proposals in its line of work (the
    whole proposal) and the model's share of its gates; converging when
    most of the program is the model's or the last versions come closer
    each time, with why; versions noted "organic exploration" (the
    assistant-off probes) set beside the rest;
  - cohort: the Vendi score over 1 - distance (Jacobi eigenvalues), each
    program's distance to the centroid of the gate-token bags, the medoid
    and the outlier, and with times the score in windows and a narrowing;
  - call for hosts. novelty::bag is shared.
- The command line: converge history | cohort (a file's time from its
  history, else the file's).
- MCP: converge_cohort and converge_history.
- The Studio: "Your own way" under Versions, and "Explore on my own for a
  while": the assistant only asks and offers no program, Explore and Ask
  the model wait, the person's versions are noted; End lets the model
  propose again.
- Bindings: engine_converge in the page, converge in the desktop app.
- CI: wai-web's native engine tests count 13.

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

94fabb574d

• View at this point in history

2026-10-26 16:05:43 -04:00

Transaction Science

wai-quantum: rewrites, each checked, and equivalence proved by them at any width ...

Feature 11 of the co-design report: a verified-rewrite lens shared by the
person and the assistant, and the general equivalence check it needs.

- engine::rewrite:
  - rules propose, the engine decides: cancel (a gate and its inverse),
    merge (rotations about one axis; phase gates add up), conjugate (a
    gate between two Hadamards), drop (a gate that does nothing), through
    (carried past gates it commutes with to its partner), move (two that
    commute trade places);
  - each rewrite's gates are checked against its replacement on just the
    qubits they touch, by tableau or on every basis state
    (equiv::proved_equal), so a chain is a proof at any width;
  - prove: one program followed by the other's inverse rewritten to
    nothing; explain: both simplified and compared (gate for gate, or up
    to the order of gates that commute, by a proof); options: each rewrite
    as an edit to the program's own lines, read back and compared before it
    is offered; call for hosts.
- equiv::equivalent_programs tries the proof after the exact check and
  before random inputs (how: rewrites); the workbench and the taste model
  count it as a proof. critique's line edits and qasm::builtin are shared.
- The command line: rewrite options | apply | simplify | explain.
- MCP: rewrite_qasm; check_equivalent's description names the new proof
  (and the service's).
- The Studio: "Rewrites" under the circuit (each in words, its gates marked
  on the diagram, Take to offer it as the engine's proposal, the list
  following the program); Alternatives says how the draft becomes a
  candidate that is the same circuit, as a chain; "by checked rewrites".
- Bindings: engine_rewrite in the page, rewrite in the desktop app.
- CI: wai-web's native engine tests count 12.

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

c979c300ff

• View at this point in history

2026-10-26 15:50:27 -04:00