Unrestricted finite real-period pinwheel scheduling at density 5/6: A mixed-kernel reduction and computer-verifiable cover

This preprint presents a computer-assisted proof candidate for the unrestricted finite real-period pinwheel scheduling conjecture at density at most 5/6, including repeated and irrational periods and the equality boundary. A mixed-kernel reduction and continuum-cover construction reduce the computational obligations to 16 task-count cases and 463 leaf cover proofs. The complete computer proof chain passed original and isolated-copy replays on 6 October 2026. A separate native Linux ARM64 replay completed on 7 October 2026. The emulated AMD64 full run timed out; its limited successful checks and the failed run are preserved separately. External specialist review has not yet occurred; the manuscript states the remaining mathematical and software trust assumptions. This version retains the original manuscript PDF and LaTeX source and adds the complete retained scientific reproducibility package: proof payloads, verification and exploration programs, certificates, original and later logs, status and failure records, research history, manifests, compatible environment snapshots, and separate Linux runtime/build environments. The repository snapshot also includes the 8 October 2026 internal mathematical-to-SMT audit of all 463 canonical formulas and 770,526 assertions. No defect was found within that audit scope; this is not external peer review or a guarantee of correctness. START-HERE.md explains offline restoration from the whole archives, storage requirements, known historical gaps, and remaining trust assumptions. Generative AI assisted mathematical exploration, code development, manuscript drafting and internal review. Surya Uthkarsha is the sole author of the research manuscript. Prepared for confidential specialist review, with file access restricted and no automatic public-release date. Please seek the author's agreement before wider circulation. Access restrictions are separate from the existing CC BY-NC-ND 4.0 license and do not revoke permissions already granted under that license. Third-party software and materials retain their own authorship and licenses; no exclusive ownership of them is claimed.