Online Resource 1: Exact certificate and complete concrete Lean counterexample
Article: A counterexample to the complex polynomial Koebe radius conjecture
Journal: Analysis and Mathematical Physics
Author: Aran S. Ziegler
Affiliation: Auckland University of Technology, Auckland, New Zealand
Corresponding email: pvx6961@autuni.ac.nz
Published preprint DOI: 10.5281/zenodo.23293631
Public record: https://zenodo.org/records/23293631
Manuscript version: 1, dated 12 October 2026.

The verifiers, exact rational data, pinned Lean project, compiler evidence and declaration map are supplied here. The included preprint source is the input for presentation/source-link checks; the journal manuscript is delivered separately. Follow README.md and lean/README.md for reproduction and RIGHTS.md for retained scoped rights. No additional software licence is granted. No journal submission or publication is performed by preparing this file.
