2720 — Analytic Fredholm Discreteness Is Not Zero Exclusion
A norm-analytic compact family on one fixed source space, together with one invertible base point, has a meromorphic inverse and only discrete noninvertible parameters. This localizes but does not exclude off-seam failures. Compactness alone supplies no Fredholm determinant, and a scalar Tate readout need not detect an operator kernel; both scalarization and trace-class control require separate source-derived theorems.
- Packet:
research/kitaev/analytic-fredholm-discreteness-is-not-zero-exclusion.md - Checker:
research/kitaev/checkers/check_analytic_fredholm_discreteness.py - Results:
research/kitaev/results/analytic-fredholm-discreteness.json - Sequence:
seqclaim-5371dbe05f5a7fdf4c77fd81 - Epistemic graph:
ev-000000004147-1944ac96-90d6-4489-95f8-0cb04995486f
No commit or push was authorized.