- name: search-generation-current
  where: "lib/order_search.dart"
  ensure: >-
    In load, both the successful response and the caught-error path return before setState when requestGeneration differs from generation. Each completion path checks requestGeneration != generation together with !mounted. Checking only mounted permits an older request to overwrite the current state.

- name: screen-disposes-owned-work
  where: "lib/order_feed.dart"
  ensure: >-
    dispose must cancel both the stream subscription and periodic timer before calling super.dispose.