Observer / CONCEPT
The Actual Boolean Obstruction and Original Upper Contract
One actual Boolean addition family defeats every subcritical exponent alongside the complete original upper bound.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS1
Exact integer scaling of the attained rational dual
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Actual Same-Task Cut Boundsstructural-affinity · Closed
- Attained Row-Image Certificatesstructural-affinity · Closed
- Deterministic Entropy Stepstructural-affinity · Closed
- Deterministic Output Entropy Ratestructural-affinity · Closed
- Equality and Strict Loss under Deterministic Forgettingstructural-affinity · Closed
- Hidden Arithmetic Weightstructural-affinity · Closed
- Information Loss under a Finite Free Group Quotientstructural-affinity · Closed
- Labelled Responses and Completion Geometrystructural-affinity · Closed
- Quotient-Fiber Entropy Decompositionstructural-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