entitlements.hs

data Status = NotStarted | Started | Reviewed deriving (Eq, Show)

template Task
  with
    lead : Party
    manager : Party
    developer : Party
    status : Status
  where
    signatory lead
    observer manager,developer

    controller developer can
      Start_Task : ContractId Task
        do
          create this with status = Started

    controller manager can
      Mark_Reviewed : ContractId Task
        do
          create this with status = Reviewed

    controller lead can
      Mark_Completed : ()
        do
          pure () -- Archive/close the contract when completed