# Verification report

Date: 2026-09-01

## Mathematical result

`PASS`: the proof verifies the FUSF kernel/trace formula, finite lifted
Schreier-tree geometry, bounded cycle lifting, closure passage, equivariant
polar decomposition, forest intensity identity, noncircular orbit count, and
the separate finite-group case. Labeled cells cover involutions, repeated
labels, parallel edges, and contraction-created loops.

## Exact finite regression

The dependency-free checker uses integers and exact fractions. It covers 772
connected simple graphs, 37,023 forest contractions, 91,840 lifted simple
cycle-basis vectors, multigraph loop/parallel cases, 666 connected labeled
Schreier actions, and 1,406 finite/infinite intensity identities. These checks
support finite conventions; boundedness and equality of closures are proved
analytically.

## Build and PDF QA

`PASS`: Tectonic 0.17.0 and BibTeX produced a five-page letter-size PDF with
zero LaTeX errors, undefined references/citations, overfull boxes, or
underfull boxes. All five pages were rendered at 144 DPI and directly
inspected; no clipping, margin, formula, bibliography, or legibility defect
was found. The exact checker passed afresh and wrote the archived
`results_exact.json` certificate.

## 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/