187 Commits

Author SHA1 Message Date
Christopher Williams 050f167a12 phase12: record solo matching checkpoint 2026-09-25 11:24:39 -04:00
Christopher Williams 29d0331140 phase12: match func_80058BA0 2026-09-25 11:14:17 -04:00
Christopher Williams 4973878888 phase12: record final worker shutdown checkpoint 2026-09-25 10:54:50 -04:00
Christopher Williams e9f46c00c4 phase12: match func_80013024 (745 bodies / 754 regions) 2026-09-25 10:39:10 -04:00
Christopher Williams 03a6041e4f phase12: match func_80012D54 (742 bodies / 751 regions) 2026-09-25 10:34:12 -04:00
Christopher Williams c148abf1cd phase12: match func_80012A10 (741 bodies / 750 regions) 2026-09-25 10:31:46 -04:00
Christopher Williams c36c7ee248 phase12: match func_80042E68 (740 bodies / 749 regions) 2026-09-25 10:28:32 -04:00
Christopher Williams 3532ee80d9 phase12: match func_800379E0 (739 bodies / 748 regions) 2026-09-25 10:12:31 -04:00
Christopher Williams 0f8e71e27d phase12: match func_80039308 (737 bodies / 746 regions) 2026-09-25 10:08:44 -04:00
Christopher Williams 186280e250 phase12: match func_80019700 (736 bodies / 745 regions) 2026-09-25 09:53:20 -04:00
Christopher Williams 8094760eec phase12: match func_800F6948 (735 bodies / 744 regions) 2026-09-25 09:49:02 -04:00
Christopher Williams b76e0578a4 phase12: match func_800F4C08 (734 bodies / 743 regions) 2026-09-25 09:44:29 -04:00
Christopher Williams ade236af14 phase12: match three continuation claims (733 bodies / 742 regions) 2026-09-25 09:42:14 -04:00
Christopher Williams 1f14787b62 phase12: record duplicate claim guard incident 2026-09-25 09:36:45 -04:00
Christopher Williams a6584e1978 phase12: match four worker claims (730 bodies / 739 regions) 2026-09-25 09:33:55 -04:00
Christopher Williams 094a03199e phase12: match two more bodies (726 bodies / 735 regions) 2026-09-25 09:25:39 -04:00
Christopher Williams d17c4f84bf phase12: match three more bodies (724 bodies / 733 regions) 2026-09-25 09:22:25 -04:00
Christopher Williams 6975b274cd phase12: match three bodies and peer batch (721 bodies / 730 regions) 2026-09-25 09:16:32 -04:00
Christopher Williams 1c173664f0 phase12: match func_8001AAA8 (718 bodies / 727 regions) 2026-09-25 09:09:19 -04:00
Christopher Williams 4f3b0ec4a1 phase12: checkpoint autonomous continuation 2026-09-25 09:04:10 -04:00
Christopher Williams 52c9074d2e phase12: checkpoint resumed matching attempts 2026-09-25 09:02:15 -04:00
Christopher Williams e7450aafe0 phase12: checkpoint follow-up matching negatives 2026-09-25 08:59:25 -04:00
Christopher Williams 2ced412d87 phase12: checkpoint bounded matching attempts 2026-09-25 08:55:39 -04:00
Christopher Williams 317ffeb7dd phase12: match func_80024838 (717 bodies / 726 regions) 2026-09-25 08:47:52 -04:00
Christopher Williams 7e449d665d phase12: match func_800FFFEC (716 bodies / 725 regions) 2026-09-25 08:44:25 -04:00
Christopher Williams 9a5d6af31c phase12: record scheduler diagnostic negative 2026-09-25 08:38:25 -04:00
Christopher Williams 58b9400d50 phase12: record final clean verification 2026-09-25 08:11:18 -04:00
Christopher Williams 92e965da4b phase12: record second-batch completion checkpoint 2026-09-25 08:09:44 -04:00
Christopher Williams cd3031c3f9 phase12: record second-batch checkpoint 4 2026-09-25 07:34:30 -04:00
Christopher Williams 6f39dc2a2c phase12: record second-batch checkpoint 3 2026-09-25 00:33:00 -04:00
Christopher Williams c6bc651dbc phase12: record second-batch checkpoint 2 2026-09-25 00:23:15 -04:00
Christopher Williams 3219504e9d phase12: record second-batch checkpoint 2026-09-24 23:28:29 -04:00
Christopher Williams 4f253f9018 phase12: match func_80095CF8 (695 bodies / 704 regions) 2026-09-24 21:04:16 -04:00
Christopher Williams df8963a779 phase12: match func_800B2488 (694 bodies / 703 regions) 2026-09-24 20:56:06 -04:00
Christopher Williams ca930cfc6e phase12: match func_800F6F20 (693 bodies / 702 regions) 2026-09-24 20:50:50 -04:00
Christopher Williams a5fe964756 phase12: match func_800F50B0 (692 bodies / 701 regions) 2026-09-24 20:47:04 -04:00
Christopher Williams a2e7ba52d3 phase12: match func_80027D00 (691 bodies / 700 regions) 2026-09-24 20:29:29 -04:00
Christopher Williams f05564b2c9 phase12: match func_800376CC (690 bodies / 699 regions) 2026-09-24 20:23:22 -04:00
Christopher Williams 862b9d51d0 phase12: match func_8008A400 (689 bodies / 698 regions) 2026-09-24 20:20:00 -04:00
Christopher Williams 008e9e9713 phase12: match func_8006BB88 (688 bodies / 697 regions) 2026-09-24 20:16:36 -04:00
Christopher Williams 1be3026446 phase12: match func_80027BE8 (687 bodies / 696 regions) 2026-09-24 20:07:24 -04:00
Christopher Williams 9729dd0ed7 phase12: match func_80102F58 (686 bodies / 695 regions) 2026-09-24 19:53:00 -04:00
Christopher Williams 3ce5c11603 phase12: final figures -- 685 bodies / 694 regions (+83), +65 to the milestone 2026-09-24 19:39:38 -04:00
Christopher Williams c4ac21b819 phase12: actually merge 0x8002D014 (the previous message's count was wrong -- my extent error, not D's row) 2026-09-24 19:39:28 -04:00
Christopher Williams 0cb720da1c phase12: merge worker D's final row 0x8002D014 (685 bodies / 694 regions, +83) + record my attribution error 2026-09-24 19:38:43 -04:00
Christopher Williams 603e221156 phase12: ledger verified clean at the stop (0 held-and-unregistered) + C's casing trap, and an unverified WIP file committed only for a clean tree 2026-09-24 19:37:04 -04:00
Christopher Williams b87044652e phase12: final checkpoint at 684 bodies / 693 regions (+82) with the resume pointer 2026-09-24 19:35:26 -04:00
Christopher Williams 00f951d502 phase12: SESSION STOP at 684 bodies / 693 regions (+82) -- clean tree, handover in the ledger
Gate exit 0 (693 regions, MATCH), 344 tests OK, make check exit 0, tracked patch regenerated so
pristine + patch reproduces the working tree.

