{"chain_id":"math-logic-transitive-001","domain":"mathematics_logic","operator_family":"transitive","subject":"axiom","intent":"procedure","connective":"precedes","object":"lemma","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-002","domain":"mathematics_logic","operator_family":"transitive","subject":"lemma","intent":"procedure","connective":"precedes","object":"theorem","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-003","domain":"mathematics_logic","operator_family":"transitive","subject":"premise","intent":"verification","connective":"precedes","object":"conclusion","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-004","domain":"mathematics_logic","operator_family":"transitive","subject":"domain","intent":"comparison","connective":"precedes","object":"range","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-005","domain":"mathematics_logic","operator_family":"transitive","subject":"function","intent":"cause","connective":"requires","object":"domain","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-006","domain":"mathematics_logic","operator_family":"transitive","subject":"composition","intent":"procedure","connective":"requires","object":"function","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-007","domain":"mathematics_logic","operator_family":"transitive","subject":"equivalence","intent":"verification","connective":"requires","object":"implication","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-transitive-008","domain":"mathematics_logic","operator_family":"transitive","subject":"identity","intent":"correction","connective":"requires","object":"equivalence","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-001","domain":"mathematics_logic","operator_family":"proof_chain","subject":"axiom","intent":"verification","connective":"supports","object":"proof","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-002","domain":"mathematics_logic","operator_family":"proof_chain","subject":"premise","intent":"verification","connective":"supports","object":"implication","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-003","domain":"mathematics_logic","operator_family":"proof_chain","subject":"implication","intent":"verification","connective":"supports","object":"conclusion","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-004","domain":"mathematics_logic","operator_family":"proof_chain","subject":"lemma","intent":"verification","connective":"supports","object":"theorem","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-005","domain":"mathematics_logic","operator_family":"proof_chain","subject":"proof","intent":"procedure","connective":"supports","object":"theorem","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-006","domain":"mathematics_logic","operator_family":"proof_chain","subject":"function","intent":"comparison","connective":"supports","object":"composition","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-007","domain":"mathematics_logic","operator_family":"proof_chain","subject":"set","intent":"cause","connective":"supports","object":"domain","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-proof-chain-008","domain":"mathematics_logic","operator_family":"proof_chain","subject":"identity","intent":"correction","connective":"supports","object":"equivalence","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-001","domain":"mathematics_logic","operator_family":"contradiction","subject":"contradiction","intent":"correction","connective":"opposes","object":"proof","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-002","domain":"mathematics_logic","operator_family":"contradiction","subject":"negation","intent":"correction","connective":"opposes","object":"conclusion","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-003","domain":"mathematics_logic","operator_family":"contradiction","subject":"contradiction","intent":"verification","connective":"opposes","object":"theorem","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-004","domain":"mathematics_logic","operator_family":"contradiction","subject":"negation","intent":"comparison","connective":"opposes","object":"identity","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-005","domain":"mathematics_logic","operator_family":"contradiction","subject":"contradiction","intent":"cause","connective":"opposes","object":"equivalence","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-006","domain":"mathematics_logic","operator_family":"contradiction","subject":"negation","intent":"procedure","connective":"opposes","object":"premise","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-007","domain":"mathematics_logic","operator_family":"contradiction","subject":"contradiction","intent":"comparison","connective":"opposes","object":"axiom","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
{"chain_id":"math-logic-contradiction-008","domain":"mathematics_logic","operator_family":"contradiction","subject":"negation","intent":"verification","connective":"opposes","object":"implication","subject_pack_id":"en_mathematics_logic_v1","object_pack_id":"en_mathematics_logic_v1","review_status":"reviewed","provenance":"adr-0090:domain_chain_seed:2026-05-21"}
