Repository navigation

Rule out four-read retiming after removing helper 584 - #3594

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

RossRichardson:research/direct584-commuting-retiming-cover

Oct 20, 2026

Merged

Rule out four-read retiming after removing helper 584#3594
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
RossRichardson:research/direct584-commuting-retiming-cover

Commits on Oct 18, 2026
- Prove direct584 commuting-retiming obstruction
  ross
  committed
  7434752
- Record exact publication and Git-free validation
  ross
  committed
  e3dc9c1