BFM-decomp/docs/lever-progress.tsv

1	date	milestone	head	sites_AB	pins	asm	bodies_AB	distinct_AB	marked	unmarked	gte_levers	per_tu_asm_macros	class_C	class_D	class_E	class_F	class_G
2	2026-09-09	T6 r1 (rung R's first class)	1761a3125	33957	20512	13445	12578	1758	33957	0	462	314	1722	50	7428	445	76
3	2026-09-09	T6 d1 (rung D's four exemplars)	8fac96651	33953	20508	13445	12574	1758	33953	0	462	314	1722	50	7428	445	76
4	2026-09-09	T6 p1 (four classes propagated)	a2da99b13	33427	19982	13445	12048	1755	33427	0	462	314	1722	50	7428	445	76
5	2026-09-09	S101 rung G g1 (the guided search's first run: 1 of 16 exemplars, 132 bodies)	623e55340	33295	19982	13313	11916	1754	33295	0	462	314	1590	50	7428	445	76
6	2026-09-09	S101 rung G g2 (wider beam + R10/R12/R13/R8-cse: 1 of 16, 132 bodies)	584031c71	33031	19718	13313	11784	1753	33031	0	462	314	1590	50	7428	445	76
7	2026-09-09	S101 rung G g3 (the next 64 classes: 13 of 64, 1,516 bodies)	5ae0b5ceb	31025	18442	12583	10268	1740	31025	0	462	314	1590	50	7428	445	76
8	2026-09-09	S101 rung G g4s (the 13 explained names, 38 classes: 3 of 38, 133 bodies)	068781ae0	30892	18309	12583	10135	1737	30892	0	462	314	1590	50	7428	445	76
9	2026-09-09	S101 rung G g5 (the head re-drawn wide: 5 of 70, 62 bodies)	1ec67f667	30806	18261	12545	10073	1732	30806	0	462	314	1590	50	7428	445	76
10	2026-09-09	S101 rung G g6 + g6b (the tail: 47 + 63 of 400 small classes, 93 + 186 + 47 bodies)	2f3ce92a1	30358	17954	12404	9747	1624	30358	0	462	314	1590	50	7428	445	76
11	2026-09-10	S102 T7 a1 — func_80156044 closed by an agent (merge-point expression sunk into the if/else arms, both $2/$3 pins gone); 130 bodies banked (1 + 129 propagated)	5a8bd1021	30098	17694	12404	9617	1623	30098	0	462	314	1590	50	7428	445	76
12	2026-09-10	S102 T7 s1 — the R15 sweep of the head: 6 exemplars closed by the sink alone (267 bodies), no drafting tokens	861dd0651	29697	17427	12270	9350	1617	29697	0	462	314	1590	50	7428	445	76
13	2026-09-10	S102 T7 a2 — func_80168828: the constant-holder pin deleted and one adjacent swap closes it (125 bodies, 1 of 2 pins off; the $4 pin is forced by the header's (void) declaration)	c00ffe5d4	29572	17302	12270	9350	1617	29572	0	462	314	1590	50	7428	445	76
14	2026-09-10	S102 T7 s3 (partial, the run crashed in propagate) — the constant-holder draw: 10 bodies closed	975850ff8	29533	17266	12267	9326	1594	29533	0	462	314	1590	50	7428	445	76
15	2026-09-10	S102 T7 s3b — the constant-holder draw re-run after the propagate fix: 1 of 80, 6 bodies; 59 of 80 hit the compile budget	5603a114c	29527	17260	12267	9320	1593	29527	0	462	314	1590	50	7428	445	76
16	2026-09-10	S102 T7 s5 — the first broad TAIL sweep with R15/R16/R17/R18: 285 of 800 bodies closed lever-free, no drafting tokens	449acd8cb	29204	17029	12175	9035	1308	29204	0	462	314	1590	50	7428	445	76
17	2026-09-10	S102 T7 s6 — the last never-attempted exemplars: 25 of 337; the fresh pool is now empty	67e91ad4d	29148	16996	12152	9010	1283	29148	0	462	314	1590	50	7428	445	76
18	2026-09-10	S102 T7 s7 (stopped early to restore agent cadence) — 5 of 207 judged at the wider width	724c68859	29140	16989	12151	9005	1280	29140	0	462	314	1590	50	7428	445	76
19	2026-09-10	S102 T7 a7 — func_801287B8: a truncated local extern was faking a pin; the missing call argument restored through a function-pointer cast (127 bodies)	bb0e95c7c	29013	16862	12151	8878	1279	29013	0	462	314	1590	50	7428	445	76
20	2026-09-10	S102 T7 a4 — func_8016C49C: one do-while on the function's LAST statement doubles a loop-note reference weight and flips allocno_compare (126 bodies)	9f5b22176	28887	16736	12151	8752	1278	28887	0	462	314	1590	50	7428	445	76
21	2026-09-10	S102 T7 burst — a8/a12/a18/a19 banked (132+118+119+134 bodies): the call-arity class twice, a MEM_IN_STRUCT_P alias flip, and a sequence-point split	fb6c857f7	27984	15965	12019	8249	1275	27984	0	462	314	1590	50	7428	445	76
22	2026-09-10	S102 T7 burst — a5/a9/a11/a16/a25 banked; the MISSING CALL ARGUMENT class confirmed six times independently (m2c dropped arguments at unprototyped and indirect call sites)	c6b380fcd	26714	15324	11390	7612	1271	26714	0	462	314	1590	50	7428	445	76
23	2026-09-10	S102 T7 burst — a22 banked (126); a14 REFUSED as an invented zero term; a6/a10/a15 read without closing	374c8a0e9	26462	15198	11264	7486	1270	26462	0	462	314	1590	50	7428	445	76
24	2026-09-10	S102 T7 s8 — the first R19 sweep: 3 of 55 classes closed by restoring a dropped call argument, 2 compiles each	f3de70fce	26456	15193	11263	7483	1267	26456	0	462	314	1590	50	7428	445	76
25	2026-09-10	S102 — 16,759 lying call declarations repaired free (3,439 units, R22 218/218); levers unchanged, truth improved	51028a78d	26456	15193	11263	7483	1267	26456	0	462	314	1590	50	7428	445	76
26	2026-09-10	S102 T7 b1 — func_801651B8: the hand-walked pointer folded back into the index, one induction variable instead of two (127 bodies)	8c0e7c549	26202	15066	11136	7356	1266	26202	0	462	314	1590	50	7428	445	76
27	2026-09-10	S102 T7 b3 — func_8016CBC0: two counter chains narrowed TOGETHER (128 bodies); single declarations could never reach it	acba5c59d	26074	14938	11136	7228	1265	26074	0	462	314	1590	50	7428	445	76
28	2026-09-10	S102 T7 wave b — b2/b5/b5s/b6 banked plus R19 and R20's own closes (766 bodies): a chained assignment, a symbol alias defeating cross-jump, and the store hoisted above its copy	9d78fc408	24915	14541	10374	6577	1259	24915	0	462	314	1590	50	7680	445	76
29	2026-09-10	S102 T7 b7 — func_80166690: four accumulators retyped short in ONE edit, the truncation temps deleted, the colour temp typed to its destination field (126 bodies)	17d192d24	24789	14415	10374	6451	1258	24789	0	462	314	1590	50	7680	445	76
30	2026-09-10	S102 T7 b8 — func_80135888: a guarded do-while defeating cross-jump, a duplicated block replaced by goto to shed one loop-weighted reference, and a two-arm temp inlined (134 bodies, the largest class)	0d92d1029	24119	13879	10240	6317	1257	24119	0	462	314	1590	50	7680	445	76
31	2026-09-10	S102 wave b close — 8 agent closes banked (b1/b2/b3/b5/b5s/b6/b7/b8), b4/b9 read without closing; R19/R20/R21 added; fleet 218/218	f96af3e48	24119	13879	10240	6317	1257	24119	0	462	314	1590	50	7680	445	76
32	2026-09-10	S103 c2: func_8013D8FC closed by agent c2 (the walked-pointer merge, now generator R22), 131 bodies	82da34b39	23988	13748	10240	6186	1256	23988	0	462	314	1590	50	7680	445	76
33	2026-09-10	S103 wave c: c4/c6/c1/c7/c3/c5/c8 closed (two new generators R22/R23) + func_8017EEC0's parameter; 8 classes, ~1,000 bodies	205331765	20206	11271	8935	5277	1249	20206	0	462	314	1590	50	7680	445	76
34	2026-09-10	S103: c12 twins func_80148E54/D44 + c10 func_80135A4C (395 bodies)	2e61220bd	19276	10873	8403	4879	1246	19276	0	462	314	1590	50	7680	445	76
35	2026-09-10	S103: c11 func_80175AB8 (124 bodies)	e6a8f3505	18776	10623	8153	4754	1245	18776	0	462	314	1590	50	7680	445	76
36	2026-09-10	S103: c14 func_801670E4 + c16 func_8013D178 (261 bodies); R23 widened	625251626	17715	10227	7488	4491	1243	17715	0	462	314	1590	50	7680	445	76
37	2026-09-10	S103: delever_regen R22+R23 over the whole residue — 17 classes / 22 bodies with no agent (header-TU scoring fixed)	a06070572	17692	10204	7488	4469	1226	17692	0	462	314	1590	50	7680	445	76
38	2026-09-10	S103: c18 func_80176734 (128 bodies)	164825b5d	16273	9172	7101	4340	1225	16273	0	462	314	1590	50	7680	445	76
39	2026-09-10	S103: c20 re-draw func_8013DD68 (128 bodies)	9f2b6b24a	16015	8914	7101	4211	1224	16015	0	462	314	1590	50	7680	445	76
40	2026-09-10	S103: generator R24 (word-read addPrim) + its regen pass (2 classes, one a 140-object header)	5eb46b267	16013	8912	7101	4209	1222	16013	0	462	314	1590	50	7680	445	76
41	2026-09-10	S103: c15 func_80135EB0 (128 bodies; a do-while on the a4 precedent)	a620e1880	15239	8654	6585	4080	1221	15239	0	462	314	1590	50	7680	445	76
42	2026-09-10	S103: re-draws c24 func_8012956C + c23 func_80133784 (252 bodies)	ae87bf75a	13842	7765	6077	3826	1219	13842	0	462	314	1590	50	7680	445	76
43	2026-09-10	S103: re-draws c25 func_80166F58 + c26 func_80133CD4 (254 bodies); R25 regen 3; propagate's stale-hash fix	96820256c	13083	7512	5571	3567	1215	13083	0	462	314	1590	50	7680	445	76
44	2026-09-10	S103: re-draw c21 func_801397B0 (125 bodies; do-while ref-weight)	44f7f8ddb	12957	7386	5571	3441	1214	12957	0	462	314	1590	50	7680	445	76
45	2026-09-10	S103: re-draw c30 func_8017B614 (125 bodies)	5ddbc3a7f	12579	7260	5319	3315	1213	12579	0	462	314	1590	50	7680	445	76
46	2026-09-10	S103: c33 func_80169058 + func_80168D94 (12 bodies)	a2a1fc186	12531	7236	5295	3303	1211	12531	0	462	314	1590	50	7680	445	76
47	2026-09-10	S103: c36 + c35 (four ov_SC07_006/ov_SC06_010 classes, 39 bodies); R19 reads cast arity	dd5e44c24	12481	7186	5295	3260	1207	12481	0	462	314	1590	50	7680	445	76
48	2026-09-10	S103: extern-variant re-propagation (97), R19 cast regen (8 classes), c39 + c41 + c34 + c32 closes	7d5964b27	12033	6926	5107	3090	1164	12033	0	462	314	1590	50	7688	445	76
49	2026-09-10	S103: c38 + c40 (four tier classes, 30 bodies)	321b540e7	12003	6910	5093	3060	1160	12003	0	462	314	1590	50	7688	445	76
50	2026-09-10	S103: c42 func_80186A8C + func_80182058 (10 bodies)	2a4f28f83	11988	6900	5088	3050	1158	11988	0	462	314	1590	50	7688	445	76
51	2026-09-10	S103: c46 minimum-lever (133 bodies, 23 -> 1), c43 + cross-address port (14+12), c44, c45 (+R26), c37 + 43 cross-address copies, port-scan	8bc06a2cb	9941	5893	4048	2946	1144	9941	0	456	314	1590	50	7713	445	76
52	2026-09-10	S103: c50 func_80136824 zero levers (130); c49 func_8013F350 2 levers (133)	aada3bdc2	9028	5500	3528	2816	1144	9028	0	456	314	1590	50	7713	445	76
53	2026-09-10	S103: c47 func_8013D9B0 2 GTE asm (133), c48 func_80140958 2 levers (133), c52 four R26 closes	433aa0701	5392	3069	2323	2662	1134	5392	0	456	314	1590	50	7733	445	76
54	2026-09-10	S103: c56 ports func_8013D9B0 to ov_MAIN_012's class (7); c54 func_8017B238 (8)	c02fc7cd5	5376	3061	2315	2654	1131	5376	0	456	314	1590	50	7733	445	76
55	2026-09-10	S103 end: R26 regen 28 classes (71 bodies) + c55/c53 five classes	0ef49b515	5231	2932	2299	2569	1098	5231	0	456	314	1590	50	7782	445	76
56	2026-09-10	S103 end: c51 func_8012E364 2 levers (134); scrub of 46 orphan markers	94520756e	5097	2798	2299	2569	1097	5097	0	456	314	1590	50	7782	445	76
57	2026-09-10	S104 T7: free sweep (5 classes) + agents d1–d9 (all 0; 8 with zero levers, d4 one marked do-while)	910875139	4963	2730	2233	2498	1077	4963	0	456	314	1590	50	7782	445	76
58	2026-09-10	S104 T7: sweeps (all-families, R27) + agents d11–d19 all at 0 with zero levers	91ae94a64	4753	2578	2175	2383	1019	4753	0	456	314	1590	50	7780	445	76
59	2026-09-10	S104 T7: d17 + R28–R33 pass (4) + R27 remainder	13069c142	4732	2565	2167	2373	1011	4732	0	456	314	1590	50	7780	445	76
60	2026-09-10	S104 T7: agents d21–d27 (d29 parked) + the shared header	1d42fff3c	4661	2515	2146	2336	996	4661	0	456	314	1590	50	7780	445	76
61	2026-09-10	S104 T7: d30–d33 + the R23/R34–R36 pass (16)	93e2a9170	4603	2478	2125	2301	973	4603	0	456	314	1590	50	7780	445	76
62	2026-09-11	S104 T7: TU batches e1–e7 + regen passes	4de2fb06a	4473	2394	2079	2210	895	4473	0	456	314	1590	50	7787	445	76
63	2026-09-11	S104 T7: TU batches e5–e13 (ov_SC02_017 TU at 0)	860ed9153	4436	2370	2066	2187	873	4436	0	451	314	1589	50	7788	445	76
64	2026-09-11	S104 T7: TU batches e14–e25	b5b701750	4340	2317	2023	2118	806	4340	0	451	314	1589	50	7788	445	76
65	2026-09-11	S104 T7: TU batches e18–e29 + R39b/R42 passes	edd427861	4272	2279	1993	2090	780	4272	0	451	314	1589	50	7790	445	76
66	2026-09-11	S104 T7: e30–e34 batches	a4f043bc3	4227	2257	1970	2068	758	4227	0	451	314	1589	50	7792	445	76
67	2026-09-11	S104 T7 close: e35–e38 resumed after the usage limit	765704ca5	4152	2227	1925	2033	727	4152	0	451	314	1589	50	7800	445	76
68	2026-09-11	S105 f2 (4) + R44/R22 regen (3)	0076a9d2e	4132	2217	1915	2027	721	4132	0	451	314	1589	50	7800	445	76
69	2026-09-11	S105 f1 (4)	389373f6d	4125	2212	1913	2025	719	4125	0	451	314	1589	50	7800	445	76
70	2026-09-11	S105 f3 (4 + 1 proven)	cadb6cacc	4111	2203	1908	2021	715	4111	0	451	314	1589	50	7800	445	76
71	2026-09-11	S105 f4 (5) + f5 (7)	4a503fce1	4077	2188	1889	2009	703	4077	0	451	314	1589	50	7800	445	76
72	2026-09-11	S105 f7 (6) + R22 regen (1)	d85a4e387	4065	2179	1886	2003	697	4065	0	451	314	1589	50	7800	445	76
73	2026-09-11	S105 f6 (6)	4bca24866	4058	2172	1886	2000	694	4058	0	451	314	1589	50	7800	445	76
74	2026-09-11	S105 f8 (5)	36be9acef	4046	2163	1883	1995	689	4046	0	450	314	1589	50	7801	445	76
75	2026-09-11	S105 comment-strip regen (2)	3d6111828	4044	2163	1881	1993	687	4044	0	450	314	1589	50	7801	445	76
76	2026-09-11	S105 f9 (6)	c2455f5d3	4032	2157	1875	1989	683	4032	0	450	314	1589	50	7802	445	76
77	2026-09-11	S105 f10 (4)	ff22c1fba	4026	2152	1874	1985	679	4026	0	450	314	1589	50	7802	445	76
78	2026-09-11	S105 f11 (4 + 4 copies) — T7 ENDS	31cf8695f	4010	2141	1869	1980	674	4010	0	450	314	1589	50	7802	445	76
79	2026-09-11	P36 close (T8/T9 done; the @unstuck retag)	60c4bb1cc	4010	2141	1869	1980	674	4010	0	450	314	1589	50	7802	445	76
80	2026-09-11	P37 T1 — the lever census re-keyed (controls) and --strict made literal; 4,010 unchanged	23fc5d215	4010	2141	1869	1980	674	4010	0	450	314	1589	50	7802	445	76