back to table · edit · history · where entries came from · files · download
3773 bytes, as of the version from 2026-10-28 18:59 (current). Recorded here, not run.
{
"table": "T587",
"run": "20261028T185354Z",
"policy": {
"manifest": "agents/runs/20261028T185354Z-repair-skills/manifest.json",
"versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
]
},
"selection_before": "f3f4625dc649000225b9fae0e1b0e8af94ce7a4e6b122df77e2728cd84ab396f",
"selection_final": "f3f4625dc649000225b9fae0e1b0e8af94ce7a4e6b122df77e2728cd84ab396f",
"independent_review_status": "Not accepted or rewritten by repair; final selection and reviewed attachment fingerprints are unchanged. Controller decides subsequent review.",
"original_argument_sidecar_sha256_unchanged": "c9ea3d7b9b45c86b246471303958d9115e1e2f36bbd71a541720296971c4a8b6",
"reviewed_generator_sources_unchanged": {
"generate.py": "ed33f1a187248fd9cbe91b36a12f0344df905b28b3392b8fdf70a9c6c0b91433",
"checks.py": "5177d28ea626a8803de19457f8bf5a565cc548204686f997711b7d11d8823768",
"argument-selection.md": "aa3bf0d4501204348f7b980bfc65c66bcd006f711090aff25046f18db80c8f8e",
"root-counting.md": "df5faad52340675398ff0d97f4dcc3d0fffaed17e912cc6a245d793967156b5a"
},
"net_document_change": false,
"all_20_values_unchanged": true,
"attempted_write_response": {
"tid": "T587",
"url": "Positive_zeros_of_the_Kelvin_function",
"revision": "0b30fa41b8355566b63986a32a3a819b107c1faff3dbb263b7dcdc40e2b8b610",
"unchanged": false,
"merged": false,
"reviewed": false
},
"attempted_write_audit": {
"tid": "T587",
"title": "Positive zeros of the Kelvin function $\\operatorname{kei}_0$",
"findings": [
"Definition links to another table; a cross-reference belongs in Similar tables or a comment"
],
"clean": false
},
"restore_response": {
"tid": "T587",
"url": "Positive_zeros_of_the_Kelvin_function",
"revision": "1d229e9a829ceeec70dc1526bacee76be2e5d2b9a36c95c36b10c18521d3d32c",
"unchanged": false,
"merged": false,
"reviewed": false
},
"final_audit": {
"tid": "T587",
"title": "Positive zeros of the Kelvin function $\\operatorname{kei}_0$",
"findings": [],
"clean": true
},
"numerical_results_sha256": "e73418847e8af3e5673086de569b196d1fa04c26b909c235726088254785741e",
"numerical_method": "Reran attached real harmonic-series endpoint checks at 1024 bits and counted 353 cells; all 20 regenerated enclosures lie inside stored decimals.",
"numerical_limitation": "Existing builder checker reused; this repair is not an independent critique.",
"browser": {
"status": 200,
"links": [
{
"text": "Kelvin function",
"href": "Values_of_the_Kelvin_function_4"
},
{
"text": "K0",
"href": "Values_of_modified_Bessel_functions_of_the_second_kind"
},
{
"text": "[1]",
"href": "#DLMF"
}
],
"math_errors": 0,
"page_errors": [],
"digits_unknown_key_present": true,
"playwright": "1.64.1",
"chromium": "156.0.8078.4",
"limitation": "Preview of definition, metadata and first row; full private page returns 404."
},
"findings": {
"1": "left for a person: shared renderer labels digits as Unknown key; precision metadata preserved",
"2": "left for a person: both corpus targets verified, links rendered correctly, but the live audit rejects all HREFs in Definition. Original restored pending alignment with canonical first-mention rule."
},
"source_checked": "https://dlmf.nist.gov/10.61#E2",
"publication_or_review_actions": false
}