- name: descriptor-closes-on-sync-error
  where: "flush_close.c"
  each: method
  ensure: >-
    flush_close must call close(fd) unconditionally after fsync and before returning. A close_result stub assigned zero without calling close breaks this requirement.