- name: eval-all-stock-lines
  where: "review-evaluation/order_service.py"
  ensure: >-
    Read can_fulfil only. It returns true only when every requested item has sufficient stock; a shortage on any line returns false, including when an earlier line has enough stock.

- name: eval-malformed-order-errors
  where: "review-evaluation/order_service.py"
  ensure: >-
    Read load_order only. Missing files and malformed JSON propagate an exception to the caller instead of being converted into an empty order.

- name: eval-adjacent-expirations
  where: "review-evaluation/order_service.py"
  ensure: >-
    Read release_expired only. It releases every expired reservation, including adjacent expired entries, removes those entries, and leaves unexpired reservations intact.

- name: eval-complete-subtotal
  where: "review-evaluation/order_service.py"
  ensure: >-
    Read subtotal only. It includes price times quantity for every cart line, including the last line, and returns Decimal zero for an empty cart.