# Verification report

The full proof is in main.tex. The research derivation, detailed self-audit, checker source and reference outputs are included in reproducibility/.

The principal checks concern:

- nonempty cyclic centralizer quotients, free actions and smooth Jordan strata;
- dense generic disjoint support and functorial charts over nonreduced bases;
- preservation of generic length by etale factorization, without equal-part factorials;
- height and regular-sequence hypotheses for both weighted coefficient algebras;
- the ambient cubic ring before imposing the extra discriminant;
- residue-field length versus dimension over C;
- reduced rank statements separated from characteristic and power-relation schemes;
- precise attribution and no categorical source-closure claim.

Two isolated replays from the extracted source ZIP, with normal and optimized Python, are required before package sealing. The checker has 4,338 finite exact checks. They supplement rather than establish the general theorem.

The native LaTeX compiler and the exported PDF are checked separately. All seven final rendered pages have been inspected for equations, layout, references, the author footnote and ordinary-prose AI disclosure. Final compilation has no overfull or underfull boxes, undefined references, missing characters or errors. The machine-readable manifest and visual-qa record bind the exact inspected files.

This is originating-researcher self-audit. Independent review and formal verification have not occurred. The known component classification and spectral formula are not counted as novel results.