Digit / CONCEPT
Arithmetic Inputs in the Base Language
Canonical dense Zeckendorf words execute in the binary base for every natural number.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES7
PROOF DEPTH7
DOCUMENT LINKS1
All canonical MSD inputs execute successfully
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Bounded complete residual representativestruth-dependency · Closed
- Effective short positive probestruth-dependency · Closed
- Independent original padded input encodertruth-dependency · Closed
- Multiplication on Infinite Legal Digit Streamstruth-dependency · Closed
- Short Common Canonical Fibonacci Probestruth-dependency · Closed
- The exact palindromic length of every Frid prefixtruth-dependency · Closed
- The literal zero-digit rule for every Fibonacci palindrometruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A complete box for signed Fibonacci carriesstructural-affinity · Closed
- A Twenty-State Finite-Prefix Barrierstructural-affinity · Closed
- Addition on Infinite Legal Digit Streamsstructural-affinity · Closed
- Bounded complete residual representativesstructural-affinity · Closed
- Certified CNF Semantics for DFA Identificationstructural-affinity · Closed
- Effective short positive probesstructural-affinity · Closed
- Golden-Ratio DFAO Minimality Targetsstructural-affinity · Closed
- Independent original padded input encoderstructural-affinity · Closed
- LRAT Certificates for Sparse DFAO State Lower Boundsstructural-affinity · Closed
- LRAT Refutations and Unsatisfiabilitystructural-affinity · Closed
- Multiplication on Infinite Legal Digit Streamsstructural-affinity · Closed
- Published Golden Base-Four Block Sample 79structural-affinity · Closed
- Short Common Canonical Fibonacci Probesstructural-affinity · Closed
- Successor Graphs of Finite Legal Digit Windowsstructural-affinity · Closed
- The Base-Four Golden-Ratio Automata Oraclestructural-affinity · Closed
- The Exact Binary Base Languagestructural-affinity · Closed
- The exact palindromic length of every Frid prefixstructural-affinity · Closed
- The literal zero-digit rule for every Fibonacci palindromestructural-affinity · Closed
- Typed DFAO Identification Coloringsstructural-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