Arith / CONCEPT
Conditional capacity after six original rows
This is a proved prerequisite for the 252-row obstruction. It does not certify the seventh-row capacity factor, the 96 numerical deficits, a positive 252-row missed fraction, or the whole Erdos 203 problem.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH4
DOCUMENT LINKS1
Actual six-row conditional capacity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A uniform positive hole bound for the original 252 rowsstructural-affinity · Closed
- Exact original-row restrictionsstructural-affinity · Closed
- One common phase normalizationstructural-affinity · Closed
- Original base lattices and full-period geometrystructural-affinity · Closed
- Sound certificates for original-residue capacitiesstructural-affinity · Closed
- The original 252 modular rowsstructural-affinity · Closed
- The seventh original row and conditional capacitiesstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance