# Verification report

The full proof is in main.tex. Its research derivation, detailed audit,
and exact finite tests are included in reproducibility/.

The principal checks are:

- fixed-h factorial exponent 2h-1 and consistent orbifold constants;
- smooth compact witnesses, essential boundaries in the approximants,
  and the open-set direction of Portmanteau;
- surface entropy separated from arbitrary root choices;
- positive-volume core neighborhoods, not zero-measure exact metrics;
- the count-to-probability bound using at most 3g-3 short curves;
- positive-area root densities and their additional log g cost;
- fixed-core estimates before the slow diagonal;
- classical attribution and no claim to close the broad AIM agenda.

Two isolated Python replays, normal and optimized, are required before
the package is sealed. The exact checker makes 6,274 finite comparisons.
These are regressions, not a general geometric proof.

The native LaTeX compiler and exported PDF are checked separately.
All seven rendered pages are inspected for layout, equations, source
citations, author-footnote placement, and AI disclosure in prose.
The machine-readable visual-qa and manifest records bind the checked
PDF and source bytes.

This is originating-researcher self-audit. Independent review and
formal verification have not occurred; no absolute priority is certified.