Transaction Science
f45df2f1d0
wai-quantum-service: a result's bound holds for every job, a dry run says what its run takes, a client's quick calls pass its own long checks, and an MCP id comes back as it was sent ...
Sixth review of #676 :
- The bound on a result is a true upper bound, part by part
(catalog::Bound: counts, verdict, notes, requests, rest). A sampled
intent's fit names at most 64 of the outcomes it rules out and says how
many (impossible_outcomes), and its reason says them once; the bound
counts each intent's lists and the statement's reasons. A trajectories
run's counts are bounded by its trajectories. A verdict counts the
reader's notes and the repair again. Every number is counted at the
length RFC 8785 writes it (receipt::canonical_len), so a set's items'
requests and the provenance's shots and seed are counted as served.
- Where the method knows better, the bound is close: at most 2^b outcomes
for the b bits measured, and on the noiseless stabilizer method 2^d, d
its measured qubits and its branching gates (a GHZ state's two). A
verdict's critique is bounded by the smells its program's gates can draw
(critique::smells_bound, the critique's own walk), not 512 bytes a gate:
100 GHZ24 at 30,000 shots, and a 124,700-gate loop with its verdict, are
taken. A refusal names the largest part and what makes it smaller.
- A dry run applies the run's checks: over MCP it plans the job as the run
tools run it, with its verdict, and its reading is held to what the
submission's would take back (refused as accepted: false).
- A set's worker writes each item's result as text as it ends, so the
README's 100 points of 30,000 shots run to the end within their memory.
- A turn lent to a client goes back once one of its own requests has
waited 7 s, as once another client's waits, so two long checks never
hold its quick calls past their wait. A client's eleventh request at
once is refused, of readings as of checks, and no turn is lent while
one of its own is free or held by a request waiting for the pool.
- Every MCP answer echoes the JSON-RPC id as the text it was sent as.
- A long poll past its client's holds is answered 429 (503 past
everyone's) with Retry-After and the job's status; the command line's
follow waits and polls again.
- Every job queued or running counts against the service-wide unread cap
at its bound, checked again under the queue's lock.
- README, OpenAPI, the tool schema and the changelog say what holds; the
MCP tool snapshot and the command line's docs are regenerated.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-11-09 14:06:17 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
wip: registry, SPEC, CHANGELOG, CI jobs, reader tests, settle and generic machine description
2026-10-22 13:49:49 -04:00
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
ci: a push to main runs the room service and the remote desktop host agent workflows
2026-11-06 14:32:28 -05:00
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
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
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 audit: the report goes to a file and the log keeps the verdict
2026-11-08 09:11:50 -05:00
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
sandbox-meter: an interval long past the tick is no evidence that a rail is live
2026-11-07 03:17:48 -05:00
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 runs wai-metrics' tests, and a change to the crate runs every service built on it
2026-11-07 01:54:34 -05:00
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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
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: 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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
wai doctor: ends what an answered program leaves running; CI checks each archive
2026-11-06 17:24:17 -05:00
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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
wai: coverage-guided fuzzing of the reader, and the container reservations it found
2026-10-14 10:58:29 -04:00
cache-conformance tests what a cache answers from its store, and says how much it answered
2026-11-07 12:07:00 -05:00
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
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 runs on a push to main that changes key.rs
2026-11-08 13:38:12 -05:00
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'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: the linux leg installs cryptography for the independent verifier
2026-11-08 08:14:10 -05:00
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 dispatch, a neural capability's networks on the neural processor under the tier its decode needs
2026-11-09 10:20:48 -05:00
toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin)
2026-11-03 17:42:20 -05:00
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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
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: packages of several components, and the composing sink's package packed by it
2026-11-09 12:58:33 -05:00
toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin)
2026-11-03 17:42:20 -05:00
Merge main into the cross-simulator corpus
2026-11-06 23:37:22 -05:00
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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
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
toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin)
2026-11-03 17:42:20 -05:00
Merge main into wai/quantum-writer
2026-11-06 15:17:48 -05:00
Merge main into the cross-simulator corpus
2026-11-06 23:37:22 -05:00
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: 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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin)
2026-11-03 17:42:20 -05:00
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: 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: held to the grown conformance set, and what it cannot hold said
2026-11-07 03:36:31 -05:00
wai-quantum: the landscape GPU members held to what large jobs reach, placed only where certified, metered over what they cover
2026-11-06 14:32:12 -05:00
Merge main into wai/quantum-parse-depth
2026-11-07 07:33:25 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
Merge main into the cross-simulator corpus
2026-11-06 23:37:22 -05:00
wai-quantum-service: a pulse run's result bounded from its schedule, the dry run's result_bytes in the tool schema, and a QEC pilot held to 200 ms
2026-11-09 07:58:37 -05:00
toolchain: Rust 1.98.0 -> 1.99.1 (change-controlled pin)
2026-11-03 17:42:20 -05:00
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-service: a pulse run's result bounded from its schedule, the dry run's result_bytes in the tool schema, and a QEC pilot held to 200 ms
2026-11-09 07:58:37 -05:00
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: 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: a result's bound holds for every job, a dry run says what its run takes, a client's quick calls pass its own long checks, and an MCP id comes back as it was sent
2026-11-09 14:06:17 -05:00
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
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
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
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
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
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: no anonymous request ends the job service or holds it without limit
2026-11-07 02:35:17 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
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
The release's text names the platform where it named the machine
2026-11-07 10:56:01 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
wai doctor: ends what an answered program leaves running; CI checks each archive
2026-11-06 17:24:17 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
ci: gate jobs get their own pool, so a path question stops blocking real work
2026-11-06 14:24:36 -05:00
Merge main ( 1929b8436) into wai/quantum-parse-depth
2026-11-09 14:06:16 -05:00
f45df2f1d0