open-standards/wai/wai-quantum/src/engine
Repository files (latest commit first)
Filename Latest commit message Latest commit date
dcharlot 152aab5c78
Some checks failed
wai-app and Create / wai-app · does this change touch it (push) Successful in 22s
wai-audit collector and player integration / does this change touch it (push) Successful in 25s
WAI operation catalogue / does this change touch it (push) Successful in 23s
wai-key-proxy / does this change touch it (push) Successful in 8s
wai-fleet service / does this change touch it (push) Successful in 18s
wai-ops integer operators / does this change touch it (push) Successful in 9s
wai formal verification (integer core) / does this change touch it (push) Successful in 21s
wai-quantum command line / does this change touch it (push) Successful in 6s
wai-quantum contract / does this change touch it (push) Successful in 6s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 6s
wai-quantum resource estimation / does this change touch it (push) Successful in 6s
wai-quantum editors / does this change touch it (push) Successful in 9s
wai-quantum for JavaScript / does this change touch it (push) Successful in 8s
wai-quantum other formats / does this change touch it (push) Successful in 9s
wai-quantum pulse and dynamics / does this change touch it (push) Successful in 9s
wai-quantum OpenQASM reader / does this change touch it (push) Successful in 8s
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (push) Successful in 51s
wai cross-architecture byte-equality / does this change touch it (push) Successful in 44s
wai-ledger service / does this change touch it (push) Successful in 26s
wai-quantum for Python / does this change touch it (push) Successful in 5s
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 49s
wai-quantum extension points / does this change touch it (push) Successful in 5s
wai-quantum error correction and mitigation / does this change touch it (push) Successful in 7s
wai-quantum service / does this change touch it (push) Successful in 7s
energy meters on real hardware / RAPL and NVML on jetson-hub (push) Successful in 58s
wai-quantum variational and algorithm library / does this change touch it (push) Successful in 6s
wai-quantum studio and desktop / does this change touch it (push) Successful in 8s
wai-sink-swift native sink package / does this change touch it (push) Successful in 7s
WAI Studio / does this change touch it (push) Successful in 7s
wai-vector vector graphics / does this change touch it (push) Successful in 8s
wai-sink-android native sink library / does this change touch it (push) Successful in 25s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 26s
wai-quantum verdicts and repairs / does this change touch it (push) Successful in 28s
wai-fleet service / service · macos (push) Successful in 45s
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (push) Successful in 1m24s
wai-ops integer operators / linux-aarch64 (push) Successful in 1m9s
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Successful in 52s
wai-ops integer operators / independent checker (Python) (push) Successful in 50s
wai-ops integer operators / linux-x86_64 (push) Successful in 1m2s
wai-ops integer operators / macos-arm64 (push) Successful in 1m2s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Successful in 1m38s
wai-key-proxy / proxy · linux (push) Successful in 1m7s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Successful in 1m40s
wai-ops integer operators / wasm32 under Node (push) Successful in 1m8s
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Successful in 13s
wai-audit collector and player integration / collector · linux (push) Successful in 1m34s
wai formal verification (integer core) / every harness in one shard (push) Successful in 19s
wai-ops integer operators / wasm32-wasip2 (wasmtime) (push) Successful in 1m29s
wai cross-architecture byte-equality / linux-aarch64 (push) Successful in 30s
wai-quantum command line / command line · macos (push) Successful in 1m34s
wai-fleet service / service · linux (push) Successful in 1m55s
energy meters on real hardware / sink decode table · per-task energy and the GPU rail on macOS (push) Successful in 3m6s
joule-code conformance gate / joule-moq-relay, every target (push) Successful in 3m7s
joule-code conformance gate / Build + round-trip C1-C4 vectors (push) Successful in 3m17s
wai-quantum pulse and dynamics / the same bits · macos (push) Successful in 1m0s
wai cross-architecture byte-equality / macos-arm64 (reference) (push) Successful in 27s
energy meters on real hardware / sink decode table · RAPL on jetson-hub (NVML surveyed) (push) Successful in 2m44s
wai-quantum editors / editors · macos (push) Successful in 1m23s
wai-ledger service / service · macos (push) Successful in 57s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Successful in 1m39s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Successful in 2m31s
wai-quantum extension points / the registry and the example · linux-arm64 (push) Successful in 2m29s
wai-quantum service / service energy · linux packages (push) Successful in 1m32s
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Successful in 2m6s
wai-quantum for Python / python · macos (push) Successful in 2m23s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Successful in 9s
wai-vector vector graphics / linux-aarch64 (push) Successful in 2m31s
wai-quantum contract / API compatibility · linux (push) Successful in 4m18s
wai formal verification (integer core) / kani (stage) (push) Successful in 3m18s
WAI operation catalogue / the catalogue and every door · linux (push) Successful in 5m10s
joule-code conformance gate / joule-moq-ingest, every target (push) Successful in 6m21s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Successful in 2m11s
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Successful in 6m45s
wai-quantum resource estimation / estimation and calibration · linux, release (push) Successful in 1m55s
wai-quantum editors / editors · linux (push) Successful in 2m9s
wai-quantum studio and desktop / desktop app · macos (push) Successful in 3m46s
wai-quantum contract / schemas and the committed tool lists · linux (push) Successful in 6m32s
wai-quantum command line / command line · linux (push) Successful in 3m28s
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Successful in 1m24s
wai-quantum for JavaScript / javascript · linux (push) Successful in 3m18s
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Successful in 46s
wai-quantum studio and desktop / desktop app · windows (push) Successful in 9m2s
wai-vector vector graphics / macos-arm64 (push) Successful in 2m3s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Successful in 57s
wai cross-architecture byte-equality / linux-x86_64 (push) Successful in 29s
wai-quantum OpenQASM reader / reader and corpus · linux (push) Successful in 1m59s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Successful in 1m26s
wai-quantum service / service · macos (push) Failing after 7m39s
wai-quantum other formats / readers, writers and the set · linux (push) Successful in 3m52s
wai-ledger service / service · linux (push) Successful in 1m47s
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Successful in 59s
wai-quantum extension points / the registry and the example · linux (push) Successful in 2m30s
wai formal verification (integer core) / kani (arith) (push) Successful in 11m8s
wai-quantum for Python / python · linux (push) Successful in 3m27s
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Successful in 3m5s
wai formal verification (integer core) / kani (integer-core) (push) Successful in 11m51s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Successful in 2m2s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Successful in 57s
wai-vector vector graphics / wasm32 under Node (push) Successful in 26s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Successful in 5m13s
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (push) Successful in 53s
wai-vector vector graphics / fuzz, peak allocation, comparison count (push) Successful in 19s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Successful in 12m46s
wai-quantum studio and desktop / studio · browser (push) Successful in 3m9s
wai-quantum service / service · linux (push) Successful in 5m20s
WAI Studio / Studio in Chromium and Firefox · macos (push) Successful in 10m26s
wai-vector vector graphics / wasm32 in three browser engines (push) Successful in 2m51s
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Successful in 1m46s
wai-quantum studio and desktop / desktop app · linux (push) Successful in 5m10s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Successful in 15m44s
wai-vector vector graphics / linux-x86_64 (push) Successful in 4m9s
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Successful in 1m24s
wai-vector vector graphics / independent checker (Python) (push) Successful in 3m22s
wai formal verification (integer core) / kani (plan) (push) Successful in 17m1s
wai-quantum views in agent hosts / views · a scripted host (push) Successful in 3m30s
wai-quantum views in agent hosts / views · the page and its engine (push) Successful in 3m44s
wai formal verification (integer core) / kani (sound) (push) Successful in 21m26s
WAI Studio / Studio in WebKit · linux (push) Successful in 12m13s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Successful in 20m47s
wai formal verification (integer core) / kani (stage-long) (push) Successful in 24m54s
wai formal verification (integer core) / kani (isqrt512) (push) Successful in 27m5s
wai formal verification (integer core) / kani (rans64-t2) (push) Successful in 13m7s
Merge pull request 'Rust: one toolchain, the latest stable' (#606) from chore/rust-latest-stable into main
2026-11-04 14:18:26 -05:00
..
algorithms wai-quantum: the library's job codes in a decade of their own, J050 to J053 2026-10-31 09:48:42 -04:00
answer wai-quantum: the answer layer's prompt gives each argument's kind, and a named argument is told it goes by position 2026-10-28 08:42:54 -04:00
editor wai-quantum: the reader's codes reach the guide, the editor and Python 2026-10-27 19:51:35 -04:00
estimate wai-quantum schemas over the integrated stack: the verdict, the J codes, estimates, targets, the debugger and the repair, and every tool's output held 2026-10-27 23:44:28 -04:00
formats wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
pulse wai-quantum: the tests that need the dyadic QIR writer or the receipts built only with them 2026-10-31 07:16:32 -04:00
registry wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
synth clippy 1.99: two findings the comparison missed, and one it could not have seen 2026-11-03 17:42:20 -05:00
targets wai-quantum schemas over the integrated stack: the verdict, the J codes, estimates, targets, the debugger and the repair, and every tool's output held 2026-10-27 23:44:28 -04:00
testdata wai-quantum schemas over the stack: the reader's and the compiler's documents held, a compile's result stamped 2026-10-27 23:44:28 -04:00
variational wai-quantum: an optimisation stops and goes on to the same bytes 2026-11-03 17:46:09 -05:00
algorithms.rs wai-quantum: the library's job codes in a decade of their own, J050 to J053 2026-10-31 09:48:42 -04:00
catalog.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
compile.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
converge.rs wai-quantum: whether designs converge on a model's, and a while on one's own 2026-10-26 16:05:43 -04:00
course.rs wai-quantum contract over the course and the docs: the course's schemas in schemas/, its checks named, every page run, the translations in step, and the views in English 2026-10-28 08:43:06 -04:00
critique.rs wai-quantum: rewrites, each checked, and equivalence proved by them at any width 2026-10-26 15:50:27 -04:00
debug.rs wai-quantum engine: a program that measures in the middle read in the order it runs 2026-10-27 23:44:27 -04:00
describe.rs wai-quantum engine: a program that measures in the middle read in the order it runs 2026-10-27 23:44:27 -04:00
discover.rs wai-quantum: rewrites, each checked, and equivalence proved by them at any width 2026-10-26 15:50:27 -04:00
draw.rs
dynamic.rs wai-quantum engine: a job's result carries the program's outputs, its timing label and the reader's warnings 2026-10-27 19:51:34 -04:00
energy.rs wai-quantum: answers drawn as they arrive in the Studio, and a correctness record kept only when asked 2026-10-28 08:42:54 -04:00
equiv.rs wai-quantum engine::algorithms: phase estimation, amplitude estimation, an adder and QSVT, each checked against a reference 2026-10-31 09:48:42 -04:00
fabric.rs wai-quantum: sparse Pauli dynamics on the GPU, with the CPU's term set, order and bits 2026-10-31 22:05:00 -04:00
fabric_measured.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
guide.rs wai-quantum: sparse Pauli dynamics on the GPU, with the CPU's term set, order and bits 2026-10-31 22:05:00 -04:00
job.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
latex.rs wai-quantum engine: the debugger, and the circuit as LaTeX, in words and edited by its drawing 2026-10-27 23:44:27 -04:00
locks.rs
mitigate.rs wai-quantum contract over error correction and mitigation: their answers' schemas, distinct refusal codes, the basis in the new passes, and the smoke within one window 2026-10-28 08:42:54 -04:00
mod.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
novelty.rs wai-quantum: whether designs converge on a model's, and a while on one's own 2026-10-26 16:05:43 -04:00
provider.rs wai-quantum engine::schema: the job's documents as versioned JSON Schemas, and every result names its engine and schema 2026-10-27 23:44:27 -04:00
pulse.rs wai-quantum-cli, wai-quantum-service: pulse runs, schedules and checks on the command line, both MCP servers and the job service 2026-10-30 12:05:14 -04:00
qec.rs wai-quantum contract over error correction and mitigation: their answers' schemas, distinct refusal codes, the basis in the new passes, and the smoke within one window 2026-10-28 08:42:54 -04:00
receipt.rs
refusal.rs wai-quantum-service: a job sent again under its key is the same job 2026-11-03 17:46:09 -05:00
repair.rs wai-quantum: a verdict for every answer, the job layer's refusal codes, and repairs held to the flagged lines 2026-10-27 23:44:27 -04:00
rewrite.rs wai-quantum: the order of a program's final measurements is no difference 2026-10-28 08:42:54 -04:00
run.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
schema.rs wai-quantum-service: a job the service was running when it stopped runs once more 2026-11-04 10:27:04 -05:00
sets.rs wai-quantum: a job binds its parameters, and the reader carries each gate's derivative by them 2026-10-31 09:48:42 -04:00
shortcuts.rs
stats.rs wai-quantum CLI: debug, the debug adapter, statistical intents and JUnit, and draw as SVG, LaTeX or words 2026-10-27 23:44:27 -04:00
study.rs wai-quantum: a study of the co-design, every measure the engine's 2026-10-27 09:57:36 -04:00
svg.rs wai-quantum engine::svg: every mark keeps its colour without the style sheet 2026-10-27 19:51:08 -04:00
taste.rs wai-quantum: rewrites, each checked, and equivalence proved by them at any width 2026-10-26 15:50:27 -04:00
telemetry.rs wai-quantum: answers drawn as they arrive in the Studio, and a correctness record kept only when asked 2026-10-28 08:42:54 -04:00
variational.rs wai-quantum: an optimisation stops and goes on to the same bytes 2026-11-03 17:46:09 -05:00
verdict.rs wai-quantum engine::registry: methods, passes, noise channels and formats behind traits, the built-ins registered through them 2026-10-31 23:30:48 -04:00
versions.rs
views.rs wai-quantum contract over views, the answer layer, correctness records and the harness: their schemas, the view's tool, the basis in the views, and the stored seal for 0.7.0 2026-10-28 08:42:54 -04:00
visual.rs wai-quantum engine: the debugger, and the circuit as LaTeX, in words and edited by its drawing 2026-10-27 23:44:27 -04:00