From d585b9a8acb23c328bcc57bbd6990735f30173d2 Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Sat, 12 Sep 2026 18:23:38 -0600 Subject: [PATCH] =?UTF-8?q?src(phase-37):=20T4=20step=20(d)=20t4=5Fsig8=20?= =?UTF-8?q?=E2=80=94=20restruct:=20signature=20func=5F80188A30=20=E2=80=94?= =?UTF-8?q?=20DIFFERS=20=C2=B7=200=20files=20written=20|=20R22=20(no=20src?= =?UTF-8?q?=20change)=20|=20=F0=9F=9B=91=20T4=20in=20progress=20(S108,=20s?= =?UTF-8?q?ig=5Fcycle)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .run/P36/delever/calibration.json | 302 ++++++++++++------------ .run/P37/restruct/apply_t4_sig8.log | 3 + .run/P37/restruct/calibrate_t4_sig8.log | 5 + .run/P37/restruct/cycle_t4sig2.log | 2 + .run/P37/restruct/ledger.jsonl | 1 + .run/P37/restruct/run_t4_sig8.log | 6 + .run/P37/restruct/snapshot_t4_sig8.log | 1 + phase-ends/CURRENT_PHASE.md | 4 +- 8 files changed, 172 insertions(+), 152 deletions(-) create mode 100644 .run/P37/restruct/apply_t4_sig8.log create mode 100644 .run/P37/restruct/calibrate_t4_sig8.log create mode 100644 .run/P37/restruct/run_t4_sig8.log create mode 100644 .run/P37/restruct/snapshot_t4_sig8.log diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json index 1c62ec456a..ca39d3fb49 100644 --- a/.run/P36/delever/calibration.json +++ b/.run/P36/delever/calibration.json @@ -1,7 +1,7 @@ { - "head": "754916997", + "head": "bbeeceb60", "stamp": "e34b6679685f", - "generated": "2026-09-12 18:21", + "generated": "2026-09-12 18:22", "aliases": [ "main", "md_SC07_004", @@ -21,176 +21,176 @@ "main": { "objects": 85, "identical": 85, - "seconds": 6.832000000000003, - "mean_s": 0.08 + "seconds": 7.289999999999999, + "mean_s": 0.086 }, "md_SC07_004": { "objects": 1, "identical": 1, - "seconds": 0.528, - "mean_s": 0.528 + "seconds": 0.546, + "mean_s": 0.546 }, "ov_SC03_015": { "objects": 32, "identical": 32, - "seconds": 4.718000000000001, - "mean_s": 0.147 + "seconds": 4.863000000000001, + "mean_s": 0.152 }, "ov_SC04_011": { "objects": 28, "identical": 28, - "seconds": 4.033, - "mean_s": 0.144 + "seconds": 4.071000000000002, + "mean_s": 0.145 } }, "per_object_seconds": { - "build/src/800.o": 0.766, - "build/src/800_b.o": 0.081, - "build/src/800_b_2.o": 0.326, - "build/src/800_b_o0a.o": 0.062, - "build/src/800_c.o": 0.199, - "build/src/800b2.o": 0.077, - "build/src/apicard1.o": 0.075, - "build/src/apicard2.o": 0.065, - "build/src/apicard3.o": 0.068, - "build/src/apicard4.o": 0.074, + "build/src/800.o": 0.794, + "build/src/800_b.o": 0.096, + "build/src/800_b_2.o": 0.324, + "build/src/800_b_o0a.o": 0.068, + "build/src/800_c.o": 0.221, + "build/src/800b2.o": 0.084, + "build/src/apicard1.o": 0.068, + "build/src/apicard2.o": 0.072, + "build/src/apicard3.o": 0.069, + "build/src/apicard4.o": 0.085, "build/src/apicard5.o": 0.076, - "build/src/apicard6.o": 0.073, - "build/src/apicard7.o": 0.069, - "build/src/boot.o": 0.089, - "build/src/gap.o": 0.073, - "build/src/libapi1.o": 0.08, + "build/src/apicard6.o": 0.076, + "build/src/apicard7.o": 0.079, + "build/src/boot.o": 0.112, + "build/src/gap.o": 0.078, + "build/src/libapi1.o": 0.075, "build/src/libapi2.o": 0.064, - "build/src/libc2_1.o": 0.064, - "build/src/libc2_2.o": 0.062, - "build/src/libcd1.o": 0.071, - "build/src/libcd2.o": 0.063, - "build/src/libetc.o": 0.069, + "build/src/libc2_1.o": 0.067, + "build/src/libc2_2.o": 0.061, + "build/src/libcd1.o": 0.075, + "build/src/libcd2.o": 0.067, + "build/src/libetc.o": 0.068, "build/src/libgpu.o": 0.065, - "build/src/libgpu2.o": 0.083, - "build/src/libgs1.o": 0.072, - "build/src/libgs2.o": 0.065, - "build/src/libgs3.o": 0.059, - "build/src/libgs4.o": 0.066, - "build/src/libgs5.o": 0.063, - "build/src/libgs6.o": 0.079, - "build/src/libgs7.o": 0.059, - "build/src/libgs8.o": 0.06, - "build/src/libgte1.o": 0.059, - "build/src/libgte10.o": 0.06, - "build/src/libgte11.o": 0.055, - "build/src/libgte12.o": 0.066, - "build/src/libgte13.o": 0.064, - "build/src/libgte14.o": 0.067, - "build/src/libgte15.o": 0.064, - "build/src/libgte16.o": 0.065, - "build/src/libgte17.o": 0.063, - "build/src/libgte18.o": 0.065, - "build/src/libgte19.o": 0.061, - "build/src/libgte2.o": 0.061, - "build/src/libgte20.o": 0.066, - "build/src/libgte21.o": 0.066, - "build/src/libgte22.o": 0.065, - "build/src/libgte23.o": 0.066, - "build/src/libgte24.o": 0.067, - "build/src/libgte25.o": 0.069, - "build/src/libgte26.o": 0.066, - "build/src/libgte27.o": 0.063, - "build/src/libgte28.o": 0.071, - "build/src/libgte29.o": 0.065, - "build/src/libgte3.o": 0.062, - "build/src/libgte30.o": 0.067, - "build/src/libgte4.o": 0.063, - "build/src/libgte5.o": 0.065, - "build/src/libgte6.o": 0.064, - "build/src/libgte7.o": 0.064, - "build/src/libgte8.o": 0.063, - "build/src/libgte9.o": 0.073, - "build/src/libmcrd1.o": 0.076, - "build/src/libmcrd2.o": 0.063, - "build/src/libpad1.o": 0.064, - "build/src/libpad2.o": 0.066, - "build/src/sgap.o": 0.074, - "build/src/sgap_2.o": 0.07, - "build/src/sgap_3.o": 0.072, - "build/src/sgap_4.o": 0.07, - "build/src/sgap_5.o": 0.064, - "build/src/sgap_6.o": 0.072, - "build/src/sgap_8.o": 0.075, - "build/src/snd1.o": 0.078, - "build/src/snd10.o": 0.067, - "build/src/snd11.o": 0.064, - "build/src/snd12.o": 0.066, - "build/src/snd2.o": 0.071, - "build/src/snd3.o": 0.064, - "build/src/snd4.o": 0.069, - "build/src/snd5.o": 0.067, - "build/src/snd6.o": 0.07, - "build/src/snd7.o": 0.065, - "build/src/snd8.o": 0.062, - "build/src/snd9.o": 0.071, - "build/src/md_SC07_004/md_SC07_004.o": 0.528, - "build/src/ov_SC03_015/ov_SC03_015.o": 0.127, - "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.521, - "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.403, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.06, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.07, + "build/src/libgpu2.o": 0.075, + "build/src/libgs1.o": 0.064, + "build/src/libgs2.o": 0.07, + "build/src/libgs3.o": 0.075, + "build/src/libgs4.o": 0.071, + "build/src/libgs5.o": 0.062, + "build/src/libgs6.o": 0.082, + "build/src/libgs7.o": 0.065, + "build/src/libgs8.o": 0.061, + "build/src/libgte1.o": 0.067, + "build/src/libgte10.o": 0.065, + "build/src/libgte11.o": 0.066, + "build/src/libgte12.o": 0.063, + "build/src/libgte13.o": 0.066, + "build/src/libgte14.o": 0.064, + "build/src/libgte15.o": 0.065, + "build/src/libgte16.o": 0.068, + "build/src/libgte17.o": 0.062, + "build/src/libgte18.o": 0.067, + "build/src/libgte19.o": 0.064, + "build/src/libgte2.o": 0.064, + "build/src/libgte20.o": 0.067, + "build/src/libgte21.o": 0.068, + "build/src/libgte22.o": 0.068, + "build/src/libgte23.o": 0.076, + "build/src/libgte24.o": 0.065, + "build/src/libgte25.o": 0.07, + "build/src/libgte26.o": 0.068, + "build/src/libgte27.o": 0.1, + "build/src/libgte28.o": 0.085, + "build/src/libgte29.o": 0.069, + "build/src/libgte3.o": 0.076, + "build/src/libgte30.o": 0.066, + "build/src/libgte4.o": 0.066, + "build/src/libgte5.o": 0.067, + "build/src/libgte6.o": 0.071, + "build/src/libgte7.o": 0.069, + "build/src/libgte8.o": 0.067, + "build/src/libgte9.o": 0.068, + "build/src/libmcrd1.o": 0.074, + "build/src/libmcrd2.o": 0.074, + "build/src/libpad1.o": 0.071, + "build/src/libpad2.o": 0.074, + "build/src/sgap.o": 0.072, + "build/src/sgap_2.o": 0.077, + "build/src/sgap_3.o": 0.068, + "build/src/sgap_4.o": 0.077, + "build/src/sgap_5.o": 0.074, + "build/src/sgap_6.o": 0.071, + "build/src/sgap_8.o": 0.086, + "build/src/snd1.o": 0.08, + "build/src/snd10.o": 0.074, + "build/src/snd11.o": 0.073, + "build/src/snd12.o": 0.075, + "build/src/snd2.o": 0.079, + "build/src/snd3.o": 0.079, + "build/src/snd4.o": 0.089, + "build/src/snd5.o": 0.075, + "build/src/snd6.o": 0.086, + "build/src/snd7.o": 0.076, + "build/src/snd8.o": 0.073, + "build/src/snd9.o": 0.077, + "build/src/md_SC07_004/md_SC07_004.o": 0.546, + "build/src/ov_SC03_015/ov_SC03_015.o": 0.142, + "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.543, + "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.419, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.08, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.068, "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.133, - "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.166, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.12, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.096, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.073, - "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.19, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.076, - "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.166, - "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.091, - "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.066, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.064, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.093, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.469, - "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.268, - "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.1, - "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.194, - "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.055, + "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.171, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.131, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.087, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.082, + "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.186, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.09, + "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.173, + "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.096, + "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.063, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.063, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.088, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.477, + "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.273, + "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.106, + "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.205, + "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.06, "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.103, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.071, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.162, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.195, - "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.051, - "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.291, - "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.06, - "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.058, - "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.056, - "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.07, - "build/src/ov_SC04_011/ov_SC04_011.o": 0.12, - "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.432, - "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.361, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.055, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.054, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.112, - "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.156, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.112, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.077, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.057, - "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.184, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.07, - "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.17, - "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.095, - "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.065, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.077, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.087, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.363, - "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.225, - "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.101, - "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.18, - "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.062, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.066, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.174, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.196, + "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.053, + "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.283, + "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.062, + "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.062, + "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.057, + "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.071, + "build/src/ov_SC04_011/ov_SC04_011.o": 0.131, + "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.446, + "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.358, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.046, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.049, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.124, + "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.154, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.12, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.078, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.062, + "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.185, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.073, + "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.164, + "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.093, + "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.069, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.075, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.095, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.366, + "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.22, + "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.103, + "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.176, + "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.061, "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.095, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.072, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.105, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.434, - "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.05, - "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.062 + "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.067, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.099, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.446, + "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.059, + "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.057 }, "ok": true, - "seconds": 2.0 + "seconds": 2.2 } diff --git a/.run/P37/restruct/apply_t4_sig8.log b/.run/P37/restruct/apply_t4_sig8.log new file mode 100644 index 0000000000..3644713aed --- /dev/null +++ b/.run/P37/restruct/apply_t4_sig8.log @@ -0,0 +1,3 @@ +18:23:28 signature func_80188A30: `void func_80188A30(s32 a0)` — 1 definition(s) in ['src/ov_SC04_011/ov_SC04_011_jr_8017D494.c'], 1 declarations in 0 other files +18:23:35 signature func_80188A30: DIFFERS [build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o] — nothing written +18:23:35 restruct: signature func_80188A30 — DIFFERS · 0 files written diff --git a/.run/P37/restruct/calibrate_t4_sig8.log b/.run/P37/restruct/calibrate_t4_sig8.log new file mode 100644 index 0000000000..2e4b8eade1 --- /dev/null +++ b/.run/P37/restruct/calibrate_t4_sig8.log @@ -0,0 +1,5 @@ +delever_oracle --calibrate main md_SC07_004 ov_SC03_015 ov_SC04_011: 146/146 objects byte-identical untouched; twin checks 32 (0 mismatch); positive control DIFFERS on build/src/800.o; 2.2 s — OK + main 85/85 identical, mean 0.086 s per object + md_SC07_004 1/1 identical, mean 0.546 s per object + ov_SC03_015 32/32 identical, mean 0.152 s per object + ov_SC04_011 28/28 identical, mean 0.145 s per object diff --git a/.run/P37/restruct/cycle_t4sig2.log b/.run/P37/restruct/cycle_t4sig2.log index 1c5e9c2e66..6bdbf511c4 100644 --- a/.run/P37/restruct/cycle_t4sig2.log +++ b/.run/P37/restruct/cycle_t4sig2.log @@ -1,3 +1,5 @@ log: t4_sig6 cycle: t4_sig6 committed 754916997 — restruct: signature func_80185578 — IDENTICAL · 3 files written | check-all: 218 passed, 0 failed of 218 log: t4_sig7 +cycle: t4_sig7 committed bbeeceb60 — restruct: signature func_80188DF4 — COMPILE-ERROR · 0 files written | (no src change) +log: t4_sig8 diff --git a/.run/P37/restruct/ledger.jsonl b/.run/P37/restruct/ledger.jsonl index 6e76bfee3f..09aeb0eddd 100644 --- a/.run/P37/restruct/ledger.jsonl +++ b/.run/P37/restruct/ledger.jsonl @@ -143671,3 +143671,4 @@ {"ts": "2026-09-12 18:22:32", "label": "t4_sig7", "rung": "D", "calib": {"head": "754916997", "stamp": "e34b6679685f"}, "tu": "src/ov_SC03_104/ov_SC03_104_jr_80186538.c", "unit": "def:func_80188DF4", "callee": "func_80188DF4", "signature": "s32 func_80188DF4(s32 a0)", "definition": true, "verdict": "REFUSED", "err": "src/ov_SC02_011/ov_SC02_011_jr_80183178.c:4225: too many arguments to function `func_80188DF4'\nsrc/ov_SC02_011/ov_SC02_011_jr_80183178.c: At top level:\nsrc/ov_SC02_011/ov_SC02_011_jr_80183178.c: At to", "nhash_before": null, "nhash_after": null, "sites": []} {"ts": "2026-09-12 18:22:32", "label": "t4_sig7", "rung": "D", "calib": {"head": "754916997", "stamp": "e34b6679685f"}, "tu": "src/ov_SC02_011/ov_SC02_011_jr_80188E3C.c", "unit": "def:func_80188DF4", "callee": "func_80188DF4", "signature": "s32 func_80188DF4(s32 a0)", "definition": false, "verdict": "REFUSED", "err": "src/ov_SC02_011/ov_SC02_011_jr_80183178.c:4225: too many arguments to function `func_80188DF4'\nsrc/ov_SC02_011/ov_SC02_011_jr_80183178.c: At top level:\nsrc/ov_SC02_011/ov_SC02_011_jr_80183178.c: At to", "nhash_before": null, "nhash_after": null, "sites": []} {"ts": "2026-09-12 18:22:32", "label": "t4_sig7", "rung": "D", "calib": {"head": "754916997", "stamp": "e34b6679685f"}, "tu": "src/ov_SC03_104/ov_SC03_104_jr_80189FE4.c", "unit": "def:func_80188DF4", "callee": "func_80188DF4", "signature": "s32 func_80188DF4(s32 a0)", "definition": false, "verdict": "REFUSED", "err": "src/ov_SC02_011/ov_SC02_011_jr_80183178.c:4225: too many arguments to function `func_80188DF4'\nsrc/ov_SC02_011/ov_SC02_011_jr_80183178.c: At top level:\nsrc/ov_SC02_011/ov_SC02_011_jr_80183178.c: At to", "nhash_before": null, "nhash_after": null, "sites": []} +{"ts": "2026-09-12 18:23:35", "label": "t4_sig8", "rung": "D", "calib": {"head": "bbeeceb60", "stamp": "e34b6679685f"}, "tu": "src/ov_SC04_011/ov_SC04_011_jr_8017D494.c", "unit": "def:func_80188A30", "callee": "func_80188A30", "signature": "void func_80188A30(s32 a0)", "definition": true, "verdict": "REFUSED", "err": "[build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o]", "nhash_before": null, "nhash_after": null, "sites": []} diff --git a/.run/P37/restruct/run_t4_sig8.log b/.run/P37/restruct/run_t4_sig8.log new file mode 100644 index 0000000000..bf910f13d1 --- /dev/null +++ b/.run/P37/restruct/run_t4_sig8.log @@ -0,0 +1,6 @@ +18:23:28 signature func_80188A30: `void func_80188A30(s32 a0)` — 1 definition(s) in ['src/ov_SC04_011/ov_SC04_011_jr_8017D494.c'], 1 declarations in 0 other files +18:23:35 signature func_80188A30: DIFFERS [build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o] — nothing written +18:23:35 restruct: signature func_80188A30 — DIFFERS · 0 files written +Command exited with non-zero status 1 +t4_sig8 wall=51.05 s +exit=1 diff --git a/.run/P37/restruct/snapshot_t4_sig8.log b/.run/P37/restruct/snapshot_t4_sig8.log new file mode 100644 index 0000000000..6c8215663e --- /dev/null +++ b/.run/P37/restruct/snapshot_t4_sig8.log @@ -0,0 +1 @@ +delever_oracle --snapshot-baseline: 7428 object(s) under .run/P36/delever/baseline at bbeeceb60; link inputs for 218/218 binaries under .run/P36/delever/baseline/_link (links.json) diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index eb68dae1a3..8d27cad5cd 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -601,7 +601,9 @@ bucketed by what each bucket needs before any plan is proposed. **Candidates for - **2026-09-12 — T4 step (d) `t4_sig7`** (`restruct --apply --rung D --callee func_80188DF4 --body $A/ov_SC03_091__func_80188DF4/body.c --all-defs`; `.run/P37/restruct/run_t4_sig7.log`): `restruct: signature func_80188DF4 — COMPILE-ERROR · 0 files written` — (no src change) · cause: `signature func_80188DF4: COMPILE-ERROR src/ov_SC02_011/ov_SC02_011_jr_80183178.c:4225: too many arguments to function `func_80188DF4'`. -## 🛑 SESSION CHECKPOINT — S107 (2026-09-12, FINAL — written for a FRESH session at 84 % context; the session's last commit follows this): gate 1 APPROVED, **T0 ☑ T1 ☑ T2 ☑ T3 ☑ — T4 IN PROGRESS (☐)** — 🛑 **T4 NEXT: resume the declaration layer where the cycle stopped (below, §1 "T4 — where it stands and the exact next commands"); xHigh** | R22 `check-all: 218 passed, 0 failed of 218` at `f2b58011e` (every one of the 21 T4 commits carries its own) | HEAD after this commit is the checkpoint's commit; tree clean; nothing pushed after `79b2f6f15` (Drew pushes, R6) | last batch `t4_sig7` on 754916997: restruct: signature func_80188DF4 — COMPILE-ERROR · 0 files written +- **2026-09-12 — T4 step (d) `t4_sig8`** (`restruct --apply --rung D --callee func_80188A30 --body $A/ov_SC04_011__func_80188A30/body_free.c`; `.run/P37/restruct/run_t4_sig8.log`): `restruct: signature func_80188A30 — DIFFERS · 0 files written` — (no src change) · cause: `signature func_80188A30: DIFFERS [build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o] — nothing written`. + +## 🛑 SESSION CHECKPOINT — S107 (2026-09-12, FINAL — written for a FRESH session at 84 % context; the session's last commit follows this): gate 1 APPROVED, **T0 ☑ T1 ☑ T2 ☑ T3 ☑ — T4 IN PROGRESS (☐)** — 🛑 **T4 NEXT: resume the declaration layer where the cycle stopped (below, §1 "T4 — where it stands and the exact next commands"); xHigh** | R22 `check-all: 218 passed, 0 failed of 218` at `f2b58011e` (every one of the 21 T4 commits carries its own) | HEAD after this commit is the checkpoint's commit; tree clean; nothing pushed after `79b2f6f15` (Drew pushes, R6) | last batch `t4_sig8` on bbeeceb60: restruct: signature func_80188A30 — DIFFERS · 0 files written **Replay this block into the chat at the next session start (R64); it is the ONLY in-phase context the next session inherits. Everything below is what S107 knew and the next session must not re-derive.** **The checkpoint procedure (every session end, Drew 2026-09-12):** bank the