ProcessHarness.hs

-- @generated by keiro-dsl 0.9.0.0 (language keiro-dsl 4) from process HospitalSurge; do not edit.
module Generated.HospitalCapacity.HospitalSurge.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 =
  [ ("fireAtField", "observedAt")
  , ("timerIdPrefix", "hospital-surge-timer:")
  , ("firedEventIdPrefix", "hospital-surge-fired:")
  , ("dispatchIdUserField", "none")
  , ("onReject", "Fired")
  , ("onAmbiguous", "Retry")
  , ("onFailed", "Retry")
  , ("rejectedPolicy", "halt")
  , ("poisonPolicy", "halt")
  , ("maxAttempts", "5")
  ]