ProcessHarness.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from process IncidentEscalation; do not edit.
module Generated.IncidentResponse.IncidentEscalation.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", "74ccfa3e3e78a8d747546629dce80be851ec3dd2babbd7ddea34b0746f19c7c7")
  , ("reaction.IncidentReported.0", "guard=input.severity == Severity.Sev1;advance=NoteRaised;followUps=schedule:escalation:rearm;accepted=")
  , ("reaction.IncidentReported.1", "guard=otherwise;advance=NoteRaised;followUps=schedule:escalation:rearm;accepted=")
  , ("reaction.ResponderAcked.0", "guard=always;advance=NoteAcknowledged;followUps=cancel:escalation;accepted=dispatch:Incident.AcknowledgeIncident")
  , ("reaction.ResponderIgnored.0", "guard=always;advance=NoteIgnored;followUps=cancel:escalation;accepted=dispatch:Incident.AcknowledgeIncident")
  , ("reaction.IncidentNoted.0", "guard=always;advance=none;followUps=;accepted=")
  , ("timer.escalation", "idPrefix=incident-escalation-timer:;payload=kind,incidentId,severity;fire=Incident.EscalateIncident;firedEventPrefix=incident-escalation-fired:")
  ]