-- Locking --
  ok  imports allowed in data_entry
  ok  data_entry role advances entry → review
  ok  import blocked once submitted
-- Role gates --
  ok  data_entry role cannot approve review
  ok  viewer cannot approve
  ok  exams_officer: review → committee
  ok  exams_officer cannot approve committee phase
-- Return path --
  ok  return requires a note
  ok  committee returns sheet to data entry
  ok  import allowed again after return
-- Second round gating --
  ok  second round blocked before main published
  ok  full chain reaches published
  ok  cannot advance past published
  ok  published cannot be returned
-- Decisions from stored data --
  ok  S001 main → supplementary
  ok  S001 GPA 1.875
  ok  S002 main → pass
  ok  second-round sheet shows C*
  ok  S001 final → pass after clearing
-- F@ auto strike + disciplinary --
  ok  F@ import auto-issues one cheating warning
  ok  re-import does not duplicate the strike
  ok  second lifetime F@ → فصل تأديبي
-- Aged carry check via year index --
  ok  year index math
  ok  S002 fresh open F, no second sat → pass with carry

24 passed, 0 failed