mirror of
https://github.com/Druthulu/BFM-decomp
synced 2026-10-05 00:47:54 -04:00
phase-36: T8 ☑ — make tools-health OK on run 4 (lever_census rung green: 4,010 / 0 UNMARKED; S1 10,180/10,180; sdk-dual OK; kit_coverage OK); evidence regenerated
This commit is contained in:
Drew T
@@ -31,7 +31,7 @@
|
||||
},
|
||||
"duplicate_text_classes": 6396,
|
||||
"duplicate_text_sites": 17778,
|
||||
"elapsed_s": 26.4,
|
||||
"elapsed_s": 24.7,
|
||||
"flags": {
|
||||
"ALIAS": 32,
|
||||
"E": 3826,
|
||||
|
||||
@@ -37,4 +37,4 @@ share_census: 218 binaries · 362,389 sig instances · 362,389 classified · 0 U
|
||||
B E,F 11852 x 2 0x80014554,0x8001455C,0x8001513C func_80014554,func_8001455c
|
||||
A - 141 x 167 0x80163C2C func_80163c2c
|
||||
A - 141 x 165 0x80178004 func_80178004
|
||||
macro sites 0 · duplicate-text classes 6,396 (17,778 sites) · elapsed 26.4 s
|
||||
macro sites 0 · duplicate-text classes 6,396 (17,778 sites) · elapsed 24.7 s
|
||||
|
||||
@@ -291,7 +291,7 @@
|
||||
"via_macro": 94,
|
||||
"what": "GTE ops whose clobbers exceed the canonical macro's (a scheduling steer): class-B levers INSIDE the headline number since T5 (2026-09-09), marked, 0 at the close"
|
||||
},
|
||||
"head": "676626afb",
|
||||
"head": "c0f2fc7ab",
|
||||
"headers": 3181,
|
||||
"levers_AB": {
|
||||
"asm": 1869,
|
||||
|
||||
@@ -12,7 +12,7 @@ lever_census: 218 binaries · 4,121 TUs + 3,181 headers · coverage OK · unclas
|
||||
E asm-label 7802 1370 6432 1100 161 2090 0 7802 {'asm-label': 7802}
|
||||
F builtin 445 445 0 428 27 302 0 445 {'builtin': 445}
|
||||
G attribute 76 1 75 1 1 40 0 76 {'attribute': 76}
|
||||
UNION A–D: 5,746 bodies · 1,007 distinct (addresses normalized) · 110 multi-copy classes holding 4,849 bodies · by kind {'ov': 5352, 'main': 124, 'shared': 159, 'md': 105, 'resident': 6}
|
||||
UNION A–D: 5,746 bodies · 1,007 distinct (addresses normalized) · 110 multi-copy classes holding 4,849 bodies · by kind {'ov': 5352, 'main': 124, 'md': 105, 'shared': 159, 'resident': 6}
|
||||
THE PHASE'S NUMBER (pins + asm statements, GTE excluded): 4,010 sites in 1,980 bodies (674 distinct) · marked !FAKE 4,010 · UNMARKED 0
|
||||
orphan !FAKE markers (no pin/asm site on the line nor below): 0
|
||||
marked ordinary-C fakes kept by Drew's S104 ruling (a) (`do { } while (0)`, dead initialisers; NOT levers): 53
|
||||
|
||||
@@ -91,5 +91,6 @@
|
||||
| 2026-09-07 | 61 | P33 (v1.32.0) | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — |
|
||||
| 2026-09-08 | 76 | P33.5 (v1.32.1), P34 (v2.0.0), P35 (v2.1.0) | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — |
|
||||
| 2026-09-09 | 64 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — |
|
||||
| 2026-09-11 | 359 | | 218 | 100.0% | 100.0% | 100.0% | 100.0% | 0 | — |
|
||||
|
||||
75 dated rows · phase ticks from the 36 PhaseEnds · the chart: `docs/story-timeline.svg`.
|
||||
76 dated rows · phase ticks from the 36 PhaseEnds · the chart: `docs/story-timeline.svg`.
|
||||
|
||||
+44
-44
@@ -6,54 +6,54 @@
|
||||
<line x1="60" y1="195.0" x2="980" y2="195.0" stroke="#ddd"/><text x="54" y="199.0" text-anchor="end" font-size="11" fill="#555">50%</text>
|
||||
<line x1="60" y1="112.5" x2="980" y2="112.5" stroke="#ddd"/><text x="54" y="116.5" text-anchor="end" font-size="11" fill="#555">75%</text>
|
||||
<line x1="60" y1="30.0" x2="980" y2="30.0" stroke="#ddd"/><text x="54" y="34.0" text-anchor="end" font-size="11" fill="#555">100%</text>
|
||||
<line x1="239.8" y1="30" x2="239.8" y2="360" stroke="#eee"/><text x="239.8" y="376" text-anchor="middle" font-size="11" fill="#555">Jul 2026</text>
|
||||
<line x1="567.6" y1="30" x2="567.6" y2="360" stroke="#eee"/><text x="567.6" y="376" text-anchor="middle" font-size="11" fill="#555">Aug 2026</text>
|
||||
<line x1="895.4" y1="30" x2="895.4" y2="360" stroke="#eee"/><text x="895.4" y="376" text-anchor="middle" font-size="11" fill="#555">Sep 2026</text>
|
||||
<line x1="235.7" y1="30" x2="235.7" y2="360" stroke="#eee"/><text x="235.7" y="376" text-anchor="middle" font-size="11" fill="#555">Jul 2026</text>
|
||||
<line x1="556.2" y1="30" x2="556.2" y2="360" stroke="#eee"/><text x="556.2" y="376" text-anchor="middle" font-size="11" fill="#555">Aug 2026</text>
|
||||
<line x1="876.6" y1="30" x2="876.6" y2="360" stroke="#eee"/><text x="876.6" y="376" text-anchor="middle" font-size="11" fill="#555">Sep 2026</text>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="60.0" y1="360" x2="60.0" y2="352" stroke="#888"/>
|
||||
<line x1="70.6" y1="360" x2="70.6" y2="352" stroke="#888"/>
|
||||
<line x1="70.6" y1="360" x2="70.6" y2="352" stroke="#888"/>
|
||||
<text x="70.6" y="390" text-anchor="middle" font-size="10" fill="#333">P7</text>
|
||||
<line x1="70.6" y1="360" x2="70.6" y2="352" stroke="#888"/>
|
||||
<line x1="70.6" y1="360" x2="70.6" y2="352" stroke="#888"/>
|
||||
<line x1="81.1" y1="360" x2="81.1" y2="352" stroke="#888"/>
|
||||
<line x1="81.1" y1="360" x2="81.1" y2="352" stroke="#888"/>
|
||||
<line x1="81.1" y1="360" x2="81.1" y2="352" stroke="#888"/>
|
||||
<line x1="102.3" y1="360" x2="102.3" y2="352" stroke="#888"/>
|
||||
<text x="102.3" y="390" text-anchor="middle" font-size="10" fill="#333">P15</text>
|
||||
<line x1="112.9" y1="360" x2="112.9" y2="352" stroke="#888"/>
|
||||
<line x1="123.4" y1="360" x2="123.4" y2="352" stroke="#888"/>
|
||||
<line x1="123.4" y1="360" x2="123.4" y2="352" stroke="#888"/>
|
||||
<line x1="123.4" y1="360" x2="123.4" y2="352" stroke="#888"/>
|
||||
<line x1="134.0" y1="360" x2="134.0" y2="352" stroke="#888"/>
|
||||
<line x1="186.9" y1="360" x2="186.9" y2="352" stroke="#888"/>
|
||||
<line x1="218.6" y1="360" x2="218.6" y2="352" stroke="#888"/>
|
||||
<line x1="250.3" y1="360" x2="250.3" y2="352" stroke="#888"/>
|
||||
<text x="250.3" y="390" text-anchor="middle" font-size="10" fill="#333">P23</text>
|
||||
<line x1="313.8" y1="360" x2="313.8" y2="352" stroke="#888"/>
|
||||
<line x1="345.5" y1="360" x2="345.5" y2="352" stroke="#888"/>
|
||||
<line x1="387.8" y1="360" x2="387.8" y2="352" stroke="#888"/>
|
||||
<text x="387.8" y="390" text-anchor="middle" font-size="10" fill="#333">P26</text>
|
||||
<line x1="387.8" y1="360" x2="387.8" y2="352" stroke="#888"/>
|
||||
<line x1="398.4" y1="360" x2="398.4" y2="352" stroke="#888"/>
|
||||
<line x1="546.4" y1="360" x2="546.4" y2="352" stroke="#888"/>
|
||||
<text x="546.4" y="390" text-anchor="middle" font-size="10" fill="#333">P29</text>
|
||||
<line x1="705.1" y1="360" x2="705.1" y2="352" stroke="#888"/>
|
||||
<text x="705.1" y="390" text-anchor="middle" font-size="10" fill="#333">P30</text>
|
||||
<line x1="937.7" y1="360" x2="937.7" y2="352" stroke="#888"/>
|
||||
<text x="937.7" y="390" text-anchor="middle" font-size="10" fill="#333">P31</text>
|
||||
<line x1="948.3" y1="360" x2="948.3" y2="352" stroke="#888"/>
|
||||
<text x="948.3" y="390" text-anchor="middle" font-size="10" fill="#333">P32</text>
|
||||
<line x1="958.9" y1="360" x2="958.9" y2="352" stroke="#888"/>
|
||||
<line x1="969.4" y1="360" x2="969.4" y2="352" stroke="#888"/>
|
||||
<line x1="969.4" y1="360" x2="969.4" y2="352" stroke="#888"/>
|
||||
<line x1="969.4" y1="360" x2="969.4" y2="352" stroke="#888"/>
|
||||
<line x1="461.8" y1="30" x2="461.8" y2="360" stroke="#c33" stroke-dasharray="4,3"/><text x="465.8" y="44" font-size="11" fill="#c33">2026-07-22: main enters the denominators</text>
|
||||
<polyline fill="none" stroke="#1f77b4" stroke-width="2" points="345.5,169.4 356.1,152.3 366.7,149.5 377.2,133.5 387.8,135.5 398.4,125.8 409.0,122.1 419.5,111.7 430.1,108.2 440.7,102.6 451.3,102.5 461.8,100.5 472.4,98.1 483.0,96.3 493.6,94.1 504.1,90.4 514.7,81.5 525.3,74.4 535.9,72.3 546.4,68.9 557.0,65.8 567.6,55.0 588.7,50.8 599.3,48.1 609.9,46.5 620.5,49.7 631.0,50.5 662.8,48.7 673.3,47.0 683.9,46.0 694.5,45.9 705.1,45.5 715.6,44.8 726.2,44.6 736.8,43.6 747.4,42.9 800.2,42.8 821.4,38.6 832.0,34.9 842.5,34.2 863.7,33.6 874.3,33.3 884.8,32.1 895.4,31.6 906.0,31.0 916.6,30.9 927.1,30.1 937.7,30.0 948.3,30.0 958.9,30.0 969.4,30.0 980.0,30.0"/><text x="70" y="352" font-size="12" fill="#1f77b4">instruction-weighted (all binaries)</text>
|
||||
<polyline fill="none" stroke="#2ca02c" stroke-width="2" points="345.5,263.2 356.1,230.9 366.7,225.5 377.2,197.6 387.8,196.8 398.4,184.2 409.0,181.7 419.5,159.9 430.1,152.9 440.7,140.5 451.3,140.4 461.8,136.8 472.4,136.7 483.0,136.7 493.6,134.8 504.1,131.5 514.7,114.5 525.3,106.2 535.9,103.4 546.4,100.4 557.0,94.4 567.6,77.8 588.7,69.5 599.3,65.5 609.9,64.8 620.5,70.9 631.0,72.4 662.8,69.1 673.3,65.6 683.9,63.7 694.5,63.3 705.1,62.7 715.6,61.3 726.2,60.8 736.8,58.5 747.4,57.0 800.2,56.9 821.4,47.8 832.0,40.3 842.5,38.8 863.7,37.9 874.3,37.4 884.8,34.8 895.4,33.8 906.0,32.2 916.6,32.0 927.1,30.3 937.7,30.1 948.3,30.0 958.9,30.0 969.4,30.0 980.0,30.0"/><text x="70" y="338" font-size="12" fill="#2ca02c">distinct code (each body once)</text>
|
||||
<polyline fill="none" stroke="#999" stroke-width="2" points="81.1,276.3 91.7,190.3 102.3,180.2 112.9,176.8 123.4,167.4 134.0,163.1 144.6,158.2 155.2,154.4 165.7,151.7 176.3,151.5 186.9,149.9 218.6,149.9 229.2,148.1 239.8,146.8 250.3,146.0 260.9,143.4 271.5,143.0 303.2,142.1 313.8,122.3 324.4,121.4 334.9,114.5 345.5,113.9 356.1,88.6 366.7,88.1 377.2,81.9 387.8,87.3 398.4,75.2 409.0,74.3 419.5,72.8 430.1,71.4 440.7,69.9 451.3,69.8 461.8,68.9 472.4,67.4 483.0,66.4 493.6,65.7 504.1,64.6 514.7,62.5 525.3,59.3 535.9,57.3 546.4,54.5 557.0,52.3 567.6,45.1 588.7,42.9 599.3,41.5 609.9,41.1 620.5,43.3 631.0,44.2 662.8,42.5 673.3,41.8 683.9,41.5 694.5,41.3 705.1,40.9 715.6,40.4 726.2,40.2 736.8,39.8 747.4,39.5 800.2,39.5 821.4,35.3 832.0,32.1 842.5,31.6 863.7,31.2 874.3,30.9 884.8,30.4 895.4,30.2 906.0,30.1 916.6,30.0 927.1,30.0 937.7,30.0 948.3,30.0 958.9,30.0 969.4,30.0 980.0,30.0"/><text x="70" y="324" font-size="12" fill="#999">function count</text>
|
||||
<line x1="70.3" y1="360" x2="70.3" y2="352" stroke="#888"/>
|
||||
<line x1="70.3" y1="360" x2="70.3" y2="352" stroke="#888"/>
|
||||
<text x="70.3" y="390" text-anchor="middle" font-size="10" fill="#333">P7</text>
|
||||
<line x1="70.3" y1="360" x2="70.3" y2="352" stroke="#888"/>
|
||||
<line x1="70.3" y1="360" x2="70.3" y2="352" stroke="#888"/>
|
||||
<line x1="80.7" y1="360" x2="80.7" y2="352" stroke="#888"/>
|
||||
<line x1="80.7" y1="360" x2="80.7" y2="352" stroke="#888"/>
|
||||
<line x1="80.7" y1="360" x2="80.7" y2="352" stroke="#888"/>
|
||||
<line x1="101.3" y1="360" x2="101.3" y2="352" stroke="#888"/>
|
||||
<text x="101.3" y="390" text-anchor="middle" font-size="10" fill="#333">P15</text>
|
||||
<line x1="111.7" y1="360" x2="111.7" y2="352" stroke="#888"/>
|
||||
<line x1="122.0" y1="360" x2="122.0" y2="352" stroke="#888"/>
|
||||
<line x1="122.0" y1="360" x2="122.0" y2="352" stroke="#888"/>
|
||||
<line x1="122.0" y1="360" x2="122.0" y2="352" stroke="#888"/>
|
||||
<line x1="132.4" y1="360" x2="132.4" y2="352" stroke="#888"/>
|
||||
<line x1="184.0" y1="360" x2="184.0" y2="352" stroke="#888"/>
|
||||
<line x1="215.1" y1="360" x2="215.1" y2="352" stroke="#888"/>
|
||||
<line x1="246.1" y1="360" x2="246.1" y2="352" stroke="#888"/>
|
||||
<text x="246.1" y="390" text-anchor="middle" font-size="10" fill="#333">P23</text>
|
||||
<line x1="308.1" y1="360" x2="308.1" y2="352" stroke="#888"/>
|
||||
<line x1="339.1" y1="360" x2="339.1" y2="352" stroke="#888"/>
|
||||
<line x1="380.4" y1="360" x2="380.4" y2="352" stroke="#888"/>
|
||||
<text x="380.4" y="390" text-anchor="middle" font-size="10" fill="#333">P26</text>
|
||||
<line x1="380.4" y1="360" x2="380.4" y2="352" stroke="#888"/>
|
||||
<line x1="390.8" y1="360" x2="390.8" y2="352" stroke="#888"/>
|
||||
<line x1="535.5" y1="360" x2="535.5" y2="352" stroke="#888"/>
|
||||
<text x="535.5" y="390" text-anchor="middle" font-size="10" fill="#333">P29</text>
|
||||
<line x1="690.6" y1="360" x2="690.6" y2="352" stroke="#888"/>
|
||||
<text x="690.6" y="390" text-anchor="middle" font-size="10" fill="#333">P30</text>
|
||||
<line x1="918.0" y1="360" x2="918.0" y2="352" stroke="#888"/>
|
||||
<text x="918.0" y="390" text-anchor="middle" font-size="10" fill="#333">P31</text>
|
||||
<line x1="928.3" y1="360" x2="928.3" y2="352" stroke="#888"/>
|
||||
<text x="928.3" y="390" text-anchor="middle" font-size="10" fill="#333">P32</text>
|
||||
<line x1="938.7" y1="360" x2="938.7" y2="352" stroke="#888"/>
|
||||
<line x1="949.0" y1="360" x2="949.0" y2="352" stroke="#888"/>
|
||||
<line x1="949.0" y1="360" x2="949.0" y2="352" stroke="#888"/>
|
||||
<line x1="949.0" y1="360" x2="949.0" y2="352" stroke="#888"/>
|
||||
<line x1="452.8" y1="30" x2="452.8" y2="360" stroke="#c33" stroke-dasharray="4,3"/><text x="456.8" y="44" font-size="11" fill="#c33">2026-07-22: main enters the denominators</text>
|
||||
<polyline fill="none" stroke="#1f77b4" stroke-width="2" points="339.1,169.4 349.4,152.3 359.8,149.5 370.1,133.5 380.4,135.5 390.8,125.8 401.1,122.1 411.5,111.7 421.8,108.2 432.1,102.6 442.5,102.5 452.8,100.5 463.1,98.1 473.5,96.3 483.8,94.1 494.2,90.4 504.5,81.5 514.8,74.4 525.2,72.3 535.5,68.9 545.8,65.8 556.2,55.0 576.9,50.8 587.2,48.1 597.5,46.5 607.9,49.7 618.2,50.5 649.2,48.7 659.6,47.0 669.9,46.0 680.2,45.9 690.6,45.5 700.9,44.8 711.2,44.6 721.6,43.6 731.9,42.9 783.6,42.8 804.3,38.6 814.6,34.9 824.9,34.2 845.6,33.6 856.0,33.3 866.3,32.1 876.6,31.6 887.0,31.0 897.3,30.9 907.6,30.1 918.0,30.0 928.3,30.0 938.7,30.0 949.0,30.0 959.3,30.0 980.0,30.0"/><text x="70" y="352" font-size="12" fill="#1f77b4">instruction-weighted (all binaries)</text>
|
||||
<polyline fill="none" stroke="#2ca02c" stroke-width="2" points="339.1,263.2 349.4,230.9 359.8,225.5 370.1,197.6 380.4,196.8 390.8,184.2 401.1,181.7 411.5,159.9 421.8,152.9 432.1,140.5 442.5,140.4 452.8,136.8 463.1,136.7 473.5,136.7 483.8,134.8 494.2,131.5 504.5,114.5 514.8,106.2 525.2,103.4 535.5,100.4 545.8,94.4 556.2,77.8 576.9,69.5 587.2,65.5 597.5,64.8 607.9,70.9 618.2,72.4 649.2,69.1 659.6,65.6 669.9,63.7 680.2,63.3 690.6,62.7 700.9,61.3 711.2,60.8 721.6,58.5 731.9,57.0 783.6,56.9 804.3,47.8 814.6,40.3 824.9,38.8 845.6,37.9 856.0,37.4 866.3,34.8 876.6,33.8 887.0,32.2 897.3,32.0 907.6,30.3 918.0,30.1 928.3,30.0 938.7,30.0 949.0,30.0 959.3,30.0 980.0,30.0"/><text x="70" y="338" font-size="12" fill="#2ca02c">distinct code (each body once)</text>
|
||||
<polyline fill="none" stroke="#999" stroke-width="2" points="80.7,276.3 91.0,190.3 101.3,180.2 111.7,176.8 122.0,167.4 132.4,163.1 142.7,158.2 153.0,154.4 163.4,151.7 173.7,151.5 184.0,149.9 215.1,149.9 225.4,148.1 235.7,146.8 246.1,146.0 256.4,143.4 266.7,143.0 297.8,142.1 308.1,122.3 318.4,121.4 328.8,114.5 339.1,113.9 349.4,88.6 359.8,88.1 370.1,81.9 380.4,87.3 390.8,75.2 401.1,74.3 411.5,72.8 421.8,71.4 432.1,69.9 442.5,69.8 452.8,68.9 463.1,67.4 473.5,66.4 483.8,65.7 494.2,64.6 504.5,62.5 514.8,59.3 525.2,57.3 535.5,54.5 545.8,52.3 556.2,45.1 576.9,42.9 587.2,41.5 597.5,41.1 607.9,43.3 618.2,44.2 649.2,42.5 659.6,41.8 669.9,41.5 680.2,41.3 690.6,40.9 700.9,40.4 711.2,40.2 721.6,39.8 731.9,39.5 783.6,39.5 804.3,35.3 814.6,32.1 824.9,31.6 845.6,31.2 856.0,30.9 866.3,30.4 876.6,30.2 887.0,30.1 897.3,30.0 907.6,30.0 918.0,30.0 928.3,30.0 938.7,30.0 949.0,30.0 959.3,30.0 980.0,30.0"/><text x="70" y="324" font-size="12" fill="#999">function count</text>
|
||||
<text x="980" y="426" text-anchor="end" font-size="10" fill="#777">generated by tools/timeline.py — keyed by date</text>
|
||||
</svg>
|
||||
|
||||
|
Before Width: | Height: | Size: 6.8 KiB After Width: | Height: | Size: 6.8 KiB |
Reference in New Issue
Block a user