v1.0.0 — Initial archival release

Initial archival release

This release preserves the certificate-backed investigation of the Stringer bound, including:

• the full finite-sample conservatism proof for n = 2, valid for every taint distribution and confidence level;
• exact rational counterexamples at low confidence, with rigorous confidence-factor enclosures and margin certificates;
• the analysis of the gap in Bimpeh's finite-sample certification;
• reproducible Python search, coverage, and certification programs;
• machine-checkable logs and certificates; and
• the accompanying manuscript in LaTeX and PDF formats.

The general finite-sample conjecture at standard confidence levels such as 95% remains open.