- name: failed-stock-check-prevents-insert
  where: "src/main/scala/Reserve.scala"
  ensure: >-
    The order INSERT must run only if the inventory UPDATE affected one row. A zero-row reservation must raise an error before insertion.