back to table · edit · history · where entries came from · files · download
2557 bytes, as of the version from 2026-10-27 01:11 (current). Recorded here, not run.
{
"tid": "T494",
"base_revision": "91e6dcc5fa99ee8371a3090dbf556fa3e6dec2975dd9d3f648f31cfcce14ec65",
"baseline_inventory_sha256": "5bb4547148edf852ce7126640e2e9cd80d6f599dd055e71975c903d5773cd6c0",
"prior_sources": {
"T494-repair-checks.json": "ea7a66e785cf427d6a6e7a0d4540b260475622b10c91d0ef4f508e092517503e",
"audit.json": "cfd42dff735add81476ec75e40df543c15e49b515a04844b4a768759c961fe88",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"check_t494_repair.py": "58c2ef4aa0d2cd6cfe6c9b8baf28ef7667fda343b5f378a643f63e3257dd094a",
"checks-evidence.json": "10c8ddf7bef5cd8f1099c4e2ddfbdfc62727f452110307a63a9dcabceb3e802f",
"checks-offline-summary.json": "6e532b3743d16e1f3d971e29322033c628f2f563809a51e1b940ed37069c8250",
"checks-stored-summary.json": "6515544cf918f397adfcf897b863e6b76d50e2f5a4098bd90be2b7525b871ca4",
"checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
"generate.py": "76f51b0f5d09b648ad6b7ffd8e137255ded39350099fd297e32947d21ca5ad4a",
"intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
"numerical-evidence.json": "e89ca2fa4ed1c20e66b6f28f123a0e9c8a0a912225c5c1297df1a9ed3ec647a4",
"program-checks.log": "a8f8628ff5309ff2dcfe1337f9f45562e578e2bd9a0af7b0724310e81d5cbd0c",
"selection.json": "4105b5b1f0d7d0eeaf737e5447c544e1bde91633e63f287ba871c61739d3bd67",
"selection.md": "64b1655bcfb8b148b214cf34688161b09793002a7650583c96b0b0f1340467fd",
"versions.json": "486a8aa2ef9f5cd7c49eda9b2fe5d7e938a05e7c29184d146b3c1b1ff504bc79"
},
"retained_entries": 4,
"added_entries": 19,
"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/11.2",
"https://dlmf.nist.gov/11.4",
"https://dlmf.nist.gov/11.5"
],
"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."
}