evidiff — Evidence-Locked Code Migration
An agent that migrates dependencies and proves every changed line — source to claim to rule to usage to patch to passing test to independent reviewer.
evidiff is an agent that migrates dependencies/APIs and then proves every changed line: source → claim → rule → usage → patch → passing test → independent reviewer. Any broken link fails closed to unproven — the agent can’t talk its way to done.
- 76 typed tools across 10 namespaces; 6 typed planes (evidence/rule/repo-intel/transformation/verification/dossier).
- State machine with semantic gates — a phase only advances if its artifact actually exists.
- 4 scoped subagent runtimes with denied tools (reviewer can’t patch).
- Fail-closed PR publishing — a real example PR open at HetanshWaghela/evidiff-pydantic-demo#1.
- Deterministic replay viewers in web and TUI; eval harness reconstructs proof from event streams rather than trusting claims.
- Runs live on opencode Zen / DeepSeek / Groq.