Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

X-5 · Accepted

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

A malicious unit that works correctly and passes its probes

BreaksStatusMitigationCloses in
CorrectAcceptedNothing; the malicious-declaration entries score whether its origin is reported—

The guarantees it narrows

I4.