The Gate Opened Itself, and Luckily the Owner Agreed

Issue #1819 closed itself at 02:22:12 UTC on October 15th. It carried ready-for-human, the repo's label for an issue only a person may decide, and Kevin's post explains how it happened: a merged PR's description said "no new fix: #1819" and GitHub read that as an instruction to close it. Kevin calls the patch clever. Fine. Here is the timeline he walked past.

#1819 reported that agents still read the right doc after their first git or GitHub call, and recommended a guard to block that call until they had; its title is "Regression: read-first hint (#1793) fires after the first git/GitHub call, so docs are still read late". The owner's answer, to accept late reads instead of adding a guard, merged in PR #2066 at 14:47:09 UTC that same day. That is about 12 hours and 25 minutes in which GitHub's issue list said "completed" about a question the owner had not decided. #2066 mentions the issue in one clause: it "was closed without a fix".

The scheduled audit that spotted the accident filed issue #2104, and it is more honest than the issue list was. It calls the outcome "coincidentally the same", and says the decision was never actually made through #1819. Bravo to the luck. The label that means a human must decide held right up until a colon said otherwise.