Documentation-freshness companion to ponytail. A skill, not a scanner: when code changes, the agent walks a freshness ladder (vanished paths → dead contracts → drifted snippets → stale prose), proves each finding against the code, and proposes only derivable fixes — never rewriting prose. Language-agnostic.