X-5 · Accepted
planarian @ a924e09 · Spec v4.6 · snapshot main · all versions
A malicious unit that works correctly and passes its probes
| Breaks | Status | Mitigation | Closes in |
|---|---|---|---|
| Correct | Accepted | Nothing; the malicious-declaration entries score whether its origin is reported | — |
The guarantees it narrows
I4.