Примитивы и
параметрические
формы.

PrimitiveToPathResult {
  status: "exact|approximate|unsupported",
  sourcePrimitiveRef,
  pathGeometry,
  maxErrorBound?,
  segmentBudget?,
  confidence,
  provenance
}

PrimitiveGeometryCorrectionRequest {
  sourcePrimitiveId,
  parameter,
  currentValue,
  requestedRange?,
  requestedRelation?,
  reason,
  provenance
}

{
  "module": "Compo 3.01",
  "name": "primitive_and_parametric_shapes",
  "version": "1.0-canonical",
  "scope": "LOCAL_PRIMITIVE_SHAPE_GEOMETRY_AND_PARAMETERIZATION",
  "consumes": [
    "Compo3.00.Shape",
    "Compo3.00.PrimitiveShapeGeometry interface",
    "Compo0.ObjectTransform? only as external reference; never baked implicitly",
    "GeometryToleranceContext?"
  ],
  "provides": [
    "PrimitiveShapeGeometry",
    "PrimitiveFamily",
    "PrimitiveValidationResult",
    "CanonicalPrimitiveParams",
    "PrimitiveBoundaryAdapter",
    "PrimitiveToPathResult",
    "PrimitiveGeometryCorrectionRequest[]"
  ],
  "owns_contracts": [
    "primitive family enum",
    "family-specific local parameter schemas",
    "parameter canonicalization",
    "primitive local-space validity",
    "exact/controlled primitive boundary construction",
    "primitive-to-path conversion contract"
  ],
  "owns_metrics": [],
  "descriptors_only": [
    "family",
    "canonicalParams",
    "localBounds",
    "boundaryExactness",
    "degeneracyCode",
    "conversionErrorBound",
    "sourceParamHash"
  ],
  "families": {
    "RECT": {
      "params": [
        "width",
        "height"
      ],
      "exactBoundary": true
    },
    "ROUNDED_RECT": {
      "params": [
        "width",
        "height",
        "cornerRadius"
      ],
      "exactBoundary": true
    },
    "ELLIPSE": {
      "params": [
        "rx",
        "ry"
      ],
      "exactBoundary": true
    },
    "REGULAR_POLYGON": {
      "params": [
        "radius",
        "sides",
        "phase"
      ],
      "exactBoundary": true
    },
    "STAR": {
      "params": [
        "outerRadius",
        "innerRadius",
        "points",
        "phase"
      ],
      "exactBoundary": true
    },
    "CAPSULE": {
      "params": [
        "length",
        "thickness",
        "axis"
      ],
      "exactBoundary": true
    },
    "SUPERELLIPSE": {
      "params": [
        "rx",
        "ry",
        "exponent"
      ],
      "exactBoundary": "PARAMETRIC_EXACT_OR_BOUNDED_APPROX_PATH"
    }
  },
  "canonical_parameter_rules": {
    "all_lengths": "finite and >0 unless explicitly resolving to degeneracy",
    "rounded_rect_cornerRadius": "clamp to [0,min(width,height)/2]",
    "regular_polygon_sides": "integer >= 3",
    "star_points": "integer >= 3",
    "star_innerRadius": "0 < innerRadius < outerRadius",
    "phase": "positive modulo 2π",
    "capsule_axis": "X|Y",
    "superellipse_exponent": "finite > 0; reference implementation recommends [0.5,8] as initial bounded range"
  },
  "boundary_interface": {
    "localBounds": "() -> Rect",
    "pointAt": "(t01) -> Point",
    "tangentAt": "(t01) -> Vector | N/A at declared singularities",
    "toPath": "(policy) -> PrimitiveToPathResult",
    "containsLocal": "(point) -> bool|boundary",
    "exactness": "EXACT|BOUNDED_APPROXIMATION"
  },
  "hard_constraints": [
    "local primitive geometry must not include object position/rotation/scale/reflection",
    "invalid or degenerate params must never silently become zero-area valid shapes",
    "primitive family must be explicit; do not infer semantic ShapeRole from family",
    "circle is canonical ELLIPSE rx=ry, not a duplicate top-level primitive family",
    "holes/rings/boolean compounds are not primitive families; route to Compo3.04",
    "visual mass / silhouette area / occupancy are not owned here",
    "scene negative space is not owned here",
    "convexity/concavity quality is not scored here",
    "no beautyScore"
  ],
  "initial_heuristics": {
    "superellipse_exponent_reference_range": {
      "value": [
        0.5,
        8.0
      ],
      "provenance": "IMPLEMENTATION_HEURISTIC"
    },
    "approx_path_max_error_shortN": {
      "value": 0.0005,
      "provenance": "INITIAL_HEURISTIC"
    },
    "approx_path_max_segments": {
      "value": 256,
      "provenance": "IMPLEMENTATION_HEURISTIC"
    }
  },
  "correction_policy": {
    "direct_foreign_transform_mutation": "FORBIDDEN",
    "invalid_param": "return bounded parameter correction request",
    "compound_request": "route to Compo3.04",
    "organic_freeform_request": "route to Compo3.02",
    "semantic_role_change": "route to caller/Compo3.00"
  },
  "deferred_inputs": [
    "Compo3.03 silhouette readability/topology interpretation",
    "Compo3.04 holes/convexity/concavity",
    "Compo3.05 transform-derived world geometry",
    "Compo3.06 candidate scoring",
    "Topic4 visual mass/area/occupancy/density",
    "Topic5 positive/negative space",
    "global balance/hierarchy/eye-flow"
  ],
  "recompute_when": [
    "family changes",
    "any canonical primitive parameter changes",
    "geometry tolerance policy changes",
    "primitive-to-path approximation policy changes"
  ],
  "finality": "LOCAL_PRIMITIVE_GEOMETRY_ONLY"
}