{
  "table": "T651",
  "stage": "repair",
  "run": "20261101T132645Z",
  "instructions": {
    "manifest": "agents/runs/20261101T132645Z-repair-skills/manifest.json",
    "manifest_sha256": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba",
    "skills": {
      "local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
      "live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
    }
  },
  "changes": [
    "Remove unsupported Data properties.digits only.",
    "Add readable Hilbert class polynomials link captions in Similar tables and rigour details."
  ],
  "new_values": 0,
  "values_unchanged": true,
  "parameters_and_enumeration_unchanged": true,
  "reviewed_sources_unchanged": true,
  "fingerprint_before_and_after": {
    "table": "T651",
    "selection_sha256": "8b6bf28c3718bc7d532fb29bfe03cdf5ee0f87fc2f32e07519efa736f463c7db",
    "generator_files": {
      "generate.py": "5720c03d1476e3ed603dbf2e470033e475ff9e054d768d95f7a7c22b94e49e18",
      "catalogue.py": "e772017de61e774b987c609bfe5ee86af36228d5fa6475b0f2b541b95384e57a",
      "analytic.py": "06f2ea5dedb06248e745b0b3039cc61fb8ec63aac1c7eebbec0ed7fdd3ddff97",
      "argument-selection.md": "bad0e125442b87c66a97dccd4fa173258ee8bc1f629bdac30afd4eed13ddacb3"
    }
  },
  "independent_critique_sidecar_unchanged": {
    "path": "agents/critiques/T651-arguments.json",
    "sha256": "48c60b11921de4de4c4653f85053324cdf28b3074431106db9f277e12b155871"
  },
  "fresh_independent_critique_required": false,
  "review_boundary": "This is repair evidence, not a new independent verdict or acceptance. No selection, definition, program or reviewed generator dependency changed. The controller retains responsibility for review workflow.",
  "numerical_checks": [
    {
      "kind": "environment",
      "sage": "10.9",
      "pari": "(2, 17, 1)",
      "mpmath": "1.4.1"
    },
    {
      "kind": "structure",
      "entries": 15,
      "significant_digits": 100,
      "generator_digits": 100,
      "ordered_enumeration_equal": true,
      "radical_labels_exact": true
    },
    {
      "kind": "independent_lvalue",
      "bits": 550,
      "conductors": [
        36,
        144
      ],
      "zeta_control_absolute_error": "5.42665710323505244981131204655898461160284316763893504268454732170086818592253134188371396914621276909129781652579266043424484676159431012673752035304793730864276643e-166",
      "value": "22.4679681377881864293199494802038970604981677468325114018079628918829901316880001681373531049653475470751219124419027935974141737277651521221493311354425281745970179",
      "stored_midpoint_error_ulp": "0.292487808755809720640258582627223484787785066886455747182540298213521524107144773951185932703098568228429216724598135496947512692602825154768534500367643393622359332",
      "rigour": "heuristic comparison, not a certified enclosure"
    },
    {
      "kind": "independent_lvalue",
      "bits": 650,
      "conductors": [
        36,
        144
      ],
      "zeta_control_absolute_error": "0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "value": "22.4679681377881864293199494802038970604981677468325114018079628918829901316880001681373531049653475470751219124419027935974141737277651521221493311354425281745970178656516137240471856302053031368",
      "stored_midpoint_error_ulp": "0.292487808755809720640258582627223484787785066886455747182540298213434838627595281436979469686322295573070294996339270884209409856183271086783007519854729774386015911686159001269166465279634669241",
      "rigour": "heuristic comparison, not a certified enclosure"
    },
    {
      "kind": "agreement",
      "relative_digits": "165.688627784823825923791924876249319415786440766290336024062072266648886408944435548857316862105276706440418602262078635143211670866407359489947714513253141262780350748312138977030833690294148442",
      "new_values_written": 0
    }
  ],
  "numerical_limits": "All fifteen 100-digit strings and exact argument labels were checked. Only source row 16 was numerically recomputed in this repair, through independent PARI L-values at 550 and 650 bits. No certified error bounds are claimed, and no new value was stored. Two failed label-parser attempts are retained as diagnostics, not successful evidence.",
  "command": "agents/sage.sh \"$TMPDIR/repair-20261101T132645Z-checks.py\" \"$TMPDIR/repair-20261101T132645Z-document.json\" \"$TMPDIR/generate.py\" \"$TMPDIR/catalogue.py\" \"$TMPDIR/analytic.py\"",
  "reproduction": "Download the checks script and document snapshot alongside the existing generate.py, catalogue.py and analytic.py attachments; run sage -python repair-20261101T132645Z-checks.py. It writes no table data and needs no key.",
  "browser": {
    "status": 200,
    "url": "https://numberdb.org/T651",
    "browser": "156.0.8078.4",
    "page_errors": [],
    "math_errors": 0,
    "unknown_key": false,
    "hilbert_links": [
      {
        "caption": "the Hilbert class polynomials",
        "href": "https://numberdb.org/Hilbert_class_polynomials"
      },
      {
        "caption": "Hilbert class polynomials",
        "href": "https://numberdb.org/Hilbert_class_polynomials"
      },
      {
        "caption": "Hilbert class polynomials",
        "href": "https://numberdb.org/Hilbert_class_polynomials"
      }
    ]
  },
  "audit": {
    "tid": "T651",
    "title": "Quadratic CM determinants of Hessian Mahler measures",
    "findings": [
      "15 entries carry a param-latex, which replaces the label of the t column -- and t is a number, so the value is the label; name the quantity in number-header instead"
    ],
    "clean": false
  },
  "audit_disposition": "The unchanged param-latex warning is inapplicable: all fifteen labels represent their exact real radical inputs, verified in AA. The archived skill explicitly permits such symbolic real-argument labels.",
  "publication": "Private draft retained; no offer, publication or review action taken.",
  "document_revision": "2a10ea5d4d691d559bf9d7fa2b1f059bdcfcaa8530c603bf34468ea1e60b1592",
  "files": {
    "document-before.json": "1ad1388e54fe7259e61d925cc3e5a6cace64dd352c1d4256e086af301ce45efe",
    "document-after.json": "538fa8dca4579cb4467d9ec666cddd94266897f0cdcff0dd1bdac54e6bdce171",
    "proposed.diff": "c38786bf651e263b9595952bd96957d8ed0250399eddc1bd083ecc779110c1c9",
    "browser-before.json": "ff6ca19d5975904f0e8e2374380ef18c1dca2f7c36414ab0dda256456c0ca4a1",
    "browser-after.json": "28f6a8937b1cc775b310b0b501d6223996bfaefc80436fb41d5388fd51f05250",
    "audit-before.json": "2e9b2c7a49ca5c8afc1516b56d854976f86aca8d6b1a0f0bcfdcd95023e3841f",
    "audit-after.json": "2e9b2c7a49ca5c8afc1516b56d854976f86aca8d6b1a0f0bcfdcd95023e3841f",
    "repair-20261101T132645Z-checks.py": "775f2776968b9c8ad87f4c8e9ebaa5e0fd238d886237753fcfd8fe51a8483e53",
    "repair-20261101T132645Z-document.json": "1ad1388e54fe7259e61d925cc3e5a6cace64dd352c1d4256e086af301ce45efe",
    "repair-20261101T132645Z-checks.json": "3bdde1bd83d377958654fd96639e4629468c6f883ebcbdd059fb09d90c1adbf3",
    "repair-20261101T132645Z-skill-manifest.json": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba"
  }
}
