Demo
Clean merge, broken callers
An agent changes a shared function. Git is happy. Callers are not. Flip the switch to see Managent catch it.
Clean merge. Conflict caught.
What just happened
- 1
Change
An agent edits a shared symbol — here calculate(a,b) flips from addition to multiplication. Paths may not overlap with callers, so git merge-tree stays clean.
src/math/file2.ts · calculate · return a + b → a * b
- 2
Trace
Semantic Impact walks the symbol graph and finds bounded dependents — calculateOrderTotal, calculateInvoice, buildRevenueReport — then scores the risk.
POST /v1/semantic-analysis → calculate → 3 dependents · risk 88
- 3
Validate
Suspicion alone never blocks. Targeted tests or typecheck must confirm incompatibility before a risk becomes a semantic conflict.
validation · FAIL expected 15 got 50 · confirmed
- 4
Act
Observe stays on the dashboard. Warn annotates the PR. Enforce blocks only confirmed conflicts above threshold — opt-in per repository.
mergeMode=enforce · GitHub Check · Semantic conflict — merge blocked
Other demo: same file, two agents →