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

Closed
dcharlot wants to merge 1 commit from wai/quantum-taste into main

2026-10-26

Transaction Science
wai-quantum: a person's taste, learned from their own choices between equals
All checks were successful
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 36s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Successful in 4m47s
wai-quantum service / service · linux (pull_request) Successful in 41s
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Successful in 43s
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 58s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 9m56s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 33s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 2m45s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 4m9s
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 43s
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 41s
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 39s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 19m27s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 10m15s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 14m12s
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 31s
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 35s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 4m47s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 11m36s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 19m12s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 2m13s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m5s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m39s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 3m8s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 13m16s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m27s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m6s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m13s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 23m45s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 51m17s
Feature 10 of the co-design report: a personal, plural taste model.

- engine::taste:
  - a choice is recorded only when the engine proves the two programs the
    same circuit or the same state, by a proof (tableau, exact, state),
    never by random inputs: it is about taste, never correctness;
  - a Bradley-Terry logistic over differences of measured features (gates,
    two-qubit gates, depth, two-qubit depth, T gates, modelled error) and
    of the text (statements, kinds of gate, repetition, comments), ridge
    penalised and fitted by Newton's method: deterministic everywhere;
  - the rubric's parts (economy, clarity, insight, precision, utility),
    each learned from its own choices; a ranking names where a part or the
    cost puts another first;
  - profiles personal and plural, by name, never pooled;
  - typicality (one less engine::novelty's novelty) shown and never
    learned; the novelty dial blends the standardised order by taste with
    the order by novelty; a floor on each feature's spread keeps a feature
    that barely varied from turning into certainty;
  - measured: choices predicted as made and held out (last 100), the ones
    nothing measured separates, and whether a ranking's first three are
    built more alike than the cost's; scores about the candidates' mean;
  - next: the least certain pair the engine proves equal; call for hosts.
- novelty::token is shared with it.
- The command line: taste choose | show | rank | next (files or --spec),
  profiles in quantum-taste.json beside the user's key.
- MCP: taste_rank and taste_next read the person's profile; no tool
  records a choice. initialize tells an agent so, and to call a program
  new only when novelty_qasm says so.
- The Studio: "Your taste" in the Workbench (Compare two with the part a
  choice was about, Rank by my taste with typicality and the dial,
  profiles by name); an alternative that is the same circuit as the draft,
  taken whole or refused whole, is a choice; Improve orders by the profile.
- Bindings: engine_taste in the page, taste in the desktop app.
- CI: wai-web's native engine tests count 11.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-26 15:15:37 -04:00