diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json index d2a6a7607f..b957936801 100644 --- a/.run/P36/delever/calibration.json +++ b/.run/P36/delever/calibration.json @@ -1,7 +1,7 @@ { - "head": "7601eb870", + "head": "4ba23d0b9", "stamp": "e34b6679685f", - "generated": "2026-09-12 18:24", + "generated": "2026-09-12 18:25", "aliases": [ "main", "md_SC07_004", @@ -21,176 +21,176 @@ "main": { "objects": 85, "identical": 85, - "seconds": 6.853000000000001, - "mean_s": 0.081 + "seconds": 6.404, + "mean_s": 0.075 }, "md_SC07_004": { "objects": 1, "identical": 1, - "seconds": 0.54, - "mean_s": 0.54 + "seconds": 0.512, + "mean_s": 0.512 }, "ov_SC03_015": { "objects": 32, "identical": 32, - "seconds": 4.789, - "mean_s": 0.15 + "seconds": 4.412000000000002, + "mean_s": 0.138 }, "ov_SC04_011": { "objects": 28, "identical": 28, - "seconds": 4.057000000000001, - "mean_s": 0.145 + "seconds": 3.8520000000000003, + "mean_s": 0.138 } }, "per_object_seconds": { - "build/src/800.o": 0.793, - "build/src/800_b.o": 0.076, - "build/src/800_b_2.o": 0.317, - "build/src/800_b_o0a.o": 0.068, - "build/src/800_c.o": 0.19, - "build/src/800b2.o": 0.095, - "build/src/apicard1.o": 0.079, - "build/src/apicard2.o": 0.065, - "build/src/apicard3.o": 0.069, - "build/src/apicard4.o": 0.075, - "build/src/apicard5.o": 0.079, - "build/src/apicard6.o": 0.075, - "build/src/apicard7.o": 0.074, - "build/src/boot.o": 0.081, - "build/src/gap.o": 0.074, - "build/src/libapi1.o": 0.074, - "build/src/libapi2.o": 0.06, - "build/src/libc2_1.o": 0.067, - "build/src/libc2_2.o": 0.062, - "build/src/libcd1.o": 0.07, - "build/src/libcd2.o": 0.063, - "build/src/libetc.o": 0.057, - "build/src/libgpu.o": 0.067, - "build/src/libgpu2.o": 0.073, - "build/src/libgs1.o": 0.053, - "build/src/libgs2.o": 0.071, - "build/src/libgs3.o": 0.061, - "build/src/libgs4.o": 0.064, - "build/src/libgs5.o": 0.062, - "build/src/libgs6.o": 0.078, - "build/src/libgs7.o": 0.067, - "build/src/libgs8.o": 0.063, - "build/src/libgte1.o": 0.065, - "build/src/libgte10.o": 0.06, - "build/src/libgte11.o": 0.063, + "build/src/800.o": 0.713, + "build/src/800_b.o": 0.072, + "build/src/800_b_2.o": 0.298, + "build/src/800_b_o0a.o": 0.061, + "build/src/800_c.o": 0.191, + "build/src/800b2.o": 0.077, + "build/src/apicard1.o": 0.08, + "build/src/apicard2.o": 0.059, + "build/src/apicard3.o": 0.062, + "build/src/apicard4.o": 0.062, + "build/src/apicard5.o": 0.081, + "build/src/apicard6.o": 0.07, + "build/src/apicard7.o": 0.067, + "build/src/boot.o": 0.083, + "build/src/gap.o": 0.075, + "build/src/libapi1.o": 0.084, + "build/src/libapi2.o": 0.057, + "build/src/libc2_1.o": 0.062, + "build/src/libc2_2.o": 0.059, + "build/src/libcd1.o": 0.071, + "build/src/libcd2.o": 0.056, + "build/src/libetc.o": 0.056, + "build/src/libgpu.o": 0.063, + "build/src/libgpu2.o": 0.071, + "build/src/libgs1.o": 0.06, + "build/src/libgs2.o": 0.055, + "build/src/libgs3.o": 0.059, + "build/src/libgs4.o": 0.061, + "build/src/libgs5.o": 0.057, + "build/src/libgs6.o": 0.075, + "build/src/libgs7.o": 0.056, + "build/src/libgs8.o": 0.056, + "build/src/libgte1.o": 0.06, + "build/src/libgte10.o": 0.059, + "build/src/libgte11.o": 0.055, "build/src/libgte12.o": 0.062, - "build/src/libgte13.o": 0.058, - "build/src/libgte14.o": 0.062, - "build/src/libgte15.o": 0.064, + "build/src/libgte13.o": 0.06, + "build/src/libgte14.o": 0.059, + "build/src/libgte15.o": 0.06, "build/src/libgte16.o": 0.062, - "build/src/libgte17.o": 0.061, - "build/src/libgte18.o": 0.066, - "build/src/libgte19.o": 0.064, - "build/src/libgte2.o": 0.065, - "build/src/libgte20.o": 0.061, - "build/src/libgte21.o": 0.063, - "build/src/libgte22.o": 0.071, - "build/src/libgte23.o": 0.067, - "build/src/libgte24.o": 0.065, - "build/src/libgte25.o": 0.073, - "build/src/libgte26.o": 0.068, - "build/src/libgte27.o": 0.067, - "build/src/libgte28.o": 0.066, - "build/src/libgte29.o": 0.066, - "build/src/libgte3.o": 0.068, - "build/src/libgte30.o": 0.067, - "build/src/libgte4.o": 0.07, - "build/src/libgte5.o": 0.065, - "build/src/libgte6.o": 0.066, - "build/src/libgte7.o": 0.064, - "build/src/libgte8.o": 0.066, - "build/src/libgte9.o": 0.066, - "build/src/libmcrd1.o": 0.08, - "build/src/libmcrd2.o": 0.062, - "build/src/libpad1.o": 0.075, - "build/src/libpad2.o": 0.072, - "build/src/sgap.o": 0.07, - "build/src/sgap_2.o": 0.071, - "build/src/sgap_3.o": 0.065, - "build/src/sgap_4.o": 0.074, - "build/src/sgap_5.o": 0.067, - "build/src/sgap_6.o": 0.066, - "build/src/sgap_8.o": 0.072, - "build/src/snd1.o": 0.073, - "build/src/snd10.o": 0.071, - "build/src/snd11.o": 0.07, - "build/src/snd12.o": 0.064, + "build/src/libgte17.o": 0.063, + "build/src/libgte18.o": 0.062, + "build/src/libgte19.o": 0.061, + "build/src/libgte2.o": 0.06, + "build/src/libgte20.o": 0.062, + "build/src/libgte21.o": 0.057, + "build/src/libgte22.o": 0.06, + "build/src/libgte23.o": 0.056, + "build/src/libgte24.o": 0.067, + "build/src/libgte25.o": 0.057, + "build/src/libgte26.o": 0.061, + "build/src/libgte27.o": 0.061, + "build/src/libgte28.o": 0.06, + "build/src/libgte29.o": 0.061, + "build/src/libgte3.o": 0.062, + "build/src/libgte30.o": 0.058, + "build/src/libgte4.o": 0.063, + "build/src/libgte5.o": 0.062, + "build/src/libgte6.o": 0.061, + "build/src/libgte7.o": 0.06, + "build/src/libgte8.o": 0.063, + "build/src/libgte9.o": 0.057, + "build/src/libmcrd1.o": 0.073, + "build/src/libmcrd2.o": 0.06, + "build/src/libpad1.o": 0.063, + "build/src/libpad2.o": 0.066, + "build/src/sgap.o": 0.068, + "build/src/sgap_2.o": 0.067, + "build/src/sgap_3.o": 0.061, + "build/src/sgap_4.o": 0.065, + "build/src/sgap_5.o": 0.059, + "build/src/sgap_6.o": 0.063, + "build/src/sgap_8.o": 0.071, + "build/src/snd1.o": 0.07, + "build/src/snd10.o": 0.065, + "build/src/snd11.o": 0.064, + "build/src/snd12.o": 0.062, "build/src/snd2.o": 0.066, - "build/src/snd3.o": 0.062, - "build/src/snd4.o": 0.065, - "build/src/snd5.o": 0.073, - "build/src/snd6.o": 0.066, - "build/src/snd7.o": 0.069, - "build/src/snd8.o": 0.06, - "build/src/snd9.o": 0.067, - "build/src/md_SC07_004/md_SC07_004.o": 0.54, - "build/src/ov_SC03_015/ov_SC03_015.o": 0.133, - "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.51, - "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.393, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.062, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.064, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.134, - "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.169, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.122, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.08, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.074, - "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.185, - "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.178, - "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.088, - "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.068, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.099, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.476, - "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.278, - "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.108, - "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.219, - "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.063, - "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.095, - "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.175, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.192, - "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.059, - "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.28, - "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.068, - "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.066, - "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.063, - "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.076, - "build/src/ov_SC04_011/ov_SC04_011.o": 0.127, - "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.463, - "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.344, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.056, - "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.109, - "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.149, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.108, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.071, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.066, - "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.18, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.068, - "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.169, - "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.087, - "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.059, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.066, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.088, - "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.233, - "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.104, - "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.181, - "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.059, - "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.071, - "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.468, - "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.057, - "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.062 + "build/src/snd3.o": 0.066, + "build/src/snd4.o": 0.062, + "build/src/snd5.o": 0.06, + "build/src/snd6.o": 0.067, + "build/src/snd7.o": 0.06, + "build/src/snd8.o": 0.058, + "build/src/snd9.o": 0.068, + "build/src/md_SC07_004/md_SC07_004.o": 0.512, + "build/src/ov_SC03_015/ov_SC03_015.o": 0.122, + "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.498, + "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.36, + "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.056, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.116, + "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.152, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.115, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.079, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.067, + "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.179, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.072, + "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.171, + "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.087, + "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.064, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.062, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.084, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.446, + "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.239, + "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.096, + "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.197, + "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.097, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.068, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.163, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.182, + "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.047, + "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.26, + "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.049, + "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.057, + "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.055, + "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.057, + "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.342, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.047, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.048, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.108, + "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.163, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.104, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.072, + "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.171, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.082, + "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.162, + "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.08, + "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.062, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.072, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.099, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.348, + "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.204, + "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.099, + "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.159, + "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.054, + "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.091, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.058, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.093, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.421, + "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.051, + "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.057 }, "ok": true, - "seconds": 2.1 + "seconds": 2.0 } diff --git a/.run/P37/restruct/apply_t4_sig11.log b/.run/P37/restruct/apply_t4_sig11.log new file mode 100644 index 0000000000..c13e48220e --- /dev/null +++ b/.run/P37/restruct/apply_t4_sig11.log @@ -0,0 +1,5 @@ +18:26:12 signature func_8017FC5C: `s32 * func_8017FC5C(s32 *a0, s32 a1, s32 a2)` — 2 definition(s) in ['src/ov_SC03_115/ov_SC03_115_jr_8017BEBC.c', 'src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c'], 5 declarations in 0 other files +18:26:13 signature func_8017FC5C: COMPILE-ERROR src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c:4875: too few arguments to function `func_8017FC5C' +src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top level: +src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top — nothing written +18:26:13 restruct: signature func_8017FC5C — COMPILE-ERROR · 0 files written diff --git a/.run/P37/restruct/calibrate_t4_sig11.log b/.run/P37/restruct/calibrate_t4_sig11.log new file mode 100644 index 0000000000..3c447982a0 --- /dev/null +++ b/.run/P37/restruct/calibrate_t4_sig11.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.075 s per object + md_SC07_004 1/1 identical, mean 0.512 s per object + ov_SC03_015 32/32 identical, mean 0.138 s per object + ov_SC04_011 28/28 identical, mean 0.138 s per object diff --git a/.run/P37/restruct/cycle_t4sig2.log b/.run/P37/restruct/cycle_t4sig2.log index 29be7204a6..9daf3dae95 100644 --- a/.run/P37/restruct/cycle_t4sig2.log +++ b/.run/P37/restruct/cycle_t4sig2.log @@ -7,3 +7,5 @@ cycle: t4_sig8 committed d585b9a8a — restruct: signature func_80188A30 — DIF log: t4_sig9 cycle: t4_sig9 committed 7601eb870 — restruct: signature func_801A1E94 — COMPILE-ERROR · 0 files written | (no src change) log: t4_sig10 +cycle: t4_sig10 committed 4ba23d0b9 — restruct: signature func_801A5C44 — COMPILE-ERROR · 0 files written | (no src change) +log: t4_sig11 diff --git a/.run/P37/restruct/ledger.jsonl b/.run/P37/restruct/ledger.jsonl index 38c1af4861..f50953ef55 100644 --- a/.run/P37/restruct/ledger.jsonl +++ b/.run/P37/restruct/ledger.jsonl @@ -143674,3 +143674,5 @@ {"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": []} {"ts": "2026-09-12 18:24:30", "label": "t4_sig9", "rung": "D", "calib": {"head": "d585b9a8a", "stamp": "e34b6679685f"}, "tu": "src/md_SC07_004/md_SC07_004.c", "unit": "def:func_801A1E94", "callee": "func_801A1E94", "signature": "void func_801A1E94(s32 a0)", "definition": true, "verdict": "REFUSED", "err": "src/md_SC07_004/md_SC07_004.c:4396: too few arguments to function `func_801A1E94'\njtbl_rodata_pads --derive md_SC07_004: 0,0t1,0t1,0,0t1,0,0,0,0\nsrc/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC0", "nhash_before": null, "nhash_after": null, "sites": []} {"ts": "2026-09-12 18:25:22", "label": "t4_sig10", "rung": "D", "calib": {"head": "7601eb870", "stamp": "e34b6679685f"}, "tu": "src/md_SC07_004/md_SC07_004.c", "unit": "def:func_801A5C44", "callee": "func_801A5C44", "signature": "void func_801A5C44(s32 a0)", "definition": true, "verdict": "REFUSED", "err": "src/md_SC07_004/md_SC07_004.c:4200: too few arguments to function `func_801A5C44'\nsrc/md_SC07_004/md_SC07_004.c:4687: too few arguments to function `func_801A5C44'\njtbl_rodata_pads --derive md_SC07_00", "nhash_before": null, "nhash_after": null, "sites": []} +{"ts": "2026-09-12 18:26:13", "label": "t4_sig11", "rung": "D", "calib": {"head": "4ba23d0b9", "stamp": "e34b6679685f"}, "tu": "src/ov_SC03_115/ov_SC03_115_jr_8017BEBC.c", "unit": "def:func_8017FC5C", "callee": "func_8017FC5C", "signature": "s32 * func_8017FC5C(s32 *a0, s32 a1, s32 a2)", "definition": true, "verdict": "REFUSED", "err": "src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c:4875: too few arguments to function `func_8017FC5C'\nsrc/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top level:\nsrc/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top", "nhash_before": null, "nhash_after": null, "sites": []} +{"ts": "2026-09-12 18:26:13", "label": "t4_sig11", "rung": "D", "calib": {"head": "4ba23d0b9", "stamp": "e34b6679685f"}, "tu": "src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c", "unit": "def:func_8017FC5C", "callee": "func_8017FC5C", "signature": "s32 * func_8017FC5C(s32 *a0, s32 a1, s32 a2)", "definition": true, "verdict": "REFUSED", "err": "src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c:4875: too few arguments to function `func_8017FC5C'\nsrc/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top level:\nsrc/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top", "nhash_before": null, "nhash_after": null, "sites": []} diff --git a/.run/P37/restruct/run_t4_sig11.log b/.run/P37/restruct/run_t4_sig11.log new file mode 100644 index 0000000000..478436a5de --- /dev/null +++ b/.run/P37/restruct/run_t4_sig11.log @@ -0,0 +1,8 @@ +18:26:12 signature func_8017FC5C: `s32 * func_8017FC5C(s32 *a0, s32 a1, s32 a2)` — 2 definition(s) in ['src/ov_SC03_115/ov_SC03_115_jr_8017BEBC.c', 'src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c'], 5 declarations in 0 other files +18:26:13 signature func_8017FC5C: COMPILE-ERROR src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c:4875: too few arguments to function `func_8017FC5C' +src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top level: +src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c: At top — nothing written +18:26:13 restruct: signature func_8017FC5C — COMPILE-ERROR · 0 files written +Command exited with non-zero status 1 +t4_sig11 wall=40.91 s +exit=1 diff --git a/.run/P37/restruct/snapshot_t4_sig11.log b/.run/P37/restruct/snapshot_t4_sig11.log new file mode 100644 index 0000000000..620e5305cf --- /dev/null +++ b/.run/P37/restruct/snapshot_t4_sig11.log @@ -0,0 +1 @@ +delever_oracle --snapshot-baseline: 7428 object(s) under .run/P36/delever/baseline at 4ba23d0b9; 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 9b609a44a0..633ea948f2 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -607,7 +607,9 @@ bucketed by what each bucket needs before any plan is proposed. **Candidates for - **2026-09-12 — T4 step (d) `t4_sig10`** (`restruct --apply --rung D --callee func_801A5C44 --body $A/md_SC07_004__func_801A5C44/body.c`; `.run/P37/restruct/run_t4_sig10.log`): `restruct: signature func_801A5C44 — COMPILE-ERROR · 0 files written` — (no src change) · cause: `signature func_801A5C44: COMPILE-ERROR src/md_SC07_004/md_SC07_004.c:4200: too few arguments to function `func_801A5C44'`. -## 🛑 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_sig10` on 7601eb870: restruct: signature func_801A5C44 — COMPILE-ERROR · 0 files written +- **2026-09-12 — T4 step (d) `t4_sig11`** (`restruct --apply --rung D --callee func_8017FC5C --body $A/ov_SC03_115__func_8017FC5C/body.c --all-defs`; `.run/P37/restruct/run_t4_sig11.log`): `restruct: signature func_8017FC5C — COMPILE-ERROR · 0 files written` — (no src change) · cause: `signature func_8017FC5C: COMPILE-ERROR src/ov_SC04_002/ov_SC04_002_jr_8017BEBC.c:4875: too few arguments to function `func_8017FC5C'`. + +## 🛑 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_sig11` on 4ba23d0b9: restruct: signature func_8017FC5C — 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