Commit Graph

3166 Commits

Author SHA1 Message Date
Drew T 5e5fd1cb77 feat(t5): Claude wave t5j — 45 banked (sonnet 41/44, opus 4/4, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-27 12:11:10 -06:00
Drew T e5956d021f docs(report): progress.md regenerated with the S63 scoreboard 2026-08-27 11:33:02 -06:00
Drew T f25b890480 docs(phase-31): S63 FINAL checkpoint — 412 stubs closed (2,380->1,968), 98.6%/97.1%, 213/213 GREEN, cookbook 917; t5j pre-packed for resume; 5 proven findings + 2 rule candidates; machine quiesced for reboot 2026-08-27 11:32:45 -06:00
Drew T e268956de6 docs(report): regenerate the fleet scoreboard after t5g/t5i 2026-08-27 11:31:57 -06:00
Drew T 0edd7344c2 docs(cookbook): 3 NEW sections + 2 addenda from the t5e-t5i distill — §308/§308a (a target's lone j+nop over one self-terminating block survives ONLY behind a tautological re-test; a plain goto/polarity flip DELETES it — closeness EXPLODING after a polarity edit means an edge was removed; two overlays, independently derived), §309 (a frame-address equivalence rides through a -fcse-skip-blocks conditional; duplicating the call into both arms barriers it, cross-jump merges them back), §264 + §195-L addenda. Index 914 -> 917 2026-08-27 11:28:58 -06:00
Drew T 9b9385afd2 feat(t5): Claude wave t5i — 58 banked (sonnet 42/44, opus 16/19, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-27 11:16:01 -06:00
Drew T 9db3edf985 fix(t5_targets): dedupe residues by (binary,fn) across prior waves and enforce one fn NAME per wave across residues too — the t5i draw produced 4 duplicate names (2 the same fn from two waves) and the name-keyed pack builder correctly REFUSED (R43/R48); deferred duplicates are reported, not dropped (P31 S63) 2026-08-27 10:25:01 -06:00
Drew T 71f00b16d1 feat(t5): Claude wave t5g — 42 banked (sonnet 37/44, opus 4/4, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-27 10:20:47 -06:00
Drew T 963519799d docs(phase-31): S63 SESSION CHECKPOINT — fleet 2,068 stubs / 213-213 GREEN, the committed wave recipe, 690 K+L remaining, next-step order (P31 S63) 2026-08-27 09:44:58 -06:00
Drew T bd472c5fc9 docs(phase-31): S63 T5.6 results — 312 stubs closed (2,380->2,068), fleet 213/213 after every batch, 98.6%/97.1%; falsifier dead 6x; residue-on-Opus proven; A-prop lane DRAINING (23->3 on more exemplars); card (binary,fn) defect + fixes; rule candidates 2026-08-27 09:44:26 -06:00
Drew T 689bbc7c2f docs(report): regenerate the fleet scoreboard after t5b-t5h + the free lane (2,310 -> 2,068 stubs; 98.6% instr / 97.1% distinct) 2026-08-27 09:43:27 -06:00
Drew T 37cd7e2e0a feat(t5): Claude wave t5h — 13 banked (sonnet 8/14, opus 5/5, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-27 09:40:08 -06:00
Drew T a4d66a27c4 feat(decomp): free A-prop sibling lane (maintenance pass) — zero model tokens 2026-08-27 09:09:01 -06:00
Drew T 1fffccf859 feat(t5): Claude wave t5f — 34 banked (sonnet 34/35, opus 0/0, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-27 09:02:59 -06:00
Drew T b2365aeeb5 feat(t5): Claude wave t5e — 53 banked (sonnet 37/41, opus 16/18, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-27 09:00:36 -06:00
Drew T 1180748502 docs(cookbook): 3 byte-proven addenda from the t5b-t5d distill — §211's guard-hoist INVERTS on a reg-reg copy (LENGTH-DRIFT -1; use the §164-36a fence instead, func_8017DD80); §194-M third instance + new residual shape (func_80182420); §176-B B1 sharpened (func_80180B44). 2 more verdicts COVERED. Index green at 914 (P31 S63 T5.5) 2026-08-26 21:42:47 -06:00
Drew T 926fc3f1c0 docs(cookbook): §307 — the brute-force-statement-orders lever has a BYTE-EVIDENCED BOUND (12/12 permutations byte-identical on func_8001BC6C, corroborated on func_80021284); a fan-out copy's priority is rank_for_schedule-internal, unreachable from source order — recognise the all-same-closeness tell and route to the permuter. Plus t5_distill_args --novel-only (P31 S63 T5.5) 2026-08-26 21:33:45 -06:00
Drew T b1a0d49a52 feat(t5): main mini-wave — 9 banked of 11 never-drafted (func_80029B4C/BC8/DB4, func_8002A108/354/5C4, func_80030634, SYS_OBJ_202C, SYS_OBJ_2264); gate_main clean rebuild, main SHA 143dbb89 byte-identical (P31 S63 T5.7) 2026-08-26 21:26:50 -06:00
Drew T 923bd5ec64 feat(t5): integration recovery — 5 banked (func_801684B4, func_8017E83C, func_80182F78, func_80183BF0, func_8017F9B4); every body was ALREADY byte-exact, refused only by TU decl conflicts (callee proto, dup typedef, two planted memcpy externs, void-vs-s32 self decl, post-insertion-point struct decls) — fixed draft-side only via claude_integration_recover.js (P31 S63 T5.6) 2026-08-26 21:24:33 -06:00
Drew T eaf423f1d1 feat(t5): Claude wave t5c — 39 banked (sonnet 36/43, opus 2/4, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-26 21:24:01 -06:00
Drew T 0b6f1039c6 feat(t5): Claude wave t5b — 44 banked (sonnet 37/43, opus 7/8, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-26 21:20:04 -06:00
Drew T 01d60955c7 docs(phase-31): S63 T5.5/T5.6 — t5a distill (§164-55 addendum, 913 sections); wave t5d 42/48; 5 of 6 misses were INTEGRATION not codegen; residue-on-Opus 4/4 2026-08-26 21:13:42 -06:00
Drew T a197f45a9c feat(tools): t5_distill_args takes repeated --wave/--wfdir pairs so one distill covers several waves; dedups by (binary,fn,arm) (R48) and skips un-gated waves loudly (P31 S63 T5.5) 2026-08-26 21:12:10 -06:00
Drew T c865841dbe feat(tools): claude_integration_recover.js — one agent per byte-correct-but-CC1-FAIL draft, fixes the DRAFT-side decl conflict only (never a shared header, §65a blast-radius law); t5d had 5 of 6 misses in this class (P31 S63 T5) 2026-08-26 21:10:39 -06:00
Drew T 4f1ff29a6b feat(t5): Claude wave t5d — 42 banked (sonnet 38/44, opus 4/4, +recovery); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-26 21:07:17 -06:00
Drew T 3ae63a9b2c docs(cookbook): §164-55 addendum from the t5a distill (byte-proven func_8017E2CC) — a single-constant arm written FIRST collapses into the branch delay slot; hoisting it instead pays §76's callee-saved pair; index rebuilt (P31 S63 T5.5) 2026-08-26 20:50:25 -06:00
Drew T 59bb3a23f8 docs(report): regenerate the fleet scoreboard after t5a + lane G (R32 digest describes the tree again) 2026-08-26 20:26:01 -06:00
Drew T 99ae0afe17 docs(phase-31): S63 T5.2/T5.3 — lane G 23 banked free; wave t5a 43/48 (89.6%) incl. 2 recovered; the (binary,fn) card defect measured at 48/48 and fixed; falsifier cleared 6x 2026-08-26 20:21:07 -06:00
Drew T 41b259e528 fix(wave): cards keyed by (binary,fn) — t5a received 48/48 ANOTHER binary's card (R48); t5_cards.py builds the target's OWN fuel (tu_ref 88% / decl_prior 98%) via wave_card_fuel.py extracted from build_wave_atlas (R33); t5_bank.sh recovers un-banked drafts via fix_tu_ret_decls (2/2 on t5a); distill workflow generalized (P31 S63 T5) 2026-08-26 20:19:41 -06:00
Drew T 827b0b156f feat(t5): wave t5a recovery — 2 banked (func_8017EFC4, func_80185380); both byte-correct bodies refused only by a TU 'extern void' decl on an s32-returning fn, retyped by fix_tu_ret_decls (P31 S63 T5.3) 2026-08-26 20:14:26 -06:00
Drew T bfd591c9cc feat(t5): Claude wave t5a — 41 banked (sonnet 39/44, opus 2/4); fleet 213 passed, 0 failed of 213 (P31 S62 T5) 2026-08-26 20:12:09 -06:00
Drew T 3591ac6566 feat(decomp): free A-prop sibling lane (maintenance pass) — zero model tokens 2026-08-26 19:42:23 -06:00
Drew T f8cc4c77d3 feat(tools): T5 wave draw/bank halves — t5_targets.py (routed, ledgered, band-stratified draw) + t5_bank.sh (judge → R22 sweep → commit); claude_wave_draft.js generalized; packs/judge refuse duplicate fn names (R43/R48); sweep #8 213/213 (P31 S63 T5.1) 2026-08-26 19:35:54 -06:00
Drew T 20e7005855 docs(phase-31): S62 FINAL checkpoint — no-DeepSeek decision, T5 first-wave recipe on the promoted harness, residue ledger, rule candidates 2026-08-26 19:18:23 -06:00
Drew T 5962bb70ed fix(api_agent): prior_draft accepts a warm-start body only when its symbols overlap the target .s (law 1c) — 22/60 T4 agents had received another overlay's same-named function; fleet ledger regenerated (2,380 stubs) (P31 S62) 2026-08-26 19:02:07 -06:00
Drew T 6a64eee98f fix(tools): wave_judge.py takes the wave dir from WAVE (default .run/t4) 2026-08-26 19:01:57 -06:00
Drew T 74ec441d60 feat(tools): the Claude-subagent wave harness promoted from the T4 probe — claude_wave_packs.py (identical api_agent packs), workflows/claude_wave_draft.js + claude_wave_distill.js (the 60-agent draft and the R16 distill scripts), wave_judge.py (per-arm whole-binary gate with git-diff bank detection, tree reset, --union); SETUP row (P31 S62) 2026-08-26 19:01:41 -06:00
Drew T 44f062a978 docs(phase-31): S62 checkpoint refresh at the T4/T5 boundary 2026-08-26 18:32:51 -06:00
Drew T 194cce7570 docs(phase-31): T4 DONE — routing rule (<=50: Sonnet+DeepSeek parallel, Opus residue; 51-120: Sonnet, Opus escalation; >120: Opus; haiku retired; M-extend-tell -> wall); frontier-s61 Addendum 5; judge artifacts (P31 S62) 2026-08-26 18:32:51 -06:00
Drew T ad273e7b69 feat(decomp): T4 probe union — 17 fns banked (the best/cheapest arm per fn: haiku/sonnet/deepseek/opus drafts from identical packs), each binary byte-identical from a clean rebuild; func_8017FB38 func_80180F5C func_8017FF74 func_80184FB4 func_801810A4 func_8017E014 func_8017EF90 func_8017F590 func_8017E54C func_8017F3F8 func_80181894 func_800CAF9C func_801804C0 func_8017E7D0 func_8017F608 func_800CB578 func_801808E8 (P31 S62 T4) 2026-08-26 18:31:10 -06:00
Drew T 02c5d757c2 docs(phase-31): T4 Claude-arm table (haiku 8 / sonnet 14 / opus 17 of 20 at the whole-binary gate), the warm-start homonym confound, distill yield (P31 S62) 2026-08-26 18:14:48 -06:00
Drew T 05d13e52e7 docs(cookbook): §306 (hazard nop before a div-result store = statement order; maspsx --expand-div splices it) + §306a T4 distill addenda (case-body order at 3 nodes, narrow-cast copy+andi cell, dropped-edge sign rule, REGALLOC-PERM via a hoisted clamp local) + the warm-start homonym harness note — from 31 byte-proven T4 transcripts, 6 novel claims, 5 banked (P31 S62) 2026-08-26 17:07:12 -06:00
Drew T 1392bf6c93 docs(phase-31): checkpoint — fleet sweep #7 213/213 GREEN at T3 close 2026-08-26 16:02:20 -06:00
Drew T e8549eaf10 docs(phase-31): S62 session checkpoint — T0–T3+T5pre done, paused at the R27 gate for T4 2026-08-26 16:00:43 -06:00
Drew T ceab8ad725 fix(config): ov_SC03_108 + ov_SC06_011 orders regenerated from their yamls — the failed table-bearing gate attempts left their carve entries in the mk and my 15:43 blanket add committed them (R59, mine); both byte-identical from clean rebuilds (P31 S62) 2026-08-26 16:00:01 -06:00
Drew T 16d1d01b56 docs(phase-31): T3 log (75 banks; six carve-lane defect classes fixed; residue named) + frontier-s61 Addendum 4 (P31 S62) 2026-08-26 15:57:18 -06:00
Drew T 5382025752 chore(docs): fleet ledger + backlog regenerated after T3 (2,397 stubs, 98.5% instr, 96.8% distinct) 2026-08-26 15:57:18 -06:00
Drew T 4e562cfbf4 feat(decomp): ov_SC02_016/func_801810C8, ov_SC02_021/func_8017ECFC, ov_SC03_117/func_8017E6EC banked — the Block4-typed drafts once the isolator could see the lifted typedef; isolate + tail carve; byte-identical from clean rebuilds (P31 S62 T3) 2026-08-26 15:55:57 -06:00
Drew T 99f601d02a docs: cookbook §305 addendum — glued DEFINE carrier, attribute typedefs, leading-jr cut, the overlays.mk merge race closed at the root (P31 S62) 2026-08-26 15:49:08 -06:00
Drew T cd1e38ee0b fix(tools): jr_isolate_all recognises lifted "} __attribute__((...)) X;" typedefs as engine types (5 drafts refused on Block4 after the lift) and drops a cut equal to the object start (a jr function that leads its object made an empty region -> out of order); mk_write refuses to merge a block that moved on disk since the caller read it (R43) (P31 S62 T3) 2026-08-26 15:48:50 -06:00