diff --git a/.run/P36/baseline/r22_t8_tus4.log b/.run/P36/baseline/r22_t8_tus4.log new file mode 100644 index 0000000000..d465c61211 --- /dev/null +++ b/.run/P36/baseline/r22_t8_tus4.log @@ -0,0 +1,475 @@ +clean: removed build/, expected/, and the regenerated splat tree (asm/, assets/, undefined_*_auto.txt). +disc-extract: up to date — extracted/retail/ matches the committed manifest (sha1 e5c6019249dec3c71bb2cf40658a78439dddb037) +splat 0.41.0 (powered by spimdisasm 1.41.0) + 0%| | 0/1096 [00:00 A=DIFFERS B: removed 0 needed 2 compiles 3 +19:33:04 delever: batch t8_tus4 — 1 files (TUs; 1 drawable) · 1 bodies: 0 lever-free, 1 residue, 0 refused · sites removed 0 / needed 2 / refused 2 / deferred 0 · replays 0 (0 disagreed) · compiles 4 in 14 s wall · final 1/1 identical · written 1 files diff --git a/.run/P36/delever/batch_t8_tus4.json b/.run/P36/delever/batch_t8_tus4.json new file mode 100644 index 0000000000..e346905f63 --- /dev/null +++ b/.run/P36/delever/batch_t8_tus4.json @@ -0,0 +1,41 @@ +{ + "label": "t8_tus4", + "generated": "2026-10-02 19:33", + "headers": false, + "batch": 300, + "only": null, + "files": 1, + "drawable_files": 1, + "wall_s": 14.1, + "calib": { + "head": "ac3a3b5f8a", + "stamp": "588cbf38c6e4" + }, + "bodies": 1, + "compiles": 4, + "sites_removed": 0, + "sites_needed": 2, + "sites_refused": 2, + "sites_deferred": 0, + "lever_free": 0, + "residue": 1, + "refused_bodies": 0, + "replays": 0, + "disagreed": 0, + "written": 1, + "seconds": 0.27371978759765625, + "final_ok": 1, + "final_bad": 0, + "per_file": [ + { + "tu": "src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c", + "bodies": 1, + "final": "IDENTICAL", + "written": true, + "removed": 0, + "needed": 2, + "refused": 2, + "compiles": 4 + } + ] +} diff --git a/.run/P36/delever/calibrate_t8_tus4.log b/.run/P36/delever/calibrate_t8_tus4.log new file mode 100644 index 0000000000..847575d4e8 --- /dev/null +++ b/.run/P36/delever/calibrate_t8_tus4.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; 3.3 s — OK + main 85/85 identical, mean 0.178 s per object + md_SC07_004 1/1 identical, mean 0.883 s per object + ov_SC03_015 32/32 identical, mean 0.326 s per object + ov_SC04_011 28/28 identical, mean 0.253 s per object diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json index e222ad1fb0..b0aff6fc84 100644 --- a/.run/P36/delever/calibration.json +++ b/.run/P36/delever/calibration.json @@ -1,7 +1,7 @@ { - "head": "bb84bb1ab5", + "head": "ac3a3b5f8a", "stamp": "588cbf38c6e4", - "generated": "2026-10-02 19:29", + "generated": "2026-10-02 19:32", "aliases": [ "main", "md_SC07_004", @@ -21,176 +21,176 @@ "main": { "objects": 85, "identical": 85, - "seconds": 7.239999999999998, - "mean_s": 0.085 + "seconds": 15.169999999999998, + "mean_s": 0.178 }, "md_SC07_004": { "objects": 1, "identical": 1, - "seconds": 0.527, - "mean_s": 0.527 + "seconds": 0.883, + "mean_s": 0.883 }, "ov_SC03_015": { "objects": 32, "identical": 32, - "seconds": 5.178, - "mean_s": 0.162 + "seconds": 10.437999999999999, + "mean_s": 0.326 }, "ov_SC04_011": { "objects": 28, "identical": 28, - "seconds": 4.3500000000000005, - "mean_s": 0.155 + "seconds": 7.079999999999999, + "mean_s": 0.253 } }, "per_object_seconds": { - "build/src/800.o": 0.77, - "build/src/800_b.o": 0.096, - "build/src/800_b_2.o": 0.349, - "build/src/800_b_o0a.o": 0.072, - "build/src/800_c.o": 0.215, - "build/src/800b2.o": 0.103, - "build/src/apicard1.o": 0.072, - "build/src/apicard2.o": 0.072, - "build/src/apicard3.o": 0.087, - "build/src/apicard4.o": 0.066, - "build/src/apicard5.o": 0.076, - "build/src/apicard6.o": 0.081, - "build/src/apicard7.o": 0.078, - "build/src/boot.o": 0.1, - "build/src/gap.o": 0.097, - "build/src/libapi1.o": 0.073, - "build/src/libapi2.o": 0.064, - "build/src/libc2_1.o": 0.065, - "build/src/libc2_2.o": 0.063, - "build/src/libcd1.o": 0.071, - "build/src/libcd2.o": 0.068, - "build/src/libetc.o": 0.065, - "build/src/libgpu.o": 0.074, - "build/src/libgpu2.o": 0.073, - "build/src/libgs1.o": 0.065, - "build/src/libgs2.o": 0.067, - "build/src/libgs3.o": 0.062, - "build/src/libgs4.o": 0.065, - "build/src/libgs5.o": 0.066, - "build/src/libgs6.o": 0.081, - "build/src/libgs7.o": 0.065, - "build/src/libgs8.o": 0.061, - "build/src/libgte1.o": 0.063, - "build/src/libgte10.o": 0.057, - "build/src/libgte11.o": 0.062, - "build/src/libgte12.o": 0.065, - "build/src/libgte13.o": 0.062, - "build/src/libgte14.o": 0.064, - "build/src/libgte15.o": 0.075, - "build/src/libgte16.o": 0.065, - "build/src/libgte17.o": 0.068, - "build/src/libgte18.o": 0.06, - "build/src/libgte19.o": 0.07, - "build/src/libgte2.o": 0.071, - "build/src/libgte20.o": 0.075, - "build/src/libgte21.o": 0.077, - "build/src/libgte22.o": 0.072, - "build/src/libgte23.o": 0.085, - "build/src/libgte24.o": 0.073, - "build/src/libgte25.o": 0.07, - "build/src/libgte26.o": 0.076, - "build/src/libgte27.o": 0.074, - "build/src/libgte28.o": 0.079, - "build/src/libgte29.o": 0.08, - "build/src/libgte3.o": 0.085, - "build/src/libgte30.o": 0.071, - "build/src/libgte4.o": 0.072, - "build/src/libgte5.o": 0.072, - "build/src/libgte6.o": 0.075, - "build/src/libgte7.o": 0.069, - "build/src/libgte8.o": 0.072, - "build/src/libgte9.o": 0.067, - "build/src/libmcrd1.o": 0.086, - "build/src/libmcrd2.o": 0.085, - "build/src/libpad1.o": 0.075, - "build/src/libpad2.o": 0.083, - "build/src/sgap.o": 0.067, - "build/src/sgap_2.o": 0.069, - "build/src/sgap_3.o": 0.064, - "build/src/sgap_4.o": 0.084, - "build/src/sgap_5.o": 0.064, - "build/src/sgap_6.o": 0.063, - "build/src/sgap_8.o": 0.074, - "build/src/snd1.o": 0.075, - "build/src/snd10.o": 0.064, - "build/src/snd11.o": 0.063, - "build/src/snd12.o": 0.067, - "build/src/snd2.o": 0.071, - "build/src/snd3.o": 0.071, - "build/src/snd4.o": 0.064, - "build/src/snd5.o": 0.076, - "build/src/snd6.o": 0.069, - "build/src/snd7.o": 0.066, - "build/src/snd8.o": 0.063, - "build/src/snd9.o": 0.069, - "build/src/md_SC07_004/md_SC07_004.o": 0.527, - "build/src/ov_SC03_015/ov_SC03_015.o": 0.149, - "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.533, - "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.407, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.076, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.075, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.137, - "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.179, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.141, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.098, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.086, - "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.201, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.095, - "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.199, - "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.107, - "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.084, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.089, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.108, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.489, - "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.28, - "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.122, - "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.221, - "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.073, - "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.115, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.087, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.183, - "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.067, - "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.287, - "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.065, - "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.073, - "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.074, - "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.082, - "build/src/ov_SC04_011/ov_SC04_011.o": 0.147, - "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.061, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.061, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.128, - "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.157, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.129, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.091, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.08, - "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.19, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.081, - "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.173, - "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.105, - "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.075, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.086, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.108, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.38, - "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.232, - "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.118, - "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.188, - "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.071, - "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.099, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.08, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.112, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.481, - "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.058, - "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.066 + "build/src/800.o": 1.555, + "build/src/800_b.o": 0.129, + "build/src/800_b_2.o": 0.666, + "build/src/800_b_o0a.o": 0.138, + "build/src/800_c.o": 0.459, + "build/src/800b2.o": 0.129, + "build/src/apicard1.o": 0.132, + "build/src/apicard2.o": 0.176, + "build/src/apicard3.o": 0.166, + "build/src/apicard4.o": 0.202, + "build/src/apicard5.o": 0.18, + "build/src/apicard6.o": 0.158, + "build/src/apicard7.o": 0.167, + "build/src/boot.o": 0.161, + "build/src/gap.o": 0.186, + "build/src/libapi1.o": 0.233, + "build/src/libapi2.o": 0.148, + "build/src/libc2_1.o": 0.129, + "build/src/libc2_2.o": 0.278, + "build/src/libcd1.o": 0.191, + "build/src/libcd2.o": 0.096, + "build/src/libetc.o": 0.248, + "build/src/libgpu.o": 0.089, + "build/src/libgpu2.o": 0.179, + "build/src/libgs1.o": 0.084, + "build/src/libgs2.o": 0.171, + "build/src/libgs3.o": 0.154, + "build/src/libgs4.o": 0.199, + "build/src/libgs5.o": 0.241, + "build/src/libgs6.o": 0.2, + "build/src/libgs7.o": 0.199, + "build/src/libgs8.o": 0.271, + "build/src/libgte1.o": 0.258, + "build/src/libgte10.o": 0.228, + "build/src/libgte11.o": 0.131, + "build/src/libgte12.o": 0.165, + "build/src/libgte13.o": 0.146, + "build/src/libgte14.o": 0.121, + "build/src/libgte15.o": 0.112, + "build/src/libgte16.o": 0.08, + "build/src/libgte17.o": 0.088, + "build/src/libgte18.o": 0.087, + "build/src/libgte19.o": 0.106, + "build/src/libgte2.o": 0.203, + "build/src/libgte20.o": 0.13, + "build/src/libgte21.o": 0.074, + "build/src/libgte22.o": 0.114, + "build/src/libgte23.o": 0.143, + "build/src/libgte24.o": 0.144, + "build/src/libgte25.o": 0.128, + "build/src/libgte26.o": 0.132, + "build/src/libgte27.o": 0.147, + "build/src/libgte28.o": 0.12, + "build/src/libgte29.o": 0.079, + "build/src/libgte3.o": 0.152, + "build/src/libgte30.o": 0.088, + "build/src/libgte4.o": 0.07, + "build/src/libgte5.o": 0.178, + "build/src/libgte6.o": 0.119, + "build/src/libgte7.o": 0.109, + "build/src/libgte8.o": 0.097, + "build/src/libgte9.o": 0.136, + "build/src/libmcrd1.o": 0.107, + "build/src/libmcrd2.o": 0.138, + "build/src/libpad1.o": 0.204, + "build/src/libpad2.o": 0.155, + "build/src/sgap.o": 0.135, + "build/src/sgap_2.o": 0.176, + "build/src/sgap_3.o": 0.221, + "build/src/sgap_4.o": 0.176, + "build/src/sgap_5.o": 0.145, + "build/src/sgap_6.o": 0.135, + "build/src/sgap_8.o": 0.195, + "build/src/snd1.o": 0.12, + "build/src/snd10.o": 0.161, + "build/src/snd11.o": 0.103, + "build/src/snd12.o": 0.105, + "build/src/snd2.o": 0.171, + "build/src/snd3.o": 0.159, + "build/src/snd4.o": 0.119, + "build/src/snd5.o": 0.111, + "build/src/snd6.o": 0.145, + "build/src/snd7.o": 0.194, + "build/src/snd8.o": 0.268, + "build/src/snd9.o": 0.128, + "build/src/md_SC07_004/md_SC07_004.o": 0.883, + "build/src/ov_SC03_015/ov_SC03_015.o": 0.228, + "build/src/ov_SC03_015/ov_SC03_015_after.o": 1.133, + "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.722, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.216, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.219, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.248, + "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.361, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.254, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.215, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.251, + "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.305, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.209, + "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.332, + "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.183, + "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.192, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.112, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.207, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.838, + "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.511, + "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.332, + "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.403, + "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.206, + "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.268, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.176, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.542, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.631, + "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.189, + "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.481, + "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.089, + "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.122, + "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.121, + "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.142, + "build/src/ov_SC04_011/ov_SC04_011.o": 0.212, + "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.715, + "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.569, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.144, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.087, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.229, + "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.223, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.179, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.144, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.128, + "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.382, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.236, + "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.348, + "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.165, + "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.171, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.16, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.245, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.524, + "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.349, + "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.237, + "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.311, + "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.109, + "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.146, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.129, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.17, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.577, + "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.082, + "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.109 }, "ok": true, - "seconds": 2.2 + "seconds": 3.3 } diff --git a/.run/P36/delever/ledger.jsonl b/.run/P36/delever/ledger.jsonl index 50c9d8095a..4385ca02f9 100644 --- a/.run/P36/delever/ledger.jsonl +++ b/.run/P36/delever/ledger.jsonl @@ -31019,3 +31019,4 @@ {"ts": "2026-10-02 19:27:01", "label": "t8_tus2", "rung": "B", "calib": {"head": "3695293d75", "stamp": "588cbf38c6e4"}, "tu": "src/ov_SC07_011/ov_SC07_011_jr_80171B4C.c", "fn": "func_80175AB8", "addr": 2149014200, "aliases": ["ov_SC07_011"], "header": false, "includers": 0, "o0": false, "nhash_before": "e968e8ba46b1a4abcb2d9a97e0ca1a9c49063cf4", "nhash_after": "e968e8ba46b1a4abcb2d9a97e0ca1a9c49063cf4", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$4", "via": "", "line": 3873, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$5", "via": "", "line": 3879, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "launder", "cls": "B", "detail": "", "via": "", "line": 3885, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "cast", "cls": "C", "detail": "volatile u32 *", "via": "", "line": 3888, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 4, "kind": "barrier", "cls": "B", "detail": "memory", "via": "", "line": 3914, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 6, "seconds": 1.342} {"ts": "2026-10-02 19:27:01", "label": "t8_tus2", "rung": "B", "calib": {"head": "3695293d75", "stamp": "588cbf38c6e4"}, "tu": "src/ov_SC07_010/ov_SC07_010_jr_80171B4C.c", "fn": "func_80175AB8", "addr": 2149014200, "aliases": ["ov_SC07_010"], "header": false, "includers": 0, "o0": false, "nhash_before": "e968e8ba46b1a4abcb2d9a97e0ca1a9c49063cf4", "nhash_after": "e968e8ba46b1a4abcb2d9a97e0ca1a9c49063cf4", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$4", "via": "", "line": 3317, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$5", "via": "", "line": 3323, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "launder", "cls": "B", "detail": "", "via": "", "line": 3329, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "cast", "cls": "C", "detail": "volatile u32 *", "via": "", "line": 3332, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 4, "kind": "barrier", "cls": "B", "detail": "memory", "via": "", "line": 3358, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 6, "seconds": 1.301} {"ts": "2026-10-02 19:29:41", "label": "t8_tus3", "rung": "B", "calib": {"head": "bb84bb1ab5", "stamp": "588cbf38c6e4"}, "tu": "src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c", "fn": "", "addr": null, "aliases": ["md_MAIN_003"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:2bd41ce159fc39ed6e77b1b31980af9709ef6d4a", "nhash_after": "fs:ee501d5d8dcec63bda2d4c754e2a84dff4042a3f", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 677, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 1, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 689, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 691, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 816, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}], "compiles": 3, "seconds": 0.149} +{"ts": "2026-10-02 19:32:50", "label": "t8_tus4", "rung": "B", "calib": {"head": "ac3a3b5f8a", "stamp": "588cbf38c6e4"}, "tu": "src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c", "fn": "", "addr": null, "aliases": ["md_MAIN_003"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:2bd41ce159fc39ed6e77b1b31980af9709ef6d4a", "nhash_after": "fs:ee501d5d8dcec63bda2d4c754e2a84dff4042a3f", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 677, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 1, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 689, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 691, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 816, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}], "compiles": 3, "seconds": 0.219} diff --git a/.run/P36/delever/run_t8_tus4.log b/.run/P36/delever/run_t8_tus4.log new file mode 100644 index 0000000000..ec5217bed1 --- /dev/null +++ b/.run/P36/delever/run_t8_tus4.log @@ -0,0 +1,8 @@ +delever: the census describes another tree (stamp 046394d66b5fb8dd); rerun tools/lever_census.py --sites -j 16 — running the census now +delever --plan: 1 of 1 drawable files · 1 bodies (0 in multi-copy classes) · 4 removable sites · 0 deferred asm-bodies +19:32:50 apply t8_tus4: 1 files, control src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c IDENTICAL (0.09 s), calibration ac3a3b5f8a, census b5c7974b8c971634 +19:32:50 apply t8_tus4: phase 1 (exemplar files) 0, phase 2 (copies replay) 1 +19:32:50 src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c: A=DIFFERS B: removed 0 needed 2 compiles 3 +19:33:04 delever: batch t8_tus4 — 1 files (TUs; 1 drawable) · 1 bodies: 0 lever-free, 1 residue, 0 refused · sites removed 0 / needed 2 / refused 2 / deferred 0 · replays 0 (0 disagreed) · compiles 4 in 14 s wall · final 1/1 identical · written 1 files +t8_tus4 wall=48.24 s +exit=0 diff --git a/src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c b/src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c index 147fa764d9..4749763fdf 100644 --- a/src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c +++ b/src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c @@ -674,7 +674,7 @@ void func_800D2D44(s32 arg0) { INCLUDE_RODATA("asm/md_MAIN_003/nonmatchings/md_MAIN_003_jr_800D1E18", D_800CEDF8); -__asm__( // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B t8_tus3) +__asm__( // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B t8_tus4) ".section .rodata\n" ".align 2\n" ".globl D_800CEE1C\n" @@ -813,7 +813,7 @@ extern char D_800CEEB8[]; * INCLUDE_ASM stub; banking the function drops them, shifting every later * .rodata symbol. Carry them as a file-scope __asm__ blob at the exact * source position the stub occupied (this TU's own D_800CEE1C house form). */ -__asm__( // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B t8_tus3) +__asm__( // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B t8_tus4) ".section .rodata\n" ".align 2\n" ".globl D_800CEE58\n"