Ops.steps: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend as Ops
Lines 191-197 of near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend&start_line=191&end_line=197

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend as Az
import near-v-framework@0.4.0.0/domain/architecture/system/plan/type.bend as P
import near-v-framework@0.4.0.0/domain/architecture/environment/agreement/type.bend as G

# What Azure as observed means for the system: Current when every resource is declared and every
# declared resource exists, every identity in use is one of the agreement's people, every person is in
# its directory domain, and the signed-in user has exactly what the agreement grants; else Blocked.
def steps(az: Az.Azure, +a: G.Agreement, o: Az.Observed) -> List<&2, P.Step>:
  match az:
    case Az.Azure{org, project, declared}:
      judged("azure " ++ org ++ " " ++ project, a, declared, o)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/agreement/type.bend&name=Agreement
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/ops.bend&name=judged
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend&name=Azure
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/azure/type.bend&name=Observed
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/plan/type.bend&name=Step