Drew T 40aee9de93 T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

..

md_MAIN_001

…

md_MAIN_003

T8.c2: batch t8_tus4: delever: batch t8_tus4 — 1 files (TUs; 1 drawabl | R22 218/218

2026-10-02 19:34:43 -06:00

md_MAIN_007

T5.1.c2b: lift_types --census: batch md moved (297 groups, 359 defs)

2026-09-30 10:37:58 -06:00

md_MAIN_008

…

md_MAIN_009

phase-36: the tail pass g6 + g6b (47 + 63 of 400 small classes; 186/191 siblings propagated), R22 218/218; 30,806 → 30,358 sites; --try (a candidate scored without a tree write), delever_pack.py (the 57 T7 packs + PROMPT.md), --restore refuses an empty snapshot; the checkpoint: T7 as one agent at a time, approved, starts in the fresh session

2026-09-09 23:32:57 -06:00

md_MAIN_011

T5.1.c5: fold packed and natural subgroups of the 2 attr classes (4-byte, 8-byte); R22 green

2026-09-30 14:49:00 -06:00

md_MAIN_013

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_014

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_015

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_016

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_017

T4: batch t4_md_S3 — restruct: batch t4_md_S3 rung S — 9 files (TUs; 9 drawable) · 101 bodies: 30 sites → members / 2 kept / 15 skipped · levers off 0 · compiles 25 in 40 s wall · final 9/9 identical · written 9 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338041 cast sites in 51063 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:19:15 -06:00

md_MAIN_018

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_019

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_020

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_021

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_022

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_023

…

md_MAIN_024

src(phase-37): T4 batch t4_D44 — restruct: batch t4_D44 rung D — 300 files (TUs; 1185 drawable) · 418 declaration units: 372 canonical / 0 promoted / 12 K&R marked / 0 aliases typed / 0 __builtin_abs → abs / 46 kept · compiles 660 in 118 s wall · final 300/300 identical · written 269 files | R22 check-all: 218 passed, 0 failed of 218 | (census skipped) (restruct_cycle)

2026-09-12 19:50:13 -06:00

md_MAIN_025

T4: batch t4_md_S3 — restruct: batch t4_md_S3 rung S — 9 files (TUs; 9 drawable) · 101 bodies: 30 sites → members / 2 kept / 15 skipped · levers off 0 · compiles 25 in 40 s wall · final 9/9 identical · written 9 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338041 cast sites in 51063 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:19:15 -06:00

md_MAIN_026

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_027

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_028

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_029

T4: batch t4_md_S3 — restruct: batch t4_md_S3 rung S — 9 files (TUs; 9 drawable) · 101 bodies: 30 sites → members / 2 kept / 15 skipped · levers off 0 · compiles 25 in 40 s wall · final 9/9 identical · written 9 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338041 cast sites in 51063 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:19:15 -06:00

md_MAIN_030

T4: batch t4_md_S3 — restruct: batch t4_md_S3 rung S — 9 files (TUs; 9 drawable) · 101 bodies: 30 sites → members / 2 kept / 15 skipped · levers off 0 · compiles 25 in 40 s wall · final 9/9 identical · written 9 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338041 cast sites in 51063 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:19:15 -06:00

md_MAIN_031

T7.1.c3: gte_consolidate --keep-levers; batch c3b1: 40 files consolidated, oracle IDENTICAL

2026-10-02 18:32:34 -06:00

md_MAIN_032

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_033

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_034

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_035

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_036

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_MAIN_037

T4: batch t4_md_S3 — restruct: batch t4_md_S3 rung S — 9 files (TUs; 9 drawable) · 101 bodies: 30 sites → members / 2 kept / 15 skipped · levers off 0 · compiles 25 in 40 s wall · final 9/9 identical · written 9 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338041 cast sites in 51063 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:19:15 -06:00

md_MAIN_038

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_039

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_MAIN_040

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_041

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_042

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_MAIN_043

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_044

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_045

T4: batch t4_md_S3 — restruct: batch t4_md_S3 rung S — 9 files (TUs; 9 drawable) · 101 bodies: 30 sites → members / 2 kept / 15 skipped · levers off 0 · compiles 25 in 40 s wall · final 9/9 identical · written 9 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338041 cast sites in 51063 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:19:15 -06:00

md_MAIN_046

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_MAIN_047

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC02_009

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_053

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_054

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_056

…

md_SC03_073

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_074

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_075

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC03_076

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC03_077

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_078

T4: batch t4_md_S1 — restruct: batch t4_md_S1 rung S — 63 files (TUs; 63 drawable) · 291 bodies: 692 sites → members / 8 kept / 240 skipped · levers off 0 · compiles 375 in 167 s wall · final 63/63 identical · written 63 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 339947 cast sites in 51172 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 03:56:55 -06:00

md_SC03_079

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_132

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_133

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_134

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC03_135

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC03_136

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_137

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC03_138

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC04_024

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC04_025

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC04_026

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC04_027

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC04_028

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC04_029

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC04_030

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC05_023

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC05_024

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC05_025

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC05_026

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC05_027

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC05_028

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC05_029

T4: batch t4_md_S2 — restruct: batch t4_md_S2 rung S — 37 files (TUs; 37 drawable) · 300 bodies: 1509 sites → members / 136 kept / 523 skipped · levers off 0 · compiles 920 in 403 s wall · final 37/37 identical · written 36 files | R22 check-all: 218 passed, 0 failed of 218 | type_census: 1650 definitions (523 layouts, 53 duplicate classes, 0 variant camps) · 338086 cast sites in 51066 bodies over 8 base classes (4 forms + A, coverage OK) · 229 lying declarations / 24 callees (+5293 K&R sites, +418 cross-binary apart) · controls 4/4 (restruct_cycle)

2026-10-02 04:11:13 -06:00

md_SC07_003

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

md_SC07_004

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

ov_MAIN_012

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_000

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_001

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_004

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_005

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_008

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_009

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_074

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_077

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_080

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC01_084

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_000

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_004

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_005

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_011

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_015

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_016

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_017

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_021

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_026

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_027

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_028

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_031

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_035

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_037

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_039

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC02_041

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_001

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_002

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_003

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_006

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_007

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_010

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_011

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_012

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_013

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_014

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_023

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_024

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_028

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_029

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_030

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_031

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_089

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_090

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_091

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_092

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_093

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_094

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_095

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_096

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_097

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_098

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_099

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_100

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_101

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_102

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_103

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_104

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_105

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_107

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_108

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_109

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_110

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_111

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_112

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_113

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_114

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_115

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_116

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_117

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_118

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_121

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_124

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_125

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC03_126

T7.1.c3: gte_consolidate batch c3b2: 395 files consolidated, oracle IDENTICAL

2026-10-02 18:35:00 -06:00

ov_SC04_000

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_002

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_003

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_004

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_005

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_006

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_007

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_008

T8.c2: batch t8_tus1: delever: batch t8_tus1 — 300 files (TUs; 595 dra | R22 218/218

2026-10-02 19:21:26 -06:00

ov_SC04_009

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_010

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_011

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_012

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_015

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_016

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_018

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_020

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC04_021

T7.1.c3: gte_consolidate batch c3b2: 395 files consolidated, oracle IDENTICAL

2026-10-02 18:35:00 -06:00

ov_SC05_000

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_001

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_002

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_003

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_004

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_005

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_006

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_007

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_008

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_009

T8.c2: batch t8_tus1: delever: batch t8_tus1 — 300 files (TUs; 595 dra | R22 218/218

2026-10-02 19:21:26 -06:00

ov_SC05_010

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_011

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_017

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_018

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC05_019

T7.1.c3: gte_consolidate batch c3b2: 395 files consolidated, oracle IDENTICAL

2026-10-02 18:35:00 -06:00

ov_SC06_000

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_006

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_008

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_010

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_011

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_013

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_014

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_015

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_016

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_018

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_020

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_022

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_024

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_025

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_027

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_029

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_030

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_032

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC06_033

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_000

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_001

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_002

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_006

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_007

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_008

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_009

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_010

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

ov_SC07_011

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

resident

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

shared

T8.c2: batch t8_hdr1: delever: batch t8_hdr1 — 15 files (headers; 15 d | R22 218/218

2026-10-02 19:38:37 -06:00

800_b_2.c

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

800_b_o0a.c

T5.1.c2b: lift_types --census: batch main moved (223 groups, 236 defs)

2026-09-30 10:46:02 -06:00

800_b.c

T5.1.c2b: lift_types --census: batch main moved (223 groups, 236 defs)

2026-09-30 10:46:02 -06:00

800_c.c

T8.c2: rung R t8_r2: recipes closed 146 of 1424 TU bodies (headers bounded at 6) | R22 218/218

2026-10-02 20:37:56 -06:00

800_shared.h

T5.1.c2b: lift_types --census: batch headers moved (47 groups, 49 defs)

2026-09-30 10:54:34 -06:00

800.c

T8.c2: batch t8_tus2: delever: batch t8_tus2 — 295 files (TUs; 295 dra | R22 218/218

2026-10-02 19:28:37 -06:00

800b2.c

…

apicard1.c

…

apicard2.c

…

apicard3.c

…

apicard4.c

…

apicard5.c

…

apicard6.c

…

apicard7.c

…

boot.c

T5.1.c2b: lift_types --census: batch main moved (223 groups, 236 defs)

2026-09-30 10:46:02 -06:00

gap.c

…

libapi1.c

…

libapi2.c

…

libc2_1.c

…

libc2_2.c

…

libcd1.c

…

libcd2.c

…

libetc.c

…

libgpu2.c

…

libgpu.c

…

libgs1.c

…

libgs2.c

…

libgs3.c

…

libgs4.c

…

libgs5.c

…

libgs6.c

…

libgs7.c

…

libgs8.c

…

libgte1.c

…

libgte2.c

…

libgte3.c

…

libgte4.c

…

libgte5.c

…

libgte6.c

…

libgte7.c

…

libgte8.c

…

libgte9.c

…

libgte10.c

…

libgte11.c

…

libgte12.c

…

libgte13.c

…

libgte14.c

…

libgte15.c

…

libgte16.c

…

libgte17.c

…

libgte18.c

…

libgte19.c

…

libgte20.c

…

libgte21.c

…

libgte22.c

…

libgte23.c

…

libgte24.c

…

libgte25.c

…

libgte26.c

…

libgte27.c

…

libgte28.c

…

libgte29.c

…

libgte30.c

…

libmcrd1.c

…

libmcrd2.c

…

libpad1.c

…

libpad2.c

…

NOTICE.md

…

sgap_2.c

…

sgap_3.c

…

sgap_4.c

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

sgap_5.c

…

sgap_6.c

…

sgap_8.c

phase-36: T7 sweep s5 — the TAIL closes at 36%: 285 of 800 bodies lever-free for zero tokens (29,527 → 29,204 sites, R22 218/218)

2026-09-10 07:21:39 -06:00

sgap.c

…

snd1.c

…

snd2.c

…

snd3.c

…

snd4.c

…

snd5.c

…

snd6.c

…

snd7.c

…

snd8.c

…

snd9.c

…

snd10.c

…

snd11.c

…

snd12.c

…