Central-configuration reconstruction and exclusion — v1.2.0-candidate

Certified convex reconstruction and kernel exclusion for central configurations

Version 1.2.0-candidate is an unrefereed methods and certificate release, revised following the supplied October 1 review. It separates classical Yoccoz–Albouy support-cone uniqueness from quantitative reconstruction bounds, finite geometric exclusions, and explicit singular-box certificates.

The package contains 54 local root certificates, 54 root-linked metric patches, 15 finite cap-exclusion regions, and two whole parameter boxes with rank-one noncentral minima. It does not provide a complete seven/eight-body classification, exact global count, formal proof-assistant verification, or authenticated external peer review. The planar-seven boundary application retains an explicitly cited external completeness premise.

The final archive passed fresh twelve-stage standard-library replay, exact manifest checking, twenty additional semantic negative controls, correctly invoked optimization checks, and a separately written checker for the cap inequalities and two whole singular boxes. That separate checker does not independently reproduce the entire inherited root-existence chain. The accompanying REPLAY_SUMMARY.json verifies current archive inputs; older eleven-stage receipts inside the archive are historical.

Read AI_INDEX.md for machine-readable entry points and assurance boundaries, ASSURANCE.md for limitations, and audit/REVISION_RESPONSE_2026-10-01.md for the review response. Original scholarly contributions are CC0; explicitly listed original code is MIT; inherited and third-party material retains its own terms or NOASSERTION, as detailed in LICENSES.md.

Version DOI: https://doi.org/10.5281/zenodo.23074985

The ZIP, PDF, current replay summary and SHA256SUMS are preserved identically on GitHub and Zenodo. The explanatory Evidence Press page is a separate publication surface.