pj d4a6e33aa6 feat(runner): pause-snapshot-evaluate-resume loop ...

Wires agent.Conn + driver.Driver + verifier.Verifier + trace.Writer
into the v0.1 step cycle: snapshot the SDK, push to verifier,
evaluate properties, write the trace step (with violations), release
the SDK pause, apply the next action via the driver, wait for idle.

Driver.Launch happens once before the loop and Terminate runs in
defer so even an early error tears down the app cleanly. Summary
returns step count and per-step violation records for the caller
to print or persist.

2026-04-17 23:54:05 +07:00

..

runner_test.go

feat(runner): pause-snapshot-evaluate-resume loop

2026-04-17 23:54:05 +07:00

runner.go

feat(runner): pause-snapshot-evaluate-resume loop

2026-04-17 23:54:05 +07:00