repair-checks-after.json

back to table · edit · history · where entries came from · files · download

485 bytes, as of the version from 2026-10-25 10:54 (current). Recorded here, not run.

{
  "table": "T483",
  "symbolic_size_identities": "Euler and face-incidence equations hold identically; unique solutions",
  "controls": [
    "tetrahedron: V=4,E=6,F=4",
    "cube: V=8,E=12,F=6"
  ],
  "each_class_has_one_size": true,
  "type_I_stored_interval_brackets_positive_sqrt_432": true,
  "type_I_arb_radius": "7.4353765e-119",
  "generator_verification": "<VerifyReport T483: 11/11 matched, 0 differing, 0 missing, 0 extra>",
  "python": "3.12.3",
  "numberdb": "0.1.10"
}