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

Resolution: 
A Resolution is time bound Appraisal, agreed upon by Stakeholders to guide what can or cannot be done regarding a specific Functional Asset.

Documentation : https://framework.sysfeat.com/pages/e073f9c161d2104a.htm

External references:
  WordNet - Resolution: https://en-word.net/ili/i70681
 - ============================== -}

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

module SysFEAT.SOF.e073f9c161d2104a where -- ========== Resolution

open import Agda.Primitive
open import SysFEAT.SOF.bcdbc016617a55be public -- Appraisal
open import SysFEAT.SOF.0eb95f356855bf94 public -- Asset Block
open import SysFEAT.SOF.97e09afa68dd69f1 public -- Resolution Outcome

Resolution : ClassOfBoundedIndividual
Resolution = BoundedIndividual


--  Resolution is subTypeOf Appraisal
st-e073f9c161d2104a-bcdbc016617a55be : Resolution ⊏ₑ Appraisal
st-e073f9c161d2104a-bcdbc016617a55be = polySubTypeOf-identity


-- == Relations =======================

-- -------------------------------------------------------------------------------------------- 
{- Concerned Asset: -}
concernedAsset : ∀ {u} →  Linkage Resolution (AssetBlock u)
concernedAsset = make_Relation "Concerned Asset" "Concerned Asset"

postulate -- concernedAsset is subTypeOf appraisedAsset
  st-0f642afd6859a59f-6bf17d4e68598487  : concernedAsset  ⊏⋆ᵣ  appraisedAsset

-- -------------------------------------------------------------------------------------------- 
{- Selected Resolution Option: -}
selectedResolutionOption :  Linkage Resolution ResolutionOutcome
selectedResolutionOption = make_instanceOf "Selected Resolution Option" "Selected Resolution Option"

postulate -- selectedResolutionOption is subTypeOf selectedAppraisalOption
  st-97e09b4468dd6aca-6662932568dd6161  : selectedResolutionOption  ⊏⋆ᵣ  selectedAppraisalOption