domain/architecture/LAWS.bend open laws/TODOs

raw source on the hub · import 0x3ffc69d4b5da64782dbe50fda425aa0c/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:0x3ffc69d4b5da64782dbe50fda425aa0c/domain/architecture/type.Architecture -> {0x3ffc69d4b5da64782dbe50fda425aa0c/general/rose/ops.first(0x3ffc69d4b5da64782dbe50fda425aa0c/domain/architecture/ops.keys(a)) == 0x3ffc69d4b5da64782dbe50fda425aa0c/domain/architecture/ops.system_key(a) : String}

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