pub fn remove(store: &dyn RunStore, run_id: &str) -> Result<()>Expand description
Removes the ledger file for run_id under root — ls --remote --prune’s one write (#159).
The id is checked against the ledger’s own grammar (<epoch>-<pid>, so ASCII digits,
letters, -, _) before it becomes a path component. The value comes from a record’s
runId field rather than from the file name, and a record is a file anyone can edit; a
runId of ../names/x must not turn a prune into a deletion elsewhere in the state
directory.