ProcessHarness.hs

-- @generated by keiro-dsl 0.17.0.0 (language keiro-dsl 6) from process IncidentReaction; do not edit.
module Generated.ProcessReactions.IncidentReaction.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", "dff4a685084373ac102b8fa9591bc4cdbaa358a19bdec488ea157bd038421573")
  , ("reaction.IncidentReported.0", "guard=input.severity == Severity.Sev1;advance=RecordCritical;followUps=dispatch:Incident.EscalateIncident;accepted=")
  , ("reaction.IncidentReported.1", "guard=otherwise;advance=RecordRoutine;followUps=;accepted=")
  , ("reaction.IncidentNoted.0", "guard=always;advance=none;followUps=;accepted=")
  ]