model-lineage-recovery
13 sto reproduce the whole study
The implementation behind the paper. A typed lineage DAG, a blast-radius query, and a recovery planner that classifies every affected model by whether a clean, signed ancestor is reachable. About 1,500 lines, and a checker validates every number in the paper against the published results.