Weil / CONCEPT
Rational Two-Jet Budget Verifier
A finite rational expression bounds the actual mixed majorant and certifies the common depth and support radius, with analytic input premises explicit.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH33
DOCUMENT LINKS1
One certified rational head bound
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
- Quantitative Packets from Certified Finite Zero Nodesstructural-affinity · Closed
- Rational Burnol Depth Budgetstructural-affinity · Closed
- Rational Polynomial Tests with a Fixed Cutoffstructural-affinity · Closed
- SparseBurnolPacketJetsstructural-affinity · Closed
- Unit Support and Explicit Peak Radiusstructural-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