LAWS.first_key_is_system: law of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/LAWS.bend as LAWS
Lines 6-9 of near-v-framework@0.4.0.0/domain/architecture/LAWS.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/LAWS.bend&start_line=6&end_line=9

import Base
import near-v-framework@0.4.0.0/general/rose/ops.bend as RO
import near-v-framework@0.4.0.0/domain/architecture/type.bend as A
import near-v-framework@0.4.0.0/domain/architecture/ops.bend as O

# LAW: an architecture's first key is its system's
law first_key_is_system:
  for +a: A.Architecture
  {RO.first(O.keys(a)) == O.system_key(a) : String}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/type.bend&name=Environment
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=keys
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=system_key
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/type.bend&name=System
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/type.bend&name=Architecture
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/rose/ops.bend&name=first