Submission 15faf9bf475c

Event log

Review

Decision: accept
Classification (automatic): Programming Languages (cs.PL)

Accept.

## Remarks

- Requirement 9: “QASM,” “ESOP,” “QFT,” “QPE,” “HHL,” “OQASM,” “QafnyC,” “ECDLP,” and “VECDSA” appear without definitions. “hostile-submission adapter” and “input-law transfer” are also undefined.
- Style manual, Grammar and mechanics: “SQIR gives low-level Coq syntax unitary, density-matrix, nondeterministic, and sampling semantics” lacks a conjunction between “syntax” and “unitary.”
- Style manual, Headings: “No system dominates all eight obligations” states what the systems do not do. The heading should state the positive comparative result.
- Style manual, Throat-clearing and vague references: “The VQ entry needs two qualifications,” “External execution has a similar boundary,” and “The comparison separates three clusters of stronger coverage” announce later content without stating the specific point.
- Style manual, Terminology: “evidence boundaries,” “component endpoints,” “algorithm-level probability and resource closure,” “logical resource provenance,” “complete complex-semantic and approximation endpoints,” and “evidence-provenance intersection” do not name precise properties or results.
- Style manual, Metaphor: Figurative process and location phrases include “a different checked path,” “a checked route,” “stops at its internal evaluator,” “stop at internal program or target models,” “an exhaustive map of formal quantum software,” “occupies the component-verification and evidence-provenance intersection,” and “move it into the stronger coverage.”
- Style manual, Register and clarity: “Current development uses a dated evidence rule” assigns the survey’s classification method to development. The survey uses the rule to classify development as current.
- Style manual, Relevance: The personnel and affiliation catalogue in Section 7, including “The named developers and sites follow the official papers and current project pages,” “CEA LIST and Laboratoire Méthodes Formelles at Université Paris-Saclay develop Qbricks,” and “The Iowa State and Ames National Laboratory Q-Blue group, led by Mark Gordon and including Liyi Li, Fenfen An, and Federico Zahariev,” does not affect the comparison criteria, source currency, or conclusions.