These deep dives really show how careful consensus code has to be. Curious how close this ever got to being exploited?

Off-by-one bugs are fascinating because they're both trivial and catastrophic. In consensus code, even the smallest discrepancy between implementations can cause chain splits. This is why Bitcoin development is so conservative.