{"chain_id":"systems-software-transitive-001","domain":"systems_software","operator_family":"transitive","subject":"module","intent":"procedure","connective":"precedes","object":"interface","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-002","domain":"systems_software","operator_family":"transitive","subject":"interface","intent":"verification","connective":"requires","object":"contract","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-003","domain":"systems_software","operator_family":"transitive","subject":"contract","intent":"cause","connective":"requires","object":"invariant","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-004","domain":"systems_software","operator_family":"transitive","subject":"command","intent":"procedure","connective":"precedes","object":"event","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-005","domain":"systems_software","operator_family":"transitive","subject":"event","intent":"verification","connective":"precedes","object":"state","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-006","domain":"systems_software","operator_family":"transitive","subject":"transaction","intent":"comparison","connective":"requires","object":"idempotence","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-007","domain":"systems_software","operator_family":"transitive","subject":"determinism","intent":"correction","connective":"requires","object":"replay","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-transitive-008","domain":"systems_software","operator_family":"transitive","subject":"replay","intent":"verification","connective":"requires","object":"trace","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-001","domain":"systems_software","operator_family":"causal","subject":"command","intent":"cause","connective":"causes","object":"event","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-002","domain":"systems_software","operator_family":"causal","subject":"event","intent":"cause","connective":"causes","object":"state","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-003","domain":"systems_software","operator_family":"causal","subject":"failure","intent":"correction","connective":"requires","object":"rollback","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-004","domain":"systems_software","operator_family":"causal","subject":"rollback","intent":"procedure","connective":"causes","object":"state","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-005","domain":"systems_software","operator_family":"causal","subject":"query","intent":"verification","connective":"reveals","object":"state","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-006","domain":"systems_software","operator_family":"causal","subject":"trace","intent":"verification","connective":"reveals","object":"failure","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-007","domain":"systems_software","operator_family":"causal","subject":"contract","intent":"comparison","connective":"grounds","object":"interface","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"systems-software-causal-008","domain":"systems_software","operator_family":"causal","subject":"deployment","intent":"cause","connective":"causes","object":"failure","subject_pack_id":"en_systems_software_v1","object_pack_id":"en_systems_software_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
