Arith / CONCEPT
Prime Cuts from Fresh Ternary Repairs
A globally minimal distinct odd cover bounds every selected prime cut by the number of its actually used tags.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH14
DOCUMENT LINKS1
One fan covers all matching pairs
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
- Adjacent Prime-Height Profile Exchangestructural-affinity · Closed
- Arith: Arithmetic Coordinatesstructural-affinity · Closed
- Fixed Collision Exceptionsstructural-affinity · Closed
- Fresh Completion of a Complete Prime Chainstructural-affinity · Closed
- Hanna's A369673 conjecturesstructural-affinity · Closed
- Height-Coded Prime Absorptionstructural-affinity · Closed
- Ordinary-Prime Root Capacitystructural-affinity · Closed
- Prime Factors and Pure Prime Classesstructural-affinity · Closed
- Prime-Root Compression and Original Inventorystructural-affinity · Closed
- Two-Prime Support Obstructionstructural-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