Geometry / CONCEPT
The shared mixed-coordinate comparison
The exact six-variable formula, mixed-coordinate monotonicity and a shared-center inverse-angle application.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES11
PROOF DEPTH0
DOCUMENT LINKS0
Increasing neighbours and decreasing the opposite coordinate
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- A local flat mismatch certificatetruth-dependency · Closed
- Critical opposite floors and a mixed six-valent startruth-dependency · Closed
- Exact nonlinear flat criteriontruth-dependency · Closed
- From local angle envelopes to all global curvature facestruth-dependency · Closed
- Independent opposite-edge endpoint barriertruth-dependency · Closed
- Mixed matching raw cosine reductiontruth-dependency · Closed
- One shared body from the actual length Gram matrixtruth-dependency · Closed
- Paired local angle demand and flat transverse gapstruth-dependency · Closed
- The transverse half-difference retains its signtruth-dependency · Closed
- The transverse half-sum has an exact responsetruth-dependency · Closed
- Uniform two-layer endpoint boundstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A local flat mismatch certificatestructural-affinity · Closed
- Critical opposite floors and a mixed six-valent starstructural-affinity · Closed
- Exact nonlinear flat criterionstructural-affinity · Closed
- From local angle envelopes to all global curvature facesstructural-affinity · Closed
- Hyperbolic completenessstructural-affinity · Closed
- Hyperbolic upper half-space metricstructural-affinity · Closed
- Independent opposite-edge endpoint barrierstructural-affinity · Closed
- Mixed matching raw cosine reductionstructural-affinity · Closed
- One shared body from the actual length Gram matrixstructural-affinity · Closed
- Paired local angle demand and flat transverse gapsstructural-affinity · Closed
- The transverse half-difference retains its signstructural-affinity · Closed
- The transverse half-sum has an exact responsestructural-affinity · Closed
- Uniform two-layer endpoint boundsstructural-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