Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 14
open-standards/.github/workflows
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science c0ba8a0ce5 wai-quantum: a landscape member declares its capacity, and is held to everything within it 
Re-landed from PR #678 (branch wai/quantum-landscape-capacity, head
72829ec4c) as one commit on main, under the land-it model. Six review
rounds; round 6's 13 findings (1 medium) are fixed, each with a test that
fails on 1efbe6653.

- A member (CPU reference, WebGPU/CUDA/Metal, FPGA model) declares fixed
  capacity numbers; Capacity::admits is a pure function of the job,
  schedule and numbers; the host declines exactly those jobs; certify runs
  every vector and battery workload within capacity and grants bit-exact
  or statistical within it, stated as member.capacity in answers, labels
  and refusals; a floor below which certify refuses.
- The demotion store: a certification's probe is the rewrite itself (a
  sticky folder, chflags uchg/uappnd, chattr +i grade Uncertified); a busy
  lock records a demotion durably instead of dropping it; temp files
  matched exactly; probes sized to the largest rewrite; links followed one
  at a time with O_NOFOLLOW and refused in world-writable sticky folders;
  hard links refused; stale probes removed.
- Generation: long-moving settles (11u-59) and late two-cycles generated;
  the "longest settle" claim dropped; battery calls of 63 down to 17
  chains. The statistical grade's power is stated in §7.2 and in every
  statistical label.
- The audit's threads: capped over the process, lowered in priority, and
  held by a CI test that four mutants fail.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-09 15:49:07 -05:00
