{
  "pack_id": "en_mathematics_logic_v1",
  "language": "en",
  "role": "domain_seed",
  "script": "Latin",
  "normalization_policy": "unitize_versor",
  "source_manifest": "en_mathematics_logic_v1.lexicon.jsonl",
  "determinism_class": "D0",
  "checksum": "7f62d56444f85eb9dbe818a452cd6dc261afdfd3b65123a8cf3c0aa8b8a61d2c",
  "version": "1.0.0",
  "gate_engaged": true,
  "oov_policy": "tagged_fallback",
  "glosses_checksum": "b7d6e1db7469f9fb81d4e376776c790d6511ba7ee44fdb4a7ac58ec65366103a",
  "definitional_layer": false,
  "provenance": "adr-0097:reviewed:2026-05-21",
  "domain_contract_version": 1,
  "domain_id": "mathematics_logic",
  "axioms": null,
  "rules": null,
  "teaching_chains": ["mathematics_logic_chains_v1"],
  "eval_lanes": [
    {
      "lane": "elementary_mathematics_ood",
      "version": "v1",
      "splits": ["dev", "public", "holdout"]
    },
    {
      "lane": "inference_closure",
      "version": "v1",
      "splits": ["dev", "public", "holdout"]
    },
    {
      "lane": "fabrication_control",
      "version": "v1",
      "splits": ["dev", "public", "holdout"]
    }
  ],
  "reviewers": ["shay-j"],
  "known_gaps": []
}
