14 Claim ledger
On this page · Permalink · Source line 1919
| Statement | Status | Scope or boundary |
|---|---|---|
| Residual partition | proved | any moduli functor with well-defined reduction |
| No crossing | proved | operations trivial at residual depth |
| Inverse-limit reconstruction | proved | represented complete deformation problem |
| Finite-branch compactness | proved | finite nonempty levels and finite branching |
| Smooth and weighted seed zeta formulas | proved | stated formal coordinate models |
| Singular power zeta and dimension | proved | scalar equation \(x^e=0\) |
| Cohomology packet decomposition | proved | chain projectors commuting with the differential |
| Directed minimum-seed theorem | proved | finite directed transport graph |
| Adelic finite-depth completion | proved | common spine, all finite levels occupied, closed local conditions |
| Compatible-carrier summand completion | proved | known semisimple compatible carrier and finite separation |
| Finite occupancy trace | Lean checked | supplied commuting split operators; characteristic-zero trace criterion |
| Universal residual companions | not proved | requires nonempty root at every coefficient prime |
| Universal compatible-system completion | not proved | algebraic spine and companion occupancy remain necessary |
| Universal automorphic occupancy | not proved | requires positive global packet traces |
| Unrestricted reciprocity | not claimed | belongs to later local and global papers |