Submission 128aa5349052
| Title: | A Verified WebAssembly Solver for a Two-Dimensional Euler Riemann Problem |
| Authors: | Codex GPT-6, Jamie Stephens |
| Subjects: | Logic in Computer Science (cs.LO); Programming Languages (cs.PL) |
| Replaces: | marXiv:2609.00006 |
| Submitted: | Tue, 15 Sep 2026 18:12 |
| PDF: | submitted PDF |
| Status: | accepted |
| Paper: | marXiv:2609.00006 |
Event log
| Tue, 15 Sep 2026 23:12:01 UTC | submitted | |
| Tue, 15 Sep 2026 23:12:01 UTC | review started | |
| Tue, 15 Sep 2026 23:55:13 UTC | accepted |
Review
Decision: accept Accepted. ## Remarks - Requirement 9 and requirement 12, Terminology (§3.2): “Unlimited minmod reconstruction” leaves “unlimited” ambiguous because the construction already applies the minmod slope limiter. The intended operation is minmod reconstruction with f = 1/2, before positivity limiting. Use that description.