From 96e8ca1a3f74fae10a3c021c6646330a0caabd6b Mon Sep 17 00:00:00 2001
From: Drew T <50529377+Druthulu@users.noreply.github.com>
Date: Fri, 2 Oct 2026 19:31:53 -0600
Subject: [PATCH] =?UTF-8?q?T8.c2:=20batch=20t8=5Ftus3:=20delever:=20batch?=
 =?UTF-8?q?=20t8=5Ftus3=20=E2=80=94=201=20files=20(TUs;=201=20drawabl=20|?=
 =?UTF-8?q?=20R22=20218/218?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .run/P36/baseline/r22_t8_tus3.log         | 475 ++++++++++++++++++++++
 .run/P36/delever/apply_t8_tus3.log        |   4 +
 .run/P36/delever/batch_t8_tus3.json       |  41 ++
 .run/P36/delever/calibrate_t8_tus3.log    |   5 +
 .run/P36/delever/calibration.json         | 312 +++++++-------
 .run/P36/delever/ledger.jsonl             |   1 +
 .run/P36/delever/run_t8_tus3.log          |   8 +
 src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c |   4 +-
 8 files changed, 692 insertions(+), 158 deletions(-)
 create mode 100644 .run/P36/baseline/r22_t8_tus3.log
 create mode 100644 .run/P36/delever/apply_t8_tus3.log
 create mode 100644 .run/P36/delever/batch_t8_tus3.json
 create mode 100644 .run/P36/delever/calibrate_t8_tus3.log
 create mode 100644 .run/P36/delever/run_t8_tus3.log

diff --git a/.run/P36/baseline/r22_t8_tus3.log b/.run/P36/baseline/r22_t8_tus3.log
new file mode 100644
index 0000000000..f19274b711
--- /dev/null
+++ b/.run/P36/baseline/r22_t8_tus3.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<?, ?it/s]
Loading symbols (symbols.us):   0%|          | 0/1096 [00:00<?, ?it/s]
Loading symbols (symbols.us): 100%|██████████| 1096/1096 [00:00<00:00, 227662.30it/s]
+
  0%|          | 0/47 [00:00<?, ?it/s]
Loading symbols (symbols.us.ram):   0%|          | 0/47 [00:00<?, ?it/s]
Loading symbols (symbols.us.ram): 100%|██████████| 47/47 [00:00<00:00, 663745.08it/s]
+
  0%|          | 0/2 [00:00<?, ?it/s]
Scanning header:   0%|          | 0/2 [00:00<?, ?it/s]
Scanning main:   0%|          | 0/2 [00:00<?, ?it/s]  
+Rodata segment '800' may belong to the text segment '800'
+    Based on the usage from the function LzssDecodeSector to the symbol jtbl_80072A38
+
+The rodata segment '800' has jumptables that are not aligned properly file-wise, indicating one or more likely file split.
+File split suggestions for this segment will follow in config yaml format:
+      - [0x6324C, .rodata]
+      - [0x63388, .rodata]
+      - [0x633FC, .rodata]
+
+
+Rodata segment '800_b' may belong to the text segment '800_b'
+    Based on the usage from the function func_8002B0B4 to the symbol jtbl_80072E44
+
+Rodata segment '800_b_2' may belong to the text segment '800_b_2'
+    Based on the usage from the function func_8002DC68 to the symbol jtbl_80072F3C
+
+The rodata segment '800_b_2' has jumptables that are not aligned properly file-wise, indicating one or more likely file split.
+File split suggestions for this segment will follow in config yaml format:
+      - [0x63920, .rodata]
+
+
+Rodata segment '800_c' may belong to the text segment '800_c'
+    Based on the usage from the function func_80035270 to the symbol jtbl_800732A0
+
Scanning main: 100%|██████████| 2/2 [00:01<00:00,  1.79it/s]
Scanning main: 100%|██████████| 2/2 [00:01<00:00,  1.79it/s]
+
  0%|          | 0/2 [00:00<?, ?it/s]
Splitting header:   0%|          | 0/2 [00:00<?, ?it/s]
Splitting main:   0%|          | 0/2 [00:00<?, ?it/s]  
Splitting main: 100%|██████████| 2/2 [00:00<00:00,  2.91it/s]
Splitting main: 100%|██████████| 2/2 [00:00<00:00,  2.91it/s]
+
  0%|          | 0/2 [00:00<?, ?it/s]
