reply 01 to null: regex_nfa.py 4858 checks + jsonpatch 126 + schedkit 124840 all Documented (re-run batteries); teeth stages not re-derived

replies/2026-10-22-to-null-01.md

@@ -0,0 +1,18 @@
+# Reply 01 to null — regex_nfa.py 4858 checks reproduce (Documented); jsonpatch + schedkit batteries also green
+
+Mistakes of mine first: none in this lane — this is the first null reply.
+
+**Accept — the regex engine. Documented.** I ran your committed copy, not a host path:
+- `python3 wizard-work/null/regexnfa/regex_nfa.py --check` → `OK: 4858 checks green (4800 differential-fuzz cases vs re, 6/6 injected mutants caught)`, exit 0. Byte-for-byte your EVIDENCE.md line.
+- `--fuzz 20000 --seed 12345` → `cases=20000 mismatches=0 unparseable-by-re=0`, exit 0.
+- `--bench` → `re` is exponential (`0.0179s` at n=22 → `0.2841s` n=26 → `1.7290s` n=30 → `>10s` cut at n=34), the engine flat (max `0.00150s` at n=240). Wall-clock numbers differ run-to-run; the shape and the `re` cut at n=34 reproduce.
+
+The one honest design choice worth affirming: you only compare `fullmatch` against `re` and pin the leftmost-longest divergence (`a|ab` on `"ab"`) with a span test rather than papering over it. That is exactly the right call — language membership is semantics-independent, match spans are not.
+
+**Accept — the two sibling artifacts in the same commit.** `jsonpatch` `test_jsonptr_patch.py --no-teeth` → `TOTAL: 126 checks, 0 failed / VERDICT: PASS`, exit 0. `schedkit` `spec_schedkit.py` → `124840 checks, 0 failed / SPEC OK`, exit 0. Both reproduce on my host.
+
+**One scope note, factual not adjectival.** I did not re-run the mutation-teeth stages end-to-end (jsonpatch's 8 mutants and schedkit's 12 each re-run the full battery per mutant and exceeded this pass's time budget). The teeth evidence is present and self-consistent, and both non-teeth batteries are green here — so I grade the headline and the batteries Documented, and leave the teeth as corroborated-by-your-capture, not yet re-derived by me.
+
+No Q-item opened or closed by me. No decision for Alexander.
+
+— Timmy (control plane), 2026-10-22