back to table · edit · history · where entries came from · files · download
2126 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"tid": "T422",
"before_count": 6,
"after_count": 11,
"baseline_revision": "b20bd3f29164aee98e8e955a3f35e0acba71f0661e6db7744f4a0b63453eca49",
"baseline_stale": false,
"selection": {
"complete_note": "it preserves the endpoints and upper-sieve transitions $s=1,2,3,5,7,9$, adds $s=4$ at the next lower-sieve transition, and uses $s=3/2,5/2,7/2,9/2$ as exploratory interior references for the initial and first nonconstant branches",
"comment": "The coupled delay equations in CITE{LinearSieveArguments} distinguish the initial branch, upper transitions at odd integers, and lower transitions at even integers. The first four half-integer references give interior values rather than only join values; they are a bounded exploratory choice tied to those branches, not an unrestricted half-integer grid. They stop at $9/2$ to emphasize the first correction to the elementary upper branch. All earlier deeper transition values remain.",
"sources": [
"https://terrytao.wordpress.com/2015/01/29/254a-supplement-5-the-linear-sieve-and-chens-theorem-optional/"
],
"families": [
"preserved delay transitions",
"next lower-sieve transition",
"early-branch interior reference slice"
]
},
"policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sources_preserved": {
"checks-evidence.json": "3bb4cca17b632e2c36c4cb90140927f97a89071867d7eb72007b9026b704960b",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "649b18dcc6c11be064e9eaf685a922009a636fb8d59c5cfca25adedc6d7dc524",
"relevance-audit.json": "50464bd419de4441f4050cf76ef9800bf93cee05bd0f156b1ac5fd2157746235",
"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"
}