{
  "table": "T587",
  "run": "20261028T185354Z",
  "policy": {
    "manifest": "agents/runs/20261028T185354Z-repair-skills/manifest.json",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
      }
    ]
  },
  "selection_before": "f3f4625dc649000225b9fae0e1b0e8af94ce7a4e6b122df77e2728cd84ab396f",
  "selection_final": "f3f4625dc649000225b9fae0e1b0e8af94ce7a4e6b122df77e2728cd84ab396f",
  "independent_review_status": "Not accepted or rewritten by repair; final selection and reviewed attachment fingerprints are unchanged. Controller decides subsequent review.",
  "original_argument_sidecar_sha256_unchanged": "c9ea3d7b9b45c86b246471303958d9115e1e2f36bbd71a541720296971c4a8b6",
  "reviewed_generator_sources_unchanged": {
    "generate.py": "ed33f1a187248fd9cbe91b36a12f0344df905b28b3392b8fdf70a9c6c0b91433",
    "checks.py": "5177d28ea626a8803de19457f8bf5a565cc548204686f997711b7d11d8823768",
    "argument-selection.md": "aa3bf0d4501204348f7b980bfc65c66bcd006f711090aff25046f18db80c8f8e",
    "root-counting.md": "df5faad52340675398ff0d97f4dcc3d0fffaed17e912cc6a245d793967156b5a"
  },
  "net_document_change": false,
  "all_20_values_unchanged": true,
  "attempted_write_response": {
    "tid": "T587",
    "url": "Positive_zeros_of_the_Kelvin_function",
    "revision": "0b30fa41b8355566b63986a32a3a819b107c1faff3dbb263b7dcdc40e2b8b610",
    "unchanged": false,
    "merged": false,
    "reviewed": false
  },
  "attempted_write_audit": {
    "tid": "T587",
    "title": "Positive zeros of the Kelvin function $\\operatorname{kei}_0$",
    "findings": [
      "Definition links to another table; a cross-reference belongs in Similar tables or a comment"
    ],
    "clean": false
  },
  "restore_response": {
    "tid": "T587",
    "url": "Positive_zeros_of_the_Kelvin_function",
    "revision": "1d229e9a829ceeec70dc1526bacee76be2e5d2b9a36c95c36b10c18521d3d32c",
    "unchanged": false,
    "merged": false,
    "reviewed": false
  },
  "final_audit": {
    "tid": "T587",
    "title": "Positive zeros of the Kelvin function $\\operatorname{kei}_0$",
    "findings": [],
    "clean": true
  },
  "numerical_results_sha256": "e73418847e8af3e5673086de569b196d1fa04c26b909c235726088254785741e",
  "numerical_method": "Reran attached real harmonic-series endpoint checks at 1024 bits and counted 353 cells; all 20 regenerated enclosures lie inside stored decimals.",
  "numerical_limitation": "Existing builder checker reused; this repair is not an independent critique.",
  "browser": {
    "status": 200,
    "links": [
      {
        "text": "Kelvin function",
        "href": "Values_of_the_Kelvin_function_4"
      },
      {
        "text": "K0",
        "href": "Values_of_modified_Bessel_functions_of_the_second_kind"
      },
      {
        "text": "[1]",
        "href": "#DLMF"
      }
    ],
    "math_errors": 0,
    "page_errors": [],
    "digits_unknown_key_present": true,
    "playwright": "1.64.1",
    "chromium": "156.0.8078.4",
    "limitation": "Preview of definition, metadata and first row; full private page returns 404."
  },
  "findings": {
    "1": "left for a person: shared renderer labels digits as Unknown key; precision metadata preserved",
    "2": "left for a person: both corpus targets verified, links rendered correctly, but the live audit rejects all HREFs in Definition. Original restored pending alignment with canonical first-mention rule."
  },
  "source_checked": "https://dlmf.nist.gov/10.61#E2",
  "publication_or_review_actions": false
}