---
title: "Comment by Aliaksei Zelianouski on \"My gate could not see a sixth\" | Hashnode"
description: "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. En"
url: "https://hashnode.com/posts/my-gate-could-not-see-a-sixth/6a71ce96ec552e1736c8c914/comment/6a724cedf1b0e136e297b567"
---

[Discussion](https://hashnode.com/posts/my-gate-could-not-see-a-sixth/6a71ce96ec552e1736c8c914)

Comment [My gate could not see a sixth](https://hashnode.com/posts/my-gate-could-not-see-a-sixth/6a71ce96ec552e1736c8c914)

[Aliaksei Zelianouski](https://hashnode.com/@hiper2d)

[Aug 4](https://hashnode.com/posts/my-gate-could-not-see-a-sixth/6a71ce96ec552e1736c8c914/comment/6a724cedf1b0e136e297b567)

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?

[Erik Rekola](https://hashnode.com/@erekola)

[Aug 5](https://hashnode.com/posts/my-gate-could-not-see-a-sixth/6a71ce96ec552e1736c8c914/comment/6a724cedf1b0e136e297b567#reply-6a737cdfd6f2cd189b0d0883)

Nothing inside the gate plays that role. The witness exists, since the scanner's own response names the categories and the check count for each, but it is wired to nothing. The fact file holds those five copied in by hand, and all six surfaces are checked against the file, so a seventh would show up in the response and nowhere the gate reads. That part is me. The repair is the same three conditions one level up, response as the enumeration and file as the set. The price is that a relabel by the scanner then turns the run red with nothing broken.