\section{Use of AI tools}\label{sec:ai}

Claude Code, an AI coding agent, wrote the Lean files in lean-checks/, the run scripts in wsl-comparator/ and src/, the ledger builders and check.py, and the drafts of Sections~\ref{sec:background}--\ref{sec:corpus}: every tracked file in those places has at least one commit carrying a Co-Authored-By: Claude trailer.
Claude Code also wrote the reading notes in results/2026-10-27-readings/, which record its readings before the author's.
The repository log records four public posts whose drafts were written in the Claude Code sessions.
The author states that Claude in chat did the planning and the prompts, gave the Lemma 3 and Corollary 4 statement comparison that preceded his reading, and helped draft public posts.

The author directed the work, approved each step, and performed the seven readings and the reviews of the reasoning points behind the six statement readings, each signed off in docs/log.md.
The author wrote the content of the abstract, the introduction, Section~\ref{sec:threats} and this section as point lists, and Claude Code drafted the text from them.
The author checked every reference against its source.
The author takes full responsibility for the content of this paper, including all text and code produced with AI tools.
No specialist in analytic number theory or transcendence has reviewed the mathematics.