repair-numerical-evidence.json

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

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

{
  "table": "T650",
  "scope": "Layout-only formula repair; exact symbolic regrouping plus two numerical controls, not a new certification of all ten values.",
  "skill_provenance": {
    "manifest": "agents/runs/20261101T122610Z-repair-skills/manifest.json",
    "manifest_sha256": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba",
    "versions": [
      {
        "source": "local",
        "file": "skill-local.md",
        "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
      },
      {
        "source": "live",
        "file": "skill-live.md",
        "sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
      }
    ],
    "current_live_matches": true
  },
  "sage": "10.9",
  "python": "3.12.3",
  "mpmath": "1.4.1",
  "unchanged_entries": 10,
  "unchanged_nonformula_sections": true,
  "exact_hypergeometric_coefficients_match": true,
  "exact_hypergeometric_parameters_match": true,
  "curve_j_invariant_match": true,
  "numerical_checks": [
    {
      "t": "24",
      "midpoint_error_ulps": "0.349568657916696",
      "agreement_digits": "135.607515682712"
    },
    {
      "t": "18-6*sqrt(3)",
      "midpoint_error_ulps": "0.468976493334213",
      "agreement_digits": "136.325258457917"
    }
  ],
  "rigour": "heuristic (agreement-checked), unchanged",
  "manifest_path": "agents/runs/20261101T122610Z-repair-skills/manifest.json",
  "files_sha256": {
    "repair_checks.py": "e85da2f027b0eca3208f5c3446c691a9a8bfee309fb0b5ca0f5cb28a93e3df38",
    "document-before.json": "88f3b8440d1fbd8e47075835257c65de841f5a728bbf5f334666509d40ed267d",
    "document-candidate.json": "f9817ea3af437dfd9002e8f8f730db29edcfb5aa5d0b35f6eb7f66bbddf79cf6",
    "skill-provenance.json": "43d85dc33bda73125d754f0180b1cf220a1dcb1532e0a248e0c60a9da98bcb08"
  }
}