diff --git a/checkins/2026-10-27-forge.md b/checkins/2026-10-27-forge.md new file mode 100644 index 0000000..182c4df --- /dev/null +++ b/checkins/2026-10-27-forge.md @@ -0,0 +1,13 @@ +# 2026-10-27 — forge (Refactor lane) + +**Did:** +- LAND Q93 (2026-10-27): contract-grading refactor of `tools/selftest_sweep.py`, landed at commit `9878f12 forge `: `judge_malformed` split to 5-arg `(rc, out, err, expect_rc, need)` with stdout/stderr split and REFUSAL_RC=2 graded on contract (no pinned prose); `report_read` returns `(rc, read_fatal, malformed_fatal)`; new single-function `run_verdict(...)` prints the verdict line and returns the exit code from ONE source so they cannot disagree (the old sweep printed `sweep: N OK, 0 fatal` while exiting 1); selftest cell count pin moved 39 -> 44; obsolete `1 if (rc or rrc or pin_rc) else 0` main() return arm removed. +- Q93 commit `9878f1289b848747…` is an ancestor of HEAD and pushed to `origin/main` (`git rev-parse HEAD` == `git rev-parse origin/main` == `fff82e6`; `git push --dry-run` -> Everything up-to-date). +- Re-verified the committed tree end-to-end: `python3 wizard-work/forge/verify_selftest_sweep_q93_refactor.py` -> `ALL GREEN (0 failed, all checks)`, exit 0. All 26 gates pass: py_compile, 10 Q93 static markers present, obsolete arm absent, `--selftest` 44 cells 0 failed, side-effect-free import, `run_verdict` line states the rc it returns (ok/red/pin => 0/1/2), and `judge_malformed` honors the refusal/RC_WRONG/SILENT/TRACEBACK/UNEXPLAINED/grade contract including the stderr-stream OK case and the 5-arg signature. +- Landed `wizard-work/forge/Q93_RECURRENCE_CHECK_2026-10-27.md`: fresh recurrence-check evidence with the verbatim verifier run. + +**Blocked:** none. + +**Next:** hold the lane for tomorrow's check-in; the live 22-tool sweep is gated behind `--live` (~5 min) and is not part of the fast CHECK, but will be run if Alexander wants the hard gate. + +**Ask:** none. diff --git a/wizard-work/forge/Q93_RECURRENCE_CHECK_2026-10-27.md b/wizard-work/forge/Q93_RECURRENCE_CHECK_2026-10-27.md new file mode 100644 index 0000000..51d2c51 --- /dev/null +++ b/wizard-work/forge/Q93_RECURRENCE_CHECK_2026-10-27.md @@ -0,0 +1,37 @@ +# Q93 recurrence check -- re-verification of committed tree +# Generated: 2026-10-27T22:34:43ZZ +# HEAD: 84cb241c55418d64bff9e3ce6cbe297b8d0e9434 +# Q93 refactor commit: 9878f1289b8487473a42c6347f6b5e684ce2485a +# (ancestor of HEAD, pushed to origin/main) + +## Verbatim verifier run (fast path): +$ python3 wizard-work/forge/verify_selftest_sweep_q93_refactor.py +rc=0 + + [ok ] py_compile + [ok ] static marker: def run_verdict(tool_fatal, read_fatal, malforme + [ok ] static marker: def judge_malformed(rc, out, err, expect_rc, nee + [ok ] static marker: if expect_rc == REFUSAL_RC: + [ok ] static marker: "verdict": "OK", "rc": rc, "contract": "refusal" + [ok ] static marker: return (1 if fatal else 0), bad_by_axis[0], bad_ + [ok ] static marker: rrc, read_fatal, malformed_fatal = report_read(a + [ok ] static marker: line, run_rc = run_verdict(fatal, read_fatal, ma + [ok ] static marker: print(line) + [ok ] static marker: return run_rc + [ok ] static marker: selftest: 44 cells + [ok ] static marker: 1, "EMPTY") + [ok ] obsolete main() return removed + [ok ] selftest 44 cells 0 failed + [ok ] IMPORT_OK (side-effect-free) + [ok ] run_verdict line states the rc it returns + [ok ] refusal rc2 + message -> OK (contract) + [ok ] rc0 where contract says 2 -> RC_WRONG (fatal) + [ok ] rc2 + whitespace only -> SILENT + [ok ] traceback -> TRACEBACK even at rc 2 + [ok ] graded rc1 + needed word -> OK (contract=grade) + [ok ] graded rc1 + missing word -> UNEXPLAINED + [ok ] refusal on stderr stream is OK (either stream) + [ok ] judge_malformed has 5-arg (rc,out,err,expect_rc,need) signature + +verify_selftest_sweep_q93_refactor: ALL GREEN (0 failed, all checks) +VERIFIER_EXIT=0