Skip to content
#

termination-oracle

Star

Here is 1 public repository matching this topic...

sadpig70 / QPGF

Star 0

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

Improve this page

Add a description, image, and links to the termination-oracle topic page so that developers can more easily learn about it.

Curate this topic

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