back to table · edit · history · where entries came from · files · download
10851 bytes, as of the version from 2026-10-27 01:08 (current). Recorded here, not run.
{
"tid": "T208",
"baseline_revision": "3eb37d59c3207428ea71716ae89ad645675884d7d79d2c0f2f7bab91308caa6a",
"baseline_state": "fresh-authoritative-export",
"retention_policy": "Every predecessor entry and comment is retained verbatim and rechecked.",
"baseline_source_sha256": {
"checks-evidence.json": "2b4f1d823d0c8e3c49fbb57461c5161344d3a54cda77ace9d5cccac4158cbdf5",
"checks.py": "04469183357d5b8bd145b6b2c94e200931eded5a5f3c374cc1190fba71923bbb",
"curated_values.py": "6adcf22ee174efd4c3b45ad4cd44ea1af66f18fac94c3a26d303febe0434539c",
"generate.py": "74a67373f8f5cad2b0afc2a971b763238d5692168e065658c938abbe4eb01192",
"republish.py": "40b0d95811e94f6ad3477642eb86f121c124fcf31d0b78385ae2c6ece7adaabd",
"scorer.py": "06038903ed7b3f1d1c854bd0671f5e317f818baea8069f47db53cde78049ae1f",
"selection.md": "4cb5cd3b1894babe3f49f287c693cdbe4a65143720bfd79dd73908bb11e5d19c"
},
"entries": {
"0": {
"digits": 100,
"metadata": {},
"family": "retained",
"retained_verbatim": true
},
"1": {
"digits": 100,
"metadata": {
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(3)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{3}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(5)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{5}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(7)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{7}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"3": {
"digits": 100,
"metadata": {
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(11)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{11}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(13)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{13}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(15)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{15}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(17)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{17}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(19)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{19}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(21)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{21}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(23)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{23}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"5": {
"digits": 100,
"metadata": {
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(27)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{27}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(29)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{29}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(31)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{31}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(33)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{33}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(35)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{35}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(37)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{37}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(39)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{39}$",
"comment": "The argument is specified by CITE{argument-selection}."
},
"family": "retained",
"retained_verbatim": true
},
"sqrt(2)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{2}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"2": {
"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(6)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{6}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(8)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{8}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(10)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{10}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(12)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{12}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"sqrt(14)": {
"digits": 100,
"metadata": {
"param-latex": "$\\sqrt{14}$",
"comment": "The other coordinate at an axis-tangent point of Cornu's spiral; see CITE{balanced-cornu}."
},
"family": "paired-cornu",
"retained_verbatim": false
},
"4": {
"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(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"
}
}