Combinatorics / CONCEPT
Same-sign substitution with a compatible suffix
Replace an actual LARGE label by a strictly smaller unused LARGE label of the same sign, deriving the new endpoint from old append blocking and retaining its entire compatible physical suffix.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH4
DOCUMENT LINKS0
Strict physical substitution with the forced endpoint
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
- A full exchange retaining every old SMALLstructural-affinity · Closed
- A physical doubling packet supplies a three-LARGE exchangestructural-affinity · Closed
- Complete SMALL-batch physical exchangestructural-affinity · Closed
- Energy before SMALL count: the physical mixed-suffix exchangestructural-affinity · Closed
- First negative omission and actual inverse-parent exchangesstructural-affinity · Closed
- Full exchange through the physical SMALL source halfstructural-affinity · Closed
- Full source completion from one actual opposite pairstructural-affinity · Closed
- Isolated SMALL labels with no bound on their numberstructural-affinity · Closed
- Moving one LARGE label across an arbitrary mixed suffixstructural-affinity · Closed
- Physical exchange by constructive positive SMALL returnsstructural-affinity · Closed
- Positive odd penultimate exchanges with genuine SMALL returnsstructural-affinity · Closed
- Single SMALL rigidity and forward cyclic completionstructural-affinity · Closed
- Terminal SMALL ownership and orbit transitionstructural-affinity · Closed
- Three same-sign SMALL labels, including adjacencystructural-affinity · Closed
- Three-small block placement in the sixfold 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