Arith / CONCEPT
Fresh Coarse Divergence and Saturated Shared Histories
Coarse-observable actual tree strategies separate distinct nonconflicting positives at a fresh nonleaf query, forcing saturated shared histories to incur two nonleaf payments on one input.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH10
DOCUMENT LINKS1
Fresh divergence and saturated nonleaf excess
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Joint Response Cost Corestructural-affinity · Closed
- Actual Tree Readout and Acquisitionstructural-affinity · Closed
- Alpha Separation and Literal Two-Hole Equalitystructural-affinity · Closed
- Common Completion of Finite Coarse Routesstructural-affinity · Closed
- Complete Leaf-History Rigidity and a Common Literal Output Holestructural-affinity · Closed
- Native ancestry acquisitionstructural-affinity · Closed
- Native Finite Observer and Bounded Raw Absencestructural-affinity · Closed
- Native Joint Future Memory Lower Boundstructural-affinity · Closed
- Native Leaf-History Geometry and Literal Context Recoverystructural-affinity · Closed
- Seven-Leaf Separation of Actual Fibonacci Imagesstructural-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