Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science e93bcadbbe wai-quantum-cli 0.2.2: the MCP Registry's line shown as text ... 0.2.1 carried `mcp-name: science.transaction.wai/quantum` in an HTML comment. The registry's cargo check reads the README as crates.io renders it (static.crates.io/readmes/...html), and the rendering drops comments, so the token was not there to find. 0.2.2 shows the line as inline code. crates.io keeps code spans as written: 0.2.1's page has <code>science.transaction.wai/quantum</code>, and the registry ends the name at the `<` after it. - README.md (and its translation): the comment goes, and the line is shown as code beside the sentence about server.json. - The registry-manifest test now also holds the README to that line, shown and not commented. - 0.2.2 in Cargo.toml, server.json (both versions), the desktop app's requirement and both lockfiles. The changelog says 0.2.1 went to crates.io only, and the binaries and package managers go from 0.2.0 to 0.2.2. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-10-29 03:29:03 -04:00
..
compile.rs	wai-quantum-cli, wai-quantum-service: error correction and mitigation on the command line and both MCP servers	2026-10-28 08:42:54 -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
dap.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
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
discover.rs	wai-quantum: what is new, what is a known construction found again, and aberrations	2026-10-26 14:51:38 -04:00
estimate.rs	wai-quantum: the estimate page, the READMEs and the changelog	2026-10-27 23:44:27 -04:00
eval.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
fmt.rs	wai-quantum: the language service and server for editors, and fmt	2026-10-27 19:51:34 -04:00
guide.rs	wai-quantum-cli 0.2.2: the MCP Registry's line shown as text	2026-10-29 03:29:03 -04:00
history.rs	wai-quantum: the person's rules for proposals, checked change by change	2026-10-26 12:47:48 -04:00
keys.rs	wai-quantum-cli: the command line on the job service's engine, installable	2026-10-20 17:34:16 -04:00
lab.rs	wai-quantum-cli: estimate, the MCP tool estimate_resources, and verify re-running an estimate	2026-10-27 23:44:27 -04:00
learn.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
lib.rs	wai-quantum-cli: the person's targets in the library, for the desktop app too	2026-10-27 23:44:27 -04:00
locale.rs	wai-quantum: the circuits course as data, each exercise checked by the engine, and wai-quantum learn in English and Chinese	2026-10-28 08:42:54 -04:00
locks.rs	wai-quantum: the person's rules for proposals, checked change by change	2026-10-26 12:47:48 -04:00
lsp.rs	wai-quantum: the language service and server for editors, and fmt	2026-10-27 19:51:34 -04:00
main.rs	wai-quantum 0.7.0 integrated: the generated material on the final tree, the pins it moves, and what replaying every job found	2026-10-28 08:43:06 -04:00
mcp.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
project.rs	wai-quantum: sampled intents in the verdict on every surface, and a target run's verdict	2026-10-27 23:44:27 -04:00
providers.rs	wai-quantum CLI: providers verbs, run --provider, and three MCP tools	2026-10-27 19:51:08 -04:00
qec.rs	wai-quantum-cli, wai-quantum-service: error correction and mitigation on the command line and both MCP servers	2026-10-28 08:42:54 -04:00
repair.rs	wai-quantum-cli: run --intent, repair, test on the engine's verdict, and the MCP verdict in every answer	2026-10-27 23:44:27 -04:00
rewrite.rs	wai-quantum: rewrites, each checked, and equivalence proved by them at any width	2026-10-26 15:50:27 -04:00
service.rs	wai-quantum-cli: submit runs sets and sweeps, asks for dry runs and follows status; task serves a scheduler	2026-10-28 08:42:53 -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
target_store.rs	wai-quantum-cli: the person's targets in the library, for the desktop app too	2026-10-27 23:44:27 -04:00
targets.rs	wai-quantum-cli: run --intent, repair, test on the engine's verdict, and the MCP verdict in every answer	2026-10-27 23:44:27 -04:00
task.rs	wai-quantum contract over the durable service: sets, provenance, dry runs, the receipt key set and the lease, each with its schema	2026-10-28 08:42:53 -04:00
taste.rs	wai-quantum: a person's taste, learned from their own choices between equals	2026-10-26 15:46:04 -04:00