back to table · edit · history · where entries came from · files · download
2752 bytes, as of the version from 2026-11-02 06:04 (current). Recorded here, not run.
{
"table": "T670",
"skill_manifest": "agents/runs/20261102T055816Z-repair-skills/manifest.json",
"skill_manifest_sha256": "2ed18a5ba549629b2149341ece7834c3c10445d5345622bccc42c66178a837ba",
"skill_versions": [
{
"source": "local",
"file": "skill-local.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
{
"source": "live",
"file": "skill-live.md",
"sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}
],
"selection_sha256_before": "105d9b104dcd854b38502431859969cb26d042dedc6da8d66fddd2fd3204fe6f",
"critique_sidecar_sha256": "16e78b8b48e4057e6f0751c632aba9838696a05f3c6326d81a805d7bad5759cc",
"selection_sha256_after": "061fd10ff2ff6b11f69d8a7526911f5f1885c4c214817aaf10b5afa97d3bbd6a",
"generator_files_unchanged": {
"generate.py": "81143e0e5a62e45ae04991d161d3fc5365254f6936b0b416a10db7c39fdda564",
"argument-selection.md": "c980d5ee11d2c912c81943126ad13bb592abf63b9a10d955104409022948a11b"
},
"all_500_values_and_entry_identities_unchanged": true,
"table_edit": {
"tid": "T670",
"url": "Stable_Faltings_heights_of_CM_elliptic_curves",
"revision": "d2e46b8ad7d41168dd87a2cf2217c86c31bbc5354ddf1e21d52c38a517198452",
"unchanged": false,
"merged": false,
"reviewed": false
},
"independent_critique_sidecar_untouched": true,
"fresh_independent_critique_required": true,
"offered_published_or_reviewed": false,
"source_checked": {
"url": "https://tylergenao.com/wp-content/uploads/2017/09/faltings-heights-of-cm-elliptic-curves-and-special-gamma-values.pdf",
"locator": "Remark 1.4, equation (1.2), p. 2",
"sha256": "f91cc2017dcc82dbc55d641d397c8b2bb5fc15205b1377cdaae8bdbbd7fc14a6"
},
"numerical_evidence": "normalization-results.json",
"numerical_scope": "All 500 values reproduced with original generator; nine independent eta-series geometric-height checks plus AGM and perturbation controls. This is repair validation, not an independent argument-selection verdict.",
"numerical_invocation": "agents/sage.sh \"$TMPDIR/normalization-check.py\" \"$TMPDIR/document-before.json\" \"$TMPDIR/generate.py\" > \"$TMPDIR/normalization-results.json\" 2> \"$TMPDIR/normalization-stderr.txt\"",
"checker_sha256": "ad7c016bb71d77571057348ea13d4a679dfd4844eafb71a98ea1016af3347c07",
"checker_note": "After the successful run, its docstring citation was corrected from DLMF 23.17.3 to 23.17.6 with the nome convention; executable code is unchanged.",
"environment_finding": "The live renderer still labels valid digits metadata Unknown key; source property_names omits digits. No site source or deployment changes were authorized for this artifact repair."
}