pub fn record(scripts: &[&str])Expand description
pre-commit: record that scripts ran clean against the tree the commit
will carry.
Called on EVERY pre-commit verdict, with an empty list when nothing qualifying ran (or the commit is about to be blocked) — an aborted or unchecked attempt must not inherit a previous attempt’s marker.
Best-effort throughout: a failure to record costs one redundant gate run at push time, which is the safe direction, and a pre-commit that failed a COMMIT over bookkeeping would be the tail wagging the dog.