Code-based grader

A deterministic rule check (valid JSON? contains required fact? correct label?). Cheap and repeatable. (Mod 4)