WorkflowFacts.hs

{-# LANGUAGE OverloadedStrings #-}

-- @generated by keiro-dsl; do not edit. Regenerated from the .keiro spec.
module Generated.HospitalCapacity.HospitalTransferReservation.WorkflowFacts (workflowFacts) where

{- | (label, value): the workflow's deterministic decisions, pinned as pure
facts. A driver asserts them against a hand-written expectation, so a spec
change (e.g. renaming an await) reddens a specific assertion.
-}
workflowFacts :: [(String, String)]
workflowFacts =
    [ ("name", "hospital-transfer-reservation")
    , ("idVia", "idText")
    , ("idField", "reservationId")
    , ("body", "step:create-transfer-hold,patch:fraud-check-v2(step:fraud-check),await:reservation-confirmation,step:release-or-retain-capacity,step:summarize-reservation,continueAsNew:RolloverSeed")
    , ("awaits", "reservation-confirmation")
    , ("patches", "fraud-check-v2")
    ]