{
  "schema": "purcad/seo-original-model-evidence/v1",
  "key": "pcb-edge-holder",
  "generated_by": "scripts/build-seo-models.mjs",
  "source_sha256": "fe77bfa1116185824657208404128d8d16bb68d839d0615bcec3e449b2b8fc63",
  "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",
      "rail_clearance"
    ],
    "behavioural_invariants": [
      {
        "parameter": "board_length",
        "minimum_bounds_mm": [
          48,
          46,
          10.4
        ],
        "maximum_bounds_mm": [
          108,
          46,
          10.4
        ],
        "geometry_changed": true
      },
      {
        "parameter": "board_width",
        "minimum_bounds_mm": [
          68,
          31,
          10.4
        ],
        "maximum_bounds_mm": [
          68,
          86,
          10.4
        ],
        "geometry_changed": true
      },
      {
        "parameter": "rail_clearance",
        "minimum_bounds_mm": [
          68,
          45.4,
          10.4
        ],
        "maximum_bounds_mm": [
          68,
          47.2,
          10.4
        ],
        "geometry_changed": true
      }
    ],
    "variants": [
      {
        "name": "default",
        "parameter_overrides": {},
        "measured_bounds_mm": [
          68,
          46,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6153,
        "watertight": true
      },
      {
        "name": "minimum:board_length",
        "parameter_overrides": {
          "board_length": 40
        },
        "measured_bounds_mm": [
          48,
          46,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6153,
        "watertight": true
      },
      {
        "name": "maximum:board_length",
        "parameter_overrides": {
          "board_length": 100
        },
        "measured_bounds_mm": [
          108,
          46,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6222,
        "watertight": true
      },
      {
        "name": "minimum:board_width",
        "parameter_overrides": {
          "board_width": 25
        },
        "measured_bounds_mm": [
          68,
          31,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6156,
        "watertight": true
      },
      {
        "name": "maximum:board_width",
        "parameter_overrides": {
          "board_width": 80
        },
        "measured_bounds_mm": [
          68,
          86,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6153,
        "watertight": true
      },
      {
        "name": "minimum:rail_clearance",
        "parameter_overrides": {
          "rail_clearance": 0.3
        },
        "measured_bounds_mm": [
          68,
          45.4,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6207,
        "watertight": true
      },
      {
        "name": "maximum:rail_clearance",
        "parameter_overrides": {
          "rail_clearance": 1.2
        },
        "measured_bounds_mm": [
          68,
          47.2,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6953,
        "watertight": true
      },
      {
        "name": "representative",
        "parameter_overrides": {
          "board_length": 80,
          "board_width": 55,
          "rail_clearance": 0.8
        },
        "measured_bounds_mm": [
          88,
          61.4,
          10.4
        ],
        "triangle_count": 48,
        "vertex_count": 26,
        "stl_bytes": 6207,
        "watertight": true
      }
    ]
  }
}