Write acceptance criteria and a proof plan for a cnos issue — invariant, oracle, positive/negative cases, surface, and known gaps.
