Arith / CONCEPT
Original Robin interval transfer
Original Robin margins transfer across actual optimizer intervals; all-price endpoint estimates remain explicit.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES0
PROOF DEPTH9
DOCUMENT LINKS0
Transfer between actual same-price optimizers
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 global bracketingstructural-affinity · Closed
- Actual optimizers and two-price defectsstructural-affinity · Closed
- Exact Exponent Box Chain Reductionstructural-affinity · Closed
- Original endpoint prime tailsstructural-affinity · Closed
- Original Witness Confinementstructural-affinity · Closed
- Prime Structure of Actual Price Recordsstructural-affinity · Closed
- Prime-Power Envelope of Actual Price Recordsstructural-affinity · Closed
- Robin's Inequality for Integers with at Most Eight Distinct Primesstructural-affinity · Closed
- Strict Robin in the Bounded-Support 5040 Branchstructural-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