Diff the Witness Set. A Green Agent Patch Can Still Delete Evidence.
This story is from 2026-09-19. It is preserved in the archive; the latest stories are on the live feed.
A green CI run after an agent patch is not evidence if the witness set shrank. Pass rate can rise because a counterexample was deleted, a flake was skipped, or a property was rewritten to be weaker. Treat vanished witnesses as merge blockers. Freeze flakes with a reproducer and an expiry. Keep prop…
Read the full story at DEV Community — AI ↗
Timeline · 1 report
- 2026-09-19 12:37 · DEV Community — AI
Diff the Witness Set. A Green Agent Patch Can Still Delete Evidence.