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

Decision: 
A Decision is a time bound Resolution, agreed upon by Stakeholders, to state what shall or shall not be done regarding a specific Functional Asset.Architecturally significant decisions that are been made in the organization typically includes:a) Product selectionsb) Justification for major architectural features of projectsc) Standards deviationsd) Standards lifecycle changese) Change Request evaluations and approvalsf) Re-use assessments
 - ============================== -}

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

module d7f9fcc95f720ee0 where -- ========== Decision

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import e073f9c161d2104a public -- Resolution
open import 0eb95f356855bf94 public -- Asset Block
open import 97e09cde68dd6c0f public -- Decision Outcome

postulate
  Decision : ClassOfBoundedIndividual

postulate --  Decision is subTypeOf Resolution
  st-9afad5635f76d966 : Decision ⊏⋆ₑ Resolution

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

{- Decision Subject:  -}
postulate -- Relation: Decision Subject
  decisionSubject : classOfMixedOrderRelation  Decision (AssetBlock {lzero})

{- Selected Decision Option:  -}
postulate -- Relation: Selected Decision Option
  selectedDecisionOption : classOfMixedOrderRelation  Decision DecisionOutcome