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

Conversation 0 Commits 1 Files changed 24 +900 -44

dcharlot commented 2026-10-26 14:52:13 -04:00

Owner

Copy link

Feature 9 of the co-design report: a novelty, rediscovery and serendipity ledger.

Engine (engine::novelty, engine::discover)

• The inspiring set: GHZ by a chain, by doubling and by fan-out; the uniform superposition; the toolchain's QFT, each at the program's width (to 12 qubits), plus programs the caller adds.
• A structural distance, 0 to 1: the weighted Jaccard distance 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 a known construction is not a different route to another.
• Strengths not asked for: with a reference, the measures it beats the reference on that the cost does not weigh.
• Aberrations: a workbench candidate that breaks only the specification's rules is judged again without them. If it verifies there, its evaluation carries the rule (broke: the gate, or the line), the reason, and the cost, axes and strength it would have. It is never kept.
• discover::novelty: one archive entry at the largest size, against the other elites. novelty::call is the JSON dispatch for hosts.

Command line and MCP

• wai-quantum novelty (--against, --reference, --weigh, --input), discover novelty. discover eval and discover submit print an aberration.
• MCP: novelty_qasm, discover_novelty.

Studio

• Alternatives: each card says what is new in it (against the known constructions and the draft) and marks a different route.
• Workbench: each kept generator is named for what it is. The entry card shows that, and what it beats the reference on unasked. An aberration is logged with "Try without that rule", which loosens the specification for a new archive.
• Found: different routes, aberrations, and verified entries far from everything compared. Each can be opened, saved with a note, or dismissed, with a count of what was flagged and saved.
• The assistant gets 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 now builds quantum_toolchain (the QFT).

CI: wai-web's native engine test count goes from 9 to 10.

Checked on the build host: engine engine:: 98 pass; CLI 14 pass, clippy clean; wai-web native engine tests 10 pass; desktop 5 pass, clippy clean; Studio e2e 111 checks pass (14 new). Public-names check clean on every changed file.

🤖 Generated with Claude Code

Feature 9 of the co-design report: a novelty, rediscovery and serendipity ledger. **Engine (`engine::novelty`, `engine::discover`)** - The inspiring set: GHZ by a chain, by doubling and by fan-out; the uniform superposition; the toolchain's QFT, each at the program's width (to 12 qubits), plus programs the caller adds. - A structural distance, 0 to 1: the weighted Jaccard distance 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 a known construction is not a different route to another. - Strengths not asked for: with a reference, the measures it beats the reference on that the cost does not weigh. - Aberrations: a workbench candidate that breaks only the specification's rules is judged again without them. If it verifies there, its evaluation carries the rule (`broke`: the gate, or the line), the reason, and the cost, axes and strength it would have. It is never kept. - `discover::novelty`: one archive entry at the largest size, against the other elites. `novelty::call` is the JSON dispatch for hosts. **Command line and MCP** - `wai-quantum novelty` (`--against`, `--reference`, `--weigh`, `--input`), `discover novelty`. `discover eval` and `discover submit` print an aberration. - MCP: `novelty_qasm`, `discover_novelty`. **Studio** - Alternatives: each card says what is new in it (against the known constructions and the draft) and marks a different route. - Workbench: each kept generator is named for what it is. The entry card shows that, and what it beats the reference on unasked. An aberration is logged with "Try without that rule", which loosens the specification for a new archive. - Found: different routes, aberrations, and verified entries far from everything compared. Each can be opened, saved with a note, or dismissed, with a count of what was flagged and saved. - The assistant gets `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 now builds `quantum_toolchain` (the QFT). **CI:** wai-web's native engine test count goes from 9 to 10. **Checked on the build host:** engine `engine::` 98 pass; CLI 14 pass, clippy clean; wai-web native engine tests 10 pass; desktop 5 pass, clippy clean; Studio e2e 111 checks pass (14 new). Public-names check clean on every changed file. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

dcharlot added 1 commit 2026-10-26 14:52:14 -04:00

wai-quantum: what is new, what is a known construction found again, and aberrations ... 4e815d1a23

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

dcharlot referenced this pull request 2026-10-26 15:16:12 -04:00

wai-quantum: a person's taste, learned from their own choices between equals #496

dcharlot merged commit ea2a6defd4 into main 2026-10-26 15:45:27 -04:00

dcharlot referenced this pull request from a commit 2026-10-26 15:45:28 -04:00

Merge pull request 'wai-quantum: what is new, what is a known construction found again, and aberrations' (#495) from wai/quantum-novelty into main

dcharlot referenced this pull request 2026-10-26 15:50:03 -04:00

wai-quantum: a person's taste, learned from their own choices between equals #497

dcharlot referenced this pull request 2026-10-26 17:15:43 -04:00

wai merge train E: twenty-five PRs onto main, the relay's upstream window bounded, and three fixes the merged tree needed #499

dcharlot referenced this pull request from a commit 2026-10-26 20:23:54 -04:00

Merge origin/main (ea2a6defd): #495, what is new in a wai-quantum proposal

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!495

No description provided.