domain/architecture/LAWS.bend open laws/TODOs

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

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