The four gap patterns are the most useful part for me. Fixed inputs missing the deciding case and subset checks that never reject extras are exactly the kind of leniency that looks like a pass until a wrong solution walks through it. I also appreciated the honest what I got wrong section, especially checking the tracker last. Treating the overlap with the bigger audit as a precision check, not a disappointment, made the 9 new gaps land harder.