Submission 1dd6bf97ebcb

Title:	VQ Among Machine-Checked Quantum Program Systems
Authors:	Jamie Stephens
Subjects:	Logic in Computer Science (cs.LO)
Replaces:	marXiv:2608.00043
Submitted:	Sun, 16 Aug 2026 17:12
PDF:	submitted PDF
Status:	accepted
Paper:	marXiv:2608.00043

Event log

Sun, 16 Aug 2026 22:12:13 UTC	submitted
Sun, 16 Aug 2026 22:12:13 UTC	review started
Sun, 16 Aug 2026 22:12:22 UTC	subject assigned
Sun, 16 Aug 2026 22:15:27 UTC	accepted

Review

Decision: accept
Classification (automatic): Logic in Computer Science (cs.LO)

Accept.

## Remarks

- Requirement 9: “The current repository also contains a QASM printer” uses QASM before “QASM denotes the quantum assembly language emitted by that printer.” Define QASM at its first use.
- Requirement 12, Redundancy: “The two systems both connect functional and resource properties to generated syntax” repeats the plurality. Use “Both systems connect” or “The systems connect.”
- Requirement 12, Vague references: In “then applies those objects to a low-resource ECDLP audit,” “those objects” has several possible antecedents. Name the syntax, the proved properties, or both.