back to table · edit · history · where entries came from · files · download
1764 bytes, as of the version from 2026-10-27 19:05. 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 build evidence is not independent critique. Post-fill verify and readback checks will be saved separately in the build handoff.",
"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"
}