{- ============================== 
   Copyright (c) 2024 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

Control Directive: 
A Control Directive is a kind of Policy that provides recommendations on how to comply with Regulation Articles.Once implemented, Control Directives enforces any Regulatory Framework your enterprise has to comply with.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module 01f1156d689b5ecc where -- ========== Control Directive

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 190c7429689664b5 public -- Policy
open import 4b9477ae68a4926d public -- Control Asset
open import 190c57d568976e60 public -- Regulation Article

postulate
  ControlDirective : PropertyType

postulate --  ControlDirective is subTypeOf Policy
  st-4906e610635b7a34 : ControlDirective ⊏⋆ₑ Policy

postulate --  ControlDirective is subTypeOf ControlAsset
  st-4b94790868a494c6 : ControlDirective ⊏ₐₑ ControlAsset {lsuc(lzero)}

-- == Relationships =======================

{- Fulfilled Regulation:  -}
postulate -- Relation: Fulfilled Regulation
  fulfilledRegulation : classOfOrderedRelation  ControlDirective RegulationArticle