Function record_population_restrictions 

pub fn record_population_restrictions(
    state_dir: &Path,
    inert: &[String],
    stopped_after_inconclusive: Option<usize>,
) -> Result<(), String>

Records, beside the ledger, every way a harvest narrowed the population it walked: the merges excluded as inert, and the consecutive-inconclusive run that stopped the walk early.

This exists so a corpus reader can tell a merge that was observed and found clean from one that was never observed, which a ledger of observations alone cannot express. Appends one versioned line per run, so an incremental re-run’s restrictions accumulate rather than overwrite. Writes nothing when a run restricted nothing.

Errors

The state directory cannot be created or the record cannot be appended.