balanced-provenance.json

back to table · edit · history · where entries came from · files · download

1253 bytes, as of the version from 2026-10-27 01:10 (current). Recorded here, not run.

{
  "tid": "T375",
  "base_revision": "cfad18d50b782929f0c9d275e01257fb45071e243e3a48309bc4e647742df143",
  "baseline_inventory_sha256": "5bb4547148edf852ce7126640e2e9cd80d6f599dd055e71975c903d5773cd6c0",
  "prior_sources": {
    "generate.py": "dffa4652e00a04ef92a22edd9a06147ab36e685e11923512bdb55bf4bfcc140f"
  },
  "retained_entries": 792,
  "added_entries": 9,
  "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/14.3",
    "https://dlmf.nist.gov/14.5",
    "https://dlmf.nist.gov/14.19"
  ],
  "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."
}