Skip to main content

list_ids

Function list_ids 

Source
pub fn list_ids() -> Vec<String>
Expand description

Every run id on disk, newest first.

A directory is a run because of its name, not because it holds a readable run.json. A run whose very first save lost the machine’s last free bytes leaves <id>/run.json.tmp and nothing else, and filtering on run.json made that run invisible everywhere: not in magi list, not in runs_unreadable, not on the phone, so nothing could report it and no route could clear it. 88c0 sat like that for two days. Unreadable is counted, never hidden - the readers already say why each one cannot be read, and fold_unreadable is how a record like this leaves.