Combinatorics / CONCEPT
A physical doubling packet supplies a three-LARGE exchange
Construct a real positive SMALL return batch from an actual two-label doubling packet, retaining the entire complement and proving a strict-H exchange with exactly three later negative LARGE labels.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH6
DOCUMENT LINKS0
The shared physical exchange preserves the return selector tag
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 crossing anchor orders both negative gatesstructural-affinity · Closed
- A single physical anchor supplies the return intervalstructural-affinity · Closed
- An actual prefix reserve and the remaining prefix obstructionstructural-affinity · Closed
- Complete SMALL-batch physical exchangestructural-affinity · Closed
- First negative omission and actual inverse-parent exchangesstructural-affinity · Closed
- Full exchange through the physical SMALL source halfstructural-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
- Signed short mass for the complete three-LARGE exchangestructural-affinity · Closed
- The native crossing label supplies the bridgestructural-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