Bryan Helmkamp 08b7a4fdd9 Record the snapshots the Petri pin and the record positions changed ... The pin to Petri 639ce3e moves the run's format version from 6 to 7, which the attach JSON snapshot records. The other eight snapshots had recorded the run branch and Git identity lines before the Start stage's completion: the order the clock gave them before "Place the run branch and git identity records with their checkpoint" positioned the two records after the firing's finish. That commit refreshed only two files, and these eight already differed the same way at the commit before the pin bump; they now record the one order every run produces. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-09-18 22:17:15 -04:00
..
src	Steer a Petri run by stage	2026-09-18 19:59:23 -04:00
tests	Record the snapshots the Petri pin and the record positions changed	2026-09-18 22:17:15 -04:00
build.rs	refactor: organize crates into three layers	2026-07-23 17:59:34 -04:00
Cargo.toml	Delete fabro-validate and fabro-acp; validate on Petri's check	2026-09-18 11:32:04 -04:00