back to table · edit · history · where entries came from · files · download
2714 bytes, as of the version from 2026-10-27 01:14 (current). Recorded here, not run.
{
"tid": "T509",
"base_revision": "9bdbe132dc7c5425a22e03ae621d1635d2a3a80178427b8c1aec273b1783d13c",
"baseline_inventory_sha256": "5bb4547148edf852ce7126640e2e9cd80d6f599dd055e71975c903d5773cd6c0",
"prior_sources": {
"audit.json": "78deb2ffe24387af17f0b8067cff76de705f08ba9690f090320bd9d454998c59",
"check.py": "1b69965212b74b8e9fa1d38b507f5629f9f4319707aefcf0bcb0dc94a6fb611b",
"check_t509_repair.py": "983a9bd810c2ac0affe3b2ca796e8f9d7c8ec81baba9ebb13af2fe7ac0e11845",
"checks-evidence.json": "de96d2f1d43bc2202e64f0985e0d8e16a6304eb07d656996de5e9bf027ffd935",
"checks.py": "d493ae7f6d9548dfdafc50940c3bc2a14062f66ed0b6511f86a3bc0d4e281785",
"computed-checks.jsonl": "4e3c54e3ad33c111725d9c7fd3ef4cf82d9d1a03db821d58570189a05b8254f9",
"dry-run.log": "61df7e73a1c7979c7128e7a79f35d0d3d566192f6869cac8167089acf2d326a9",
"generate.py": "8f9b79e9411d1987077a6ce37916b6a9c2c192ff18c80d1c8188c46ff9a9dd24",
"intrinsic_values.py": "9abda9287522297eea7668269d83aca3dc63e4c6385120fd663ff40d2310e184",
"program-checks.jsonl": "4ed4d620a3bf2abe8e0802bb81f172a2cd6f8a3ad3b2cf4e46fdf4d8d2942a65",
"repair_checks.json": "9fe531f626cff3bfe28fbef0e7c8d84171c4e2aefaa7be759a4765b1daa3510b",
"selection.json": "b367955fea49f73eba8d88db5faf6b838c926bc49aa2f584726ca3b0be9e4029",
"selection.md": "374ec33aa8963e23e50a7cef25b28e3b999acb7788884e71bf889177fa555ce0",
"stored-checks.jsonl": "a3e1915e58882c76870eea0087a755a9f97be241a67247e8deb08c5840306cd9",
"validation-repair.md": "47763424f0419275b37678e9f4d4bf53327352d36dc5ecd8ac20d59742c1e12f",
"validation.md": "a066e2294b8d14c577139feea5f485ae762bbe28b36fc8a56b88fe8e7aa99b39",
"verify.log": "2283cdbab30624bcbf283be5fae0268ed01f397889233392a8e6335365b5afbe"
},
"retained_entries": 7,
"added_entries": 14,
"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.61",
"https://dlmf.nist.gov/10.63",
"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."
}