Combinatorics / CONCEPT
Source-forced residual windows
An exact source quotient forces an unused bit in a bounded window and a jointly legal two-ladder transfer.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
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 phase with quantitative marginsstructural-affinity · Closed
- A common zero cut for equal outer gapsstructural-affinity · Closed
- Binary quotient separation and labelled two-run prefixesstructural-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
- The Q=2 empty-ladder boundarystructural-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