Digit / CONCEPT
Termination of Zeckendorf Successor Carries
Zeckendorf successor carry chains terminate within the highest occupied index.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH4
DOCUMENT LINKS1
Successor carries terminate before passing the highest index
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
- Alternating Successor Folds and Shortest Carry Pathsstructural-affinity · Closed
- Canonical Two-Sided Base-Phi Expansionstructural-affinity · Closed
- Carry Chains from a Run of Consecutive Indicesstructural-affinity · Closed
- Confluence of Raw Zeckendorf Carriesstructural-affinity · Closed
- Digit: Additionstructural-affinity · Closed
- Digit: Normalizestructural-affinity · Closed
- Least Action and Weighted Greedy Zeckendorf Split Phasesstructural-affinity · Closed
- Local Carry Rulesstructural-affinity · Closed
- Ordered Attainmentstructural-affinity · Closed
- Ordered Zeckendorf Paths and the Inversion Potentialstructural-affinity · Closed
- Raw Greedy Optimality for the Ordered Zeckendorf Gamestructural-affinity · Closed
- The Ordered Zeckendorf Long Game Strategystructural-affinity · Closed
- Words: Base Phi Carry Transducerstructural-affinity · Closed
- Words: Base Phi Negative Bridgestructural-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