feat(foundation): Verus verification proofs for StaticVec#137

Merged

avrabe merged 5 commits intomainfrom

feat/verus-static-vec-proofs

Mar 1, 2026

Commits on Feb 20, 2026

refactor: final WRT→Kiln sweep — enum variants, section names, templates, configs

avrabe
and
claude
committed

Commits on Feb 28, 2026

fix(component): correct canon-lowered function dispatch and remove debug traces

avrabe
and
claude
committed

Commits on Mar 1, 2026

feat(foundation): add Verus verification proofs for StaticVec

avrabe
and
claude
committed
docs: align terminology with WebAssembly ecosystem standards

avrabe
and
claude
committed
feat(verus): verified StaticVec proofs pass via Bazel — 13 verified, 0 errors

avrabe
and
claude
committed