# Disclosure

JD Jones directed this project. OpenAI Codex assisted with the mathematical
research, Lean development and documentation. Verification status is recorded
in VERIFICATION.md. No independent human review or source-author endorsement
is claimed.