feat: verification pyramid — STPA-Sec tests, formal proof CI, Kani expansion#150

Merged

avrabe merged 6 commits intomainfrom

fix/clear-warnings-v2

Apr 14, 2026

Commits on Apr 14, 2026

fix: clear warnings — REQ-054..059 via rivet batch + category fixes

avrabe
and
claude
committed
feat: verification pyramid — STPA-Sec tests, differential testing, formal proof CI

avrabe
and
claude
committed
test: expand Kani BMC to 27 harnesses covering core public API

avrabe
and
claude
committed
style: cargo fmt

avrabe
and
claude
committed
fix: STPA extraction — suffix-based UCA discovery + nested control-actions

avrabe
and
claude
committed
fix(ci): increase mutation testing timeout for dual-crate coverage

avrabe
and
claude
committed