{
  "adr": "0120-math",
  "all_obligations_passed": true,
  "claim_digest": "02f6d3c8803b0a3154b84e1ba6a292556ae6a7ed4765507e617576fe342a9c94",
  "composite_gate_passed": true,
  "composite_gate_refusal": "",
  "domain": "mathematics_logic",
  "obligations": [
    {
      "evidence_pointer": "evals/math_symbolic_equivalence/v1/sealed_report.json",
      "obligation_id": "1",
      "passed": true,
      "refusal_reason": "",
      "title": "sealed holdout discipline"
    },
    {
      "evidence_pointer": "evals/obligation_2_ood_ratio",
      "obligation_id": "2",
      "passed": true,
      "refusal_reason": "",
      "title": "OOD surface variation ratio \u2265 0.95"
    },
    {
      "evidence_pointer": "evals/math_symbolic_equivalence/v1",
      "obligation_id": "3",
      "passed": true,
      "refusal_reason": "",
      "title": "replay-equal trace"
    },
    {
      "evidence_pointer": "evals/math_symbolic_equivalence/v1",
      "obligation_id": "4",
      "passed": true,
      "refusal_reason": "",
      "title": "typed refusal + wrong == 0"
    },
    {
      "evidence_pointer": "evals/obligation_5_perturbation",
      "obligation_id": "5",
      "passed": true,
      "refusal_reason": "",
      "title": "reasoning-isolation perturbation suite"
    },
    {
      "evidence_pointer": "evals/obligation_6_depth_curve",
      "obligation_id": "6",
      "passed": true,
      "refusal_reason": "",
      "title": "compositional-depth curve"
    },
    {
      "evidence_pointer": "evals/math_symbolic_equivalence/v1/frontier",
      "obligation_id": "7",
      "passed": true,
      "refusal_reason": "",
      "title": "frontier-baseline comparison"
    },
    {
      "evidence_pointer": "evals/obligation_8_adversarial",
      "obligation_id": "8",
      "passed": true,
      "refusal_reason": "",
      "title": "adversarial generation; misparse zero"
    },
    {
      "evidence_pointer": "evals/math_symbolic_equivalence/v1",
      "obligation_id": "9",
      "passed": true,
      "refusal_reason": "",
      "title": "determinism"
    },
    {
      "evidence_pointer": "evals/obligation_10_pack_provenance",
      "obligation_id": "10",
      "passed": true,
      "refusal_reason": "",
      "title": "operation provenance via pack"
    }
  ],
  "promote_admitted": false,
  "refusal_reason": "reviewer claim_digest mismatch \u2014 registry has '4c46f530351ce96fbdacf29d242b8d99d40e0c5a92d12b10c4862315147ebfa4', evidence-derived digest is '02f6d3c8803b0a3154b84e1ba6a292556ae6a7ed4765507e617576fe342a9c94'; the evidence bundle has changed since the signature was added",
  "reviewer_signature": {
    "claim_digest": "4c46f530351ce96fbdacf29d242b8d99d40e0c5a92d12b10c4862315147ebfa4",
    "domain_id": "mathematics_logic",
    "evidence_lanes": [
      "math_symbolic_equivalence/v1 (public)",
      "math_symbolic_equivalence/v1 (sealed)",
      "math_teaching_corpus/v1",
      "math_bounded_grammar/v1"
    ],
    "evidence_revision": "adr-0120-math:reviewed:2026-05-23",
    "signed_by": "shay-j"
  },
  "reviewer_signature_matches": false,
  "schema_version": 1,
  "technical_pass": true
}
