wai-quantum: a landscape member declares its capacity, and is held to everything within it #678
2026-11-09
wai-quantum: the store rewrites its file at each certification as a demotion would, keeps a demotion in a file of its own, and generation reaches settles past 2^13 and late two-cycles
Some checks failed
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m56s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 19m58s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 9m9s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 1m57s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 51s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 27m50s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 12m40s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m44s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 40s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m21s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 15s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m6s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 28s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 54s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 30m54s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m35s
wai-quantum-landscape-fpga reference design / the member against the model of the logic, and the logic against the model · linux, release (pull_request) Successful in 38m3s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m40s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m19s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 35s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 4m40s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 1m59s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 23m22s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 28s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m15s
wai-quantum command line / command line · linux (pull_request) Successful in 51m43s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 5m11s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m2s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 25m32s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 2h11m29s
A sixth adversarial check of the landscape capacity rule (#678) confirmed 13 findings (1 medium, 12 low). This commit fixes them and keeps each probe as a test (review6_* in landscape_conformance, and run::tests::the_audit_s_threads_are_capped_over_the_process_and_run_low). The demotion store: - Each certification rewrites the store's file as it is, the way a demotion does: a file of its own as large as the largest rewrite a demotion can make, synced, cut back and renamed over the file. A file another user owns in a sticky folder, one marked uchg or uappnd (chflags) or immutable (chattr +i), a long identity and a store written compact now grade nothing bit-exact. A reason is kept to its first 1,024 bytes (STORE_REASON_BYTES), so the rewrite's size is bounded. - A demotion is written at once to a file of its own beside the store (.<name>.demotion.<hex>.json), with no lock to wait for, which every certification reads, and then merged under the exclusive lock. A lock held past 5 s leaves it in its own file until a later demotion merges it: it is kept, not dropped. - The store's temporary files are matched exactly (.<name>.<write|probe|demotion>.<n>.<n>.tmp), made with create_new and held locked by their writer. One unchanged for 10 s that no writer holds is removed at the next certification or demotion (STORE_STALE_AFTER), so a killed certification's probe goes, and no store removes another's file. - Links are followed link by link; a link in a world-writable sticky folder is not followed, and no file of the store's is opened through a link (O_NOFOLLOW, and the opened file checked against the path). A file with two names (a hard link) is refused. Generation: - Units of three cells that move to sweep 11u - 59 (14,956 on 4,095 cells) are stopped past 2^9 to 2^13 sweeps, each on as few units as still move there, and at their last move; units of two where couplings are scarce. The claim of a longest-moving settle is gone. Stale(8182), Stale(10000), Stale(14955) and a 13-bit counter lose the settle grade. - The same units beside an alternating pair end in a two-cycle at sweep 449, the first of a later batch of 64, and at 4,101, where 9- to 12-bit counters read the other phase. The battery: - Its added workloads run in calls of 63 down to 17 chains, every partial warp and workgroup; a call's partial group wrong at 34 to 62, or at even counts, loses statistical. - Section 7.2 states what the likelihood-ratio bound misses (a law some 10% off, a count of cells the battery does not run), a test holds each statement, and every answer from a kernel graded statistical says so (member::STATISTICAL_GRADE). The audit: - The crate docs and the change entry say the job's own thread runs its share at the job's priority, beside the low-priority audit threads; an audit thread whose priority cannot be lowered says so once. A test, run with the module's tests on Linux and in the bits job on Linux arm64 and macOS, holds the cap, setpriority's result and the priority read back, and that every thread is given back. The bits job also runs the store's tests on those platforms' file systems. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: main into the landscape capacity rule, for round 6
The CUDA sampling kernel takes main's fault word: a lookup past its table stops the call with an error, where this branch had marked the cell. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the battery test's mutants declare 32 cells, so they meet the whole fixed battery and not 4,096 alike cells
Some checks failed
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-quantum WebGPU member / does this change touch it (pull_request) Has been cancelled
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-sink-android native sink library / does this change touch it (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 / does this change touch it (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI mbt2018_mean integer decode (regenerated vectors) / does this change touch it (pull_request) Has been cancelled
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Has been cancelled
WAI Studio / does this change touch it (pull_request) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
wai-web reach builds / wai-web reach · does this change touch it (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 / does this change touch it (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
wai-int-module WAISM module of record / does this change touch it (pull_request) Successful in 13s
wai-int-module WAISM module of record / linux · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (pull_request) Has been skipped
wai-int-module WAISM module of record / linux-arm64 · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (pull_request) Has been skipped
wai-int-module WAISM module of record / the module of record in Chromium (pull_request) Has been skipped
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: §7.1 and §7.3 give the round-5 costs, generation's and the audit's wall time over ten runs a device
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: main into the landscape capacity rule, for round 5
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the store proves its folder takes a rewrite, and generation and the battery reach the longest settles, every remainder and every cell
A fifth adversarial check of the landscape capacity rule (#678) confirmed 15 findings. This commit fixes them and keeps each probe as a test (review5_* in landscape_conformance). The demotion store: - At every certification it writes, syncs and removes a file as large as its next rewrite, so a folder that stopped taking writes, a full disk or a file-size limit grades nothing bit-exact. - An empty WAI_LANDSCAPE_DEMOTIONS is as if unset, and a path naming no file is a broken store. - A linked store is its target's, and a link to nothing fails closed. - Its lock is waited for at most 5 s; past that, that certification grades nothing bit-exact, and the next waits again. - A rewrite keeps the file's mode and removes files a crashed writer left. Generation: - The wave is stopped one sweep before its rest. - A settle of two-cell units that moves for 2n - 10 sweeps is stopped past 2^9 to 2^12 sweeps and at its last moving sweep. - The final sweep at 0 runs at odd, even and middle remainders of a partial warp and workgroup, after two, three and a cold sweep above 0, on cells tied at the cost so that it moves them. The battery: - Its alike cells reach every cell a workload can hold (4,096 with none), every cell read, with a second count at a partial group's most. - The workloads a capacity adds run in calls ending in a partial warp, held by a likelihood-ratio bound from the method of types, which holds whatever the law. The audit's re-runs take at most a quarter of the host's cores, 4 at most over the process, at a low priority. §7.3 states its cost as work. Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-08
wai-quantum: the per-call draw's probe runs chains that come to rest apart, and §7.3 gives the wall time over two runs
Some checks failed
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 21m44s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 11m1s
wai-quantum command line / command line · linux (pull_request) Successful in 40m43s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 1h10m33s
wai-quantum energy-landscape GPU members / members · jetson-hub (pull_request) Successful in 13m26s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m8s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 2m9s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 49s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m26s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 35s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m25s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 8m43s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 41s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 19m4s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 16s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 30m35s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 43s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 24m55s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m28s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m32s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m37s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 41s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 53s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m7s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m3s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 3m25s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m33s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 2h46m46s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 2h8m45s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h12m53s
The cheat that copies a call's last chain went unseen on a six-cell job whose chains often came to rest in the same state; on a ring of 32 cells they do not. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: §7.3 states the audit's wall-time cost, measured on Metal and CUDA
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: main into the landscape capacity rule, for round 4
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the audit draws in every call, the store fails closed, and generation reaches long settles and spans
A fourth adversarial check of the landscape capacity rule (#678) confirmed 22 findings. This commit fixes them and keeps each probe as a test. Generation (spec §7.1): - Ladder sizes in a remainder band also run hot and then one sweep at 0, the final sweep an engine runs after hot ones. - The wave comes to rest within a declared sweep limit, where it was dropped before. - The widest wave is also stopped at its bound while it still moves: past 2^9, 2^10 and 2^11 sweeps, and one sweep before it would rest. - The battery's alike cells follow a declared cell count, up to 4,096. - The uncertain span is reached where a table limit is the narrower, and where no span is declared. - The workloads a capacity adds to the battery hold each block at a 10^-8 chance of failing a correct sampler, and read only a few blocks. The audit (spec §7.3): - Every call checks its last chain and one chain of each run it holds, drawn afresh, so timing the host tells a member nothing about the next call. - The re-runs are spread across the host's cores. - An answer no longer carries a key digest that nothing could open. - The text states what the settle audit catches past its budget, and the wall-time cost. The demotion store reads its file at every certification. It merges each demotion under a file lock, writing it to a file of its own and renaming that into place. It fails closed: where the file is corrupt, unreadable or unwritable, or the FPGA host has no HOME, it logs the reason and grades no kernel bit-exact. "parity": null is the default. §2 and §3 list parity, audit and member.demoted. This also carries #673's one WebGPU instance per process, so the NVIDIA driver keeps listing its Vulkan adapter. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the landscape's WebGPU members come from one instance, so a card is found every time
With the CUDA fault fixed, jetson-hub's leg still lost a member: the RTX 4050 through Vulkan, from the fourth fault on. The disk was not the cause. The leg compiled and wrote its files, and the same tests failed twice more with 248 GB free. Nor was the card's memory: at most 630 of 6,141 MiB was in use. Each discovery made its own wgpu instance. That host's NVIDIA Vulkan driver (595.99) lists its card to a process's first ten instances and not after, even with every one dropped. At that moment it logs NV_ERR_NO_MEMORY for a host-memory allocation. A process that looks again, as the device tests do for every test and every faulted kernel, found the card gone; the order of the tests only decided where. On jetson-hub, one process discovering 60 times: - an instance a discovery: the card is found 10 times, then not again; - one instance for the process: the card is found 60 times. Discovery now takes the process's one instance. a_member_is_found_however_often_the_host_looks discovers twelve times in one process and wants the same members each time. On the Framework (AMD, through Vulkan) and Thor (NVIDIA), the device tests, it among them, pass twice each. The workflow expects 9 device tests where it expected 8. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the change entry names only the breaks the gate finds
Some checks failed
WAI energy receipts / energy receipts · macos (pull_request) Successful in 59m29s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 1h41m31s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m51s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 42s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 27s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 3m35s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m9s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 4m59s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 7m35s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 55s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 15m7s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 48s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 11m50s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 24m39s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m52s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 4m37s
wai-quantum energy-landscape GPU members / members · jetson-hub (pull_request) Failing after 4m16s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 2m54s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 2m44s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 3m15s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 1m0s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 1m18s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 30m25s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 4m19s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 22m1s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 5m53s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 6m12s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Failing after 4m30s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m38s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
Prepared::statistical is a new field of a struct with private fields, which the API gate does not count as a break. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: main, wai-quantum 0.9.0 among it, into the landscape capacity rule
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the audit rests on what the host computes and remembers, and generation reaches within every capacity
The third adversarial check of #678 found the audit trusting what a member reports or can predict, and generation falling short at small and declared capacities. - The audit checks one chain of every seed's run, and the last of every call, in run, replay, sweep and compare. It decides a settle's re-run from the work the host asked for, never the sweeps the member reports, and compares the reference's settle as far as a 2^24 budget goes. It draws with a host key made at start and a count every draw moves on; each audited answer records what it checked and a commitment to the key (`audit`). - A demotion is kept by identity (Member::fingerprint and the id) in member::Demotions, in a file where the host names one: the FPGA host does. A second certification or another declared capacity does not clear it. - A kernel graded statistical is placed only where a job asks for it ("parity": "statistical"). - Generation: lane vectors packed to what the capacity takes; remainder-band ladder sizes quenched; a wave as long as a settle can be for every capacity; a corner that moves at 0 and reaches the field bound through a cell's every coupling; a coupling sum past a narrow lane; annealing-shaped vectors cold enough for a declared span; a battery of exactly the declared cells, and of 1,023 with none. The cost bounds are constants a test holds over random capacities. - The CUDA out-of-table mark is no longer claimed to mark the answer. - The round-3 probes are kept as tests; spec 7.1 and 7.3 follow. Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-07
wai-quantum: certification chooses vectors by rule for every capacity, and the host audits every bit-exact answer
The second adversarial check of #678 found ten more fault classes that a finite set misses, each another axis sampled at a few points. So: - Capacity::generate makes vectors by rule from any capacity, none included: every cell count at and beside a power of two up to what a workload can hold (4,096 with none), every cell moving; every call size to 32 and each band of a wavefront past it, and a whole batch; the longest row, its whole length needed; fields at the wrap points of 16, 24 and 32-bit lanes, alone, through couplings and beside the largest cost, at 0, above it and ending at 0; a corner with every number at its most; a run past draw index 2^24. The edges reach a declared table and span exactly, and the field bound at 0 by a field alone. Battery workloads at a declared cell count, couplings and schedule length read a few blocks of many (BatteryCase::read). The cost is bounded and pinned by a test: at most 200 vectors. - The audit (spec 7.3): the last chain of every call and one chain chosen by the job's digest run again on the reference, and every settle within a work budget. At the first difference the member is demoted to uncertified, the job answered from the reference, and later answers carry member.demoted. - The reference's sampler skips sweeps at 0 after a fixed point; its bits are unchanged. - The CUDA chains kernel reads its table only within its length: a field past it, which only a fault gives, leaves a cell no answer passes, and no illegal address poisons the context. - Text: a decline is the host's; a member run by name claims no grade; the FPGA workflow's greps follow the renamed lines; Breaking lines for every API break against main. - Every fault test also runs under realistic capacities; the review's probes are kept as tests; spec 5, 5.1, 5.3, 7, 7.1, 7.2 and a new 7.3. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a declared capacity is held at its edges, a batch is split, and the core set crosses windows
Some checks failed
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 23m18s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 10m53s
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 3m29s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 26m20s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 2m38s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 30m2s
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 47s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 3m28s
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 34s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m17s
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 34s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 12m14s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 15m5s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 2m1s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 47s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 4m25s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 3m1s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m56s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 39s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 14m47s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m15s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 2m22s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m36s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 4m9s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 13m18s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 7m20s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 23m6s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 37m14s
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m5s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 24m50s
The adversarial check of 75edfe063 found faulty members certified bit-exact
by declaring a capacity: a declared number removed fixed vectors, and the set
samples each number at a few points only.
- Capacity::edges: for each number declared below what a job can reach,
certification runs vectors at exactly that number, within every other
number declared, the reference their oracle; hot and cold above 0, so a
field reached exactly is drawn exactly. A member that declares nothing runs
the fixed set only, and the reference's answer bytes are unchanged.
- sweeps is a capacity number (a settle's bound, a schedule's length); the
core set holds 5,000 sweeps on 32 cells within the floor, which cross
windows by table and by work, and the full set 200,000 sweeps of two cells.
- chains_per_call is a batch, not a limit: certification splits every vector
and battery workload into calls of the size run time uses (Capacity::batch,
shared with run.rs), plus one call of exactly that many; words() no longer
sends such jobs elsewhere, and the floor holds no batch.
- certify reads the capacity once and holds the vectors to that reading.
- The FPGA host's grade lines name the capacity; docs state what the GPU
members declare; spec §5, §5.1, §7 and §7.1, the schema and the change
note follow.
- Every fault test also runs declaring its most hostile capacity, behind a
positive control; the review's probes (p02 to p12, the skeptic's window
member, the FPGA's random jobs) are kept as tests. vectors.json rebuilt.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: an answer states a capacity only where one is declared, and the floor's numbers are the core set's
Some checks failed
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m21s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m19s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 30s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 15m56s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 50m42s
wai-quantum service / service energy · linux packages (pull_request) Successful in 1m19s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 20s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 23m15s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 17m20s
wai-quantum energy-landscape GPU members / members · jetson-hub (pull_request) Failing after 58s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 2m10s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 2m56s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 5m26s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Failing after 13m45s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 3m8s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 2m52s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 4m52s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 3m29s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 14m28s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 3m37s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 22m22s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 1m57s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 3m1s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 1m25s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 7m7s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 4m52s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 28m2s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (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
With none declared, as the reference's, an answer carries no capacity, so the reference's answers keep their exact bytes: CORPUS_20 and every pinned digest stand. The schema makes capacity an optional object; the spec and changelog say it is absent where none is declared. The floor's table entries are 31 (the dense chains, 16 cells with every pair coupled, at their hottest) and its uncertain span 61 (the wide-fields chains at their hottest), as worked out from the core set; the test pins them. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: main into the landscape capacity rule
Some checks failed
wai-quantum variational and algorithm library / does this change touch it (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 views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-quantum views in agent hosts / does this change touch it (pull_request) Has been cancelled
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Has been cancelled
wai-quantum verdicts and repairs / does this change touch it (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 / does this change touch it (pull_request) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
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-sink-swift native sink package / does this change touch it (pull_request) Has been cancelled
wai-sink-android native sink library / does this change touch it (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Has been cancelled
wai-quantum WebGPU member / does this change touch it (pull_request) Has been cancelled
wai-web wasm32 / does this change touch it (pull_request) Has been cancelled
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a landscape member declares its capacity, and is held to everything within it
A member states once, as fixed numbers, what its kernels hold (quantum_landscape::capacity::Capacity): cells and couplings; on each side of temperature 0 its largest field, field bound and cost; above 0 the cut points a sweep or the span of uncertain fields it holds; and the chains a call. The host declines for it exactly the jobs past those numbers, by Capacity::admits, a function of the job and the numbers alone, so no member declines by choice; Member::capacity takes the place of Member::takes. member::certify runs every vector and battery workload within the capacity, and the grade holds within it: member.capacity in every answer, a sentence in the label, the number a job is past in its refusal. A member that refuses or fails a case within its capacity loses the grade, and one that declares less than the floor, the least capacity that takes every case of the core set, is not certified. The GPU members declare their real limits; the CPU reference declares none. The FPGA reference design declares 64 cells and, above temperature 0, fields to +/-524,287, a cost to 1,048,575 and an uncertain span of 8,192; a test holds those numbers to the engine's own limits over the whole set, its host shortens a table's run of temperatures before it refuses a window, and the host certifies its register-level model bit-exact within that capacity on the set as it stands. Co-Authored-By: Claude Opus 5.5 <[email protected]>