Results · Additional Noteworthy Results · Physics
Standalone additional result
Medium confidence
No UV divergences in tau
Every spectral sum over boundary characters in H_partial[omega] converges. For any sector X and depth N: sum ||chi_X(alpha_n)||^2 <= kappa(X)^2 N. Physical observables are obtained via profinite completion, not continuous integration. The limit exists because boundary characters
V.T137
Physics
Book V
tau-effective
formalized
What this page is
This is a public Results-lane surface for a noteworthy Physics Registry item. It is generated from the Corpus Registry triage catalogue and keeps the generic Result catalogue unchanged.
Registry evidence
- Registry item: V.T137
- Type: theorem
- Scope: tau-effective
- Lean status: formalized
- Book / part / chapter: Book V · Part 7 · Chapter 66
Result summary
| Every spectral sum over boundary characters in H_partial[omega] converges. For any sector X and depth N: sum | chi_X(alpha_n) | ^2 <= kappa(X)^2 N. Physical observables are obtained via profinite completion, not continuous integration. The limit exists because boundary characters are bounded. No regularization, renormalization, or cutoff is needed. |
Related Results surfaces
- No existing public Results surface is linked yet; this record is promoted as a standalone Registry-backed result.
Reading role
Read as a standalone Registry-backed noteworthy result.
Claim boundary
This page reports a Registry-backed internal result surface. It is not an external validation claim, a scientific consensus claim, or independent acceptance.
Curation rationale
- physics-facing terms: alpha, spectral
- theorem/proposition-class item appears externally legible enough for standalone review
Review notes
- No additional review notes recorded.