..
conformance.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
energy-hardware.yml wip: registry, SPEC, CHANGELOG, CI jobs, reader tests, settle and generic machine description 2026-10-22 13:49:49 -04:00
joule-code-conformance.yml wai-audit.yml runs wai-metrics' tests, and a change to the crate runs every service built on it 2026-11-07 01:54:34 -05:00
joule-moq-remote.yml ci: a push to main runs the room service and the remote desktop host agent workflows 2026-11-06 14:32:28 -05:00
joule-moq-room.yml wai: wai dev is the one local stack, driven by control lines, with synthetic participants, room test and load, and --impair 2026-11-09 10:54:12 -05:00
joule-moq-web.yml The browser sink corpus run by a page in a browser through wai conform, its record signed and admitted 2026-11-08 16:43:30 -05:00
jouleclaw-fabrics.yml CI: two macOS legs depended on runner state the pin change cleared or never had 2026-11-03 17:42:20 -05:00
jouleclaw-public-surface-documented.yml jouleclaw public-surface audit: the report goes to a file and the log keeps the verdict 2026-11-08 09:11:50 -05:00
repo-checks.yml check-wai-release-quickstart.py reads how each script reaches its exit status, and the macos skip 2026-11-07 10:56:01 -05:00
standards-build.yml sandbox-meter: an interval long past the tick is no evidence that a rail is live 2026-11-07 03:17:48 -05:00
wai-app.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-audit.yml wai-audit.yml runs wai-metrics' tests, and a change to the crate runs every service built on it 2026-11-07 01:54:34 -05:00
wai-breaking.yml The browser sink corpus run by a page in a browser through wai conform, its record signed and admitted 2026-11-08 16:43:30 -05:00
wai-byte-equality.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-catalogue.yml wai target and wai auth: a named service and a kept key, and one --target on every operation that acts on a service 2026-11-08 09:39:06 -05:00
wai-conformance.yml wai: a refinement over the platform-decoded floor, wai.video.int_refine over a grain-free AV1 base 2026-11-09 10:46:06 -05:00
wai-energy-receipts.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-examples.yml wai doctor: ends what an answered program leaves running; CI checks each archive 2026-11-06 17:24:17 -05:00
wai-fleet.yml wai-audit.yml runs wai-metrics' tests, and a change to the crate runs every service built on it 2026-11-07 01:54:34 -05:00
wai-formal-verification.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05: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 cache-conformance tests what a cache answers from its store, and says how much it answered 2026-11-07 12:07:00 -05:00
wai-int-module.yml ci: both WAISM checkers on wai-web and on the module of record, and the module's engines 2026-11-08 16:45:56 -05:00
wai-jpegai-e2e.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-key-keychain.yml wai-key-keychain.yml runs on a push to main that changes key.rs 2026-11-08 13:38:12 -05:00
wai-key-proxy.yml wai-audit.yml runs wai-metrics' tests, and a change to the crate runs every service built on it 2026-11-07 01:54:34 -05:00
wai-key-windows.yml wai key's Windows leg: the README and mcp.json kept as committed, two tests read paths as Windows writes them 2026-11-09 08:39:36 -05:00
wai-ledger.yml wai-ledger.yml: the linux leg installs cryptography for the independent verifier 2026-11-08 08:14:10 -05:00
wai-neural-e2e.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-neural-gates.yml wai: neural dispatch, a neural capability's networks on the neural processor under the tier its decode needs 2026-11-09 10:20:48 -05:00
wai-ops-differential.yml toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin) 2026-11-03 17:42:20 -05:00
wai-ops-gpu.yml wai-web: the integer neural capabilities with their graphs on the page's WebGPU, in its dispatch 2026-11-09 11:04:37 -05:00
wai-ops-npu.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-ops.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-pack.yml wai.audio.score: band-limited timbres, a sine and noise, a voice per note, and two channels 2026-11-09 14:21:46 -05:00
wai-quantum-cli-release.yml toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin) 2026-11-03 17:42:20 -05:00
wai-quantum-cli.yml wai: wasmQ, an OpenQASM 3 program and the WebAssembly its externs call, run the same everywhere, metered and receipted 2026-11-09 13:22:09 -05:00
wai-quantum-contract.yml Merge pull request 'wai-quantum: receipts say where their counts come from and what was set at the provider, and a second verifier checks them' (#660) from wai/quantum-receipt-fields into main 2026-11-06 14:45:13 -05:00
wai-quantum-cuda.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-dataflow.yml Merge pull request 'ci: the wai-quantum legs build the commit they test, and fail when they did not' (#666) from ci/quantum-archive-mtime into main 2026-11-06 14:42:46 -05:00
wai-quantum-desktop-release.yml toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin) 2026-11-03 17:42:20 -05:00
wai-quantum-docs.yml Merge main into wai/quantum-writer 2026-11-06 15:17:48 -05:00
wai-quantum-dsp.yml Merge main into the cross-simulator corpus 2026-11-06 23:37:22 -05:00
wai-quantum-editors.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-estimate.yml wai-quantum: a rotation's Clifford+T word takes the cheapest unit of the solver's solution, never more T gates than the reference implementation 2026-11-09 13:09:47 -05:00
wai-quantum-formats.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-fpga.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-hip.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-js-release.yml toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin) 2026-11-03 17:42:20 -05:00
wai-quantum-js.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-landscape-devices.yml wai-quantum: the estimate job on the reaction-limited clock, one tick rule shared with quantum_arch, the step clock's answers and receipts unchanged 2026-11-09 13:01:36 -05:00
wai-quantum-landscape-fpga.yml wai-quantum: a landscape member declares its capacity, and is held to everything within it 2026-11-09 15:49:07 -05:00
wai-quantum-landscape.yml wai-quantum: a landscape member declares its capacity, and is held to everything within it 2026-11-09 15:49:07 -05:00
wai-quantum-lang.yml wai-quantum: no anonymous request ends the job service or holds it without limit 2026-11-09 15:15:56 -05:00
wai-quantum-metal.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-npu-cores.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-npu.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-opencl.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-processors.yml Merge main into the cross-simulator corpus 2026-11-06 23:37:22 -05:00
wai-quantum-pulse.yml wai-quantum: no anonymous request ends the job service or holds it without limit 2026-11-09 15:15:56 -05:00
wai-quantum-py-release.yml toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin) 2026-11-03 17:42:20 -05:00
wai-quantum-py.yml Merge pull request 'wai-quantum: receipts say where their counts come from and what was set at the provider, and a second verifier checks them' (#660) from wai/quantum-receipt-fields into main 2026-11-06 14:45:13 -05:00
wai-quantum-qec.yml wai-quantum: no anonymous request ends the job service or holds it without limit 2026-11-09 15:15:56 -05:00
wai-quantum-qpu.yml Merge pull request 'wai-quantum: receipts say where their counts come from and what was set at the provider, and a second verifier checks them' (#660) from wai/quantum-receipt-fields into main 2026-11-06 14:45:13 -05:00
wai-quantum-registry.yml wai-quantum: Q210 says what else it refuses, and the state vector's gate under controls is tested under wasm 2026-11-07 01:46:05 -05:00
wai-quantum-service.yml wai-quantum: no anonymous request ends the job service or holds it without limit 2026-11-09 15:15:56 -05:00
wai-quantum-sme.yml Merge pull request 'ci: the wai-quantum legs build the commit they test, and fail when they did not' (#666) from ci/quantum-archive-mtime into main 2026-11-06 14:42:46 -05:00
wai-quantum-studio.yml Merge pull request 'wai-quantum: receipts say where their counts come from and what was set at the provider, and a second verifier checks them' (#660) from wai/quantum-receipt-fields into main 2026-11-06 14:45:13 -05:00
wai-quantum-tensor-engine.yml Merge pull request 'ci: the wai-quantum legs build the commit they test, and fail when they did not' (#666) from ci/quantum-archive-mtime into main 2026-11-06 14:42:46 -05:00
wai-quantum-tensor-program.yml Merge pull request 'ci: the wai-quantum legs build the commit they test, and fail when they did not' (#666) from ci/quantum-archive-mtime into main 2026-11-06 14:42:46 -05:00
wai-quantum-variational.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-vector.yml Merge pull request 'ci: the wai-quantum legs build the commit they test, and fail when they did not' (#666) from ci/quantum-archive-mtime into main 2026-11-06 14:42:46 -05:00
wai-quantum-verdict.yml wai-quantum: no anonymous request ends the job service or holds it without limit 2026-11-09 15:15:56 -05:00
wai-quantum-views.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-quantum-wasmq.yml wai: wasmQ, an OpenQASM 3 program and the WebAssembly its externs call, run the same everywhere, metered and receipted 2026-11-09 13:22:09 -05:00
wai-quantum-webgpu.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-release-windows-build.yml joule-contrib: process CPU time on Windows, and the release's seven Windows binaries build on main 2026-11-09 11:44:18 -05:00
wai-release.yml The release's text names the platform where it named the machine 2026-11-07 10:56:01 -05:00
wai-sink-android.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-sink-swift.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-sota-vectors.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-studio.yml wai doctor: ends what an answered program leaves running; CI checks each archive 2026-11-06 17:24:17 -05:00
wai-vector.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-web-reach.yml ci: gate jobs get their own pool, so a path question stops blocking real work 2026-11-06 14:24:36 -05:00
wai-web-wasm.yml wai-quantum: no anonymous request ends the job service or holds it without limit 2026-11-09 15:15:56 -05:00