Adopt ReqProof: 10 system requirements + Rust dogfood#561

Open

buger wants to merge 2 commits into

mainfrom

feat/proof-rust-dogfood

Commits on May 7, 2026

Bootstrap ReqProof on probe; first Rust dogfood audit

buger
and
claude
committed
Close all Rust dogfood code-signal findings; final audit clean

buger
and
claude
committed