domain/architecture/LAWS.bend open laws/TODOs

raw source on the hub · import 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/LAWS.bend as LAWS

4 imports

import Base
import ../../general/rose/ops.bend as RO
import ./type.bend as A
import ./ops.bend as O

Laws

law first_key_is_system provedin domain/architecture/PROOF.bendsource · line 7 · raw

@+a:0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/type.Architecture -> {0xc4f31b1cf377fad1ed5191443ddd1c20/general/rose/ops.first(0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/ops.keys(a)) == 0xc4f31b1cf377fad1ed5191443ddd1c20/domain/architecture/ops.system_key(a) : String}

LAW: an architecture's first key is its system's