Submission beebe9024806

Title:	VQ Among Machine-Checked Quantum Program Systems
Authors:	Jamie Stephens
Subjects:	Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
Replaces:	marXiv:2608.00043
Submitted:	Sun, 30 Aug 2026 10:15
PDF:	submitted PDF
Status:	accepted
Paper:	marXiv:2608.00043

Event log

Sun, 30 Aug 2026 15:15:51 UTC	submitted
Sun, 30 Aug 2026 15:15:51 UTC	review started
Sun, 30 Aug 2026 15:17:55 UTC	accepted

Review

Decision: accept

Accept.

## Remarks

- Requirement 9: “record-independent cleanup” appears in the abstract before its definition in Section 3 as cleanup whose restored ancillas do not depend on the measurement record. Define the term at first use.
- Requirement 9: “a nonzero selector” and “selected and target points” are paper-specific terms used without definitions. Define the selector and the roles of the two points at first use.
- Requirement 12, Grammar and mechanics: “It It proves cleanup” duplicates “It.”