termination-oracle

Here is 1 public repository matching this topic...

sadpig70 / QPGF

Deterministic verification termination oracle (ContractGate) for FTQC quantum modules — exit 0 ⟺ sealed.json ⟺ loop terminates. Reuses established deterministic verification (tableau/ZX); novelty is the agentic-loop termination oracle + binary seal/registry + FTQC resource integration.

python quantum-computing formal-verification design-by-contract quantum-circuits zx-calculus llm-agents quantum-software-engineering deterministic-verification fault-tolerant-quantum-computing qualtran termination-oracle

Updated Jun 25, 2026
Python

Add this topic to your repo

To associate your repository with the termination-oracle topic, visit your repo's landing page and select "manage topics."

Learn more