Repository navigation

IR-625: decode state-clause Kani playback for native replay - #359

Merged

kreneskyp merged 6 commits into

mainfrom

code/ir-625-state-playback

Oct 11, 2026

Commits on Oct 11, 2026
- IR-625: decode state-clause Kani playback into replay inputs
  kreneskyp
  committed
  991d9b1
- Bind Kani playback property to selected clause predicate
  kreneskyp
  committed
  d6cebaa
- Show state-clause Kani playback on decode failure
  kreneskyp
  committed
  816c3a1
- Accept generated Kani state-clause assertion playback
  kreneskyp
  committed
  fd98076
- Require generated state-clause assertion provenance
  kreneskyp
  committed
  21e2f55
- Record IR-625 review dispositions
  kreneskyp
  committed
  ac3d8ed