- name: reservation-checks-locked-stock
  where: "inventory.h"
  ensure: >-
    reserve must reject quantity greater than available while holding the mutex, before decrementing stock.

- name: reply-has-deferred-deletion
  where: "download.cpp"
  ensure: >-
    startDownload must connect the reply finished signal to deleteLater so completed replies are not retained indefinitely.