dry-activate-truncated
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
The dry activation of a display-scale change emits more output than is read (truncated). Its plan is unknown, never smaller: the build fails, nothing is activated, and the running generation stays (rule 21, R10).
| Harness | Scoring | Expects | Latest verdict |
|---|---|---|---|
| fake | must-pass | generation: base; txn: ApplyChange | fake: PASS |
What it exercises
No invariant by name.