Transaction Science
662dc9d6d0
wai.live.remote: a floor statement §7.2 refuses changes nothing; session records for the room alone
...
remote-desktop §7.2/§7.3: a floor statement its rules refuse is recorded, stated
with its reason and changes nothing; a verifier computes the floor without it and
a host gives it no effect, so a release crossing the host's take leaves a room
that verifies. §12 moves floor_not_permitted, floor_not_eligible and
floor_not_holder to a third table of stated reasons; §11.3 states each refused
floor statement.
wai-rs: FloorRefusal and the shared rule remote_desktop::floor_rule; the verifier
states floor_refused. The corpus regenerated: 33 of the 39 earlier vectors are
byte for byte as they were; the six refused-floor vectors keep their rooms and
are now accepted with floor_refused; three whole floor sessions are appended (a
give by a non-holder, a release by a non-holder, a late release).
remote_desktop_verify.py follows the text: states and does not apply a refused
floor statement, reads §12's three tables. remote.js's replay applies §7.2.
joule-moq-room: the clock computes the floor by floor_rule and cuts no one for a
floor statement; GET /remote/room and /remote/state answer only a grant this room
issued with its proof (401 otherwise, 403 for another room's grant). The host's
gate uses floor_rule. The browser scenario reads the session with the host's
grant and proof.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-26 09:37:55 -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-remote.yml
joule-moq-web: the remote page makes its key and asks the room service for its grant
2026-10-26 08:47:24 -04:00
joule-moq-room.yml
wai.live.remote: a floor statement §7.2 refuses changes nothing; session records for the room alone
2026-10-26 09:37:55 -04:00
joule-moq-web.yml
joule-moq-web: the remote page makes its key and asks the room service for its grant
2026-10-26 08:47:24 -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
Merge pull request 'sandbox-tee: check a TDX quote's PCK chain to a pinned Intel root' ( #415 ) from feat/tdx-pck-chain into main
2026-10-22 06:51:24 -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.live.remote: a floor statement §7.2 refuses changes nothing; session records for the room alone
2026-10-26 09:37:55 -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 SPLAT #431 (wai.splat.exact) into train/wai-c
2026-10-22 07:44:15 -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
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-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: 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-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: a program's history, attributed, and the Studio's Versions
2026-10-26 02:02:58 -04:00