diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json index 9a04d2ee6a..1c62ec456a 100644 --- a/.run/P36/delever/calibration.json +++ b/.run/P36/delever/calibration.json @@ -1,7 +1,7 @@ { - "head": "e78a60b7d", + "head": "754916997", "stamp": "e34b6679685f", - "generated": "2026-09-12 18:17", + "generated": "2026-09-12 18:21", "aliases": [ "main", "md_SC07_004", @@ -21,175 +21,175 @@ "main": { "objects": 85, "identical": 85, - "seconds": 6.433, - "mean_s": 0.076 + "seconds": 6.832000000000003, + "mean_s": 0.08 }, "md_SC07_004": { "objects": 1, "identical": 1, - "seconds": 0.516, - "mean_s": 0.516 + "seconds": 0.528, + "mean_s": 0.528 }, "ov_SC03_015": { "objects": 32, "identical": 32, - "seconds": 4.572999999999999, - "mean_s": 0.143 + "seconds": 4.718000000000001, + "mean_s": 0.147 }, "ov_SC04_011": { "objects": 28, "identical": 28, - "seconds": 3.8070000000000004, - "mean_s": 0.136 + "seconds": 4.033, + "mean_s": 0.144 } }, "per_object_seconds": { - "build/src/800.o": 0.709, - "build/src/800_b.o": 0.073, - "build/src/800_b_2.o": 0.31, - "build/src/800_b_o0a.o": 0.061, - "build/src/800_c.o": 0.187, - "build/src/800b2.o": 0.078, - "build/src/apicard1.o": 0.069, - "build/src/apicard2.o": 0.066, - "build/src/apicard3.o": 0.088, - "build/src/apicard4.o": 0.062, - "build/src/apicard5.o": 0.08, - "build/src/apicard6.o": 0.062, - "build/src/apicard7.o": 0.058, - "build/src/boot.o": 0.092, - "build/src/gap.o": 0.081, - "build/src/libapi1.o": 0.078, - "build/src/libapi2.o": 0.06, - "build/src/libc2_1.o": 0.063, - "build/src/libc2_2.o": 0.058, - "build/src/libcd1.o": 0.065, - "build/src/libcd2.o": 0.061, - "build/src/libetc.o": 0.062, + "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/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/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/libgpu.o": 0.065, - "build/src/libgpu2.o": 0.071, - "build/src/libgs1.o": 0.059, - "build/src/libgs2.o": 0.058, - "build/src/libgs3.o": 0.065, - "build/src/libgs4.o": 0.06, - "build/src/libgs5.o": 0.058, - "build/src/libgs6.o": 0.073, - "build/src/libgs7.o": 0.058, - "build/src/libgs8.o": 0.057, - "build/src/libgte1.o": 0.06, + "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.06, - "build/src/libgte12.o": 0.055, - "build/src/libgte13.o": 0.058, - "build/src/libgte14.o": 0.058, - "build/src/libgte15.o": 0.058, - "build/src/libgte16.o": 0.064, - "build/src/libgte17.o": 0.062, - "build/src/libgte18.o": 0.061, + "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.059, - "build/src/libgte20.o": 0.058, - "build/src/libgte21.o": 0.061, - "build/src/libgte22.o": 0.061, - "build/src/libgte23.o": 0.062, - "build/src/libgte24.o": 0.057, - "build/src/libgte25.o": 0.063, - "build/src/libgte26.o": 0.055, + "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.061, - "build/src/libgte29.o": 0.069, - "build/src/libgte3.o": 0.054, - "build/src/libgte30.o": 0.059, - "build/src/libgte4.o": 0.06, - "build/src/libgte5.o": 0.06, - "build/src/libgte6.o": 0.062, - "build/src/libgte7.o": 0.062, - "build/src/libgte8.o": 0.061, - "build/src/libgte9.o": 0.06, - "build/src/libmcrd1.o": 0.067, - "build/src/libmcrd2.o": 0.052, - "build/src/libpad1.o": 0.061, - "build/src/libpad2.o": 0.072, - "build/src/sgap.o": 0.062, - "build/src/sgap_2.o": 0.057, - "build/src/sgap_3.o": 0.061, + "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.062, - "build/src/sgap_8.o": 0.064, - "build/src/snd1.o": 0.068, - "build/src/snd10.o": 0.061, - "build/src/snd11.o": 0.063, - "build/src/snd12.o": 0.062, - "build/src/snd2.o": 0.069, - "build/src/snd3.o": 0.065, - "build/src/snd4.o": 0.065, - "build/src/snd5.o": 0.068, - "build/src/snd6.o": 0.078, - "build/src/snd7.o": 0.058, - "build/src/snd8.o": 0.055, - "build/src/snd9.o": 0.078, - "build/src/md_SC07_004/md_SC07_004.o": 0.516, - "build/src/ov_SC03_015/ov_SC03_015.o": 0.125, - "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.492, - "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.38, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.057, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.059, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.136, - "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.164, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.123, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.084, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.068, + "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/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.073, - "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.167, - "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.086, - "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.06, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.07, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.09, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.457, - "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.244, - "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.09, - "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.193, - "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.068, - "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.102, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.073, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.172, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.19, - "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.055, - "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.263, - "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.055, - "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.062, - "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.055, + "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_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.118, - "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.43, - "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.338, - "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.117, - "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.14, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.105, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.071, + "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.168, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.065, - "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.157, - "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.092, + "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.069, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.085, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.353, - "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.212, - "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.093, - "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.158, - "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.052, - "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.088, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.065, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.092, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.427, - "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.046, - "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.049 + "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_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 }, "ok": true, "seconds": 2.0 diff --git a/.run/P37/restruct/apply_t4_sig7.log b/.run/P37/restruct/apply_t4_sig7.log new file mode 100644 index 0000000000..025ddce073 --- /dev/null +++ b/.run/P37/restruct/apply_t4_sig7.log @@ -0,0 +1,5 @@ +18:22:31 signature func_80188DF4: `s32 func_80188DF4(s32 a0)` — 3 definition(s) in ['src/ov_SC02_011/ov_SC02_011_jr_80183178.c', 'src/ov_SC03_091/ov_SC03_091_jr_8018326C.c', 'src/ov_SC03_104/ov_SC03_104_jr_80186538.c'], 5 declarations in 2 other files +18:22:32 signature func_80188DF4: COMPILE-ERROR src/ov_SC02_011/ov_SC02_011_jr_80183178.c:4225: too many arguments to function `func_80188DF4' +src/ov_SC02_011/ov_SC02_011_jr_80183178.c: At top level: +src/ov_SC02_011/ov_SC02_011_jr_80183178.c: At to — nothing written +18:22:32 restruct: signature func_80188DF4 — COMPILE-ERROR · 0 files written diff --git a/.run/P37/restruct/calibrate_t4_sig7.log b/.run/P37/restruct/calibrate_t4_sig7.log new file mode 100644 index 0000000000..8c78f39ad5 --- /dev/null +++ b/.run/P37/restruct/calibrate_t4_sig7.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.0 s — OK + main 85/85 identical, mean 0.08 s per object + md_SC07_004 1/1 identical, mean 0.528 s per object + ov_SC03_015 32/32 identical, mean 0.147 s per object + ov_SC04_011 28/28 identical, mean 0.144 s per object diff --git a/.run/P37/restruct/cycle_t4sig2.log b/.run/P37/restruct/cycle_t4sig2.log index fd6c244b30..1c5e9c2e66 100644 --- a/.run/P37/restruct/cycle_t4sig2.log +++ b/.run/P37/restruct/cycle_t4sig2.log @@ -1 +1,3 @@ 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 diff --git a/.run/P37/restruct/ledger.jsonl b/.run/P37/restruct/ledger.jsonl index df67e8c04a..6e76bfee3f 100644 --- a/.run/P37/restruct/ledger.jsonl +++ b/.run/P37/restruct/ledger.jsonl @@ -143666,3 +143666,8 @@ {"ts": "2026-09-12 18:20:07", "label": "t4_sig6", "rung": "D", "calib": {"head": "e78a60b7d", "stamp": "e34b6679685f"}, "tu": "src/ov_SC06_022/ov_SC06_022_jr_80184A28.c", "unit": "def:func_80185578", "callee": "func_80185578", "signature": "s32 func_80185578(s32 arg0, s32 arg1)", "definition": true, "verdict": "DECL-CANON", "err": "", "nhash_before": null, "nhash_after": null, "sites": []} {"ts": "2026-09-12 18:20:07", "label": "t4_sig6", "rung": "D", "calib": {"head": "e78a60b7d", "stamp": "e34b6679685f"}, "tu": "src/ov_SC06_022/ov_SC06_022_jr_80182D08.c", "unit": "def:func_80185578", "callee": "func_80185578", "signature": "s32 func_80185578(s32 arg0, s32 arg1)", "definition": false, "verdict": "DECL-CANON", "err": "", "nhash_before": null, "nhash_after": null, "sites": []} {"ts": "2026-09-12 18:20:07", "label": "t4_sig6", "rung": "D", "calib": {"head": "e78a60b7d", "stamp": "e34b6679685f"}, "tu": "src/ov_SC06_022/ov_SC06_022_jr_80184304.c", "unit": "def:func_80185578", "callee": "func_80185578", "signature": "s32 func_80185578(s32 arg0, s32 arg1)", "definition": false, "verdict": "DECL-CANON", "err": "", "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_80183178.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_SC03_091/ov_SC03_091_jr_8018326C.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_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": []} diff --git a/.run/P37/restruct/run_t4_sig7.log b/.run/P37/restruct/run_t4_sig7.log new file mode 100644 index 0000000000..2a9367b626 --- /dev/null +++ b/.run/P37/restruct/run_t4_sig7.log @@ -0,0 +1,8 @@ +18:22:31 signature func_80188DF4: `s32 func_80188DF4(s32 a0)` — 3 definition(s) in ['src/ov_SC02_011/ov_SC02_011_jr_80183178.c', 'src/ov_SC03_091/ov_SC03_091_jr_8018326C.c', 'src/ov_SC03_104/ov_SC03_104_jr_80186538.c'], 5 declarations in 2 other files +18:22:32 signature func_80188DF4: COMPILE-ERROR src/ov_SC02_011/ov_SC02_011_jr_80183178.c:4225: too many arguments to function `func_80188DF4' +src/ov_SC02_011/ov_SC02_011_jr_80183178.c: At top level: +src/ov_SC02_011/ov_SC02_011_jr_80183178.c: At to — nothing written +18:22:32 restruct: signature func_80188DF4 — COMPILE-ERROR · 0 files written +Command exited with non-zero status 1 +t4_sig7 wall=48.29 s +exit=1 diff --git a/.run/P37/restruct/snapshot_t4_sig7.log b/.run/P37/restruct/snapshot_t4_sig7.log new file mode 100644 index 0000000000..852969fea8 --- /dev/null +++ b/.run/P37/restruct/snapshot_t4_sig7.log @@ -0,0 +1 @@ +delever_oracle --snapshot-baseline: 7428 object(s) under .run/P36/delever/baseline at 754916997; 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 b5d7349883..eb68dae1a3 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -599,7 +599,9 @@ bucketed by what each bucket needs before any plan is proposed. **Candidates for - **2026-09-12 — T4 step (d) `t4_sig6`** (`restruct --apply --rung D --callee func_80185578 --body $A/ov_SC06_022__func_80185578/body.c --tu src/ov_SC06_022/ov_SC06_022_jr_80184A28.c`; `.run/P37/restruct/run_t4_sig6.log`): `restruct: signature func_80185578 — IDENTICAL · 3 files written` → R22 (`.run/P37/baseline/r22_t4_sig6.log`) **`check-all: 218 passed, 0 failed of 218`** (`wall=83.33 s`). -## 🛑 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_sig6` on e78a60b7d: restruct: signature func_80185578 — IDENTICAL · 3 files written +- **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 **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