back to table · edit · history · where entries came from · files · download
1639 bytes, as of the version from 2026-10-27 01:01. Recorded here, not run.
{
"tid": "T187",
"base_revision": "da11054aa9ba9c9e7015b229342a8cf71c412fd83400478f085f552dee09eb0d",
"baseline_inventory_sha256": "5bb4547148edf852ce7126640e2e9cd80d6f599dd055e71975c903d5773cd6c0",
"prior_sources": {
"checks-evidence.json": "5f206fdb8a3e7ab20ee13020b0d8904e0964ff03958b75d06f6d388aa9945c41",
"checks.py": "895c63d28f783a1bcbb4482a99b10d4ecfa496a6d756da7534a7f61fa6a0c21c",
"generate.py": "2b507cfd15ee70705335d98aa5d5d5422fafdaa7fce23d2d16e5d80b7546c0ee",
"intrinsic_values.py": "e18225a18589d3bd29b6b69022b9c83cc00f44b8df69f943d32cf3ba41dd3f9a",
"selection.json": "edb74df1798cbebcf1435876d035b0f6c69ba41770cd70e41b6e3c621dc19a11",
"selection.md": "53a61dc7e29fadfb0e021b7f3b070ab9e36ecbb99bf46477e938de0e25fcd5d7"
},
"retained_entries": 72,
"added_entries": 53,
"all_existing_entry_objects_identical": true,
"retained_generators_unchanged": true,
"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."
}