Semantic Time-Travel Debugger · Schema v1
AI Trace Clinic
Turn an opaque wrong trace into a contract failure, the first divergence, two precise state comparisons, and a portable focused counterexample slice — in one click, fully offline.
Find the first wrong step
#|Contract
Not runFirst divergence
Not runFocus
Not runExpected event vs actual event
✓ Expected
Run diagnosis.
✕ Actual
Run diagnosis.
Focused counterexample slice
Run diagnosis.
State evidence
Actual transition into focus
Run diagnosis.
Reference vs actual at focus
Run diagnosis.
Faulty selection sort - stale index
Run diagnosis to jump to the first bad step.
Advanced details
#|Drop a JSON file here or choose one
Semantic breakpoints
Trace contract
First divergence
Quality diagnostics
Windowed timeline
At most 101 nearby entries are rendered for large traces.