- name: reservation-tx-handle
  where: "orders/reserve.go"
  ensure: >-
    The inventory UPDATE and order INSERT must both use tx.ExecContext inside the same transaction, never db.ExecContext for the order write.

- name: queue-acceptance-truthful
  where: "orders/queue.go"
  ensure: >-
    If the job cannot be enqueued and the select default branch runs, QueueReceipt must return an overload failure, not a 202 queued response.