back to table · edit · history · where entries came from · files · download
2165 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"tid": "T195",
"before_count": 1,
"after_count": 11,
"baseline_revision": "6e9e1fa83ea69c3bf6f9422a3c735431779aabdd30cb08165c114e2c6818b1f3",
"baseline_stale": false,
"selection": {
"complete_note": "it retains the unit reference and includes $x=1/3,1/2,2,3,4,5,6$ and $\\log 2,\\log 3,\\log 5$ as bounded exploratory hyperbolic-integral references; no finite value is assigned to the singular origin",
"comment": "The small positive endpoints give a sparse reference from the subunit regime into exponential growth, not a denominator-bounded or decimal grid. The logarithmic endpoints are selected by the substitution $t=\\log v$: the hyperbolic kernel then has rational endpoint data because $\\sinh(\\log v)=(v-v^{-1})/2$ and $\\cosh(\\log v)=(v+v^{-1})/2$. These are exploratory identification targets, not claims of separate published applications. The definitions and the real positive branch follow CITE{DLMFIntegralDefinitions}.",
"sources": [
"https://dlmf.nist.gov/6.2"
],
"families": [
"origin where regular and unit anchor",
"sparse exploratory direct endpoints",
"logarithmic endpoints of hyperbolic kernels"
]
},
"policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sources_preserved": {
"checks-evidence.json": "a07a62f9cd848b3d0d4dd0ecc4ad896d2461e7032b824f0483e73b72a8d592ab",
"checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
"generate.py": "648ff47111f8aa1a094091e69b1b40ff3cb63cefef3c3cf74490afa4b64036ce",
"relevance-audit.json": "2ebd7c90b0005409a645c2cfdcc71619761f86eb96ef8fdf1c6ab72513ea3b0a",
"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"
}