W2 (KERNEL-SSM-MAMBA): the Mamba2 SSD CUDA arm — 9/9 mutations caught against the corrected bound (#496) - #675

Merged

localai-bot merged 22 commits into

mainfrom

row/KERNEL-SSM-MAMBA-SSD-W2-LAND

Aug 13, 2026

Commits on Aug 12, 2026

test(KERNEL-SSM-MAMBA): RED -- the CUDA arm of the three Mamba2 SSD ops (#496)
mudler
committed
60964fa
recover(KERNEL-SSM-MAMBA): the W2 CUDA arm, rescued byte-exact from the gate host after a worktree loss (#496)
mudler
committed
fcdb7d8

Commits on Aug 13, 2026

merge: origin/main into row/KERNEL-SSM-MAMBA-SSD-W2-FINISH (#496)
mudler
committed
fe06959
WIP spec(KERNEL-SSM-MAMBA): re-author $8.3 equivalence contract, close $8.2 decode SUBCASE (#496)
mudler
committed
f9915f8
WIP spec(KERNEL-SSM-MAMBA): update $8 Now for the W2 state (#496)
mudler
committed
08b6e0b
WIP spec(KERNEL-SSM-MAMBA): record the W2 evidence -- 9/9 mutations caught, sanitizer clean, Debug arm green (#496)
mudler
committed
f1929de
spec(KERNEL-SSM-MAMBA): record the full-ctest result and the one unattributed failure (#496)
mudler
committed
62a4bad
spec(KERNEL-SSM-MAMBA): the ctest ran under undetected GPU contention -- a second job locks /tmp/gpu.lock (#496)
mudler
committed
23bc605
spec(KERNEL-SSM-MAMBA): the Windows CI reds are the main baseline; the attribution re-run is REMOTE_UNVERIFIED (#496)
mudler
committed
1e81914
merge: origin/main into the W2 tightening branch
mudler
committed
f800e78
fix(KERNEL-SSM-MAMBA): the derived bound omitted nvcc FMA contraction, and the memory-safety claim outran the kernels (#496)
mudler
committed
05898dc
record(KERNEL-SSM-MAMBA): the CPU-lane full gate for the W2 tightening pass (#496)
mudler
committed
f3c943b
record(KERNEL-SSM-MAMBA): §8.4's audit percentages are against the OLD bound (#496)
mudler
committed
d12f9c8
docs(KERNEL-SSM-MAMBA): the new device case's own comment under-counted the gap it does not cover (#496)
mudler
committed
f5c589f
spec(KERNEL-SSM-MAMBA): test_minimax_h3 ATTRIBUTED -- it is #486/#516, reproduced standalone on an idle box (#496)
mudler
committed
0c6dd44
spec(KERNEL-SSM-MAMBA): all ten ctest failures reproduce STANDALONE -- deterministic, not starved (#496)
mudler
committed
da09279
spec(KERNEL-SSM-MAMBA): the gate-host evidence logs kept at ~/w2ssd-evidence; 32G build tree reclaimed (#496)
mudler
committed
6a418e0
record(KERNEL-SSM-MAMBA): the CUDA arm COMPILES under real nvcc -- operator-run on dgx, not CI (#496)
mudler
committed
a88bab2
merge: the W2-FINISH evidence commits into the tightening branch (#496)
mudler
committed
72dc6b4
merge: origin/main into the W2 landing branch (#496)
mudler
committed
497cc63
record(KERNEL-SSM-MAMBA): all four owed W2 gates discharged by measurement (#496)
mudler
committed
5b83a69
merge: origin/main into the W2 landing branch, second pass (#496)
mudler
committed
ac7b1fc

Navigation Menu

W2 (KERNEL-SSM-MAMBA): the Mamba2 SSD CUDA arm — 9/9 mutations caught against the corrected bound (#496) - #675

W2 (KERNEL-SSM-MAMBA): the Mamba2 SSD CUDA arm — 9/9 mutations caught against the corrected bound (#496)#675
localai-bot merged 22 commits into
mainfrom
row/KERNEL-SSM-MAMBA-SSD-W2-LAND

Commits on Aug 12, 2026

test(KERNEL-SSM-MAMBA): RED -- the CUDA arm of the three Mamba2 SSD ops (#496)

recover(KERNEL-SSM-MAMBA): the W2 CUDA arm, rescued byte-exact from the gate host after a worktree loss (#496)

Commits on Aug 13, 2026

merge: origin/main into row/KERNEL-SSM-MAMBA-SSD-W2-FINISH (#496)

WIP spec(KERNEL-SSM-MAMBA): re-author $8.3 equivalence contract, close $8.2 decode SUBCASE (#496)

WIP spec(KERNEL-SSM-MAMBA): update $8 Now for the W2 state (#496)

WIP spec(KERNEL-SSM-MAMBA): record the W2 evidence -- 9/9 mutations caught, sanitizer clean, Debug arm green (#496)

spec(KERNEL-SSM-MAMBA): record the full-ctest result and the one unattributed failure (#496)

spec(KERNEL-SSM-MAMBA): the ctest ran under undetected GPU contention -- a second job locks /tmp/gpu.lock (#496)

spec(KERNEL-SSM-MAMBA): the Windows CI reds are the main baseline; the attribution re-run is REMOTE_UNVERIFIED (#496)

merge: origin/main into the W2 tightening branch

fix(KERNEL-SSM-MAMBA): the derived bound omitted nvcc FMA contraction, and the memory-safety claim outran the kernels (#496)

record(KERNEL-SSM-MAMBA): the CPU-lane full gate for the W2 tightening pass (#496)

record(KERNEL-SSM-MAMBA): §8.4's audit percentages are against the OLD bound (#496)

docs(KERNEL-SSM-MAMBA): the new device case's own comment under-counted the gap it does not cover (#496)

spec(KERNEL-SSM-MAMBA): test_minimax_h3 ATTRIBUTED -- it is #486/#516, reproduced standalone on an idle box (#496)

spec(KERNEL-SSM-MAMBA): all ten ctest failures reproduce STANDALONE -- deterministic, not starved (#496)

spec(KERNEL-SSM-MAMBA): the gate-host evidence logs kept at ~/w2ssd-evidence; 32G build tree reclaimed (#496)

record(KERNEL-SSM-MAMBA): the CUDA arm COMPILES under real nvcc -- operator-run on dgx, not CI (#496)

merge: the W2-FINISH evidence commits into the tightening branch (#496)

merge: origin/main into the W2 landing branch (#496)

record(KERNEL-SSM-MAMBA): all four owed W2 gates discharged by measurement (#496)

merge: origin/main into the W2 landing branch, second pass (#496)