back to table · edit · history · where entries came from · files · download
3973 bytes, as of the version from 2026-11-10 00:44 (current). Recorded here, not run.
{
"table": "T700",
"repair_run": "20261110T003930Z",
"skill_provenance": {
"manifest": "agents/runs/20261110T003930Z-repair-skills/manifest.json",
"manifest_sha256": "c879ba3e40020535135932a0ac7d93e894d04b267cf416aa702c3c96617ec363",
"versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
}
]
},
"changes": [
"Removed unsupported Data properties.digits; generator digits and numerical precision retained.",
"Added prerequisite comment to displayed Sage snippet.",
"Added readable captions to existing prose and similar-table links."
],
"stored_values_unchanged": true,
"all_original_attachments_unchanged": {
"generate.py": {
"bytes": 4857,
"sha256": "71e68d9e7b774696818fc3f876bd66113a939f3002a08e42cb19a35f763ecf4d"
},
"checks.py": {
"bytes": 9358,
"sha256": "b4b1d07136fb427ece6f113f22cc8b9b143eccde18a6e05a7ba7f1b3fb85f3c4"
},
"argument-selection.md": {
"bytes": 3814,
"sha256": "38b5250f69c36b6eb50f445468edd1c861fa44ad44de5d6303d6a70a0a4e928f"
},
"numerical-evidence.json": {
"bytes": 201517,
"sha256": "d2112e22da27a8e5f43fd176340673553a782d0580d496fbe6324caaf0e1d36b"
}
},
"numerical_regression": {
"table": "T700",
"scope": "Repair regression; no independent argument verdict.",
"sage_version": "10.9",
"generator_verification": "<VerifyReport T700: 362/362 matched, 0 differing, 0 missing, 0 extra>",
"displayed_program_executed": true,
"stored_example": "0.9432623087139065947402392348124305456809454499864044314840291987983217642137583584636771966329804319",
"stored_decimal_places": 100,
"example_enclosure": "[0.9432623087139065947402392348124305456809454499864044314840291987983217642137583584636771966329804319092583532504082579256538723838113 +/- 5.90e-134]",
"example_accuracy_bits": 442,
"example_enclosure_inside_stored_interval": true,
"four_ulp_shift_rejected": true,
"skill_manifest": "agents/runs/20261110T003930Z-repair-skills/manifest.json",
"skill_local_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"skill_live_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
},
"rendering": {
"phase": "after",
"unknown_key": false,
"program": "(P1)\tSage\n\n# Download the attached generate.py into this directory first.\nfrom generate import Table\ng = Table()\nprint(g.value({'Delta': -4, 'N': 4, 'r': 0, 's': 1}, 100))",
"branches": "(6)\tAll logarithms are natural. The principal dilogarithm and principal logarithm in \n\ud835\udc37\n give the standard single-valued Bloch-Wigner function. Its continuous value is zero on the real axis. Classical polylogarithm values appear in the table of classical polylogarithm values.",
"math_errors": 0,
"math_containers": 66,
"page_errors": [],
"overflow": false,
"playwright": "1.64.1",
"chromium": "156.0.8078.4"
},
"audit": {
"tid": "T700",
"title": "Bloch elliptic dilogarithm at CM torsion points",
"findings": [],
"clean": true
},
"selection_fingerprint_before": "c0ff26ccb887aa3d8b836137d05b8ce58d0ca1b2b8bcd77ba650065aea8abe5f",
"selection_fingerprint_after": "05b43b7c47efdcae5f08e82ec89badf48d1bf8e7550a49c8aff1bfb85370d8be",
"fresh_independent_critique_required": true,
"reason": "Programs and Comments participate in the fingerprint even when the changes only affect presentation.",
"independent_sidecar_path": "agents/critiques/T700-arguments.json",
"independent_sidecar_unchanged_sha256": "70f1ad404363bb4cbc3af5dc5d0f37d42e7a9e2360e03881a81a6981293f834f",
"no_offer_review_or_publication": true
}