+4 this commit (worker D): 0x80100334, 0x800FBDC0, 0x800F88F0 (all maspsx=epilogue), 0x80042DD4.
Phase: 602 -> 684 = +82. Milestone 750 was not reached; +66 remains.

TWO TOOL INCIDENTS OF MINE, both reported by workers before I saw them, both repaired:
 1. I edited tools/sf3_match in place while four workers verified against it. The new add_argument
    block landed between `--fill-epilogue` and its help=, raising IndentationError at line 1129 --
    EVERY worker's verification failed for the duration. A verified with a probe copy and re-verified
    with the official tool once it parsed; D reported it independently.
 2. Reverting an untested transform, my scripted edit DELETED `_LOAD_RA`, the load-delay regex
    fill_epilogue needs, breaking maspsx=epilogue for all 21 regions carrying the token. The
    whole-binary gate caught it immediately (exit 2, no result line) and it is repaired at the point
    of damage.
Guard adopted for every future tool edit: ast.parse immediately after saving, and one atomic write
rather than a scripted multi-step edit. A worker cannot tell a transient tool break from a broken row,
and the cost lands in their context.

ONE DEFERRED ITEM COSTS A BODY: `gp=-` is SINGLE-VALUED per region. D's 0x80102F58 (60 B) needs
D_801221A8/AA/AC registered with gp markers (proven: 60/0 with, 72 without), but A's merged 0x800FFF60
needs those same three ABSENT from the registry because it uses them as SYMBOLS with per-site macro
expansion. Measured: adding the rows breaks A's 140 -> 124; adding them AND giving A three gp=- overrides
restores A to 140/0 -- but the parser refuses with `duplicate override key 'gp'`. The resolution is
proven; only the option key's multiplicity blocks it. Cheapest remaining body in the phase.

The la SYM+N harness transform the developer directed was implemented and REVERTED, because it did not
close its target and an untested transform in the shipped tool is worse than a documented design. Its
mechanism, its guard, where it belongs in the pipeline, and the open question about WHICH STAGE's text
it must rewrite are all in the ledger so it can be resumed without re-deriving.

Also recorded: the gp-rewrite bug worker A found and I fixed (a stale %hi from an unrecorded register
redefinition); the compiler-boundary class (3 rows no vendored cc1 can build); the per-region codegen
flag policy; D's measured tier finding (4/4 with a call or a frame, 0/4 on leaves); and the reading
rules discovered this session, each with at least two instances.
2026-09-24 19:34:42 -04:00
Christopher Williams 22ff419c58 phase12: scope the harness-transform item (3 shapes, 9 test cases, 6 open) for a developer decision + B's mask-as-type-witness rule 2026-09-24 19:24:08 -04:00
Christopher Williams 9cabd2c44f phase12: checkpoint at 679 bodies / 688 regions (+77) -- the working band, the open items, the closed classes 2026-09-24 19:21:41 -04:00