{
  "tid": "T188",
  "before_count": 2,
  "after_count": 22,
  "baseline_revision": "d776864a38997013d272882a8ca14c5c962169b593fbe5d8a9bba3cfe73bc7f2",
  "baseline_stale": false,
  "selection": {
    "complete_note": "it holds both normalisations at $x=1/3,1/2,1,2,3,4,5,6,8$, and $\\operatorname{Ei}(\\log p)$ for $p=2,3,5,7$; these bounded exploratory integral references preserve the unit anchors and connect to logarithmic-integral values",
    "comment": "The reciprocal subunit inputs and small positive integer endpoints are deliberately sparse reference examples for the exponential kernel in CITE{DLMFIntegralDefinitions}, not an exhaustive rational mesh or individually documented applications. The logarithms of the first four primes are selected through $\\operatorname{Ei}(\\log p)=\\operatorname{li}(p)$, connecting the two integral normalisations. The unit reference retains $eE_1(1)=\\int_0^\\infty e^{-t}/(1+t)\\,dt$, the Euler-Gompertz constant. The finite endpoints are reference-budget choices.",
    "sources": [
      "https://dlmf.nist.gov/6.2"
    ],
    "families": [
      "unit normalization anchors",
      "sparse exploratory exponential endpoints",
      "logarithmic-integral prime endpoints"
    ]
  },
  "policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "sources_preserved": {
    "checks-evidence.json": "7d8191f63f788bce0882326be34f29a5ce926d1079bf2edc8381115245bb20fa",
    "checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
    "generate.py": "fcfdab4a34bb036402672fb5281f41344bb24e0b1e42eb91dc3c030435967ef7",
    "relevance-audit.json": "0d05fa9f4e1b58ffe03839e1f2323ef0af803095ce515f84d9b2e66c4340d112",
    "remaining_values.py": "5c383e4617511b0b97447d9e9eda57c6a046481a763d2c5e7e4222bb7c860d8c",
    "republish.py": "20d5d23f80895adc6629e61126d165364199b100a5956d234b152de8e34af0b3"
  },
  "new_generator_provenance": "Extends the attached certified elementary/delay approach; all retained strings remain unchanged and are recomputed, new values are separately checked.",
  "removed_entries": [],
  "assistance": "codex-cli selected families, implemented generator and performed numerical checks"
}