revert-to-older-sets-no-floor
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
gym-newlib 1.0 is added, then a release makes it 2.0, which carries knownVulnerabilities. Undoing back to the 1.0 generation is a Revert to an older generation that merely lacks the newer package: it sets no security floor (§12e).
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | security_floor: none; txn: Committed Revert | fake: PASS |