- name: stock-never-negative
  where: "reserve.cjs"
  ensure: >-
    The stock UPDATE must include available >= the requested quantity in its WHERE predicate, so concurrent reservations cannot decrement below zero.