back to table · edit · history · where entries came from · files · download
992 bytes, as of the version from 2026-10-30 22:25 (current). Recorded here, not run.
{
"table": "T631",
"purpose": "Verify preserved formulas for a layout-only repair; no new values",
"skill_manifest": "agents/runs/20261030T210745Z-repair-skills/manifest.json",
"skill_sha256_local": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009",
"skill_sha256_live": "10c1d8bd62d6ddfa2c016375ad82879151f0ab7a9516c2f371432108a85be009",
"generator_sha256": "fb65d748f6ec248cc8e8551ea7a9fdb6e8b5aa3a7df8fe69d533e4fe56e4062a",
"sage": "10.9",
"python": "3.12.3",
"ordered_enumeration_matches": 664,
"direct_weight_multiplicities_checked": 10470,
"symmetry_equalities_checked": 7968,
"closed_form_logarithm_controls": 2,
"stored_decimal_enclosures_checked": 4,
"ten_ulp_perturbations_rejected": 4,
"minimum_relative_accuracy_bits": 496,
"scope": "Finite exact multiplicity checks and two projective-space controls corroborate preserved formulas; this is not a fresh independent argument-selection critique or a full numerical recomputation."
}