Module check_paths 

2026-09-26: Which changed paths invalidate a gate record.

Owner: bench gate. Invariants:

• When git cannot diff the two commits, invalidating_paths returns None, never an empty list.

Functions

invalidating_paths

2026-09-26: The changed paths that invalidate gate between two commits; empty when the commits are equal.