Fixing admitted sendable proofs - #66

Open

mtzguido wants to merge 3 commits into

mainfrom

Commits on Jun 16, 2026

Unify array sendability into a single per-resource weakening instance

mtzguido
and
Copilot
committed
aa913b4
Replace magic() sendables: real whole-array sendability + smatrix instance

mtzguido
and
Copilot
committed
00886eb
Replace SPMM magic() sendables with real proofs

mtzguido
and
Copilot
committed
939bfd7