050f167a12
phase12: record solo matching checkpoint
main
Christopher Williams
2026-09-25 11:24:39 -04:00
1971af7222
phase12: match func_80027744
Christopher Williams
2026-09-25 11:22:30 -04:00
29d0331140
phase12: match func_80058BA0
Christopher Williams
2026-09-25 11:14:17 -04:00
4973878888
phase12: record final worker shutdown checkpoint
Christopher Williams
2026-09-25 10:54:50 -04:00
fbd57d38e1
phase12: track verified adjacency sources
Christopher Williams
2026-09-25 10:39:15 -04:00
e9f46c00c4
phase12: match func_80013024 (745 bodies / 754 regions)
Christopher Williams
2026-09-25 10:39:10 -04:00
03a6041e4f
phase12: match func_80012D54 (742 bodies / 751 regions)
Christopher Williams
2026-09-25 10:34:12 -04:00
c148abf1cd
phase12: match func_80012A10 (741 bodies / 750 regions)
Christopher Williams
2026-09-25 10:31:46 -04:00
c36c7ee248
phase12: match func_80042E68 (740 bodies / 749 regions)
Christopher Williams
2026-09-25 10:28:32 -04:00
d557e354a1
phase12: track verified func_80042E10 source
Christopher Williams
2026-09-25 10:12:36 -04:00
3532ee80d9
phase12: match func_800379E0 (739 bodies / 748 regions)
Christopher Williams
2026-09-25 10:12:31 -04:00
0f8e71e27d
phase12: match func_80039308 (737 bodies / 746 regions)
Christopher Williams
2026-09-25 10:08:44 -04:00
186280e250
phase12: match func_80019700 (736 bodies / 745 regions)
Christopher Williams
2026-09-25 09:53:20 -04:00
8094760eec
phase12: match func_800F6948 (735 bodies / 744 regions)
Christopher Williams
2026-09-25 09:49:02 -04:00
b76e0578a4
phase12: match func_800F4C08 (734 bodies / 743 regions)
Christopher Williams
2026-09-25 09:44:29 -04:00
ade236af14
phase12: match three continuation claims (733 bodies / 742 regions)
Christopher Williams
2026-09-25 09:42:14 -04:00
1f14787b62
phase12: record duplicate claim guard incident
Christopher Williams
2026-09-25 09:36:45 -04:00
a6584e1978
phase12: match four worker claims (730 bodies / 739 regions)
Christopher Williams
2026-09-25 09:33:55 -04:00
094a03199e
phase12: match two more bodies (726 bodies / 735 regions)
Christopher Williams
2026-09-25 09:25:39 -04:00
d17c4f84bf
phase12: match three more bodies (724 bodies / 733 regions)
Christopher Williams
2026-09-25 09:22:25 -04:00
6975b274cd
phase12: match three bodies and peer batch (721 bodies / 730 regions)
Christopher Williams
2026-09-25 09:16:32 -04:00
1c173664f0
phase12: match func_8001AAA8 (718 bodies / 727 regions)
Christopher Williams
2026-09-25 09:09:19 -04:00
4f3b0ec4a1
phase12: checkpoint autonomous continuation
Christopher Williams
2026-09-25 09:04:10 -04:00
52c9074d2e
phase12: checkpoint resumed matching attempts
Christopher Williams
2026-09-25 09:02:15 -04:00
e7450aafe0
phase12: checkpoint follow-up matching negatives
Christopher Williams
2026-09-25 08:59:25 -04:00
2ced412d87
phase12: checkpoint bounded matching attempts
Christopher Williams
2026-09-25 08:55:39 -04:00
317ffeb7dd
phase12: match func_80024838 (717 bodies / 726 regions)
Christopher Williams
2026-09-25 08:47:52 -04:00
7e449d665d
phase12: match func_800FFFEC (716 bodies / 725 regions)
Christopher Williams
2026-09-25 08:44:25 -04:00
9a5d6af31c
phase12: record scheduler diagnostic negative
Christopher Williams
2026-09-25 08:38:25 -04:00
fc5143f9ee
tools: exclude calls from scheduler loop detection
Christopher Williams
2026-09-25 08:28:12 -04:00
c5afc33bcb
tools: add scheduler diagnostics to sf3_diff
Christopher Williams
2026-09-25 08:21:33 -04:00
58b9400d50
phase12: record final clean verification
Christopher Williams
2026-09-25 08:11:18 -04:00
92e965da4b
phase12: record second-batch completion checkpoint
Christopher Williams
2026-09-25 08:09:44 -04:00
3d96b5be77
phase12: match func_800B62C8 (715 bodies / 724 regions)
Christopher Williams
2026-09-25 08:08:58 -04:00
4b46fcb2ea
phase12: match func_80017AF8 (714 bodies / 723 regions)
Christopher Williams
2026-09-25 07:49:05 -04:00
88eccb89f2
phase12: match func_80046198 (713 bodies / 722 regions)
Christopher Williams
2026-09-25 07:39:12 -04:00
69b0ced912
phase12: match func_800580E4 (712 bodies / 721 regions)
Christopher Williams
2026-09-25 07:36:28 -04:00
cd3031c3f9
phase12: record second-batch checkpoint 4
Christopher Williams
2026-09-25 07:34:30 -04:00
8499caa2c2
phase12: match func_800475CC (711 bodies / 720 regions)
Christopher Williams
2026-09-25 07:33:23 -04:00
7bdd3a3657
phase12: match func_80066DA0 (710 bodies / 719 regions)
Christopher Williams
2026-09-25 07:29:57 -04:00
7b688cdcba
phase12: match func_8006F6F4 (709 bodies / 718 regions)
Christopher Williams
2026-09-25 07:22:17 -04:00
94bfcf3c46
phase12: match func_800AC648 (708 bodies / 717 regions)
Christopher Williams
2026-09-25 00:34:56 -04:00
6f39dc2a2c
phase12: record second-batch checkpoint 3
Christopher Williams
2026-09-25 00:33:00 -04:00
abe811cf68
phase12: match func_80029E88 (707 bodies / 716 regions)
Christopher Williams
2026-09-25 00:31:53 -04:00
49dac73315
phase12: match func_800B6CB4 (706 bodies / 715 regions)
Christopher Williams
2026-09-25 00:30:01 -04:00
d50965d0f6
phase12: match func_8007759C (705 bodies / 714 regions)
Christopher Williams
2026-09-25 00:27:48 -04:00
c74cd4100d
phase12: match func_80086DBC (704 bodies / 713 regions)
Christopher Williams
2026-09-25 00:26:13 -04:00
c6bc651dbc
phase12: record second-batch checkpoint 2
Christopher Williams
2026-09-25 00:23:15 -04:00
476c7fa619
phase12: match func_8006BA3C (703 bodies / 712 regions)
Christopher Williams
2026-09-25 00:22:04 -04:00
2de145ffff
phase12: match func_80023A4C (702 bodies / 711 regions)
Christopher Williams
2026-09-25 00:15:58 -04:00
c59aa4df29
phase12: match func_80055958 (701 bodies / 710 regions)
Christopher Williams
2026-09-25 00:12:23 -04:00
9c2befd64f
phase12: match func_801029A0 (700 bodies / 709 regions)
Christopher Williams
2026-09-25 00:10:22 -04:00
3219504e9d
phase12: record second-batch checkpoint
Christopher Williams
2026-09-24 23:28:29 -04:00
6439048bd3
phase12: match func_8002D17C (699 bodies / 708 regions)
Christopher Williams
2026-09-24 23:23:18 -04:00
c1f891883f
phase12: match func_8006BB0C (698 bodies / 707 regions)
Christopher Williams
2026-09-24 23:20:51 -04:00
9d28d2d1b7
phase12: match func_800BC8C4 (697 bodies / 706 regions)
Christopher Williams
2026-09-24 23:14:06 -04:00
f80e4ab21d
phase12: match func_800BC9C4 (696 bodies / 705 regions)
Christopher Williams
2026-09-24 23:01:12 -04:00
4f253f9018
phase12: match func_80095CF8 (695 bodies / 704 regions)
Christopher Williams
2026-09-24 21:04:16 -04:00
df8963a779
phase12: match func_800B2488 (694 bodies / 703 regions)
Christopher Williams
2026-09-24 20:56:06 -04:00
ca930cfc6e
phase12: match func_800F6F20 (693 bodies / 702 regions)
Christopher Williams
2026-09-24 20:50:50 -04:00
a5fe964756
phase12: match func_800F50B0 (692 bodies / 701 regions)
Christopher Williams
2026-09-24 20:47:04 -04:00
a2e7ba52d3
phase12: match func_80027D00 (691 bodies / 700 regions)
Christopher Williams
2026-09-24 20:29:29 -04:00
f05564b2c9
phase12: match func_800376CC (690 bodies / 699 regions)
Christopher Williams
2026-09-24 20:23:22 -04:00
862b9d51d0
phase12: match func_8008A400 (689 bodies / 698 regions)
Christopher Williams
2026-09-24 20:20:00 -04:00
008e9e9713
phase12: match func_8006BB88 (688 bodies / 697 regions)
Christopher Williams
2026-09-24 20:16:36 -04:00
1be3026446
phase12: match func_80027BE8 (687 bodies / 696 regions)
Christopher Williams
2026-09-24 20:07:24 -04:00
9729dd0ed7
phase12: match func_80102F58 (686 bodies / 695 regions)
Christopher Williams
2026-09-24 19:53:00 -04:00
3ce5c11603
phase12: final figures -- 685 bodies / 694 regions (+83), +65 to the milestone
Christopher Williams
2026-09-24 19:39:38 -04:00
c4ac21b819
phase12: actually merge 0x8002D014 (the previous message's count was wrong -- my extent error, not D's row)
Christopher Williams
2026-09-24 19:39:28 -04:00
0cb720da1c
phase12: merge worker D's final row 0x8002D014 (685 bodies / 694 regions, +83) + record my attribution error
Christopher Williams
2026-09-24 19:38:43 -04:00
ae49fc4528
phase12: final tree cleanup -- worklist regeneration and a worker WIP file removal
Christopher Williams
2026-09-24 19:37:55 -04:00
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
Christopher Williams
2026-09-24 19:37:04 -04:00
b87044652e
phase12: final checkpoint at 684 bodies / 693 regions (+82) with the resume pointer
Christopher Williams
2026-09-24 19:35:26 -04:00
00f951d502
phase12: SESSION STOP at 684 bodies / 693 regions (+82) -- clean tree, handover in the ledger
Christopher Williams
2026-09-24 19:34:42 -04:00
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
Christopher Williams
2026-09-24 19:24:08 -04:00
9cabd2c44f
phase12: checkpoint at 679 bodies / 688 regions (+77) -- the working band, the open items, the closed classes
Christopher Williams
2026-09-24 19:21:41 -04:00
c16d97aaa2
phase12: A's switch-vs-chain discriminator, and the codegen flag is per-row even within one family
Christopher Williams
2026-09-24 19:20:51 -04:00
12ac628ea4
phase12: merge 28 (679 bodies) + the per-region codegen-flag policy, and A's semantics-not-codegen correction
Christopher Williams
2026-09-24 19:20:33 -04:00
656e78d9f1
phase12: merge 27 (677 bodies) + D's exit-shape rule, the verified D_801219D4 symbol, and the nested-comment trap
Christopher Williams
2026-09-24 19:17:23 -04:00
dfe8d8c388
phase12: the compiler-boundary class (3 rows, no vendored build has the combination) + my refuted hypothesis with its mechanism
Christopher Williams
2026-09-24 19:15:24 -04:00
4588107cd7
phase12: merge 26 (674 bodies) + the epilogue token is a per-row property invisible in a length check
Christopher Williams
2026-09-24 19:14:00 -04:00
9b9ba0c2ea
phase12: correct the body count in 354e90d's message (672/681, not 670/680)
Christopher Williams
2026-09-24 19:12:18 -04:00
354e90d5e5
phase12: merge 24-25 (670 bodies) + worker A's sf3_match gp-rewrite bug, found and fixed
Christopher Williams
2026-09-24 19:11:38 -04:00
58ff408f9f
phase12: merge 23 (667 bodies) + five multi-exit rows ARE gate-permitted for cc1bin
Christopher Williams
2026-09-24 19:01:41 -04:00
bf7b6ceac2
phase12: merge 22 (665 bodies) + the pool band filter, and I had the first call backwards
Christopher Williams
2026-09-24 18:56:43 -04:00
6109c3b0a9
phase12: record my git-add-src defect (benign this time, measured) + worker A's loop-invariant-motion class
Christopher Williams
2026-09-24 18:55:23 -04:00
50270a95f6
phase12: merge 20-21 (663 bodies) -- worker B's maspsx predicate patch closes a released row
Christopher Williams
2026-09-24 18:53:38 -04:00
dd412fe0b1
phase12: merge 19 (660 bodies), the twin TYPES refinement, and the 24-byte dual-cause trap
Christopher Williams
2026-09-24 18:48:48 -04:00
98a15efca5
phase12: merge 18 (659 bodies) + cookbook 61b: a duplicated mask is a WIDTH fact, not a schedule
Christopher Williams
2026-09-24 18:47:53 -04:00
dd28188b43
cookbook 61: maspsx=moves proven on 0x8010AA28 -- the first region it has closed, sub-case scoped
Christopher Williams
2026-09-24 18:47:01 -04:00
f1b840a177
phase12: merge 17 (658 bodies) -- maspsx=moves closes the 'mutual exclusion' class, first proven instance of finding 61
Christopher Williams
2026-09-24 18:46:18 -04:00
3cd0f91515
phase12: merge 16 (657 bodies), three-worker per-site gp evidence, C's decline endorsed, A's cross-jump test
Christopher Williams
2026-09-24 18:45:28 -04:00
401c92558e
phase12: merge 15 (654 bodies), C's finding-44 direction, and the 3-of-6 reachability expectation
Christopher Williams
2026-09-24 18:42:41 -04:00
5af450c491
phase12: the three-worker triage key was implemented, TESTED, and FAILED -- disarmed, kept as a label
Christopher Williams
2026-09-24 18:41:15 -04:00
ca5eb6e613
phase12: merge 12-14 (652 bodies) + the phase's first inline-asm row + charter s7's not-counted row
Christopher Williams
2026-09-24 18:39:16 -04:00
ce8e1221ff
phase12: record the five pool defects, the convergent worker findings, and D's counter-evidence
Christopher Williams
2026-09-24 18:31:26 -04:00
9053a4dc51
phase12: merge 11 (646 bodies / 655 regions) + sf3_free: claimed is HELD, not FREE
Christopher Williams
2026-09-24 18:30:21 -04:00
7090663275
phase12: sf3_negpool -- kill the five defects that reached the workers, and merge 10 (639 bodies)
Christopher Williams
2026-09-24 18:27:39 -04:00
ab5b2d3857
phase12: fragment predicate, D's twin correction (coordinator error), and the redundant-flag lesson
Christopher Williams
2026-09-24 18:18:49 -04:00
228ad953e4
phase12: exclude 0x8001DC20 as the second FRAGMENT row, with the class predicate written down
Christopher Williams
2026-09-24 18:18:10 -04:00
Christopher Williams