back to table · edit · history · where entries came from · files · download
2036 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"tid": "T433",
"before_count": 10,
"after_count": 13,
"baseline_revision": "db4197bc8996b7038de41f373ecdd8da3d1537a68ab66ece9c0cf5fc09935343",
"baseline_stale": false,
"selection": {
"complete_note": "it preserves the delay breakpoints $u=1,\\ldots,10$ and adds $u=3/2,5/2,7/2$ as exploratory interior references in the first three unit intervals after the endpoint $1$",
"comment": "The method of steps for the delay equation CITE{DelayEquations} makes unit intervals the natural analytic pieces. One midpoint from each of the first three intervals supplies interior reference values without extending a dense rational mesh or merely adding more joins. The associated power thresholds are $y=x^{2/3},x^{2/5},x^{2/7}$. This bounded interior selection is exploratory; the reference supports the equation and interval structure, not separate demand for each midpoint.",
"sources": [
"https://doi.org/10.1090/S0025-5718-1989-0969490-3",
"https://numdam.org/item/JTNB_1993__5_2_411_0.pdf"
],
"families": [
"preserved integer delay breakpoints",
"first three analytic-branch interiors"
]
},
"policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sources_preserved": {
"checks-evidence.json": "a20dd049d91587e90eae277ed4212c26e03539cb775350071d7449cd88799dcf",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "d7a4c83d714e4288fa567d0648799ee266c0f853fb297ef15973612eb24fbca3",
"relevance-audit.json": "4f3f1742b3fb45479c859957554f4d77c1f7c3fb892353fd6a2b4e0c8615001d",
"remaining_values.py": "5c383e4617511b0b97447d9e9eda57c6a046481a763d2c5e7e4222bb7c860d8c"
},
"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"
}