wai-quantum: a study of the co-design, every measure the engine's #509

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

The measurement harness the co-design report puts under every feature. Each feature sits behind a flag and is compared against a control, in a study whose protocol is sealed before any data. Every measure is the engine's, computed again from what the participant made; none is a model's judgement.

Engine (engine::study)

  • Protocol: the study, its hypotheses, the primary measure, the conditions (each a setting of the Studio's features: study::FLAGS), the control, and the analysis (resamples, seed, level). It is checked, then sealed with the researcher's key before any data.
  • Assignment: a hash of the protocol's digest and the participant's key. The condition is fixed before they begin, and anyone can check it.
  • Records: the participant's record, sealed with their key. A record is refused if it was changed, made for another study, sealed by another key, or in a condition its key is not assigned.
  • The eight measures:
    • quality of the edits proved equal to what they replaced, and its trend;
    • diversity (Vendi) and novelty;
    • selection skill, against chance;
    • calibration: the mean distance from the run, and the slope;
    • unassisted skill: four probe tasks, each scored by a workbench specification;
    • ownership: five items, 1 to 7, beside the authorship share;
    • convergence on a model's proposals.
  • Cohort report: per condition, the means; each condition's difference from the control on the primary measure, with a seeded bootstrap interval; Cronbach's alpha of the ownership items; the Vendi score of the final designs; one record per participant.

CLI and MCP

  • wai-quantum study catalog | new | assign | measure | cohort, with --out to seal the report.
  • MCP: study_measure and study_cohort. Probes are not offered to agents, because a probe is done without the assistant.

Studio: the Study pane

  • Features: each can be switched off. A condition holds only the features it names, and leaving the study restores the reader's own settings.
  • Load a protocol: it is shown before "Take part".
  • A record is kept only once the reader asks for one:
    • choices in Alternatives and the Workbench, with the engine's best;
    • "How much is this yours?";
    • probe tasks, done with the assistant paused.
  • "My record", and "Export my record", sealed with the browser's key.

Checked on the build host, at low priority:

  • engine engine::: 119 pass, 4 of them new;
  • CLI: 19 pass, clippy clean with default and no default features;
  • wai-web native engine tests: 14 pass;
  • desktop: 5 pass, clippy clean;
  • Studio e2e: 145 checks pass, 13 of them new. A sealed protocol is loaded and joined, the condition is checked against the key, and the exported record is checked.

The CLI sealed a real protocol and listed its catalog. The public-names check is clean.

Two e2e fixes the new pane made necessary:

  • The editor stretches to the side column's height, so the test now brings the editor's first lines into view before reading its gutter.
  • The taste checks now count from the choices the profile already holds.

🤖 Generated with Claude Code

The measurement harness the co-design report puts under every feature. Each feature sits behind a flag and is compared against a control, in a study whose protocol is sealed before any data. Every measure is the engine's, computed again from what the participant made; none is a model's judgement. **Engine (`engine::study`)** - **Protocol:** the study, its hypotheses, the primary measure, the conditions (each a setting of the Studio's features: `study::FLAGS`), the control, and the analysis (resamples, seed, level). It is checked, then sealed with the researcher's key before any data. - **Assignment:** a hash of the protocol's digest and the participant's key. The condition is fixed before they begin, and anyone can check it. - **Records:** the participant's record, sealed with their key. A record is refused if it was changed, made for another study, sealed by another key, or in a condition its key is not assigned. - **The eight measures:** - quality of the edits proved equal to what they replaced, and its trend; - diversity (Vendi) and novelty; - selection skill, against chance; - calibration: the mean distance from the run, and the slope; - unassisted skill: four probe tasks, each scored by a workbench specification; - ownership: five items, 1 to 7, beside the authorship share; - convergence on a model's proposals. - **Cohort report:** per condition, the means; each condition's difference from the control on the primary measure, with a seeded bootstrap interval; Cronbach's alpha of the ownership items; the Vendi score of the final designs; one record per participant. **CLI and MCP** - `wai-quantum study catalog | new | assign | measure | cohort`, with `--out` to seal the report. - MCP: `study_measure` and `study_cohort`. Probes are not offered to agents, because a probe is done without the assistant. **Studio: the Study pane** - Features: each can be switched off. A condition holds only the features it names, and leaving the study restores the reader's own settings. - Load a protocol: it is shown before "Take part". - A record is kept only once the reader asks for one: - choices in Alternatives and the Workbench, with the engine's best; - "How much is this yours?"; - probe tasks, done with the assistant paused. - "My record", and "Export my record", sealed with the browser's key. **Checked on the build host**, at low priority: - engine `engine::`: 119 pass, 4 of them new; - CLI: 19 pass, clippy clean with default and no default features; - wai-web native engine tests: 14 pass; - desktop: 5 pass, clippy clean; - Studio e2e: 145 checks pass, 13 of them new. A sealed protocol is loaded and joined, the condition is checked against the key, and the exported record is checked. The CLI sealed a real protocol and listed its catalog. The public-names check is clean. Two e2e fixes the new pane made necessary: - The editor stretches to the side column's height, so the test now brings the editor's first lines into view before reading its gutter. - The taste checks now count from the choices the profile already holds. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
wai-quantum: a study of the co-design, every measure the engine's
Some checks failed
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 32s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 23s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 11m54s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 2m47s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 10m24s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 25m29s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (pull_request) Successful in 1m40s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 27s
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 1m25s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 21m23s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 8m6s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 12m38s
wai-quantum command line / command line · macos (pull_request) Successful in 46s
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 15s
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m18s
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 36s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 21m48s
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 23s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 12m58s
wai-quantum service / service · macos (pull_request) Successful in 47s
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 11s
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 17s
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 15s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 11m6s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m47s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m49s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m50s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 52m29s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 9m12s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 22m13s
8a48b36ee8
The measurement harness the co-design report puts under every feature:
each feature behind a flag, compared against a control, in a study whose
protocol is sealed before any data.

- engine::study:
  - Protocol: the study, hypotheses, primary measure, conditions (each a
    setting of FLAGS), control and analysis (resamples, seed, level),
    checked and sealed with the researcher's key before any data;
  - assign: the protocol's digest and the participant's key hashed
    together, so the condition is fixed and anyone can check it;
  - seal_record / open_record: the participant's record sealed with their
    key, refused if changed, for another study, sealed by another key, or
    in a condition its key is not assigned;
  - measure: the report's eight, each computed again from the record:
    quality of the edits proved equal (and its trend), diversity (Vendi),
    novelty, selection skill against chance, calibration (mean distance,
    slope), unassisted probe scores (four probes, each a workbench
    specification), ownership (five items, 1 to 7) beside the authorship
    share, and convergence;
  - cohort: per condition the means, each condition's difference from the
    control on the primary measure with a seeded bootstrap interval,
    Cronbach's alpha, the Vendi score of the final designs, one record per
    participant; call and call_sealing for hosts.
- The command line: study catalog | new | assign | measure | cohort
  (--out seals the report).
- MCP: study_measure and study_cohort. The probes are not offered to
  agents: a probe is done without the assistant.
- The Studio: the Study pane (Features, each switchable off and held where
  a study's condition names it; Load a protocol, shown before Take part; a
  record kept once asked: choices in Alternatives and the Workbench with
  the engine's best, How much is this yours?, probe tasks with the
  assistant paused; My record; Export my record, sealed with the browser's
  key). A condition holds only the features it names; leaving restores the
  reader's own.
- Bindings: QuantumEngine::study in the page (it seals with the page's
  key), study in the desktop app.
- CI: wai-web's native engine tests count 14.
- The e2e brings the editor's first lines into view before reading its
  gutter, and counts the taste profile from the choices it already holds.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
dcharlot closed this pull request 2026-10-27 09:58:18 -04:00
Some checks failed
wai-quantum on every processor / emulated · aarch64-unknown-linux-gnu (pull_request) Failing after 10s
wai-quantum on every processor / emulated · armv7-unknown-linux-gnueabihf (pull_request) Failing after 3s
wai-quantum on every processor / emulated · loongarch64-unknown-linux-gnu (pull_request) Failing after 3s
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Failing after 3s
wai-quantum on every processor / emulated · powerpc64le-unknown-linux-gnu (pull_request) Failing after 3s
wai-quantum on every processor / emulated · riscv64gc-unknown-linux-gnu (pull_request) Failing after 3s
wai-quantum on every processor / emulated · s390x-unknown-linux-gnu (pull_request) Failing after 3s
wai-quantum on every processor / emulated · sparc64-unknown-linux-gnu (pull_request) Failing after 3s
wai-quantum on every processor / emulated · i686-unknown-linux-gnu (pull_request) Failing after 3s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 5s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m25s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m20s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 12m10s
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 8s
wai-audit collector and player integration / does this change touch it (pull_request) Successful in 7s
WAI conformance / does this change touch it (pull_request) Successful in 7s
WAI energy receipts / does this change touch it (pull_request) Successful in 8s
WAI examples / WAI examples · does this change touch them (pull_request) Successful in 7s
wai-quantum command line / does this change touch it (pull_request) Successful in 9s
wai-quantum CUDA member / does this change touch it (pull_request) Successful in 6s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 36s
wai-quantum dataflow member / does this change touch it (pull_request) Successful in 11s
wai-quantum signal processor / does this change touch it (pull_request) Successful in 7s
wai-audit collector and player integration / collector · linux (pull_request) Successful in 1m11s
wai-quantum FPGA member / does this change touch it (pull_request) Successful in 9s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 28s
wai-quantum HIP member / does this change touch it (pull_request) Successful in 8s
wai-quantum Metal member / does this change touch it (pull_request) Successful in 8s
wai-quantum npu-cores member / does this change touch it (pull_request) Successful in 7s
wai-quantum neural-processor member / does this change touch it (pull_request) Successful in 7s
wai-quantum OpenCL member / does this change touch it (pull_request) Successful in 6s
wai-quantum-qpu / does this change touch it (pull_request) Successful in 7s
WAI conformance / faces from keypoints under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m53s
wai-quantum service / does this change touch it (pull_request) Successful in 6s
wai-quantum matrix-extension member / does this change touch it (pull_request) Successful in 7s
wai-quantum studio and desktop / does this change touch it (pull_request) Successful in 7s
wai-quantum tensor-engine member / does this change touch it (pull_request) Successful in 6s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 2m47s
wai-quantum portable tensor program / does this change touch it (pull_request) Successful in 6s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 26s
wai-quantum CPU vector units / does this change touch it (pull_request) Successful in 7s
wai-quantum WebGPU member / does this change touch it (pull_request) Successful in 7s
wai-sink-android native sink library / does this change touch it (pull_request) Successful in 6s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m20s
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 28s
wai-sink-swift native sink package / does this change touch it (pull_request) Successful in 7s
WAI mbt2018_mean integer decode (regenerated vectors) / does this change touch it (pull_request) Successful in 7s
wai-web wasm32 / does this change touch it (pull_request) Successful in 7s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 21s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Failing after 18s
wai-quantum command line / command line · linux (pull_request) Successful in 1m38s
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 18s
WAI conformance / fast integer kernels, every x86_64 kernel set (AVX-512 silicon) (pull_request) Successful in 3m7s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Failing after 33s
wai-quantum Metal member / member · Metal absent (linux) (pull_request) Successful in 25s
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Successful in 24s
wai-quantum neural-processor member / member · neural processor absent (linux) (pull_request) Successful in 19s
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 23s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 22s
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Failing after 4s
wai-quantum service / service · linux (pull_request) Successful in 47s
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 1m18s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Successful in 2m43s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Failing after 26s
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 16s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Failing after 3s
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Failing after 4s
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Failing after 3s
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 9s
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Failing after 4s
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Failing after 3s
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Failing after 3s
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 12s
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 40s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 3m2s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 7m22s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 3m0s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m16s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 11m8s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 23s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m47s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 20s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 5m55s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 37s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 8m31s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Failing after 5m36s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 1m57s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 17m6s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 4m43s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 30s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 32s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 23s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 11m54s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 2m47s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 10m24s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 25m29s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (pull_request) Successful in 1m40s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 27s
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 1m25s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 21m23s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 8m6s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 12m38s
wai-quantum command line / command line · macos (pull_request) Successful in 46s
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 15s
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m18s
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 36s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 21m48s
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 23s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 12m58s
wai-quantum service / service · macos (pull_request) Successful in 47s
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 11s
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 17s
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 15s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 11m6s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m47s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m49s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m50s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 52m29s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 9m12s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 22m13s

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
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!509
No description provided.