back to table · edit · history · where entries came from · files · download
1708 bytes, as of the version from 2026-10-27 01:08 (current). Recorded here, not run.
{
"tid": "T190",
"base_revision": "d7dc0a72cc57b7c26db427544430b85658ac249f0751145c56c3b6b7cf84ea9b",
"baseline_inventory_sha256": "5bb4547148edf852ce7126640e2e9cd80d6f599dd055e71975c903d5773cd6c0",
"prior_sources": {
"checks-evidence.json": "44a7f8e226634d42902b3ba45109ea895325d3afad1136b3a2cffa5fe3b7a482",
"checks.py": "895c63d28f783a1bcbb4482a99b10d4ecfa496a6d756da7534a7f61fa6a0c21c",
"generate.py": "5b5e43abc59db398ecd1493ba0071b5cfcecde5e73b33b574b84d72246ac772d",
"intrinsic_values.py": "e18225a18589d3bd29b6b69022b9c83cc00f44b8df69f943d32cf3ba41dd3f9a",
"selection.json": "ec4e8130dc168de92976508465c0f995a027887776cbbd3b798e578517bdabd9",
"selection.md": "99ecc78fdbaaa676fc67f53b1cd012897af9c55fe37b9e7b64bf210d058fe467"
},
"retained_entries": 72,
"added_entries": 51,
"all_existing_entry_objects_identical": true,
"retained_generators_unchanged": false,
"previous_entry_point_preserved_as": "pre-balanced-generator.py",
"new_generator": "balanced_generate.py",
"checks": "balanced-checks.json",
"sources": [
"https://dlmf.nist.gov/10.2",
"https://dlmf.nist.gov/10.47",
"https://dlmf.nist.gov/10.73"
],
"local_skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"assistance": "codex-cli researched and selected finite reference families, wrote the new generator and checks, and prepared the unreviewed revision",
"native_session_id": "01a17ac9-ba62-7eb3-ac35-6750257ea96c",
"limitation": "Retained values are fully Arb-recomputed; new values additionally have independent mpmath and family-identity checks. Existing manual numbers and annotations are not claimed to originate in this run."
}