back to table · edit · history · where entries came from · files · download
2155 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"tid": "T434",
"before_count": 8,
"after_count": 11,
"baseline_revision": "ca34013ee25b2e05079eb50ce4bb249bca9c0676f04e519fcf0553a27ecf5f0d",
"baseline_stale": false,
"selection": {
"complete_note": "it preserves the domain endpoint and delay breakpoints $u=1,\\ldots,8$ 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": "aa2f930cdc88a832ea5d4173437b993b0a653b36e3be9f00c5c6bfbae81f8a2c",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "7a33dbc0b30a931eb06f73b66199d26de53da392aed44d09f1cdd3634d0f1c2c",
"relevance-audit.json": "199ccb220cbc79408f5555fafd9a960327084df6b19608d46fa0191c66775529",
"remaining_values.py": "5c383e4617511b0b97447d9e9eda57c6a046481a763d2c5e7e4222bb7c860d8c",
"selection-2026-09-24.json": "0ffb3d2202454117fff2ca9a13faf2ab76448278a64e7d6bfb0de70f926aede1"
},
"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"
}