# AI assistance and review

OpenAI GPT-6 Astra agents, working through OpenAI Codex, developed the
mathematical arguments, exact polynomial certificates, Lean proofs,
documentation and verification tooling. Separate agents reviewed theorem
scope, definitions, statement fidelity and transitive axioms. JD Jones set
the project scope and is the responsible human maintainer.

The formal proofs are checked by Lean, Comparator, NanoDa and con-ron;
AI-generated output is not a proof axiom. Review was internal agent review,
not independent human expert review. Structured provenance is recorded in
[formalization.yaml](formalization.yaml).