Combinatorics / CONCEPT
A universal support width for centered circle sources
Every centered doubling source of length k at least three has one complete physical-label permutation whose every prefix lies between zero and N minus floor(N/3) minus two.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES17
PROOF DEPTH0
DOCUMENT LINKS0
One complete word with every height in the support strip
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
- A local physical two-root repairtruth-dependency · Closed
- A sharp three-parent source familytruth-dependency · Closed
- Arithmetic gates for the attained three-row masktruth-dependency · Closed
- Attained masks on all physical row labelstruth-dependency · Closed
- Complete strip ordering from conservation and two large occurrencestruth-dependency · Closed
- Cyclic carries and zero relations of the physical circle sourcetruth-dependency · Closed
- Deferred-prefix ancestor invarianttruth-dependency · Closed
- Even expanding paths in the original centered sourcetruth-dependency · Closed
- Exact attained width for geometric circle sourcestruth-dependency · Closed
- Ordering pairwise compatible steps between two endpointstruth-dependency · Closed
- Physical cyclic binary runstruth-dependency · Closed
- Seven physical row roles and exact T depletiontruth-dependency · Closed
- Source facts for the equal-outer marked joint lifttruth-dependency · Closed
- The labelled circle action and balanced negative incidencetruth-dependency · Closed
- The original M5 source-to-word implicationtruth-dependency · Closed
- Three-bit circle sources at half-modulus capacitytruth-dependency · Closed
- Three-row cyclic source family at half-modulus capacitytruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A local physical two-root repairstructural-affinity · Closed
- A sharp three-parent source familystructural-affinity · Closed
- Arithmetic gates for the attained three-row maskstructural-affinity · Closed
- Attained masks on all physical row labelsstructural-affinity · Closed
- Complete strip ordering from conservation and two large occurrencesstructural-affinity · Closed
- Cyclic carries and zero relations of the physical circle sourcestructural-affinity · Closed
- Deferred-prefix ancestor invariantstructural-affinity · Closed
- Even expanding paths in the original centered sourcestructural-affinity · Closed
- Exact attained width for geometric circle sourcesstructural-affinity · Closed
- Ordering pairwise compatible steps between two endpointsstructural-affinity · Closed
- Physical cyclic binary runsstructural-affinity · Closed
- Seven physical row roles and exact T depletionstructural-affinity · Closed
- Source facts for the equal-outer marked joint liftstructural-affinity · Closed
- The labelled circle action and balanced negative incidencestructural-affinity · Closed
- The original M5 source-to-word implicationstructural-affinity · Closed
- Three-bit circle sources at half-modulus capacitystructural-affinity · Closed
- Three-row cyclic source family 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