core 2.15.3
- Spec authors can keep the contract and the plan independently sharp. An acceptance criterion now states one checkable obligation, and a plan's tests name the verification mechanism an implementer cannot infer instead of repeating the criterion.
- A plan now tests its riskiest assumption before anyone reviews it. One cheap throwaway check can reshape the approach before reviewers spend rounds arguing about work nobody has started.