{
  "schema": "purcad/seo-original-model-evidence/v1",
  "key": "divided-drawer-tray",
  "generated_by": "scripts/build-seo-models.mjs",
  "source_sha256": "6f95b592b5fe195d1e3ab85f04c0c33a421d2ed7c5130bb10db717d5c21edae4",
  "runtime": {
    "engine": "openscad-wasm",
    "version": "2026.07.26",
    "bosl2_revision": "v2.0.775 (cee9a1725caab8586c76eb88d409d16c1e795833)",
    "installed": true,
    "customizer_schema": "OpenSCAD .param JSON: {title,parameters:[{group,name,type,initial,min,max,step,options}]}"
  },
  "verification": {
    "method": "OpenSCAD WASM compile with finite nonempty triangulation, closed two-face edges, and STL bytes",
    "limits": "This verifies authored source geometry only. It does not verify print settings, material, physical fit, strength, durability, or safe use.",
    "checked_endpoint_values": [
      "tray_length",
      "tray_width",
      "tray_height",
      "partition_count"
    ],
    "behavioural_invariants": [
      {
        "parameter": "tray_length",
        "minimum_bounds_mm": [
          80,
          80,
          25
        ],
        "maximum_bounds_mm": [
          180,
          80,
          25
        ],
        "geometry_changed": true
      },
      {
        "parameter": "tray_width",
        "minimum_bounds_mm": [
          120,
          50,
          25
        ],
        "maximum_bounds_mm": [
          120,
          120,
          25
        ],
        "geometry_changed": true
      },
      {
        "parameter": "tray_height",
        "minimum_bounds_mm": [
          120,
          80,
          16
        ],
        "maximum_bounds_mm": [
          120,
          80,
          45
        ],
        "geometry_changed": true
      },
      {
        "parameter": "partition_count",
        "minimum_bounds_mm": [
          120,
          80,
          25
        ],
        "maximum_bounds_mm": [
          120,
          80,
          25
        ],
        "geometry_changed": true
      }
    ],
    "variants": [
      {
        "name": "default",
        "parameter_overrides": {},
        "measured_bounds_mm": [
          120,
          80,
          25
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 9455,
        "watertight": true
      },
      {
        "name": "minimum:tray_length",
        "parameter_overrides": {
          "tray_length": 80
        },
        "measured_bounds_mm": [
          80,
          80,
          25
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 10218,
        "watertight": true
      },
      {
        "name": "maximum:tray_length",
        "parameter_overrides": {
          "tray_length": 180
        },
        "measured_bounds_mm": [
          180,
          80,
          25
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 9226,
        "watertight": true
      },
      {
        "name": "minimum:tray_width",
        "parameter_overrides": {
          "tray_width": 50
        },
        "measured_bounds_mm": [
          120,
          50,
          25
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 8610,
        "watertight": true
      },
      {
        "name": "maximum:tray_width",
        "parameter_overrides": {
          "tray_width": 120
        },
        "measured_bounds_mm": [
          120,
          120,
          25
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 9495,
        "watertight": true
      },
      {
        "name": "minimum:tray_height",
        "parameter_overrides": {
          "tray_height": 16
        },
        "measured_bounds_mm": [
          120,
          80,
          16
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 9455,
        "watertight": true
      },
      {
        "name": "maximum:tray_height",
        "parameter_overrides": {
          "tray_height": 45
        },
        "measured_bounds_mm": [
          120,
          80,
          45
        ],
        "triangle_count": 60,
        "vertex_count": 32,
        "stl_bytes": 9455,
        "watertight": true
      },
      {
        "name": "minimum:partition_count",
        "parameter_overrides": {
          "partition_count": 2
        },
        "measured_bounds_mm": [
          120,
          80,
          25
        ],
        "triangle_count": 44,
        "vertex_count": 24,
        "stl_bytes": 6995,
        "watertight": true
      },
      {
        "name": "maximum:partition_count",
        "parameter_overrides": {
          "partition_count": 5
        },
        "measured_bounds_mm": [
          120,
          80,
          25
        ],
        "triangle_count": 92,
        "vertex_count": 48,
        "stl_bytes": 14375,
        "watertight": true
      },
      {
        "name": "representative",
        "parameter_overrides": {
          "tray_length": 150,
          "tray_width": 100,
          "tray_height": 32,
          "partition_count": 4
        },
        "measured_bounds_mm": [
          150,
          100,
          32
        ],
        "triangle_count": 76,
        "vertex_count": 40,
        "stl_bytes": 11713,
        "watertight": true
      }
    ]
  }
}