relevance-audit.json

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

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

{
  "table": "T206",
  "baseline_revision": "10cc7ade230b5671cd52b168e73ff02ed2f1b82ae8c2d4ed65fc428405771169",
  "baseline_entries": 1001,
  "status": "intrinsic maximum and origin; one reference sample",
  "selection": "it holds the exact origin, the unique positive maximal height $F(x_{\\mathrm{max}})$, and $F(1)$ as a single unit-argument reference; negative values follow by oddness",
  "reason": "Let $x_{\\mathrm{max}}$ be the positive root of $1-2xF(x)=0$. Differentiating the defining integral CITE{DawsonDefinition} gives $F^{\\prime}=1-2xF$. At a positive stationary point $F^{\\prime\\prime}=-2F<0$, so every stationary point is a strict downward crossing of $F^{\\prime}$; there can be only one. This root lies in $(1/2,1)$. The stored value is the maximal height, not the root location. The origin is exact; $F(1)$ is a reference sample rather than an extremum.",
  "primary_sources": [
    "https://dlmf.nist.gov/7.2"
  ],
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "earlier_skill_sha256": "ddda1bedfde5a883d9a3d1d24e88e731970776abd37e4a91d4c01c4af8542c44",
  "every_free_parameter": {
    "x": "intrinsic maximum and origin; 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
}