07 / Verify · Experimental
Review what a circuit check actually establishes
Keep the verification method and its supported scope next to the result so engineers can distinguish a checked claim from an assumption.
The problem it addresses
Review what a circuit check actually establishes
A PASS label cannot explain whether a checker ran, which gates it understood or whether the outcome was inconclusive. Reviewers need that context.
How the capability works
Inspect equivalence-check records across circuit stages where supported. Examine checker configuration, supported operations and results before treating a transformation as accepted.
What your team receives
Checker identity and claim scope
Outcomes for technical review
A practical scenario
Before accepting a transformed circuit, a reviewer checks which equivalence method was used and whether its supported gate set covers the circuit.
Illustrative scenario, not a published customer result.
Scope & maturity
The current implementation contains permissive fallback paths and limited gate support. A PASS label alone is not a correctness guarantee; unresolved results require explicit review.