-- Scale boundaries (normal) --
  ok  normal 90 → A+
  ok  normal 89 → A
  ok  normal 80 → A
  ok  normal 79 → B+
  ok  normal 70 → B+
  ok  normal 69 → B
  ok  normal 60 → B
  ok  normal 59 → C+
  ok  normal 55 → C+
  ok  normal 54 → C
  ok  normal 50 → C
  ok  normal 49 → F
  ok  normal 0 → F
  ok  normal 100 → A+
-- Scale boundaries (aviation) --
  ok  aviation 95 → A+
  ok  aviation 94 → A
  ok  aviation 89 → A
  ok  aviation 88 → B+
  ok  aviation 84 → B+
  ok  aviation 83 → B
  ok  aviation 77 → B
  ok  aviation 76 → C+
  ok  aviation 74 → C+
  ok  aviation 73 → C
  ok  aviation 70 → C
  ok  aviation 69 → F
-- GPA mechanics --
  ok  plain weighted GPA
  ok  I excluded both sides
  ok  Ab drags divisor
  ok  Ab* drags divisor
  ok  C* = 2.00 fixed
  ok  aviation scale applied per course
-- First-round ladder order --
  ok  strike 2 → disciplinary, overrides pass GPA
  ok  two F@ same semester → disciplinary
  ok  single F@ = normal F path
  ok  all Ab → absence expel
  ok  Ab* overrides mass failure
  ok  Ab* + I → Ab* wins (Q5)
  ok  I → incomplete
-- Expel vs repeat vs supplementary bands --
  ok  GPA<1 + all failed → academic expel
  ok  8 courses 5 fails GPA .75 → repeat not expel (Q7+Q8)
  ok  8 courses 6 fails GPA .5 → expel (Q8 strict)
  ok  GPA exactly 1.00 → repeat even with >2/3 fails (Q6a: expel needs <1.00)
  ok  edge GPA is exactly 1.50
  ok  GPA exactly 1.50 + fails → supplementary (Q6b)
  ok  GPA 1.20 → repeat
  ok  GPA 2.67 one F → supplementary
  ok  no fails → pass
  ok  Ab → supplementary path
-- Second-round clearing --
  ok  supplementary 95 → C*
  ok  C* weight fixed 2.00 (not 4.00)
  ok  failed supplementary stays F
  ok  substitute keeps real grade A+
  ok  F@ cleared → C*
-- Final decision: carry vs repeat vs pending graduation --
  ok  no open Fs → pass
  ok  2 fresh Fs → carry
  ok  3 open Fs → repeat
  ok  C* drops from count → carry
  ok  year-1 F at Y2S1 → within grace
  ok  year-1 F at Y2S2 → aged out → repeat
  ok  year-1 F at Y3 → repeat
  ok  final-year F at end → pending graduation
  ok  diploma: same grace rule
  ok  diploma final-year F → pending graduation
  ok  old aged F at programme end → repeat, not pending
  ok  2 lifetime strikes → disciplinary

66 passed, 0 failed