ProcessHarness.hs

-- @generated by keiro-dsl 0.18.0.0 (language keiro-dsl 6) from process ReplayReaction; do not edit.
module Generated.CheckedMappingReplay.ReplayReaction.ProcessHarness (processHarnessValues) where

-- | (label, value): the spec's deterministic process/timer decisions,
-- lowered to plain values so a driver can assert them against a committed
-- expectation. The driver's expectation is hand-written (not generated), so a
-- spec change that alters a decision diverges from it and turns a specific
-- assertion red — the spec->behaviour pin. (Live-runtime behavioural
-- conformance of the filled ProcessManager is the M5 step.)
processHarnessValues :: [(String, String)]
processHarnessValues =
  [ ("reactionOwnership", "generated-declarative")
  , ("reactionVersion", "1")
  , ("reactionFingerprint", "cc73d755be55b8a2d237ac02752ad8d425a50c5fb9f7c3bab8b5f5ada239b1c8")
  , ("reaction.ReplayRequested.0", "guard=always;advance=Record;followUps=dispatch:ReplayTarget.Store;accepted=")
  ]