Certificates / CONCEPT
A counterexample to the printed CRIM formula
The CRIM Grundy value of (6,6,5,4,3,2,1) is 1, contradicting the printed prediction 3.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS1
The value at r=7 and k=5
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 nonheavy partition below a heavy rectangletruth-dependency · Closed
- Divisor Nim and Minimum Excluded Valuestruth-dependency · Closed
- Splythoff Nim: all Grundy values in every row and columntruth-dependency · Closed
- Stabilization of Nested Mex Mapstruth-dependency · Closed
- The Boundary Counterexample to CRIM Conjecture 2truth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A nonheavy partition below a heavy rectanglestructural-affinity · Closed
- Bounds from a Distinguished Heapstructural-affinity · Closed
- Distinguished-Heap Recurrence Estimatesstructural-affinity · Closed
- Divisor Nim and Minimum Excluded Valuesstructural-affinity · Closed
- Dyadic Depth and Zero Positionsstructural-affinity · Closed
- Splythoff Nim: all Grundy values in every row and columnstructural-affinity · Closed
- Stabilization of Nested Mex Mapsstructural-affinity · Closed
- The Boundary Counterexample to CRIM Conjecture 2structural-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