{
  "schema": "purcad/seo-original-model-evidence/v1",
  "key": "pcb-enclosure",
  "generated_by": "scripts/build-seo-models.mjs",
  "source_sha256": "f4da587849fe1f484fdf6772f402622625ed3a582cca8157bad1693c31b6135b",
  "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": [
      "board_length",
      "board_width",
      "wall_thickness",
      "lid_clearance"
    ],
    "behavioural_invariants": [
      {
        "parameter": "board_length",
        "minimum_bounds_mm": [
          107.6,
          48.8,
          14
        ],
        "maximum_bounds_mm": [
          227.6,
          48.8,
          14
        ],
        "geometry_changed": true
      },
      {
        "parameter": "board_width",
        "minimum_bounds_mm": [
          147.6,
          33.8,
          14
        ],
        "maximum_bounds_mm": [
          147.6,
          88.8,
          14
        ],
        "geometry_changed": true
      },
      {
        "parameter": "wall_thickness",
        "minimum_bounds_mm": [
          144.4,
          47.2,
          14
        ],
        "maximum_bounds_mm": [
          154,
          52,
          14
        ],
        "geometry_changed": true
      },
      {
        "parameter": "lid_clearance",
        "minimum_bounds_mm": [
          147.6,
          48.8,
          14
        ],
        "maximum_bounds_mm": [
          147.6,
          48.8,
          14
        ],
        "geometry_changed": true
      }
    ],
    "variants": [
      {
        "name": "default",
        "parameter_overrides": {},
        "measured_bounds_mm": [
          147.6,
          48.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 215897,
        "watertight": true
      },
      {
        "name": "minimum:board_length",
        "parameter_overrides": {
          "board_length": 40
        },
        "measured_bounds_mm": [
          107.6,
          48.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 213709,
        "watertight": true
      },
      {
        "name": "maximum:board_length",
        "parameter_overrides": {
          "board_length": 100
        },
        "measured_bounds_mm": [
          227.6,
          48.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 214667,
        "watertight": true
      },
      {
        "name": "minimum:board_width",
        "parameter_overrides": {
          "board_width": 25
        },
        "measured_bounds_mm": [
          147.6,
          33.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 217964,
        "watertight": true
      },
      {
        "name": "maximum:board_width",
        "parameter_overrides": {
          "board_width": 80
        },
        "measured_bounds_mm": [
          147.6,
          88.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 216735,
        "watertight": true
      },
      {
        "name": "minimum:wall_thickness",
        "parameter_overrides": {
          "wall_thickness": 1.6
        },
        "measured_bounds_mm": [
          144.4,
          47.2,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 211735,
        "watertight": true
      },
      {
        "name": "maximum:wall_thickness",
        "parameter_overrides": {
          "wall_thickness": 4
        },
        "measured_bounds_mm": [
          154,
          52,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 206734,
        "watertight": true
      },
      {
        "name": "minimum:lid_clearance",
        "parameter_overrides": {
          "lid_clearance": 0.2
        },
        "measured_bounds_mm": [
          147.6,
          48.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 215313,
        "watertight": true
      },
      {
        "name": "maximum:lid_clearance",
        "parameter_overrides": {
          "lid_clearance": 1
        },
        "measured_bounds_mm": [
          147.6,
          48.8,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 215301,
        "watertight": true
      },
      {
        "name": "representative",
        "parameter_overrides": {
          "board_length": 80,
          "board_width": 55,
          "wall_thickness": 3,
          "lid_clearance": 0.6
        },
        "measured_bounds_mm": [
          190,
          65,
          14
        ],
        "triangle_count": 988,
        "vertex_count": 496,
        "stl_bytes": 205778,
        "watertight": true
      }
    ]
  }
}