wai-quantum: the person's rules for proposals, checked change by change #494
2026-10-26
wai-quantum mcp: an agent is told at initialize to record its changes and keep the person's rules
All checks were successful
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 22s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 15s
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 22s
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 10s
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 10s
wai-quantum service / service · macos (pull_request) Successful in 46s
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 13s
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 12s
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 9s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 2m52s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 17m14s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 1m54s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m35s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 18m13s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 4m54s
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 energy receipts / energy receipts · linux (pull_request) Successful in 10m46s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m4s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m46s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m33s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m55s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 8m27s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m40s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m18s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m44s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 19m48s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 13m44s
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 26m18s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 46m33s
The server's instructions now say to record a change with history_commit (kept as the agent's, its lines and gates shown as its own), and that held blocks and NAME.locks.json bind every change, history_changes showing what a change would break before it is made. The MCP test checks the instructions say so. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the person's rules for proposals, checked change by change
Feature 7 of the co-design report: region-scoped edits with locks and
keep/avoid marks.
- engine::locks:
- held blocks marked in the program between // @lock and // @unlock;
- the gates a change may add, the qubit declarations held, gates and
text to avoid, and the region a rewrite must keep to;
- check names each change of a proposal and the rules it breaks. Only
what a change adds is judged, and a generator's gates are read at its
inputs;
- brief states the rules for a model; held_ops gives the held gates;
call is the JSON dispatch for hosts.
- versions: a review keeps the changes the rules blocked (propose_with),
and a change both blocked and accepted is refused there and by verify.
A review with nothing blocked has the digest it had before.
- The command line: locks check | brief, prog.locks.json beside the
program. history changes names the breaches; history propose refuses
a blocked change, and --accept all takes the allowed ones.
- MCP: history_commit refuses an agent's edit that breaks a rule, with
the rule; history_changes shows the breaches and the rules.
- The Studio's Rules:
- hold the selected lines (shaded in the editor, gates marked on the
diagram), the gates allowed, the qubit declarations, what to avoid,
and a region for the next proposal;
- in the review a breaking change is shown with its rule and cannot be
taken, and the version records it as blocked;
- Alternatives leaves out a candidate whose every change breaks a rule,
and the model is told the rules with every request.
- Bindings: engine_locks in the page, locks in the desktop app.
- versions::call's blame and locks::check name an unreadable program
`unread`, not `error`, which a page's worker read as a failed call.
- CI: wai-web's native engine tests count 9.
Co-Authored-By: Claude Opus 5.5 <[email protected]>