Submission 761c124ec280

Event log

Review

Decision: accept
Classification (automatic): Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Accept.

Remarks

- Requirement 9: “a valid raw six-bit triple” appears before Section 3.2 defines validity. State the swap-implies-odd condition before this use.
- Requirement 9: “IPModMul_inv” and “WindowAffAddSpaceOpt” need their source-level meanings before first use.
- Requirement 9: “(0G, G)” and “([0]G, [1]G, . . . , [65535]G)” use G without defining it or relating it to P.
- Requirement 9: “the composite null q ≥ 1/10100” uses q without defining it as the failure probability and reuses a symbol previously associated with modulus and order constants.
- Requirement 12, Register: “The generated reverse-schedule theorem acts on finite-padding coefficient registers” and “Its circuit theorem implements the intended equality-aware sum” attribute circuit behavior to theorems. The circuits act and implement; the theorems prove those properties.
- Requirement 12, Grammar and mechanics: “The status-zero build establishes that the named statements and their imports checked at the pinned revision” lacks “were,” or an active subject such as Lean.
- Requirement 12, Metaphor: Replace “downstream recovery,” “Algorithm 6 failure bridge,” “Evidence required to close unresolved claims,” and “Closing them requires” with literal descriptions such as dependent recovery, a theorem relating the events, and resolve.
- Requirement 12, Throat-clearing and announcements: “The parameterized compressed-trace circuit has separate checked statements for its three observable parts,” “A proof of Schrottenloher’s Table 1 aggregate failure probability requires four implications,” and “The source-derived surcharge has three parts” announce the enumerations that follow.
- Requirement 12, Relevance: “completed 4,596 of 4,596 build jobs” reports an unused count. The command and status-zero result establish the stated conclusion.
- Requirement 12, Relevance: Appendix D’s 80-digit exact-binomial bounds and decimal enclosures such as “0.0000278791158660412077778946104658” exceed the precision used by the paper’s comparisons and its reported value of 2.79 × 10−5.
- Requirement 12, Redundancy: The prose beginning “The captures report widths 1,192, 1,445, 1,191, and 1,446” repeats Table 5, and “The exact full-source exponents are 26.11, 25.79, 26.67, and 26.33” repeats Table 7. Appendix C.4 repeats Section 6.4’s surcharge calculation, and Appendix C.5 repeats Section 6.7’s Babbush substitutions.