{
  "schema": "purcad/seo-original-model-evidence/v1",
  "key": "parametric-spacer",
  "generated_by": "scripts/build-seo-models.mjs",
  "source_sha256": "e2781234a9a3679ca3e3a1d11bbcd99c5b7f13b807e682dceabed8d32339efef",
  "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": [
      "outside_diameter",
      "bore_diameter",
      "height"
    ],
    "behavioural_invariants": [
      {
        "parameter": "outside_diameter",
        "minimum_bounds_mm": [
          12,
          12,
          12
        ],
        "maximum_bounds_mm": [
          40,
          40,
          12
        ],
        "geometry_changed": true
      },
      {
        "parameter": "bore_diameter",
        "minimum_bounds_mm": [
          20,
          20,
          12
        ],
        "maximum_bounds_mm": [
          20,
          20,
          12
        ],
        "geometry_changed": true
      },
      {
        "parameter": "height",
        "minimum_bounds_mm": [
          20,
          20,
          4
        ],
        "maximum_bounds_mm": [
          20,
          20,
          40
        ],
        "geometry_changed": true
      }
    ],
    "variants": [
      {
        "name": "default",
        "parameter_overrides": {},
        "measured_bounds_mm": [
          20,
          20,
          12
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 102043,
        "watertight": true
      },
      {
        "name": "minimum:outside_diameter",
        "parameter_overrides": {
          "outside_diameter": 12
        },
        "measured_bounds_mm": [
          12,
          12,
          12
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 102401,
        "watertight": true
      },
      {
        "name": "maximum:outside_diameter",
        "parameter_overrides": {
          "outside_diameter": 40
        },
        "measured_bounds_mm": [
          40,
          40,
          12
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 102619,
        "watertight": true
      },
      {
        "name": "minimum:bore_diameter",
        "parameter_overrides": {
          "bore_diameter": 2
        },
        "measured_bounds_mm": [
          20,
          20,
          12
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 101849,
        "watertight": true
      },
      {
        "name": "maximum:bore_diameter",
        "parameter_overrides": {
          "bore_diameter": 16
        },
        "measured_bounds_mm": [
          20,
          20,
          12
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 101065,
        "watertight": true
      },
      {
        "name": "minimum:height",
        "parameter_overrides": {
          "height": 4
        },
        "measured_bounds_mm": [
          20,
          20,
          4
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 101355,
        "watertight": true
      },
      {
        "name": "maximum:height",
        "parameter_overrides": {
          "height": 40
        },
        "measured_bounds_mm": [
          20,
          20,
          40
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 102043,
        "watertight": true
      },
      {
        "name": "representative",
        "parameter_overrides": {
          "outside_diameter": 28,
          "bore_diameter": 8,
          "height": 24
        },
        "measured_bounds_mm": [
          28,
          28,
          24
        ],
        "triangle_count": 448,
        "vertex_count": 224,
        "stl_bytes": 102477,
        "watertight": true
      }
    ]
  }
}