# Verification report

Date: 2026-08-30

## Result

`PASS` - the source compiles, all three exact checkers pass, and all six PDF
pages pass visual review.

## Mathematical audit

- Local degrees in f*pi=pi*L give e(Lz)/e(z); stabilizer inclusion makes the
  ratio integral and sends every critical point directly to the branch set.
- Summing local degrees in each fiber gives the critical-leaf formula without
  a missing orbit factor.
- Rank 0, 1, and 2 affine maps on F_2^2 give 1, 3, and 5 graph types. The
  negative-discriminant lift realizes every affine type rigidly.
- The order-3 table exhausts affine maps of F_3 allowed by Eisenstein
  multiplication and translation.
- The order-4 table separates Gaussian parity and the two allowed
  translations; the order-6 table separates divisibility by the primes above
  3 and 2.
- All displayed leaf counts are integral, nonnegative for actual degrees,
  and satisfy Riemann--Hurwitz.
- The overlap matrix has determinant s^2, discriminant -16(s-1), and is
  congruent to sI modulo 2, so equality is of complete weighted portraits.
- The rigid and flexible maps are not claimed analytically conjugate.

## Reproducibility

Run all three scripts in `reproducibility/`:

```sh
python3 reproducibility/enumerate_affine_f2_portraits.py
python3 reproducibility/verify_signature_tables.py
python3 reproducibility/verify_square_degree_overlap.py
```

They use exact integer arithmetic. They support but do not replace the
symbolic classification.

## Build and PDF QA

- Engine: Tectonic 0.17.0 with BibTeX
- Pages: 6, US Letter (612 x 792 pt)
- Undefined references/citations: 0
- Overfull/underfull boxes: 0
- LaTeX errors: 0
- Visual inspection: all 6 pages at 144 dpi; tables, formulas, bibliography,
  margins, and page numbers are legible and unclipped

## Public release and license

The author approved public release on 2026-09-02. This paper, its source files, and this verification report are licensed under the Creative Commons Attribution 4.0 International License (CC BY 4.0): https://creativecommons.org/licenses/by/4.0/