pj/sanderling
1
0 Fork 0
mirror of https://github.com/priyanshujain/sanderling.git synced 2026-10-04 20:17:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
147 Commits 42 Branches 9 Tags
54eb9585781754d9f43b0e09d8c26d582bdeaaed
Commit Graph
4 Commits
Author SHA1 Message Date
pj 54eb958578 test(replay): cache reuses on equal mtime, reparses after append 2026-06-06 13:04:55 +05:30
pj b0c714ff5d test(replay): drop unfailable assets and devproxy assertions 2026-06-06 13:04:55 +05:30
pj 9958b0ddc8 Attribute violations to the causing step and render witness evidence (#59) 
* feat(ltl): attribute violations to the obligation origin step

* feat(verifier): label evaluator observations with the runner step index

* feat(trace): carry the causing step in violation witnesses and summary

* feat(replay): move the violation marker to the causing step

* feat(replay-ui): render witness evidence in the violations panel

* feat(replay-ui): wire witnesses and step jump into violation panels

* fix(ltl): treat next obligations as vacuous at run end

* fix(runner): give the finalize trace record its own step index
 2026-06-05 23:46:36 +05:30
pj b44077afde replay ui fix (#56) 
* refactor: rename inspect to replay across the codebase

Renames inspect-ui/ to replay-ui/, internal/inspect/ to internal/replay/,
the CLI subcommand from `sanderling inspect` to `sanderling replay`, and
updates all references in docs, Makefile, README, and Go comments.

* feat(replay-ui): show spec filename with full path on hover

RunList and RunDetail now render the basename of spec_path (e.g.
login.spec.ts) with the full path available as a title tooltip.
 2026-06-03 16:17:26 +05:30