- name: http-response-resource-release
  where: "src/main/scala/ReadOrder.scala"
  ensure: >-
    read must consume the response through Resource.use, or otherwise guarantee its release after success, failure, and cancellation. Ignoring the release returned by allocated breaks this requirement.

- 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.