Digit / CONCEPT
Finite high-run root descent
Finite high-run roots approach the complete cap root.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH19
DOCUMENT LINKS0
Strict descent of finite high-run roots
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
- Local separation and six-window forcingstructural-affinity · Closed
- Orthogonal Absolute-Product Minimumstructural-affinity · Closed
- Reset codebook: Finitestructural-affinity · Closed
- Reset codebook: Growthstructural-affinity · Closed
- Reset codebook: Indexedstructural-affinity · Closed
- Reset codebook: Modelstructural-affinity · Closed
- Reset codebook: Orderstructural-affinity · Closed
- Reset codebook: Targetstructural-affinity · Closed
- Sharp separation and critical prefix recoverystructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance