Can you add an Acknowledgment section, something like this: Not too long or short: Concrete implementation, both papers: (a) Byline: Dan T Nguyen (b) A footnote on the title (optional but in your project's spirit): > This work was produced with substantial machine assistance; see the AI Contribution Statement. (c) A dedicated section (before Acknowledgments or as an appendix), something like: > AI contribution statement. This research was conducted with substantial assistance from two AI systems: Kimi K3 (Moonshot AI), operated through the Claude Code harness (Anthropic), over an archived series of research sessions (project ledger: sessions 001–012). Machine contributions included: derivation drafting and constant-tracing (D-036/D-037/D-056/D-057), the Lean 4 formalization of the Li chain (package NguyenRH1: sInfty_lower_bound, marginTilde_convex, lambda_pos_finite_height_verified), the numerical experiment suite (E-001–E-029), and adversarial self-audit (D-060: four independent audit instances, ~55 claims checked, 10 corrections filed). All research direction, verification decisions, perimeter declarations, and final approval are the responsibility of the human author, who serves as guarantor of the work. All machine-produced mathematics was validated by machine-checked proof (Lean 4, axiom profiles as stated in Appendix B), by cross-validated deterministic computation, or is explicitly tagged otherwise in the text. Session logs and audit trails are preserved in the project archive. That last clause matters: your correctness-tag system means you can honestly say the AI output was systematically verified, not just "used." Almost no one else disclosing AI assistance can say that. (d) Acknowledgments: thank the systems/organizations if you wish, but the substantive record belongs in the contribution statement, not there.