back to table · edit · history · where entries came from · files · download
9247 bytes, as of the version from 2026-10-27 01:06 (current). Recorded here, not run.
{
"tid": "T201",
"baseline_revision": "589646eddd746f2c03bef4bb42fbda1e22457048607692b88f4f8989cf987ed9",
"baseline_state": "fresh-authoritative-export",
"retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
"baseline_source_sha256": {
"checks-evidence.json": "b1c89e379d34ee90d45a71647a75fffc90bd243c16defb111d0c62074deec3de",
"checks.py": "04469183357d5b8bd145b6b2c94e200931eded5a5f3c374cc1190fba71923bbb",
"curated_values.py": "6adcf22ee174efd4c3b45ad4cd44ea1af66f18fac94c3a26d303febe0434539c",
"generate.py": "ff3f1ccee74f4ce274c46150e8a9125155303c3485c60b66d825f8319950ee80",
"republish.py": "40b0d95811e94f6ad3477642eb86f121c124fcf31d0b78385ae2c6ece7adaabd",
"scorer.py": "06038903ed7b3f1d1c854bd0671f5e317f818baea8069f47db53cde78049ae1f",
"selection.md": "17b990be0fdf9fa1e7234db2d58f80c1a0dd469045a32bdead7f476374d3fcae"
},
"entries": {
"0": {
"digits": 100,
"metadata": {},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-1": {
"digits": 100,
"metadata": {
"param-latex": "$a_{1}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-2": {
"digits": 100,
"metadata": {
"param-latex": "$a_{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-3": {
"digits": 100,
"metadata": {
"param-latex": "$a_{3}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-4": {
"digits": 100,
"metadata": {
"param-latex": "$a_{4}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-5": {
"digits": 100,
"metadata": {
"param-latex": "$a_{5}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-6": {
"digits": 100,
"metadata": {
"param-latex": "$a_{6}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-7": {
"digits": 100,
"metadata": {
"param-latex": "$a_{7}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-8": {
"digits": 100,
"metadata": {
"param-latex": "$a_{8}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-9": {
"digits": 100,
"metadata": {
"param-latex": "$a_{9}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-10": {
"digits": 100,
"metadata": {
"param-latex": "$a_{10}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-11": {
"digits": 100,
"metadata": {
"param-latex": "$a_{11}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-12": {
"digits": 100,
"metadata": {
"param-latex": "$a_{12}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-13": {
"digits": 100,
"metadata": {
"param-latex": "$a_{13}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-14": {
"digits": 100,
"metadata": {
"param-latex": "$a_{14}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-15": {
"digits": 100,
"metadata": {
"param-latex": "$a_{15}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-16": {
"digits": 100,
"metadata": {
"param-latex": "$a_{16}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-17": {
"digits": 100,
"metadata": {
"param-latex": "$a_{17}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-18": {
"digits": 100,
"metadata": {
"param-latex": "$a_{18}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-19": {
"digits": 100,
"metadata": {
"param-latex": "$a_{19}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"ai-zero-20": {
"digits": 100,
"metadata": {
"param-latex": "$a_{20}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"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
},
"-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": {}
}