back to table · edit · history · where entries came from · files · download
1010 bytes, as of the version from 2026-11-01 06:59 (current). Recorded here, not run.
{
"table": "T643",
"skill_manifest": "agents/runs/20261101T065245Z-repair-skills/manifest.json",
"skill_local_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"skill_live_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"sage_version": "10.9",
"python_version": "3.12.3",
"identity_change": "display delimiters, alignment and line break only; all mathematical tokens and prose preserved",
"ordinary_traces_exactly_checked": 100,
"zero_support_indices_checked": 100,
"known_answer_controls": {
"3": -248,
"4": 492,
"12": 53008
},
"wrong_answer_control_rejected": true,
"all_400_stored_values_and_identifiers_unchanged": true,
"limitations": "Only the displayed ordinary-trace generating identity was recomputed during repair. Higher Hecke orders were preserved, not recomputed. No interval or precision claim is introduced.",
"checker_sha256": "b54d76c8e2c8965050c0753442b937210a377f694848412c8ecafdfb1f0532aa"
}