Transaction Science
e0475d5873
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] >
2026-10-26 12:47:48 -04:00
..
conformance.yml
ci: thirteen WAI workflows run only when the pull request's own diff touches them
2026-10-14 03:41:49 -04:00
energy-hardware.yml
ci: run the new platform-gated meter tests where their platform is
2026-10-10 18:11:22 -04:00
joule-code-conformance.yml
Merge T1 #401 (MOQT drafts -18 and -16, interoperability) into train/live-room
2026-10-22 03:46:09 -04:00
joule-moq-room.yml
Merge #432 (co-watch) into the live-room train
2026-10-22 05:26:53 -04:00
joule-moq-web.yml
room page: take the endpoints a link names only on the page's own origin
2026-10-22 12:38:31 -04:00
jouleclaw-fabrics.yml
jouleclaw-omni: read mmap'd GGUF bytes without assuming their alignment
2026-10-20 17:09:37 -04:00
jouleclaw-public-surface-documented.yml
ci: one run per branch at a time — no workflow declared a concurrency group
2026-10-05 12:01:57 -04:00
repo-checks.yml
ci: gate on cargo-audit, so an advisory has to be read rather than accumulated
2026-10-22 12:49:04 -04:00
standards-build.yml
CI: the process-calibration step retries a run a busy GPU left unmetered
2026-10-25 23:55:19 -04:00
wai-byte-equality.yml
int_mlicpp gate 2: the bundle decodes through wmb1/1 to its goldens
2026-10-15 21:44:10 -04:00
wai-conformance.yml
wai-conformance: the differentials run against both builds; features-alone on linux-arm64
2026-10-26 06:28:35 -04:00
wai-energy-receipts.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-formal-verification.yml
WIV1 and WIR1 gate 7 (WIP, committed before running): the direct predictors and step leave production
2026-10-17 12:04:26 -04:00
wai-fuzz.yml
wai: coverage-guided fuzzing of the reader, and the container reservations it found
2026-10-14 10:58:29 -04:00
wai-http.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-jpegai-e2e.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-neural-e2e.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-neural-gates.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-ops-differential.yml
wai: D2c M7b gate 4: the networks against the direct networks, on random networks
2026-10-18 01:07:07 -04:00
wai-ops-gpu.yml
Merge origin/main into train/pack-stack (Train C and wai-quantum 0.6.15)
2026-10-26 02:28:39 -04:00
wai-ops.yml
ci: thirteen WAI workflows run only when the pull request's own diff touches them
2026-10-14 03:41:49 -04:00
wai-pack.yml
wai-pack media prober: the sample spacing from the first two timestamps, not the first duration
2026-10-25 21:14:57 -04:00
wai-quantum-cli-release.yml
wai-quantum-cli release: link the Linux binaries static, not static-pie
2026-10-20 22:24:10 -04:00
wai-quantum-cli.yml
wai-quantum-cli: the command line on the job service's engine, installable
2026-10-20 17:34:16 -04:00
wai-quantum-cuda.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-dataflow.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-dsp.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-fpga.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-hip.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-metal.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-npu-cores.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-npu.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-opencl.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-processors.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-qpu.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-service.yml
wai-quantum: the cut-rank table on the GPU, and the engine's cutrank_single method
2026-10-20 17:34:17 -04:00
wai-quantum-sme.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-studio.yml
Quantum Studio: one interface for the browser and the desktop app, on the job service's engine
2026-10-20 17:34:16 -04:00
wai-quantum-tensor-engine.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-tensor-program.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-quantum-vector.yml
CI: the avx2 leg declares the units the runner's processor has
2026-10-26 11:36:49 -04:00
wai-quantum-webgpu.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-sota-vectors.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-vector.yml
ci: thirteen WAI workflows run only when the pull request's own diff touches them
2026-10-14 03:41:49 -04:00
wai-web-reach.yml
ci: run each suite for what can affect it; re-runs after a merge become nightly
2026-10-19 02:49:11 -04:00
wai-web-wasm.yml
wai-quantum: the person's rules for proposals, checked change by change
2026-10-26 12:47:48 -04:00