AI Provenance and Verification Summary
======================================

Manuscript: The sharp iid Berry-Esseen inequality: Analytic reductions and exact certificate proof
Authors: Bartosz Kolodziejek, Kacper Rodziewicz
Date: 27 October 2026

AI Tools Used:
- OpenAI GPT-5.4 / Codex
- Google Gemini / Antigravity

Scope of AI Assistance and Human Verification:
AI systems assisted with verification engineering, multi-core certificate orchestration, manuscript drafting, and audit automation. All mathematical definitions, reductions, certificate schemas, and execution receipts (full_pass: "ESTABLISHED") were directed and verified by the human authors.

Reproducible Verification Repository (One-Command Docker):
https://github.com/rodziewiczk/berry-esseen-certificates (tag v1.0.0-full-pass)