def built_observed

near-v-framework@0.4.0.0 · domain/architecture/ops.bend:577

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend as Ct
import near-v-framework@0.4.0.0/domain/architecture/category/type.bend as K2
import near-v-framework@0.4.0.0/domain/architecture/type.bend as A

577def built_observed(cs: List<&2, Ct.Container>, +a: A.Architecture) -> Bool:
578  match cs:
579    case []:
580      True{}
581    case c <> rest:
582      match c:
583        case Ct.Container{+k, _, _, _, o, _, _, +src, _, _, _, _, _, _, _}:
584          (Bool.not(ours(o) && Bool.not(String.is_empty(src))) || reports(k, edges(a), containers(a), providers(K2.Observability{}, a))) &&
585            built_observed(rest, a)