- name: shared-stock-availability
  where: "lua/reserve.lua"
  ensure: >-
    Inside the acquired inventory lock, reserve must reject available < quantity before changing the shared dictionary.

- name: timer-admission-must-succeed
  where: "lua/queue_receipt.lua"
  ensure: >-
    enqueue must handle ngx.timer.at failure with a service-unavailable response before reporting accepted.