Subset profile counterexample — 1.0.1 candidate

Unrefereed candidate counterexample to the Nestoridi–Yan profile conjecture in arXiv:2409.16387v1. Written proof, exact inequalities, 23 hostile controls and producer finite replay. No replacement profile, general sharp upper bound, formal verification, external reproduction or priority is claimed. Original prose/data CC0-1.0; original code MIT; inherited inputs retain their rights. Version DOI: https://doi.org/10.5281/zenodo.22708622