From e16cb5d6f2b36545ca1cd3dbadb05ba92e672bb6 Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Fri, 11 Sep 2026 13:06:52 -0600 Subject: [PATCH] =?UTF-8?q?phase-36:=20S105=20s105=5Ff3=20=E2=80=94=20func?= =?UTF-8?q?=5F801A4258=20banked=20at=200=20through=20the=20whole-object=20?= =?UTF-8?q?gate=20+=20propagated=20=E2=80=94=20f3=20plain=20C=20(compound?= =?UTF-8?q?=20updates=20on=20the=20field,=20pad=20+=20barrier=20+=204=20pi?= =?UTF-8?q?ns=20gone)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .run/P36/delever/calibration.json | 352 +++++++++++++++--------------- .run/P36/delever/ledger.jsonl | 1 + src/md_SC07_004/md_SC07_004.c | 39 +--- 3 files changed, 186 insertions(+), 206 deletions(-) diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json index ac36668943..4a9b4626db 100644 --- a/.run/P36/delever/calibration.json +++ b/.run/P36/delever/calibration.json @@ -1,5 +1,5 @@ { - "head": "e7a78c2f1", + "head": "f4521a077", "stamp": "15956e4a96c4", "generated": "2026-09-11 13:06", "aliases": [ @@ -21,206 +21,206 @@ "main": { "objects": 85, "identical": 85, - "seconds": 6.526, - "mean_s": 0.077 + "seconds": 6.450999999999998, + "mean_s": 0.076 }, "ov_SC03_014": { "objects": 32, "identical": 32, - "seconds": 4.465, + "seconds": 4.482000000000001, "mean_s": 0.14 }, "ov_SC03_015": { "objects": 32, "identical": 32, - "seconds": 4.285, - "mean_s": 0.134 + "seconds": 4.409999999999999, + "mean_s": 0.138 }, "ov_SC04_011": { "objects": 28, "identical": 28, - "seconds": 3.722000000000001, + "seconds": 3.718, "mean_s": 0.133 } }, "per_object_seconds": { - "build/src/800.o": 0.685, - "build/src/800_b.o": 0.068, - "build/src/800_b_2.o": 0.319, - "build/src/800_b_o0a.o": 0.092, - "build/src/800_c.o": 0.187, - "build/src/800b2.o": 0.084, - "build/src/apicard1.o": 0.063, + "build/src/800.o": 0.699, + "build/src/800_b.o": 0.067, + "build/src/800_b_2.o": 0.294, + "build/src/800_b_o0a.o": 0.098, + "build/src/800_c.o": 0.177, + "build/src/800b2.o": 0.08, + "build/src/apicard1.o": 0.07, "build/src/apicard2.o": 0.061, - "build/src/apicard3.o": 0.064, - "build/src/apicard4.o": 0.065, - "build/src/apicard5.o": 0.086, - "build/src/apicard6.o": 0.057, - "build/src/apicard7.o": 0.055, - "build/src/boot.o": 0.082, - "build/src/gap.o": 0.059, + "build/src/apicard3.o": 0.071, + "build/src/apicard4.o": 0.074, + "build/src/apicard5.o": 0.062, + "build/src/apicard6.o": 0.086, + "build/src/apicard7.o": 0.077, + "build/src/boot.o": 0.085, + "build/src/gap.o": 0.094, "build/src/libapi1.o": 0.056, - "build/src/libapi2.o": 0.053, - "build/src/libc2_1.o": 0.062, - "build/src/libc2_2.o": 0.058, - "build/src/libcd1.o": 0.066, - "build/src/libcd2.o": 0.058, - "build/src/libetc.o": 0.063, - "build/src/libgpu.o": 0.055, - "build/src/libgpu2.o": 0.071, - "build/src/libgs1.o": 0.063, - "build/src/libgs2.o": 0.06, - "build/src/libgs3.o": 0.046, - "build/src/libgs4.o": 0.06, - "build/src/libgs5.o": 0.067, - "build/src/libgs6.o": 0.071, - "build/src/libgs7.o": 0.059, - "build/src/libgs8.o": 0.057, - "build/src/libgte1.o": 0.062, - "build/src/libgte10.o": 0.052, - "build/src/libgte11.o": 0.064, - "build/src/libgte12.o": 0.054, - "build/src/libgte13.o": 0.064, - "build/src/libgte14.o": 0.064, - "build/src/libgte15.o": 0.072, - "build/src/libgte16.o": 0.061, + "build/src/libapi2.o": 0.054, + "build/src/libc2_1.o": 0.06, + "build/src/libc2_2.o": 0.057, + "build/src/libcd1.o": 0.065, + "build/src/libcd2.o": 0.068, + "build/src/libetc.o": 0.059, + "build/src/libgpu.o": 0.068, + "build/src/libgpu2.o": 0.057, + "build/src/libgs1.o": 0.066, + "build/src/libgs2.o": 0.065, + "build/src/libgs3.o": 0.061, + "build/src/libgs4.o": 0.049, + "build/src/libgs5.o": 0.064, + "build/src/libgs6.o": 0.073, + "build/src/libgs7.o": 0.061, + "build/src/libgs8.o": 0.062, + "build/src/libgte1.o": 0.06, + "build/src/libgte10.o": 0.063, + "build/src/libgte11.o": 0.063, + "build/src/libgte12.o": 0.061, + "build/src/libgte13.o": 0.059, + "build/src/libgte14.o": 0.062, + "build/src/libgte15.o": 0.054, + "build/src/libgte16.o": 0.052, "build/src/libgte17.o": 0.057, - "build/src/libgte18.o": 0.06, - "build/src/libgte19.o": 0.066, - "build/src/libgte2.o": 0.065, + "build/src/libgte18.o": 0.058, + "build/src/libgte19.o": 0.065, + "build/src/libgte2.o": 0.056, "build/src/libgte20.o": 0.066, - "build/src/libgte21.o": 0.069, - "build/src/libgte22.o": 0.067, - "build/src/libgte23.o": 0.068, - "build/src/libgte24.o": 0.069, - "build/src/libgte25.o": 0.073, + "build/src/libgte21.o": 0.062, + "build/src/libgte22.o": 0.063, + "build/src/libgte23.o": 0.062, + "build/src/libgte24.o": 0.064, + "build/src/libgte25.o": 0.06, "build/src/libgte26.o": 0.06, - "build/src/libgte27.o": 0.065, - "build/src/libgte28.o": 0.075, - "build/src/libgte29.o": 0.069, - "build/src/libgte3.o": 0.066, - "build/src/libgte30.o": 0.07, - "build/src/libgte4.o": 0.061, - "build/src/libgte5.o": 0.06, - "build/src/libgte6.o": 0.06, - "build/src/libgte7.o": 0.07, - "build/src/libgte8.o": 0.057, - "build/src/libgte9.o": 0.058, - "build/src/libmcrd1.o": 0.076, - "build/src/libmcrd2.o": 0.06, - "build/src/libpad1.o": 0.071, - "build/src/libpad2.o": 0.075, - "build/src/sgap.o": 0.062, - "build/src/sgap_2.o": 0.062, - "build/src/sgap_3.o": 0.071, - "build/src/sgap_4.o": 0.065, + "build/src/libgte27.o": 0.057, + "build/src/libgte28.o": 0.059, + "build/src/libgte29.o": 0.066, + "build/src/libgte3.o": 0.067, + "build/src/libgte30.o": 0.066, + "build/src/libgte4.o": 0.062, + "build/src/libgte5.o": 0.069, + "build/src/libgte6.o": 0.061, + "build/src/libgte7.o": 0.06, + "build/src/libgte8.o": 0.061, + "build/src/libgte9.o": 0.059, + "build/src/libmcrd1.o": 0.066, + "build/src/libmcrd2.o": 0.063, + "build/src/libpad1.o": 0.065, + "build/src/libpad2.o": 0.068, + "build/src/sgap.o": 0.061, + "build/src/sgap_2.o": 0.064, + "build/src/sgap_3.o": 0.056, + "build/src/sgap_4.o": 0.068, "build/src/sgap_5.o": 0.065, - "build/src/sgap_6.o": 0.069, - "build/src/sgap_8.o": 0.072, - "build/src/snd1.o": 0.072, - "build/src/snd10.o": 0.068, - "build/src/snd11.o": 0.065, - "build/src/snd12.o": 0.078, - "build/src/snd2.o": 0.071, - "build/src/snd3.o": 0.062, - "build/src/snd4.o": 0.063, - "build/src/snd5.o": 0.06, - "build/src/snd6.o": 0.074, - "build/src/snd7.o": 0.059, - "build/src/snd8.o": 0.068, - "build/src/snd9.o": 0.062, - "build/src/ov_SC03_014/ov_SC03_014.o": 0.125, - "build/src/ov_SC03_014/ov_SC03_014_after.o": 0.482, - "build/src/ov_SC03_014/ov_SC03_014_jr_8012ACE0.o": 0.364, - "build/src/ov_SC03_014/ov_SC03_014_jr_80135888.o": 0.061, - "build/src/ov_SC03_014/ov_SC03_014_jr_80135A4C.o": 0.056, - "build/src/ov_SC03_014/ov_SC03_014_jr_80135D20.o": 0.13, - "build/src/ov_SC03_014/ov_SC03_014_jr_801380E0.o": 0.16, - "build/src/ov_SC03_014/ov_SC03_014_jr_8013C98C.o": 0.12, - "build/src/ov_SC03_014/ov_SC03_014_jr_8013F350.o": 0.075, - "build/src/ov_SC03_014/ov_SC03_014_jr_8013FFD8.o": 0.065, - "build/src/ov_SC03_014/ov_SC03_014_jr_80140608.o": 0.178, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015444C.o": 0.073, - "build/src/ov_SC03_014/ov_SC03_014_jr_80154C24.o": 0.178, - "build/src/ov_SC03_014/ov_SC03_014_jr_801588CC.o": 0.092, - "build/src/ov_SC03_014/ov_SC03_014_jr_80159C84.o": 0.074, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015A3C8.o": 0.067, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015AE2C.o": 0.094, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015C32C.o": 0.45, - "build/src/ov_SC03_014/ov_SC03_014_jr_8016AB6C.o": 0.253, - "build/src/ov_SC03_014/ov_SC03_014_jr_80171B4C.o": 0.086, - "build/src/ov_SC03_014/ov_SC03_014_jr_801734BC.o": 0.194, - "build/src/ov_SC03_014/ov_SC03_014_jr_801789AC.o": 0.052, - "build/src/ov_SC03_014/ov_SC03_014_jr_80178D40.o": 0.095, - "build/src/ov_SC03_014/ov_SC03_014_jr_8017A4AC.o": 0.068, - "build/src/ov_SC03_014/ov_SC03_014_jr_8017AE2C.o": 0.152, - "build/src/ov_SC03_014/ov_SC03_014_jr_8017EB7C.o": 0.169, - "build/src/ov_SC03_014/ov_SC03_014_jr_80184440.o": 0.046, - "build/src/ov_SC03_014/ov_SC03_014_jr_801848E4.o": 0.277, - "build/src/ov_SC03_014/ov_SC03_014_o0b.o": 0.058, - "build/src/ov_SC03_014/ov_SC03_014_o0c.o": 0.057, - "build/src/ov_SC03_014/ov_SC03_014_o0d.o": 0.056, - "build/src/ov_SC03_014/ov_SC03_014_o0e.o": 0.058, - "build/src/ov_SC03_015/ov_SC03_015.o": 0.113, - "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.466, - "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.042, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.047, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.111, - "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.141, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.109, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.07, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.059, - "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.166, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.065, - "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.149, - "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.084, - "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.059, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.066, - "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.428, - "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.258, - "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.085, - "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.184, - "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.056, - "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.099, - "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.166, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.194, - "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.044, - "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.258, - "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.054, - "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.059, - "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.053, - "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.064, - "build/src/ov_SC04_011/ov_SC04_011.o": 0.115, - "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.406, - "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.313, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.043, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.052, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.114, - "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.147, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.107, + "build/src/sgap_6.o": 0.06, + "build/src/sgap_8.o": 0.077, + "build/src/snd1.o": 0.067, + "build/src/snd10.o": 0.061, + "build/src/snd11.o": 0.061, + "build/src/snd12.o": 0.058, + "build/src/snd2.o": 0.067, + "build/src/snd3.o": 0.06, + "build/src/snd4.o": 0.06, + "build/src/snd5.o": 0.061, + "build/src/snd6.o": 0.078, + "build/src/snd7.o": 0.062, + "build/src/snd8.o": 0.061, + "build/src/snd9.o": 0.068, + "build/src/ov_SC03_014/ov_SC03_014.o": 0.114, + "build/src/ov_SC03_014/ov_SC03_014_after.o": 0.49, + "build/src/ov_SC03_014/ov_SC03_014_jr_8012ACE0.o": 0.368, + "build/src/ov_SC03_014/ov_SC03_014_jr_80135888.o": 0.056, + "build/src/ov_SC03_014/ov_SC03_014_jr_80135A4C.o": 0.061, + "build/src/ov_SC03_014/ov_SC03_014_jr_80135D20.o": 0.126, + "build/src/ov_SC03_014/ov_SC03_014_jr_801380E0.o": 0.158, + "build/src/ov_SC03_014/ov_SC03_014_jr_8013C98C.o": 0.122, + "build/src/ov_SC03_014/ov_SC03_014_jr_8013F350.o": 0.078, + "build/src/ov_SC03_014/ov_SC03_014_jr_8013FFD8.o": 0.069, + "build/src/ov_SC03_014/ov_SC03_014_jr_80140608.o": 0.184, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015444C.o": 0.086, + "build/src/ov_SC03_014/ov_SC03_014_jr_80154C24.o": 0.163, + "build/src/ov_SC03_014/ov_SC03_014_jr_801588CC.o": 0.087, + "build/src/ov_SC03_014/ov_SC03_014_jr_80159C84.o": 0.062, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015A3C8.o": 0.07, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015AE2C.o": 0.085, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015C32C.o": 0.482, + "build/src/ov_SC03_014/ov_SC03_014_jr_8016AB6C.o": 0.25, + "build/src/ov_SC03_014/ov_SC03_014_jr_80171B4C.o": 0.103, + "build/src/ov_SC03_014/ov_SC03_014_jr_801734BC.o": 0.186, + "build/src/ov_SC03_014/ov_SC03_014_jr_801789AC.o": 0.055, + "build/src/ov_SC03_014/ov_SC03_014_jr_80178D40.o": 0.09, + "build/src/ov_SC03_014/ov_SC03_014_jr_8017A4AC.o": 0.067, + "build/src/ov_SC03_014/ov_SC03_014_jr_8017AE2C.o": 0.151, + "build/src/ov_SC03_014/ov_SC03_014_jr_8017EB7C.o": 0.176, + "build/src/ov_SC03_014/ov_SC03_014_jr_80184440.o": 0.047, + "build/src/ov_SC03_014/ov_SC03_014_jr_801848E4.o": 0.273, + "build/src/ov_SC03_014/ov_SC03_014_o0b.o": 0.043, + "build/src/ov_SC03_014/ov_SC03_014_o0c.o": 0.059, + "build/src/ov_SC03_014/ov_SC03_014_o0d.o": 0.054, + "build/src/ov_SC03_014/ov_SC03_014_o0e.o": 0.067, + "build/src/ov_SC03_015/ov_SC03_015.o": 0.117, + "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.491, + "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.39, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.045, + "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.11, + "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.158, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.106, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.074, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.063, + "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.172, + "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.157, + "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.061, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.065, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.082, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.426, + "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.263, + "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.102, + "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.195, + "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.052, + "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.096, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.07, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.171, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.199, + "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.052, + "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.248, + "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.061, + "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.055, + "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.054, + "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.06, + "build/src/ov_SC04_011/ov_SC04_011.o": 0.11, + "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.41, + "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.314, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.041, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.041, + "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.146, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.099, "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.069, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.056, - "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.165, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.06, - "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.163, - "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.077, + "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.161, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.069, + "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.156, + "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.063, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.068, - "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.336, - "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.205, - "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.097, - "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.161, - "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.087, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.059, - "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.43, - "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.045, - "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.053 + "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.064, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.084, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.334, + "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.208, + "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.089, + "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.055, + "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.066, + "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.052, + "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.057 }, "ok": true, "seconds": 2.2 diff --git a/.run/P36/delever/ledger.jsonl b/.run/P36/delever/ledger.jsonl index 63511aeba9..16c3371311 100644 --- a/.run/P36/delever/ledger.jsonl +++ b/.run/P36/delever/ledger.jsonl @@ -29592,3 +29592,4 @@ {"ts": "2026-09-11 12:34:23", "label": "s105_f1_minlever", "rung": "E", "calib": {"head": "a91f4efff", "stamp": "15956e4a96c4"}, "tu": "src/800.c", "fn": "func_80029D3C", "addr": 2147654972, "aliases": null, "header": false, "includers": 0, "nhash_before": "a5460b3abeb67559637ff85245fc98a16a582a50", "nhash_after": "558ab7c0ff2ef4dc4f916476f8b193bf7e6a5fbc", "source": ".run/P36/agents/main__func_80029D3C/body.c", "verdict": "LEVER-FREE", "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$4", "via": "", "line": 19270, "verdict": "NEEDED", "why": "left by the author", "oracle": ""}], "compiles": 1, "seconds": 0.442, "objects": ["build/src/800.o"], "before_text": "s32 func_80029D3C(void) {\n register s32 n __asm__(\"$4\"); // !FAKE: pin $4 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n register s32 s0 __asm__(\"$16\"); // !FAKE: pin $16 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n s32 p;\n s32 q;\n s32 ret;\n\n s0 = n;\n if (s0 <= 0) {\n ret = 0;\n } else {\n p = func_8002A4FC(s0) * 60;\n q = s0 - s0 * p / 4800;\n ret = q > 0 ? q : 1;\n }\n return ret;\n}\n", "after_text": "s32 func_80029D3C(void) {\n register s32 n __asm__(\"$4\"); // !FAKE: pin $4 \u2014 the function's own MISSING PARAMETER `s32 n` (assign_parms, function.c:3679; the caller ov_SC07_002 func_80185FB0 pins $4 = D_8011DB1A); parked as a SIGNATURE change, see scratch/patch_signature.c (P36 S105 f1 minimum-lever)\n s32 s0 = n;\n s32 p;\n s32 q;\n\n if (s0 <= 0) {\n return 0;\n }\n /* func_8002A4FC reads no argument (its body is `return *(u16 *)(D_800638FE + D_80078EEC * 16)`); every overlay\n * caller already calls it `(void)`. Passing `s0` here emits the `move a0,s0` the target does not have (its jal\n * delay slot is a nop). */\n p = ((s32 (*)(void))func_8002A4FC)() * 60;\n q = s0 - s0 * p / 4800;\n if (q <= 0) {\n q = 1;\n }\n return q;\n}\n"} {"ts": "2026-09-11 12:34:44", "label": "s105_f1_minlever", "rung": "E", "calib": {"head": "0afcea1dd", "stamp": "15956e4a96c4"}, "tu": "src/800.c", "fn": "func_80015D4C", "addr": 2147573068, "aliases": null, "header": false, "includers": 0, "nhash_before": "365e961c008df368484578e1a3f43fb9b2d76984", "nhash_after": "5844ddc5006ee1c858a740c09868cac5c60ed5ed", "source": ".run/P36/agents/main__func_80015D4C/body.c", "verdict": "LEVER-FREE", "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$4", "via": "", "line": 2991, "verdict": "NEEDED", "why": "left by the author", "oracle": ""}], "compiles": 1, "seconds": 0.441, "objects": ["build/src/800.o"], "before_text": "void func_80015D4C(s32 a0, s32 a1, s32 a2, s32 a3, u8 arg4, u8 arg5, u8 arg6, u16 arg7, u16 arg8)\n{\n extern OtBlk_80016450 D_800A651C[]; /* block scope: engine_core.h's DEFINE_ macros declare this symbol scalar in their own bodies */\n void *temp_v0;\n register s16 vx __asm__(\"$18\"); // !FAKE: pin $18 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n register s16 vy __asm__(\"$17\"); // !FAKE: pin $17 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n register u32 tag0 __asm__(\"$4\"); // !FAKE: pin $4 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n s32 depth4;\n\n temp_v0 = func_80010A08(0x18);\n *(u8 *)((u8 *)temp_v0 + 3) = 5;\n *(u8 *)((u8 *)temp_v0 + 7) = 0x28;\n vx = a0;\n vy = a1;\n if (arg8 < 4) {\n *(u8 *)((u8 *)temp_v0 + 7) = 0x2A;\n }\n\n *(u8 *)((u8 *)temp_v0 + 4) = arg4;\n *(u8 *)((u8 *)temp_v0 + 5) = arg5;\n *(u8 *)((u8 *)temp_v0 + 6) = arg6;\n *(s16 *)((u8 *)temp_v0 + 8) = vx;\n *(s16 *)((u8 *)temp_v0 + 0xA) = vy;\n *(s16 *)((u8 *)temp_v0 + 0xC) = a0 + a2;\n *(s16 *)((u8 *)temp_v0 + 0xE) = vy;\n *(s16 *)((u8 *)temp_v0 + 0x10) = vx;\n tag0 = *(u32 *)temp_v0;\n *(s16 *)((u8 *)temp_v0 + 0x12) = a1 + a3;\n *(s16 *)((u8 *)temp_v0 + 0x14) = a0 + a2;\n *(s16 *)((u8 *)temp_v0 + 0x16) = a1 + a3;\n\n depth4 = arg7 * 4;\n *(u32 *)temp_v0 = (tag0 & 0xFF000000) |\n (*(u32 *)(depth4 + D_800A651C[D_800B9A02].a) & 0xFFFFFF);\n *(u32 *)(depth4 + D_800A651C[D_800B9A02].a) =\n (*(u32 *)(depth4 + D_800A651C[D_800B9A02].a) & 0xFF000000) |\n ((u32)temp_v0 & 0xFFFFFF);\n if (arg8 < 4) {\n func_80016638(&D_800A6518[D_800B9A02 * 20], arg7, arg8);\n }\n}\n", "after_text": "void func_80015D4C(s32 a0, s32 a1, s32 a2, s32 a3, u8 arg4, u8 arg5, u8 arg6, u16 arg7, u16 arg8)\n{\n extern OtBlk_80016450 D_800A651C[]; /* block scope: engine_core.h's DEFINE_ macros declare this symbol scalar in their own bodies */\n void *temp_v0;\n s16 vx;\n s16 vy;\n register u32 tag0 __asm__(\"$4\"); // !FAKE: pin $4 tag0 \u2014 local-alloc qty_compare, local-alloc.c:1579: the 0xFF000000-masked tag word must take $a0 before the depth4+slot quantity (6 refs / 44 insns) does; a plain u32 is 6 refs / 56 insns and loses (P36 S105 f1 minimum-lever)\n s32 depth4;\n\n vx = a0; /* the s16 copies are made BEFORE the allocation call: they cross it, so global\n * gives them $s2/$s1 and a3/arg7 are the ones spilled (the target's frame) */\n vy = a1;\n temp_v0 = func_80010A08(0x18);\n *(u8 *)((u8 *)temp_v0 + 3) = 5;\n *(u8 *)((u8 *)temp_v0 + 7) = 0x28;\n if (arg8 < 4) {\n *(u8 *)((u8 *)temp_v0 + 7) = 0x2A;\n }\n\n *(u8 *)((u8 *)temp_v0 + 4) = arg4;\n *(u8 *)((u8 *)temp_v0 + 5) = arg5;\n *(u8 *)((u8 *)temp_v0 + 6) = arg6;\n *(s16 *)((u8 *)temp_v0 + 8) = vx;\n *(s16 *)((u8 *)temp_v0 + 0xA) = vy;\n *(s16 *)((u8 *)temp_v0 + 0xC) = a0 + a2;\n *(s16 *)((u8 *)temp_v0 + 0xE) = vy;\n *(s16 *)((u8 *)temp_v0 + 0x10) = vx;\n tag0 = *(u32 *)temp_v0;\n *(s16 *)((u8 *)temp_v0 + 0x12) = a1 + a3;\n *(s16 *)((u8 *)temp_v0 + 0x14) = a0 + a2;\n *(s16 *)((u8 *)temp_v0 + 0x16) = a1 + a3;\n\n depth4 = arg7 * 4;\n *(u32 *)temp_v0 = (tag0 & 0xFF000000) |\n (*(u32 *)(depth4 + D_800A651C[D_800B9A02].a) & 0xFFFFFF);\n *(u32 *)(depth4 + D_800A651C[D_800B9A02].a) =\n (*(u32 *)(depth4 + D_800A651C[D_800B9A02].a) & 0xFF000000) |\n ((u32)temp_v0 & 0xFFFFFF);\n if (arg8 < 4) {\n func_80016638(&D_800A6518[D_800B9A02 * 20], arg7, arg8);\n }\n}\n"} {"ts": "2026-09-11 13:06:32", "label": "s105_f3", "rung": "E", "calib": {"head": "e7a78c2f1", "stamp": "15956e4a96c4"}, "tu": "src/md_SC07_004/md_SC07_004.c", "fn": "func_801AEB94", "addr": 2149247892, "aliases": null, "header": false, "includers": 0, "nhash_before": "c2efd5f42514c9227230a9b27cf393355cdd8858", "nhash_after": "f130c380fd53bfd4f7b85a0cc7dd66d26a4eb874", "source": ".run/P36/agents/md_SC07_004__func_801AEB94/body.c", "verdict": "LEVER-FREE", "sites": [], "compiles": 1, "seconds": 0.312, "objects": ["build/src/md_SC07_004/md_SC07_004.o"], "before_text": "void func_801AEB94(void)\n{\n s32 q; /* $s0 */\n s32 i; /* $s1 */\n s32 p; /* $s2 */\n s32 loc[8];\n s32 a0v, a1v;\n\n p = (s32)D_801F8EA0;\n func_80049CAC(p + 0x10, (s32)loc);\n\n a0v = (s32)loc;\n __asm__ __volatile__(\"\" : \"=r\"(a0v) : \"0\"(a0v)); // !FAKE: launder \u2014 NEEDED DIFFERS (P36 rung B tus9)\n a1v = p + 8;\n __asm__ __volatile__(\"\" : \"=r\"(a1v) : \"0\"(a1v)); // !FAKE: launder \u2014 NEEDED DIFFERS (P36 rung B tus9)\n\n q = p + 0x18;\n loc[5] = *(s16 *)p;\n loc[6] = (s16)D_801F8EA2;\n i = 0;\n loc[7] = (s16)D_801F8EA4;\n func_80020F34(a0v, a1v);\n\n do {\n if (*(u16 *)q != 0) {\n s32 b0 = p;\n func_801AEC38(b0, q, (s32)loc);\n }\n i++;\n q += 0x24;\n } while (i < 0x20);\n}\n", "after_text": "void func_801AEB94(void)\n{\n s32 q; /* $s0 */\n s32 i; /* $s1 */\n s32 p; /* $s2 */\n s32 loc[8];\n\n p = (s32)D_801F8EA0;\n func_80049CAC(p + 0x10, (s32)loc);\n\n loc[5] = *(s16 *)p;\n loc[6] = (s16)D_801F8EA2;\n loc[7] = (s16)D_801F8EA4;\n func_80020F34((s32)loc, p + 8);\n\n q = p + 0x18;\n for (i = 0; i < 0x20; i++, q += 0x24) {\n if (*(u16 *)q != 0) {\n func_801AEC38(p, q, (s32)loc);\n }\n }\n}\n"} +{"ts": "2026-09-11 13:06:50", "label": "s105_f3", "rung": "E", "calib": {"head": "f4521a077", "stamp": "15956e4a96c4"}, "tu": "src/md_SC07_004/md_SC07_004.c", "fn": "func_801A4258", "addr": 2149204568, "aliases": null, "header": false, "includers": 0, "nhash_before": "cf928d6582dcd73bb4829190930bcc07e1c05c3b", "nhash_after": "590e8e90972dbf75b95bcd31ea2975cab5c378e9", "source": ".run/P36/agents/md_SC07_004__func_801A4258/body.c", "verdict": "LEVER-FREE", "sites": [], "compiles": 1, "seconds": 0.315, "objects": ["build/src/md_SC07_004/md_SC07_004.o"], "before_text": "void func_801A4258(void) {\n s32 pad[6];\n s16 *p;\n register s32 t __asm__(\"$3\"); // !FAKE: pin $3 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n register s32 u __asm__(\"$4\"); // !FAKE: pin $4 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n register s32 sum __asm__(\"$2\"); // !FAKE: pin $2 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n register s32 zr __asm__(\"$0\"); // !FAKE: pin $0 \u2014 NEEDED DIFFERS (P36 rung B tus9)\n s32 q;\n\n (void)&pad;\n __asm__ __volatile__(\"\" ::: \"memory\"); // !FAKE: barrier memory \u2014 NEEDED DIFFERS (P36 rung B tus9)\n p = &D_801F8870;\n\n t = *p;\n if (t != D_801F8878) {\n u = t + zr;\n sum = u + (u16)D_801F8880;\n q = (u32)sum >> 7;\n *p = (s16)sum;\n D_801F8744[0] = (u8)q;\n }\n\n t = D_801F8872;\n if (t != D_801F887A) {\n u = t + zr;\n sum = u + (u16)D_801F8882;\n q = (u32)sum >> 7;\n D_801F8872 = (s16)sum;\n D_801F8744[1] = (u8)q;\n }\n\n t = D_801F8874;\n if (t != D_801F887C) {\n u = t + zr;\n sum = u + (u16)D_801F8884;\n q = (u32)sum >> 7;\n D_801F8874 = (s16)sum;\n D_801F8744[2] = (u8)q;\n }\n}\n", "after_text": "void func_801A4258(void) {\n s16 *p;\n p = &D_801F8870;\n\n if (*p != D_801F8878) {\n *p += (u16)D_801F8880;\n D_801F8744[0] = *p >> 7;\n }\n\n if (D_801F8872 != D_801F887A) {\n D_801F8872 += (u16)D_801F8882;\n D_801F8744[1] = D_801F8872 >> 7;\n }\n\n if (D_801F8874 != D_801F887C) {\n D_801F8874 += (u16)D_801F8884;\n D_801F8744[2] = D_801F8874 >> 7;\n }\n}\n"} diff --git a/src/md_SC07_004/md_SC07_004.c b/src/md_SC07_004/md_SC07_004.c index a429f569cb..7b481462e6 100644 --- a/src/md_SC07_004/md_SC07_004.c +++ b/src/md_SC07_004/md_SC07_004.c @@ -2793,43 +2793,22 @@ extern s16 D_801F8882; extern s16 D_801F8884; void func_801A4258(void) { - s32 pad[6]; s16 *p; - register s32 t __asm__("$3"); // !FAKE: pin $3 — NEEDED DIFFERS (P36 rung B tus9) - register s32 u __asm__("$4"); // !FAKE: pin $4 — NEEDED DIFFERS (P36 rung B tus9) - register s32 sum __asm__("$2"); // !FAKE: pin $2 — NEEDED DIFFERS (P36 rung B tus9) - register s32 zr __asm__("$0"); // !FAKE: pin $0 — NEEDED DIFFERS (P36 rung B tus9) - s32 q; - - (void)&pad; - __asm__ __volatile__("" ::: "memory"); // !FAKE: barrier memory — NEEDED DIFFERS (P36 rung B tus9) p = &D_801F8870; - t = *p; - if (t != D_801F8878) { - u = t + zr; - sum = u + (u16)D_801F8880; - q = (u32)sum >> 7; - *p = (s16)sum; - D_801F8744[0] = (u8)q; + if (*p != D_801F8878) { + *p += (u16)D_801F8880; + D_801F8744[0] = *p >> 7; } - t = D_801F8872; - if (t != D_801F887A) { - u = t + zr; - sum = u + (u16)D_801F8882; - q = (u32)sum >> 7; - D_801F8872 = (s16)sum; - D_801F8744[1] = (u8)q; + if (D_801F8872 != D_801F887A) { + D_801F8872 += (u16)D_801F8882; + D_801F8744[1] = D_801F8872 >> 7; } - t = D_801F8874; - if (t != D_801F887C) { - u = t + zr; - sum = u + (u16)D_801F8884; - q = (u32)sum >> 7; - D_801F8874 = (s16)sum; - D_801F8744[2] = (u8)q; + if (D_801F8874 != D_801F887C) { + D_801F8874 += (u16)D_801F8884; + D_801F8744[2] = D_801F8874 >> 7; } }