back to table · edit · history · where entries came from · files · download
2359 bytes, as of the version from 2026-10-27 01:12 (current). Recorded here, not run.
{
"tid": "T511",
"base_revision": "0cf8b6d4b1facc2775af11a9e34dec6f31f97f6c340172ae7e6c16127416aaa9",
"baseline_inventory_sha256": "5bb4547148edf852ce7126640e2e9cd80d6f599dd055e71975c903d5773cd6c0",
"prior_sources": {
"README.md": "eda9efe8ac746d36d59e57425f25fdde7e3d96d44e1557bae6927551e71ec8a4",
"T511-document.json": "2cf8c92fa72f7b10583c5e7d9fd54f6f25aec097a855a005d59d74d2210578e0",
"T511-normalization-checks.json": "5b7553a38a661286dd1f034a8fa63fdcf1c3a0616dcca252aeb10141bf94d966",
"check-normalization.py": "a54c9fb8fd663bb6174890450b8a6041c3b1e9dd982fca9451be1b5b5a508558",
"checks-evidence.json": "91f06afa68bb0c5258965e2a1f8db49d640086fabfbda5d6774e11f9d065ff5c",
"checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
"evidence.json": "ac1a2cc47152b37faa2225ecf05997d61c429c432f09d84cbd763879a72a663f",
"generate.py": "e9e35d817dfe59ee921fe81b91fe516fa2d0d1daa281b0bbd5619300d21cfeed",
"handoff.md": "09cda5dd1abe535b12b016434e86a7f281adbf6a66825d338c8c172455175e10",
"intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
"selection.json": "aa7fdfc0de4a231a68baaab248816795160184c8111304d07f14733b8a02f478",
"selection.md": "38bc1dea38d09f0d9186cff9e99edf662f64dd5e10c4302ea793581455881c78",
"stored-checks.json": "b8d35c5c565c59a421385849fe7a72d412b07b45e8bba6e77715ab619e089287"
},
"retained_entries": 11,
"added_entries": 39,
"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/33.2",
"https://dlmf.nist.gov/33.5",
"https://dlmf.nist.gov/33.22"
],
"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."
}