ProcessHarness.hs

{-# LANGUAGE OverloadedStrings #-}

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
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")
    ]