mirror/BFM-decomp
1
0
Fork 0
mirror of https://github.com/Druthulu/BFM-decomp synced 2026-09-26 21:36:06 -04:00
Code Issues Packages Projects Releases Wiki Activity

phase-36: T4 — batch tus3 killed mid-apply by the harness's low-memory guard (22 GB free): recovered by dropping its 641 ledger rows (backup) and --restore (50 files, src clean); --restore now drops the in-flight label's rows itself (inflight.json carries the label); the cycle's usage: run it DETACHED (setsid nohup) with a tiny waiter; SETUP row; kit corpus; log entry

Browse Source
This commit is contained in:
Drew T
2026-09-09 03:35:35 -06:00
parent dd01cbdf6e
commit 77a1298cb7
11 changed files with 776 additions and 195 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.run/P36/delever/apply_tus3.log
+267
View File
@@ -0,0 +1,267 @@
03:31:12 apply tus3: 300 files, control src/ov_SC03_029/ov_SC03_029_jr_80135A4C.c IDENTICAL (0.09 s), calibration dd01cbdf6, census 53caafa5f5cc74a3
03:31:12 apply tus3: phase 1 (exemplar files) 3, phase 2 (copies replay) 297
03:31:12 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013CF68 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:12 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013D178 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:12 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013D53C A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:13 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013E5E8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:13 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013EB7C A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:13 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:14 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:15 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80133AB0 A=DIFFERS B: removed 0 needed 4 compiles 5
03:31:15 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80133CD4 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:17 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:17 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_801345F8 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:19 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80134C20 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:19 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:20 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:21 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80135168 A=DIFFERS B: removed 0 needed 5 compiles 6
03:31:24 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:30 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:33 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:35 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:35 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:35 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:36 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:36 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:41 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:45 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:48 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:49 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:50 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:51 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:56 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:57 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:57 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:57 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:00 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:03 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:03 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:03 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:03 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:03 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:05 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:06 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:09 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:11 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:11 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:13 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:13 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:14 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:15 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:15 src/ov_SC04_004/ov_SC04_004_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:15 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:15 src/ov_SC04_006/ov_SC04_006_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_009/ov_SC04_009_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_007/ov_SC04_007_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_010/ov_SC04_010_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_012/ov_SC04_012_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_016/ov_SC04_016_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_004/ov_SC04_004_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_015/ov_SC04_015_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_006/ov_SC04_006_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_007/ov_SC04_007_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_009/ov_SC04_009_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_010/ov_SC04_010_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_016/ov_SC04_016_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_012/ov_SC04_012_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_015/ov_SC04_015_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:18 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:18 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:18 src/ov_SC04_004/ov_SC04_004_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:18 src/ov_SC04_018/ov_SC04_018_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:18 src/ov_SC04_006/ov_SC04_006_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_009/ov_SC04_009_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_007/ov_SC04_007_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_010/ov_SC04_010_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_016/ov_SC04_016_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_012/ov_SC04_012_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_015/ov_SC04_015_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:20 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:20 src/ov_SC04_018/ov_SC04_018_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:20 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
.run/P36/delever/calibrate_tus3.log
+5
View File
@@ -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.4 s — OK
main 85/85 identical, mean 0.117 s per object
ov_SC03_014 32/32 identical, mean 0.2 s per object
ov_SC03_015 32/32 identical, mean 0.192 s per object
ov_SC04_011 28/28 identical, mean 0.189 s per object
.run/P36/delever/calibration.json
+186 -186
View File
@@ -1,7 +1,7 @@
{
"head": "a605e1dba",
"head": "dd01cbdf6",
"stamp": "b44c5a8a3423",
"generated": "2026-09-09 03:20",
"generated": "2026-09-09 03:31",
"aliases": [
"main",
"ov_SC03_014",
@@ -21,207 +21,207 @@
"main": {
"objects": 85,
"identical": 85,
"seconds": 16.508,
"mean_s": 0.194
"seconds": 9.970000000000002,
"mean_s": 0.117
},
"ov_SC03_014": {
"objects": 32,
"identical": 32,
"seconds": 9.711999999999998,
"mean_s": 0.303
"seconds": 6.387,
"mean_s": 0.2
},
"ov_SC03_015": {
"objects": 32,
"identical": 32,
"seconds": 8.828,
"mean_s": 0.276
"seconds": 6.1560000000000015,
"mean_s": 0.192
},
"ov_SC04_011": {
"objects": 28,
"identical": 28,
"seconds": 6.593,
"mean_s": 0.235
"seconds": 5.291,
"mean_s": 0.189
}
},
"per_object_seconds": {
"build/src/800.o": 1.105,
"build/src/800_b.o": 0.119,
"build/src/800_b_2.o": 0.457,
"build/src/800_b_o0a.o": 0.206,
"build/src/800_c.o": 0.31,
"build/src/800b2.o": 0.177,
"build/src/apicard1.o": 0.393,
"build/src/apicard2.o": 0.128,
"build/src/apicard3.o": 0.123,
"build/src/apicard4.o": 0.198,
"build/src/apicard5.o": 0.29,
"build/src/apicard6.o": 0.116,
"build/src/apicard7.o": 0.254,
"build/src/boot.o": 0.162,
"build/src/gap.o": 0.13,
"build/src/libapi1.o": 0.186,
"build/src/libapi2.o": 0.099,
"build/src/libc2_1.o": 0.233,
"build/src/libc2_2.o": 0.238,
"build/src/libcd1.o": 0.13,
"build/src/libcd2.o": 0.214,
"build/src/libetc.o": 0.128,
"build/src/libgpu.o": 0.187,
"build/src/libgpu2.o": 0.177,
"build/src/libgs1.o": 0.171,
"build/src/libgs2.o": 0.165,
"build/src/libgs3.o": 0.151,
"build/src/libgs4.o": 0.147,
"build/src/libgs5.o": 0.163,
"build/src/libgs6.o": 0.489,
"build/src/libgs7.o": 0.327,
"build/src/libgs8.o": 0.116,
"build/src/libgte1.o": 0.143,
"build/src/libgte10.o": 0.124,
"build/src/libgte11.o": 0.126,
"build/src/libgte12.o": 0.157,
"build/src/libgte13.o": 0.204,
"build/src/libgte14.o": 0.117,
"build/src/libgte15.o": 0.11,
"build/src/libgte16.o": 0.346,
"build/src/libgte17.o": 0.345,
"build/src/libgte18.o": 0.132,
"build/src/libgte19.o": 0.101,
"build/src/libgte2.o": 0.121,
"build/src/libgte20.o": 0.374,
"build/src/libgte21.o": 0.203,
"build/src/libgte22.o": 0.083,
"build/src/libgte23.o": 0.114,
"build/src/libgte24.o": 0.112,
"build/src/libgte25.o": 0.104,
"build/src/libgte26.o": 0.118,
"build/src/libgte27.o": 0.364,
"build/src/libgte28.o": 0.15,
"build/src/libgte29.o": 0.121,
"build/src/libgte3.o": 0.282,
"build/src/libgte30.o": 0.111,
"build/src/libgte4.o": 0.093,
"build/src/libgte5.o": 0.12,
"build/src/libgte6.o": 0.132,
"build/src/libgte7.o": 0.185,
"build/src/libgte8.o": 0.127,
"build/src/800.o": 0.965,
"build/src/800_b.o": 0.109,
"build/src/800_b_2.o": 0.524,
"build/src/800_b_o0a.o": 0.081,
"build/src/800_c.o": 0.425,
"build/src/800b2.o": 0.258,
"build/src/apicard1.o": 0.093,
"build/src/apicard2.o": 0.125,
"build/src/apicard3.o": 0.11,
"build/src/apicard4.o": 0.114,
"build/src/apicard5.o": 0.12,
"build/src/apicard6.o": 0.178,
"build/src/apicard7.o": 0.131,
"build/src/boot.o": 0.157,
"build/src/gap.o": 0.107,
"build/src/libapi1.o": 0.098,
"build/src/libapi2.o": 0.096,
"build/src/libc2_1.o": 0.077,
"build/src/libc2_2.o": 0.071,
"build/src/libcd1.o": 0.087,
"build/src/libcd2.o": 0.069,
"build/src/libetc.o": 0.082,
"build/src/libgpu.o": 0.095,
"build/src/libgpu2.o": 0.083,
"build/src/libgs1.o": 0.075,
"build/src/libgs2.o": 0.074,
"build/src/libgs3.o": 0.064,
"build/src/libgs4.o": 0.069,
"build/src/libgs5.o": 0.2,
"build/src/libgs6.o": 0.201,
"build/src/libgs7.o": 0.092,
"build/src/libgs8.o": 0.066,
"build/src/libgte1.o": 0.144,
"build/src/libgte10.o": 0.059,
"build/src/libgte11.o": 0.07,
"build/src/libgte12.o": 0.072,
"build/src/libgte13.o": 0.087,
"build/src/libgte14.o": 0.089,
"build/src/libgte15.o": 0.135,
"build/src/libgte16.o": 0.078,
"build/src/libgte17.o": 0.065,
"build/src/libgte18.o": 0.066,
"build/src/libgte19.o": 0.089,
"build/src/libgte2.o": 0.079,
"build/src/libgte20.o": 0.066,
"build/src/libgte21.o": 0.067,
"build/src/libgte22.o": 0.147,
"build/src/libgte23.o": 0.064,
"build/src/libgte24.o": 0.083,
"build/src/libgte25.o": 0.067,
"build/src/libgte26.o": 0.081,
"build/src/libgte27.o": 0.082,
"build/src/libgte28.o": 0.19,
"build/src/libgte29.o": 0.126,
"build/src/libgte3.o": 0.072,
"build/src/libgte30.o": 0.064,
"build/src/libgte4.o": 0.113,
"build/src/libgte5.o": 0.068,
"build/src/libgte6.o": 0.169,
"build/src/libgte7.o": 0.067,
"build/src/libgte8.o": 0.082,
"build/src/libgte9.o": 0.139,
"build/src/libmcrd1.o": 0.249,
"build/src/libmcrd2.o": 0.232,
"build/src/libpad1.o": 0.148,
"build/src/libpad2.o": 0.206,
"build/src/sgap.o": 0.129,
"build/src/sgap_2.o": 0.27,
"build/src/sgap_3.o": 0.155,
"build/src/sgap_4.o": 0.139,
"build/src/sgap_5.o": 0.1,
"build/src/sgap_6.o": 0.127,
"build/src/sgap_8.o": 0.122,
"build/src/snd1.o": 0.353,
"build/src/snd10.o": 0.111,
"build/src/snd11.o": 0.123,
"build/src/snd12.o": 0.108,
"build/src/snd2.o": 0.299,
"build/src/snd3.o": 0.106,
"build/src/snd4.o": 0.296,
"build/src/snd5.o": 0.095,
"build/src/snd6.o": 0.349,
"build/src/snd7.o": 0.115,
"build/src/snd8.o": 0.112,
"build/src/snd9.o": 0.117,
"build/src/ov_SC03_014/ov_SC03_014.o": 0.374,
"build/src/ov_SC03_014/ov_SC03_014_after.o": 0.786,
"build/src/ov_SC03_014/ov_SC03_014_jr_8012ACE0.o": 0.652,
"build/src/ov_SC03_014/ov_SC03_014_jr_80135888.o": 0.089,
"build/src/ov_SC03_014/ov_SC03_014_jr_80135A4C.o": 0.108,
"build/src/ov_SC03_014/ov_SC03_014_jr_80135D20.o": 0.235,
"build/src/ov_SC03_014/ov_SC03_014_jr_801380E0.o": 0.222,
"build/src/ov_SC03_014/ov_SC03_014_jr_8013C98C.o": 0.212,
"build/src/ov_SC03_014/ov_SC03_014_jr_8013F350.o": 0.141,
"build/src/ov_SC03_014/ov_SC03_014_jr_8013FFD8.o": 0.142,
"build/src/ov_SC03_014/ov_SC03_014_jr_80140608.o": 0.444,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015444C.o": 0.143,
"build/src/ov_SC03_014/ov_SC03_014_jr_80154C24.o": 0.353,
"build/src/ov_SC03_014/ov_SC03_014_jr_801588CC.o": 0.263,
"build/src/ov_SC03_014/ov_SC03_014_jr_80159C84.o": 0.178,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015A3C8.o": 0.141,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015AE2C.o": 0.269,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015C32C.o": 0.868,
"build/src/ov_SC03_014/ov_SC03_014_jr_8016AB6C.o": 0.436,
"build/src/ov_SC03_014/ov_SC03_014_jr_80171B4C.o": 0.272,
"build/src/ov_SC03_014/ov_SC03_014_jr_801734BC.o": 0.485,
"build/src/ov_SC03_014/ov_SC03_014_jr_801789AC.o": 0.249,
"build/src/ov_SC03_014/ov_SC03_014_jr_80178D40.o": 0.169,
"build/src/ov_SC03_014/ov_SC03_014_jr_8017A4AC.o": 0.172,
"build/src/ov_SC03_014/ov_SC03_014_jr_8017AE2C.o": 0.328,
"build/src/ov_SC03_014/ov_SC03_014_jr_8017EB7C.o": 0.366,
"build/src/ov_SC03_014/ov_SC03_014_jr_80184440.o": 0.158,
"build/src/ov_SC03_014/ov_SC03_014_jr_801848E4.o": 0.812,
"build/src/ov_SC03_014/ov_SC03_014_o0b.o": 0.1,
"build/src/ov_SC03_014/ov_SC03_014_o0c.o": 0.226,
"build/src/ov_SC03_014/ov_SC03_014_o0d.o": 0.19,
"build/src/ov_SC03_014/ov_SC03_014_o0e.o": 0.129,
"build/src/ov_SC03_015/ov_SC03_015.o": 0.284,
"build/src/ov_SC03_015/ov_SC03_015_after.o": 1.148,
"build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.523,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135888.o": 0.081,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135A4C.o": 0.077,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.218,
"build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.221,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.312,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.28,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.11,
"build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.229,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.103,
"build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.271,
"build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.142,
"build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.129,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.359,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.227,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.819,
"build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.384,
"build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.131,
"build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.334,
"build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.268,
"build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.223,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.099,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.26,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.321,
"build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.085,
"build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.571,
"build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.141,
"build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.109,
"build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.134,
"build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.235,
"build/src/ov_SC04_011/ov_SC04_011.o": 0.313,
"build/src/ov_SC04_011/ov_SC04_011_after.o": 0.727,
"build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.503,
"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.086,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.275,
"build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.188,
"build/src/libmcrd1.o": 0.08,
"build/src/libmcrd2.o": 0.075,
"build/src/libpad1.o": 0.07,
"build/src/libpad2.o": 0.068,
"build/src/sgap.o": 0.069,
"build/src/sgap_2.o": 0.084,
"build/src/sgap_3.o": 0.16,
"build/src/sgap_4.o": 0.073,
"build/src/sgap_5.o": 0.071,
"build/src/sgap_6.o": 0.065,
"build/src/sgap_8.o": 0.152,
"build/src/snd1.o": 0.079,
"build/src/snd10.o": 0.104,
"build/src/snd11.o": 0.07,
"build/src/snd12.o": 0.078,
"build/src/snd2.o": 0.087,
"build/src/snd3.o": 0.079,
"build/src/snd4.o": 0.106,
"build/src/snd5.o": 0.138,
"build/src/snd6.o": 0.083,
"build/src/snd7.o": 0.077,
"build/src/snd8.o": 0.143,
"build/src/snd9.o": 0.083,
"build/src/ov_SC03_014/ov_SC03_014.o": 0.14,
"build/src/ov_SC03_014/ov_SC03_014_after.o": 0.669,
"build/src/ov_SC03_014/ov_SC03_014_jr_8012ACE0.o": 0.417,
"build/src/ov_SC03_014/ov_SC03_014_jr_80135888.o": 0.147,
"build/src/ov_SC03_014/ov_SC03_014_jr_80135A4C.o": 0.069,
"build/src/ov_SC03_014/ov_SC03_014_jr_80135D20.o": 0.189,
"build/src/ov_SC03_014/ov_SC03_014_jr_801380E0.o": 0.174,
"build/src/ov_SC03_014/ov_SC03_014_jr_8013C98C.o": 0.125,
"build/src/ov_SC03_014/ov_SC03_014_jr_8013F350.o": 0.153,
"build/src/ov_SC03_014/ov_SC03_014_jr_8013FFD8.o": 0.079,
"build/src/ov_SC03_014/ov_SC03_014_jr_80140608.o": 0.324,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015444C.o": 0.085,
"build/src/ov_SC03_014/ov_SC03_014_jr_80154C24.o": 0.224,
"build/src/ov_SC03_014/ov_SC03_014_jr_801588CC.o": 0.159,
"build/src/ov_SC03_014/ov_SC03_014_jr_80159C84.o": 0.075,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015A3C8.o": 0.102,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015AE2C.o": 0.118,
"build/src/ov_SC03_014/ov_SC03_014_jr_8015C32C.o": 0.761,
"build/src/ov_SC03_014/ov_SC03_014_jr_8016AB6C.o": 0.335,
"build/src/ov_SC03_014/ov_SC03_014_jr_80171B4C.o": 0.126,
"build/src/ov_SC03_014/ov_SC03_014_jr_801734BC.o": 0.271,
"build/src/ov_SC03_014/ov_SC03_014_jr_801789AC.o": 0.127,
"build/src/ov_SC03_014/ov_SC03_014_jr_80178D40.o": 0.127,
"build/src/ov_SC03_014/ov_SC03_014_jr_8017A4AC.o": 0.087,
"build/src/ov_SC03_014/ov_SC03_014_jr_8017AE2C.o": 0.221,
"build/src/ov_SC03_014/ov_SC03_014_jr_8017EB7C.o": 0.367,
"build/src/ov_SC03_014/ov_SC03_014_jr_80184440.o": 0.065,
"build/src/ov_SC03_014/ov_SC03_014_jr_801848E4.o": 0.322,
"build/src/ov_SC03_014/ov_SC03_014_o0b.o": 0.063,
"build/src/ov_SC03_014/ov_SC03_014_o0c.o": 0.067,
"build/src/ov_SC03_014/ov_SC03_014_o0d.o": 0.099,
"build/src/ov_SC03_014/ov_SC03_014_o0e.o": 0.1,
"build/src/ov_SC03_015/ov_SC03_015.o": 0.213,
"build/src/ov_SC03_015/ov_SC03_015_after.o": 0.719,
"build/src/ov_SC03_015/ov_SC03_015_jr_8012ACE0.o": 0.442,
"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.057,
"build/src/ov_SC03_015/ov_SC03_015_jr_80135D20.o": 0.156,
"build/src/ov_SC03_015/ov_SC03_015_jr_801380E0.o": 0.166,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013C98C.o": 0.133,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013F350.o": 0.086,
"build/src/ov_SC03_015/ov_SC03_015_jr_8013FFD8.o": 0.071,
"build/src/ov_SC03_015/ov_SC03_015_jr_80140608.o": 0.218,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015444C.o": 0.082,
"build/src/ov_SC03_015/ov_SC03_015_jr_80154C24.o": 0.201,
"build/src/ov_SC03_015/ov_SC03_015_jr_801588CC.o": 0.148,
"build/src/ov_SC03_015/ov_SC03_015_jr_80159C84.o": 0.075,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015A3C8.o": 0.094,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015AE2C.o": 0.106,
"build/src/ov_SC03_015/ov_SC03_015_jr_8015C32C.o": 0.622,
"build/src/ov_SC03_015/ov_SC03_015_jr_8016AB6C.o": 0.297,
"build/src/ov_SC03_015/ov_SC03_015_jr_80171B4C.o": 0.106,
"build/src/ov_SC03_015/ov_SC03_015_jr_801734BC.o": 0.234,
"build/src/ov_SC03_015/ov_SC03_015_jr_801789AC.o": 0.125,
"build/src/ov_SC03_015/ov_SC03_015_jr_80178D40.o": 0.19,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017A4AC.o": 0.105,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017AE2C.o": 0.242,
"build/src/ov_SC03_015/ov_SC03_015_jr_8017EB7C.o": 0.283,
"build/src/ov_SC03_015/ov_SC03_015_jr_80184440.o": 0.08,
"build/src/ov_SC03_015/ov_SC03_015_jr_801848E4.o": 0.413,
"build/src/ov_SC03_015/ov_SC03_015_o0b.o": 0.092,
"build/src/ov_SC03_015/ov_SC03_015_o0c.o": 0.089,
"build/src/ov_SC03_015/ov_SC03_015_o0d.o": 0.151,
"build/src/ov_SC03_015/ov_SC03_015_o0e.o": 0.094,
"build/src/ov_SC04_011/ov_SC04_011.o": 0.156,
"build/src/ov_SC04_011/ov_SC04_011_after.o": 0.506,
"build/src/ov_SC04_011/ov_SC04_011_jr_8012ACE0.o": 0.457,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135888.o": 0.059,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135A4C.o": 0.11,
"build/src/ov_SC04_011/ov_SC04_011_jr_80135D20.o": 0.14,
"build/src/ov_SC04_011/ov_SC04_011_jr_801380E0.o": 0.161,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013C98C.o": 0.155,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.111,
"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.208,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015444C.o": 0.113,
"build/src/ov_SC04_011/ov_SC04_011_jr_80154C24.o": 0.298,
"build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.116,
"build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.098,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.095,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.2,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.564,
"build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.34,
"build/src/ov_SC04_011/ov_SC04_011_jr_80171B4C.o": 0.119,
"build/src/ov_SC04_011/ov_SC04_011_jr_801734BC.o": 0.265,
"build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.076,
"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.163,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.156,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.916,
"build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.097,
"build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.122
"build/src/ov_SC04_011/ov_SC04_011_jr_8013F350.o": 0.113,
"build/src/ov_SC04_011/ov_SC04_011_jr_8013FFD8.o": 0.095,
"build/src/ov_SC04_011/ov_SC04_011_jr_80140608.o": 0.189,
"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.195,
"build/src/ov_SC04_011/ov_SC04_011_jr_801588CC.o": 0.147,
"build/src/ov_SC04_011/ov_SC04_011_jr_80159C84.o": 0.129,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015A3C8.o": 0.081,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015AE2C.o": 0.104,
"build/src/ov_SC04_011/ov_SC04_011_jr_8015C32C.o": 0.437,
"build/src/ov_SC04_011/ov_SC04_011_jr_8016AB6C.o": 0.259,
"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.229,
"build/src/ov_SC04_011/ov_SC04_011_jr_801789AC.o": 0.128,
"build/src/ov_SC04_011/ov_SC04_011_jr_80178D40.o": 0.112,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017A4AC.o": 0.07,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017AE2C.o": 0.13,
"build/src/ov_SC04_011/ov_SC04_011_jr_8017D494.o": 0.79,
"build/src/ov_SC04_011/ov_SC04_011_o0b.o": 0.064,
"build/src/ov_SC04_011/ov_SC04_011_o0c.o": 0.073
},
"ok": true,
"seconds": 4.8
"seconds": 3.4
}
.run/P36/delever/cycle_t4_tus_b.log
View File
.run/P36/delever/run_tus3.log
+268
View File
@@ -0,0 +1,268 @@
delever --plan: 300 of 2183 drawable files · 2513 bodies (2504 in multi-copy classes) · 9624 removable sites · 0 deferred asm-bodies
03:31:12 apply tus3: 300 files, control src/ov_SC03_029/ov_SC03_029_jr_80135A4C.c IDENTICAL (0.09 s), calibration dd01cbdf6, census 53caafa5f5cc74a3
03:31:12 apply tus3: phase 1 (exemplar files) 3, phase 2 (copies replay) 297
03:31:12 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013CF68 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:12 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013D178 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:12 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013D53C A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:13 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013E5E8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:13 src/ov_SC05_008/ov_SC05_008_jr_8013C98C.c:func_8013EB7C A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:13 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:14 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:15 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80133AB0 A=DIFFERS B: removed 0 needed 4 compiles 5
03:31:15 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80133CD4 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:17 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:17 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_801345F8 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:19 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80134C20 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:19 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:20 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:21 src/ov_SC06_018/ov_SC06_018_jr_8012ACE0.c:func_80135168 A=DIFFERS B: removed 0 needed 5 compiles 6
03:31:24 src/ov_SC03_107/ov_SC03_107_jr_8015A3C8.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:30 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:30 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:31 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:33 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:33 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:35 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:35 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:35 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:36 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:36 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:36 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:37 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:41 src/ov_SC03_095/ov_SC03_095_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_092/ov_SC03_092_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_091/ov_SC03_091_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_089/ov_SC03_089_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_090/ov_SC03_090_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_093/ov_SC03_093_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_030/ov_SC03_030_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_097/ov_SC03_097_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_029/ov_SC03_029_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_031/ov_SC03_031_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_094/ov_SC03_094_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:41 src/ov_SC03_096/ov_SC03_096_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:45 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:45 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:46 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:48 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:48 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:49 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:31:50 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:51 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:51 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:52 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:31:56 src/ov_SC03_099/ov_SC03_099_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_104/ov_SC03_104_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_098/ov_SC03_098_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_100/ov_SC03_100_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_108/ov_SC03_108_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_102/ov_SC03_102_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_109/ov_SC03_109_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_103/ov_SC03_103_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:56 src/ov_SC03_101/ov_SC03_101_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:57 src/ov_SC03_105/ov_SC03_105_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:57 src/ov_SC03_110/ov_SC03_110_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:31:57 src/ov_SC03_111/ov_SC03_111_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:00 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:00 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:01 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:02 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:03 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:03 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:03 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:03 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:03 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:04 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:05 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:06 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:06 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:07 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:07 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:08 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:09 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:11 src/ov_SC03_112/ov_SC03_112_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:11 src/ov_SC03_115/ov_SC03_115_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_114/ov_SC03_114_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_113/ov_SC03_113_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_116/ov_SC03_116_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_125/ov_SC03_125_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC04_000/ov_SC04_000_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_117/ov_SC03_117_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:12 src/ov_SC03_124/ov_SC03_124_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:13 src/ov_SC04_002/ov_SC04_002_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:13 src/ov_SC03_121/ov_SC03_121_jr_8015C32C.c:func_80168828 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:14 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:15 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:15 src/ov_SC04_004/ov_SC04_004_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:15 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:15 src/ov_SC04_006/ov_SC04_006_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_009/ov_SC04_009_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_007/ov_SC04_007_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_010/ov_SC04_010_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_012/ov_SC04_012_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_016/ov_SC04_016_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_004/ov_SC04_004_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_015/ov_SC04_015_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC04_006/ov_SC04_006_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:16 src/ov_SC03_118/ov_SC03_118_jr_8015C32C.c:func_80163EC8 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_007/ov_SC04_007_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_009/ov_SC04_009_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_010/ov_SC04_010_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_016/ov_SC04_016_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_012/ov_SC04_012_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:17 src/ov_SC04_015/ov_SC04_015_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:18 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:18 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:18 src/ov_SC04_004/ov_SC04_004_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:18 src/ov_SC04_018/ov_SC04_018_jr_8015C32C.c:func_8015D738 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:18 src/ov_SC04_006/ov_SC04_006_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_009/ov_SC04_009_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_007/ov_SC04_007_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_010/ov_SC04_010_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_016/ov_SC04_016_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_012/ov_SC04_012_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:19 src/ov_SC04_015/ov_SC04_015_jr_8015C32C.c:func_80161E08 A=DIFFERS B: removed 0 needed 3 compiles 4
03:32:20 src/ov_SC04_003/ov_SC04_003_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
03:32:20 src/ov_SC04_018/ov_SC04_018_jr_8015C32C.c:func_8015FBE0 A=DIFFERS B: removed 0 needed 1 compiles 2
03:32:20 src/ov_SC04_005/ov_SC04_005_jr_8015C32C.c:func_801627E8 A=DIFFERS B: removed 0 needed 2 compiles 3
decomp-architect/corpus/tools/P10/delever.py
+17 -4
View File
@@ -1017,8 +1017,8 @@ def apply_batch(a):
v, dt, err = oracle.judge(r0, None, tag="ctl")
if v != "IDENTICAL":
sys.exit(f"delever --apply: the negative control FAILED — {ctl} untouched compiles {v} vs build/ ({err[:200]}); the baseline is stale (R56)")
# the in-flight snapshot BEFORE any write (the only restore, R102)
INFLIGHT.write_text(json.dumps({tu: (REPO / tu).read_text(errors="surrogateescape") for tu, _ in plan}))
# the in-flight snapshot BEFORE any write (the only restore, R102): the label too, so --restore can drop a killed batch's ledger rows
INFLIGHT.write_text(json.dumps(dict(label=a.label, files={tu: (REPO / tu).read_text(errors="surrogateescape") for tu, _ in plan})))
log_p = RUN / f"apply_{a.label}.log"
log_f = open(log_p, "a")
def log(msg):
@@ -1082,18 +1082,31 @@ def apply_batch(a):
def restore():
"""Every in-flight file back from inflight.json, and the killed batch's ledger rows dropped (a batch that did not complete leaves no
trace: its bodies are drawn again — a body judged all-NEEDED in the killed batch would otherwise count as done while its markers were
restored away). The dropped rows are kept in ledger.jsonl.killed_<label> (ignored scratch)."""
if not INFLIGHT.exists():
sys.exit("delever --restore: no inflight.json — nothing in flight")
d = json.loads(INFLIGHT.read_text())
label, files = (d.get("label"), d.get("files")) if isinstance(d, dict) and "files" in d else (None, d)
n = 0
for tu, text in d.items():
for tu, text in files.items():
p = REPO / tu
if p.read_text(errors="surrogateescape") != text:
p.write_text(text, errors="surrogateescape")
n += 1
dropped = 0
if label and LEDGER.exists():
rows = LEDGER.read_text().splitlines()
keep = [l for l in rows if l.strip() and json.loads(l).get("label") != label]
dropped = len([l for l in rows if l.strip()]) - len(keep)
if dropped:
(RUN / f"ledger.jsonl.killed_{label}").write_text("\n".join(rows) + "\n")
LEDGER.write_text("".join(l + "\n" for l in keep))
INFLIGHT.unlink()
clean, dirty = src_clean()
print(f"delever --restore: {n} of {len(d)} files restored from inflight.json; src {'clean' if clean else 'STILL DIRTY:'}\n{'' if clean else dirty[:400]}")
print(f"delever --restore: {n} of {len(files)} files restored from inflight.json (batch {label or '?'}); {dropped} ledger rows of that batch "
f"dropped{' (backup ledger.jsonl.killed_' + label + ')' if dropped else ''}; src {'clean' if clean else 'STILL DIRTY:'}\n{'' if clean else dirty[:400]}")
return 0 if clean else 1
decomp-architect/corpus/tools/P10/delever_cycle.sh
+3
View File
@@ -10,6 +10,9 @@
# Stops on the first red (a non-zero tool exit, a final N/M with N != M, a fleet run that is not 218/218) — the batch's files are then
# still in place: inspect, then `tools/delever.py --restore` (never git checkout, R102). Stops cleanly when nothing is drawable.
# Usage: [LABEL_PREFIX=t3_] [TASK=T4] [REDRAW="REFUSED NOTHING-USABLE"] tools/delever_cycle.sh START END [BATCH=300] [MODE=tus|headers] [ONLY="alias1 alias2 …"]
# RUN IT DETACHED from the Claude Code harness (its low-memory guard kills a long BACKGROUND task — batch tus3 died mid-apply, S98):
# setsid nohup bash -c 'TASK=T4 tools/delever_cycle.sh 3 12 300 tus; echo "cycle exit=$?"' > .run/P36/delever/cycle_<x>.log 2>&1 &
# and watch the log (a tiny waiter: `until grep -q 'cycle exit=' <log>; do sleep 60; done`). A killed batch: `tools/delever.py --restore`.
# size a call so one batch stays < 10 min: TUs ≈ 8 s each single-threaded / 12 workers; a header ≈ 4 s (serial, includers in parallel).
set -o pipefail
cd "$(dirname "$0")/.." || exit 2
docs/SETUP.md
+1 -1
View File
@@ -784,7 +784,7 @@ Every script under `tools/` (plus the two report make-targets), grouped by purpo
| | `tools/share_census.py` | **(P35 T1)** The fleet-wide census of byte-identical function classes and the S1 "one source per unique function" checker (`--check`, `--selftest`, `--scope`, `--strict-macros`, `--strict-text`); its ledger is `config/dedup_exceptions.tsv`; details in the P35 T1 section below. |
| | `tools/lever_census.py` | **(P36 T1)** The census of every compiler-forcing construct ("lever") in the fleet's C — register pins, asm statements by kind (barrier / launder / keepalive / instruction / GTE / verbatim-body), volatile levers, bare `register`, plus the deferred asm-label aliases, builtins and attributes — derived from `share_census`'s scanner with a per-token coverage assertion against the raw text, four known-true controls, the `// !FAKE:` marker split, `--check` (0 unmarked pins/asm AND 0 orphan markers — a `// !FAKE:` line with no pin/asm site on it nor on the line below) and `--check --strict` (0 pins, 0 asm outside the GTE header) gates, the JSON's `head` + stat-based `src_stamp` (delever refuses a census that does not describe the tree) and a per-file walk cache keyed on the walker's own hash (a tool change invalidates it, R35), `--sites` (every site to `.run/P36/census/lever_sites.jsonl`, the delever ledger's input), `--selftest`. Evidence: `.run/P36/census/lever_census.{json,txt}`; `progress.py` publishes the `levers` block and a README sentence from it. |
| | `tools/delever_oracle.py` | **(P36 T2)** The fast byte oracle for a single-translation-unit edit: `--recipes` captures every object's exact build command through `make -n -W <src> <obj> BINARY=<alias>` (the Makefile's own pipeline — the jump-table pad stage, the per-object `-O0` overrides, the twin rule — into `.run/P36/delever/recipes.json`, regenerable in ~15 s); a candidate is compiled IN PLACE with `-o`/`-MF` redirected to scratch and its bytes compared with `build/`'s object from the fleet run (build/ is never written); `--calibrate <aliases>` proves 100 % equality untouched + twin == primary + a positive control (a nop injected at the end of a real body → DIFFERS) and writes `calibration.json` (HEAD, config stamp, per-object seconds); `--status`. Measured at T2: main 0.08–0.77 s per object, overlays ~0.14 s. |
| | `tools/delever.py` | **(P36 T2/T3)** The de-lever engine AND the campaign tool. Rewrites per lever class on the raw text at the census's positions (a token mismatch REFUSES, never guesses): pin → plain declaration (type/qualifiers/initializer kept; the `$0` zero-register variable's uses → 0, refused if it is ever assigned), barrier / keep-alive → deleted, launder → deleted when it launders a value into itself, **an ASSIGNMENT `out = in;` when its output and input differ** (deleting those made cc1 2.7.2 abort — the T2 probe counted them NEEDED), a hand-placed instruction → its C (addu-$zero/move/la/lh/lw/addiu/sll/srl/and/andi/lui/li and the lui+addiu / lui+ori pairs), a macro-carried site → deleted for a pure launder statement macro (`SHB`), its value `((T)(p))` for a launder statement-expression, REFUSED for a compound macro (XFER/DRAW/RTP_SND: the lever is in the `#define`, T5), volatile / register → dropped. Per body: replay (a ledger exemplar with the same normalized text: 1 compile) → rung A strip-all → rung B greedy, through `delever_oracle` (verdicts IDENTICAL / DIFFERS / COMPILE-ERROR / COMPILE-CRASH). **The file is the write unit and its final compile the proof**: every body's accepted edits + the file-scope volatile edits + the `// !FAKE:` markers spliced once, compiled through every recipe of the file (a twin's object; every includer of a header, in parallel) — IDENTICAL or the file-scope edits are dropped, or the file is restored and REFUSED (COMBINATION-FAILED). `--plan` / `--apply --batch N --label L [--headers] [--only …] [-j 12]` (TUs in parallel, exemplar files before their copies; headers serial; the tree must be clean, the calibration current, the census's src stamp the tree's — it reruns the census itself), `--redraw REFUSED NOTHING-USABLE` (draw again the bodies whose latest ledger verdict is one of these — after a tool fix), `--restore` (from `inflight.json`, the only restore — R102), `--status`, `--scrub [--only …]` (remove the census's ORPHAN markers — a `// !FAKE:` whose site is gone — each file judged through every recipe; a removed or rewritten site consumes its own trailing marker, so orphans arise only from older tool versions), `--apply-body TU FN FILE --label L [--rung E]` (T6/T7: a reshaped body judged on the bytes, refused if a class A/B lever remains), `--selftest` (the fixture through the census's own parser: every rewrite, the ladder against a stub oracle with a crashing site, the markers, a replay and a disagreeing replay, the ledger index, the oracle's crash forms), `--probe` (T2). The ledger `.run/P36/delever/ledger.jsonl`: one row per (tu, fn, addr, aliases) per judgement with every site's verdict REMOVED / REWRITTEN / NEEDED(oracle word) / REFUSED(why) / DEFERRED, the rung, the calibration id, the body's nhash BEFORE and AFTER — "done" = the current nhash is some row's after-hash; a body with a row's before-hash replays it. Class C/D survivors are never marked (decision 3); class A/B survivors carry `// !FAKE: <kind> <detail> — <verdict> (P36 <rung> <label>)` at the end of their line. Evidence: `apply_<label>.log`, `batch_<label>.json`. Per-batch setup: the per-file include lists are cached in the ignored `includers_cache.json` on (mtime, size) — 29 s → 1.3 s, proven equal to the uncached map. |
| | `tools/delever.py` | **(P36 T2/T3)** The de-lever engine AND the campaign tool. Rewrites per lever class on the raw text at the census's positions (a token mismatch REFUSES, never guesses): pin → plain declaration (type/qualifiers/initializer kept; the `$0` zero-register variable's uses → 0, refused if it is ever assigned), barrier / keep-alive → deleted, launder → deleted when it launders a value into itself, **an ASSIGNMENT `out = in;` when its output and input differ** (deleting those made cc1 2.7.2 abort — the T2 probe counted them NEEDED), a hand-placed instruction → its C (addu-$zero/move/la/lh/lw/addiu/sll/srl/and/andi/lui/li and the lui+addiu / lui+ori pairs), a macro-carried site → deleted for a pure launder statement macro (`SHB`), its value `((T)(p))` for a launder statement-expression, REFUSED for a compound macro (XFER/DRAW/RTP_SND: the lever is in the `#define`, T5), volatile / register → dropped. Per body: replay (a ledger exemplar with the same normalized text: 1 compile) → rung A strip-all → rung B greedy, through `delever_oracle` (verdicts IDENTICAL / DIFFERS / COMPILE-ERROR / COMPILE-CRASH). **The file is the write unit and its final compile the proof**: every body's accepted edits + the file-scope volatile edits + the `// !FAKE:` markers spliced once, compiled through every recipe of the file (a twin's object; every includer of a header, in parallel) — IDENTICAL or the file-scope edits are dropped, or the file is restored and REFUSED (COMBINATION-FAILED). `--plan` / `--apply --batch N --label L [--headers] [--only …] [-j 12]` (TUs in parallel, exemplar files before their copies; headers serial; the tree must be clean, the calibration current, the census's src stamp the tree's — it reruns the census itself), `--redraw REFUSED NOTHING-USABLE` (draw again the bodies whose latest ledger verdict is one of these — after a tool fix), `--restore` (from `inflight.json`, the only restore — R102; it also drops the in-flight batch's ledger rows into an ignored `ledger.jsonl.killed_<label>`, so a killed batch leaves no trace and its bodies are drawn again), `--status`, `--scrub [--only …]` (remove the census's ORPHAN markers — a `// !FAKE:` whose site is gone — each file judged through every recipe; a removed or rewritten site consumes its own trailing marker, so orphans arise only from older tool versions), `--apply-body TU FN FILE --label L [--rung E]` (T6/T7: a reshaped body judged on the bytes, refused if a class A/B lever remains), `--selftest` (the fixture through the census's own parser: every rewrite, the ladder against a stub oracle with a crashing site, the markers, a replay and a disagreeing replay, the ledger index, the oracle's crash forms), `--probe` (T2). The ledger `.run/P36/delever/ledger.jsonl`: one row per (tu, fn, addr, aliases) per judgement with every site's verdict REMOVED / REWRITTEN / NEEDED(oracle word) / REFUSED(why) / DEFERRED, the rung, the calibration id, the body's nhash BEFORE and AFTER — "done" = the current nhash is some row's after-hash; a body with a row's before-hash replays it. Class C/D survivors are never marked (decision 3); class A/B survivors carry `// !FAKE: <kind> <detail> — <verdict> (P36 <rung> <label>)` at the end of their line. Evidence: `apply_<label>.log`, `batch_<label>.json`. Per-batch setup: the per-file include lists are cached in the ignored `includers_cache.json` on (mtime, size) — 29 s → 1.3 s, proven equal to the uncached map. |
| | `tools/delever_cycle.sh` | **(P36 T3)** The unattended batch cycle: `[LABEL_PREFIX=…] [TASK=T4] [REDRAW="REFUSED NOTHING-USABLE"] tools/delever_cycle.sh START END [BATCH=300] [tus|headers] [ONLY="alias …"]` — per batch: the tree must be clean (a dotfile under `src/` refuses), the oracle recalibrated when stale (2–3 s; every commit stales it), `delever --apply` (exit code + its `final X/X identical` — an empty verify line is a failure, R32), the CLEAN fleet run as the outer gate (`218 passed, 0 failed of 218`, R22 — it also refreshes `build/`, the oracle's baselines), the census rerun on the new tree, the phase-log entry + the 🛑 headline (R101), one commit of `src/` + the ledger/batch record/logs + the census + the log (R42). Stops on the first red with the batch's files in place (inspect, then `delever --restore`); stops cleanly when nothing is drawable. Size a call so a batch stays under ~10 min. |
| | `tools/kit_coverage.py` | **(P33.5 task 14.5)** The kit's DISTILLATION coverage: derives the rule population (every `- **R<n>` of DIGEST §3, asserted contiguous) and the hindsight population (every `## ` heading of `docs/accelerators.md` at numbered-item granularity — 58 at S92) and asserts each is cited by a `provenance:` line of the registry seed / the kernels OR dispositioned in `config/kit_coverage_map.tsv` (`G<id>` / `DK-<n>` / `FOLDED:G<id>` / `ENV` / `PA` / `SEED:<file>` / `KIT:<path>` / `RECORD` / `COOKBOOK` / `NOT-PORTABLE`; unknown ids refused, R43); counts with denominators (R41); rc 1 on any gap. In `tools-health` after `tool_census --check`. Its first run found 26 uncited rules and 21 uncited entries → three new kernels (DK-66–DK-68) and 41 authored dispositions. |
| | `decomp-architect/` (the day-one decomp kit) | **(P33.5 tasks 9–14)** The package a new matching-decomp project installs as Phase 0.5 on ProjectArchitect 2.0: `README.md` (the three steps), `intake.decomp.md` (ProjectArchitect's twelve items pre-answered + the phase ladder + the six readability inversions), `SETUP.md` (the installer, Step 0 contract … Step 10 verify + hard stop; `answers: <path>` for unattended runs), `decomp-architect.md` (the methodology), `templates/` (the firewall pack — `gitignore.decomp`, `firewall.txt`, `audit_public.template.py`, the planted fixture, `no-rom.template.yml` —, the READMEs, `pa-overlays.md`, `registry-E.decomp.md` G1–G67, the skeletons, `PLACEHOLDERS.md`, `layout-contract.md`), `corpus/decomp-kernels.md` (DK-1 … DK-80), the three dictionaries `corpus/tools/<phase>/` + `corpus/cookbook/` + `corpus/record/` (generated by `make kit-corpus`), `memory-seed/` (18), `tools/MANIFEST.md` (generated). **How it is checked:** `tools/kit_lint.py` (de-specialisation, placeholders, syntax, the gitignore-template diff) + `tools/tool_census.py --check` (the corpora equal their sources) + `tools/gitignore_template_check.py`, all in `tools-health`; the dry-run harness under `.run/P33.5/kit-dryrun/` (`answers.md`, `expected-manifest.txt`, `judge.py`, the install logs and verdicts of runs 1–5 — a kit change is re-verified by a resume on the last throwaway `repo/`, a fresh full run only when SETUP's steps change; the judge compares the real tree's dirty PATH SETS before/after). Wiki page: `docs/wiki/Start-a-new-decomp-project.md`. Split into its own repository after the flip. |
phase-ends/CURRENT_PHASE.md
+9
View File
@@ -343,6 +343,15 @@ accumulate here as the phase produces them.**
3,505 / needed 5,262 · replays 1,350 (0 disagreed) · 5,616 compiles in 251 s · R22 218/218 → **46,424 sites in 14,758 bodies (2,258
distinct) · marked 9,393 · UNMARKED 37,031**. The replay discount is real (≈ half the bodies, 1 compile each, 0 disagreements so far).
- **S98 — T4: the harness's low-memory guard killed the background cycle mid-apply of batch `tus3`** ("stopped because the system is
running low on memory" — the box had 22 GB free of 31; the guard's own heuristic, the failure mode the S88 memory records for long
background tasks). State found: 50 batch files holding final or candidate texts (a SIGKILL skips the restore `finally`), `inflight.json`
present, no fleet run for the batch, 641 ledger rows appended by the batch's completed files, no surviving worker. **Recovery:** the
641 `tus3` rows dropped from the ledger (backup `ledger.jsonl.killed_tus3`, ignored scratch) — a body judged all-NEEDED in a killed batch
would otherwise count as done while its markers were restored away — then `delever --restore: 50 of 300 files restored … src clean`.
**Now built in:** `inflight.json` carries the batch label and `--restore` drops that label's rows itself; the cycle's usage says to run
it DETACHED (`setsid nohup …`) with a tiny waiter, never as a harness background task. The campaign continues from batch 3 detached.
## 🛑 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 `tus2` on a605e1dba: THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 46,424 sites in 14,758 bodies (2,258 distinct) · marked !FAKE 9,393 · UNMARKED 37,031
### 0. How to use this block
tools/delever.py
+17 -4
View File
@@ -1017,8 +1017,8 @@ def apply_batch(a):
v, dt, err = oracle.judge(r0, None, tag="ctl")
if v != "IDENTICAL":
sys.exit(f"delever --apply: the negative control FAILED — {ctl} untouched compiles {v} vs build/ ({err[:200]}); the baseline is stale (R56)")
# the in-flight snapshot BEFORE any write (the only restore, R102)
INFLIGHT.write_text(json.dumps({tu: (REPO / tu).read_text(errors="surrogateescape") for tu, _ in plan}))
# the in-flight snapshot BEFORE any write (the only restore, R102): the label too, so --restore can drop a killed batch's ledger rows
INFLIGHT.write_text(json.dumps(dict(label=a.label, files={tu: (REPO / tu).read_text(errors="surrogateescape") for tu, _ in plan})))
log_p = RUN / f"apply_{a.label}.log"
log_f = open(log_p, "a")
def log(msg):
@@ -1082,18 +1082,31 @@ def apply_batch(a):
def restore():
"""Every in-flight file back from inflight.json, and the killed batch's ledger rows dropped (a batch that did not complete leaves no
trace: its bodies are drawn again — a body judged all-NEEDED in the killed batch would otherwise count as done while its markers were
restored away). The dropped rows are kept in ledger.jsonl.killed_<label> (ignored scratch)."""
if not INFLIGHT.exists():
sys.exit("delever --restore: no inflight.json — nothing in flight")
d = json.loads(INFLIGHT.read_text())
label, files = (d.get("label"), d.get("files")) if isinstance(d, dict) and "files" in d else (None, d)
n = 0
for tu, text in d.items():
for tu, text in files.items():
p = REPO / tu
if p.read_text(errors="surrogateescape") != text:
p.write_text(text, errors="surrogateescape")
n += 1
dropped = 0
if label and LEDGER.exists():
rows = LEDGER.read_text().splitlines()
keep = [l for l in rows if l.strip() and json.loads(l).get("label") != label]
dropped = len([l for l in rows if l.strip()]) - len(keep)
if dropped:
(RUN / f"ledger.jsonl.killed_{label}").write_text("\n".join(rows) + "\n")
LEDGER.write_text("".join(l + "\n" for l in keep))
INFLIGHT.unlink()
clean, dirty = src_clean()
print(f"delever --restore: {n} of {len(d)} files restored from inflight.json; src {'clean' if clean else 'STILL DIRTY:'}\n{'' if clean else dirty[:400]}")
print(f"delever --restore: {n} of {len(files)} files restored from inflight.json (batch {label or '?'}); {dropped} ledger rows of that batch "
f"dropped{' (backup ledger.jsonl.killed_' + label + ')' if dropped else ''}; src {'clean' if clean else 'STILL DIRTY:'}\n{'' if clean else dirty[:400]}")
return 0 if clean else 1
tools/delever_cycle.sh
+3
View File
@@ -10,6 +10,9 @@
# Stops on the first red (a non-zero tool exit, a final N/M with N != M, a fleet run that is not 218/218) — the batch's files are then
# still in place: inspect, then `tools/delever.py --restore` (never git checkout, R102). Stops cleanly when nothing is drawable.
# Usage: [LABEL_PREFIX=t3_] [TASK=T4] [REDRAW="REFUSED NOTHING-USABLE"] tools/delever_cycle.sh START END [BATCH=300] [MODE=tus|headers] [ONLY="alias1 alias2 …"]
# RUN IT DETACHED from the Claude Code harness (its low-memory guard kills a long BACKGROUND task — batch tus3 died mid-apply, S98):
# setsid nohup bash -c 'TASK=T4 tools/delever_cycle.sh 3 12 300 tus; echo "cycle exit=$?"' > .run/P36/delever/cycle_<x>.log 2>&1 &
# and watch the log (a tiny waiter: `until grep -q 'cycle exit=' <log>; do sleep 60; done`). A killed batch: `tools/delever.py --restore`.
# size a call so one batch stays < 10 min: TUs ≈ 8 s each single-threaded / 12 workers; a header ≈ 4 s (serial, includers in parallel).
set -o pipefail
cd "$(dirname "$0")/.." || exit 2