Weil / CONCEPT
Instantiated Sparse Certificate
A supplied finite frame yields an instantiated sparse negative Weil certificate with proved geometry, cutoff, integer budget, depth, support and margin.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH37
DOCUMENT LINKS1
Quantitative existence with the arithmetic premises discharged
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Explicit Fourth-Moment Tail of Actual Zeta Zerosstructural-affinity · Closed
- Finite Head and Fourth-Moment Tail Budgetstructural-affinity · Closed
- Finite-Data Negative Weil Certificatesstructural-affinity · Closed
- Frame Separation Parametersstructural-affinity · Closed
- Quantitative Packets from Certified Finite Zero Nodesstructural-affinity · Closed
- Rational Polynomial Tests with a Fixed Cutoffstructural-affinity · Closed
- SparseBurnolPacketJetsstructural-affinity · Closed
- WeilBurnolCauchyTailBudgetstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance