View and inspect Imandra CodeLogician reasoning traces inside VS Code.
Features
- Flow View -- Step through the agent's action trace with phase-grouped cards, data connectors, and a detail panel showing IML source, verification results, and counterexamples.
- Lineage View -- Trace any artifact back through its full dependency chain.
- Artifacts (DAG) -- Interactive node-link diagram of the artifact dependency graph with pan, zoom, and detail overlays.
- Reasoning Funnel -- Dashboard showing the formal reasoning pipeline: formalizations, verification goals, proofs, edge cases, and test generation.
- Policies Dashboard -- Compliance view with pass/fail status, LTL formulas, and severity grouping.
- Voronoi Region Diagrams -- Interactive decomposition diagrams for exploring edge-case regions.
- Reference Models -- Inspect reference models, their IML source, verification goals, and linked policies.
- PDF Report -- Generate a print-ready report of the full trace (browser view).
- Dark and Light Themes -- Full dual-theme support with readable syntax highlighting in both modes.
Getting Started
- Open the Command Palette (
Cmd+Shift+P) and run CodeLogician: Open Trace Viewer. - The viewer opens in a side panel with a bundled demo trace.
- Use the dropdown to switch between demo traces or select your own file.
Loading Traces
| Method | How |
|---|---|
| Demo selector | Use the dropdown in the header to switch between bundled demos |
| File picker | Select "Select a file to view" from the dropdown |
| Right-click | Right-click any .json file in the Explorer and choose "Open with CodeLogician Traces" |
| Configuration | Set codelogician.traceFile in settings to auto-watch a trace file |
| Browser | Click the "Browser" button to open the current trace in a full browser window |
Commands
| Command | Description |
|---|---|
CodeLogician: Open Trace Viewer |
Open the viewer in a side panel |
CodeLogician: Open in Browser |
Open the current trace in the browser |
CodeLogician: Select Trace File |
Pick a trace JSON file to watch |
CodeLogician: Select Demo Trace |
Choose from bundled demo traces |
Configuration
| Setting | Description |
|---|---|
codelogician.traceFile |
Path to a trace JSON file to auto-watch on startup. Supports workspace-relative paths. |
Trace Format
The viewer accepts CodeLogician trace JSON files in both v1.0 and v1.1 formats. A normalization layer transparently handles version differences.