Arith / CONCEPT
Actual Odd Covers Force Average Charge after a Correlated Head
Every ordinary finite distinct odd covering system and any full correlated head law supported on head-safe points induce tail distortion chains whose average charge is at least one and whose base caps are determined by exact residual-prefix probabilities.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES0
PROOF DEPTH16
DOCUMENT LINKS1
Ordinary coverage survives the arithmetic and probability interfaces
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
- Actual Distortion Chains and Conditional Convex Comparisonstructural-affinity · Closed
- Adjacent Prime-Height Profile Exchangestructural-affinity · Closed
- Arith: Arithmetic Coordinatesstructural-affinity · Closed
- Arith: Distortion Chainstructural-affinity · Closed
- Exact Laws on Pure-Prefix Survivorsstructural-affinity · Closed
- Height-Coded Prime Absorptionstructural-affinity · Closed
- Prime-Root Compression and Original Inventorystructural-affinity · Closed
- Union Conditioning on One Common Regular Subtreestructural-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