Repository navigation
Affected-set Step 3: module-grain frontier equivalence receipts - #6274
Merged
Merged
Commits
Commits on Jul 5, 2026
- committed
- committed
- committed
- committed
- committed
Fix Step 3 receipt: derive touched paths via floor_diff_edits_from_diff_text, not raw git-show paths
committed- committed
- committed
- andcommitted
- committed
- committed
- committed
- committed
- committed
- committed