- name: partial-writes-advance-by-count
  where: "write_all.c"
  ensure: >-
    After a successful write, offset must advance by the number of bytes actually written, not assume the full buffer was accepted.