policy-refinement-violation
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A proposal’s expectation broadens may_change beyond what spec.predict() allows, and the refinement check rejects it.
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | txn: RestartUnit | fake: PASS |
What it exercises
No invariant by name.