Function score_case 

pub fn score_case(expected: &ExpectedVerdict, actual: &ExpectedVerdict) -> bool

Score one case: whether the grader’s actual polarity matched the expected one.

Pure and total (§2.3, §5.1): exact equality of the two polarities, so a wrong verdict can never be scored a match — no substring or contains slack that would let a near-miss pass.