Commit Graph

  • 9d7b26523c docs: cookbook §384 — a carve-config bank is red until you re-extract; correct the S69 checkpoint Drew T 2026-09-01 11:09:31 -06:00
  • 5450f18181 revert(revert): restore ov_SC04_011/func_80182DCC — it was NEVER a false bank Drew T 2026-09-01 11:08:55 -06:00
  • 9fc27960e9 feat(integration): teach the rest of the toolkit about §378 (self-caller cast) Drew T 2026-09-01 11:02:52 -06:00
  • d349bc053a feat(decomp): parallel gate — 9 fns across 8 binaries (12 workers) Drew T 2026-09-01 10:47:13 -06:00
  • f95b895909 docs(phase-31): S69 FINAL checkpoint — 44 MATCH of 84 agents, the §378 lever, four self-inflicted defects measured Drew T 2026-09-01 10:45:07 -06:00
  • c076f9016d feat(decomp): parallel gate — 10 fns across 8 binaries (12 workers) Drew T 2026-09-01 10:39:02 -06:00
  • 4949acdf31 revert(integration): drop the §378 casts for the 25 chain candidates that did not bank Drew T 2026-09-01 10:35:29 -06:00
  • d8d4f8ac6f revert(decomp): ov_SC04_011/func_80182DCC — a FALSE BANK committed under --no-r22 Drew T 2026-09-01 10:35:11 -06:00
  • 6a96a62f27 feat(decomp): main in-tree gate — 2 fn(s) Drew T 2026-09-01 04:53:15 -06:00
  • c794091725 feat(decomp): main in-tree gate — 8 fn(s) Drew T 2026-09-01 04:51:47 -06:00
  • 02d0461d46 feat(decomp): parallel gate — 1 fns across 1 binaries (12 workers) Drew T 2026-09-01 04:02:41 -06:00
  • cb7a28551c chore(integration): §378 chain applied to 25 fresh closeness-0 candidates (pre-gate) Drew T 2026-09-01 03:57:19 -06:00
  • 05195783b9 docs: mark the triage-ladder spec BUILT with its three corrections; accelerator #16 Drew T 2026-09-01 03:49:21 -06:00
  • 6bc674ae45 docs(phase-31): S69 checkpoint — 8 banked from the '32 free banks' class, the §378 lever, the triage ladder acceptance-green Drew T 2026-09-01 00:11:20 -06:00
  • ae7c68a89a fix(gate): carry the per-function verdicts out of the worktree, and gate the in-tree retry on them Drew T 2026-09-01 00:05:25 -06:00
  • b2d73108e2 feat(decomp): parallel gate — 1 fns across 1 binaries (16 workers) Drew T 2026-09-01 00:01:54 -06:00
  • ef504ffc32 chore(integration): decl-sync for the 21 remaining §376 candidates (pre-gate) Drew T 2026-08-31 23:54:17 -06:00
  • 1dd15eda32 feat(triage): the triage ladder — built, wired, and acceptance-green Drew T 2026-08-31 23:53:50 -06:00
  • c6f6f668ba feat(decomp): main/func_80036D58 — the narrow-param decl-sync completes the §378 chain Drew T 2026-08-31 23:51:19 -06:00
  • 779f3e2a19 feat(decomp): parallel gate — 5 fns across 5 binaries (16 workers) Drew T 2026-08-31 23:49:37 -06:00
  • 72d3f61dcd chore(integration): self-caller casts for the 27 remaining §376 candidates (pre-gate) Drew T 2026-08-31 23:36:59 -06:00
  • 53fad0d031 feat(decomp): ov_SC04_010/func_8017D6CC — the self-caller cast lever, byte-verified Drew T 2026-08-31 23:18:43 -06:00
  • 6cca1e3ea0 feat(decomp): main in-tree gate — 0 fn(s) Drew T 2026-08-31 23:00:25 -06:00
  • a47981a494 docs(phase-31): S68 FINAL-2 checkpoint — 39 closed (453 -> 414), fleet 213/213, harvest drained Drew T 2026-08-31 22:33:02 -06:00
  • a22d5646f6 docs(cookbook): §374/§375 — two more bounds on the register-pin lever Drew T 2026-08-31 22:26:02 -06:00
  • 5c317dbe5f docs: wire the S68 tools into SETUP.md (R21) and the playbook (when to use them) Drew T 2026-08-31 22:25:43 -06:00
  • 02592300df feat(triage): the residual-classifier head-to-head — both implementations, kept Drew T 2026-08-31 22:24:56 -06:00
  • 2daacec346 feat(decomp): ov_SC03_121 in-tree retry after a blind worktree gate Drew T 2026-08-31 22:22:45 -06:00
  • e32fdd47dd feat(decomp): parallel gate — 2 fns across 2 binaries (4 workers) Drew T 2026-08-31 22:22:43 -06:00
  • da32350873 feat(decomp): main in-tree gate — 1 fn(s) Drew T 2026-08-31 22:18:35 -06:00
  • ba394da75a docs: spec the TRIAGE LADDER for next session, with its 32 free banks listed Drew T 2026-08-31 22:09:11 -06:00
  • e936556ff0 feat(cards): neighbor_ref.py — retrieve MATCHED functions as worked examples, ranked Drew T 2026-08-31 22:08:34 -06:00
  • 7392fcf7c3 docs: accelerators #15 (the differential-oracle harness) + the generic decomp package thesis Drew T 2026-08-31 22:06:20 -06:00
  • d8b7fb4e49 docs(playbook): §1b — the §332 walls are now ENUMERATED, wire the sweep into the draw Drew T 2026-08-31 20:02:56 -06:00
  • cd03c67652 feat(walls): wall_sweep.py — ENUMERATE the §332 delay-slot macro walls, 10 fns / 1,027 ins Drew T 2026-08-31 19:59:08 -06:00
  • 0e50fbc84f docs(playbook): §1b — the walls ledger is always incomplete, and each gap costs an agent run Drew T 2026-08-31 19:54:36 -06:00
  • e2f64a7c62 feat(o0): md_MAIN_003 second carve — func_800D12D0 (657 ins) banked as real -O0 C Drew T 2026-08-31 19:46:10 -06:00
  • 3f9430e569 feat(gater): retry IN-TREE when the worktree gate FAILS every draft and banks none Drew T 2026-08-31 19:28:36 -06:00
  • 3897886acb feat(decomp): ov_SC06_010 func_8017E764 (438) + func_8017BEBC (753) — 1,191 ins Drew T 2026-08-31 19:27:37 -06:00
  • c42b3dbc35 docs(cookbook): §373 — the dead-reset cse-breaker, the anti-dep pin, and pri(asm)=1 Drew T 2026-08-31 19:20:46 -06:00
  • 30caa67127 fix(r22 guard): record liveness, do not infer it — my mtime heuristic failed BOTH ways Drew T 2026-08-31 18:59:50 -06:00
  • 8a347cdb93 fix(r22_verify): rewrite — my own edit had left a SECOND make check-all in it Drew T 2026-08-31 18:57:14 -06:00
  • 601a34f728 fix(pgate): guard --r22's own make clean, and make the deferred check COUNTABLE Drew T 2026-08-31 18:56:43 -06:00
  • 2a8120f539 feat(decomp): parallel gate — 1 fns across 1 binaries (2 workers) Drew T 2026-08-31 18:55:28 -06:00
  • 672431e325 fix(r22+gater): R22 now REFUSES while drafters are live; §372 the copy-capture pair Drew T 2026-08-31 18:51:21 -06:00
  • 0dacc7b3f9 feat(decomp): main in-tree gate — 0 fn(s) Drew T 2026-08-31 18:50:44 -06:00
  • 86918184da feat(decomp): main in-tree gate — 0 fn(s) Drew T 2026-08-31 18:47:29 -06:00
  • f1e963f3e8 fix(gater): commit what the in-tree main gate banks Drew T 2026-08-31 18:44:00 -06:00
  • 70843992a7 feat(decomp): main func_8005E228 (83 ins) — a §265 VERBATIM-ASM bank, not a C crack Drew T 2026-08-31 18:43:37 -06:00
  • 54c0624e49 docs: §371 the module-binary -O0 carve route + the spimdisasm rodata trap; SETUP.md S68 tooling rows (R21) Drew T 2026-08-31 18:34:38 -06:00
  • 650bb7285d feat(decomp): parallel gate — 1 fns across 1 binaries (1 workers) Drew T 2026-08-31 18:22:18 -06:00
  • a731022d96 docs(phase-31): S68 post-reset — module-binary -O0 route opened, twin flywheel closed Drew T 2026-08-31 18:18:01 -06:00
  • 7a969d1c61 feat(o0): md_MAIN_003 carve — the module-binary -O0 route opens, func_800D0D6C banked (345 ins) Drew T 2026-08-31 18:13:42 -06:00
  • c10ee098dc feat(decomp): parallel gate — 3 fns across 3 binaries (3 workers) Drew T 2026-08-31 17:58:06 -06:00
  • 2a0808e3dc docs(cookbook): §370 — a HARD BOUND from sched.c, plus the reorg slot-steal diagnostic Drew T 2026-08-31 17:29:45 -06:00
  • 0816ea0576 chore: refresh the backlog + fleet digests after the S68 banks Drew T 2026-08-31 17:27:15 -06:00
  • 64230e40ea docs(phase-31): S68 FINAL checkpoint — 23 closed (453 -> 430), fleet 213/213, main unblocked after two stacked harness defects Drew T 2026-08-31 17:26:38 -06:00
  • 92e3ff9272 docs(cookbook): S68 harvest round 2 — §363-§369, including the reload-remat constant Drew T 2026-08-31 17:25:47 -06:00
  • 19b7f1b607 feat(decomp): parallel gate — 2 fns across 2 binaries (2 workers) Drew T 2026-08-31 17:24:19 -06:00
  • 814a6df6aa feat(decomp): parallel gate — 1 fns across 1 binaries (1 workers) Drew T 2026-08-31 17:14:56 -06:00
  • 7a6bd844dd fix(gater): gate main IN-TREE via harvest_verify, never in a worktree Drew T 2026-08-31 17:11:55 -06:00
  • f7fee7fcde feat(decomp): main banks again — 3 fns (func_80012B58, func_800241C0, func_800242D0) Drew T 2026-08-31 17:08:32 -06:00
  • 3ebbec9426 fix(psyq_integrate): main was RED on every incremental relink — make the externals file monotonic Drew T 2026-08-31 17:03:50 -06:00
  • 14a72240d2 feat(decomp): parallel gate — 2 fns across 2 binaries (5 workers) Drew T 2026-08-31 16:59:49 -06:00
  • fd28dd714d fix(gate_stage): main was gated against ov_SC01_077's SHA — stop synthesising out/good_sha Drew T 2026-08-31 16:59:17 -06:00
  • 3c534853f2 fix(gater): key verdicts AND the ledger by ARM; add --skip-binary for lanes that may be writing Drew T 2026-08-31 16:56:32 -06:00
  • 7153f881c9 feat(o0): o0_boundary.py — the stranded-boundary -O0 sweep, and its honest null Drew T 2026-08-31 16:50:09 -06:00
  • c746204c32 feat(decomp): -O0 stranded-boundary bank — func_80183830 in ov_SC03_118 + ov_SC03_119, zero agent tokens Drew T 2026-08-31 16:48:34 -06:00
  • 9c96b47ce0 docs(phase-31): S68 progress — whale carve (6 fns/2,547 ins), the main-layout bug class, gater hardening Drew T 2026-08-31 16:46:57 -06:00
  • ff99f4acec fix(gater): never gate a draft whose workflow has not returned a verdict Drew T 2026-08-31 16:45:58 -06:00
  • c55cebea9b docs(cookbook): S68 harvest — §354-§362, nine sections from the wave and the whale carve Drew T 2026-08-31 16:37:35 -06:00
  • d3b72e8f64 fix(rtu_match/blocker_probe): main was structurally unprobeable — pass the TU path and asm subdir, never reconstruct them Drew T 2026-08-31 16:34:01 -06:00
  • 8f89cbcccd fix(pgate): main could never bank in a worktree — derive link inputs from the Makefile, and REFUSE when they are absent Drew T 2026-08-31 16:29:45 -06:00
  • c1200003ac fix(gater): escalation supersedes — highest-tier arm wins a (binary,fn) collision Drew T 2026-08-31 16:26:23 -06:00
  • f03deb6c99 feat(decomp): -O0 whale bank — ov_SC02_037 + ov_SC03_107, 4 fns / 1,698 ins, zero agent tokens Drew T 2026-08-31 16:23:01 -06:00
  • 7a89bc4fb4 feat(config): -O0 whale carve step 1 — ov_SC02_037 + ov_SC03_107 Drew T 2026-08-31 16:22:41 -06:00
  • 61335ad18e feat(decomp): -O0 whale bank — ov_MAIN_012 func_80144B9C (770) + func_801457A4 (79), BINARY COMPLETE Drew T 2026-08-31 16:21:13 -06:00
  • ff524cd07e feat(config): -O0 whale carve step 1 — split 0x80144B9C..0x801458E0 out of ov_MAIN_012_jr_8013F350 Drew T 2026-08-31 16:20:38 -06:00
  • dd608ce5fd feat(decomp): parallel gate — 5 fns across 5 binaries (6 workers) Drew T 2026-08-31 16:19:19 -06:00
  • e57deb0a8b feat(wave): escalate_fable.js — a Fable tier that is warm-started, not restarted Drew T 2026-08-31 16:18:00 -06:00
  • 380308b954 feat(gater): tools/gater_lane.py — the continuous gater lane Drew T 2026-08-31 16:02:32 -06:00
  • ed53a68f18 feat(p31 s68): deferred propagation done honestly (2 banked) + seed_ref was offering DEAD TEXT Drew T 2026-08-31 15:59:01 -06:00
  • 746a7cf656 docs(phase-31): S67 FINAL-3 — 77 closed (530 -> 453), fleet 213/213, jtbl parallelised (both halves), propagation deferred Drew T 2026-08-31 15:23:25 -06:00
  • 51abe2d174 feat(decomp): parallel gate — 19 fns across 14 binaries (8 workers) Drew T 2026-08-31 15:19:41 -06:00
  • 93ea53217e docs(playbook): a carve writes THREE outputs — merge all three, splice overlays.mk per block, gate jtbl with --r22 Drew T 2026-08-31 15:17:27 -06:00
  • 101dec757a fix(pgate): merge carve STATE too — jtbl parallelizes for real now Drew T 2026-08-31 15:14:10 -06:00
  • a732097c37 Revert "feat(decomp): parallel gate — 19 fns across 14 binaries (8 workers)" Drew T 2026-08-31 15:09:32 -06:00
  • 5bcb322283 docs: gating is fully parallel — no serial lane; jtbl unlocked via isolate_asm; launch detached with setsid Drew T 2026-08-31 14:55:39 -06:00
  • c26ddf136d feat(decomp): parallel gate — 19 fns across 14 binaries (8 workers) Drew T 2026-08-31 14:53:41 -06:00
  • 2b618caf6b perf(pgate): jtbl drafts now parallelize — isolate ONE binary's asm instead of symlinking all 448MB Drew T 2026-08-31 14:46:23 -06:00
  • dfc5d5b3c5 feat(decomp): parallel gate — 13 fns across 13 binaries (12 workers) Drew T 2026-08-31 14:45:51 -06:00
  • 389d7d6197 feat(decomp): wave gate — +1 fns x0 propagated (fleet 99.2%) Drew T 2026-08-31 14:41:41 -06:00
  • 3a4eac272e docs(cookbook): §353 -fno-thread-jumps as a pass-identification oracle; launder the value to keep a dead re-test Drew T 2026-08-31 14:37:16 -06:00
  • 91a622b4c5 docs(cookbook): §352 CRITICAL — two identical zero-byte barriers merge with EACH OTHER, defeating their purpose Drew T 2026-08-31 14:34:16 -06:00
  • b39db34b56 docs(cookbook): §351 /s is a per-access dial; the base-split spelling; a pin-induced sched1 residual with the remaining door named Drew T 2026-08-31 14:33:55 -06:00
  • bbddb26e68 docs(cookbook): §350 the zero-byte re-tie also kills sched1's birthing_insn_p boost — attribute WHICH pass it moved Drew T 2026-08-31 14:32:30 -06:00
  • fcada63ada docs(cookbook): §349 n_times_set>1 on a base pointer defeats both the invariant hoist and the address giv Drew T 2026-08-31 14:27:27 -06:00
  • 932977cc5a docs(cookbook): §348 base spelling picks the addressing mode (3-insn lui/%lo vs 2-insn addu/lw); §137 refuted on constants Drew T 2026-08-31 14:27:10 -06:00
  • 6bd3d6ba42 perf: -j on the last three per-binary make build sites (family_sweep/twin_sweep, rollout_o0, restore_dropped_decls) Drew T 2026-08-31 14:24:03 -06:00
  • 6ad89305b8 docs(cookbook): §347/§343 addenda — one variable per purpose (3rd instance); sltiu proves an unsigned return Drew T 2026-08-31 14:21:45 -06:00