Feat/wasm verifier e2e#235

Draft

0xGeorgii wants to merge 5 commits into

mainfrom

feat/wasm-verifier-e2e

Commits on Jun 26, 2026

feat(wasm-to-v): emit post-#21 WasmVerifier contract + e2e fixture

0xGeorgii
and
claude
committed
feat(wasm-codegen): lower spec `@` (uzumaki) to a function parameter

0xGeorgii
and
claude
committed

Commits on Jun 28, 2026

add quantifier blocks
0xGeorgii
committed

Commits on Jun 29, 2026

more tests
0xGeorgii
committed

Commits on Jul 13, 2026

feat(wasm-to-v): emit assertion-valued _specs lists (wasm-verifier issue #6)

0xGeorgii
and
claude
committed