{
  "status": "exact_comparison_bounds_passed",
  "coordinate_tolerance_exact": "1/100000000",
  "per_cell_volume_tolerance_exact": "1/1000000000",
  "original_cells": 330,
  "represented_original_cells": 330,
  "physical_groups_preserved": 45,
  "max_translation_change_exact": [
    "7479989622521717119887/274877906944000000000000",
    "0",
    "279/2780",
    "52860718253/5000000000000",
    "0",
    "-11/13900"
  ],
  "max_translation_change_approx": 1.3807289717681868e-13,
  "max_original_plane_violation_exact": "8485/18014398509481984",
  "max_original_plane_violation_approx": 4.710121181972227e-13,
  "max_cell_reported_volume_change_exact": [
    "23615531216736204136030605050366704188108325749/58300825600000000000000000000000000000000000000",
    "-35466248143365389/139000000000000000",
    "-32714538363521567736725316789/278000000000000000000000000000",
    "-2367879169596559666561532511780081326119/417000000000000000000000000000000000000000",
    "492472596814731/695000000000000000",
    "1062254342786812921047492481/1390000000000000000000000000000"
  ],
  "max_cell_reported_volume_change_approx": 1.1881423100114006e-14,
  "coverage_rounds_to_95_0668_percent": true,
  "limits": [
    "Requires separate exact geometry verification of the certificate",
    "Comparison to saved numerical plane/volume records; not a two-sided Hausdorff bound",
    "Literal stored meshes are not made exact by this comparison"
  ],
  "certificate_sha256": "d413b8228a98669c71e735a39dda67643ccd3076fa1b2d30b7890af14735a222",
  "source_geometry_sha256": "61e419c842dea133d9e32d88c814cdd5f617f6ad2a6b65b14728dab8d2205696",
  "geometry_verification": {
    "status": "exact_checked_partial",
    "schema": "scissors-convex-partition-v1",
    "field": "Q(s):s^6-190*s^3-3475=0;5<s<6",
    "problem": {
      "kind": "ti_to_cube"
    },
    "matched_pieces": 45,
    "convex_matches": 331,
    "matched_volume_exact": [
      "-152592490946134117852607366630362781596120478682599904986563/50040000000000000000000000000000000000000000000000000000000",
      "7182429208271457642063791/2446400000000000000000000",
      "-3033572691073212044024262063855320176375879/2446400000000000000000000000000000000000000",
      "-70878695430894702837698991463588504586947139780683317953163/1223200000000000000000000000000000000000000000000000000000000",
      "1847963447460480402263451/12232000000000000000000000",
      "-241480555311429122530236627899415096806459/12232000000000000000000000000000000000000000"
    ],
    "source_volume_exact": "1",
    "residual_volume_exact": [
      "202632490946134117852607366630362781596120478682599904986563/50040000000000000000000000000000000000000000000000000000000",
      "-7182429208271457642063791/2446400000000000000000000",
      "3033572691073212044024262063855320176375879/2446400000000000000000000000000000000000000",
      "70878695430894702837698991463588504586947139780683317953163/1223200000000000000000000000000000000000000000000000000000000",
      "-1847963447460480402263451/12232000000000000000000000",
      "241480555311429122530236627899415096806459/12232000000000000000000000000000000000000000"
    ],
    "coverage_approx": 0.9506675512568251,
    "max_pieces": 99,
    "verification_seconds": 67.67371275019832,
    "limits": [
      "Python exact arithmetic and convex-geometry implementation, not a Lean proof",
      "Residual defined by exact set difference; explicit residual cells not materialized",
      "No fabrication or collision-free assembly certification"
    ]
  }
}