back to table · edit · history · where entries came from · files · download
2291 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"tid": "T206",
"before_count": 3,
"after_count": 13,
"baseline_revision": "f3d26ae1eb7b2bf542ef201bcff5ac51d95addf798b6b1d87d10e23c484d3daf",
"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 and the unique positive maximal height; the quadratic-coefficient family is a bounded exploratory reference, not a dense argument grid",
"comment": "The damped quadratic-coefficient integral $\\int_0^1 e^{-a(1-t^2)}\\,dt=F(\\sqrt a)/\\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": "579f6e2233c8b6f5f3a105741432ba6afbb230c7ba8ecb78f61c5c06519f9c3f",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "651f12417b1fb2be0a90e98a8e2273b2e207757189df70d6282d794543d7e1af",
"relevance-audit.json": "341564a1f0422120c57d2014dc1aa8fec778b494b2647676f9fa8ac2854090fa",
"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"
}