-
Notifications
You must be signed in to change notification settings - Fork 0
Quantum Algorithms Inventory
Status: MEASURED 2026-08-27 from live HTTP + this git.
Not a capability brochure. A row is live on Glama only if the live tools/list names it. Mentions in QuantumShearMap are literature, not court tools.
If it is on affine.earth MCP, it is available. Live tools/list is the live list. QC-001…019 verifiers are wired in this git (QCCourtLaw + CapabilityRegistry). Live list 2026-08-27 is still 23. After cell deploy it is 43. vmNotConnected catalog bodies are not the court.
Canonical sources:
| Surface | Path |
|---|---|
Public MCP (tools/list) |
Live: POST https://affine.earth/language-invariant/mcp · evidence clients/math-court-mcp/evidence/tools-list-20260827T194820Z.raw · count 23 (pre-roll) · HTTP 200 edge nbg-01 · in-repo live mirror cells/xcode/Resources/language-game/mcp-tools.json · wired QC law LatticeRender/Sources/LatticeRender/QCCourtLaw.swift
|
| Registry |
docs/mcp/server.json · earth.affine/math-court
|
| Served names |
CapabilityRegistry.servableEntries in cells/xcode/Sources/InvariantCompiler/CapabilityRegistry.swift
|
| Typed QC-001…019 shells | cells/xcode/Sources/VQbitMath/Algorithms/AlgorithmCatalog.swift |
| Literature shear map | cells/xcode/Sources/InvariantCompiler/QuantumShearMap.swift |
| QMA court law | LatticeRender/Sources/LatticeRender/QMACourtLaw.swift |
| Lean gates |
Research Lean gates · proof/lean/FirstRoars/
|
| Public court | Math Court on Glama |
AlgorithmCatalog.swift bodies still throw VQbitError.vmNotConnected. That is typed surface, not the court. The court is QCCourtLaw — presented-config integer/rational verify.
Four QMA verifiers plus math_court domains. A presented configuration is graded. An unknown ground state is not searched. Law comment in QMACourtLaw.swift: "A presented configuration is verified. Unknown ground states are not searched."
Researcher proof (hits the live HTTPS MCP, writes evidence, exits 2 on drift):
bash clients/math-court-mcp/prove-live-court.shFixtures: clients/math-court-mcp/fixtures/live-court-studies.json.
| QC / literature name | Wiki study | Live Glama tool (today) | After deploy |
math_court domain |
Law |
|---|---|---|---|---|---|
| 2-local Hamiltonian (VQE's problem, not VQE's search) | Study 22 | execute_2local_hamiltonian |
same + verify_vqe_energy
|
qma_2local · qc_vqe
|
QMACourtLaw.twoLocal · QCCourtLaw.vqeEnergy
|
| Spin-glass / frustrated Ising | Study 23 | route_spin_glass_manifold |
same + verify_qaoa_energy
|
qma_spinglass · qc_qaoa
|
QMACourtLaw.spinGlass · QCCourtLaw.qaoaEnergy
|
| N-representability (2-RDM) | Study 24 | verify_n_representability |
same | qma_nrep |
QMACourtLaw.nRepresentability |
| Exact integer permanent (n\le 3) | Study 25 | execute_exact_permanent |
same | qma_permanent |
QMACourtLaw.exactPermanent |
| Shor witness / period | alignment | DEPLOY_REQUIRED |
verify_shor_witness · verify_period
|
qc_shor · qc_period
|
QCCourtLaw.shorWitness / period
|
| Grover / QFT / QPE / HHL / DJ / BV / Simon / amp / walk / count / teleport / topo | same | DEPLOY_REQUIRED | 16 named verify_* tools |
qc_grover … qc_topo
|
QCCourtLaw |
Same fixtures accept empty-body math_court (catalog) then domain ingest. Miner verbs (mine, isolate, sha256d, submitblock, nphard) are unproven and stay off tools/list.
Call names and fixtures: Conjecture Alignment. Local prove: swift test --package-path LatticeRender --filter QCCourtLaw.
| Name | QC id | Court tool | Lean / substrate (unchanged) |
|---|---|---|---|
| Shor factoring witness | QC-001 | verify_shor_witness |
ShorFactor15.lean · ShorWitnessCertifier.lean · Lion-Shor
|
| Period (presented r) | QC-001 | verify_period |
same — does not search r |
| Shor ECDLP | QC-001-ECDLP | not a court tool |
ShorECDLPSubstrate/ · Lean ShorECDLP.lean — Depth-0 wall stays not known
|
| Grover | QC-002 | verify_grover |
GroverN4.lean |
| QFT | QC-003 | verify_qft_phases |
QFTN4.lean |
| QPE | QC-004 | verify_qpe_phase |
QPEN4.lean |
| HHL | QC-005 | verify_hhl |
HHL2.lean |
| Deutsch–Jozsa | QC-006 | verify_deutsch_jozsa |
DeutschJozsa2.lean |
| Bernstein–Vazirani | QC-007 | verify_bernstein_vazirani |
BernsteinVazirani4.lean |
| Simon | QC-008 | verify_simon |
Simon8.lean |
| Amplitude amplification | QC-009 | verify_amplitude_amplification |
AmpAmpN4.lean |
| Amplitude estimation | QC-010 | verify_amplitude_estimation |
AmplitudeEstimationMarked.lean |
| Phase kickback / QSVT | QC-011 | verify_phase_kickback |
QSVT2.lean |
| Quantum walk | QC-012 | verify_quantum_walk |
CTQW2.lean |
| VQE energy (not search) | QC-013 | verify_vqe_energy |
VQE2.lean — same ZZ as Study 22 |
| QAOA energy (not pulses) | QC-014 | verify_qaoa_energy |
QAOA1.lean — same Ising as Study 23 |
| Quantum counting | QC-015 | verify_quantum_counting |
BosonSampling2.lean (catalog map) |
| Teleport | QC-016 | verify_teleport |
catalog |
| Superdense | QC-017 | verify_superdense |
catalog |
| Bell measurement | QC-018 | verify_bell_measurement |
catalog |
| Topological word | QC-019 | verify_topological_word |
Study 13 Eisenstein |
| BTC preimage / PoW | QC-020 | not a court tool | gaiaftcl prove qc020-verifier |
| Stabilizer tableau | — | ABSENT debt |
twin.quantum.stabilizer_tableau never served |
QuantumShearMap also lists Hamiltonian simulation, QSP/QSVT, adiabatic/annealing, boson sampling, AJL/Jones. Those are literature dispositions. They are not MCP tools.
| What | Commit | What remains |
|---|---|---|
| Dead Shor quantum-circuit cluster (reversible oracle, symbolic Shor, projection) |
6f39e8b8950256e090d68a31657e086989663874 (2026-07-09) |
ShorECDLPSubstrateCurve kept |
ShorECDLPTemplate + reversible-oracle template + StaticTensorBuilder
|
9192c03626f91b12bff8166644f102431c8b6ef3 (2026-07-09) |
ShorBoundaryMaskFactory mooring kept |
Boot bind ShorECDLPCPUContractor
|
add9d197a70bb2b52ba6d98cf6f11e559e1b9341 (2026-07-08) |
Live path: Secp256k1ECDLPVerificationDispatcher
|
GaiaCellMCPServer (run_quantum_algorithm, distribute-shor) |
d1a00b7b / 068a548a
|
Scripts still mention those names (install-mcp-server.sh, franklin-mesh-orchestrator-loop.sh). They are not on https://affine.earth/language-invariant/mcp. |
| Old Franklin teaching catalog |
wiki/Quantum-Algorithm-Catalog.md deleted ff85c3b0 (2026-07-15) |
Archive copy: evidence/wiki-archive-20260612T140113Z/wiki/Quantum-Algorithm-Catalog.md — operator narration, not a live tool list. This page replaces it. |
Python leftover: cells/python/gaiaftcl/src/gaiaftcl/shor.py still shells gaiaftcl prove shor. The Swift prove dispatcher no longer registers that subcommand.
| Study | Engine | Local prove | Public court face |
|---|---|---|---|
| 11 Ehrhart | EhrhartVolumePipeline |
gaiaftcl prove conjecture-workload |
math_court domain geometry
|
| 12 Parallel repetition | QuantumParallelRepetitionEngine |
same |
math_court domain chance
|
| 13 Connes rigidity | ConnesRigidityEngine |
same |
math_court domain algebra
|
Results: 11 · 12 · 13 · bundle.
| Tree | Role |
|---|---|
wiki/ |
Steward / git wiki |
cells/xcode/Resources/language-game/press/wiki/ |
Copy served with the language-game press surface |
This inventory belongs in both. If they drift, the live tools/list HTTP response wins. prove-live-court.sh fails loud when the count or names move.
Affine.Earth is not a quantum-circuit simulator (Mother Protocol). vQbit strings are exact num/den relationships — UUM-8D + vQbit. The court verifies presented exact configurations. It does not search unknown Shor periods, Grover marked items, or VQE landscapes. AlgorithmCatalog vmNotConnected is not this court. ECDLP-from-Q stays not known.
- The lattice holds
- Impact study — continuum dead
- Death of continuous shear
- Fourier Phantom — Anima FNO vs 11+12+13
- Stellar dynamo kill shot
- QCD: freedom is dilation
- Look in the UI (no visitor data)
- Explore the live courts
- MCP clients (public)
- Example app — entire court
- Math Court user guide
- Math Court on Glama
- Quantum algorithms inventory
- Glama connector
- Zero Float · Zero Shear
- UUM-8D vs IUT — WIN
- Readers’ guide
- White paper
- Program index
- Roadmap — what comes next
- Language-games study board
- Known discoveries — family ledger
- Discoveries by user
- Low-friction user flows
- How the IDE hologram works
- Known molecular discoveries
- Study 06 — Explosion Results
- Study 07 — Milky Way Results
- Study 11 — Ehrhart Volume
- Study 12 — Parallel Repetition
- Study 13 — Connes Rigidity
- Study 14 — Protein lattice
- Study 16 — Disease type
- Study 17 — Chemistry InChIKey
- Study 18 — Material STD
- Study 19 — Go First Dice
- Peer-review bundle
- Conjecture alignment
- Study 02 — Launch holes
- Study 02 — Regulatory alarm
- Build a study — Falcon
- Study 09 — Convective bond
- Study 20 — Rife frequency
- Study 21 — Stellar dynamo
- Study 22 — Ground state
- Study 23 — Spin glass
- Study 24 — N-representability
- Study 25 — Permanent