back to table · edit · history · where entries came from · files · download
5438 bytes, as of the version from 2026-10-27 01:09 (current). Recorded here, not run.
{
"tid": "T197",
"baseline_revision": "cb2bcaff43442ce7483381e9abae16a062072662ffdc67624682841d97216916",
"baseline_state": "fresh-authoritative-export",
"retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
"baseline_source_sha256": {
"checks-evidence.json": "60a64b8b4df5597a0ba65844ce6485cc9d1fbeddbdf513147e7794c9f997802d",
"checks.py": "04469183357d5b8bd145b6b2c94e200931eded5a5f3c374cc1190fba71923bbb",
"curated_values.py": "6adcf22ee174efd4c3b45ad4cd44ea1af66f18fac94c3a26d303febe0434539c",
"generate.py": "177d62a805ca3ce3e47a09cdb042ceb58cb174a7b923664b4accf061028d7099",
"republish.py": "40b0d95811e94f6ad3477642eb86f121c124fcf31d0b78385ae2c6ece7adaabd",
"scorer.py": "06038903ed7b3f1d1c854bd0671f5e317f818baea8069f47db53cde78049ae1f",
"selection.md": "8d3d8425f9fa8a17035bd8f99c92011ff8c6fe9018a53141a6870285fc25dfcd"
},
"entries": {
"0": {
"digits": 100,
"metadata": {},
"family": "retained",
"retained_verbatim": true
},
"1/sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$1/\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"2/sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$2/\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"3/sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$3/\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"4/sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$4/\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"5/sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$5/\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"6/sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$6/\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"-1": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"-1/2": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"1/2": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"1": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"3/2": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"2": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"3": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"4": {
"digits": 100,
"metadata": {
"comment": "A bounded Gaussian-integral reference; see CITE{balanced-simple}."
},
"family": "simple-gaussian",
"retained_verbatim": false
},
"sqrt(3)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{3}$",
"comment": "An integer-coefficient Gaussian-integral reference; see CITE{balanced-gaussian}."
},
"family": "unit-gaussian",
"retained_verbatim": false
},
"sqrt(5)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{5}$",
"comment": "An integer-coefficient Gaussian-integral reference; see CITE{balanced-gaussian}."
},
"family": "unit-gaussian",
"retained_verbatim": false
},
"sqrt(6)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{6}$",
"comment": "An integer-coefficient Gaussian-integral reference; see CITE{balanced-gaussian}."
},
"family": "unit-gaussian",
"retained_verbatim": false
}
},
"equivalent_arguments_not_added": {
"1": "already represented by an equivalent exact argument",
"sqrt(2)": "already represented by an equivalent exact argument",
"2": "already represented by an equivalent exact argument"
}
}