relevance-audit.json

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

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

{
  "table": "T205",
  "baseline_revision": "a1801eff0e727d29e49d123f1d268204d6d62a75f0b2fa357d7465470b7ff77b",
  "baseline_entries": 121,
  "status": "origin justified; nonzero application selection unresolved; one reference sample",
  "selection": "it holds the exact symmetry anchor $\\operatorname{erfi}(0)=0$ and the single unit-argument reference $\\operatorname{erfi}(1)$; no application-selected nonzero family is asserted",
  "reason": "The definition CITE{DLMFDefinitions} gives the origin value and $\\operatorname{erfi}^{\\prime}(x)=2e^{x^2}/\\sqrt\\pi>0$. There is no real stationary-point family. The value at $1$ is only an explicit reference sample, not evidence that a bounded-denominator set is mathematically distinguished.",
  "primary_sources": [
    "https://dlmf.nist.gov/7.2"
  ],
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "earlier_skill_sha256": "ddda1bedfde5a883d9a3d1d24e88e731970776abd37e4a91d4c01c4af8542c44",
  "every_free_parameter": {
    "x": "origin justified; nonzero application selection unresolved; one 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
}