Ordered simplex caps and the three-observation Stringer bound

The principal preprint is now 9 pages, focused on the four-coordinate cap theorem, its sharp three-observation Stringer–Gaffke comparison, and the all-dimensional terminal-edge obstruction.

This release includes the manuscript PDF and LaTeX source, exact rational proof data, reproducible calculations, and corrected mathematical-status records. The five- and six-coordinate global extensions and their dependent confidence continua remain conjectural: the first-coordinate beta inequalities do not establish the required active-prefix inequality on repeated-lowest-knot faces. The independent local calculations and fixed-level results are retained with their stated scopes.

The systematic-PPS manuscript remains a separate treatment of fixed-frame random-start inference.

The source ZIP contains the complete supporting repository. Earlier versions are preserved.

Archived source: Zenodo v1.1.0 — DOI 10.5281/zenodo.22821193.