Combinatorics / CONCEPT
The invariant obstruction of a retained LARGE skeleton
Construct an order of every complete SMALL batch from the prescribed endpoints and both sides of every retained LARGE occurrence.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH2
DOCUMENT LINKS0
Reconstruct all intervening SMALL batches
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
- First negative omission and actual inverse-parent exchangesstructural-affinity · Closed
- Fresh pair exchange retaining the entire old tailstructural-affinity · Closed
- Odd-half negative-parent exchangesstructural-affinity · Closed
- Ordering pairwise compatible steps between two endpointsstructural-affinity · Closed
- Paired completion from actual occurrence countsstructural-affinity · Closed
- Two generations and complete SMALL-prefix normalizationstructural-affinity · Closed
- Two opposite LARGE labels: the complete three-case exchangestructural-affinity · Closed
- Whole-suffix boundaries and a negative prefix pairstructural-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