repair-program-check.json

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

2901 bytes, as of the version from 2026-11-09 23:51 (current). Recorded here, not run.

{
  "table": "T697",
  "skill_manifest": "agents/runs/20261109T222649Z-repair-skills/manifest.json",
  "skill_manifest_sha256": "c879ba3e40020535135932a0ac7d93e894d04b267cf416aa702c3c96617ec363",
  "skill_versions": [
    {
      "source": "local",
      "file": "skill-local.md",
      "sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
    },
    {
      "source": "live",
      "file": "skill-live.md",
      "sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
    }
  ],
  "versions": {
    "python": "3.12.3",
    "Sage": "10.9",
    "mpmath": "1.4.1"
  },
  "program_code_sha256": "1a6ff497c156c1ca331a2e086b43e067376354dd1e66134178bceeb9ecd0dc47",
  "checks": [
    {
      "control": [
        3,
        2,
        "1/3"
      ],
      "relative_error": "4.50269035953e-182"
    },
    {
      "control": [
        4,
        3,
        "1"
      ],
      "relative_error": "1.83497716311e-181"
    },
    {
      "params": {
        "n": 2,
        "k": 0,
        "t": "1/2"
      },
      "stored": "0.9159655941772190150546035149323841107741493742816721342664981196217630197762547694793565129261151062",
      "distance_in_last_places": "0.48574422619196199579",
      "relative_precision_agreement": "4.22149577724e-132",
      "closed_form_relative_error": "6.28085371555e-182"
    },
    {
      "params": {
        "n": 3,
        "k": 0,
        "t": "1"
      },
      "stored": "-2.583856390024985014623026255591782933518774047157092307845378175317199576455475503130558419383573849",
      "distance_in_last_places": "0.41917683013102805186",
      "relative_precision_agreement": "2.05379064888e-131",
      "closed_form_relative_error": "4.88617060113e-181"
    },
    {
      "params": {
        "n": 4,
        "k": 0,
        "t": "1"
      },
      "stored": "5.664559704244618390805213689878814232251845559194979946374429864326831982539750497678517633998938060",
      "distance_in_last_places": "0.18114587513355910927",
      "relative_precision_agreement": "2.43540169607e-129",
      "closed_form_relative_error": "8.8683843318e-179"
    },
    {
      "params": {
        "n": 4,
        "k": 0,
        "t": "5/6"
      },
      "stored": "5.830507044549023790975395079462744709672138287562057929136693012013993205987551469995370313453063807",
      "distance_in_last_places": "0.20945418842035179215",
      "relative_precision_agreement": "1.97727759066e-129"
    },
    {
      "params": {
        "n": 2,
        "k": 0,
        "t": "1"
      },
      "exact_stored_zero": true,
      "quadrature_residual": "-6.1065494354e-182",
      "limitation": "The residual checks the snippet; it does not establish exactness."
    }
  ],
  "new_values": false,
  "limitations": "This checks the unchanged snippet and selected existing values. No all-row recertification was required for the Programs structure repair."
}