{
  "status": "all independent exact checks passed",
  "arithmetic": "SymPy ZZ/QQ",
  "wall_count": 8,
  "finite_vertices": 10,
  "ideal_vertices": 6,
  "height_zero_roots": 24,
  "height_one_roots": 312,
  "chamber_symmetries": 48,
  "dihedral_pairs": {
    "order_2": 12,
    "order_3": 12,
    "infinite": 4
  },
  "negative_control": "omitted wall admits spacelike point (1,16/3,0,0,0)",
  "known_case": "D4 finite simple-root reflection orbit reproduces all 24 roots",
  "limitations": "Classical Coxeter fundamental-domain theorem and the written infinite-height reduction proof remain mathematical inputs; no Lean certification or subgroup index."
}