a1bbce7fad
Some checks failed
wai-audit collector and player integration / does this change touch it (push) Successful in 21s
WAI operation catalogue / does this change touch it (push) Successful in 21s
wai-quantum clippy / does this change touch it (push) Successful in 23s
wai-quantum command line / does this change touch it (push) Successful in 27s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 21s
wai-quantum error correction and mitigation / does this change touch it (push) Successful in 15s
wai-quantum qudit jobs / does this change touch it (push) Successful in 18s
wai-quantum for Python / does this change touch it (push) Successful in 22s
wai-quantum extension points / does this change touch it (push) Successful in 23s
wai-quantum service / does this change touch it (push) Successful in 24s
wai-quantum studio and desktop / does this change touch it (push) Successful in 21s
wai-quantum studio and desktop / desktop app · windows (push) Waiting to run
wai-quantum service / service energy · linux packages (push) Failing after 8s
wai-quantum variational and algorithm library / does this change touch it (push) Successful in 26s
wai-quantum verdicts and repairs / does this change touch it (push) Successful in 19s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 19s
wai-quantum on Windows / does this change touch it (push) Successful in 32s
wai-sink-android native sink library / does this change touch it (push) Successful in 21s
wai-quantum on Windows / engine · windows (push) Waiting to run
wai-quantum on Windows / command line · windows (push) Waiting to run
wai-quantum on Windows / job service · windows (push) Waiting to run
wai-quantum on Windows / python · windows (push) Waiting to run
wai-sink-swift native sink package / does this change touch it (push) Successful in 25s
wai-quantum for JavaScript / does this change touch it (push) Successful in 2m37s
WAI Studio / does this change touch it (push) Successful in 12s
wai-quantum OpenQASM reader / does this change touch it (push) Successful in 2m43s
wai-quantum editors / does this change touch it (push) Successful in 2m55s
wai-quantum pulse and dynamics / does this change touch it (push) Successful in 2m42s
wai-quantum contract / does this change touch it (push) Successful in 2m59s
wai-quantum other formats / does this change touch it (push) Successful in 2m48s
wai-quantum-landscape-fpga reference design / does this change touch it (push) Successful in 2m45s
wai-quantum resource estimation / does this change touch it (push) Successful in 2m51s
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 11s
WAI examples / WAI examples · does this change touch them (push) Successful in 22s
wai-quantum landscape stage 0, the sampler against the exact law / does this change touch it (push) Successful in 10s
wai-quantum landscape energy to solution / does this change touch it (push) Successful in 17s
wai-quantum energy-landscape jobs / does this change touch it (push) Successful in 12s
wai-audit collector and player integration / collector · linux (push) Successful in 3m47s
wai-quantum clippy / clippy, warnings denied, every feature set · linux (push) Successful in 3m46s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Successful in 16s
wai-quantum wasmQ / does this change touch it (push) Successful in 19s
wai-quantum qudit jobs / the module and the conformance set under wasm32-wasip2 (wasmtime) (push) Successful in 2m28s
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Successful in 3m53s
wai-quantum studio and desktop / studio · browser (push) Successful in 4m10s
WAI operation catalogue / the catalogue and every door · linux (push) Successful in 12m50s
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (push) Successful in 5m9s
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (push) Successful in 1m37s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (push) Successful in 2m35s
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (push) Successful in 2m58s
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (push) Successful in 10m5s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Successful in 2m21s
wai-quantum studio and desktop / desktop app · linux (push) Successful in 7m30s
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (push) Successful in 51s
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Successful in 13s
wai-quantum qudit jobs / the module, the job, the conformance set, the referee and the verb · linux (push) Successful in 12m45s
wai-quantum views in agent hosts / views · the page and its engine (push) Successful in 4m54s
wai-quantum extension points / the registry and the example · linux (push) Successful in 11m13s
wai-quantum for JavaScript / javascript · linux (push) Successful in 4m55s
wai-quantum for Python / python · linux (push) Successful in 12m31s
wai-quantum OpenQASM reader / reader and corpus · linux (push) Successful in 4m0s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (push) Successful in 1m22s
wai-quantum command line / command line · linux (push) Successful in 19m37s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (push) Successful in 3m20s
wai-quantum editors / editors · linux (push) Successful in 3m41s
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (push) Successful in 3m7s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 2m44s
wai-quantum landscape stage 0, the sampler against the exact law / the small tier, to the byte · linux (push) Successful in 1m4s
wai-quantum service / service · linux (push) Successful in 17m3s
wai-quantum landscape energy to solution / the small tier, to the byte · linux (push) Successful in 2m23s
wai-quantum views in agent hosts / views · a scripted host (push) Successful in 14m9s
wai-quantum contract / schemas and the committed tool lists · linux (push) Successful in 10m9s
wai-quantum other formats / readers, writers and the set · linux (push) Successful in 9m28s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 7m43s
wai-quantum contract / API compatibility · linux (push) Successful in 11m25s
wai-quantum wasmQ / the reference modules rebuild to their modules of record · linux (push) Successful in 34s
WAI Studio / Studio in WebKit · linux (push) Successful in 14m43s
wai-quantum resource estimation / estimation and calibration · linux, release (push) Successful in 10m56s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Successful in 8m32s
wai-quantum wasmQ / interpreter and vectors under wasm32-wasip2 (wasmtime) (push) Successful in 6m27s
WAI examples / WAI examples · portable · linux (push) Successful in 11m57s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · linux (push) Successful in 8m56s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Successful in 13m28s
wai-quantum-landscape-fpga reference design / the member against the model of the logic, and the logic against the model · linux, release (push) Successful in 22m33s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Successful in 17m1s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Successful in 40m14s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Successful in 2m13s
wai-quantum command line / command line · macos (push) Successful in 2m55s
wai-quantum qudit jobs / the same bits · macos (push) Successful in 1m47s
wai-quantum for Python / python · macos (push) Successful in 3m41s
wai-quantum studio and desktop / desktop app · macos (push) Successful in 5m34s
wai-quantum service / service · macos (push) Successful in 7m44s
wai-quantum editors / editors · macos (push) Successful in 1m53s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Successful in 9m39s
wai-quantum pulse and dynamics / the same bits · macos (push) Successful in 1m33s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Successful in 6m5s
wai-quantum landscape stage 0, the sampler against the exact law / the small tier, to the byte · macos (push) Successful in 33s
wai-quantum extension points / the registry and the example · linux-arm64 (push) Successful in 7m49s
wai-quantum landscape energy to solution / the small tier, to the byte · macos (push) Successful in 2m5s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (push) Successful in 1m50s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (push) Successful in 4m21s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (push) Successful in 3m11s
WAI Studio / Studio in Chromium and Firefox · macos (push) Successful in 11m4s
wai-quantum energy-landscape jobs / the same bits · macos (push) Successful in 7m36s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Successful in 10m54s
wai-quantum wasmQ / profile, engines, reference modules, adversarial, vectors · macos (push) Successful in 2m40s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (push) Successful in 21m33s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Failing after 28m52s
WAI examples / WAI examples · android-app · linux-arm64 (push) Successful in 15m51s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Successful in 19m35s
The sign-off loop (check, grade, attest;4b17804c2) ran on the command line and its MCP server. It now runs wherever the engine does, with the same answers. - engine::front holds the check, the attestation and the loop's MCP tools (check_quantum_program, grade_quantum_program, attest_quantum_job, in one wording with the sealer named), which the command line, both MCP servers, the Python package and the npm package call; the command line keeps its flags and its printing. The output schemas of check and attest move from the command line's local-tools.v1.json into the engine's tools.v1.json ($defs/check, $defs/attest), which both servers name. - The job service serves the three tools on its MCP server and as POST /v1/check, /v1/grade and /v1/attest (GET /v1, the OpenAPI document and the README list them), a grade and a sign-off sealed with its own key, their energy unmetered with the reason. Each is counted as a check, held to its bounds and made in a reading child, each case within half the child's memory. A check of a task, a grade, and a sealed grade POST /v1/verify works out again are now held case by case (analysis::grade_bounds: each case's intent that compares the program with a reference held to the equivalence check's bound with the program written out at that case's inputs, and the task's job read as a job's is), where before a grade was remade within the reading child's budget whole; a case past them is refused at that case (J031, "case N: ...", naming wai-quantum grade). An attestation holds what verifying the job works out again and the intent its sign-off checks to the same bounds (naming wai-quantum attest). - Python: wq.check, wq.grade, wq.attest (and _engine.check/grade/attest); npm: QuantumEngine.check, .grade, .attest; each with a test (test_engine.py, smoke.mjs, a wasm32 test in wai-web) and a README example. - The instructions both MCP servers give at initialize describe the loop (guide::LOOP), and the committed lists (docs/local-mcp.json, docs/service-mcp.json), llms.txt, llms-full.txt and the skill's tools.md are written again from the live lists. - A whole task set graded: wai-quantum grade --set FILE --programs ANSWERS (the model harness's set; the programs a JSON object of programs or of a model's answers as eval run --scripted reads them, or a directory of NAME.qasm files), or --course --programs DIR; engine::grade::batch, wai.quantum.grades/1 (schemas/grades.v1.json), quantum-providers §8.10 "A task set graded": one sealed grade a task, missing and refused tasks said so, the set's digest and a summary. The batch is not sealed; wai-quantum verify works it out again (grade::check_batch): each grade checked and made again, each entry's name and grade held to what its grade seals, a refused entry refused again, the digest and the summary made again from the sealed results. The same set, programs and key give the same bytes. quantum-conformance/grades/ holds a batch and six changed ones with what a reader must say (written by hand from §8.10), natively and under wasm32-wasip2 (tests/grades_conformance.rs), including one that shows what a batch does not: a grade dropped as missing with the summary made to agree is valid; that a task had no program is the grader's statement. - wai-web's pinned digest of a level-2 compile (COMPILE_DIGEST) follows the compile of7c00ef138, which writes each region of CNOT and phase gates again at level 2 and so changed those sealed bytes; wai-web wasm32 runs on pull requests and nightly only, so nothing had run it since. Native and wasm32 give the new digest alike. The npm smoke runs the loop on an engine of 1 GiB: one of 256 MiB says an intent's exact check is unchecked, and why (asserted too). - Which trust list an attester used stays outside the seal: sealing it would add a member to the sign-off's closed request, which every released verifier refuses (J001), and it would show only which keys the attester trusted, which is each reader's to decide; the changes entry and the skill say so. Tests: engine::front, engine::grade (the batch), the guide's instructions, service analysis (bounds case by case), mcp (an agent runs the loop over the service's server; every tool's answer held to its output schema), verify.rs (the loop over HTTP in a running service, its grade and sign-off verified), the command line's front_door.rs (a whole set graded through the binary, verified, a changed summary found) and check_schemas.py (the batch and an attestation held to their schemas). wai-quantum-verdict.yml, -service.yml, -cli.yml and wai-web-wasm.yml require the new tests by name. schema::FILES gains grades.v1.json (acknowledged in the changes entry). Co-Authored-By: Claude Opus 5.5 <[email protected]>
6.9 KiB
6.9 KiB
The tools, resources and prompts
Generated by wai-quantum docs skill from the servers' own lists; wai-quantum docs llms-full gives each tool's parameters.
The local MCP server: wai-quantum mcp, over stdio
run_quantum_circuit: Run a quantum program hereplan_quantum_circuit: Plan a quantum programlint_qasm: Check an OpenQASM programrepair_qasm: Repair a program on its flagged linescritique_qasm: Critique an OpenQASM programcheck_equivalent: Check two programs are the same circuitconvert_program: Convert a program between formatsimprove_qasm: Improve an OpenQASM programclassical_shortcuts: Find a program's classical shortcutscompile_qasm: Compile a program, every pass checkedestimate_resources: Estimate a program's fault-tolerant resourcesdraw_circuit: Draw a circuitdebug_step: Step through a program and look into its statedebug_branches: Every branch of a program's measurementsverify_quantum_result: Check a result's receiptdiscover_evaluate: Judge a generator against a workbench specificationdiscover_submit: Propose a generator to a workbench archivediscover_archive: Read a workbench archivenovelty_qasm: What is new in a programdiscover_novelty: What is new in a workbench entryrewrite_qasm: Rewrite a program, each step checkedconverge_cohort: How diverse a set of programs isconverge_history: Whether the person's designs converge on a model'sstudy_measure: A study participant's measuresstudy_cohort: A study's reporttaste_rank: Rank programs by the person's tastetaste_next: The pair to show the person nexthistory_commit: Record your edit in a program's historyhistory_changes: The changes a program would makehistory_blame: Whose hand each line and gate is inhistory_log: A program's historylist_methods: List the methodslist_fabric: List the fabric's memberslist_components: List the engine's componentsqasm_diagnostics: The reader's diagnostic codeslist_targets: List the device targetsshow_target: Show a device targetrun_on_target: Run a program as it would run on a deviceqec_code: Show an error-correcting code and certify its distanceqec_decode: Decode a syndrome or a circuit's detectorsqec_threshold: Measure logical failure rates over distancespulse_schedule: Read a pulse program into its schedulepulse_check: Check a pulse run by running it againgradient_qasm: The exact gradient of a Hamiltonian's expectation by a program's parametersoptimize_qasm: Minimise a Hamiltonian's expectation over a program's parametersvqe_ground_state: Find a Hamiltonian's ground energy by the variational eigensolverqaoa_maxcut: Solve Max-Cut on a graph by QAOAbuild_algorithm: Write the program for a standard algorithm, checked against its referencerun_landscape: Run an energy-landscape jobrun_qudit: Run a qudit jobsignoff_quantum_job: Sign off a sealed jobcheck_quantum_program: Check a program against what it must dograde_quantum_program: Grade a program against a task's casesattest_quantum_job: Attest a job another host ranrun_wasmq: Run a wasmQ envelopeproviders_list: List the person's quantum providersprovider_estimate: Plan a run on a provider, and its costrun_on_provider: Run on a provider (can spend the person's money)plan_routes: Weigh a contract against every routerun_routed: Run a job on the route its contract chooses (can spend the person's money)get_provider_job: Ask after a job on a providercancel_provider_job: Cancel a job on a providerlandscape_estimate: Plan an energy-landscape job on a provider, and its costrun_landscape_on_provider: Run an energy-landscape job on a provider (can spend the person's money)list_provider_jobs: List the jobs on the person's providers
The job service's MCP server: https://wai.transaction.science/quantum-jobs/mcp
run_quantum_circuit: Run a quantum circuitrun_quantum_set: Run a set of quantum programs, or one over a griddry_run_quantum_job: Plan a quantum job or set without running itget_quantum_job: Read a quantum jobverify_quantum_receipt: Verify a result's receiptcritique_qasm: Critique a quantum programcheck_equivalent: Check two quantum programs are the same circuitconvert_program: Convert a program between formatsimprove_qasm: Improve a quantum programclassical_shortcuts: Find a quantum program's classical shortcutscompile_qasm: Compile a quantum program, every pass checkedestimate_resources: Estimate a quantum program's fault-tolerant resourcesrepair_qasm: Repair a quantum program on its flagged linesquantum_service_info: What the quantum service can doqasm_diagnostics: The reader's diagnostic codeslist_components: List the engine's componentslist_targets: List the device targetsshow_target: Show a device targetrun_on_target: Run a program as a device wouldquantum_circuit_examples: Ready-to-run quantum examplesqec_code: Show an error-correcting code and certify its distanceqec_decode: Decode a syndrome or a circuit's detectorsqec_threshold: Measure logical failure rates over distancespulse_schedule: Read a pulse program into its schedulepulse_check: Check a pulse run by running it againgradient_qasm: The exact gradient of a Hamiltonian's expectation by a program's parametersoptimize_qasm: Minimise a Hamiltonian's expectation over a program's parametersvqe_ground_state: Find a Hamiltonian's ground energy by the variational eigensolverqaoa_maxcut: Solve Max-Cut on a graph by QAOAbuild_algorithm: Write the program for a standard algorithm, checked against its referencerun_landscape: Run an energy-landscape jobrun_qudit: Run a qudit jobrun_wasmq: Run a wasmQ envelopecheck_quantum_program: Check a program against what it must dograde_quantum_program: Grade a program against a task's casesattest_quantum_job: Attest a job another host ranwrite_circuit: Write a quantum program for a task
Resources, on both servers
wai-quantum://docs/language: The OpenQASM the engine readswai-quantum://docs/diagnostics: The reader's diagnosticswai-quantum://docs/methods: The methods and their accuracy classeswai-quantum://docs/verdicts: The verdict: how far the engine checkedwai-quantum://examples: Worked examples, each with what it must dowai-quantum://examples/bell.qasm: A Bell pairwai-quantum://examples/ghz.qasm: A GHZ state in fewer layerswai-quantum://examples/grover.qasm: Grover's search over four itemswai-quantum://examples/noisy-bell.qasm: A Bell pair under noise
Prompts, on both servers
write_verified_circuit: Write and verify a circuit for an intentexplain_result: Explain a result and its receiptrepair_from_diagnostics: Repair a program from its diagnostics