Arith / CONCEPT
Alpha Separation and Literal Two-Hole Equality
Sharp alpha separation and all literal two-hole equality cases of actual Fibonacci tree images.
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES5
PROOF DEPTH12
DOCUMENT LINKS0
Replacement through a context
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Complete Leaf-History Rigidity and a Common Literal Output Holetruth-dependency · Closed
- Exact Address Certificates for Actual Tree Imagestruth-dependency · Closed
- Seven-Leaf Separation of Actual Fibonacci Imagestruth-dependency · Closed
- The Ordered Fibonacci Source Centralizertruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
- Native Ancestor Area Choicestruth-dependency · Closed
- Native First-Disagreement Contractiontruth-dependency · Closed
- Native guarded leaf repair frontierstruth-dependency · Closed
- Native literal cut rows and actual collision sourcestruth-dependency · Closed
- Quantity Address Certificatestruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Actual Strict History Capacity and Native Recipe Continuationsstructural-affinity · Closed
- Complete Leaf-History Rigidity and a Common Literal Output Holestructural-affinity · Closed
- Discovery on a Fixed Scalar Fiberstructural-affinity · Closed
- Exact Address Certificates for Actual Tree Imagesstructural-affinity · Closed
- Exact Kernel Rigidity on All Native Source Treesstructural-affinity · Closed
- Finite Binary Kraft Inequalitystructural-affinity · Closed
- Finite source-free recuttingstructural-affinity · Closed
- Fresh Coarse Divergence and Saturated Shared Historiesstructural-affinity · Closed
- Native Ancestor Area Choicesstructural-affinity · Closed
- Native Finite Observer and Bounded Raw Absencestructural-affinity · Closed
- Native First-Disagreement Contractionstructural-affinity · Closed
- Native fresh sensor growthstructural-affinity · Closed
- Native guarded leaf repair frontiersstructural-affinity · Closed
- Native literal cut rows and actual collision sourcesstructural-affinity · Closed
- Native representatives of every ordered-menu rankstructural-affinity · Closed
- Original Material Root Recognitionstructural-affinity · Closed
- Quantity Address Certificatesstructural-affinity · Closed
- Scalar Stage Address Certificatesstructural-affinity · Closed
- Seven-Leaf Separation of Actual Fibonacci Imagesstructural-affinity · Closed
- The Ordered Fibonacci Source Centralizerstructural-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