P1 · Platform

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

Backend Outcome is honest: Succeeded means applied; Unknown means the backend cannot say

If it is false

These invariants fall: I3, I12, I25.