d7149cb22d
phase9: merge B 3 + C 4 — 372 regions / 363 distinct bodies
Christopher Williams
2026-09-24 02:06:43 -04:00
c738b97698
phase9: ledger — rare-epilogue consequence corrected (worker B falsified the skip; three-way model)
Christopher Williams
2026-09-24 02:04:04 -04:00
3062c0ec0f
phase9: reconcile negatives + regen worklist (365 registered)
Christopher Williams
2026-09-24 02:02:54 -04:00
af0ac5f3b8
phase9: merge C 4 — 365 regions / 356 distinct bodies
Christopher Williams
2026-09-24 02:02:12 -04:00
942beee61c
phase9: ledger — rare-epilogue class census: 47 tier-2 rows (definitive)
Christopher Williams
2026-09-24 02:01:42 -04:00
ce1e2f83fb
phase9: ledger — cycle-4 352 bodies, F22/F23 findings
Christopher Williams
2026-09-24 01:58:05 -04:00
612fbd11bd
phase9: reconcile negatives + regen worklist (361 registered)
Christopher Williams
2026-09-24 01:57:48 -04:00
e407d5d2f2
phase9: merge C 3 — 361 regions / 352 distinct bodies
Christopher Williams
2026-09-24 01:57:36 -04:00
8300f855a5
phase9: ledger — cycle-4 349 bodies, gate-incident and F19 recurrences
Christopher Williams
2026-09-24 01:52:48 -04:00
cd60c6b3ea
phase9: merge worker C 3 — 358 regions / 349 distinct bodies
Christopher Williams
2026-09-24 01:52:24 -04:00
814340cb20
phase9: merge B 3 — 355 regions / 346 distinct bodies
Christopher Williams
2026-09-24 01:51:09 -04:00
a23222dcfb
phase9: ledger — hygiene catch (registry sources must be committed)
Christopher Williams
2026-09-24 01:47:03 -04:00
29e89ad999
phase9: commit worker B's report-5 sources (registry already carried them; sources were omitted from the earlier merge commit)
Christopher Williams
2026-09-24 01:46:54 -04:00
99626648b3
phase9: ledger — context rotation plan, maspsx limitation
Christopher Williams
2026-09-24 01:46:02 -04:00
f35ec5607e
phase9: merge B 0x80034A80 — 352 regions / 343 bodies
Christopher Williams
2026-09-24 01:45:51 -04:00
ec677c6c5c
phase9: reconcile negatives (now-registered rows dropped) + worklist regen
Christopher Williams
2026-09-24 01:42:27 -04:00
db93c35371
phase9: merge B 2 + coordinator 1 — 351 regions / 342 distinct bodies
Christopher Williams
2026-09-24 01:42:16 -04:00
64561c9eca
phase9: remove stale 0x800F6330 negative (worker B matched it; my symbol was the finding-4 sign-adjust trap — 0x8011AA18 not 0x8012AA18)
Christopher Williams
2026-09-24 01:41:46 -04:00
523b901eb3
phase9: ledger — rare-epilogue census (16 sites, library band)
Christopher Williams
2026-09-24 01:40:23 -04:00
66ed7931e0
phase9: add 0x8010036C negative (rare-epilogue-order, F21 3rd site)
Christopher Williams
2026-09-24 01:40:09 -04:00
6e1d032d6c
phase9: add 0x80022E44 negative (adjacent-zero-store merge)
Christopher Williams
2026-09-24 01:39:19 -04:00
1d32496672
phase9: add 0x80024630 negative (stack-routed min, optimizer elision)
Christopher Williams
2026-09-24 01:38:01 -04:00
13efa438ce
phase9: absorption — 0x800A623C + 0x800A5CEC (348 regions / 339 bodies)
Christopher Williams
2026-09-24 01:37:17 -04:00
140549ede4
phase9: add 0x800F6330 negative (HI16-carry edge, finding-4)
Christopher Williams
2026-09-24 01:36:09 -04:00
e149ad1880
phase9: ledger — cycle-4 337 bodies at the tier-2 pivot
Christopher Williams
2026-09-24 01:35:10 -04:00
28977d793b
phase9: reconcile negatives + regenerate worklist (346 registered)
Christopher Williams
2026-09-24 01:35:03 -04:00
74785840c7
phase9: merge B 4 + C 4 — 346 regions / 337 distinct bodies
Christopher Williams
2026-09-24 01:34:54 -04:00
cd53723c52
phase9: add 0x80099E34 negative (alloc-tiebreak, symbol-form address)
Christopher Williams
2026-09-24 01:33:39 -04:00
0a41a5ded6
phase9: ledger — cycle-4 tier-2 three-way volume
Christopher Williams
2026-09-24 01:31:38 -04:00
3ea7e13a99
phase9: merge B 0x80013D04 + coordinator wrappers — 339 regions / 330 bodies; reconcile report negatives
Christopher Williams
2026-09-24 01:31:26 -04:00
0bbedfdd53
phase9: regenerate worklist + partitions after the merge (worker B's drift finding)
Christopher Williams
2026-09-24 01:29:33 -04:00
d3b919a794
phase9: merge coordinator tier-2 wrappers — 336 regions / 327 distinct bodies
Christopher Williams
2026-09-24 01:29:21 -04:00
7f06726154
phase9: ledger — cycle-4 tier-2 pivot validated as the efficiency rule
Christopher Williams
2026-09-24 01:27:07 -04:00
b6dd0ad762
phase9: merge worker B tier-2 run — 329 regions / 320 distinct bodies
Christopher Williams
2026-09-24 01:26:57 -04:00
7bfeffc58b
phase9: add 0x8003A5F4 negative (alloc+layout, worker-C diagnosis confirmed)
Christopher Williams
2026-09-24 01:22:41 -04:00
17802fe649
phase9: add 0x80012A48 negative (primitive-init scheduler family)
Christopher Williams
2026-09-24 01:21:51 -04:00
69eba852c8
phase9: merge worker C batch 2 — 320 regions / 311 distinct bodies
Christopher Williams
2026-09-24 01:21:40 -04:00
130a043d91
phase9: absorption — 0x80099DC4 guarded byte-flag setter (316 regions / 307 bodies)
Christopher Williams
2026-09-24 01:19:56 -04:00
9409338220
phase9: merge worker C resume batch — 315 regions / 306 distinct bodies
Christopher Williams
2026-09-24 01:18:14 -04:00
692b8cb800
phase9: absorption — 0x80065930 pair-table lookup (311 regions / 302 distinct bodies)
Christopher Williams
2026-09-24 01:17:17 -04:00
afa690aea4
phase9: ledger — cycle-4 two-matcher state, pool difficulty confirmed
Christopher Williams
2026-09-24 01:16:13 -04:00
c189e2fe22
phase9: add 0x80065494 negative (popcount scheduling)
Christopher Williams
2026-09-24 01:16:06 -04:00
cca1d901be
phase9: ledger — cycle-4 queue-fix effect and absorption negatives
Christopher Williams
2026-09-24 01:14:47 -04:00
38367bdee1
phase9: add 0x80042CE0 negative (paired-array geometry)
Christopher Williams
2026-09-24 01:14:28 -04:00
964a00f81c
phase9: add 0x80018284 negative (struct-copy jr-slot shape)
Christopher Williams
2026-09-24 01:12:53 -04:00
cd3e419e1e
phase9: add 0x800450C4 negative (gp=-D_80121BFC site, alloc-tiebreak)
Christopher Williams
2026-09-24 01:11:44 -04:00
91d6bb2b10
phase9: ledger — cycle-3 queue fix and absorption update
Christopher Williams
2026-09-24 01:10:50 -04:00
be04ecd5f3
phase9: add 0x80042D88 negative (strength-reduce sra5+sll2 class)
Christopher Williams
2026-09-24 01:10:32 -04:00
e06deb5c1a
phase9: refresh 0x800266A8 negative with the coordinator re-spelling result (3B)
Christopher Williams
2026-09-24 01:09:49 -04:00
a38aa2603a
phase9: recorded-negatives exclusion in sf3_triage (worker B, verified) + phase negatives index import
Christopher Williams
2026-09-24 01:08:53 -04:00
aa92ed22ea
phase9: ledger — ADDI class extension and empty call-shape slice
Christopher Williams
2026-09-24 01:05:12 -04:00
d1b9cf7ad1
phase9: extend trapping-arithmetic exclusion to the immediate ADDI form (worker B, verified)
Christopher Williams
2026-09-24 01:05:01 -04:00
06121cd072
phase9: ledger — cycle 3 worker-B re-engagement, absorption negatives
Christopher Williams
2026-09-24 01:02:09 -04:00
f8cdae42fd
phase9: absorption batch 2 — 310 regions / 301 distinct bodies
Christopher Williams
2026-09-24 00:57:11 -04:00
345f5ecce6
phase9: coordinator absorption — 2 more regions (308 regions / 299 distinct bodies)
Christopher Williams
2026-09-24 00:50:56 -04:00
85ae47d4a1
phase9: P9-T5 bounded investigation — route (a) closed, gap census + library-code evidence recorded
Christopher Williams
2026-09-24 00:46:59 -04:00
43201fa603
phase9: ledger — cycle-2 close, P9-T4 checkpoint crossed, all workers rotated
Christopher Williams
2026-09-24 00:44:15 -04:00
6d3a6ba434
phase9: bad-extent classification in sf3_triage (worker A's class, coordinator-verified)
Christopher Williams
2026-09-24 00:44:07 -04:00
e523890b5f
phase9: tracked worklist exclusions for the 0x80012A10 family and the maspsx-blocker row (0x8008A198)
Christopher Williams
2026-09-24 00:43:03 -04:00
a106afe5ab
phase9: merge worker A handoff — 306 regions / 297 distinct bodies
Christopher Williams
2026-09-24 00:42:33 -04:00
80a4e9e5ed
phase9: merge 5 more — 288 regions / 279 distinct bodies
Christopher Williams
2026-09-24 00:34:32 -04:00
c286bc4355
phase9: merge worker C handoff close — 283 regions / 274 distinct bodies
Christopher Williams
2026-09-24 00:33:42 -04:00
c160fa9326
phase9: merge 6 more — 281 regions / 272 distinct bodies
Christopher Williams
2026-09-24 00:32:22 -04:00
af9630b617
phase9: merge 7 more — 275 regions / 266 distinct bodies (worker A batch 8)
Christopher Williams
2026-09-24 00:29:40 -04:00
b27ba1bac1
phase9: merge cycle 2 final — 268 regions / 259 distinct bodies
Christopher Williams
2026-09-24 00:27:50 -04:00
08a261d29e
phase9: ledger — cycle 2 closed, full audit green, collision policy recorded
Christopher Williams
2026-09-24 00:26:58 -04:00
e317c8ed5a
phase9: merge cycle 2 close — 260 regions / 251 distinct bodies
Christopher Williams
2026-09-24 00:26:45 -04:00
6e8c3df7a7
phase9: ledger — cycle 2 totals, P9-T5 gap-measurement verification, partition-B absorption
Christopher Williams
2026-09-24 00:24:06 -04:00
e51ec91514
phase9: tracked worklist after the 0x80012A10-family exclusion (1,666 rows)
Christopher Williams
2026-09-24 00:23:56 -04:00
e7603dc531
phase9: merge cycle 2 progress — 246 regions / 237 distinct bodies
Christopher Williams
2026-09-24 00:23:51 -04:00
ce75bee419
phase9: record worker B budget rotation; coordinator absorbs partition B
Christopher Williams
2026-09-24 00:21:33 -04:00
318e73ab75
phase9: record cycle 1 detail, GTE map correction, and negative census in the ledger
Christopher Williams
2026-09-24 00:16:17 -04:00
2bb883c871
phase9: merge cycle 1 — 57 claims verified, 39 new regions (206 distinct bodies)
Christopher Williams
2026-09-24 00:16:00 -04:00
706c5455cd
phase9: record cycle-1 dispatch numbers in the ledger
Christopher Williams
2026-09-23 23:54:31 -04:00
54af82aa95
phase9: ledger, delay-slot exclusion, and the promoted instruction-diff tool
Christopher Williams
2026-09-23 23:52:58 -04:00
48dca3e271
phase9: add the worker-identification procedure to the plan
Christopher Williams
2026-09-23 23:40:30 -04:00
d9a43975d4
phase9: draft the scaled coordinated plan with a 500-body target
Christopher Williams
2026-09-23 23:39:37 -04:00
2e7daf5329
phase8: close the phase with the verification milestone
Christopher Williams
2026-09-23 23:36:58 -04:00
ea6841d307
phase8: consolidate at 158 regions / 149 bodies and record the verification gate
Christopher Williams
2026-09-23 23:32:20 -04:00
6ef29e45e9
phase8: merge cycle 6 and record the conventions the phase produced
Christopher Williams
2026-09-23 23:26:49 -04:00
db8afed4bf
phase8: merge worker C's 0x80019B6C
Christopher Williams
2026-09-23 23:25:16 -04:00
591923a32f
phase8: exclude the trapping-arithmetic class and record the shape tells
Christopher Williams
2026-09-23 23:23:33 -04:00
dafdd6998e
phase8: register the COP2 and BIOS-stub regions under the accepted convention
Christopher Williams
2026-09-23 23:18:25 -04:00
18e784df39
phase8: record cycle 3, the SDK-shape verdict, and the worker negative results
Christopher Williams
2026-09-23 23:16:08 -04:00
2775d2e077
phase8: merge cycle 3 — g0007 and g0030 closed, 137 regions / 128 bodies
Christopher Williams
2026-09-23 23:13:02 -04:00
62983c9a8a
phase8: syscall returns, so it is not a walk terminator
Christopher Williams
2026-09-23 23:11:38 -04:00
e98aa102e4
phase8: rules check after P8-T4
Christopher Williams
2026-09-23 23:07:30 -04:00
270cb6201a
phase8: record cycles 1-2 and the two harness mechanisms
Christopher Williams
2026-09-23 23:06:54 -04:00
9a49ee62f7
phase8: close the assembler-anomaly and gp-site classes, reaching 109 bodies
Christopher Williams
2026-09-23 23:05:35 -04:00
7c299aca26
phase8: merge worker B's first eight claims and 335 gp rows
Christopher Williams
2026-09-23 22:55:42 -04:00
d7047e08c7
phase8: add the claim-merge tooling and merge worker A's first ten claims
Christopher Williams
2026-09-23 22:52:08 -04:00
5f07614247
phase8: open the control record, revalidate the baseline, and hand off to two workers
Christopher Williams
2026-09-23 22:48:25 -04:00
42c9b1d9bc
phase8: draft the coordinated multi-session plan
Christopher Williams
2026-09-23 22:42:52 -04:00
2f05e821fc
phase7: close the phase with the verification milestone
Christopher Williams
2026-09-23 22:40:26 -04:00
0e3ff39ea9
phase7: record the verification gate and the new conventions
Christopher Williams
2026-09-23 22:37:16 -04:00
dd807ffb8c
phase7: match 22 more function bodies from the worklist
Christopher Williams
2026-09-23 22:34:02 -04:00
399da98a83
phase7: resolve address-named symbols implicitly and fail loudly otherwise
Christopher Williams
2026-09-23 22:26:08 -04:00
a6af8b3cd2
phase7: replace hand-picked targets with a ranked, reproducible worklist
Christopher Williams
2026-09-23 22:19:39 -04:00
2000cc4101
phase7: census duplicate bodies and expose a zero band of false positives
Christopher Williams
2026-09-23 22:15:51 -04:00
6988ca96b0
phase7: derive evidence-graded function extents from control flow
Christopher Williams
2026-09-23 22:12:31 -04:00
Christopher Williams