# Disclosure

JD Jones directed this project. Claude (Anthropic) and GPT-6 (OpenAI) were used, in some form, throughout: the
theorems, their proofs, the searches, the checkers and the repository were produced in that process, and the
repository was written by Claude. L2/Pairs.lean adapts code from the author's earlier gn-lean development
(PALOMAR-2026-09-07-000013, MIT). Verification status is stated in VERIFICATION.md. No independent human review or
source-author endorsement is claimed.