back to table · edit · history · where entries came from · files · download
7345 bytes, as of the version from 2026-11-02 11:02 (current). Recorded here, not run.
{
"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"
}
}