ProcessHarness.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from process IncidentTimers; do not edit.
module Generated.ProcessTimers.IncidentTimers.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", "5a6afd7c9691c5716a9c7b3140b5c6c54ff8689aa6e0fbc9acf576ce56aa4904")
  , ("reaction.IncidentReported.0", "guard=always;advance=RecordIncident;followUps=schedule:escalation:rearm,schedule:reminder:once;accepted=")
  , ("reaction.ResponderAcked.0", "guard=always;advance=none;followUps=cancel:reminder;accepted=")
  , ("timer.escalation", "idPrefix=incident-escalation-timer:;payload=kind,incidentId,detail;fire=Incident.EscalateIncident;firedEventPrefix=incident-escalation-fired:")
  , ("timer.reminder", "idPrefix=incident-reminder-timer:;payload=kind,incidentId;fire=Incident.RemindIncident;firedEventPrefix=incident-reminder-fired:")
  ]