Skip to content

v0.2: Qiskit local oracle export semantics #3

Open
Open
v0.2: Qiskit local oracle export semantics#3
Labels
enhancementNew feature or requestquantum-integrationOptional quantum or annealing ecosystem integrationreproducibilityDeterministic evidence, replay, and auditability
Milestone
v0.2.0

Description

@doomhammerhell
doomhammerhell
opened on Jul 16, 2026

Problem

The Qiskit boundary should remain simulator/local-export oriented, but v0.2 needs clearer semantic checks between Boolean expressions, truth tables, symbolic gates, and optional QuantumCircuit summaries.

Acceptance Criteria

  • Add generated small-predicate tests for AND, OR, XOR, implication, equality, and threshold-style predicates.
  • Verify truth-table equivalence between BoolExpr.evaluate, symbolic oracle reports, and optional Qiskit circuit summaries where available.
  • Track logical variables, ancilla count, cleanup gate count, and depth estimate.
  • Explicitly document exponential truth-table synthesis limits.
  • bash scripts/run_audit.sh passes without IBM Quantum credentials.

Boundary

No IBM Runtime execution, backend queue interaction, noise claim, transpilation benchmark, or quantum advantage claim belongs in this issue.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestquantum-integrationOptional quantum or annealing ecosystem integrationreproducibilityDeterministic evidence, replay, and auditability

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions