back to table · edit · history · where entries came from · files · download
15859 bytes, as of the version from 2026-10-27 01:05 (current). Recorded here, not run.
{
"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": {}
}