Veris
veris — Latin, “of truth”
Your agent just changed 40 files.
What actually broke, and was any of it checked?
We pointed Veris at Veris — it found 55 defects
Every one is published — what broke, why it mattered, the fix, and the test that proves it: docs/internal/BUG_TRACKER.md
The worst three, in our own tool:
It invented baselines. When git was unavailable, Veris built a "before" state from the first 70% of the current graph and reported the comparison as a real behavioral diff. No flag. No warning. A verification tool was fabricating the thing it verified against.
91% of its call edges were guesses.
It matched the trailing name of a call against every declaration sharing that name.
console.log() drew an edge to the project's own Logger.log. Measured on a real
dependency: 2,804 of 3,077 edges pointed at an ambiguous name.
The graded agent could erase its own failures.
Execution results were stored with INSERT OR REPLACE. Post fail, then post
pass, and the failure was gone.
We could have fixed these quietly. Publishing them is the point: a tool that tells you what is unverified has no standing to hide its own unverified claims.
