pj 56844df028 Merge branch 'master' into fix-violation-step-attribution

2026-06-05 23:45:49 +05:30

..

_oracle

UX refactor (#52)

2026-06-02 09:52:53 +05:30

android

UX refactor (#52)

2026-06-02 09:52:53 +05:30

bundler

UX refactor (#52)

2026-06-02 09:52:53 +05:30

driver

fix: iOS spec driving, InputText replace semantics, native DoubleTap (#58)

2026-06-05 23:42:39 +05:30

hierarchy

fix: iOS spec driving, InputText replace semantics, native DoubleTap (#58)

2026-06-05 23:42:39 +05:30

ios

UX refactor (#52)

2026-06-02 09:52:53 +05:30

ltl

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

2026-06-05 23:35:24 +05:30

replay

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

2026-06-05 22:38:21 +05:30

runner

Merge branch 'master' into fix-violation-step-attribution

2026-06-05 23:45:49 +05:30

sidecarassets

UX refactor (#52)

2026-06-02 09:52:53 +05:30

testrun

UX refactor (#52)

2026-06-02 09:52:53 +05:30

trace

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

2026-06-05 22:34:07 +05:30

verifier

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

2026-06-05 22:31:05 +05:30