wai-quantum-service: POST /v1/write and write_circuit, a program written for a task on the service's own model (stacked on #646) #648
2026-11-06
wai-quantum-service: the transcript's maths library in the schema and the claims; the tool snapshot regenerated
All checks were successful
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 2m3s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m31s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 9m1s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 7m26s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 17m13s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 10m18s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 16m53s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m55s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 2m1s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m18s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 52s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 18m56s
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 4m47s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 56s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 5m16s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 47s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m17s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m5s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 19m9s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 26m13s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m28s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 39s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m31s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m10s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 28s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m9s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 21m2s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m35s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m20s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h43m9s
The writer's model now names its maths library (#646): the schema describes `libm`, and the README, the tool's description, the OpenAPI summary and the writer's docs name it beside the architecture, operating system and matmul kernel. The command line's tool snapshot and llms-full.txt are regenerated, the service's lock takes the writer's memmap2, and the store-lock test borrows the service across its threads. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-writer (the cap's edges, the mapped model, the replay options; the injected error) into wai/quantum-service-write
The loop's new test takes the public scripted model here. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-service: a write's cheap checks come first, then its client's window, then its programs, read once within one budget; the queue and its lock
The second review's findings in the service:
- Admission order. A write's programs were read, three times each, before its sizes,
its counts and its client's window: four 885-byte POSTs held every runtime worker for
26 s. Now writer::read_shape refuses what costs nothing to read (shape, options,
exact numbers, canonical size, the number of cases and intents); a key's resend is
answered; a client holding a write is refused; the submission is counted, so a write
refused after it still counts; and only then writer::read_programs reads the
programs, each once and all within one budget of 1 000 000 statements
(wai_quantum::qasm::within_steps, a per-thread budget and memo the reader's elaborator
spends from), as blocking work off the runtime's workers. supervise_write reads only
the options, not the whole task again.
- Partial inputs. A task whose cases give different inputs could pass no program;
check_task refuses it.
- OpenAPI: /v1/write's 422 names J031; GET /v1's limits.queue says it is per kind.
- A cancelled write still counted in the queue until a scheduler passed it; queued()
counts live entries.
- The admission lock was a std Mutex held across the store's fsyncs on runtime
threads. A client's write is now reserved in memory under the lock and released once
its job is in jobs, and a job's record is kept before the queue lock is taken (a
queue found full takes it back), so no lock is held across the store's writes.
Tests failing on 90b4d4073 for the reasons they state:
a_write_s_programs_are_read_last_within_one_budget_and_hold_up_nothing (integration),
a_cancelled_write_holds_no_place_in_the_queue,
a_write_waiting_on_the_store_holds_up_no_other_admission, the budget lines of
a_write_reads_its_task_and_options_or_says_which_does_not, the inputs lines of
a_task_reads_only_with_something_to_check, and the queue and OpenAPI lines of the
service's write test.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-writer (with main) into wai/quantum-service-write
Some checks failed
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-quantum service / service · linux (pull_request) Has been cancelled
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Has been cancelled
wai-quantum studio and desktop / studio · browser (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 55s
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-service: a write's task is bounded and read before it is queued, one client's writes admit one, a cancel stops a starting writer, and the queues are apart
The review's findings in the service:
- A task was bounded only by the 1 MiB body. It is now held to the course's form at
admission (check_task, through engine::course::exercise_form: whole-number bounds,
named constraints, a job of shots, seed and noise, at most 16 cases and 8 intents),
its canonical form to 64 KiB (MOST_TASK_BYTES), what the model is first told of it to
8 KiB (MOST_PROMPT_BYTES), its job read as a job is on a one-qubit program (shots,
noise channels), and a program an intent compares with to the equivalence bounds a
job's intent meets (J031). A non-object job panicked the writer; a malformed intent
burned every round; job.compile and job.repair went through. GET /v1 states the limits.
- One write a client: the check and the admission were separate steps, so four POSTs at
once admitted four. A lock now holds from the check to the job's insertion.
- A write cancelled while the writer started was sent to it anyway and ran to its end.
It is no longer sent, and a write cancelled while it runs stops the writer within a
poll, whether or not the kill reached it.
- Queued writes and circuit jobs shared one max_queue, so a backlog of writes refused
every circuit job with idle workers. Each kind now fills the queue up to max_queue
alone, in would_refuse (the dry run) and at admission.
- The verdict get_quantum_job and tasks/result give a write is the last program's
against the task's constraints as well as its intents (holds: false, naming the broken
constraint); a write with no attempt yet has none, where it was "refused".
- The writer reads every byte of the model against its manifest as it starts, so a hosted
transcript's model says "checked": "blake3".
- The replay claim is scoped in the README, the tool's description, the OpenAPI summary
and the schema: the same bytes in the same arithmetic, which the transcript names. The
schema has the transcript's new fields (check_memory_bytes, decoding.think_max, the
model's checked/arch/os/matmul, each attempt's thinking_closed); the command line's
tool snapshot and llms-full.txt are regenerated.
- The writer's test that a task asks something could not fail (its scripted model had no
reply to give); its model now has a passing one, so only check_task refuses the task.
Each new test failed on 72544526f for the reason it states: four of four writes admitted;
a circuit job refused behind two writes; a queued write's verdict "refused"; a task with
{"t_count": 0} admitted; a cancelled write run by the writer (its peak memory recorded).
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-writer (bounds said as at most n; thinking counted on its tokens) into wai/quantum-service-write
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-writer (one task digest, one check; the exact manifest; the thinking cap) into wai/quantum-service-write
check_task now holds a task's canonical form to engine::course::exercise_form after its own checks, write_with reads the canonical task, and the scripted model and the writer process take the reply's thinking cap. Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-05
Merge wai/quantum-writer (with main) into wai/quantum-service-write
Some checks failed
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
WAI energy receipts / energy receipts · macos (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · macos (pull_request) Has been cancelled
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 13m31s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum service / service · macos (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
The two branches below this one now carry main's two newer commits (the marks, #653). They touch nothing this branch does. No conflict. Co-Authored-By: Claude Fable 5.1 <[email protected]>
Merge wai/quantum-writer (with main) into wai/quantum-service-write
The two branches below this one now carry main's fourteen newer commits and their changelog entries as files of wai/changes/. The pin for the course's eleven tests in wai-quantum-docs.yml is the same lines on both sides and merged as one change. One conflict, wai/CHANGELOG.md: this branch had added three entries to the head of Unreleased, the two it inherited and its own. The file is main's again. The inherited entries are already the files the branches below added, byte for byte, and this branch's own entry moves, word for word, to wai/changes/2026-11-05-job-service-writes-program-for-task.md. Co-Authored-By: Claude Fable 5.1 <[email protected]>
wai-quantum-service: a write's energy says its window is the write's, on Linux too
Some checks failed
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 27s
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 23s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 6m16s
wai-quantum service / service · macos (pull_request) Successful in 5m17s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 5m6s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m59s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 2m25s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 20m7s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 7m32s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 10m21s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 17m22s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 2m31s
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 4m38s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 38s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 7m19s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 15m22s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 23s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m14s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m12s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 25m36s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 7m47s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m24s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 51s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 12m34s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m12s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 26s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 2m31s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m27s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 2m26s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h16m33s
A write on Linux took the words of a job's figure: the packages' energy "from just before its worker started to just after it exited". The writer neither starts nor exits in a write's window, and the words are inside what the receipt seals. A metered write through SMOKE_WRITE=1 on real package counters showed it. The figure now says what its window is, from just before the write was sent to just after its last line came back. The macOS figure already said so, but kept the engine's "billed to the worker" among its exclusions, and now says writer there too. A test holds both figures to naming no worker. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-service: smoke.sh's write line names its job
So that whoever runs SMOKE_WRITE=1 can read the write afterwards, its energy and
its timing among it, from GET /v1/jobs/{id}.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-docs.yml: the stack's course tests are required by name, and their count is eleven
The workflow pins how many course tests pass and names each one, since a module filter is satisfied by any one test. This branch carries two tests the pin does not know: an_exercise_outside_the_course_is_checked_as_a_lesson_is (#645) and any_exercise_is_shown_as_a_lesson_shows_its_own (#646). So the step failed here with every test passing. This branch's own commits add no course test. The lines extend #645's own fix by one name, in the same place, so that #646's fix, written the same way, merges with them as one change. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-service: POST /v1/write and write_circuit, a program written for a task on the service's own model
Some checks failed
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum service / service · macos (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
WAI examples / WAI examples · portable · linux (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
A service started with a model (WAI_QSVC_MODEL) writes an OpenQASM program for
a task, an exercise in the course's form, with wai-quantum-writer's loop: the
model writes, the engine checks each attempt as it checks a lesson's answer,
and what went wrong goes back for another attempt.
- A write is a job (Work::Write), admitted, kept, reloaded and run again as
one, and sealed with the service's receipt. Its result is the transcript
(wai.quantum.write/1) with the writer's energy inside it, so POST /v1/verify
checks it; its timing is the job's `timing`, outside the signed body. The
request is kept in canonical form, so a rerun hands the model the same text.
- The writer process (`wai-quantum-service writer`) starts with the service
and serves every write over JSON lines on stdin and stdout, so the model
loads once. One that ends is started again for the next write, and the
write it was running fails, saying so. On macOS it runs in the worker's
sandbox, its model read. Its resident memory is held to WAI_QSVC_WRITER_GB
(96), a write to WAI_QSVC_WRITE_SECS (3600), and the engine's checks inside
it plan within one job's memory.
- Writes have a scheduler of their own: one at a time, in the queue's order,
beside the circuit jobs, neither holding the other up. The circuit
scheduler passes over writes and takes a job out of the queue by its id
(it used to pop the front, which also dropped a job queued but not yet
listed). A client holds one queued or running write (J030), and a write
holds none of the jobs' memory budget.
- Each attempt is an `attempt` event on GET /v1/jobs/{id}/events as it lands,
and a running write's job gives its `progress`.
- Refusals: J070 (no model, 503), J071 (a task that does not read), J072
(options out of range). Idempotency-Key works as for a job.
- GET /v1 and quantum_service_info give `write`: the model's name, licence
and digest once it is loaded, or that there is none. The OpenAPI document
has the route and its request. The MCP server has write_circuit, which runs
as a task, and get_quantum_job reads a write with the verdict of the last
program it wrote (its outputSchema, job_or_write; the run tools keep job).
- WAI_QSVC_WRITER_SCRIPT runs a script in the model's place. tests/write.rs
writes a Bell pair's program with one, through a FIFO that holds the writer
at its start: a pass after one repair, the transcript's fields, the receipt
verifying, the two attempt events, one write a client, the order, an
idempotent resend and the refusals; and a service with no model answering
503. jobs.rs holds a write run again after a restart to the same transcript,
and a write's job in each status to its schema.
- smoke.sh writes a Bell pair's program with SMOKE_WRITE=1, and otherwise
checks that a service with no model refuses a write.
- The image builds from the repository's root, since the service now links
the writer and its model runtime; the workflow runs on their paths. The
command line's agent docs and tool snapshot list write_circuit.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-writer: the scripted model is public, each attempt is handed on as it lands, and a task must give something to check
- scripted::Scripted, moved out of the tests: a model whose replies are set in advance, read from a JSON script (each reply a string, or null for one that never left its thinking), and named by the digest of its script. Each conversation plays the script from its first reply, so a write run again gives the same transcript, as a greedy model's does. The job service's writer runs one in the model's place (WAI_QSVC_WRITER_SCRIPT), and a script that runs out says so rather than panicking. - write_with: write, with each attempt and its timing handed to a callback as it lands, for a service to stream. - check_task: a task is a JSON object (naming wai.quantum.exercise/1 if it names a form) with an intent, or cases that each have one; a case without one takes the task's. write calls it, so a case with no intent of its own or of the task's is refused before the model is asked. Before, such a case was checked with no intent, and no program could pass it. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the refusal codes J070 to J072, and a course check that names no lesson
The job service's write (POST /v1/write, write_circuit) refuses with codes of its own, added to the job layer's table and to its page: - J070: a write sent to a host with no model to write with (the service answers 503); - J071: a write's task that does not read: an exercise with an intent, or cases that each have one; - J072: a write's options out of range, or a member a write does not take. A course check's `lesson` may be null in its schema (wai.quantum.course-check/1), as engine::course::check_exercise gives it for an exercise that is no lesson's. The service holds each attempt of a write to that schema. Co-Authored-By: Claude Opus 5.5 <[email protected]>