{"case_id":"math-teach-v1-0001","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"theorem"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0002","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"lemma","subject":"proof"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0003","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"lemma"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0004","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"conclusion"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0005","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"implication"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0006","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"axiom","subject":"theorem"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0007","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"premise","subject":"proof"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0008","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"axiom","subject":"proof"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0009","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"identity","subject":"equivalence"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0010","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"reveals","intent":"cause","object":"negation","subject":"contradiction"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0011","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"domain","subject":"function"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0012","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"range"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0013","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"identity"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0014","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"composition"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0015","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"theorem","subject":"proof"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0016","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"theorem","subject":"axiom"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0017","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"proof","subject":"lemma"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0018","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"proof","subject":"premise"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0019","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"conclusion","subject":"implication"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0020","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"function","subject":"domain"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0021","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"range","subject":"function"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0022","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"identity","subject":"function"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0023","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"cause","object":"composition","subject":"function"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0024","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"function","subject":"set"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0025","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"verification","object":"proof","subject":"theorem"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0026","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"verification","object":"lemma","subject":"proof"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0027","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"requires","intent":"verification","object":"premise","subject":"conclusion"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0028","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"verification","object":"theorem","subject":"proof"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0029","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"verification","object":"theorem","subject":"axiom"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0030","category":"mathematical_logic","expected":"replay_equivalent","proposed_chain":{"connective":"grounds","intent":"verification","object":"proof","subject":"lemma"},"provenance":"adr-0131.2:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0031","category":"mathematical_logic","expected":"not_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"proof"},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0032","category":"mathematical_logic","expected":"not_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"lemma","subject":"lemma"},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0033","category":"mathematical_logic","expected":"not_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"theorem"},"source_turn_trace":"redundant_trace","provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0034","category":"mathematical_logic","expected":"not_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"knowledge"},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0035","category":"mathematical_logic","expected":"not_equivalent","proposed_chain":{"connective":"requires","intent":"cause","object":"knowledge","subject":"theorem"},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0036","category":"mathematical_logic","expected":"refused","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":""},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0037","category":"mathematical_logic","expected":"refused","proposed_chain":{"connective":"requires","intent":"cause","object":"","subject":"theorem"},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0038","category":"mathematical_logic","expected":"refused","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"theorem"},"evidence":[],"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0039","category":"mathematical_logic","expected":"refused","proposed_chain":{"connective":"","intent":"cause","object":"proof","subject":"theorem"},"provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
{"case_id":"math-teach-v1-0040","category":"mathematical_logic","expected":"refused","proposed_chain":{"connective":"requires","intent":"cause","object":"proof","subject":"theorem"},"polarity":"undetermined","provenance":"adr-0131.2.B:hand-curated:2026-05-23"}
