back to table · edit · history · where entries came from · files · download
2282 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"tid": "T205",
"before_count": 2,
"after_count": 12,
"baseline_revision": "f4d1159244eb6b71c1c61d71a21a8705e38cb47bf3f7518712ec5e03cfd1dc27",
"baseline_stale": false,
"selection": {
"complete_note": "it retains all earlier anchors and covers $x=\\sqrt a$ for integers $1\\leq a\\leq9$, together with $x=1/2,3/2$ and the origin; the quadratic-coefficient family is a bounded exploratory reference, not a dense argument grid",
"comment": "The positive quadratic-coefficient integral $\\int_0^1 e^{a t^2}\\,dt=\\sqrt\\pi\\operatorname{erfi}(\\sqrt a)/(2\\sqrt a)$ selects the square-root arguments. The coefficients $1\\leq a\\leq9$ form a short exploratory reference family; the finite cutoff is not intrinsic. The direct endpoints $1/2$ and $3/2$ complement the unit anchor in the subunit and crossover regimes. Negative arguments follow by oddness. These choices do not assert a published application for every coefficient. Definitions and the Dawson/error-function relation are in CITE{CoverageDefinitions}.",
"sources": [
"https://dlmf.nist.gov/7.2",
"https://dlmf.nist.gov/7.5"
],
"families": [
"exact origin and retained anchors",
"bounded positive quadratic-coefficient integrals",
"two direct half-integer endpoint references"
]
},
"policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sources_preserved": {
"checks-evidence.json": "e7897b0e7754301537bac1531d8c0f651b37a223b5ce985fcd2b3f0f1d352ab7",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "f527b6f31a9763d6bd929408f0f146f3df51feb777592080bd639145864122c3",
"relevance-audit.json": "e16321ffbb3f4d4c385f9bd0d68d1117a0079ff5ac8347546ac12c0f83048651",
"remaining_values.py": "5c383e4617511b0b97447d9e9eda57c6a046481a763d2c5e7e4222bb7c860d8c",
"republish.py": "20d5d23f80895adc6629e61126d165364199b100a5956d234b152de8e34af0b3"
},
"new_generator_provenance": "Extends the attached certified elementary/delay approach; all retained strings remain unchanged and are recomputed, new values are separately checked.",
"removed_entries": [],
"assistance": "codex-cli selected families, implemented generator and performed numerical checks"
}