Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science ce1c911312 wai-quantum: no anonymous request ends the job service or holds it without limit ... Re-landed from PR #676 (branch wai/quantum-parse-depth, merged with main f6e302665 at 0cf954bfc) as one commit on main, under the land-it model. Six review rounds; round 6's 16 findings are fixed, each with a test that fails on d5564748e. The public, anonymous job service is hardened on every route: - The reader: QEC indices refused past 2^24 and decodes capped; operator runs, else-if ladders and switches read flat at any length; real nesting bounded (Q006: 64 levels in the text, 256 through calls); arrays at most 7 dimensions. - Every read of a client's program is counted first and runs in a child capped on memory, time and answer size, covering admission, dry runs, checks, engine calls, set receipts, MCP verdicts and /v1/verify. - A result-size bound that is a true upper bound for every job kind (sampled intents' fits, trajectories, diagnostics, RFC 8785 numbers), held by a property test over random jobs, and tight where the method knows better (the stabilizer method's outcomes, a loop's verdict). - Dry runs apply exactly the run's checks, MCP's verdict included. - Turns: reading and check shares per client, a lent turn given back when others wait, at most eight waiting, J032 past them; long polls past a client's holds answer 429/503 with Retry-After and the job's status. - JSON-RPC ids echoed as sent; header and body time limits; large bodies read on one of four large-body turns, one per client. - wasmQ's /v1/verify and MCP verify go through the same admission, turns and reading child; wasmQ's profile states this reader's nesting bound. Passed on the merged tree (Framework, linux; M3, macOS): the service suite under ulimit -Sn 256 (118/119), the wai-quantum library (1,458), the CLI, wai-wasmq (67) and its 83 vectors on three engines, the engine with and without receipts, clippy -D warnings, wai breaking against main (5 acknowledged changes), and every repository check. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-09 15:15:56 -05:00
..
adversarial.rs	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
engines.rs	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
fuzz.rs	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
reading.rs	wai-quantum: no anonymous request ends the job service or holds it without limit	2026-11-09 15:15:56 -05:00
reference.rs	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
review.rs	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
sweep.rs	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
vectors.rs	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
wit.rs	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