diff --git a/.run/backlog.jsonl b/.run/backlog.jsonl index 91ed2bcd8..81e6ed2c1 100644 --- a/.run/backlog.jsonl +++ b/.run/backlog.jsonl @@ -19,8 +19,6 @@ {"ts": "2026-06-25 20:30:02", "addr": "0x8017f114", "name": "func_8017F114", "reach": 1, "klass": "regalloc-order", "nins": 75, "status": "near", "closeness": 1, "where_stuck": "none \u2014 MATCH", "best_draft": ".run/backlog_drafts/func_8017F114.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-06-23 12:17:56", "addr": "0x80162ccc", "name": "func_80162CCC", "reach": 134, "klass": "plumbing", "nins": 23, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH expected; direct translation, psVar1 as u16* gives lhu, $s0=param_1 survives both calls", "best_draft": ".run/backlog_drafts/func_80162CCC.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-02 11:08:32", "addr": "0x8016ba68", "name": "func_8016BA68", "reach": 134, "klass": "STUB", "nins": 29, "status": "near", "closeness": 1, "where_stuck": "STUB: 1 mismatch", "best_draft": ".run/backlog_drafts/func_8016BA68.c", "binary": "ov_SC01_077", "source": "glm-small40", "residual": null, "passes_tried": null} -{"ts": "2026-06-24 22:47:48", "addr": "0x8012b77c", "name": "func_8012B77C", "reach": 134, "klass": "schedule", "nins": 58, "status": "near", "closeness": 33, "where_stuck": "gcc instruction-scheduler load-ordering + 1st-ratan2 delay-slot fill differ (s2 subtraction lands early instead of in the delay slot; `lh s1,2(a2)` hoisted ahead of the iVar8 loads). All regs/ops correct (result pinned $s4 reads uninit then RMW-builds the u32; iVar8 unpinned so both halves load to temps -> `subu s5,v1,v0`). Residual is the \u00a720 store-vs-load/delay-slot scheduler tie-break (source reorder/barrier/precompute all tried, do not move it); ~3-4 real slots, count inflated by offset cascade. move==addu rd,rs,zero byte-identical.", "best_draft": ".run/backlog_drafts/func_8012B77C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-24 14:33:43", "addr": "0x8012f49c", "name": "func_8012F49C", "reach": 138, "klass": "regalloc-order", "nins": 51, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (51 ins, relocation-masked)", "best_draft": ".run/backlog_drafts/func_8012F49C.c", "binary": "ov_SC07_006", "source": "t6-recover", "residual": null, "passes_tried": null} {"ts": "2026-06-25 20:30:02", "addr": "0x80180b64", "name": "func_80180B64", "reach": 1, "klass": "struct", "nins": 75, "status": "failed", "closeness": null, "where_stuck": "none \u2014 MATCH (75 ins, relocation-masked)", "best_draft": ".run/backlog_drafts/func_80180B64.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-06-25 20:30:03", "addr": "0x8018281c", "name": "func_8018281C", "reach": 1, "klass": "struct", "nins": 76, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (76 ins). jtbl forced via explicit case 4/6 (count>=5 over MIPS tablejump threshold); case-5 block placed between if-block and default via goto so the if-block emits j default w/ e2=0 in the delay slot", "best_draft": ".run/backlog_drafts/func_8018281C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-06-25 20:30:03", "addr": "0x80182e7c", "name": "func_80182E7C", "reach": 1, "klass": "struct", "nins": 85, "status": "near", "closeness": 0, "where_stuck": "none \u2014 MATCH (85 ins, relocation-masked). Two switch-codegen levers:", "best_draft": ".run/backlog_drafts/func_80182E7C.c", "binary": null, "source": "worker", "residual": null, "passes_tried": null} @@ -243,7 +241,6 @@ {"ts": "2026-07-01 04:37:45", "addr": null, "name": "func_8018897C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 9, "where_stuck": "residual: 9 mismatch", "best_draft": ".run/backlog_drafts/func_8018897C.c", "binary": "ov_SC03_091", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 04:38:12", "addr": null, "name": "func_8018011C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_8018011C.c", "binary": "ov_SC04_019", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 04:37:48", "addr": null, "name": "func_80180294", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80180294.c", "binary": "ov_SC03_097", "source": "bulk-harvest", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 04:38:00", "addr": null, "name": "func_80184504", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80184504.c", "binary": "ov_SC03_112", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 04:37:28", "addr": null, "name": "func_80184EE0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 17, "where_stuck": "residual: 17 mismatch", "best_draft": ".run/backlog_drafts/func_80184EE0.c", "binary": "ov_SC02_027", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 04:38:27", "addr": null, "name": "func_8018D4B4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 3, "where_stuck": "residual: 3 mismatch", "best_draft": ".run/backlog_drafts/func_8018D4B4.c", "binary": "ov_SC06_024", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 04:37:49", "addr": null, "name": "func_8017F128", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 11, "where_stuck": "residual: 11 mismatch", "best_draft": ".run/backlog_drafts/func_8017F128.c", "binary": "ov_SC03_095", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -256,7 +253,6 @@ {"ts": "2026-07-01 05:16:34", "addr": null, "name": "func_8018534C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_8018534C.c", "binary": "ov_SC05_001", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 05:16:48", "addr": null, "name": "func_801874E8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 3, "where_stuck": "residual: 3 mismatch", "best_draft": ".run/backlog_drafts/func_801874E8.c", "binary": "ov_SC06_032", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 05:16:46", "addr": null, "name": "func_80184940", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_80184940.c", "binary": "ov_SC06_020", "source": "bulk-harvest", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 05:16:34", "addr": null, "name": "func_80180B1C", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80180B1C.c", "binary": "ov_SC05_004", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 05:15:58", "addr": null, "name": "func_8017DF54", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8017DF54.c", "binary": "ov_SC03_010", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 05:16:41", "addr": null, "name": "func_80183320", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 3, "where_stuck": "residual: 3 mismatch", "best_draft": ".run/backlog_drafts/func_80183320.c", "binary": "ov_SC06_008", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 05:16:19", "addr": null, "name": "func_8017E29C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_8017E29C.c", "binary": "ov_SC03_115", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -278,7 +274,6 @@ {"ts": "2026-07-01 06:03:28", "addr": null, "name": "func_80184880", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 4, "where_stuck": "residual: 4 mismatch", "best_draft": ".run/backlog_drafts/func_80184880.c", "binary": "ov_SC03_089", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:03:53", "addr": null, "name": "func_80185274", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 11, "where_stuck": "residual: 11 mismatch", "best_draft": ".run/backlog_drafts/func_80185274.c", "binary": "ov_SC04_007", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:04:06", "addr": null, "name": "func_8017F060", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8017F060.c", "binary": "ov_SC05_018", "source": "bulk-harvest", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 06:03:41", "addr": null, "name": "func_801835F0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 9, "where_stuck": "residual: 9 mismatch", "best_draft": ".run/backlog_drafts/func_801835F0.c", "binary": "ov_SC03_111", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:03:29", "addr": null, "name": "func_801879B0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 2, "where_stuck": "residual: 2 mismatch", "best_draft": ".run/backlog_drafts/func_801879B0.c", "binary": "ov_SC03_090", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:03:56", "addr": null, "name": "func_8018CC04", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 4, "where_stuck": "residual: 4 mismatch", "best_draft": ".run/backlog_drafts/func_8018CC04.c", "binary": "ov_SC04_018", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:03:45", "addr": null, "name": "func_8018234C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8018234C.c", "binary": "ov_SC03_116", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -322,7 +317,6 @@ {"ts": "2026-07-01 06:45:09", "addr": null, "name": "func_8017F534", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 3, "where_stuck": "residual: 3 mismatch", "best_draft": ".run/backlog_drafts/func_8017F534.c", "binary": "ov_SC04_002", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:45:06", "addr": null, "name": "func_8017E2C4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 6, "where_stuck": "residual: 6 mismatch", "best_draft": ".run/backlog_drafts/func_8017E2C4.c", "binary": "ov_SC03_115", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:44:42", "addr": null, "name": "func_80180410", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 7, "where_stuck": "residual: 7 mismatch", "best_draft": ".run/backlog_drafts/func_80180410.c", "binary": "ov_SC03_029", "source": "bulk-harvest", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 06:44:57", "addr": null, "name": "func_80180EAC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_80180EAC.c", "binary": "ov_SC03_103", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:44:57", "addr": null, "name": "func_80182AB0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_80182AB0.c", "binary": "ov_SC03_103", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:44:48", "addr": null, "name": "func_8018208C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_8018208C.c", "binary": "ov_SC03_093", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 06:44:48", "addr": null, "name": "func_80183EA4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_80183EA4.c", "binary": "ov_SC03_093", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -363,7 +357,6 @@ {"ts": "2026-07-01 07:22:41", "addr": null, "name": "func_801841A0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_801841A0.c", "binary": "ov_SC03_117", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 07:22:29", "addr": null, "name": "func_80181FDC", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_80181FDC.c", "binary": "ov_SC03_097", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 07:22:32", "addr": null, "name": "func_80180754", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 7, "where_stuck": "residual: 7 mismatch", "best_draft": ".run/backlog_drafts/func_80180754.c", "binary": "ov_SC03_101", "source": "bulk-harvest", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 08:03:33", "addr": null, "name": "func_80182C88", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_80182C88.c", "binary": "ov_SC03_094", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:04:17", "addr": null, "name": "func_80183988", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 16, "where_stuck": "residual: 16 mismatch", "best_draft": ".run/backlog_drafts/func_80183988.c", "binary": "ov_SC06_025", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:03:26", "addr": null, "name": "func_8017DA1C", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_8017DA1C.c", "binary": "ov_SC03_011", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:03:26", "addr": null, "name": "func_80180EA8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 11, "where_stuck": "residual: 11 mismatch", "best_draft": ".run/backlog_drafts/func_80180EA8.c", "binary": "ov_SC03_011", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -404,7 +397,6 @@ {"ts": "2026-07-01 08:44:51", "addr": null, "name": "func_8017DDE0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8017DDE0.c", "binary": "ov_SC05_007", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:44:24", "addr": null, "name": "func_801870B4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_801870B4.c", "binary": "ov_SC03_105", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:44:09", "addr": null, "name": "func_80185E3C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_80185E3C.c", "binary": "ov_SC03_007", "source": "bulk-harvest", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 08:44:32", "addr": null, "name": "func_8018358C", "reach": null, "klass": null, "nins": null, "status": "failed", "closeness": null, "where_stuck": "won't compile standalone (loose-typing / missing decl)", "best_draft": ".run/backlog_drafts/func_8018358C.c", "binary": "ov_SC03_117", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:45:01", "addr": null, "name": "func_80181468", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_80181468.c", "binary": "ov_SC06_024", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:44:23", "addr": null, "name": "func_8017F5E8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_8017F5E8.c", "binary": "ov_SC03_101", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 08:44:33", "addr": null, "name": "func_8017FD58", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_8017FD58.c", "binary": "ov_SC03_124", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -586,7 +578,6 @@ {"ts": "2026-07-01 14:09:33", "addr": null, "name": "func_80188720", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_80188720.c", "binary": "ov_SC02_005", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 14:09:33", "addr": null, "name": "func_8018893C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_8018893C.c", "binary": "ov_SC02_005", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-30 17:07:17", "addr": "0x8018c3ec", "name": "func_8018C3EC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 0, "where_stuck": "match_one MATCH but gate rejected (declaration/TU plumbing)", "best_draft": ".run/backlog_drafts/func_8018C3EC.c", "binary": "ov_SC02_005", "source": "t6-recover", "residual": null, "passes_tried": null} -{"ts": "2026-07-01 14:09:39", "addr": null, "name": "func_80186AE8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 1, "where_stuck": "residual: 1 mismatch", "best_draft": ".run/backlog_drafts/func_80186AE8.c", "binary": "ov_SC03_105", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 14:09:55", "addr": null, "name": "func_80185F20", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 8, "where_stuck": "residual: 8 mismatch", "best_draft": ".run/backlog_drafts/func_80185F20.c", "binary": "ov_SC04_019", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 14:09:55", "addr": null, "name": "func_80189DDC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 12, "where_stuck": "residual: 12 mismatch", "best_draft": ".run/backlog_drafts/func_80189DDC.c", "binary": "ov_SC04_019", "source": "bulk-harvest", "residual": null, "passes_tried": null} {"ts": "2026-07-01 14:09:39", "addr": null, "name": "func_80182348", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_80182348.c", "binary": "ov_SC03_097", "source": "bulk-harvest", "residual": null, "passes_tried": null} @@ -662,17 +653,11 @@ {"ts": "2026-07-14 22:46:39", "addr": null, "name": "func_8017CDD8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 17, "where_stuck": "residual: 17 mismatch", "best_draft": ".run/backlog_drafts/func_8017CDD8.c", "binary": "ov_SC01_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:46:39", "addr": null, "name": "func_8017D024", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 37, "where_stuck": "residual: 37 mismatch", "best_draft": ".run/backlog_drafts/func_8017D024.c", "binary": "ov_SC01_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:46:39", "addr": null, "name": "func_8017D0BC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 41, "where_stuck": "residual: 41 mismatch", "best_draft": ".run/backlog_drafts/func_8017D0BC.c", "binary": "ov_SC01_000", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:46:39", "addr": null, "name": "func_8017D1F0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 39, "where_stuck": "residual: 39 mismatch", "best_draft": ".run/backlog_drafts/func_8017D1F0.c", "binary": "ov_SC01_000", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:50:02", "addr": null, "name": "func_8017D010", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_8017D010.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:50:02", "addr": null, "name": "func_8017D63C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_8017D63C.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017D84C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_8017D84C.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017D990", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 22, "where_stuck": "residual: 22 mismatch", "best_draft": ".run/backlog_drafts/func_8017D990.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017DC54", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 23, "where_stuck": "residual: 23 mismatch", "best_draft": ".run/backlog_drafts/func_8017DC54.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017E538", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 128, "where_stuck": "residual: 128 mismatch", "best_draft": ".run/backlog_drafts/func_8017E538.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017ED60", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 55, "where_stuck": "residual: 55 mismatch", "best_draft": ".run/backlog_drafts/func_8017ED60.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017F050", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 53, "where_stuck": "residual: 53 mismatch", "best_draft": ".run/backlog_drafts/func_8017F050.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017F24C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 59, "where_stuck": "residual: 59 mismatch", "best_draft": ".run/backlog_drafts/func_8017F24C.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017F3C0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017F3C0.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_8017F480", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 23, "where_stuck": "residual: 23 mismatch", "best_draft": ".run/backlog_drafts/func_8017F480.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:03", "addr": null, "name": "func_80180DB0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_80180DB0.c", "binary": "ov_SC02_031", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:50:36", "addr": null, "name": "func_8017DA00", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 38, "where_stuck": "residual: 38 mismatch", "best_draft": ".run/backlog_drafts/func_8017DA00.c", "binary": "ov_SC01_084", "source": "worker", "residual": null, "passes_tried": null} @@ -709,7 +694,6 @@ {"ts": "2026-07-14 22:52:52", "addr": null, "name": "func_8017D7A4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 25, "where_stuck": "residual: 25 mismatch", "best_draft": ".run/backlog_drafts/func_8017D7A4.c", "binary": "ov_SC01_074", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:52:52", "addr": null, "name": "func_8017D80C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 38, "where_stuck": "residual: 38 mismatch", "best_draft": ".run/backlog_drafts/func_8017D80C.c", "binary": "ov_SC01_074", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:52:52", "addr": "0x8017d98c", "name": "func_8017D98C", "reach": 1, "klass": "plumbing", "nins": 31, "status": "near", "closeness": 93, "where_stuck": "none \u2014 MATCH (expected): straight global stores + tail call; const 0x140 reused for two halves", "best_draft": ".run/backlog_drafts/func_8017D98C.c", "binary": "ov_SC01_074", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:53:41", "addr": null, "name": "func_8017D09C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 39, "where_stuck": "residual: 39 mismatch", "best_draft": ".run/backlog_drafts/func_8017D09C.c", "binary": "ov_SC01_001", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:53:41", "addr": null, "name": "func_8017F1F8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 16, "where_stuck": "residual: 16 mismatch", "best_draft": ".run/backlog_drafts/func_8017F1F8.c", "binary": "ov_SC01_001", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:53:41", "addr": null, "name": "func_801803E0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 22, "where_stuck": "residual: 22 mismatch", "best_draft": ".run/backlog_drafts/func_801803E0.c", "binary": "ov_SC01_001", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:53:41", "addr": null, "name": "func_80180890", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 17, "where_stuck": "residual: 17 mismatch", "best_draft": ".run/backlog_drafts/func_80180890.c", "binary": "ov_SC01_001", "source": "worker", "residual": null, "passes_tried": null} @@ -729,8 +713,6 @@ {"ts": "2026-07-14 22:54:38", "addr": null, "name": "func_8017EC84", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 16, "where_stuck": "residual: 16 mismatch", "best_draft": ".run/backlog_drafts/func_8017EC84.c", "binary": "ov_SC03_023", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:55:02", "addr": null, "name": "func_8017E290", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017E290.c", "binary": "ov_SC03_013", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:55:31", "addr": null, "name": "func_8017CE0C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 31, "where_stuck": "residual: 31 mismatch", "best_draft": ".run/backlog_drafts/func_8017CE0C.c", "binary": "ov_SC02_016", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:55:32", "addr": null, "name": "func_8017D1D0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 32, "where_stuck": "residual: 32 mismatch", "best_draft": ".run/backlog_drafts/func_8017D1D0.c", "binary": "ov_SC02_016", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:55:32", "addr": null, "name": "func_8017D3BC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_8017D3BC.c", "binary": "ov_SC02_016", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:55:32", "addr": null, "name": "func_8017EC70", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 39, "where_stuck": "residual: 39 mismatch", "best_draft": ".run/backlog_drafts/func_8017EC70.c", "binary": "ov_SC02_016", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:55:32", "addr": null, "name": "func_8017ED80", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 40, "where_stuck": "residual: 40 mismatch", "best_draft": ".run/backlog_drafts/func_8017ED80.c", "binary": "ov_SC02_016", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:55:32", "addr": null, "name": "func_8017F154", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 11, "where_stuck": "residual: 11 mismatch", "best_draft": ".run/backlog_drafts/func_8017F154.c", "binary": "ov_SC02_016", "source": "worker", "residual": null, "passes_tried": null} @@ -770,7 +752,6 @@ {"ts": "2026-07-14 22:59:00", "addr": null, "name": "func_80181A94", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_80181A94.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:00", "addr": null, "name": "func_80182E08", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 30, "where_stuck": "residual: 30 mismatch", "best_draft": ".run/backlog_drafts/func_80182E08.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:00", "addr": null, "name": "func_80183018", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 32, "where_stuck": "residual: 32 mismatch", "best_draft": ".run/backlog_drafts/func_80183018.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:59:00", "addr": null, "name": "func_80183C9C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 55, "where_stuck": "residual: 55 mismatch", "best_draft": ".run/backlog_drafts/func_80183C9C.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:00", "addr": null, "name": "func_80184358", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 121, "where_stuck": "residual: 121 mismatch", "best_draft": ".run/backlog_drafts/func_80184358.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:00", "addr": null, "name": "func_8018545C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 25, "where_stuck": "residual: 25 mismatch", "best_draft": ".run/backlog_drafts/func_8018545C.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:01", "addr": null, "name": "func_80186530", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 139, "where_stuck": "residual: 139 mismatch", "best_draft": ".run/backlog_drafts/func_80186530.c", "binary": "ov_SC02_000", "source": "worker", "residual": null, "passes_tried": null} @@ -783,7 +764,6 @@ {"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_8017ECB0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 58, "where_stuck": "residual: 58 mismatch", "best_draft": ".run/backlog_drafts/func_8017ECB0.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_8017F160", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 19, "where_stuck": "residual: 19 mismatch", "best_draft": ".run/backlog_drafts/func_8017F160.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_80180420", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_80180420.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_80180E18", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 22, "where_stuck": "residual: 22 mismatch", "best_draft": ".run/backlog_drafts/func_80180E18.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_80181B44", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_80181B44.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_80181F6C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_80181F6C.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 22:59:42", "addr": null, "name": "func_80182268", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 31, "where_stuck": "residual: 31 mismatch", "best_draft": ".run/backlog_drafts/func_80182268.c", "binary": "ov_SC02_011", "source": "worker", "residual": null, "passes_tried": null} @@ -798,7 +778,6 @@ {"ts": "2026-07-14 23:03:41", "addr": null, "name": "func_8017D308", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 21, "where_stuck": "residual: 21 mismatch", "best_draft": ".run/backlog_drafts/func_8017D308.c", "binary": "ov_SC01_004", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:03:41", "addr": null, "name": "func_8017DAB4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 75, "where_stuck": "residual: 75 mismatch", "best_draft": ".run/backlog_drafts/func_8017DAB4.c", "binary": "ov_SC01_004", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:03:41", "addr": null, "name": "func_8017EB30", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 278, "where_stuck": "residual: 278 mismatch", "best_draft": ".run/backlog_drafts/func_8017EB30.c", "binary": "ov_SC01_004", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:04:07", "addr": null, "name": "func_8017CFE4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_8017CFE4.c", "binary": "ov_SC02_027", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:04:07", "addr": null, "name": "func_8017E778", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017E778.c", "binary": "ov_SC02_027", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:04:07", "addr": null, "name": "func_801830EC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 26, "where_stuck": "residual: 26 mismatch", "best_draft": ".run/backlog_drafts/func_801830EC.c", "binary": "ov_SC02_027", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:04:34", "addr": null, "name": "func_80180C2C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 39, "where_stuck": "residual: 39 mismatch", "best_draft": ".run/backlog_drafts/func_80180C2C.c", "binary": "ov_SC03_024", "source": "worker", "residual": null, "passes_tried": null} @@ -839,7 +818,6 @@ {"ts": "2026-07-14 23:06:42", "addr": null, "name": "func_8017F1BC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 24, "where_stuck": "residual: 24 mismatch", "best_draft": ".run/backlog_drafts/func_8017F1BC.c", "binary": "ov_SC03_006", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:06:42", "addr": null, "name": "func_801826EC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 20, "where_stuck": "residual: 20 mismatch", "best_draft": ".run/backlog_drafts/func_801826EC.c", "binary": "ov_SC03_006", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:06:42", "addr": null, "name": "func_80183C4C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 28, "where_stuck": "residual: 28 mismatch", "best_draft": ".run/backlog_drafts/func_80183C4C.c", "binary": "ov_SC03_006", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:06:42", "addr": null, "name": "func_80189304", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 45, "where_stuck": "residual: 45 mismatch", "best_draft": ".run/backlog_drafts/func_80189304.c", "binary": "ov_SC03_006", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:06:42", "addr": null, "name": "func_80189B3C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 74, "where_stuck": "residual: 74 mismatch", "best_draft": ".run/backlog_drafts/func_80189B3C.c", "binary": "ov_SC03_006", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:07:14", "addr": null, "name": "func_8017DB6C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 53, "where_stuck": "residual: 53 mismatch", "best_draft": ".run/backlog_drafts/func_8017DB6C.c", "binary": "ov_SC03_001", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:07:14", "addr": null, "name": "func_8017E578", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 44, "where_stuck": "residual: 44 mismatch", "best_draft": ".run/backlog_drafts/func_8017E578.c", "binary": "ov_SC03_001", "source": "worker", "residual": null, "passes_tried": null} @@ -896,8 +874,6 @@ {"ts": "2026-07-14 23:12:12", "addr": null, "name": "func_80181054", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 20, "where_stuck": "residual: 20 mismatch", "best_draft": ".run/backlog_drafts/func_80181054.c", "binary": "ov_SC01_005", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:12", "addr": null, "name": "func_8018165C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 74, "where_stuck": "residual: 74 mismatch", "best_draft": ".run/backlog_drafts/func_8018165C.c", "binary": "ov_SC01_005", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:43", "addr": null, "name": "func_8017E850", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_8017E850.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:12:43", "addr": null, "name": "func_8017E89C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017E89C.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:12:43", "addr": null, "name": "func_8017E8DC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017E8DC.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:43", "addr": null, "name": "func_80180040", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 97, "where_stuck": "residual: 97 mismatch", "best_draft": ".run/backlog_drafts/func_80180040.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:43", "addr": null, "name": "func_80180214", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 29, "where_stuck": "residual: 29 mismatch", "best_draft": ".run/backlog_drafts/func_80180214.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:43", "addr": null, "name": "func_801812FC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 43, "where_stuck": "residual: 43 mismatch", "best_draft": ".run/backlog_drafts/func_801812FC.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} @@ -905,8 +881,6 @@ {"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_801829BC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 150, "where_stuck": "residual: 150 mismatch", "best_draft": ".run/backlog_drafts/func_801829BC.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_80182EA0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 58, "where_stuck": "residual: 58 mismatch", "best_draft": ".run/backlog_drafts/func_80182EA0.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_801833F0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 328, "where_stuck": "residual: 328 mismatch", "best_draft": ".run/backlog_drafts/func_801833F0.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_80183C54", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 54, "where_stuck": "residual: 54 mismatch", "best_draft": ".run/backlog_drafts/func_80183C54.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_80185C70", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 44, "where_stuck": "residual: 44 mismatch", "best_draft": ".run/backlog_drafts/func_80185C70.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_80188204", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 62, "where_stuck": "residual: 62 mismatch", "best_draft": ".run/backlog_drafts/func_80188204.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:12:44", "addr": null, "name": "func_8018A538", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 57, "where_stuck": "residual: 57 mismatch", "best_draft": ".run/backlog_drafts/func_8018A538.c", "binary": "ov_SC02_028", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:13:08", "addr": null, "name": "func_8017F40C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 174, "where_stuck": "residual: 174 mismatch", "best_draft": ".run/backlog_drafts/func_8017F40C.c", "binary": "ov_SC03_028", "source": "worker", "residual": null, "passes_tried": null} @@ -955,7 +929,6 @@ {"ts": "2026-07-14 23:16:55", "addr": null, "name": "func_8017D704", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 20, "where_stuck": "residual: 20 mismatch", "best_draft": ".run/backlog_drafts/func_8017D704.c", "binary": "ov_SC03_095", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:16:55", "addr": null, "name": "func_80180850", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 40, "where_stuck": "residual: 40 mismatch", "best_draft": ".run/backlog_drafts/func_80180850.c", "binary": "ov_SC03_095", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:17:22", "addr": null, "name": "func_8017EB4C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 37, "where_stuck": "residual: 37 mismatch", "best_draft": ".run/backlog_drafts/func_8017EB4C.c", "binary": "ov_SC03_098", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:17:22", "addr": null, "name": "func_8017ECC0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 39, "where_stuck": "residual: 39 mismatch", "best_draft": ".run/backlog_drafts/func_8017ECC0.c", "binary": "ov_SC03_098", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:17:22", "addr": null, "name": "func_8017F1A0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 64, "where_stuck": "residual: 64 mismatch", "best_draft": ".run/backlog_drafts/func_8017F1A0.c", "binary": "ov_SC03_098", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:17:22", "addr": null, "name": "func_80180AD8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 20, "where_stuck": "residual: 20 mismatch", "best_draft": ".run/backlog_drafts/func_80180AD8.c", "binary": "ov_SC03_098", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:17:22", "addr": null, "name": "func_80180B2C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 30, "where_stuck": "residual: 30 mismatch", "best_draft": ".run/backlog_drafts/func_80180B2C.c", "binary": "ov_SC03_098", "source": "worker", "residual": null, "passes_tried": null} @@ -982,7 +955,6 @@ {"ts": "2026-07-14 23:19:32", "addr": null, "name": "func_8017E380", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 45, "where_stuck": "residual: 45 mismatch", "best_draft": ".run/backlog_drafts/func_8017E380.c", "binary": "ov_SC03_115", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:19:32", "addr": null, "name": "func_8017E8D0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 47, "where_stuck": "residual: 47 mismatch", "best_draft": ".run/backlog_drafts/func_8017E8D0.c", "binary": "ov_SC03_115", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:20:03", "addr": null, "name": "func_8017F8A8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 24, "where_stuck": "residual: 24 mismatch", "best_draft": ".run/backlog_drafts/func_8017F8A8.c", "binary": "ov_SC03_118", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:20:03", "addr": null, "name": "func_8017F90C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 44, "where_stuck": "residual: 44 mismatch", "best_draft": ".run/backlog_drafts/func_8017F90C.c", "binary": "ov_SC03_118", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:20:03", "addr": null, "name": "func_80182E38", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_80182E38.c", "binary": "ov_SC03_118", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:20:03", "addr": null, "name": "func_8018523C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 136, "where_stuck": "residual: 136 mismatch", "best_draft": ".run/backlog_drafts/func_8018523C.c", "binary": "ov_SC03_118", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:20:34", "addr": null, "name": "func_8017E048", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 19, "where_stuck": "residual: 19 mismatch", "best_draft": ".run/backlog_drafts/func_8017E048.c", "binary": "ov_SC03_124", "source": "worker", "residual": null, "passes_tried": null} @@ -992,7 +964,6 @@ {"ts": "2026-07-14 23:20:34", "addr": null, "name": "func_80180A88", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 45, "where_stuck": "residual: 45 mismatch", "best_draft": ".run/backlog_drafts/func_80180A88.c", "binary": "ov_SC03_124", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:20:34", "addr": null, "name": "func_80183138", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_80183138.c", "binary": "ov_SC03_124", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:20:34", "addr": null, "name": "func_80183364", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 41, "where_stuck": "residual: 41 mismatch", "best_draft": ".run/backlog_drafts/func_80183364.c", "binary": "ov_SC03_124", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:20:34", "addr": null, "name": "func_801850A0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 24, "where_stuck": "residual: 24 mismatch", "best_draft": ".run/backlog_drafts/func_801850A0.c", "binary": "ov_SC03_124", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:21:05", "addr": null, "name": "func_8017D934", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 95, "where_stuck": "residual: 95 mismatch", "best_draft": ".run/backlog_drafts/func_8017D934.c", "binary": "ov_SC04_002", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:21:05", "addr": null, "name": "func_8017DD64", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 26, "where_stuck": "residual: 26 mismatch", "best_draft": ".run/backlog_drafts/func_8017DD64.c", "binary": "ov_SC04_002", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:21:05", "addr": null, "name": "func_8017DE7C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 20, "where_stuck": "residual: 20 mismatch", "best_draft": ".run/backlog_drafts/func_8017DE7C.c", "binary": "ov_SC04_002", "source": "worker", "residual": null, "passes_tried": null} @@ -1014,7 +985,6 @@ {"ts": "2026-07-14 23:22:27", "addr": null, "name": "func_8018AD3C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 90, "where_stuck": "residual: 90 mismatch", "best_draft": ".run/backlog_drafts/func_8018AD3C.c", "binary": "ov_SC04_011", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:22:48", "addr": null, "name": "func_8017F1C4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 58, "where_stuck": "residual: 58 mismatch", "best_draft": ".run/backlog_drafts/func_8017F1C4.c", "binary": "ov_SC04_016", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:22:48", "addr": null, "name": "func_8017F4A0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 41, "where_stuck": "residual: 41 mismatch", "best_draft": ".run/backlog_drafts/func_8017F4A0.c", "binary": "ov_SC04_016", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:23:13", "addr": null, "name": "func_80180E88", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_80180E88.c", "binary": "ov_SC03_090", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:23:13", "addr": null, "name": "func_801810C0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 28, "where_stuck": "residual: 28 mismatch", "best_draft": ".run/backlog_drafts/func_801810C0.c", "binary": "ov_SC03_090", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:23:13", "addr": null, "name": "func_801811B4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_801811B4.c", "binary": "ov_SC03_090", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:23:13", "addr": null, "name": "func_80183D48", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 50, "where_stuck": "residual: 50 mismatch", "best_draft": ".run/backlog_drafts/func_80183D48.c", "binary": "ov_SC03_090", "source": "worker", "residual": null, "passes_tried": null} @@ -1025,7 +995,6 @@ {"ts": "2026-07-14 23:23:37", "addr": null, "name": "func_8017FA54", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 166, "where_stuck": "residual: 166 mismatch", "best_draft": ".run/backlog_drafts/func_8017FA54.c", "binary": "ov_SC03_093", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:23:37", "addr": null, "name": "func_80182000", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 32, "where_stuck": "residual: 32 mismatch", "best_draft": ".run/backlog_drafts/func_80182000.c", "binary": "ov_SC03_093", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:23:59", "addr": null, "name": "func_8017E55C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 32, "where_stuck": "residual: 32 mismatch", "best_draft": ".run/backlog_drafts/func_8017E55C.c", "binary": "ov_SC03_096", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:23:59", "addr": null, "name": "func_8017EC08", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 50, "where_stuck": "residual: 50 mismatch", "best_draft": ".run/backlog_drafts/func_8017EC08.c", "binary": "ov_SC03_096", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:24:26", "addr": null, "name": "func_8017D54C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 79, "where_stuck": "residual: 79 mismatch", "best_draft": ".run/backlog_drafts/func_8017D54C.c", "binary": "ov_SC03_099", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:24:26", "addr": null, "name": "func_8017D688", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 22, "where_stuck": "residual: 22 mismatch", "best_draft": ".run/backlog_drafts/func_8017D688.c", "binary": "ov_SC03_099", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:24:26", "addr": null, "name": "func_8017D708", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 166, "where_stuck": "residual: 166 mismatch", "best_draft": ".run/backlog_drafts/func_8017D708.c", "binary": "ov_SC03_099", "source": "worker", "residual": null, "passes_tried": null} @@ -1056,7 +1025,6 @@ {"ts": "2026-07-14 23:29:47", "addr": null, "name": "func_80184F08", "reach": null, "klass": "regalloc-order", "nins": null, "status": "near", "closeness": 141, "where_stuck": "none \u2014 MATCH (145/145 ins, match_one confirmed)", "best_draft": ".run/backlog_drafts/func_80184F08.c", "binary": "ov_SC03_091", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:29:47", "addr": null, "name": "func_80185404", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 14, "where_stuck": "residual: 14 mismatch", "best_draft": ".run/backlog_drafts/func_80185404.c", "binary": "ov_SC03_091", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:29:47", "addr": null, "name": "func_8018B6F4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 20, "where_stuck": "residual: 20 mismatch", "best_draft": ".run/backlog_drafts/func_8018B6F4.c", "binary": "ov_SC03_091", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:30:14", "addr": null, "name": "func_8017CDDC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017CDDC.c", "binary": "ov_SC03_094", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:30:14", "addr": null, "name": "func_8017D544", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 58, "where_stuck": "residual: 58 mismatch", "best_draft": ".run/backlog_drafts/func_8017D544.c", "binary": "ov_SC03_094", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:30:14", "addr": null, "name": "func_8017FCE8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 32, "where_stuck": "residual: 32 mismatch", "best_draft": ".run/backlog_drafts/func_8017FCE8.c", "binary": "ov_SC03_094", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:30:14", "addr": null, "name": "func_80182E1C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 33, "where_stuck": "residual: 33 mismatch", "best_draft": ".run/backlog_drafts/func_80182E1C.c", "binary": "ov_SC03_094", "source": "worker", "residual": null, "passes_tried": null} @@ -1071,14 +1039,12 @@ {"ts": "2026-07-14 23:31:05", "addr": null, "name": "func_801834B4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 24, "where_stuck": "residual: 24 mismatch", "best_draft": ".run/backlog_drafts/func_801834B4.c", "binary": "ov_SC03_100", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:05", "addr": null, "name": "func_8018434C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 69, "where_stuck": "residual: 69 mismatch", "best_draft": ".run/backlog_drafts/func_8018434C.c", "binary": "ov_SC03_100", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:32", "addr": null, "name": "func_8017DDD8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017DDD8.c", "binary": "ov_SC03_103", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:31:32", "addr": null, "name": "func_8017E36C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 39, "where_stuck": "residual: 39 mismatch", "best_draft": ".run/backlog_drafts/func_8017E36C.c", "binary": "ov_SC03_103", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:32", "addr": "0x8017f240", "name": "func_8017F240", "reach": 1, "klass": "regalloc-order", "nins": 20, "status": "near", "closeness": 98, "where_stuck": "none \u2014 MATCH (base &D_801270D0 pinned to $s0 holds across call; one lui/addiu reused for load+store)", "best_draft": ".run/backlog_drafts/func_8017F240.c", "binary": "ov_SC03_103", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:32", "addr": null, "name": "func_80180868", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 148, "where_stuck": "residual: 148 mismatch", "best_draft": ".run/backlog_drafts/func_80180868.c", "binary": "ov_SC03_103", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:32", "addr": null, "name": "func_80181C44", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 105, "where_stuck": "residual: 105 mismatch", "best_draft": ".run/backlog_drafts/func_80181C44.c", "binary": "ov_SC03_103", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:56", "addr": null, "name": "func_8017DB0C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 142, "where_stuck": "residual: 142 mismatch", "best_draft": ".run/backlog_drafts/func_8017DB0C.c", "binary": "ov_SC03_108", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:31:56", "addr": null, "name": "func_80180B7C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 54, "where_stuck": "residual: 54 mismatch", "best_draft": ".run/backlog_drafts/func_80180B7C.c", "binary": "ov_SC03_108", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:32:24", "addr": null, "name": "func_8017CD14", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 21, "where_stuck": "residual: 21 mismatch", "best_draft": ".run/backlog_drafts/func_8017CD14.c", "binary": "ov_SC03_111", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:32:24", "addr": null, "name": "func_8017E9D8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 45, "where_stuck": "residual: 45 mismatch", "best_draft": ".run/backlog_drafts/func_8017E9D8.c", "binary": "ov_SC03_111", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:32:24", "addr": null, "name": "func_80181344", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 73, "where_stuck": "residual: 73 mismatch", "best_draft": ".run/backlog_drafts/func_80181344.c", "binary": "ov_SC03_111", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:32:25", "addr": null, "name": "func_8018151C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 10, "where_stuck": "residual: 10 mismatch", "best_draft": ".run/backlog_drafts/func_8018151C.c", "binary": "ov_SC03_111", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:32:25", "addr": null, "name": "func_80181838", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 88, "where_stuck": "residual: 88 mismatch", "best_draft": ".run/backlog_drafts/func_80181838.c", "binary": "ov_SC03_111", "source": "worker", "residual": null, "passes_tried": null} @@ -1099,9 +1065,7 @@ {"ts": "2026-07-14 23:33:49", "addr": null, "name": "func_8017EFFC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 93, "where_stuck": "residual: 93 mismatch", "best_draft": ".run/backlog_drafts/func_8017EFFC.c", "binary": "ov_SC03_121", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:33:49", "addr": null, "name": "func_8017FAC8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 23, "where_stuck": "residual: 23 mismatch", "best_draft": ".run/backlog_drafts/func_8017FAC8.c", "binary": "ov_SC03_121", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:33:49", "addr": null, "name": "func_80180568", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 185, "where_stuck": "residual: 185 mismatch", "best_draft": ".run/backlog_drafts/func_80180568.c", "binary": "ov_SC03_121", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:34:19", "addr": null, "name": "func_8017DC2C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 18, "where_stuck": "residual: 18 mismatch", "best_draft": ".run/backlog_drafts/func_8017DC2C.c", "binary": "ov_SC04_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:34:19", "addr": null, "name": "func_8017DD5C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 90, "where_stuck": "residual: 90 mismatch", "best_draft": ".run/backlog_drafts/func_8017DD5C.c", "binary": "ov_SC04_000", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:34:19", "addr": null, "name": "func_8017DEC4", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_8017DEC4.c", "binary": "ov_SC04_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:34:19", "addr": null, "name": "func_80180548", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 21, "where_stuck": "residual: 21 mismatch", "best_draft": ".run/backlog_drafts/func_80180548.c", "binary": "ov_SC04_000", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:34:45", "addr": null, "name": "func_8017EAD8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 37, "where_stuck": "residual: 37 mismatch", "best_draft": ".run/backlog_drafts/func_8017EAD8.c", "binary": "ov_SC04_004", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:34:45", "addr": null, "name": "func_8017F5E0", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017F5E0.c", "binary": "ov_SC04_004", "source": "worker", "residual": null, "passes_tried": null} @@ -1123,10 +1087,8 @@ {"ts": "2026-07-14 23:35:56", "addr": null, "name": "func_80183A24", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 28, "where_stuck": "residual: 28 mismatch", "best_draft": ".run/backlog_drafts/func_80183A24.c", "binary": "ov_SC04_015", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:36:19", "addr": null, "name": "func_8017F320", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 22, "where_stuck": "residual: 22 mismatch", "best_draft": ".run/backlog_drafts/func_8017F320.c", "binary": "ov_SC04_020", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:36:19", "addr": null, "name": "func_801813AC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 22, "where_stuck": "residual: 22 mismatch", "best_draft": ".run/backlog_drafts/func_801813AC.c", "binary": "ov_SC04_020", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:36:20", "addr": null, "name": "func_80182154", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 24, "where_stuck": "residual: 24 mismatch", "best_draft": ".run/backlog_drafts/func_80182154.c", "binary": "ov_SC04_020", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:36:20", "addr": null, "name": "func_80182234", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 19, "where_stuck": "residual: 19 mismatch", "best_draft": ".run/backlog_drafts/func_80182234.c", "binary": "ov_SC04_020", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:36:20", "addr": null, "name": "func_80182C68", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 24, "where_stuck": "residual: 24 mismatch", "best_draft": ".run/backlog_drafts/func_80182C68.c", "binary": "ov_SC04_020", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:37:04", "addr": null, "name": "func_8017EF24", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 46, "where_stuck": "residual: 46 mismatch", "best_draft": ".run/backlog_drafts/func_8017EF24.c", "binary": "ov_SC05_002", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:37:04", "addr": null, "name": "func_8017FB3C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 82, "where_stuck": "residual: 82 mismatch", "best_draft": ".run/backlog_drafts/func_8017FB3C.c", "binary": "ov_SC05_002", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:37:26", "addr": null, "name": "func_8017F840", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 82, "where_stuck": "residual: 82 mismatch", "best_draft": ".run/backlog_drafts/func_8017F840.c", "binary": "ov_SC05_005", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:37:26", "addr": null, "name": "func_8017FEC8", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 32, "where_stuck": "residual: 32 mismatch", "best_draft": ".run/backlog_drafts/func_8017FEC8.c", "binary": "ov_SC05_005", "source": "worker", "residual": null, "passes_tried": null} @@ -1222,7 +1184,6 @@ {"ts": "2026-07-14 23:48:17", "addr": null, "name": "func_8017DFAC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 16, "where_stuck": "residual: 16 mismatch", "best_draft": ".run/backlog_drafts/func_8017DFAC.c", "binary": "ov_SC05_010", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:48:17", "addr": null, "name": "func_8017E700", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 15, "where_stuck": "residual: 15 mismatch", "best_draft": ".run/backlog_drafts/func_8017E700.c", "binary": "ov_SC05_010", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:48:17", "addr": null, "name": "func_80181670", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 311, "where_stuck": "residual: 311 mismatch", "best_draft": ".run/backlog_drafts/func_80181670.c", "binary": "ov_SC05_010", "source": "worker", "residual": null, "passes_tried": null} -{"ts": "2026-07-14 23:48:17", "addr": null, "name": "func_80187BAC", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 13, "where_stuck": "residual: 13 mismatch", "best_draft": ".run/backlog_drafts/func_80187BAC.c", "binary": "ov_SC05_010", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:49:01", "addr": null, "name": "func_8017D450", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 37, "where_stuck": "residual: 37 mismatch", "best_draft": ".run/backlog_drafts/func_8017D450.c", "binary": "ov_SC06_008", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:49:01", "addr": null, "name": "func_8017D524", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 31, "where_stuck": "residual: 31 mismatch", "best_draft": ".run/backlog_drafts/func_8017D524.c", "binary": "ov_SC06_008", "source": "worker", "residual": null, "passes_tried": null} {"ts": "2026-07-14 23:49:01", "addr": null, "name": "func_80184D0C", "reach": null, "klass": null, "nins": null, "status": "near", "closeness": 47, "where_stuck": "residual: 47 mismatch", "best_draft": ".run/backlog_drafts/func_80184D0C.c", "binary": "ov_SC06_008", "source": "worker", "residual": null, "passes_tried": null} diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index e7713dddf..792b60d10 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -594,6 +594,34 @@ Fleet **94.43→94.88% fn-count · 91.4→91.9% instr · 84.0→84.6% distinct** Distilled to **cookbook §134** (the MULTI-LINE BLINDNESS class + the bimodality tell: 57/52/8 is a tooling signature, not a codegen one — read ONE compiler error before believing the compiler). +### ✅ S6e — `--normalize-self-decls` measured to ZERO, but only after fixing the guard that made the measurement impossible (2026-08-01) +The S6a blocker probe found `conflicting types for func_X` on the SELF axis, which is exactly what +`family_sweep --normalize-self-decls` targets (drop the sibling's divergent decl of the function being +defined, cast its in-scope calls). It is OFF by default, so it was the obvious next zero-token lever. + +**Run 1: 0 banked / 1,622 failed — and 909 of 909 groups reported `⚠ self-decl edit NON-NEUTRAL`.** +A 100% rate is a statement about the mechanism, not about 1,622 different functions (the §134 tell, +one day old). The three earlier sweeps over the SAME population reported **0** NON-NEUTRAL. + +**The defect (D6, `family_sweep.hseq_sweep`):** the TU snapshot was taken **unconditionally**, one line +before the `if nfix:` that decides whether to edit at all — so a TU that NSD merely INSPECTED still +landed in `tu_snapshots`, and the phase-2 MISMATCH backstop then attributed ANY group failure to a +"self-decl edit" that was never made, reverting the TU and reporting `0/N banked`. Measured directly: +**NSD fires on ~25% of members (3 of 12 probed)**, so ~75% of those reverts were attributing a failure +to an edit that did not exist. The §103 tu-scope path immediately below has always snapshotted inside +its own `if _rep["moved"]:`; NSD was the odd one out. Fixed to match. + +**Run 2 (fixed): NON-NEUTRAL 909 → 303** (~33%, consistent with the measured fire rate) — the fix is +confirmed — **and still 0 banked**. The 606 groups that now took the NORMAL path banked nothing, so +**the verdict is real: this residue is not self-decl-conflict-bound.** Lever measured, closed, zero. + +**One open item, deliberately not chased (it is no longer decision-relevant).** I byte-measured a +firing case myself rather than trusting the backstop (R14): `func_80162CCC` in `ov_SC01_000` builds to +`9052dc0e…` **with and without** the NSD edit — i.e. **byte-NEUTRAL**, so the surviving 303 verdicts are +wrong too. Most likely the sweep applies NSD to several members of the SAME TU and the backstop +attributes an accumulated-state mismatch to "the edit". Left as a named open item because the lever +yields 0 either way; it would matter only if a future population makes NSD worth re-testing. + ### ✅ S3 — the close=0 stored-draft DIAGNOSTIC pass: measured, classified, and correctly NOT scaled (2026-08-01) Chartered as "classify, and only build a fix if ≥3 share a named class". Ran exactly that; the answer is that no cheap shared class exists, so nothing was scaled. **The population is bigger than the plan diff --git a/tools/family_sweep.py b/tools/family_sweep.py index 0ebc95f5d..f52b7db0c 100644 --- a/tools/family_sweep.py +++ b/tools/family_sweep.py @@ -570,10 +570,20 @@ def hseq_sweep(a): # invisible in the exemplar whose caller used a fn-ptr cast). Drop each divergent decl + # cast its in-scope calls (byte-neutral §17a-1). This edits the TU FILE (harvest_verify's # baseline); snapshot it so the phase-2 MISMATCH backstop can revert a non-neutral edit. - if src_rel not in tu_snapshots: - tu_snapshots[src_rel] = open(tu_path).read() - new_tu, nfix, _notes = NSD.fix(open(tu_path).read(), to_func, draft_def_ref(draft, to_func)) + # SNAPSHOT ONLY WHEN WE ACTUALLY EDIT (Phase-30 S6e). The snapshot used to be taken + # unconditionally, one line before the `if nfix:` that decides whether to edit at all — + # so a TU that NSD merely INSPECTED still landed in `tu_snapshots`, and the phase-2 + # MISMATCH backstop then attributed ANY group failure to a "self-decl edit" that was + # never made: it reverted the TU and reported `0/N banked`. MEASURED: **909 of 909 + # groups** took that branch in one run, while NSD actually fired on ~25% of members + # (3 of 12 probed) — so the flag could not bank anything, and its 0/1,622 was a TOOL + # artifact, not a verdict on the lever. The §103 tu-scope path below has always + # snapshotted inside its own `if _rep["moved"]:`; this now matches it. + _cur = open(tu_path).read() + new_tu, nfix, _notes = NSD.fix(_cur, to_func, draft_def_ref(draft, to_func)) if nfix: + if src_rel not in tu_snapshots: + tu_snapshots[src_rel] = _cur open(tu_path, "w").write(new_tu) tu = open(tu_path).read() mstub = re.search(rf'INCLUDE_ASM\("[^"]*",\s*{to_func}\);', tu)