Faster implementation raises the value of explicit intent. Not more prose. Structured intent: what must change, what must stay, what must disappear, and what evidence would prove each claim.
You do not need executable specifications on every story. You need criteria a second person — or a second agent — can use to refuse the diff. Sewell and Pichon-Pharabod (Escaping the Quicksand) put the same pressure in research language: prose plus test-and-debug was always a weak loop; AI speeds the coding side, so the weakness shows sooner. Their destination is partial specs that can fail an implementation. Borrow the pressure. Leave the formal programme.
Write the smallest ticket that would let someone else implement this without asking you what 'done' means. O'Reilly's 2026 note on specs for coding agents calls that middle structured acceptance criteria — not a blank prompt and not a forty-page formal document.
Proof sits beside the criterion
If you cannot name the evidence — a test, a screenshot, a query, a log line, a missing file — the criterion is still a draft. An agent will invent the proof. So will a tired reviewer at 6pm.

