The fourth one is the one worth reporting. A runner that reads seven 429s as seven clean cases certifies everything underneath it.

One level up again though. Enumeration fixes the surfaces - they now have to match the set instead of just containing it. But the set is the fact file, and all six surfaces get checked against that file. A seventh category that belongs in the set and was never written into it is missing from all six at once, and all three conditions still pass.

Is there anything in there that is an independent witness of what the set should contain, or is that the part that stays human?