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 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-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
wai-quantum on Windows / engine · windows (push) Has been cancelled
wai-quantum on Windows / command line · windows (push) Has been cancelled
wai-quantum on Windows / job service · windows (push) Has been cancelled
wai-quantum on Windows / python · windows (push) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (push) Has been cancelled
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]>
129 lines
6.9 KiB
Markdown
129 lines
6.9 KiB
Markdown
# 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 here
|
|
- `plan_quantum_circuit`: Plan a quantum program
|
|
- `lint_qasm`: Check an OpenQASM program
|
|
- `repair_qasm`: Repair a program on its flagged lines
|
|
- `critique_qasm`: Critique an OpenQASM program
|
|
- `check_equivalent`: Check two programs are the same circuit
|
|
- `convert_program`: Convert a program between formats
|
|
- `improve_qasm`: Improve an OpenQASM program
|
|
- `classical_shortcuts`: Find a program's classical shortcuts
|
|
- `compile_qasm`: Compile a program, every pass checked
|
|
- `estimate_resources`: Estimate a program's fault-tolerant resources
|
|
- `draw_circuit`: Draw a circuit
|
|
- `debug_step`: Step through a program and look into its state
|
|
- `debug_branches`: Every branch of a program's measurements
|
|
- `verify_quantum_result`: Check a result's receipt
|
|
- `discover_evaluate`: Judge a generator against a workbench specification
|
|
- `discover_submit`: Propose a generator to a workbench archive
|
|
- `discover_archive`: Read a workbench archive
|
|
- `novelty_qasm`: What is new in a program
|
|
- `discover_novelty`: What is new in a workbench entry
|
|
- `rewrite_qasm`: Rewrite a program, each step checked
|
|
- `converge_cohort`: How diverse a set of programs is
|
|
- `converge_history`: Whether the person's designs converge on a model's
|
|
- `study_measure`: A study participant's measures
|
|
- `study_cohort`: A study's report
|
|
- `taste_rank`: Rank programs by the person's taste
|
|
- `taste_next`: The pair to show the person next
|
|
- `history_commit`: Record your edit in a program's history
|
|
- `history_changes`: The changes a program would make
|
|
- `history_blame`: Whose hand each line and gate is in
|
|
- `history_log`: A program's history
|
|
- `list_methods`: List the methods
|
|
- `list_fabric`: List the fabric's members
|
|
- `list_components`: List the engine's components
|
|
- `qasm_diagnostics`: The reader's diagnostic codes
|
|
- `list_targets`: List the device targets
|
|
- `show_target`: Show a device target
|
|
- `run_on_target`: Run a program as it would run on a device
|
|
- `qec_code`: Show an error-correcting code and certify its distance
|
|
- `qec_decode`: Decode a syndrome or a circuit's detectors
|
|
- `qec_threshold`: Measure logical failure rates over distances
|
|
- `pulse_schedule`: Read a pulse program into its schedule
|
|
- `pulse_check`: Check a pulse run by running it again
|
|
- `gradient_qasm`: The exact gradient of a Hamiltonian's expectation by a program's parameters
|
|
- `optimize_qasm`: Minimise a Hamiltonian's expectation over a program's parameters
|
|
- `vqe_ground_state`: Find a Hamiltonian's ground energy by the variational eigensolver
|
|
- `qaoa_maxcut`: Solve Max-Cut on a graph by QAOA
|
|
- `build_algorithm`: Write the program for a standard algorithm, checked against its reference
|
|
- `run_landscape`: Run an energy-landscape job
|
|
- `run_qudit`: Run a qudit job
|
|
- `signoff_quantum_job`: Sign off a sealed job
|
|
- `check_quantum_program`: Check a program against what it must do
|
|
- `grade_quantum_program`: Grade a program against a task's cases
|
|
- `attest_quantum_job`: Attest a job another host ran
|
|
- `run_wasmq`: Run a wasmQ envelope
|
|
- `providers_list`: List the person's quantum providers
|
|
- `provider_estimate`: Plan a run on a provider, and its cost
|
|
- `run_on_provider`: Run on a provider (can spend the person's money)
|
|
- `plan_routes`: Weigh a contract against every route
|
|
- `run_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 provider
|
|
- `cancel_provider_job`: Cancel a job on a provider
|
|
- `landscape_estimate`: Plan an energy-landscape job on a provider, and its cost
|
|
- `run_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 circuit
|
|
- `run_quantum_set`: Run a set of quantum programs, or one over a grid
|
|
- `dry_run_quantum_job`: Plan a quantum job or set without running it
|
|
- `get_quantum_job`: Read a quantum job
|
|
- `verify_quantum_receipt`: Verify a result's receipt
|
|
- `critique_qasm`: Critique a quantum program
|
|
- `check_equivalent`: Check two quantum programs are the same circuit
|
|
- `convert_program`: Convert a program between formats
|
|
- `improve_qasm`: Improve a quantum program
|
|
- `classical_shortcuts`: Find a quantum program's classical shortcuts
|
|
- `compile_qasm`: Compile a quantum program, every pass checked
|
|
- `estimate_resources`: Estimate a quantum program's fault-tolerant resources
|
|
- `repair_qasm`: Repair a quantum program on its flagged lines
|
|
- `quantum_service_info`: What the quantum service can do
|
|
- `qasm_diagnostics`: The reader's diagnostic codes
|
|
- `list_components`: List the engine's components
|
|
- `list_targets`: List the device targets
|
|
- `show_target`: Show a device target
|
|
- `run_on_target`: Run a program as a device would
|
|
- `quantum_circuit_examples`: Ready-to-run quantum examples
|
|
- `qec_code`: Show an error-correcting code and certify its distance
|
|
- `qec_decode`: Decode a syndrome or a circuit's detectors
|
|
- `qec_threshold`: Measure logical failure rates over distances
|
|
- `pulse_schedule`: Read a pulse program into its schedule
|
|
- `pulse_check`: Check a pulse run by running it again
|
|
- `gradient_qasm`: The exact gradient of a Hamiltonian's expectation by a program's parameters
|
|
- `optimize_qasm`: Minimise a Hamiltonian's expectation over a program's parameters
|
|
- `vqe_ground_state`: Find a Hamiltonian's ground energy by the variational eigensolver
|
|
- `qaoa_maxcut`: Solve Max-Cut on a graph by QAOA
|
|
- `build_algorithm`: Write the program for a standard algorithm, checked against its reference
|
|
- `run_landscape`: Run an energy-landscape job
|
|
- `run_qudit`: Run a qudit job
|
|
- `run_wasmq`: Run a wasmQ envelope
|
|
- `check_quantum_program`: Check a program against what it must do
|
|
- `grade_quantum_program`: Grade a program against a task's cases
|
|
- `attest_quantum_job`: Attest a job another host ran
|
|
- `write_circuit`: Write a quantum program for a task
|
|
|
|
## Resources, on both servers
|
|
|
|
- `wai-quantum://docs/language`: The OpenQASM the engine reads
|
|
- `wai-quantum://docs/diagnostics`: The reader's diagnostics
|
|
- `wai-quantum://docs/methods`: The methods and their accuracy classes
|
|
- `wai-quantum://docs/verdicts`: The verdict: how far the engine checked
|
|
- `wai-quantum://examples`: Worked examples, each with what it must do
|
|
- `wai-quantum://examples/bell.qasm`: A Bell pair
|
|
- `wai-quantum://examples/ghz.qasm`: A GHZ state in fewer layers
|
|
- `wai-quantum://examples/grover.qasm`: Grover's search over four items
|
|
- `wai-quantum://examples/noisy-bell.qasm`: A Bell pair under noise
|
|
|
|
## Prompts, on both servers
|
|
|
|
- `write_verified_circuit`: Write and verify a circuit for an intent
|
|
- `explain_result`: Explain a result and its receipt
|
|
- `repair_from_diagnostics`: Repair a program from its diagnostics
|