{
  "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": 66.50359045807272,
  "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"
  ],
  "certificate_sha256": "d413b8228a98669c71e735a39dda67643ccd3076fa1b2d30b7890af14735a222"
}