statecraft.
Catalog/rahi

014-ledger-sealing-and-archive

Ledger sealing: a resident hot window, immutable segments archived to object storage

Lifecycle approvedImplementation completeVerification unknownQualification unknown

hiqlite replicates the whole database to every node, so an unbounded audit history cannot live in it; the head and a hot window do. When the window exceeds its bound the oldest contiguous run is sealed into an immutable segment (first id, last id, count, segment hash, previous segment hash), written to an object store behind a trait with an S3 implementation, and deleted from the hot table. Segments link to their predecessor and the head links to the last segment, so the chain verifies end to end without archived history resident. Archive is never conflated with backup. Carries enrahitu://032 §3.7 and §3.9.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-ledger/src/seal.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-ledger/src/segment.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-ledger/src/archive.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/rahi-ledger/tests/seal.rs"
}
  • extends
    {
  "nature": "additive",
  "spec": "013-ledger-decision-chain",
  "unit": {
    "kind": "file",
    "path": "crates/rahi-ledger/src/lib.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "013-ledger-decision-chain",
  "unit": {
    "kind": "file",
    "path": "crates/rahi-ledger/src/chain.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "013-ledger-decision-chain",
  "unit": {
    "kind": "file",
    "path": "crates/rahi-ledger/Cargo.toml"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "010-workspace-and-core-types",
  "unit": {
    "anchor": "workspace.dependencies",
    "file": "Cargo.toml",
    "kind": "section"
  }
}

Source headings

  1. 014: Ledger sealing and archive
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 4. Functional requirements
  6. 5. Acceptance criteria
  7. 6. Out of scope
  8. 7. Resolved decisions
  9. Verification

Frozen anchors

No frozen anchors declared.