back to table · edit · history · where entries came from · files · download
2919 bytes, as of the version from 2026-10-27 19:10 (current). Recorded here, not run.
{
"table": "T557",
"stage": "build",
"skill_manifest": "agents/runs/20261027T185658Z-build-skills/manifest.json",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c"
}
],
"local_checks": {
"table": "T557",
"mode": "local",
"checks": {
"coefficient_comparisons": 207,
"degree_monic_parity": 207,
"transpose_symmetry": 207,
"recurrence_m": 207,
"recurrence_n": 207,
"bilinear_ode": 207,
"painleve_iv": 207,
"hermite_specialization": 50
},
"controls": "known values and deliberately altered values passed",
"measurement": {
"entries": 207,
"longest": 920,
"longest_at": [
1,
50
],
"block_kb": 77.412109375
},
"sage_version": "10.9",
"numberdb_version": "0.1.10",
"elapsed_seconds": 26.47974151233211
},
"exact_values_sha256": "3b3eb2d3f559565a71f45590a8fb7c9d8a3c83e2619af9917d749ae219eac269",
"source_sha256": {
"clarkson-2008.pdf": "b1c8bddb3626e836fa6449e92c946800c075880e368bca3c0be4f26940d920fc",
"buckingham-2020.html": "cff38233d8066a3165866a4693b16cfbec7bed762d6c45b80ca0adb2bd4cd82a"
},
"limitations": "This is builder evidence, not independent critique. No offer, publication, or human review action has been taken. The independent critic must evaluate argument selection and compute a fresh live fingerprint.",
"dry_run": "207 entries; all exact; no disguised exact values; longest 920 characters; helper block 77.6 KiB.",
"program_check": "Programs snippet agrees on all 207 selected pairs",
"readback_checks": {
"table": "T557",
"entries": 207,
"generator_verify": "<VerifyReport T557: 207/207 matched, 0 differing, 0 missing, 0 extra>",
"independent_checks": {
"coefficient_comparisons": 207,
"degree_monic_parity": 207,
"transpose_symmetry": 207,
"recurrence_m": 207,
"recurrence_n": 207,
"bilinear_ode": 207,
"painleve_iv": 207,
"hermite_specialization": 50
},
"controls": "known values and deliberately altered values passed"
},
"audit": {
"tid": "T557",
"title": "Generalized Hermite polynomials for Painlev\u00e9 IV",
"findings": [],
"clean": true
},
"stored_value_equality": "All 207 exact strings and ordered parameter pairs equal the locally checked output.",
"checks_source_sha256": "bd07ec4fd6544993512aa6ce208880166060e1a306bedd7ebd666f81af4d6abd",
"initial_readback_failure": "The API returned nested Numbers; the flat-only adapter failed after generator verify matched 207/207. The adapter and display grouping were fixed, without any numerical change."
}