Combinatorics / CONCEPT
A finite uniform quantitative bound for paired C3 Good orders
A finite uniform quantitative bound for paired C3 Good orders
Closed
DIRECT PREREQUISITES4
DIRECT CONSEQUENCES0
PROOF DEPTH7
DOCUMENT LINKS0
A finite uniform quantitative bound for paired C3 Good orders
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Complement pairing of residual zero blockstruth-dependency · Closed
- Explicit density of circles without opposite-pair adjacenciestruth-dependency · Closed
- Free rotation counts of original-label orderstruth-dependency · Closed
- Zero total connects circular arcs to actual Good intervalstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Actual circular run contractionstructural-affinity · Closed
- Complement pairing of residual zero blocksstructural-affinity · Closed
- Exact Boolean coverage descent at a private pairstructural-affinity · Closed
- Explicit density of circles without opposite-pair adjacenciesstructural-affinity · Closed
- Free rotation counts of original-label ordersstructural-affinity · Closed
- Original C3 pair events on one circle inventorystructural-affinity · Closed
- Original coordinates, complete zero supports, and finite countingstructural-affinity · Closed
- Original port incidence and directed geometrystructural-affinity · Closed
- Uniform finite paired binomial tailstructural-affinity · Closed
- Zero total connects circular arcs to actual Good intervalsstructural-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