Words / CONCEPT
The seventeen literal arrays store all 829 endpoint moves for six-bit chunks
The seventeen literal arrays store all 829 endpoint moves for six-bit chunks
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
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
RELATED KNOWLEDGE
Structural connections
- A paired-digit endpoint automatonstructural-affinity · Closed
- A product potential bounds every accepted paired chunk wordstructural-affinity · Closed
- An explicit upper bound for Frid prefixesstructural-affinity · Closed
- Closure and potential tests for paired finite-state runsstructural-affinity · Closed
- Compressed co-accessibility and product potentialsstructural-affinity · Closed
- Integral ranks accumulated on finite chunk runsstructural-affinity · Closed
- Palindromic factorisations bound integral potentialsstructural-affinity · Closed
- Regroup endpoint paths into six-bit chunksstructural-affinity · Closed
- The literal deterministic rank table has width 6, initial state 0, and 99 rowsstructural-affinity · Closed
- The literal reachable product-state table is grouped by endpoint state q and first rank state pstructural-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