Formal-Verification-RSI tested by Argusic Runner

What the test found

160 hermetic Python tests pass (170 skipped for missing Lean/Dafny toolchains); pip install completes; all modules import; 4 previously-failing snapshot-integrity tests fixed and passing.

Lean 4.23.0-rc2 and Dafny 4.11 not available in container; 170 tests skipped for that reason. All 160 hermetic Python tests pass.

Argusic installed Formal-Verification-RSI in 0.5 minutes and launched it; verification reached Verified with mock services. 1 of 1 recorded error was worked through (see the timeline below).

Runs with mocksall runs of Formal-Verification-RSI

This summary is drawn from the agent's recorded report for this run. Every figure traces to the log and recording above; nothing here is authored.