Arith / CONCEPT
Actual Sources and Bottom Sibling Blocks
Actual Fibonacci prefixes and globally attached words define the target; common-depth fullness, raw-gcd future residue fidelity, and an actual bounded-word nonconverse are proved here. The companion resolution module proves the full target.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES1
PROOF DEPTH10
DOCUMENT LINKS1
One returned actual row contains every residue at a shared depth
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- Constructive Zeckendorf Future Equivalencetruth-dependency · Closed
- Literal Windows and Positive Endtruth-dependency · Closed
- Passive Adaptive Transcript Upper Boundtruth-dependency · Closed
- Prime Budget Readout Dichotomytruth-dependency · Closed
- Successor Graphs of Finite Legal Digit Windowstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Actual Bottom Sibling Resolutionstructural-affinity · Closed
- An online common-original arithmetic archivestructural-affinity · Closed
- Balanced Phases and Missing Residuesstructural-affinity · Closed
- Constructive Zeckendorf Future Equivalencestructural-affinity · Closed
- Hyperfiniteness of Golden Rotation and Asynchronous Mergingstructural-affinity · Closed
- Literal Windows and Positive Endstructural-affinity · Closed
- Passive Adaptive Transcript Upper Boundstructural-affinity · Closed
- Prime Budget Readout Dichotomystructural-affinity · Closed
- Short Common Canonical Fibonacci Probesstructural-affinity · Closed
- Successor Graphs of Finite Legal Digit Windowsstructural-affinity · Closed
- The Cylinder Partition of Legal Digit Windowsstructural-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