Repository navigation

[Feat] gdn: run DFLASH and DSPARK verify on the ReplaySSM spec ring - #2

Open

jianc99 wants to merge 7 commits into

av/replayssm-dflash

Open

[Feat] gdn: run DFLASH and DSPARK verify on the ReplaySSM spec ring#2
jianc99 wants to merge 7 commits into
av/basefrom
av/replayssm-dflash

Commits on Oct 22, 2026
- [Fix] gdn: check the ReplaySSM ring length and advance cursors by state slot
  Jian Chen
  committed
  924ecb4
- [Fix] gdn: refuse compact verify on GDN targets
  Jian Chen
  committed
  895e7cd
- [Fix] gdn: keep rejected drafts out of ReplaySSM spec outputs and state
  Jian Chen
  committed
  9bd3eb7
- [Feat] gdn: commit ReplaySSM spec state for DFLASH and DSPARK
  Jian Chen
  committed
  b44f1e3
- [Perf] gdn: skip the ReplaySSM verify history replay for rows without history
  Jian Chen
  committed
  7d0601f
- [Fix] gdn: keep the fused multiply-adds in the ReplaySSM spec verify selects
  Jian Chen
  committed
  0d3649d
- [Fix] test: key the GDN compact verify refusal test on supports_ragged_verify
  Jian Chen
  committed
  bf3c6b7