[{"type":"text","text":"Done — committed as `6d35f87`. Both live papers now carry the full pattern:\n\n**Paper A** (now 9 pp, clean):\n- Title footnote: *\"This work was produced with substantial machine assistance; see the AI Contribution Statement.\"*\n- **AI Contribution Statement** before the bibliography — your text, with two accuracy updates: the ledger now reads sessions 001–**013**, and the Lean names match the final development (`lambda_pos_finite_height_verified` included). The guarantor clause and the \"validated by machine-checked proof / cross-validated computation / explicitly tagged\" clause are verbatim — agreed, that last clause is the project's distinctive strength: the correctness-tag system makes the verification claim literally true, not aspirational.\n- One-sentence **Acknowledgments** thanking Moonshot AI (Kimi K3) and Anthropic (Claude Code harness), with the substance kept in the statement.\n\n**Paper B** (6 pp, clean): same three components, but the statement is adapted to its actual content — spectral derivations D-018–D-051, E-009–E-027, valley analysis D-048–D-050/D-058, the statement-level Lean skeletons (honesty-tagged), D-054/D-060 audits — and it notes the companion paper's Li chain is machine-verified. The frozen `draft.tex` was left untouched.\n\nThe convention is saved to persistent memory, so any future paper file in this project gets the sole-author block + contribution statement + title footnote by default."}]