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