Combinatorics / CONCEPT
The Q=2 empty-ladder boundary
The empty middle ladder is handled by exact source-forced bits and their full modular wrap counts.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS0
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A common zero cut for equal outer gapsstructural-affinity · Closed
- Binary quotient separation and labelled two-run prefixesstructural-affinity · Closed
- Exact attained width for geometric circle sourcesstructural-affinity · Closed
- Exact packets for the two remaining laddersstructural-affinity · Closed
- Native dyadic transport of a joint ear completionstructural-affinity · Closed
- Source facts for the equal-outer marked joint liftstructural-affinity · Closed
- Source-forced residual windowsstructural-affinity · Closed
- Three-bit circle sources at half-modulus capacitystructural-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