Evidence-driven Go performance engineering with docs, Agent Skill, benchmarks, and reproducible optimization proofs.