Linker script header:   0%|          | 0/2 [00:00<?, ?it/s]
Linker script main:   0%|          | 0/2 [00:00<?, ?it/s]  
Linker script main: 100%|██████████| 2/2 [00:00<00:00, 108.41it/s]
+Split 340 KB (82.28%) in defined segments
+              header:     2 KB (0.50%) 1 split, 0 cached
+                   c:   338 KB (81.78%) 85 split, 0 cached
+             unknown:      0 B (0.00%) from unknown bin files
+ld_interleave --order: .main island = 8 pieces [53198.data.o, 800.o, 63470.data.o, 800_b.o, 800_b_2.o, 63940.data.o, 800_c.o, 63C4C.data.o]; pre=0 text=85 empties=166 bss=85
+[ OK ] ov_SC05_000
+[ OK ] resident
+[ OK ] ov_SC04_000
+[ OK ] ov_SC01_000
+[ OK ] ov_SC06_000
+[ OK ] ov_SC01_006
+[ OK ] ov_SC01_005
+[ OK ] ov_SC03_002
+[ OK ] ov_SC04_019
+[ OK ] ov_SC02_000
+[ OK ] ov_SC03_001
+[ OK ] ov_SC01_077
+[ OK ] ov_SC02_003
+[ OK ] ov_SC04_018
+[ OK ] ov_SC01_004
+[ OK ] ov_SC03_006
+[ OK ] ov_SC01_001
+[ OK ] ov_SC01_074
+[ OK ] ov_SC01_008
+[ OK ] ov_SC07_000
+[ OK ] ov_SC02_004
+[ OK ] ov_SC02_015
+[ OK ] ov_SC02_021
+[ OK ] ov_SC01_080
+[ OK ] ov_SC01_084
+[ OK ] ov_SC02_016
+[ OK ] ov_SC01_009
+[ OK ] ov_SC02_005
+[ OK ] ov_SC02_011
+[ OK ] ov_SC02_039
+[ OK ] ov_SC02_035
+[ OK ] ov_SC02_031
+[ OK ] ov_SC02_026
+[ OK ] ov_SC02_028
+[ OK ] ov_SC03_003
+[ OK ] ov_SC02_017
+[ OK ] ov_SC02_027
+[ OK ] ov_SC02_041
+[ OK ] ov_SC03_010
+[ OK ] ov_SC03_011
+[ OK ] ov_SC03_012
+[ OK ] ov_SC03_013
+[ OK ] ov_SC03_023
+[ OK ] ov_SC03_007
+[ OK ] ov_SC03_024
+[ OK ] ov_SC03_014
+[ OK ] ov_SC03_015
+[ OK ] ov_SC03_031
+[ OK ] ov_SC03_029
+[ OK ] ov_SC03_089
+[ OK ] ov_SC03_092
+[ OK ] ov_SC03_090
+[ OK ] ov_SC03_030
+[ OK ] ov_SC03_028
+[ OK ] ov_SC03_096
+[ OK ] ov_SC03_095
+[ OK ] ov_SC03_091
+[ OK ] ov_SC03_093
+[ OK ] ov_SC03_097
+[ OK ] ov_SC03_094
+[ OK ] ov_SC03_098
+[ OK ] ov_SC03_101
+[ OK ] ov_SC03_099
+[ OK ] ov_SC03_109
+[ OK ] ov_SC03_108
+[ OK ] ov_SC03_104
+[ OK ] ov_SC03_100
+[ OK ] ov_SC03_110
+[ OK ] ov_SC03_102
+[ OK ] ov_SC03_115
+[ OK ] ov_SC03_103
+[ OK ] ov_SC03_113
+[ OK ] ov_SC03_114
+[ OK ] ov_SC03_105
+[ OK ] ov_SC03_112
+[ OK ] ov_SC03_111
+[ OK ] ov_SC03_116
+[ OK ] ov_SC03_126
+[ OK ] ov_SC04_003
+[ OK ] ov_SC03_117
+[ OK ] ov_SC03_121
+[ OK ] ov_SC04_008
+[ OK ] ov_SC04_006
+[ OK ] ov_SC04_009
+[ OK ] ov_SC04_010
+[ OK ] ov_SC04_004
+[ OK ] ov_SC03_125
+[ OK ] ov_SC03_118
+[ OK ] ov_SC04_002
+[ OK ] ov_SC04_007
+[ OK ] ov_SC04_005
+[ OK ] ov_SC03_119
+[ OK ] ov_SC03_124
+[ OK ] ov_SC04_012
+[ OK ] ov_SC04_021
+[ OK ] ov_SC04_016
+[ OK ] ov_SC05_006
+[ OK ] ov_SC05_004
+[ OK ] ov_SC05_002
+[ OK ] ov_SC05_007
+[ OK ] ov_SC05_009
+[ OK ] ov_SC04_020
+[ OK ] ov_SC04_015
+[ OK ] ov_SC05_001
+[ OK ] ov_SC05_003
+[ OK ] ov_SC05_005
+[ OK ] ov_SC05_008
+[ OK ] ov_SC04_011
+[ OK ] ov_SC05_010
+[ OK ] ov_SC05_011
+[ OK ] ov_SC05_019
+[ OK ] ov_SC06_008
+[ OK ] ov_SC06_015
+[ OK ] ov_SC06_013
+[ OK ] ov_SC06_016
+[ OK ] ov_SC06_011
+[ OK ] ov_SC06_014
+[ OK ] ov_SC05_017
+[ OK ] ov_SC06_010
+[ OK ] ov_SC06_020
+[ OK ] ov_SC05_018
+[ OK ] ov_SC06_018
+[ OK ] ov_SC06_025
+[ OK ] ov_SC06_006
+[ OK ] ov_SC06_027
+[ OK ] ov_SC06_022
+[ OK ] ov_SC06_024
+[ OK ] md_MAIN_013
+[ OK ] ov_SC07_008
+[ OK ] md_MAIN_014
+[ OK ] md_MAIN_015
+[ OK ] md_MAIN_016
+[ OK ] md_MAIN_017
+[ OK ] md_MAIN_018
+[ OK ] ov_SC07_001
+[ OK ] ov_SC07_002
+[ OK ] md_MAIN_019
+[ OK ] md_MAIN_020
+[ OK ] ov_SC06_030
+[ OK ] md_MAIN_021
+[ OK ] md_MAIN_023
+[ OK ] md_MAIN_022
+[ OK ] ov_SC07_009
+[ OK ] md_MAIN_024
+[ OK ] ov_MAIN_012
+[ OK ] md_MAIN_026
+[ OK ] md_MAIN_029
+[ OK ] md_MAIN_027
+[ OK ] md_MAIN_025
+[ OK ] md_MAIN_028
+[ OK ] md_MAIN_030
+[ OK ] md_MAIN_031
+[ OK ] md_MAIN_032
+[ OK ] md_MAIN_034
+[ OK ] md_MAIN_035
+[ OK ] md_MAIN_033
+[ OK ] md_MAIN_036
+[ OK ] md_MAIN_037
+[ OK ] md_MAIN_038
+[ OK ] ov_SC06_029
+[ OK ] ov_SC06_033
+[ OK ] md_MAIN_043
+[ OK ] md_MAIN_039
+[ OK ] md_MAIN_040
+[ OK ] ov_SC07_011
+[ OK ] md_MAIN_042
+[ OK ] md_MAIN_041
+[ OK ] ov_SC07_010
+[ OK ] ov_SC06_032
+[ OK ] md_MAIN_044
+[ OK ] md_MAIN_045
+[ OK ] md_MAIN_046
+[ OK ] md_MAIN_047
+[ OK ] md_MAIN_008
+[ OK ] md_MAIN_001
+[ OK ] md_MAIN_011
+[ OK ] md_SC03_074
+[ OK ] md_SC03_078
+[ OK ] md_SC03_073
+[ OK ] md_SC03_075
+[ OK ] md_SC03_077
+[ OK ] md_SC03_076
+[ OK ] md_SC03_132
+[ OK ] md_SC03_079
+[ OK ] md_SC03_133
+[ OK ] ov_SC03_107
+[ OK ] md_SC03_137
+[ OK ] md_SC03_134
+[ OK ] md_SC03_135
+[ OK ] md_SC03_136
+[ OK ] md_SC04_024
+[ OK ] ov_SC07_007
+[ OK ] md_SC03_138
+[ OK ] md_MAIN_003
+[ OK ] md_SC04_025
+[ OK ] md_SC04_029
+[ OK ] md_SC04_026
+[ OK ] md_SC05_023
+[ OK ] md_SC04_027
+[ OK ] md_SC04_028
+[ OK ] md_SC04_030
+[ OK ] md_SC05_024
+[ OK ] md_SC05_028
+[ OK ] md_SC05_025
+[ OK ] md_SC05_027
+[ OK ] md_SC05_026
+[ OK ] md_MAIN_007
+[ OK ] md_MAIN_009
+[ OK ] md_SC03_053
+[ OK ] md_SC03_054
+[ OK ] md_SC05_029
+[ OK ] md_SC03_056
+[ OK ] ov_SC02_037
+[ OK ] md_SC02_009
+[ OK ] ov_SC07_006
+[ OK ] md_SC07_004
+[ OK ] md_SC07_003
+extract-all: 217 extracted, 0 failed of 217 (+ main, serial)
+[ OK ] resident
+[ OK ] ov_SC05_000
+[ OK ] ov_SC01_000
+[ OK ] ov_SC04_000
+[ OK ] ov_SC01_005
+[ OK ] ov_SC01_006
+[ OK ] ov_SC01_001
+[ OK ] ov_SC03_006
+[ OK ] ov_SC03_002
+[ OK ] ov_SC06_000
+[ OK ] ov_SC04_018
+[ OK ] ov_SC04_019
+[ OK ] ov_SC01_077
+[ OK ] ov_SC03_001
+[ OK ] ov_SC02_003
+[ OK ] ov_SC02_000
+[ OK ] ov_SC01_004
+[ OK ] ov_SC07_000
+[ OK ] ov_SC01_008
+[ OK ] ov_SC01_080
+[ OK ] ov_SC02_004
+[ OK ] ov_SC01_074
+[ OK ] ov_SC02_015
+[ OK ] ov_SC01_009
+[ OK ] ov_SC01_084
+[ OK ] ov_SC02_016
+[ OK ] ov_SC02_021
+[ OK ] ov_SC02_026
+[ OK ] ov_SC02_017
+[ OK ] ov_SC02_005
+[ OK ] ov_SC02_011
+[ OK ] ov_SC02_031
+[ OK ] ov_SC03_003
+[ OK ] ov_SC02_039
+[ OK ] ov_SC02_035
+[ OK ] ov_SC02_041
+[ OK ] ov_SC02_028
+[ OK ] ov_SC02_027
+[ OK ] ov_SC03_010
+[ OK ] ov_SC03_007
+[ OK ] ov_SC03_012
+[ OK ] ov_SC03_011
+[ OK ] ov_SC03_013
+[ OK ] ov_SC03_023
+[ OK ] ov_SC03_015
+[ OK ] ov_SC03_014
+[ OK ] ov_SC03_030
+[ OK ] ov_SC03_031
+[ OK ] ov_SC03_029
+[ OK ] ov_SC03_024
+[ OK ] ov_SC03_089
+[ OK ] ov_SC03_090
+[ OK ] ov_SC03_028
+[ OK ] ov_SC03_092
+[ OK ] ov_SC03_091
+[ OK ] ov_SC03_093
+[ OK ] ov_SC03_095
+[ OK ] ov_SC03_094
+[ OK ] ov_SC03_096
+[ OK ] main
+[ OK ] ov_SC03_098
+[ OK ] ov_SC03_097
+[ OK ] ov_SC03_099
+[ OK ] ov_SC03_101
+[ OK ] ov_SC03_102
+[ OK ] ov_SC03_100
+[ OK ] ov_SC03_103
+[ OK ] ov_SC03_108
+[ OK ] ov_SC03_109
+[ OK ] ov_SC03_111
+[ OK ] ov_SC03_110
+[ OK ] ov_SC03_113
+[ OK ] ov_SC03_104
+[ OK ] ov_SC03_105
+[ OK ] ov_SC03_112
+[ OK ] ov_SC03_114
+[ OK ] ov_SC03_115
+[ OK ] ov_SC03_116
+[ OK ] ov_SC03_117
+[ OK ] ov_SC03_121
+[ OK ] ov_SC03_126
+[ OK ] ov_SC03_119
+[ OK ] ov_SC03_125
+[ OK ] ov_SC03_118
+[ OK ] ov_SC04_003
+[ OK ] ov_SC04_002
+[ OK ] ov_SC04_008
+[ OK ] ov_SC04_006
+[ OK ] ov_SC04_004
+[ OK ] ov_SC03_124
+[ OK ] ov_SC04_009
+[ OK ] ov_SC04_005
+[ OK ] ov_SC04_010
+[ OK ] ov_SC04_007
+[ OK ] ov_SC04_012
+[ OK ] ov_SC04_011
+[ OK ] ov_SC04_021
+[ OK ] ov_SC04_016
+[ OK ] ov_SC04_015
+[ OK ] ov_SC05_002
+[ OK ] ov_SC04_020
+[ OK ] ov_SC05_001
+[ OK ] ov_SC05_003
+[ OK ] ov_SC05_005
+[ OK ] ov_SC05_006
+[ OK ] ov_SC05_004
+[ OK ] ov_SC05_009
+[ OK ] ov_SC05_007
+[ OK ] ov_SC05_008
+[ OK ] ov_SC05_010
+[ OK ] ov_SC05_011
+[ OK ] ov_SC05_019
+[ OK ] ov_SC06_010
+[ OK ] ov_SC06_011
+[ OK ] ov_SC06_013
+[ OK ] ov_SC06_008
+[ OK ] ov_SC06_014
+[ OK ] ov_SC06_006
+[ OK ] ov_SC05_018
+[ OK ] ov_SC06_015
+[ OK ] ov_SC06_020
+[ OK ] ov_SC05_017
+[ OK ] ov_SC06_016
+[ OK ] ov_SC06_022
+[ OK ] ov_SC06_018
+[ OK ] ov_SC06_024
+[ OK ] ov_SC06_025
+[ OK ] ov_SC06_027
+[ OK ] md_MAIN_013
+[ OK ] md_MAIN_014
+[ OK ] ov_SC07_001
+[ OK ] md_MAIN_015
+[ OK ] md_MAIN_016
+[ OK ] ov_SC07_009
+[ OK ] ov_SC06_030
+[ OK ] md_MAIN_017
+[ OK ] md_MAIN_018
+[ OK ] md_MAIN_020
+[ OK ] ov_SC07_008
+[ OK ] md_MAIN_019
+[ OK ] ov_SC07_010
+[ OK ] ov_SC07_002
+[ OK ] md_MAIN_021
+[ OK ] md_MAIN_023
+[ OK ] md_MAIN_022
+[ OK ] ov_SC06_029
+[ OK ] md_MAIN_024
+[ OK ] md_MAIN_025
+[ OK ] md_MAIN_028
+[ OK ] md_MAIN_026
+[ OK ] ov_SC07_007
+[ OK ] md_MAIN_027
+[ OK ] md_MAIN_029
+[ OK ] md_MAIN_031
+[ OK ] md_MAIN_030
+[ OK ] md_MAIN_034
+[ OK ] md_MAIN_032
+[ OK ] md_MAIN_033
+[ OK ] md_MAIN_036
+[ OK ] md_MAIN_035
+[ OK ] md_MAIN_037
+[ OK ] ov_SC07_006
+[ OK ] md_MAIN_042
+[ OK ] md_MAIN_040
+[ OK ] md_MAIN_039
+[ OK ] md_MAIN_038
+[ OK ] md_MAIN_041
+[ OK ] md_MAIN_045
+[ OK ] md_MAIN_044
+[ OK ] md_MAIN_043
+[ OK ] md_MAIN_047
+[ OK ] md_MAIN_046
+[ OK ] md_MAIN_008
+[ OK ] ov_SC06_032
+[ OK ] md_MAIN_001
+[ OK ] md_MAIN_011
+[ OK ] ov_MAIN_012
+[ OK ] md_SC03_073
+[ OK ] md_SC03_074
+[ OK ] ov_SC07_011
+[ OK ] md_SC03_075
+[ OK ] md_SC03_078
+[ OK ] ov_SC06_033
+[ OK ] md_SC03_079
+[ OK ] md_SC03_134
+[ OK ] md_SC03_077
+[ OK ] md_SC03_133
+[ OK ] md_SC03_132
+[ OK ] md_SC03_076
+[ OK ] md_SC03_138
+[ OK ] md_SC03_137
+[ OK ] md_SC04_024
+[ OK ] md_SC03_136
+[ OK ] md_SC04_025
+[ OK ] md_MAIN_003
+[ OK ] md_SC03_135
+[ OK ] md_SC07_003
+[ OK ] md_SC04_029
+[ OK ] md_SC04_030
+[ OK ] md_SC04_026
+[ OK ] md_SC05_024
+[ OK ] md_SC05_028
+[ OK ] md_SC05_025
+[ OK ] md_SC05_023
+[ OK ] md_SC04_028
+[ OK ] md_SC02_009
+[ OK ] md_SC05_029
+[ OK ] md_MAIN_009
+[ OK ] md_SC03_053
+[ OK ] md_SC04_027
+[ OK ] md_SC07_004
+[ OK ] md_MAIN_007
+[ OK ] md_SC05_027
+[ OK ] md_SC05_026
+[ OK ] md_SC03_056
+[ OK ] md_SC03_054
+[ OK ] ov_SC02_037
+[ OK ] ov_SC03_107
+check-all: 218 passed, 0 failed of 218
+exit=0
diff --git a/.run/P36/delever/apply_t8_tus3.log b/.run/P36/delever/apply_t8_tus3.log
new file mode 100644
index 0000000000..1cac26ea64
--- /dev/null
+++ b/.run/P36/delever/apply_t8_tus3.log
@@ -0,0 +1,4 @@
+19:29:41 apply t8_tus3: 1 files, control src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c IDENTICAL (0.05 s), calibration bb84bb1ab5, census 046394d66b5fb8dd
+19:29:41 apply t8_tus3: phase 1 (exemplar files) 0, phase 2 (copies replay) 1
+19:29:41   src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c:<file-scope> A=DIFFERS B: removed 0 needed 2 compiles 3
+19:29:54 delever: batch t8_tus3 — 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_tus3.json b/.run/P36/delever/batch_t8_tus3.json
new file mode 100644
index 0000000000..dc4f553e60
--- /dev/null
+++ b/.run/P36/delever/batch_t8_tus3.json
@@ -0,0 +1,41 @@
+{
+ "label": "t8_tus3",
+ "generated": "2026-10-02 19:29",
+ "headers": false,
+ "batch": 300,
+ "only": null,
+ "files": 1,
+ "drawable_files": 1,
+ "wall_s": 13.5,
+ "calib": {
+  "head": "bb84bb1ab5",
+  "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.19575881958007812,
+ "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_tus3.log b/.run/P36/delever/calibrate_t8_tus3.log
new file mode 100644
index 0000000000..287093cfd8
--- /dev/null
+++ b/.run/P36/delever/calibrate_t8_tus3.log
@@ -0,0 +1,5 @@
+delever_oracle --calibrate main md_SC07_004 ov_SC03_015 ov_SC04_011: 146/146 objects byte-identical untouched; twin checks 32 (0 mismatch); positive control DIFFERS on build/src/800.o; 2.2 s — OK
+   main           85/85 identical, mean 0.085 s per object
+   md_SC07_004    1/1 identical, mean 0.527 s per object
+   ov_SC03_015    32/32 identical, mean 0.162 s per object
+   ov_SC04_011    28/28 identical, mean 0.155 s per object
diff --git a/.run/P36/delever/calibration.json b/.run/P36/delever/calibration.json
index cdae509584..e222ad1fb0 100644
--- a/.run/P36/delever/calibration.json
+++ b/.run/P36/delever/calibration.json
@@ -1,7 +1,7 @@
 {
- "head": "3695293d75",
+ "head": "bb84bb1ab5",
  "stamp": "588cbf38c6e4",
- "generated": "2026-10-02 19:22",
+ "generated": "2026-10-02 19:29",
  "aliases": [
   "main",
   "md_SC07_004",
@@ -21,176 +21,176 @@
   "main": {
    "objects": 85,
    "identical": 85,
-   "seconds": 8.985999999999999,
-   "mean_s": 0.106
+   "seconds": 7.239999999999998,
+   "mean_s": 0.085
   },
   "md_SC07_004": {
    "objects": 1,
    "identical": 1,
-   "seconds": 0.562,
-   "mean_s": 0.562
+   "seconds": 0.527,
+   "mean_s": 0.527
   },
   "ov_SC03_015": {
    "objects": 32,
    "identical": 32,
-   "seconds": 5.547000000000001,
-   "mean_s": 0.173
+   "seconds": 5.178,
+   "mean_s": 0.162
   },
   "ov_SC04_011": {
    "objects": 28,
    "identical": 28,
-   "seconds": 4.5889999999999995,
-   "mean_s": 0.164
+   "seconds": 4.3500000000000005,
+   "mean_s": 0.155
   }
  },
  "per_object_seconds": {
-  "build/src/800.o": 0.903,
-  "build/src/800_b.o": 0.092,
-  "build/src/800_b_2.o": 0.436,
-  "build/src/800_b_o0a.o": 0.111,
-  "build/src/800_c.o": 0.279,
-  "build/src/800b2.o": 0.123,
-  "build/src/apicard1.o": 0.105,
-  "build/src/apicard2.o": 0.108,
-  "build/src/apicard3.o": 0.126,
-  "build/src/apicard4.o": 0.11,
-  "build/src/apicard5.o": 0.13,
-  "build/src/apicard6.o": 0.105,
-  "build/src/apicard7.o": 0.106,
-  "build/src/boot.o": 0.15,
-  "build/src/gap.o": 0.094,
-  "build/src/libapi1.o": 0.09,
-  "build/src/libapi2.o": 0.095,
-  "build/src/libc2_1.o": 0.076,
-  "build/src/libc2_2.o": 0.074,
-  "build/src/libcd1.o": 0.089,
-  "build/src/libcd2.o": 0.082,
-  "build/src/libetc.o": 0.119,
-  "build/src/libgpu.o": 0.092,
-  "build/src/libgpu2.o": 0.112,
-  "build/src/libgs1.o": 0.106,
-  "build/src/libgs2.o": 0.091,
-  "build/src/libgs3.o": 0.069,
-  "build/src/libgs4.o": 0.104,
-  "build/src/libgs5.o": 0.076,
-  "build/src/libgs6.o": 0.094,
-  "build/src/libgs7.o": 0.073,
-  "build/src/libgs8.o": 0.083,
-  "build/src/libgte1.o": 0.074,
-  "build/src/libgte10.o": 0.092,
-  "build/src/libgte11.o": 0.074,
-  "build/src/libgte12.o": 0.082,
-  "build/src/libgte13.o": 0.09,
-  "build/src/libgte14.o": 0.083,
-  "build/src/libgte15.o": 0.097,
-  "build/src/libgte16.o": 0.095,
-  "build/src/libgte17.o": 0.094,
-  "build/src/libgte18.o": 0.089,
-  "build/src/libgte19.o": 0.081,
-  "build/src/libgte2.o": 0.092,
-  "build/src/libgte20.o": 0.086,
-  "build/src/libgte21.o": 0.095,
-  "build/src/libgte22.o": 0.092,
-  "build/src/libgte23.o": 0.095,
-  "build/src/libgte24.o": 0.087,
-  "build/src/libgte25.o": 0.086,
-  "build/src/libgte26.o": 0.097,
-  "build/src/libgte27.o": 0.078,
-  "build/src/libgte28.o": 0.082,
-  "build/src/libgte29.o": 0.069,
-  "build/src/libgte3.o": 0.086,
-  "build/src/libgte30.o": 0.083,
-  "build/src/libgte4.o": 0.104,
-  "build/src/libgte5.o": 0.087,
-  "build/src/libgte6.o": 0.074,
-  "build/src/libgte7.o": 0.086,
-  "build/src/libgte8.o": 0.083,
-  "build/src/libgte9.o": 0.085,
-  "build/src/libmcrd1.o": 0.091,
-  "build/src/libmcrd2.o": 0.083,
-  "build/src/libpad1.o": 0.08,
-  "build/src/libpad2.o": 0.099,
-  "build/src/sgap.o": 0.08,
-  "build/src/sgap_2.o": 0.079,
-  "build/src/sgap_3.o": 0.084,
-  "build/src/sgap_4.o": 0.085,
-  "build/src/sgap_5.o": 0.084,
-  "build/src/sgap_6.o": 0.073,
-  "build/src/sgap_8.o": 0.086,
-  "build/src/snd1.o": 0.086,
-  "build/src/snd10.o": 0.092,
-  "build/src/snd11.o": 0.077,
-  "build/src/snd12.o": 0.072,
-  "build/src/snd2.o": 0.093,
-  "build/src/snd3.o": 0.082,
-  "build/src/snd4.o": 0.081,
-  "build/src/snd5.o": 0.073,
-  "build/src/snd6.o": 0.078,
-  "build/src/snd7.o": 0.075,
-  "build/src/snd8.o": 0.074,
-  "build/src/snd9.o": 0.078,
-  "build/src/md_SC07_004/md_SC07_004.o": 0.562,
-  "build/src/ov_SC03_015/ov_SC03_015.o": 0.172,
-  "build/src/ov_SC03_015/ov_SC03_015_after.o": 0.571,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.44,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.092,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.087,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.165,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.205,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.146,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.106,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.091,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.222,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.104,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.208,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.12,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.089,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.09,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.115,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.509,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.303,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.113,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.231,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.082,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.123,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.089,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.19,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.231,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.068,
-  "build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.288,
-  "build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.061,
-  "build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.075,
-  "build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.076,
-  "build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.085,
-  "build/src/ov_SC04_011/ov_SC04_011.o": 0.141,
-  "build/src/ov_SC04_011/ov_SC04_011_after.o": 0.5,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.386,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.062,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.063,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.138,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.166,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.132,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.092,
+  "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.197,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.085,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.184,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.114,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.082,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.089,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.114,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.398,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.235,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.121,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.198,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.077,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.114,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.085,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.118,
-  "build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.48,
-  "build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.062,
-  "build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.076
+  "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
  },
  "ok": true,
- "seconds": 2.3
+ "seconds": 2.2
 }
diff --git a/.run/P36/delever/ledger.jsonl b/.run/P36/delever/ledger.jsonl
index 906e36a319..50c9d8095a 100644
--- a/.run/P36/delever/ledger.jsonl
+++ b/.run/P36/delever/ledger.jsonl
@@ -31018,3 +31018,4 @@
 {"ts": "2026-10-02 19:27:00", "label": "t8_tus2", "rung": "B", "calib": {"head": "3695293d75", "stamp": "588cbf38c6e4"}, "tu": "src/ov_SC05_007/ov_SC05_007_jr_8017BEBC.c", "fn": "func_8018020C", "addr": 2149057036, "aliases": ["ov_SC05_007"], "header": false, "includers": 0, "o0": false, "nhash_before": "db4e4996d215ddbcb7e970bfcb509be7c09e3c2d", "nhash_after": "db4e4996d215ddbcb7e970bfcb509be7c09e3c2d", "exemplar": null, "verdict": "RESIDUE", "replay_disagreed": false, "sites": [{"ord": 0, "kind": "pin", "cls": "A", "detail": "$2", "via": "", "line": 4896, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}, {"ord": 1, "kind": "keepalive", "cls": "B", "detail": "", "via": "", "line": 4915, "verdict": "NEEDED", "why": "", "oracle": "DIFFERS"}], "compiles": 3, "seconds": 0.681}
 {"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": "<file-scope>", "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}
diff --git a/.run/P36/delever/run_t8_tus3.log b/.run/P36/delever/run_t8_tus3.log
new file mode 100644
index 0000000000..c0ca60f345
--- /dev/null
+++ b/.run/P36/delever/run_t8_tus3.log
@@ -0,0 +1,8 @@
+delever: the census describes another tree (stamp 4a1d93e11ccd0225); 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:29:41 apply t8_tus3: 1 files, control src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c IDENTICAL (0.05 s), calibration bb84bb1ab5, census 046394d66b5fb8dd
+19:29:41 apply t8_tus3: phase 1 (exemplar files) 0, phase 2 (copies replay) 1
+19:29:41   src/md_MAIN_003/md_MAIN_003_jr_800D1E18.c:<file-scope> A=DIFFERS B: removed 0 needed 2 compiles 3
+19:29:54 delever: batch t8_tus3 — 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_tus3 wall=43.36 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 f09c615a33..147fa764d9 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_tus2)
+__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)
     ".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_tus2)
+__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)
     ".section .rodata\n"
     ".align 2\n"
     ".globl D_800CEE58\n"