back to table · edit · history · where entries came from · files · download
10851 bytes, as of the version from 2026-10-27 01:07 (current). Recorded here, not run.
{
"tid": "T207",
"baseline_revision": "af4b8f2af459424d6145812e8156dee2d6d15da120147f3b00e93c51503de605",
"baseline_state": "fresh-authoritative-export",
"retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
"baseline_source_sha256": {
"checks-evidence.json": "8a213fb8dc3e85ca515b9607d3646410e02f878a9d8388d4a48a12d6b157b126",
"checks.py": "04469183357d5b8bd145b6b2c94e200931eded5a5f3c374cc1190fba71923bbb",
"curated_values.py": "6adcf22ee174efd4c3b45ad4cd44ea1af66f18fac94c3a26d303febe0434539c",
"generate.py": "88280f84926054d43c54396fd3500a9abd9f4fc5c428b74b12195ea27daa4807",
"republish.py": "40b0d95811e94f6ad3477642eb86f121c124fcf31d0b78385ae2c6ece7adaabd",
"scorer.py": "06038903ed7b3f1d1c854bd0671f5e317f818baea8069f47db53cde78049ae1f",
"selection.md": "689d76c6a88e9f4f5d51ce30c7e2962087f7984c427f7f4843927caefb97de2b"
},
"entries": {
"0": {
"digits": 100,
"metadata": {},
"family": "retained",
"retained_verbatim": true
},
"sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{2}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"2": {
"digits": 100,
"metadata": {
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(6)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{6}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(8)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{8}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(10)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{10}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(12)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{12}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(14)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{14}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"4": {
"digits": 100,
"metadata": {
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(18)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{18}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(20)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{20}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(22)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{22}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(24)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{24}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(26)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{26}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(28)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{28}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(30)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{30}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(32)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{32}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(34)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{34}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"6": {
"digits": 100,
"metadata": {
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(38)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{38}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(40)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{40}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"1": {
"digits": 100,
"metadata": {
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(3)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{3}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(5)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{5}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(7)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{7}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"3": {
"digits": 100,
"metadata": {
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(11)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{11}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(13)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{13}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(15)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{15}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(1/2)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{1/2}$",
"comment": "A diagonal-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "diagonal-cornu",
"retained_verbatim": false
},
"1*sqrt(2/pi)": {
"digits": 100,
"metadata": {
"param-latex": "$1\\sqrt{2/\\pi}$",
"comment": "A unit-quadratic-phase reference; see CITE{balanced-quadratic}."
},
"family": "unit-quadratic",
"retained_verbatim": false
},
"sqrt(3/2)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{3/2}$",
"comment": "A diagonal-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "diagonal-cornu",
"retained_verbatim": false
},
"2*sqrt(2/pi)": {
"digits": 100,
"metadata": {
"param-latex": "$2\\sqrt{2/\\pi}$",
"comment": "A unit-quadratic-phase reference; see CITE{balanced-quadratic}."
},
"family": "unit-quadratic",
"retained_verbatim": false
},
"sqrt(5/2)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{5/2}$",
"comment": "A diagonal-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "diagonal-cornu",
"retained_verbatim": false
},
"3*sqrt(2/pi)": {
"digits": 100,
"metadata": {
"param-latex": "$3\\sqrt{2/\\pi}$",
"comment": "A unit-quadratic-phase reference; see CITE{balanced-quadratic}."
},
"family": "unit-quadratic",
"retained_verbatim": false
},
"sqrt(7/2)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{7/2}$",
"comment": "A diagonal-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "diagonal-cornu",
"retained_verbatim": false
},
"4*sqrt(2/pi)": {
"digits": 100,
"metadata": {
"param-latex": "$4\\sqrt{2/\\pi}$",
"comment": "A unit-quadratic-phase reference; see CITE{balanced-quadratic}."
},
"family": "unit-quadratic",
"retained_verbatim": false
},
"1/2": {
"digits": 100,
"metadata": {
"comment": "A bounded arc-length reference; see CITE{balanced-simple}."
},
"family": "simple-fresnel",
"retained_verbatim": false
}
},
"equivalent_arguments_not_added": {
"1": "already represented by an equivalent exact argument",
"2": "already represented by an equivalent exact argument",
"3": "already represented by an equivalent exact argument",
"4": "already represented by an equivalent exact argument"
}
}