{
  "register_id": "mathematical_v1",
  "version": "1.0.0",
  "description": "Mathematical register — proof-cadence.",
  "schema_version": "1.0.0",
  "mastery_report_sha256": "b85e2505fe647aa474b599cfa447c3677ad92c7c305d34ae63c97c8b5ba82fb6",
  "display_name": "Mathematical",
  "depth_preference": "standard",
  "realizer_overrides": {
    "disclosure_domain_count": 2,
    "drop_articles": true,
    "drop_provenance_tag": true
  },
  "discourse_markers": {
    "openings": [
      "",
      "Definition: ",
      "Claim: ",
      "Lemma: "
    ],
    "transitions": [],
    "closings": [
      "",
      " — qed."
    ]
  }
}
