Combinatorics / CONCEPT
Ordering pairwise compatible steps between two endpoints
Opposite steps whose combined magnitudes fit the strip can be permuted between any legal start and their resulting legal endpoint.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES4
PROOF DEPTH1
DOCUMENT LINKS0
An order of all occurrences
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Isolated SMALL labels with no bound on their numbertruth-dependency · Closed
- Paired completion from actual occurrence countstruth-dependency · Closed
- The invariant obstruction of a retained LARGE skeletontruth-dependency · Closed
- Two opposite LARGE labels: the complete three-case exchangetruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A local physical two-root repairstructural-affinity · Closed
- A sharp three-parent source familystructural-affinity · Closed
- A universal support width for centered circle sourcesstructural-affinity · Closed
- Arithmetic gates for the attained three-row maskstructural-affinity · Closed
- Cyclic carries and zero relations of the physical circle sourcestructural-affinity · Closed
- Deferred-prefix ancestor invariantstructural-affinity · Closed
- Energy before SMALL count: the physical mixed-suffix exchangestructural-affinity · Closed
- Even expanding paths in the original centered sourcestructural-affinity · Closed
- Isolated SMALL labels with no bound on their numberstructural-affinity · Closed
- Paired completion from actual occurrence countsstructural-affinity · Closed
- Period-closing rigidity for two SMALL gapsstructural-affinity · Closed
- The invariant obstruction of a retained LARGE skeletonstructural-affinity · Closed
- Two opposite LARGE labels: the complete three-case exchangestructural-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