Can an AI Agent Rediscover a Blaschke-Curve Invariant?
This single-instance case study is presented as a protocol for separating conjecture, numerical validation, and proof, with explicit limitations concerning agent metadata, prior knowledge, and reproducibility.