Combinatorics / CONCEPT
The native crossing label supplies the bridge
The actual crossing label supplies both retained negative gates in the native three-negative residual with arbitrary q status, retaining every SMALL occurrence.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS0
Full native exchange with unchanged SMALL inventory
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 crossing anchor orders both negative gatesstructural-affinity · Closed
- A physical doubling packet supplies a three-LARGE exchangestructural-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
- Signed short mass for the complete three-LARGE exchangestructural-affinity · Closed
- Two generations and complete SMALL-prefix normalizationstructural-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