Arith / CONCEPT
Finite source-free recutting
Finite retained expressions determine common-suffix recuts.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH14
DOCUMENT LINKS0
Exact local-expression kernel
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
- All-source sparse cut recovery classificationstructural-affinity · Closed
- Alpha Separation and Literal Two-Hole Equalitystructural-affinity · Closed
- Complete Leaf-History Rigidity and a Common Literal Output Holestructural-affinity · Closed
- Finite Binary Kraft Inequalitystructural-affinity · Closed
- Native Finite Observer and Bounded Raw Absencestructural-affinity · Closed
- Native literal cut rows and actual collision sourcesstructural-affinity · Closed
- Native prefix identity reflectionstructural-affinity · Closed
- NativeDepthPatternsstructural-affinity · Closed
- Six Actual Repeated-Partner Sourcesstructural-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