Struct ProvenanceLedger 

pub struct ProvenanceLedger { /* private fields */ }

Implementations

impl ProvenanceLedger

pub fn new(path: impl Into<PathBuf>) -> Self

pub fn append(&self, entry: &ProvenanceEntry) -> Result<()>

Append one entry as a single JSON line. Atomic via flock. Creates the parent directory if missing.

Note on the open mode: we deliberately use write(true) + explicit seek(SeekFrom::End(0)) rather than append(true). On Windows, append(true) requests FILE_APPEND_DATA only, which is not sufficient for LockFileEx (used internally by fs2::FileExt::lock_exclusive) — Windows demands GENERIC_WRITE access, otherwise the lock call fails with ERROR_ACCESS_DENIED. Manual seek-to-end gives us append semantics on every platform while keeping the flock contract intact.

pub fn read_turn(&self, turn: u64) -> Result<Vec<ProvenanceEntry>>

Read every entry whose turn_id == turn. Malformed lines are silently skipped (logged at warn level). Returns Ok(empty) when the file does not exist.