P1-G9-S4 proof suite
Proof set for Iterate profile (delete a variant — pool memory preserved unless explicit)
proof-p1-g9-s4
via audit
A test is valid when it belongs to suites and those suites reach behaviours.
| Status | Workflow | Commit | Duration | When |
|---|---|---|---|---|
| No recent execution records for this test. | ||||