Types are great for systemic structures, but they completely fail at documenting infrastructure dependencies, rate-limiting policies, or environment variables. It’s a major piece of the puzzle, but saying it’s the only documentation that matters is an over-correction.