Documentation changes slower than software. APIs evolve, configurations change, and features get refactored — but outdated claims can remain in the docs. NEXUS treats documentation accuracy as a verification problem. It extracts technical claims from documentation, searches the repository for evidence, and classifies each claim as Verified, Uncertain, or Contradicted, with traceable evidence behind the result.