{
  "tid": "T194",
  "before_count": 2,
  "after_count": 12,
  "baseline_revision": "12ddff2313047be570644d0b663836acfb4fd537029d5f3c9b096b8cc4a334a2",
  "baseline_stale": false,
  "selection": {
    "complete_note": "it retains the exact origin and unit reference and includes $x=1/3,1/2,2,3,4,5,6$ and $\\log 2,\\log 3,\\log 5$ as bounded exploratory hyperbolic-integral references",
    "comment": "The small positive endpoints give a sparse reference from the subunit regime into exponential growth, not a denominator-bounded or decimal grid. The logarithmic endpoints are selected by the substitution $t=\\log v$: the hyperbolic kernel then has rational endpoint data because $\\sinh(\\log v)=(v-v^{-1})/2$ and $\\cosh(\\log v)=(v+v^{-1})/2$. These are exploratory identification targets, not claims of separate published applications. The definitions and the real positive branch follow CITE{DLMFIntegralDefinitions}.",
    "sources": [
      "https://dlmf.nist.gov/6.2"
    ],
    "families": [
      "origin where regular and unit anchor",
      "sparse exploratory direct endpoints",
      "logarithmic endpoints of hyperbolic kernels"
    ]
  },
  "policy_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
  "sources_preserved": {
    "checks-evidence.json": "e52af90351cba19c234f92ef8ee91285d8f52037d67e96cbffbf642b0b79d708",
    "checks.py": "9fb1a41c4b191886094af842cc3c2c7d1cd9839fba1822ebc3c3d6475d04cc6b",
    "generate.py": "72db841655aac2d69d1eda058aef951dd97e23b6db57530f416e893a38582a8a",
    "relevance-audit.json": "80e4884ef1427db1670fe19eb2d05821422aeed7006d59061098fa86a54958e0",
    "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"
}