Combinatorics / CONCEPT
The complete minimum-gap-two construction
One physical order and one literal ear for minimum gap two
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES10
PROOF DEPTH7
DOCUMENT LINKS0
All three orientations, with unbounded remaining gaps
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- An adaptive binary grain controls both the inventory and the new chargetruth-dependency · Closed
- Binary masks and the charge of one fresh physical labeltruth-dependency · Closed
- Combinatorics: Scheduletruth-dependency · Closed
- One physical permutation for both centered sourcestruth-dependency · Closed
- One physical permutation, with the ear immediately after gammatruth-dependency · Closed
- Private arithmetic of the strict physical chambertruth-dependency · Closed
- Private arithmetic of the strict physical chambertruth-dependency · Closed
- The complete strict chambertruth-dependency · Closed
- The entire equal-lower familytruth-dependency · Closed
- The entire family 2<=c<a=btruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A common zero cut for equal outer gapsstructural-affinity · Closed
- An adaptive binary grain controls both the inventory and the new chargestructural-affinity · Closed
- Binary masks and the charge of one fresh physical labelstructural-affinity · Closed
- Combinatorics: Schedulestructural-affinity · Closed
- Combinatorics: Sourcestructural-affinity · Closed
- One order for both physical sourcesstructural-affinity · Closed
- One physical permutation couples two centered pathsstructural-affinity · Closed
- One physical permutation for both centered sourcesstructural-affinity · Closed
- One physical permutation, with the ear immediately after gammastructural-affinity · Closed
- Private arithmetic of the physical constructorstructural-affinity · Closed
- Private arithmetic of the physical constructorstructural-affinity · Closed
- Private arithmetic of the strict physical chamberstructural-affinity · Closed
- Private arithmetic of the strict physical chamberstructural-affinity · Closed
- The complete strict chamberstructural-affinity · Closed
- The entire equal-lower familystructural-affinity · Closed
- The entire family 2<=c<a=bstructural-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