How Go Deletes Your Bounds Checks: The Facts Table That Proves i < len(s)
The SSA prove pass tracks relations between values in signed, unsigned and pointer domains, propagates numeric limits, and folds IsInBounds to true so the bounds check disappears.