Struct HostDirJournalBackend 

pub struct HostDirJournalBackend { /* private fields */ }

Crash-durable journal composition over the canonical host-backed Table/Dir port.

V1 storage is a read-only compatibility prefix. The first v2 lease verifies that prefix and atomically selects its descriptor, a higher fence, and a fresh namespace. Every later append publishes immutable content-addressed leaves before comparing the complete state envelope.

Implementations

impl HostDirJournalBackend

pub fn open( port: Arc<dyn HostDirPort>, capabilities: BackendCapabilities, work_bound: usize, ) -> Result<Self, JournalError>

Opens a binding and verifies the complete committed closure.

pub fn with_failpoint_hook( self, hook: impl Fn(Failpoint) -> bool + Send + Sync + 'static, ) -> Self

Installs a deterministic crash hook for conformance models.

pub fn capabilities(&self) -> BackendCapabilities

Reports the capability evidence used to admit or refuse writes.

pub fn state_envelope( &self, ) -> Result<Option<NativeStateEnvelope>, JournalError>

Returns the selected v2 state envelope, if migration has occurred.

Trait Implementations

impl JournalBackend for HostDirJournalBackend

fn acquire_lease(&self) -> Result<Lease, JournalError>

fn read_state(&self) -> Result<StoredState, JournalError>

fn admit(&self, admission: Admission) -> Result<JournalHead, JournalError>

fn put_datum( &self, object: JournalObject, ) -> Result<StoredDatumRef, JournalError>

Durably publishes one immutable semantic object without making it a journal retention root.

fn get_datum(&self, meaning: &ContentId) -> Result<Datum, JournalError>

Resolves one semantic object by meaning, returning an owned Datum.

fn rebuild_datum_index(&self) -> Result<Vec<StoredDatumRef>, JournalError>

Rebuilds and verifies the derived semantic-to-storage correspondence.