From f087282a3e3a3b2508a2a5f04b08f09d21abe2ab Mon Sep 17 00:00:00 2001 From: Drew T <50529377+Druthulu@users.noreply.github.com> Date: Wed, 9 Sep 2026 04:56:50 -0600 Subject: [PATCH] =?UTF-8?q?src(phase-36):=20T4=20batch=20tus11=20=E2=80=94?= =?UTF-8?q?=20delever:=20batch=20tus11=20=E2=80=94=205=20files=20(TUs;=205?= =?UTF-8?q?=20drawable)=20=C2=B7=205=20bodies:=200=20lever-free,=205=20res?= =?UTF-8?q?idue,=200=20refused=20=C2=B7=20sites=20removed=200=20/=20needed?= =?UTF-8?q?=2010=20/=20refused=207=20/=20deferred=200=20=C2=B7=20replays?= =?UTF-8?q?=200=20(0=20disagreed)=20=C2=B7=20compiles=2020=20in=202=20s=20?= =?UTF-8?q?wall=20=C2=B7=20final=205/5=20identical=20=C2=B7=20written=205?= =?UTF-8?q?=20files=20|=20R22=20check-all:=20218=20passed,=200=20failed=20?= =?UTF-8?q?of=20218=20|=20census:=20THE=20PHASE'S=20NUMBER=20(pins=20+=20a?= =?UTF-8?q?sm=20statements,=20GTE=20excluded):=2033,625=20sites=20in=2012,?= =?UTF-8?q?501=20bodies=20(1,728=20distinct)=20=C2=B7=20marked=20!FAKE=203?= =?UTF-8?q?3,625=20=C2=B7=20UNMARKED=200=20(delever=5Fcycle)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .run/P36/baseline/r22_tus11.log | 476 ++++++++++++++++++++++ .run/P36/census/lever_census.json | 14 +- .run/P36/census/lever_census.txt | 10 +- .run/P36/delever/apply_tus11.log | 8 + .run/P36/delever/batch_tus11.json | 81 ++++ .run/P36/delever/calibrate_headers3.log | 5 + .run/P36/delever/calibration.json | 372 ++++++++--------- .run/P36/delever/cycle_t4_hdr.log | 3 + .run/P36/delever/ledger.jsonl | 5 + .run/P36/delever/run_headers3.log | 4 + .run/P36/delever/run_tus11.log | 13 +- phase-ends/CURRENT_PHASE.md | 4 +- src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c | 4 +- src/md_SC07_004/md_SC07_004.c | 10 +- src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c | 4 +- src/ov_SC02_037/ov_SC02_037_jr_8015444C.c | 4 +- src/ov_SC03_107/ov_SC03_107_jr_8015444C.c | 4 +- 17 files changed, 806 insertions(+), 215 deletions(-) create mode 100644 .run/P36/baseline/r22_tus11.log create mode 100644 .run/P36/delever/apply_tus11.log create mode 100644 .run/P36/delever/batch_tus11.json create mode 100644 .run/P36/delever/calibrate_headers3.log create mode 100644 .run/P36/delever/run_headers3.log diff --git a/.run/P36/baseline/r22_tus11.log b/.run/P36/baseline/r22_tus11.log new file mode 100644 index 0000000000..e84b348e2e --- /dev/null +++ b/.run/P36/baseline/r22_tus11.log @@ -0,0 +1,476 @@ +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=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:10 src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c: A=DIFFERS B: removed 0 needed 2 compiles 3 +04:54:11 src/md_SC07_004/md_SC07_004.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:12 src/ov_SC03_107/ov_SC03_107_jr_8015444C.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:12 src/ov_SC02_037/ov_SC02_037_jr_8015444C.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:12 delever: batch tus11 — 5 files (TUs; 5 drawable) · 5 bodies: 0 lever-free, 5 residue, 0 refused · sites removed 0 / needed 10 / refused 7 / deferred 0 · replays 0 (0 disagreed) · compiles 20 in 2 s wall · final 5/5 identical · written 5 files diff --git a/.run/P36/delever/batch_tus11.json b/.run/P36/delever/batch_tus11.json new file mode 100644 index 0000000000..cd653d3878 --- /dev/null +++ b/.run/P36/delever/batch_tus11.json @@ -0,0 +1,81 @@ +{ + "label": "tus11", + "generated": "2026-09-09 04:54", + "headers": false, + "batch": 300, + "only": null, + "files": 5, + "drawable_files": 5, + "wall_s": 2.2, + "calib": { + "head": "0cb78a6a7", + "stamp": "b44c5a8a3423" + }, + "bodies": 5, + "compiles": 20, + "sites_removed": 0, + "sites_needed": 10, + "sites_refused": 7, + "sites_deferred": 0, + "lever_free": 0, + "residue": 5, + "refused_bodies": 0, + "replays": 0, + "disagreed": 0, + "written": 5, + "seconds": 2.5525736808776855, + "final_ok": 5, + "final_bad": 0, + "per_file": [ + { + "tu": "src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c", + "bodies": 1, + "final": "IDENTICAL", + "written": true, + "removed": 0, + "needed": 2, + "refused": 0, + "compiles": 4 + }, + { + "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 + }, + { + "tu": "src/md_SC07_004/md_SC07_004.c", + "bodies": 1, + "final": "IDENTICAL", + "written": true, + "removed": 0, + "needed": 2, + "refused": 5, + "compiles": 4 + }, + { + "tu": "src/ov_SC02_037/ov_SC02_037_jr_8015444C.c", + "bodies": 1, + "final": "IDENTICAL", + "written": true, + "removed": 0, + "needed": 2, + "refused": 0, + "compiles": 4 + }, + { + "tu": "src/ov_SC03_107/ov_SC03_107_jr_8015444C.c", + "bodies": 1, + "final": "IDENTICAL", + "written": true, + "removed": 0, + "needed": 2, + "refused": 0, + "compiles": 4 + } + ] +} diff --git a/.run/P36/delever/calibrate_headers3.log b/.run/P36/delever/calibrate_headers3.log new file mode 100644 index 0000000000..5c6e380832 --- /dev/null +++ b/.run/P36/delever/calibrate_headers3.log @@ -0,0 +1,5 @@ +delever_oracle --calibrate main ov_SC03_014 ov_SC03_015 ov_SC04_011: 177/177 objects byte-identical untouched; twin checks 32 (0 mismatch); positive control DIFFERS on build/src/800.o; 3.0 s — OK + main 85/85 identical, mean 0.113 s per object + ov_SC03_014 32/32 identical, mean 0.189 s per object + ov_SC03_015 32/32 identical, mean 0.186 s per object + ov_SC04_011 28/28 identical, mean 0.178 s per object diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json index f5e86cc4ba..568e752144 100644 --- a/.run/P36/delever/calibration.json +++ b/.run/P36/delever/calibration.json @@ -1,7 +1,7 @@ { - "head": "9184678f1", + "head": "0cb78a6a7", "stamp": "b44c5a8a3423", - "generated": "2026-09-09 04:46", + "generated": "2026-09-09 04:51", "aliases": [ "main", "ov_SC03_014", @@ -21,207 +21,207 @@ "main": { "objects": 85, "identical": 85, - "seconds": 9.218000000000005, - "mean_s": 0.108 + "seconds": 9.617999999999999, + "mean_s": 0.113 }, "ov_SC03_014": { "objects": 32, "identical": 32, - "seconds": 6.327000000000002, - "mean_s": 0.198 + "seconds": 6.0600000000000005, + "mean_s": 0.189 }, "ov_SC03_015": { "objects": 32, "identical": 32, - "seconds": 5.777, - "mean_s": 0.181 + "seconds": 5.9430000000000005, + "mean_s": 0.186 }, "ov_SC04_011": { "objects": 28, "identical": 28, - "seconds": 5.414, - "mean_s": 0.193 + "seconds": 4.99, + "mean_s": 0.178 } }, "per_object_seconds": { - "build/src/800.o": 0.839, - "build/src/800_b.o": 0.111, - "build/src/800_b_2.o": 0.36, - "build/src/800_b_o0a.o": 0.15, - "build/src/800_c.o": 0.235, - "build/src/800b2.o": 0.139, - "build/src/apicard1.o": 0.091, - "build/src/apicard2.o": 0.089, - "build/src/apicard3.o": 0.127, - "build/src/apicard4.o": 0.082, - "build/src/apicard5.o": 0.097, - "build/src/apicard6.o": 0.112, - "build/src/apicard7.o": 0.112, - "build/src/boot.o": 0.125, - "build/src/gap.o": 0.093, - "build/src/libapi1.o": 0.137, - "build/src/libapi2.o": 0.061, - "build/src/libc2_1.o": 0.073, - "build/src/libc2_2.o": 0.068, - "build/src/libcd1.o": 0.09, - "build/src/libcd2.o": 0.108, - "build/src/libetc.o": 0.066, - "build/src/libgpu.o": 0.088, - "build/src/libgpu2.o": 0.116, - "build/src/libgs1.o": 0.089, - "build/src/libgs2.o": 0.078, - "build/src/libgs3.o": 0.11, - "build/src/libgs4.o": 0.172, - "build/src/libgs5.o": 0.092, - "build/src/libgs6.o": 0.134, - "build/src/libgs7.o": 0.074, - "build/src/libgs8.o": 0.103, - "build/src/libgte1.o": 0.094, - "build/src/libgte10.o": 0.079, - "build/src/libgte11.o": 0.064, - "build/src/libgte12.o": 0.085, - "build/src/libgte13.o": 0.073, - "build/src/libgte14.o": 0.101, - "build/src/libgte15.o": 0.084, - "build/src/libgte16.o": 0.081, - "build/src/libgte17.o": 0.08, - "build/src/libgte18.o": 0.111, - "build/src/libgte19.o": 0.076, - "build/src/libgte2.o": 0.07, - "build/src/libgte20.o": 0.065, - "build/src/libgte21.o": 0.093, - "build/src/libgte22.o": 0.105, - "build/src/libgte23.o": 0.097, - "build/src/libgte24.o": 0.146, - "build/src/libgte25.o": 0.068, - "build/src/libgte26.o": 0.075, - "build/src/libgte27.o": 0.061, - "build/src/libgte28.o": 0.111, - "build/src/libgte29.o": 0.089, - "build/src/libgte3.o": 0.1, - "build/src/libgte30.o": 0.12, - "build/src/libgte4.o": 0.085, - "build/src/libgte5.o": 0.111, - "build/src/libgte6.o": 0.09, - "build/src/libgte7.o": 0.07, - "build/src/libgte8.o": 0.133, - "build/src/libgte9.o": 0.115, - "build/src/libmcrd1.o": 0.089, - "build/src/libmcrd2.o": 0.07, - "build/src/libpad1.o": 0.073, - "build/src/libpad2.o": 0.101, - "build/src/sgap.o": 0.085, - "build/src/sgap_2.o": 0.069, - "build/src/sgap_3.o": 0.148, - "build/src/sgap_4.o": 0.12, - "build/src/sgap_5.o": 0.134, - "build/src/sgap_6.o": 0.063, - "build/src/sgap_8.o": 0.074, - "build/src/snd1.o": 0.087, - "build/src/snd10.o": 0.076, - "build/src/snd11.o": 0.09, - "build/src/snd12.o": 0.131, - "build/src/snd2.o": 0.08, - "build/src/snd3.o": 0.064, - "build/src/snd4.o": 0.101, - "build/src/snd5.o": 0.082, - "build/src/snd6.o": 0.068, - "build/src/snd7.o": 0.069, - "build/src/snd8.o": 0.099, - "build/src/snd9.o": 0.092, - "build/src/ov_SC03_014/ov_SC03_014.o": 0.163, - "build/src/ov_SC03_014/ov_SC03_014_after.o": 0.599, - "build/src/ov_SC03_014/ov_SC03_014_jr_8012ACE0.o": 0.453, - "build/src/ov_SC03_014/ov_SC03_014_jr_80135888.o": 0.078, - "build/src/ov_SC03_014/ov_SC03_014_jr_80135A4C.o": 0.07, - "build/src/ov_SC03_014/ov_SC03_014_jr_80135D20.o": 0.231, - "build/src/ov_SC03_014/ov_SC03_014_jr_801380E0.o": 0.176, - "build/src/ov_SC03_014/ov_SC03_014_jr_8013C98C.o": 0.157, - "build/src/ov_SC03_014/ov_SC03_014_jr_8013F350.o": 0.085, - "build/src/ov_SC03_014/ov_SC03_014_jr_8013FFD8.o": 0.184, - "build/src/ov_SC03_014/ov_SC03_014_jr_80140608.o": 0.209, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015444C.o": 0.153, - "build/src/ov_SC03_014/ov_SC03_014_jr_80154C24.o": 0.237, - "build/src/ov_SC03_014/ov_SC03_014_jr_801588CC.o": 0.158, - "build/src/ov_SC03_014/ov_SC03_014_jr_80159C84.o": 0.1, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015A3C8.o": 0.112, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015AE2C.o": 0.107, - "build/src/ov_SC03_014/ov_SC03_014_jr_8015C32C.o": 0.538, - "build/src/ov_SC03_014/ov_SC03_014_jr_8016AB6C.o": 0.292, - "build/src/ov_SC03_014/ov_SC03_014_jr_80171B4C.o": 0.119, - "build/src/ov_SC03_014/ov_SC03_014_jr_801734BC.o": 0.38, - "build/src/ov_SC03_014/ov_SC03_014_jr_801789AC.o": 0.105, - "build/src/ov_SC03_014/ov_SC03_014_jr_80178D40.o": 0.135, - "build/src/ov_SC03_014/ov_SC03_014_jr_8017A4AC.o": 0.09, - "build/src/ov_SC03_014/ov_SC03_014_jr_8017AE2C.o": 0.308, + "build/src/800.o": 1.301, + "build/src/800_b.o": 0.086, + "build/src/800_b_2.o": 0.373, + "build/src/800_b_o0a.o": 0.081, + "build/src/800_c.o": 0.281, + "build/src/800b2.o": 0.085, + "build/src/apicard1.o": 0.107, + "build/src/apicard2.o": 0.084, + "build/src/apicard3.o": 0.108, + "build/src/apicard4.o": 0.116, + "build/src/apicard5.o": 0.145, + "build/src/apicard6.o": 0.113, + "build/src/apicard7.o": 0.078, + "build/src/boot.o": 0.102, + "build/src/gap.o": 0.086, + "build/src/libapi1.o": 0.171, + "build/src/libapi2.o": 0.103, + "build/src/libc2_1.o": 0.077, + "build/src/libc2_2.o": 0.072, + "build/src/libcd1.o": 0.103, + "build/src/libcd2.o": 0.067, + "build/src/libetc.o": 0.082, + "build/src/libgpu.o": 0.078, + "build/src/libgpu2.o": 0.091, + "build/src/libgs1.o": 0.106, + "build/src/libgs2.o": 0.103, + "build/src/libgs3.o": 0.099, + "build/src/libgs4.o": 0.086, + "build/src/libgs5.o": 0.113, + "build/src/libgs6.o": 0.112, + "build/src/libgs7.o": 0.089, + "build/src/libgs8.o": 0.066, + "build/src/libgte1.o": 0.132, + "build/src/libgte10.o": 0.08, + "build/src/libgte11.o": 0.077, + "build/src/libgte12.o": 0.154, + "build/src/libgte13.o": 0.078, + "build/src/libgte14.o": 0.086, + "build/src/libgte15.o": 0.061, + "build/src/libgte16.o": 0.178, + "build/src/libgte17.o": 0.072, + "build/src/libgte18.o": 0.079, + "build/src/libgte19.o": 0.088, + "build/src/libgte2.o": 0.068, + "build/src/libgte20.o": 0.069, + "build/src/libgte21.o": 0.084, + "build/src/libgte22.o": 0.101, + "build/src/libgte23.o": 0.126, + "build/src/libgte24.o": 0.069, + "build/src/libgte25.o": 0.126, + "build/src/libgte26.o": 0.114, + "build/src/libgte27.o": 0.091, + "build/src/libgte28.o": 0.064, + "build/src/libgte29.o": 0.066, + "build/src/libgte3.o": 0.064, + "build/src/libgte30.o": 0.122, + "build/src/libgte4.o": 0.08, + "build/src/libgte5.o": 0.084, + "build/src/libgte6.o": 0.068, + "build/src/libgte7.o": 0.066, + "build/src/libgte8.o": 0.104, + "build/src/libgte9.o": 0.062, + "build/src/libmcrd1.o": 0.079, + "build/src/libmcrd2.o": 0.08, + "build/src/libpad1.o": 0.063, + "build/src/libpad2.o": 0.104, + "build/src/sgap.o": 0.102, + "build/src/sgap_2.o": 0.205, + "build/src/sgap_3.o": 0.113, + "build/src/sgap_4.o": 0.155, + "build/src/sgap_5.o": 0.073, + "build/src/sgap_6.o": 0.078, + "build/src/sgap_8.o": 0.079, + "build/src/snd1.o": 0.071, + "build/src/snd10.o": 0.079, + "build/src/snd11.o": 0.093, + "build/src/snd12.o": 0.12, + "build/src/snd2.o": 0.073, + "build/src/snd3.o": 0.081, + "build/src/snd4.o": 0.071, + "build/src/snd5.o": 0.073, + "build/src/snd6.o": 0.075, + "build/src/snd7.o": 0.067, + "build/src/snd8.o": 0.13, + "build/src/snd9.o": 0.077, + "build/src/ov_SC03_014/ov_SC03_014.o": 0.146, + "build/src/ov_SC03_014/ov_SC03_014_after.o": 0.621, + "build/src/ov_SC03_014/ov_SC03_014_jr_8012ACE0.o": 0.473, + "build/src/ov_SC03_014/ov_SC03_014_jr_80135888.o": 0.07, + "build/src/ov_SC03_014/ov_SC03_014_jr_80135A4C.o": 0.065, + "build/src/ov_SC03_014/ov_SC03_014_jr_80135D20.o": 0.133, + "build/src/ov_SC03_014/ov_SC03_014_jr_801380E0.o": 0.169, + "build/src/ov_SC03_014/ov_SC03_014_jr_8013C98C.o": 0.134, + "build/src/ov_SC03_014/ov_SC03_014_jr_8013F350.o": 0.193, + "build/src/ov_SC03_014/ov_SC03_014_jr_8013FFD8.o": 0.082, + "build/src/ov_SC03_014/ov_SC03_014_jr_80140608.o": 0.299, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015444C.o": 0.127, + "build/src/ov_SC03_014/ov_SC03_014_jr_80154C24.o": 0.226, + "build/src/ov_SC03_014/ov_SC03_014_jr_801588CC.o": 0.136, + "build/src/ov_SC03_014/ov_SC03_014_jr_80159C84.o": 0.078, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015A3C8.o": 0.119, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015AE2C.o": 0.14, + "build/src/ov_SC03_014/ov_SC03_014_jr_8015C32C.o": 0.656, + "build/src/ov_SC03_014/ov_SC03_014_jr_8016AB6C.o": 0.318, + "build/src/ov_SC03_014/ov_SC03_014_jr_80171B4C.o": 0.123, + "build/src/ov_SC03_014/ov_SC03_014_jr_801734BC.o": 0.228, + "build/src/ov_SC03_014/ov_SC03_014_jr_801789AC.o": 0.072, + "build/src/ov_SC03_014/ov_SC03_014_jr_80178D40.o": 0.116, + "build/src/ov_SC03_014/ov_SC03_014_jr_8017A4AC.o": 0.08, + "build/src/ov_SC03_014/ov_SC03_014_jr_8017AE2C.o": 0.213, "build/src/ov_SC03_014/ov_SC03_014_jr_8017EB7C.o": 0.236, - "build/src/ov_SC03_014/ov_SC03_014_jr_80184440.o": 0.08, - "build/src/ov_SC03_014/ov_SC03_014_jr_801848E4.o": 0.456, - "build/src/ov_SC03_014/ov_SC03_014_o0b.o": 0.068, - "build/src/ov_SC03_014/ov_SC03_014_o0c.o": 0.081, - "build/src/ov_SC03_014/ov_SC03_014_o0d.o": 0.089, - "build/src/ov_SC03_014/ov_SC03_014_o0e.o": 0.078, - "build/src/ov_SC03_015/ov_SC03_015.o": 0.159, - "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.582, - "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.511, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.059, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.057, - "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.129, - "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.16, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.177, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.107, - "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.068, - "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.195, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.077, - "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.241, - "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.149, - "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.099, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.071, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.11, - "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.527, - "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.316, - "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.157, - "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.309, - "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.193, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.1, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.234, - "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.23, - "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.054, - "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.319, - "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.084, - "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.076, + "build/src/ov_SC03_014/ov_SC03_014_jr_80184440.o": 0.057, + "build/src/ov_SC03_014/ov_SC03_014_jr_801848E4.o": 0.417, + "build/src/ov_SC03_014/ov_SC03_014_o0b.o": 0.067, + "build/src/ov_SC03_014/ov_SC03_014_o0c.o": 0.073, + "build/src/ov_SC03_014/ov_SC03_014_o0d.o": 0.073, + "build/src/ov_SC03_014/ov_SC03_014_o0e.o": 0.12, + "build/src/ov_SC03_015/ov_SC03_015.o": 0.168, + "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.732, + "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.495, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.066, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.06, + "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.123, + "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.172, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.118, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.117, + "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.105, + "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.263, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.131, + "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.185, + "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.109, + "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.096, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.082, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.109, + "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.53, + "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.341, + "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.104, + "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.232, + "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.069, + "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.118, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.101, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.195, + "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.257, + "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.472, + "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.068, + "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.067, "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.065, - "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.089, - "build/src/ov_SC04_011/ov_SC04_011.o": 0.244, - "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.531, - "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.448, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.066, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.059, - "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.174, - "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.258, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.124, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.131, - "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.081, - "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.239, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.11, - "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.211, - "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.097, - "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.091, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.11, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.111, - "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.491, - "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.266, - "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.144, - "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.231, - "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.101, - "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.12, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.083, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.145, - "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.595, - "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.074, - "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.079 + "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.134, + "build/src/ov_SC04_011/ov_SC04_011.o": 0.229, + "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.513, + "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.426, + "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.08, + "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.165, + "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.184, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.127, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.078, + "build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.094, + "build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.213, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.126, + "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.093, + "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.105, + "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.103, + "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.428, + "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.251, + "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.117, + "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.225, + "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.085, + "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.134, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.099, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.125, + "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.541, + "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.06, + "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.075 }, "ok": true, - "seconds": 3.1 + "seconds": 3.0 } diff --git a/.run/P36/delever/cycle_t4_hdr.log b/.run/P36/delever/cycle_t4_hdr.log index 8548b68b40..98af6b36a0 100644 --- a/.run/P36/delever/cycle_t4_hdr.log +++ b/.run/P36/delever/cycle_t4_hdr.log @@ -1,3 +1,6 @@ log: headers1 THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 33,812 sites in 12,538 bodies (1,787 distinct) · marked !FAKE 33,301 · UNMARKED 511 cycle: batch headers1 committed 9184678f1 — delever: batch headers1 — 200 files (headers; 371 drawable) · 200 bodies: 42 lever-free, 158 residue, 0 refused · sites removed 302 / needed 340 / refused 1 / deferred 0 · replays 18 (1 disagreed) · compiles 40597 in 1460 s wall · final 200/200 identical · written 196 files | check-all: 218 passed, 0 failed of 218 log: headers2 THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 33,625 sites in 12,501 bodies (1,728 distinct) · marked !FAKE 33,612 · UNMARKED 13 +cycle: batch headers2 committed 0cb78a6a7 — delever: batch headers2 — 171 files (headers; 171 drawable) · 171 bodies: 37 lever-free, 133 residue, 0 refused · sites removed 199 / needed 332 / refused 0 / deferred 1 · replays 86 (0 disagreed) · compiles 967 in 146 s wall · final 171/171 identical · written 170 files | check-all: 218 passed, 0 failed of 218 +cycle: nothing drawable at headers3 — done +cycle exit=0 diff --git a/.run/P36/delever/ledger.jsonl b/.run/P36/delever/ledger.jsonl index 08af89663d..65106fa455 100644 --- a/.run/P36/delever/ledger.jsonl +++ b/.run/P36/delever/ledger.jsonl @@ -16335,3 +16335,8 @@ {"ts": "2026-09-09 04:48:49", "label": "headers2", "rung": "A", "calib": {"head": "9184678f1", "stamp": "b44c5a8a3423"}, "tu": "src/shared/ov/func_80188670.h", "fn": "func_80188670", "addr": 2149090928, "aliases": ["ov_SC03_014", "ov_SC03_015"], "header": true, "includers": 1, "o0": false, "nhash_before": "eeb43ce2e4bd89140d826a697c1038a2e3b4ac32", "nhash_after": "ccf71cdd45982e43e3ba63589668887ee562a6c3", "exemplar": null, "verdict": "LEVER-FREE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$16", "via": "", "line": 23, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}, {"ord": 1, "kind": "pin", "cls": "A", "detail": "$17", "via": "", "line": 24, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}], "compiles": 3, "seconds": 0.777} {"ts": "2026-09-09 04:48:50", "label": "headers2", "rung": "B", "calib": {"head": "9184678f1", "stamp": "b44c5a8a3423"}, "tu": "src/shared/ov/func_80188790.h", "fn": "func_80188790", "addr": 2149091216, "aliases": ["ov_SC02_000", "ov_SC02_003"], "header": true, "includers": 1, "o0": false, "nhash_before": "210d73facaf81dea2ef6aace1d8b1a2b393e3d72", "nhash_after": "210d73facaf81dea2ef6aace1d8b1a2b393e3d72", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$19", "via": "", "line": 10, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "launder", "cls": "B", "detail": "", "via": "", "line": 20, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 3, "seconds": 0.469} {"ts": "2026-09-09 04:48:51", "label": "headers2", "rung": "replay", "calib": {"head": "9184678f1", "stamp": "b44c5a8a3423"}, "tu": "src/shared/ov/func_8018C038.h", "fn": "func_8018C038", "addr": 2149105720, "aliases": ["ov_SC04_018", "ov_SC04_019"], "header": true, "includers": 1, "o0": false, "nhash_before": "1a02c88f52e3b89d0c8382b054725bde8927de7b", "nhash_after": "b8d73fcc00141f9b192dd9cec781b1405f6e9b71", "exemplar": {"tu": "src/ov_SC05_017/ov_SC05_017_jr_80188B1C.c", "fn": "func_8018BD38"}, "verdict": "LEVER-FREE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$16", "via": "", "line": 7, "verdict": "REMOVED", "why": "", "oracle": "IDENTICAL"}], "compiles": 3, "seconds": 0.44} +{"ts": "2026-09-09 04:54:10", "label": "tus11", "rung": "B", "calib": {"head": "0cb78a6a7", "stamp": "b44c5a8a3423"}, "tu": "src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c", "fn": "", "addr": null, "aliases": ["ov_MAIN_012"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:676098cf44d7a62e251b28e706b4aa37262a88cf", "nhash_after": "fs:676098cf44d7a62e251b28e706b4aa37262a88cf", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "barrier", "cls": "B", "detail": "", "via": "", "line": 1588, "verdict": "NEEDED", "why": " 1960 | /* ==== end \u00a78b carried decl layer ==== */\n | \nsrc/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c:1590: storage class specified for parameter `aF8014C4AC'\n", "oracle": "COMPILE-ERROR"}, {"ord": 1, "kind": "barrier", "cls": "B", "detail": "", "via": "", "line": 1684, "verdict": "NEEDED", "why": " 1960 | /* ==== end \u00a78b carried decl layer ==== */\n | \nsrc/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c:1686: storage class specified for parameter `aF8014E5B4'\n", "oracle": "COMPILE-ERROR"}], "compiles": 3, "seconds": 0.159} +{"ts": "2026-09-09 04:54:10", "label": "tus11", "rung": "B", "calib": {"head": "0cb78a6a7", "stamp": "b44c5a8a3423"}, "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": 738, "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": 750, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 2, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 752, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 3, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 878, "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.197} +{"ts": "2026-09-09 04:54:11", "label": "tus11", "rung": "B", "calib": {"head": "0cb78a6a7", "stamp": "b44c5a8a3423"}, "tu": "src/md_SC07_004/md_SC07_004.c", "fn": "", "addr": null, "aliases": ["md_SC07_004"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:98e2ca453f7c49236715963280142aeb6181814f", "nhash_after": "fs:98e2ca453f7c49236715963280142aeb6181814f", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 2719, "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": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 5105, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 2, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 5537, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 3, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 8028, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 4, "kind": "instruction", "cls": "B", "detail": ".section", "via": "", "line": 8970, "verdict": "REFUSED", "why": "asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) \u2014 T7", "oracle": ""}, {"ord": 5, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 8975, "verdict": "NEEDED", "why": "src/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC07_004/md_SC07_0", "oracle": "COMPILE-ERROR"}, {"ord": 6, "kind": "decl-file", "cls": "C", "detail": "extern", "via": "", "line": 8975, "verdict": "NEEDED", "why": "src/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC07_004/md_SC07_004.c: At top level:\nsrc/md_SC07_004/md_SC07_0", "oracle": "COMPILE-ERROR"}], "compiles": 3, "seconds": 1.189} +{"ts": "2026-09-09 04:54:12", "label": "tus11", "rung": "B", "calib": {"head": "0cb78a6a7", "stamp": "b44c5a8a3423"}, "tu": "src/ov_SC03_107/ov_SC03_107_jr_8015444C.c", "fn": "", "addr": null, "aliases": ["ov_SC03_107"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:676098cf44d7a62e251b28e706b4aa37262a88cf", "nhash_after": "fs:676098cf44d7a62e251b28e706b4aa37262a88cf", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "barrier", "cls": "B", "detail": "", "via": "", "line": 1589, "verdict": "NEEDED", "why": " 1958 | /* ==== end \u00a78b carried decl layer ==== */\n | \nsrc/ov_SC03_107/ov_SC03_107_jr_8015444C.c:1591: storage class specified for parameter `aF8014C4AC'\n", "oracle": "COMPILE-ERROR"}, {"ord": 1, "kind": "barrier", "cls": "B", "detail": "", "via": "", "line": 1684, "verdict": "NEEDED", "why": " 1958 | /* ==== end \u00a78b carried decl layer ==== */\n | \nsrc/ov_SC03_107/ov_SC03_107_jr_8015444C.c:1686: storage class specified for parameter `aF8014E5B4'\n", "oracle": "COMPILE-ERROR"}], "compiles": 3, "seconds": 0.16} +{"ts": "2026-09-09 04:54:12", "label": "tus11", "rung": "B", "calib": {"head": "0cb78a6a7", "stamp": "b44c5a8a3423"}, "tu": "src/ov_SC02_037/ov_SC02_037_jr_8015444C.c", "fn": "", "addr": null, "aliases": ["ov_SC02_037"], "header": false, "includers": 0, "o0": false, "nhash_before": "fs:676098cf44d7a62e251b28e706b4aa37262a88cf", "nhash_after": "fs:676098cf44d7a62e251b28e706b4aa37262a88cf", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "barrier", "cls": "B", "detail": "", "via": "", "line": 1602, "verdict": "NEEDED", "why": " 1974 | /* ==== end \u00a78b carried decl layer ==== */\n | \nsrc/ov_SC02_037/ov_SC02_037_jr_8015444C.c:1604: storage class specified for parameter `aF8014C4AC'\n", "oracle": "COMPILE-ERROR"}, {"ord": 1, "kind": "barrier", "cls": "B", "detail": "", "via": "", "line": 1700, "verdict": "NEEDED", "why": " 1974 | /* ==== end \u00a78b carried decl layer ==== */\n | \nsrc/ov_SC02_037/ov_SC02_037_jr_8015444C.c:1702: storage class specified for parameter `aF8014E5B4'\n", "oracle": "COMPILE-ERROR"}], "compiles": 3, "seconds": 0.209} diff --git a/.run/P36/delever/run_headers3.log b/.run/P36/delever/run_headers3.log new file mode 100644 index 0000000000..59cf9fa031 --- /dev/null +++ b/.run/P36/delever/run_headers3.log @@ -0,0 +1,4 @@ +delever --plan: 0 of 0 drawable files · 0 bodies (0 in multi-copy classes) · 0 removable sites · 0 deferred asm-bodies +delever --apply: nothing to do (no drawable file) +headers3 wall=2.51 s +exit=0 diff --git a/.run/P36/delever/run_tus11.log b/.run/P36/delever/run_tus11.log index 2fb29c9a64..4c203f7349 100644 --- a/.run/P36/delever/run_tus11.log +++ b/.run/P36/delever/run_tus11.log @@ -1,4 +1,11 @@ -delever --plan: 0 of 0 drawable files · 0 bodies (0 in multi-copy classes) · 0 removable sites · 0 deferred asm-bodies -delever --apply: nothing to do (no drawable file) -tus11 wall=2.98 s +delever --plan: 5 of 5 drawable files · 5 bodies (3 in multi-copy classes) · 17 removable sites · 0 deferred asm-bodies +04:54:10 apply tus11: 5 files, control src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c IDENTICAL (0.06 s), calibration 0cb78a6a7, census c2985694d60d567c +04:54:10 apply tus11: phase 1 (exemplar files) 3, phase 2 (copies replay) 2 +04:54:10 src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:10 src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c: A=DIFFERS B: removed 0 needed 2 compiles 3 +04:54:11 src/md_SC07_004/md_SC07_004.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:12 src/ov_SC03_107/ov_SC03_107_jr_8015444C.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:12 src/ov_SC02_037/ov_SC02_037_jr_8015444C.c: A=COMPILE-ERROR B: removed 0 needed 2 compiles 3 +04:54:12 delever: batch tus11 — 5 files (TUs; 5 drawable) · 5 bodies: 0 lever-free, 5 residue, 0 refused · sites removed 0 / needed 10 / refused 7 / deferred 0 · replays 0 (0 disagreed) · compiles 20 in 2 s wall · final 5/5 identical · written 5 files +tus11 wall=5.35 s exit=0 diff --git a/phase-ends/CURRENT_PHASE.md b/phase-ends/CURRENT_PHASE.md index 9b3a909845..c0350daa53 100644 --- a/phase-ends/CURRENT_PHASE.md +++ b/phase-ends/CURRENT_PHASE.md @@ -383,7 +383,9 @@ accumulate here as the phase produces them.** - **2026-09-09 — T4 batch `headers2`** (`.run/P36/delever/run_headers2.log`, `batch_headers2.json`): `delever: batch headers2 — 171 files (headers; 171 drawable) · 171 bodies: 37 lever-free, 133 residue, 0 refused · sites removed 199 / needed 332 / refused 0 / deferred 1 · replays 86 (0 disagreed) · compiles 967 in 146 s wall · final 171/171 identical · written 170 files` → R22 (`.run/P36/baseline/r22_headers2.log`) **`check-all: 218 passed, 0 failed of 218`** (`wall=113.78 s`) → census `THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 33,625 sites in 12,501 bodies (1,728 distinct) · marked !FAKE 33,612 · UNMARKED 13`. -## 🛑 SESSION CHECKPOINT — S98 (2026-09-09): T0 ☑ T1 ☑ T1b ☑ T2 ☑ T3 ☑ — all committed (T3 = `39e3e1851` tools, `cd24727dd` + `7ee458dd7` the ov_SC04_011 batches, this close); NEXT = T4 the mechanical campaign: `tools/delever_cycle.sh` over the whole population (TUs then headers), unattended, one commit per batch, R22 every batch | the number: 53,033 sites in 15,638 bodies (2,246 distinct), 310 marked, 0 orphans | last batch `headers2` on 9184678f1: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 33,625 sites in 12,501 bodies (1,728 distinct) · marked !FAKE 33,612 · UNMARKED 13 +- **2026-09-09 — T4 batch `tus11`** (`.run/P36/delever/run_tus11.log`, `batch_tus11.json`): `delever: batch tus11 — 5 files (TUs; 5 drawable) · 5 bodies: 0 lever-free, 5 residue, 0 refused · sites removed 0 / needed 10 / refused 7 / deferred 0 · replays 0 (0 disagreed) · compiles 20 in 2 s wall · final 5/5 identical · written 5 files` → R22 (`.run/P36/baseline/r22_tus11.log`) **`check-all: 218 passed, 0 failed of 218`** (`wall=119.43 s`) → census `THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 33,625 sites in 12,501 bodies (1,728 distinct) · marked !FAKE 33,625 · UNMARKED 0`. + +## 🛑 SESSION CHECKPOINT — S98 (2026-09-09): T0 ☑ T1 ☑ T1b ☑ T2 ☑ T3 ☑ — all committed (T3 = `39e3e1851` tools, `cd24727dd` + `7ee458dd7` the ov_SC04_011 batches, this close); NEXT = T4 the mechanical campaign: `tools/delever_cycle.sh` over the whole population (TUs then headers), unattended, one commit per batch, R22 every batch | the number: 53,033 sites in 15,638 bodies (2,246 distinct), 310 marked, 0 orphans | last batch `tus11` on 0cb78a6a7: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 33,625 sites in 12,501 bodies (1,728 distinct) · marked !FAKE 33,625 · UNMARKED 0 ### 0. How to use this block A fresh session reads CLAUDE.md's load order, replays this block verbatim, confirms the effort (T4/T5/T6/T8/T9 are xHigh per the plan, Max is 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 cafc3bc208..09476738cc 100644 --- a/src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c +++ b/src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c @@ -735,7 +735,7 @@ void func_800D2D44(s32 arg0) { INCLUDE_RODATA("asm/md_MAIN_003/nonmatchings/md_MAIN_003_jr_800D1E18", D_800CEDF8); -__asm__( +__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 tus11) ".section .rodata\n" ".align 2\n" ".globl D_800CEE1C\n" @@ -875,7 +875,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__( +__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 tus11) ".section .rodata\n" ".align 2\n" ".globl D_800CEE58\n" diff --git a/src/md_SC07_004/md_SC07_004.c b/src/md_SC07_004/md_SC07_004.c index 676f5f16f6..941d8e958d 100644 --- a/src/md_SC07_004/md_SC07_004.c +++ b/src/md_SC07_004/md_SC07_004.c @@ -2716,7 +2716,7 @@ extern u8 D_801F8744[]; extern u8 D_801AFEF8[]; extern s32 D_801A01B4[]; -__asm__( +__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 tus11) ".section .rodata\n" "dlabel D_801A01B4\n" ".word 0x00000000\n" @@ -5102,7 +5102,7 @@ extern Blk4_801A7358 D_801F8938; * while the function was INCLUDE_ASM the word rode in on the stub. Re-emit it at the * stub's own emission position so the island bytes are unchanged and the symbol is * not dropped from the link. Same form as D_801A0214 in this TU (:6516). */ -__asm__(".section .rodata\nD_801A01EC:\n.word 0x00A06060\n.section .text"); +__asm__(".section .rodata\nD_801A01EC:\n.word 0x00A06060\n.section .text"); // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B tus11) void func_801A788C(s32 a0) { /* Block scope on purpose: md_SC07_004.c declares these four at FILE scope with @@ -5534,7 +5534,7 @@ void func_801A80C0(void *a0) { } -__asm__(".section .rodata\nD_801A0210:\n.word 0x00C0C0C0\n.section .text"); +__asm__(".section .rodata\nD_801A0210:\n.word 0x00C0C0C0\n.section .text"); // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B tus11) void func_801A8228(s32 a0) { @@ -8025,7 +8025,7 @@ extern u8 D_801A0214; * migrated .s and has no INCLUDE_RODATA line in the TU; while the function * was INCLUDE_ASM the island rode in on the stub. Re-emit it here so the * banked C does not drop the symbol from the link. */ -__asm__(".section .rodata\nD_801A0214:\n.word 0x00800000\n.section .text"); +__asm__(".section .rodata\nD_801A0214:\n.word 0x00800000\n.section .text"); // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B tus11) void func_801AB8C0(s32 s1) { @@ -8967,7 +8967,7 @@ void func_801ACE20(void *a0) { /* §8 rodata island: D_801A0218 (0x000020E0) lives only in this function's own .s rodata block, so this draft owns its definition. Same __asm__ island spelling the TU already uses for its other single-word rodata islands. */ -__asm__(".section .rodata\nD_801A0218:\n.word 0x000020E0\n.section .text"); +__asm__(".section .rodata\nD_801A0218:\n.word 0x000020E0\n.section .text"); // !FAKE: instruction .section — REFUSED asm-data: a `.section` block defines data as assembly (a rodata carve, not a compiler steer) — T7 (P36 rung B tus11) extern s32 func_8012C1B8(void); extern void func_8012CAE4(void *a0); diff --git a/src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c b/src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c index d9603e3319..c8d8d09384 100644 --- a/src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c +++ b/src/ov_MAIN_012/ov_MAIN_012_jr_8015444C.c @@ -1585,7 +1585,7 @@ extern s32 func_8014C3A4(void *a0, s32 a1, s32 a2, s32 a3); extern s32 func_8014C3D0(void *a0, s32 a1, s32 a2, s32 a3); extern s32 func_8014C43C(void * a0, s32 a1, s32 a2, s32 a3, s16 a4); extern s32 func_8014C5FC(s32 a0, s32 a1, void *a2); -extern s32 aF8014C4AC(s32 a0, s32 a1, s32 a2, s16 *a3, s32 a4) __asm__(""); +extern s32 aF8014C4AC(s32 a0, s32 a1, s32 a2, s16 *a3, s32 a4) __asm__(""); // !FAKE: barrier — NEEDED COMPILE-ERROR (P36 rung B tus11) s16 func_8014C5D0(s32 a0, s32 a1); extern s32 aF8014C4AC(); extern s32 func_8014C568(s16 *a0, s16 *a1); @@ -1681,7 +1681,7 @@ extern void func_8014E5B4(s32 a0, void *a1, void *a2); extern s32 func_8014E514(u8 *a0, s32 a1, s32 a2); extern void func_8014E48C(s32 a0); extern void func_8014E6F8(struct SubE6F8*); -extern s32 aF8014E5B4(s32 a0, void *a1, void *a2) __asm__(""); +extern s32 aF8014E5B4(s32 a0, void *a1, void *a2) __asm__(""); // !FAKE: barrier — NEEDED COMPILE-ERROR (P36 rung B tus11) void func_8014E6A0(void); extern s32 aF8014E5B4(s32 a0, void *a1, void *a2); extern s32 func_8014E83C(s32 a0, s16 *a1, s16 *a2); diff --git a/src/ov_SC02_037/ov_SC02_037_jr_8015444C.c b/src/ov_SC02_037/ov_SC02_037_jr_8015444C.c index a3d655bfd6..a53b9b7352 100644 --- a/src/ov_SC02_037/ov_SC02_037_jr_8015444C.c +++ b/src/ov_SC02_037/ov_SC02_037_jr_8015444C.c @@ -1599,7 +1599,7 @@ extern s32 func_8014C3A4(void *a0, s32 a1, s32 a2, s32 a3); extern s32 func_8014C3D0(void *a0, s32 a1, s32 a2, s32 a3); extern s32 func_8014C43C(void * a0, s32 a1, s32 a2, s32 a3, s16 a4); extern s32 func_8014C5FC(s32 a0, s32 a1, void *a2); -extern s32 aF8014C4AC(s32 a0, s32 a1, s32 a2, s16 *a3, s32 a4) __asm__(""); +extern s32 aF8014C4AC(s32 a0, s32 a1, s32 a2, s16 *a3, s32 a4) __asm__(""); // !FAKE: barrier — NEEDED COMPILE-ERROR (P36 rung B tus11) s16 func_8014C5D0(s32 a0, s32 a1); extern s32 aF8014C4AC(); extern s32 func_8014C568(s16 *a0, s16 *a1); @@ -1697,7 +1697,7 @@ extern void func_8014E5B4(s32 a0, void *a1, void *a2); extern s32 func_8014E514(u8 *a0, s32 a1, s32 a2); extern void func_8014E48C(s32 a0); extern void func_8014E6F8(struct SubE6F8*); -extern s32 aF8014E5B4(s32 a0, void *a1, void *a2) __asm__(""); +extern s32 aF8014E5B4(s32 a0, void *a1, void *a2) __asm__(""); // !FAKE: barrier — NEEDED COMPILE-ERROR (P36 rung B tus11) void func_8014E6A0(void); extern s32 aF8014E5B4(s32 a0, void *a1, void *a2); extern s32 func_8014E83C(s32 a0, s16 *a1, s16 *a2); diff --git a/src/ov_SC03_107/ov_SC03_107_jr_8015444C.c b/src/ov_SC03_107/ov_SC03_107_jr_8015444C.c index c95ba9a87b..399c7be7e9 100644 --- a/src/ov_SC03_107/ov_SC03_107_jr_8015444C.c +++ b/src/ov_SC03_107/ov_SC03_107_jr_8015444C.c @@ -1586,7 +1586,7 @@ extern s32 func_8014C3A4(void *a0, s32 a1, s32 a2, s32 a3); extern s32 func_8014C3D0(void *a0, s32 a1, s32 a2, s32 a3); extern s32 func_8014C43C(void * a0, s32 a1, s32 a2, s32 a3, s16 a4); extern s32 func_8014C5FC(s32 a0, s32 a1, void *a2); -extern s32 aF8014C4AC(s32 a0, s32 a1, s32 a2, s16 *a3, s32 a4) __asm__(""); +extern s32 aF8014C4AC(s32 a0, s32 a1, s32 a2, s16 *a3, s32 a4) __asm__(""); // !FAKE: barrier — NEEDED COMPILE-ERROR (P36 rung B tus11) s16 func_8014C5D0(s32 a0, s32 a1); extern s32 aF8014C4AC(); extern s32 func_8014C568(s16 *a0, s16 *a1); @@ -1681,7 +1681,7 @@ extern void func_8014E5B4(s32 a0, void *a1, void *a2); extern s32 func_8014E514(u8 *a0, s32 a1, s32 a2); extern void func_8014E48C(s32 a0); extern void func_8014E6F8(struct SubE6F8*); -extern s32 aF8014E5B4(s32 a0, void *a1, void *a2) __asm__(""); +extern s32 aF8014E5B4(s32 a0, void *a1, void *a2) __asm__(""); // !FAKE: barrier — NEEDED COMPILE-ERROR (P36 rung B tus11) void func_8014E6A0(void); extern s32 aF8014E5B4(s32 a0, void *a1, void *a2); extern s32 func_8014E83C(s32 a0, s16 *a1, s16 *a2);