{
  "tid": "T514",
  "baseline_revision": "a62a48c36cdc1cbb3a1c387d8bf0c7d2d95a1026886ad2a4b1c40643b691e519",
  "baseline_state": "fresh-authoritative-export",
  "retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
  "baseline_source_sha256": {
    "check.py": "8cc23c0781f581385fd0fdfb1535296725bc4035aa469a54f6db427662c036b3",
    "checks-evidence.json": "305764efcdc947e7770f945a0a619deac79e87f1097e797c1159f6bff0070ef2",
    "checks.py": "091d77d7536cd5787e62930e4a49aaaf80dc8e5435fd8489aaafa6cb95645a4d",
    "dry-run.log": "149c4f4b8cda84695939ac2fa6a8aa3c502ec505d4eb09e3e069ad0c01ee745d",
    "dry_run.py": "00615e002d653eb725066ef2dadde09cfe24836e4416b01f085a40e640107cc4",
    "generate.py": "14ebfc0e3d64c3debe8736277bb53370fecfa0c0afdb56051df859d93554b322",
    "readback-evidence.json": "ac08b5baa7834f3ed93b7bd906aa51100e42800109c5c761fed8dcbf62ed1c84",
    "readback.py": "af27b69d78fbca4379d981ddb84224fbc729a6660af40db6a272e6aa9eeb3c58",
    "run_dry.py": "0a0b42fbd443b4aec2daa38b64cdd499a033672ad7c27bd583fbcc320278e35b",
    "scorer.py": "645af7bd3e3f206105946773bba40da3f841c4135dee11e188a23043ab1ed773",
    "selection.md": "6cc931d58ec6512234269403ace5e84519b20c2af1a2e3b7068688e857611c3e",
    "versions.json": "7a2be65467a03cf7330b28c315d0aac5b49b6db2e70b0ea48d1df7a30daebbb0"
  },
  "entries": {
    "0": {
      "digits": 100,
      "metadata": {
        "comment": "The distinguished origin; see CITE{initial-values}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-1": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{1}$",
        "comment": "$a_{1}$ is the negative zero of $\\operatorname{Ai}$ with index $n=1$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-2": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{2}$",
        "comment": "$a_{2}$ is the negative zero of $\\operatorname{Ai}$ with index $n=2$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-3": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{3}$",
        "comment": "$a_{3}$ is the negative zero of $\\operatorname{Ai}$ with index $n=3$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-4": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{4}$",
        "comment": "$a_{4}$ is the negative zero of $\\operatorname{Ai}$ with index $n=4$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-5": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{5}$",
        "comment": "$a_{5}$ is the negative zero of $\\operatorname{Ai}$ with index $n=5$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-6": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{6}$",
        "comment": "$a_{6}$ is the negative zero of $\\operatorname{Ai}$ with index $n=6$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-7": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{7}$",
        "comment": "$a_{7}$ is the negative zero of $\\operatorname{Ai}$ with index $n=7$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-8": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{8}$",
        "comment": "$a_{8}$ is the negative zero of $\\operatorname{Ai}$ with index $n=8$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-9": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{9}$",
        "comment": "$a_{9}$ is the negative zero of $\\operatorname{Ai}$ with index $n=9$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-10": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{10}$",
        "comment": "$a_{10}$ is the negative zero of $\\operatorname{Ai}$ with index $n=10$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-11": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{11}$",
        "comment": "$a_{11}$ is the negative zero of $\\operatorname{Ai}$ with index $n=11$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-12": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{12}$",
        "comment": "$a_{12}$ is the negative zero of $\\operatorname{Ai}$ with index $n=12$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-13": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{13}$",
        "comment": "$a_{13}$ is the negative zero of $\\operatorname{Ai}$ with index $n=13$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-14": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{14}$",
        "comment": "$a_{14}$ is the negative zero of $\\operatorname{Ai}$ with index $n=14$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-15": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{15}$",
        "comment": "$a_{15}$ is the negative zero of $\\operatorname{Ai}$ with index $n=15$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-16": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{16}$",
        "comment": "$a_{16}$ is the negative zero of $\\operatorname{Ai}$ with index $n=16$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-17": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{17}$",
        "comment": "$a_{17}$ is the negative zero of $\\operatorname{Ai}$ with index $n=17$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-18": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{18}$",
        "comment": "$a_{18}$ is the negative zero of $\\operatorname{Ai}$ with index $n=18$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-19": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{19}$",
        "comment": "$a_{19}$ is the negative zero of $\\operatorname{Ai}$ with index $n=19$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "ai-zero-20": {
      "digits": 100,
      "metadata": {
        "param-latex": "$a_{20}$",
        "comment": "$a_{20}$ is the negative zero of $\\operatorname{Ai}$ with index $n=20$, counted from the origin. See CITE{brownian-application}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-0": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{0}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{0})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-1": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{1}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{1})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-2": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{2}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{2})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-3": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{3}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{3})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-4": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{4}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{4})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-5": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{5}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{5})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-6": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{6}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{6})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-7": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{7}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{7})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-8": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{8}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{8})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-9": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{9}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{9})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-10": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{10}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{10})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-11": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{11}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{11})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "gi-critical-12": {
      "digits": 100,
      "metadata": {
        "param-latex": "$\\xi_{12}$",
        "comment": "Extremal height, with $\\operatorname{Gi}^{\\prime}(\\xi_{12})=0$; the root convention is CITE{critical-arguments}."
      },
      "family": "retained",
      "retained_verbatim": true
    },
    "-1/2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "1/2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-1": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "1": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "2": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-4": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "4": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-8": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "8": {
      "digits": 100,
      "metadata": {
        "comment": "A bounded simple-real reference; see CITE{balanced-simple}."
      },
      "family": "simple-real",
      "retained_verbatim": false
    },
    "-3/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$-3/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "-2/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$-2/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "-1/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$-1/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "1/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$1/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "2/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$2/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    },
    "3/cbrt(3)": {
      "digits": 100,
      "metadata": {
        "param-latex": "$3/\\sqrt[3]{3}$",
        "comment": "A unit-cubic normalization reference; see CITE{balanced-cubic}."
      },
      "family": "unit-cubic",
      "retained_verbatim": false
    }
  },
  "equivalent_arguments_not_added": {}
}