That’s exactly it - without the Check field, “done” means whatever the agent decides it means. On the [A] layer: I don’t rely on reading order. Agent Review is the real enforcement - if the agent can explain the invariants before coding, it processed what matters.