Device verification: close the last open items, and catch a shipped Krylov regression - #644

Merged

gstoner merged 9 commits into

mainfrom

fix/device-verification-and-deferred-p1

Aug 30, 2026

Commits on Aug 30, 2026

fix: sm_120 scheduled matmul emits a kernel name the runtime can dispatch

gstoner
and
claude
committed
26a05c6
test: NVIDIA device gate repairs its own PATH and shouts when a GPU is hidden

gstoner
and
claude
committed
9210658
perf: choose the Krylov matvec per solver from measurement, not from the access pattern

gstoner
and
claude
committed
d134caf
docs: regenerate dashboards for the device-verification batch

gstoner
and
claude
committed
e1d02f9
fix: close the last two deferred P1s (Adafactor bias correction, rank-4 dropout stream)

gstoner
and
claude
committed
315565a
test: assert the canonical k-loop contract, not one producer's spelling

gstoner
and
claude
committed
a176336
docs: record the device verification, including a regression it caught

gstoner
and
claude
committed
cf91041
test: commit the rank-4 dropout stream fixture

gstoner
and
claude
committed
e9c13f7
fix: address the four PR #644 review findings

gstoner
and
claude
committed
c2a214d