Repository navigation

Connect current CRT numerical offsets to the physical Beneš row query - #5496

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

JoyboyBrian:brian/r16-crt-current-row-query

Oct 25, 2026

Merged

Connect current CRT numerical offsets to the physical Beneš row query#5496
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r16-crt-current-row-query

Commits on Oct 25, 2026
- Prove actual CRT offset to physical current-row query composition
  JoyboyBrian
  committed
  0d8af3e
- Validate physical row semantics, ownership controls, and bounded replay closure
  JoyboyBrian
  committed
  a99afd7