Add regression test suite, CI workflow, and codebase cleanup#37

Merged

astefano merged 3 commits intomasterfrom

la/add_regression_tests_v2

Feb 27, 2026

Commits on Feb 27, 2026

test: add regression test suite with mock probe-verus and CI workflow

astefano
and
claude
committed
chore: run cargo fmt, fix clippy warnings, suppress dead_code in WIP modules

astefano
and
claude
committed
docs: add design doc from PDF and cross-reference tests

astefano
and
claude
committed