History / CONCEPT
History Carrier
Finite marker and event histories preserve the source append direction and low-level encoding.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES7
PROOF DEPTH0
DOCUMENT LINKS1
Splice is associative with the empty history as two-sided unit
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
- Append-Only Cancellation Ledgerstruth-dependency · Closed
- Event History Inductiontruth-dependency · Closed
- Event Orbit Datatruth-dependency · Closed
- Finite Certificate Depthtruth-dependency · Closed
- Intertranslation of Event Godel Codestruth-dependency · Closed
- Marker History Searchtruth-dependency · Closed
- Splice Equationstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Append-Only Cancellation Ledgersstructural-affinity · Closed
- Event History Inductionstructural-affinity · Closed
- Event Orbit Datastructural-affinity · Closed
- Finite Certificate Depthstructural-affinity · Closed
- Finite Counterexample Certificatesstructural-affinity · Closed
- Intertranslation of Event Godel Codesstructural-affinity · Closed
- Marker History Searchstructural-affinity · Closed
- Prime-Power Codes for Finite Sequencesstructural-affinity · Closed
- Splice Equationsstructural-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