relevance-audit.json

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

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

{
  "table": "T195",
  "baseline_revision": "7292161d22f5fc6940ac3948d787c8d7aa1746f0a518086396f7a34cdc9c74f3",
  "baseline_entries": 1000,
  "status": "application selection unresolved; one explicit reference sample",
  "selection": "it holds the single unit-argument reference $\\operatorname{Chi}(1)$; no application-selected family is asserted",
  "reason": "Differentiating CITE{formula-shi-chi} gives $\\operatorname{Chi}^{\\prime}(x)=\\cosh(x)/x>0$ for $x>0$, while the origin is singular CITE{DLMFIntegralDefinitions}. Thus neither a positive stationary-point family nor a finite origin value selects arguments here. The value at $1$ is explicitly a minimal reference sample; the unit endpoint also makes the $\\log x$ term vanish.",
  "primary_sources": [
    "https://dlmf.nist.gov/6.2"
  ],
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "earlier_skill_sha256": "ddda1bedfde5a883d9a3d1d24e88e731970776abd37e4a91d4c01c4af8542c44",
  "every_free_parameter": {
    "x": "application selection unresolved; one explicit reference sample"
  },
  "retained_numeric_identifiers_reused_without_reassignment": true,
  "hand_edited_leaf_metadata_preserved": true,
  "removed_samples_retained_in_website_revision_history": true,
  "publication_or_approval_requested": false
}