Combinatorics / CONCEPT
Full exchange through the physical SMALL source half
Return the actual source half from the last pre-boundary SMALL batch, reordering both entire affected SMALL batches and proving every new gate and exact inventory.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH4
DOCUMENT LINKS0
Construct the full strict-G exchange from three old scalar bounds
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
- A full exchange retaining every old SMALLstructural-affinity · Closed
- A physical doubling packet supplies a three-LARGE exchangestructural-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
- Same-sign substitution with a compatible suffixstructural-affinity · Closed
- Single SMALL rigidity and forward cyclic completionstructural-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