X-7 · Accepted
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
Backends report success falsely; systemd or the kernel misbehave (P1, P6, P8)
| Breaks | Status | Mitigation | Closes in |
|---|---|---|---|
| Correct | Accepted | Re-observation and probes after every call; replaced in D and E | D, E |
The guarantees it narrows
Every invariant.