pub fn record_all(dir: &Path, claims: &[Claim]) -> Result<(), String>
Lines added to the ledger together and flushed once before this returns (a step’s decisions: one flush, not one each); nothing for none.