What broke
A paragraph pinned to a commit described the launcher correctly at that commit and was false forty minutes later, when a pull request merged sixteen minutes after the session that wrote it had launched and twenty-eight minutes before it closed.
The rule it paid for
A dated pin is not a defence when the tree moves inside your own session; freshness is the owner's obligation, discharged by the lot that changes the tool.