Commit Graph

  • ab0bbd257b docs(phase-31): S72 addendum 2 — exclude list regenerated, draw refuses a stale one Drew T 2026-09-02 14:39:55 -06:00
  • 4f66709ade chore(exclude): promote the wave exclude list to config/wave_exclude.txt Drew T 2026-09-02 14:39:09 -06:00
  • 983df054f2 feat(draw): audit the exclude list as a PREREQUISITE — a stale one is refused Drew T 2026-09-02 14:38:39 -06:00
  • fd5e700cfe chore(tools-health): note when to flip split_indicator from informational to a hard gate Drew T 2026-09-02 14:15:31 -06:00
  • 27c81ed0c2 docs(phase-31): S72 addendum — split_indicator found 4 more binaries (16 fns / 3,613 ins) Drew T 2026-09-02 14:10:20 -06:00
  • 12f64ca84e docs: regenerate the cookbook index for §426-§431 Drew T 2026-09-02 14:09:48 -06:00
  • b173d88676 feat(split_indicator): detect subsegs that MUST be split before their switch fns can bank Drew T 2026-09-02 14:03:48 -06:00
  • 09886be66b docs(phase-31): S72 FINAL — R22 213/213, 14 main banked, main 52.6%, frontier 133 Drew T 2026-09-02 13:54:16 -06:00
  • 94ca16e007 docs(accelerators): #20 — set TU boundaries at the rodata island's jtbl spans, at segmentation time Drew T 2026-09-02 13:49:37 -06:00
  • 8e8521da22 fix+docs: make every consumer aware of main's new TU layout (R36) Drew T 2026-09-02 13:48:00 -06:00
  • 430f40576a docs(cookbook): §431 — widen the gate-reverts-src rule from declaration edits to BANKS Drew T 2026-09-02 13:43:11 -06:00
  • 8c72831177 fix(main): recover func_8002EED8 + func_8002F248 — I destroyed them with my own R42 violation Drew T 2026-09-02 13:42:30 -06:00
  • 468c3751c3 docs(decision-log): S72 addendum — the split decision, and the effort estimate I got wrong Drew T 2026-09-02 13:37:38 -06:00
  • 3e8138819a docs(cookbook): §431 — splitting a 27k-line TU at its original boundaries Drew T 2026-09-02 13:37:11 -06:00
  • 40bbd07c45 feat(main): func_80036260 banked — 10 of the 11 'PROVEN gate-rejects' are now banked Drew T 2026-09-02 13:36:20 -06:00
  • 00e5bfe57c feat(main_diff_locate): TABLE REJECT — the third verdict class, and the one this session is about Drew T 2026-09-02 13:35:17 -06:00
  • 9de9514249 feat(main): 3 more banked via the §376 alignment — func_8003602C, func_80038FFC, func_80039C70 Drew T 2026-09-02 13:34:26 -06:00
  • 11dda014ee fix(main): align 5 forward declarations with their definitions (§376), byte-neutral Drew T 2026-09-02 13:32:32 -06:00
  • 483e2514a3 feat(main): 3 span-B functions banked; gate_main now sees header-provided typedefs Drew T 2026-09-02 13:30:20 -06:00
  • 7df4895e7b feat(main): split src/800.c at the jtbl-span TU boundaries — spans B and C now carve Drew T 2026-09-02 13:27:29 -06:00
  • f0148e6822 docs(phase-31): S72 CLOSE — R22 green 213/213, 7 main banked, main past 51.8%, frontier 140 Drew T 2026-09-02 12:58:44 -06:00
  • 174f7aaf7a docs(cookbook): §430 — a shared tail is a late cross-jump merge, not a source goto Drew T 2026-09-02 12:53:19 -06:00
  • 8c40fa3ebd feat(main): 4 more span-A switch functions banked byte-identical (wave S72m_1) Drew T 2026-09-02 12:52:39 -06:00
  • c0724cb59e docs(cookbook): §428a REWRITTEN — my prediction was refuted; the real law is better Drew T 2026-09-02 12:38:49 -06:00
  • 4001ff0c6f docs(cookbook): §429 — every held pointer needs its own local; negative-displacement byte stores need one too Drew T 2026-09-02 12:33:10 -06:00
  • 92c001ea8c docs(cookbook): §428a — the fence<->over-merge coupling (agent-measured, flagged not-yet-byte-proven) Drew T 2026-09-02 12:26:01 -06:00
  • c6ab5ff455 docs(cookbook): §428 — a zero-byte cross-jump barrier (advance the pointer inside each switch arm) Drew T 2026-09-02 12:17:05 -06:00
  • 7bfc543d76 docs(playbook): 5b — gate the directory, never the verdict list Drew T 2026-09-02 12:13:56 -06:00
  • 8edd0f61e0 docs(phase-31): S72 progress — main's jtbl carve debugged, fixed, 3 banked; span B/C is the next lever Drew T 2026-09-02 12:09:06 -06:00
  • ab5d1e3188 fix(gate_main): a tag keyword is not a type this model can see (R39 over-refusal) Drew T 2026-09-02 12:06:59 -06:00
  • e94bb20833 docs: bank the S72 main carve finding — cookbook §426/§427, playbook 1c, SETUP, decision log Drew T 2026-09-02 12:05:01 -06:00
  • 69f3f22112 fix(journal_notes): a pack with one old note could never receive a newer one Drew T 2026-09-02 12:02:23 -06:00
  • cbf5bae043 feat(main): unblock main's switch functions — the rodata span carve + derived jtbl pads Drew T 2026-09-02 11:56:28 -06:00
  • 6c904ebd0c docs: close the S71 documentation gaps - SETUP tools table, playbook steps, decision log, gate ledger Drew T 2026-09-02 11:19:49 -06:00
  • 9631949339 docs(phase-31): S71 CLOSE — R22 green 213/213, frontier 147, 63 banked, main past 50% Drew T 2026-09-02 11:15:21 -06:00
  • 9c7b1e053b feat(decomp): parallel gate — 2 fns across 2 binaries (10 workers) Drew T 2026-09-02 11:09:14 -06:00
  • 853cab2a97 docs(cookbook): §425 - sb aliases scalar globals (true_dependence's QImode carve-out) + 3 more Drew T 2026-09-02 11:03:52 -06:00
  • 1e314e7208 docs(cookbook): §424 - equal-priority stores emit REVERSED (sched1 LUID tie picks the last statement) Drew T 2026-09-02 10:22:16 -06:00
  • 9a94d0593d feat(decomp): main +1 - func_8005FA94 via §265 verbatim asm (gate_main, BYTE-IDENTICAL) Drew T 2026-09-02 10:16:01 -06:00
  • 225f7d4ee9 docs(phase-31): frontier 150, 60 banked; main lane reopened; two gate_main defects fixed Drew T 2026-09-02 10:15:20 -06:00
  • b5f4bff5b2 feat(decomp): parallel gate — 4 fns across 4 binaries (10 workers) Drew T 2026-09-02 10:14:15 -06:00
  • 38a039d121 fix(gate_main): refuse a draft that contains its own INCLUDE_ASM (R43) Drew T 2026-09-02 10:10:39 -06:00
  • ce671f7e14 fix(gate_main): count banks from the SOURCE, not from the slate Drew T 2026-09-02 10:06:38 -06:00
  • e167c9c3cc feat(decomp): main +5 via gate_main - four §265 verbatim-asm walls and one ordinary body Drew T 2026-09-02 10:05:39 -06:00
  • 38faa55a56 feat(decomp): parallel gate — 2 fns across 2 binaries (10 workers) Drew T 2026-09-02 10:00:36 -06:00
  • a2b0a6b98f tune(draw): opus up to 340 ins, not 150 - Fable for difficulty, not length (Drew) Drew T 2026-09-02 09:58:03 -06:00
  • 1baa5ec405 feat(decomp): parallel gate — 2 fns across 2 binaries (10 workers) Drew T 2026-09-02 09:35:36 -06:00
  • 11862e3c22 docs(phase-31): gate 10 (+3), frontier 162, 48 banked; §420-§423 harvested Drew T 2026-09-02 05:51:08 -06:00
  • f778dd3f6a feat(decomp): parallel gate — 3 fns across 3 binaries (10 workers) Drew T 2026-09-02 05:50:05 -06:00
  • 5ce3704e21 docs(cookbook): §422 QImode arithmetic + flag^1 temp; §423 the "cause not determined" typedef collision Drew T 2026-09-02 05:49:58 -06:00
  • a10613fa4a docs(cookbook): §421 - a la $tN + addiu pair can be a RELOAD artifact no C spelling reaches Drew T 2026-09-02 05:42:42 -06:00
  • 1c932c61b8 docs(phase-31): +4 via multi-cluster symbol rebase; frontier 165, 45 banked Drew T 2026-09-02 05:38:45 -06:00
  • 2cedd19aaa fix(symfix): key the slate by (binary, fn); §420 multi-cluster rebase banks 4 in 57s Drew T 2026-09-02 05:38:28 -06:00
  • 24d5017039 feat(decomp): parallel gate — 4 fns across 4 binaries (4 workers) Drew T 2026-09-02 05:37:23 -06:00
  • f31f56ef17 docs(phase-31): the drafting pool emptied; the carve lane replaced it (+5, frontier 169) Drew T 2026-09-02 05:34:38 -06:00
  • c0e8731947 feat(decomp): parallel gate — 5 fns across 5 binaries (10 workers) Drew T 2026-09-02 05:33:39 -06:00
  • 9bb43dd426 docs(phase-31): S71 gate 9 (+2, frontier 174, 36 banked); §419 density lever recorded Drew T 2026-09-02 05:19:10 -06:00
  • ca813cb5ab feat(decomp): parallel gate — 2 fns across 2 binaries (10 workers) Drew T 2026-09-02 05:18:24 -06:00
  • 5a39af246e docs(cookbook): §419 - when a pin is impossible, win the local-alloc density contest Drew T 2026-09-02 05:12:40 -06:00
  • 49d1e06632 docs(phase-31): S71 gate 8 (+2, frontier 176, 34 banked); two proven walls recorded Drew T 2026-09-02 05:02:09 -06:00
  • e1f6c5cdd9 feat(decomp): parallel gate — 2 fns across 2 binaries (10 workers) Drew T 2026-09-02 05:01:22 -06:00
  • 16c4fc75e1 docs(cookbook): §418 - second index as a GIV, and keeping a table address unfolded Drew T 2026-09-02 04:53:00 -06:00
  • 8709798738 docs(phase-31): S71 gate 7 (+3, frontier 178, 32 banked) + the measured blocker census Drew T 2026-09-02 04:46:02 -06:00
  • 7b256d1c35 feat(decomp): parallel gate — 3 fns across 3 binaries (10 workers) Drew T 2026-09-02 04:45:11 -06:00
  • 46cfd92e0b docs(cookbook): §417 - a pin blocks jump.c's select collapse; unpinning exposes cse skip-blocks Drew T 2026-09-02 04:38:41 -06:00
  • 072607df7b docs(phase-31): S71 gate 6 (+4, frontier 181) and cookbook §416 Drew T 2026-09-02 04:32:08 -06:00
  • 6d21bed9db feat(decomp): parallel gate — 4 fns across 4 binaries (10 workers) Drew T 2026-09-02 04:31:28 -06:00
  • ab46791e06 docs(phase-31): S71 resumed at 04:11 after the session-limit reset Drew T 2026-09-02 04:12:25 -06:00
  • 0fb99b763b feat(decomp): parallel gate — 2 fns across 2 binaries (10 workers) Drew T 2026-09-02 02:10:07 -06:00
  • 2f46e3e0fc docs(cookbook): §415 - a file-scope decl merges the TU's later block-scope externs into it Drew T 2026-09-02 02:01:50 -06:00
  • 6fac2e0f35 feat(waves): refuse to launch an agent at an ALREADY-BANKED target (R43/R45) Drew T 2026-09-02 01:59:46 -06:00
  • 6716100e57 docs: regenerated progress + backlog from the R22-green fleet (853/1919 = 44.45%, frontier 187) Drew T 2026-09-02 01:51:14 -06:00
  • 4d7c297b12 docs(phase-31): S71 CHECKPOINT — fleet R22 GREEN 213/213, honest frontier 187 (23 banked), main incident recorded Drew T 2026-09-02 01:50:33 -06:00
  • dff33f66d9 docs(setup): WSL memory cap lowered 48GB -> 32GB (Drew, 2026-09-02); applies on next wsl --shutdown Drew T 2026-09-02 01:49:46 -06:00
  • 2f72f8b20d fix(pgate): REFUSE main — an incremental main gate is a FALSE PASS, not just a false diff Drew T 2026-09-02 01:45:21 -06:00
  • 6fbdfdb361 revert(main): commit:3586's 11 banks — main did not build from clean, and was not byte-identical Drew T 2026-09-02 01:41:34 -06:00
  • 2814d385ac feat(waves): journal_notes also reads a project-local note file Drew T 2026-09-02 01:33:21 -06:00
  • 0e4c98dc97 docs(phase-31): S71 gate cycle 4 — frontier 210 -> 176, 34 banked; residual-class routing + the R48 name-key exposure Drew T 2026-09-02 01:31:57 -06:00
  • 27cc083de9 feat(decomp): parallel gate — 5 fns across 5 binaries (12 workers) Drew T 2026-09-02 01:31:10 -06:00
  • bfea4affd8 feat(draw): route the model tier off the prior RESIDUAL CLASS, not nins Drew T 2026-09-02 01:29:59 -06:00
  • fecbfac5f8 docs(phase-31): §412 — §323 carve blocker 2 was a regex blind to __attribute__; 5 of 6 carve overlays cleared Drew T 2026-09-02 01:25:56 -06:00
  • 7bcb3e51ec feat(carve): §323 blocker 2 cleared — jr-isolate ov_SC03_029 for func_80186A34, byte-identical Drew T 2026-09-02 01:25:06 -06:00
  • 93bfa45561 feat(carve): §323 blocker 2 cleared — jr-isolate ov_SC07_000 for func_8017F8B8, byte-identical Drew T 2026-09-02 01:24:53 -06:00
  • ad0d883810 feat(carve): jr-isolate ov_SC03_092 for func_8017FE88 — byte-identical, carve refusal cleared Drew T 2026-09-02 01:21:49 -06:00
  • f0512ff9ee feat(carve): jr-isolate ov_SC03_013 for func_801806F8 — byte-identical, carve refusal cleared Drew T 2026-09-02 01:21:36 -06:00
  • 49c41094a6 feat(carve): jr_isolate_all places file-local statics — ov_SC03_010's carve refusal cleared Drew T 2026-09-02 01:20:44 -06:00
  • 6c4391abb9 docs(phase-31): S71 gate cycle 3 — 29 banked; journal-notes made permanent; jr_isolate_all unblocked Drew T 2026-09-02 01:17:47 -06:00
  • 8f87334399 docs(setup): WSL2 memory reclaim — autoMemoryReclaim=gradual + the interim cache dropper Drew T 2026-09-02 01:17:25 -06:00
  • 2064b5beee feat(decomp): parallel gate — 6 fns across 5 binaries (12 workers) Drew T 2026-09-02 01:17:20 -06:00
  • 02e1b3a7e6 feat(waves): every pack now carries that function's own PAST-ATTEMPT history Drew T 2026-09-02 01:11:52 -06:00
  • 89c3cf831b docs(phase-31): S71 wave 1 — journal-fuelled packs, 100% first-pass MATCH; cookbook 1078 Drew T 2026-09-02 01:04:27 -06:00
  • c97ccee98d feat(decomp): parallel gate — 9 fns across 7 binaries (12 workers) Drew T 2026-09-02 01:04:04 -06:00
  • e76f82e31f feat(decomp): parallel gate — 2 fns across 2 binaries (11 workers) Drew T 2026-09-02 00:55:11 -06:00
  • 137c418bc7 docs(phase-31): S71 — the 64 standalone matches priced honestly; 12 banked, 52 in four named lanes Drew T 2026-09-02 00:39:18 -06:00
  • 8cf0104386 fix(cards): defect 5 — an expired BASELINE-RED claim, without discarding any measurement Drew T 2026-09-02 00:32:20 -06:00
  • 13a16a15c6 fix(pgate): the merge scope missed main entirely — 11 byte-proven banks were dropped silently Drew T 2026-09-02 00:27:52 -06:00
  • 588208d50f feat(decomp): parallel gate — 11 fns across 1 binaries (1 workers) Drew T 2026-09-02 00:27:07 -06:00
  • 23ffa6082f feat(decomp): parallel gate — 12 fns across 2 binaries (12 workers) Drew T 2026-09-02 00:23:34 -06:00
  • 698f2959ae fix(campaign): R48 — reloc_filter resolves a draft's binary per-draft, not by bare name Drew T 2026-09-02 00:19:59 -06:00
  • da3bb36c56 docs(phase-31): S70 FINAL-5 — fresh-session checkpoint, §406 sweep first; 145 banked (355->210), R22 green, cookbook 1074 Drew T 2026-09-01 23:56:13 -06:00