back to table · edit · history · where entries came from · files · download
9876 bytes, as of the version from 2026-10-27 01:00. Recorded here, not run.
{
"tid": "T198",
"baseline_revision": "e7d5b6388c9b34406b68a9a1c08229e9ce3f2f6d6a4a8e090145b7f6688b6696",
"baseline_state": "fresh-authoritative-export",
"retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
"baseline_source_sha256": {
"checks-evidence.json": "ffb339676b046d442e13272b05adacde9b4fbe9eba31421fe82d6f32d343249f",
"checks.py": "04469183357d5b8bd145b6b2c94e200931eded5a5f3c374cc1190fba71923bbb",
"curated_values.py": "6adcf22ee174efd4c3b45ad4cd44ea1af66f18fac94c3a26d303febe0434539c",
"generate.py": "92fa61c10cd7a61c5009e4de3a9d7e9ebb4373f0b6e911a77f0769b55dd96c85",
"republish.py": "40b0d95811e94f6ad3477642eb86f121c124fcf31d0b78385ae2c6ece7adaabd",
"scorer.py": "06038903ed7b3f1d1c854bd0671f5e317f818baea8069f47db53cde78049ae1f",
"selection.md": "c02da04acb9f2f168974a9a536347d9afeba89e5393e32a8c82d8eb22ca0b83c"
},
"entries": {
"0": {
"digits": 100,
"metadata": {},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-1": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{1}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-2": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-3": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{3}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-4": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{4}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-5": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{5}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-6": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{6}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-7": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{7}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-8": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{8}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-9": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{9}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-10": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{10}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-11": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{11}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-12": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{12}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-13": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{13}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-14": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{14}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-15": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{15}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-16": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{16}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-17": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{17}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-18": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{18}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-19": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{19}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-prime-zero-20": {
"digits": 100,
"metadata": {
"param-latex": "$a^{\\prime}_{20}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"-1/2": {
"digits": 100,
"metadata": {
"param-latex": "$-1/2$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"1/2": {
"digits": 100,
"metadata": {
"param-latex": "$1/2$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"-1": {
"digits": 100,
"metadata": {
"param-latex": "$-1$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"1": {
"digits": 100,
"metadata": {
"param-latex": "$1$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"-2": {
"digits": 100,
"metadata": {
"param-latex": "$-2$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"2": {
"digits": 100,
"metadata": {
"param-latex": "$2$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"-4": {
"digits": 100,
"metadata": {
"param-latex": "$-4$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"4": {
"digits": 100,
"metadata": {
"param-latex": "$4$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"-8": {
"digits": 100,
"metadata": {
"param-latex": "$-8$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"retained_verbatim": false
},
"8": {
"digits": 100,
"metadata": {
"param-latex": "$8$",
"comment": "A bounded simple-real reference; see CITE{balanced-simple}."
},
"family": "simple-real",
"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
}
},
"equivalent_arguments_not_added": {}
}