back to table · edit · history · where entries came from · files · download
2177 bytes, as of the version from 2026-10-27 01:03 (current). Recorded here, not run.
{
"tid": "T423",
"before_count": 12,
"after_count": 16,
"baseline_revision": "64ad50dba061da026fd840168767f991e4f2da05827af22df545fab641500a97",
"baseline_stale": false,
"selection": {
"complete_note": "it preserves $u=1,\\ldots,12$, including the hypergraph family $u=k-1$ for $3\\leq k\\leq13$, and adds $u=3/2,5/2,7/2,9/2$ as exploratory nonintegral smoothness-ratio references",
"comment": "The retained integer family is selected by hypergraph edge size CITE{CoreMinimisation}. For smooth-number asymptotics $u=\\log x/\\log y$, and the same root is the saddle parameter in CITE{CoverageSmoothNumbers}. The additional half-integer ratios correspond to $y=x^{2/3},x^{2/5},x^{2/7},x^{2/9}$; this is a short exploratory family of simple power thresholds, not an assertion of separate applications for every fraction. The positive root is chosen for $u>1$, not the ever-present zero solution.",
"sources": [
"https://www.cs.toronto.edu/~molloy/webpapers/xorrsarevised.pdf",
"https://numdam.org/item/JTNB_1993__5_2_411_0.pdf"
],
"families": [
"hypergraph edge-size family",
"nonintegral simple-power smoothness thresholds"
]
},
"policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sources_preserved": {
"checks-evidence.json": "ba9f7ff65d4727873f7b475a19b4b6a094c11ebb65ca38051a5c935191bb49d8",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "5065dc7735e50e6244a91dc8ee2a415b805bb5a72c083ebb697cbdbb8d255378",
"relevance-audit.json": "c1ec809707803d260d784fcad2db0a2afab574908778b400de7d0843bd07a488",
"remaining_values.py": "5c383e4617511b0b97447d9e9eda57c6a046481a763d2c5e7e4222bb7c860d8c",
"selection-2026-09-24.json": "87c40ac283e534cb1c26ec3b75bb2719694b0cb98858599c1fdb1e9f677fc7b3"
},
"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"
}