[WIP][Spec] DSpark compact-verify on DSA backends + sync-free verify-all - #31422

Draft

hnyls2002 wants to merge 11 commits into

mainfrom

lsyin/dspark-compact-dsa-syncfree

Commits on Jul 16, 2026

dspark: compact-verify capture/replay on non-ragged attention backends
hnyls2002
committed
246c2e6
dspark: register DSparkDraftModel entry class
hnyls2002
committed
164cc29
clamp compact to verify-all on fixed-width graphs; fix warning
hnyls2002
committed
6b01e47

Commits on Jul 17, 2026

dsa: support ragged verify graphs
hnyls2002
committed
4b8c475
dspark: stack draft kv-write projections; fold inject into draft graph prologue
hnyls2002
committed
078735d
dspark: fold sampling accept into verify graph
hnyls2002
committed
9a5b562
dspark: fold non-greedy draft sampling into draft graph
hnyls2002
committed
b927e6a
dspark: fuse ragged replay metadata; batch inject staging
hnyls2002
committed
bbe189a
dsa metadata kernel: skip page-table columns past kv length
hnyls2002
committed
ec02514
dspark dense draft: fold shared-embedding lookup into draft graph
hnyls2002
committed
37e2387
dsa: record ragged verify prep inside the target-verify graph
hnyls2002
committed
d8af8ff