Quantum / CONCEPT
Terminal inequalities require the earned original contractions
Faithful transport from checked terminal witnesses to original centered-score inequalities.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH8
DOCUMENT LINKS0
One checked triangle terminal bounds its original centered score
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
- Actual singleton structural row interval 0 to 1024structural-affinity · Closed
- Actual singleton structural row interval 1024 to 2048structural-affinity · Closed
- Actual singleton structural row interval 2048 to 3072structural-affinity · Closed
- Actual singleton structural row interval 3072 to 4096structural-affinity · Closed
- Exact original scores, structural checks and all numerical premises meetstructural-affinity · Closed
- Literal terminal events, transport witnesses and scaled inequalitiesstructural-affinity · Closed
- Original head sums at every stored tail representativestructural-affinity · Closed
- Stored contraction proposals require the original-function equality receiptsstructural-affinity · Closed
- The original complete row remains the object of every terminal checkstructural-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