Record that every phase holds under the stricter capture check

This commit is contained in:
2026-09-06 19:50:58 +02:00
parent 30eedc81ee
commit 061c1871bd
+4 -6
View File
@@ -227,12 +227,10 @@ document, library changes, and the AGENTS.md decision record each one needs.
| 611 | not started | — |
Phases 1 to 5 were graded before `run.py` learned to fail an empty capture, so a run whose capture
never started scored green on the wire checks while its own assertions carried it. smscsim and
SMPPSim were re-run under the stricter grading and hold. Kannel, Jasmin, jsmpp and Cloudhopper were
not: jsmpp decoded frames either way, since it reported the malformed count its scenarios provoke on
purpose, but the other three reported zero, which is what an empty capture also reports. Re-run those
three before phase 11 and confirm the zeros are real. Their assertions stand regardless — what is
unproven is the wire check that sits beside them.
never started would have scored green on the wire checks while its own assertions carried it. Every
phase has since been re-run under the stricter grading and every one holds: Kannel 80 frames, Jasmin
175, Cloudhopper 88, each with its bind and response decoded and both error counts zero. The zeros
were real.
Research notes behind this plan, 2026-09-05, are in `research/`: SMSC simulators, ESME clients
and validators, and operator quirks with one source URL per claim. Ask before trusting a claim here