repair-evidence-20261028T201506Z.json

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

5721 bytes, as of the version from 2026-10-28 20:22 (current). Recorded here, not run.

{
  "table": "T589",
  "stage": "repair",
  "run": "20261028T201506Z",
  "scope": "Caption-only final document repair; no publication, offer, human review or independent critique verdict.",
  "skill_manifest": "agents/runs/20261028T201506Z-repair-skills/manifest.json",
  "skill_sha256": {
    "local": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
    "live": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
  },
  "before_document_sha256": "11a5f3aa75ddf217cb35d553d657ba4fffe2225dfb66c77c902e8db53f9239c3",
  "final_document_sha256": "d171a64d3caac76d182beca73c5d508224a74e2e2f82e5383ca2853cf0dcad5e",
  "final_changed_sections": [
    "Similar tables"
  ],
  "finding_1": {
    "status": "left for a person",
    "evidence": "Live preview shows digits: 100 (Unknown key). Valid precision metadata retained; site source edits and deployment outside artifact-run scope."
  },
  "finding_2": {
    "captions": "done; all four target definitions fetched and verified; relationships unchanged",
    "definition_link": "left for a person; added and then restored after audit flagged all HREF links in Definition, conflicting with skill first-mention guidance"
  },
  "numerical_checks": {
    "execution": "Fresh execution of attached checks.py against saved live before.json using agents/sage.sh; no new independent critic verdict.",
    "result": "All 20 100-significant-digit stored intervals have strict endpoint sign changes; shifted intervals rejected; 690 root-count cells certified.",
    "working_bits": 800,
    "series_bits": 900,
    "versions": {
      "sage": "10.9",
      "numberdb": "0.1.10",
      "mpmath": "1.4.1"
    },
    "evidence_file": "numerical-checks.json",
    "evidence_sha256": "050340c8c35df98e6b7d6e190d8592d10ae0d399c1440e8f82ec5ecbc070e37f",
    "reproduce": "sage -python checks.py table.json (a saved current API document); generate.py, certificate.md and argument-selection.md must be beside checks.py.",
    "manifest_note": "The unchanged checker reports its original build manifest; this execution is governed by the repair manifest recorded in this evidence."
  },
  "rendering": {
    "table": "T589",
    "scope": "Live preview of exact final Definition, Similar tables, parameters, links, precision metadata and first row; private full page returned 404 with API credentials.",
    "math_errors": 0,
    "page_errors": [],
    "precision_warning_remains": true,
    "links": [
      {
        "href": "Values_of_the_Kelvin_function",
        "text": "Values of \nber\n𝜈"
      },
      {
        "href": "Values_of_the_Kelvin_function_2",
        "text": "Values of \nbei\n𝜈"
      },
      {
        "href": "Positive_zeros_of_the_Kelvin_function",
        "text": "Positive zeros of \nkei\n0"
      },
      {
        "href": "Zeros_of_Bessel_J_functions",
        "text": "Zeros of Bessel \n𝐽\n𝛼"
      },
      {
        "href": "/help#how-well-known",
        "text": "How well the digits are known"
      }
    ],
    "versions": {
      "chromium": "156.0.8078.4",
      "playwright": "1.64.1"
    }
  },
  "audit": {
    "tid": "T589",
    "title": "Positive zeros of the Kelvin function $\\operatorname{ber}_0$",
    "findings": [],
    "clean": true
  },
  "fingerprint_before": {
    "table": "T589",
    "selection_sha256": "6a6242ac7c0ccb0d334a6e4883bd1c25123177ea364f35545a46608b85174f39",
    "generator_files": {
      "generate.py": "05492a645e9c0112ff03cfeb23ae7ee94bdb2e1ce14e36703687d7433a5b8619",
      "checks.py": "ee9d6bd21db38bd5a2f9fbf9eaa5cc0d921a04c4090c2ed8f44686c4f2ffa2ea",
      "certificate.md": "be05ec8bd332e658384356f75c2ce7a5fb22ac65d8829136fc9afecc741ba962",
      "argument-selection.md": "514a1e015804eb85bd9aa892624f2468207310423bf536f7c1377118b2eed964"
    }
  },
  "fingerprint_final": {
    "table": "T589",
    "selection_sha256": "6a6242ac7c0ccb0d334a6e4883bd1c25123177ea364f35545a46608b85174f39",
    "generator_files": {
      "generate.py": "05492a645e9c0112ff03cfeb23ae7ee94bdb2e1ce14e36703687d7433a5b8619",
      "checks.py": "ee9d6bd21db38bd5a2f9fbf9eaa5cc0d921a04c4090c2ed8f44686c4f2ffa2ea",
      "certificate.md": "be05ec8bd332e658384356f75c2ce7a5fb22ac65d8829136fc9afecc741ba962",
      "argument-selection.md": "514a1e015804eb85bd9aa892624f2468207310423bf536f7c1377118b2eed964"
    }
  },
  "independent_sidecar_sha256": "2b489bfbb7373a99ba3c03a4af37cb4f696458c5281a208df552c70506fb2b39",
  "independent_sidecar_action": "Untouched. No acceptance or verdict written by repair.",
  "review_handoff": "The temporary Definition change was restored. Final mathematical definition, arguments, Programs, completeness and reviewed source hashes equal the original. Similar tables captions lie outside the selection fingerprint. No new independent acceptance is asserted; controller owns subsequent stages.",
  "artifacts": {
    "edit.diff": "896220b8ab8417306af62c304f86d03268568d6834b94e1394a515b43fa5be97",
    "resolve-audit.diff": "d853a8b2620e9a17b91e6e33070981d19b4a31fe8180d6d6f2c802911b4568c1",
    "write-response.json": "378d5a00b2fe0a34bce21cf5132e6ff086114cacc4607982d7a3314c17db0b39",
    "write-final-response.json": "315ace2e4f5e025e9f73222a67551f45e096ebb75ac416bfce699f5768c5c005",
    "audit-after.json": "7d14363c6de6e1ac861038d3f844d85b0ac46f1b8a894f3c85022061bf95c0ac",
    "audit-final.json": "bff50ba312cbae63b9bd49909be42c0b985822a8691ad9c0a2111fd1af1ed98d",
    "render-final-results.json": "7a8595ae367b57d0cb9fd77dc79a6fbd8dec8d0f0e12e1a1f45dbbf8fc93ad73",
    "fetch-before.log": "c434d41e67913c9ba473df71ab50412be23e6d534937d61e812cfb9990ad29e3",
    "inspect-live.log": "106ff183de80e2bbd94515761369c7ea730d67c38a8a7bf7410e0c4432499c50"
  }
}