@faicad/faijs 0.33.2 → 0.35.2

package/dist/sketch/dim-spec.js

@@ -0,0 +1,112 @@
+const LENGTH = { kind: 'dim', dim: 'length' };
+const ANGLE = { kind: 'dim', dim: 'angle' };
+const PLAIN = { kind: 'plain' };
+/** [x, y] — both length. */
+const PT2 = { kind: 'array', item: LENGTH };
+/** Pt2[] — array of length pairs (bspline control points). */
+const PT2_ARRAY = { kind: 'array', item: PT2 };
+/** [x, y, z] — all length (3D point, e.g. plane origin). */
+const VEC3_LENGTH = { kind: 'array', item: LENGTH };
+// ── shapes[] ──────────────────────────────────────────────────────────────
+const shapeCases = {
+    rect: { kind: 'object', fields: { w: LENGTH, d: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },
+    roundedRect: { kind: 'object', fields: { w: LENGTH, d: LENGTH, r: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },
+    circle: { kind: 'object', fields: { r: LENGTH, cx: LENGTH, cy: LENGTH } },
+    ellipse: { kind: 'object', fields: { rx: LENGTH, ry: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },
+    polygon: { kind: 'object', fields: { r: LENGTH, cx: LENGTH, cy: LENGTH, n: PLAIN, angle: ANGLE } },
+    slot: { kind: 'object', fields: { w: LENGTH, d: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },
+    trapezoid: { kind: 'object', fields: { w: LENGTH, h: LENGTH, cx: LENGTH, cy: LENGTH, a1: ANGLE, a2: ANGLE } },
+    line: { kind: 'object', fields: { from: PT2, to: PT2 } },
+    arc: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, r: LENGTH, a0: ANGLE, a1: ANGLE, ccw: PLAIN } },
+    bspline: { kind: 'object', fields: { pts: PT2_ARRAY, degree: PLAIN } },
+    point: { kind: 'object', fields: { x: LENGTH, y: LENGTH } },
+    close: { kind: 'object', fields: {} },
+};
+// ── constraints[] ─────────────────────────────────────────────────────────
+// Ref fields (of/a/b/p on/about) carry strings — not numeric, omitted.
+// orientation `dir` is a direction vector — not length, declared `plain`.
+// angle/arcAngle value is angle.
+const constraintCases = {
+    distance: { kind: 'object', fields: { value: LENGTH } },
+    distanceX: { kind: 'object', fields: { value: LENGTH } },
+    distanceY: { kind: 'object', fields: { value: LENGTH } },
+    length: { kind: 'object', fields: { value: LENGTH } },
+    radius: { kind: 'object', fields: { value: LENGTH } },
+    diameter: { kind: 'object', fields: { value: LENGTH } },
+    angle: { kind: 'object', fields: { value: ANGLE } },
+    arcAngle: { kind: 'object', fields: { value: ANGLE } },
+    parallel: { kind: 'object', fields: { dir: PLAIN } },
+    perpendicular: { kind: 'object', fields: { dir: PLAIN } },
+    orientation: { kind: 'object', fields: { dir: PLAIN } },
+    fix: { kind: 'object', fields: {} },
+    horizontal: { kind: 'object', fields: {} },
+    vertical: { kind: 'object', fields: {} },
+    collinear: { kind: 'object', fields: {} },
+    concentric: { kind: 'object', fields: {} },
+    equal: { kind: 'object', fields: {} },
+    midpoint: { kind: 'object', fields: {} },
+    symmetry: { kind: 'object', fields: {} },
+    tangent: { kind: 'object', fields: {} },
+    coincident: { kind: 'object', fields: {} },
+    colinear: { kind: 'object', fields: {} },
+};
+// ── geoms[] (expanded canonical geometry) ─────────────────────────────────
+const geomCases = {
+    line: { kind: 'object', fields: { x1: LENGTH, y1: LENGTH, x2: LENGTH, y2: LENGTH } },
+    circle: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, r: LENGTH } },
+    arc: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, r: LENGTH, a0: ANGLE, a1: ANGLE, ccw: PLAIN } },
+    point: { kind: 'object', fields: { x: LENGTH, y: LENGTH } },
+    ellipse: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, rx: LENGTH, ry: LENGTH, angle: ANGLE, a0: ANGLE, a1: ANGLE } },
+    bspline: {
+        kind: 'object',
+        fields: {
+            poles: { kind: 'array', item: { kind: 'object', fields: { x: LENGTH, y: LENGTH } } },
+            knots: { kind: 'array', item: PLAIN },
+            degree: PLAIN,
+        },
+    },
+};
+// ── plane ─────────────────────────────────────────────────────────────────
+// origin is a 3D point (length); normal and xAxis are direction vectors (plain).
+// When plane is a string (named plane), the object spec falls through to fmtValue.
+const planeSpec = {
+    kind: 'object',
+    fields: {
+        origin: VEC3_LENGTH,
+        normal: { kind: 'array', item: PLAIN },
+        xAxis: { kind: 'array', item: PLAIN },
+    },
+};
+// ── public API ────────────────────────────────────────────────────────────
+/**
+ * DimSpec for the `shapes[]` array of `cad.sketch`.
+ * @returns a `tagged`-by-`kind` array spec; length fields → `dim:'length'`,
+ *          angle fields → `dim:'angle'`, pure numbers → `plain`.
+ */
+export function shapesDimSpec() {
+    return { kind: 'array', item: { kind: 'tagged', key: 'kind', cases: shapeCases } };
+}
+/**
+ * DimSpec for the `constraints[]` array of `cad.sketch`.
+ * @returns a `tagged`-by-`kind` array spec; length-valued constraints → `dim:'length'`,
+ *          angle-valued constraints → `dim:'angle'`, pure numbers → `plain`.
+ */
+export function constraintsDimSpec() {
+    return { kind: 'array', item: { kind: 'tagged', key: 'kind', cases: constraintCases } };
+}
+/**
+ * DimSpec for the top-level options object of `cad.sketch({ shapes, geoms, constraints, plane, ... })`.
+ * @returns an `object` spec covering `shapes`/`geoms`/`constraints`/`plane` fields.
+ */
+export function sketchDimSpec() {
+    return {
+        kind: 'object',
+        fields: {
+            shapes: shapesDimSpec(),
+            geoms: { kind: 'array', item: { kind: 'tagged', key: 'kind', cases: geomCases } },
+            constraints: constraintsDimSpec(),
+            plane: planeSpec,
+        },
+    };
+}
+//# sourceMappingURL=dim-spec.js.map

package/dist/sketch/dim-spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dim-spec.js","sourceRoot":"","sources":["../../src/sketch/dim-spec.ts"],"names":[],"mappings":"AAeA,MAAM,MAAM,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAA;AACtD,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAA;AACpD,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;AAExC,4BAA4B;AAC5B,MAAM,GAAG,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AAEpD,8DAA8D;AAC9D,MAAM,SAAS,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;AAEvD,4DAA4D;AAC5D,MAAM,WAAW,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AAE5D,6EAA6E;AAE7E,MAAM,UAAU,GAA4B;IAC1C,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IAChG,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IAClH,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;IACzE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IACrG,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IAClG,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IAChG,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAC7G,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;IACxD,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;IACxG,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE;IACtE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE;IAC3D,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;CACtC,CAAA;AAED,6EAA6E;AAC7E,uEAAuE;AACvE,0EAA0E;AAC1E,iCAAiC;AAEjC,MAAM,eAAe,GAA4B;IAC/C,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACvD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACxD,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACxD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACrD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACrD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;IACvD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IACnD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;IACtD,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;IACpD,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;IACzD,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;IACvD,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACnC,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IAC1C,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACxC,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACzC,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IAC1C,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACrC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACxC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACxC,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IACvC,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;IAC1C,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;CACzC,CAAA;AAED,6EAA6E;AAE7E,MAAM,SAAS,GAA4B;IACzC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE;IACpF,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE;IACzE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;IACxG,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE;IAC3D,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;IAC3H,OAAO,EAAE;QACP,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;YACpF,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;YACrC,MAAM,EAAE,KAAK;SACd;KACF;CACF,CAAA;AAED,6EAA6E;AAC7E,iFAAiF;AACjF,mFAAmF;AAEnF,MAAM,SAAS,GAAY;IACzB,IAAI,EAAE,QAAQ;IACd,MAAM,EAAE;QACN,MAAM,EAAE,WAAW;QACnB,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE;KACtC;CACF,CAAA;AAED,6EAA6E;AAE7E;;;;GAIG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,CAAA;AACpF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB;IAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,CAAA;AACzF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,MAAM,EAAE,aAAa,EAAE;YACvB,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;YACjF,WAAW,EAAE,kBAAkB,EAAE;YACjC,KAAK,EAAE,SAAS;SACjB;KACF,CAAA;AACH,CAAC","sourcesContent":["/**\n * dim-spec — recursive {@link DimSpec} for `cad.sketch` unit-aware codegen.\n *\n * Every numeric field is explicitly declared:\n * - Length fields → `dim: 'length'`\n * - Angle fields → `dim: 'angle'`\n * - Pure numbers (counts, degrees, booleans) → `kind: 'plain'`\n * - String/boolean/ref fields → omitted (not numeric, `object` spec only\n *   descends into listed fields)\n *\n * Design doc §3.1 (user裁定 2026-10-10): `'plain'` is a legal, explicit\n * declaration — not an exemption. Every numeric parameter must be declared.\n */\nimport type { DimSpec } from '../units'\n\nconst LENGTH: DimSpec = { kind: 'dim', dim: 'length' }\nconst ANGLE: DimSpec = { kind: 'dim', dim: 'angle' }\nconst PLAIN: DimSpec = { kind: 'plain' }\n\n/** [x, y] — both length. */\nconst PT2: DimSpec = { kind: 'array', item: LENGTH }\n\n/** Pt2[] — array of length pairs (bspline control points). */\nconst PT2_ARRAY: DimSpec = { kind: 'array', item: PT2 }\n\n/** [x, y, z] — all length (3D point, e.g. plane origin). */\nconst VEC3_LENGTH: DimSpec = { kind: 'array', item: LENGTH }\n\n// ── shapes[] ──────────────────────────────────────────────────────────────\n\nconst shapeCases: Record<string, DimSpec> = {\n  rect: { kind: 'object', fields: { w: LENGTH, d: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },\n  roundedRect: { kind: 'object', fields: { w: LENGTH, d: LENGTH, r: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },\n  circle: { kind: 'object', fields: { r: LENGTH, cx: LENGTH, cy: LENGTH } },\n  ellipse: { kind: 'object', fields: { rx: LENGTH, ry: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },\n  polygon: { kind: 'object', fields: { r: LENGTH, cx: LENGTH, cy: LENGTH, n: PLAIN, angle: ANGLE } },\n  slot: { kind: 'object', fields: { w: LENGTH, d: LENGTH, cx: LENGTH, cy: LENGTH, angle: ANGLE } },\n  trapezoid: { kind: 'object', fields: { w: LENGTH, h: LENGTH, cx: LENGTH, cy: LENGTH, a1: ANGLE, a2: ANGLE } },\n  line: { kind: 'object', fields: { from: PT2, to: PT2 } },\n  arc: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, r: LENGTH, a0: ANGLE, a1: ANGLE, ccw: PLAIN } },\n  bspline: { kind: 'object', fields: { pts: PT2_ARRAY, degree: PLAIN } },\n  point: { kind: 'object', fields: { x: LENGTH, y: LENGTH } },\n  close: { kind: 'object', fields: {} },\n}\n\n// ── constraints[] ─────────────────────────────────────────────────────────\n// Ref fields (of/a/b/p on/about) carry strings — not numeric, omitted.\n// orientation `dir` is a direction vector — not length, declared `plain`.\n// angle/arcAngle value is angle.\n\nconst constraintCases: Record<string, DimSpec> = {\n  distance: { kind: 'object', fields: { value: LENGTH } },\n  distanceX: { kind: 'object', fields: { value: LENGTH } },\n  distanceY: { kind: 'object', fields: { value: LENGTH } },\n  length: { kind: 'object', fields: { value: LENGTH } },\n  radius: { kind: 'object', fields: { value: LENGTH } },\n  diameter: { kind: 'object', fields: { value: LENGTH } },\n  angle: { kind: 'object', fields: { value: ANGLE } },\n  arcAngle: { kind: 'object', fields: { value: ANGLE } },\n  parallel: { kind: 'object', fields: { dir: PLAIN } },\n  perpendicular: { kind: 'object', fields: { dir: PLAIN } },\n  orientation: { kind: 'object', fields: { dir: PLAIN } },\n  fix: { kind: 'object', fields: {} },\n  horizontal: { kind: 'object', fields: {} },\n  vertical: { kind: 'object', fields: {} },\n  collinear: { kind: 'object', fields: {} },\n  concentric: { kind: 'object', fields: {} },\n  equal: { kind: 'object', fields: {} },\n  midpoint: { kind: 'object', fields: {} },\n  symmetry: { kind: 'object', fields: {} },\n  tangent: { kind: 'object', fields: {} },\n  coincident: { kind: 'object', fields: {} },\n  colinear: { kind: 'object', fields: {} },\n}\n\n// ── geoms[] (expanded canonical geometry) ─────────────────────────────────\n\nconst geomCases: Record<string, DimSpec> = {\n  line: { kind: 'object', fields: { x1: LENGTH, y1: LENGTH, x2: LENGTH, y2: LENGTH } },\n  circle: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, r: LENGTH } },\n  arc: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, r: LENGTH, a0: ANGLE, a1: ANGLE, ccw: PLAIN } },\n  point: { kind: 'object', fields: { x: LENGTH, y: LENGTH } },\n  ellipse: { kind: 'object', fields: { cx: LENGTH, cy: LENGTH, rx: LENGTH, ry: LENGTH, angle: ANGLE, a0: ANGLE, a1: ANGLE } },\n  bspline: {\n    kind: 'object',\n    fields: {\n      poles: { kind: 'array', item: { kind: 'object', fields: { x: LENGTH, y: LENGTH } } },\n      knots: { kind: 'array', item: PLAIN },\n      degree: PLAIN,\n    },\n  },\n}\n\n// ── plane ─────────────────────────────────────────────────────────────────\n// origin is a 3D point (length); normal and xAxis are direction vectors (plain).\n// When plane is a string (named plane), the object spec falls through to fmtValue.\n\nconst planeSpec: DimSpec = {\n  kind: 'object',\n  fields: {\n    origin: VEC3_LENGTH,\n    normal: { kind: 'array', item: PLAIN },\n    xAxis: { kind: 'array', item: PLAIN },\n  },\n}\n\n// ── public API ────────────────────────────────────────────────────────────\n\n/**\n * DimSpec for the `shapes[]` array of `cad.sketch`.\n * @returns a `tagged`-by-`kind` array spec; length fields → `dim:'length'`,\n *          angle fields → `dim:'angle'`, pure numbers → `plain`.\n */\nexport function shapesDimSpec(): DimSpec {\n  return { kind: 'array', item: { kind: 'tagged', key: 'kind', cases: shapeCases } }\n}\n\n/**\n * DimSpec for the `constraints[]` array of `cad.sketch`.\n * @returns a `tagged`-by-`kind` array spec; length-valued constraints → `dim:'length'`,\n *          angle-valued constraints → `dim:'angle'`, pure numbers → `plain`.\n */\nexport function constraintsDimSpec(): DimSpec {\n  return { kind: 'array', item: { kind: 'tagged', key: 'kind', cases: constraintCases } }\n}\n\n/**\n * DimSpec for the top-level options object of `cad.sketch({ shapes, geoms, constraints, plane, ... })`.\n * @returns an `object` spec covering `shapes`/`geoms`/`constraints`/`plane` fields.\n */\nexport function sketchDimSpec(): DimSpec {\n  return {\n    kind: 'object',\n    fields: {\n      shapes: shapesDimSpec(),\n      geoms: { kind: 'array', item: { kind: 'tagged', key: 'kind', cases: geomCases } },\n      constraints: constraintsDimSpec(),\n      plane: planeSpec,\n    },\n  }\n}\n"]}

package/dist/sketch/faces.d.ts

@@ -0,0 +1,45 @@
+import type { Shape } from '../mesh/types.js';
+import type { SketchConstraint, SketchGeom, SolveOutcome } from './canonical.js';
+import type { SketchParams } from './op.js';
+import { type SolveSketchOptions } from './solve.js';
+/** Options for {@link sketchFaces}. */
+export interface SketchFacesOptions extends SolveSketchOptions {
+    /** Product form: `'face'` (default) builds a face; `'wire'` returns the outer wire only. */
+    as?: 'face' | 'wire';
+    /**
+     * Named target plane (`'XY'` default; e.g. `'XZ'` / `'YZ'`) or an explicit
+     * plane frame (A3, 2026-09-28): `{ origin, normal, xAxis? }` for arbitrary
+     * sketch planes (the sketchOnPlane hand-off, D3 option (b)).
+     */
+    plane?: SketchParams['plane'];
+    /**
+     * 本次草图里有 `mode:'s'`（内环/孔）形状：构面后**校验孔确实被包含**。
+     *
+     * 孔的身份由轮廓包含关系决定（core `organiseBlueprints` + `addHolesInFace`），
+     * 所以"减"不需要面级布尔；但一个没被任何外轮廓包住的 `mode:'s'` 形状会**静默变成
+     * 一块额外的外轮廓面**——那正是必须显式报错的形态（`E_SKETCHC_SUBTRACT_NOT_CONTAINED`）。
+     */
+    expectHoles?: boolean;
+    /** Diagnostics observer (the script-face op forwards this to the host sink). */
+    onDiagnostic?: (outcome: SolveOutcome) => void;
+}
+/**
+ * Build the shape from an already-solved outcome (shared by op + wrapper).
+ *
+ * @param outcome - a converged solve outcome.
+ * @param as - product form: `'face'` (default) or `'wire'`.
+ * @param plane - named plane or explicit frame `{ origin, normal, xAxis? }` (default `'XY'`).
+ * @param expectHoles - 本次草图声明了 `mode:'s'` 内环 → 构面后校验孔确实被包含。
+ * @returns the placement face or outer wire.
+ */
+export declare function shapeFromSolved(outcome: SolveOutcome, as?: 'face' | 'wire', plane?: SketchParams['plane'], expectHoles?: boolean): Shape;
+/**
+ * Solve a canonical sketch and build its planar face / outer wire.
+ *
+ * @param geoms - canonical geometry (stored coordinates are the initial guess).
+ * @param constraints - canonical constraints (default: none).
+ * @param opts - solver selection, product form, target plane and diagnostics observer.
+ * @returns the face (`as:'wire'` → the outer wire as a 1D curve), placed on `opts.plane`.
+ */
+export declare function sketchFaces(geoms: SketchGeom[], constraints?: SketchConstraint[], opts?: SketchFacesOptions): Promise<Shape>;
+//# sourceMappingURL=faces.d.ts.map

package/dist/sketch/faces.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"faces.d.ts","sourceRoot":"","sources":["../../src/sketch/faces.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAA;AAChG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAe,KAAK,kBAAkB,EAAE,MAAM,YAAY,CAAA;AA4BjE,uCAAuC;AACvC,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC5D,4FAA4F;IAC5F,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACpB;;;;OAIG;IACH,KAAK,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,CAAA;IAC7B;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,gFAAgF;IAChF,YAAY,CAAC,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAA;CAC/C;AAmBD;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,YAAY,EACrB,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,EACpB,KAAK,CAAC,EAAE,YAAY,CAAC,OAAO,CAAC,EAC7B,WAAW,UAAQ,GAClB,KAAK,CA6BP;AAED;;;;;;;GAOG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,UAAU,EAAE,EACnB,WAAW,GAAE,gBAAgB,EAAO,EACpC,IAAI,CAAC,EAAE,kBAAkB,GACxB,OAAO,CAAC,KAAK,CAAC,CAIhB"}

package/dist/sketch/faces.js

@@ -0,0 +1,108 @@
+/**
+ * faces — `sketchFaces`: solve a canonical sketch, chain the solved geometry
+ * into closed contours and build the face through core's **unified 2D→3D
+ * placement pipeline** (`buildSketchOnPlaneWith`, E2/F4): the contours are
+ * lifted onto a target plane (named plane, e.g. `'XY'` / `'XZ'`) by the same
+ * shared placement core used by `cad.sketchOnPlane`, so a solved sketch can be
+ * placed on an arbitrary plane rather than only the implicit z=0 frame.
+ *
+ * The solve → contour build hand-off is a distinct, failable step (§3.3): a
+ * sketch can solve successfully yet yield zero closed loops (dangling
+ * segments); that is a real failure mode and is surfaced explicitly rather
+ * than treated as a solved sketch.
+ */
+import { buildSketchOnPlaneWith } from '../api/sketch-on-plane.js';
+import { getBrepApi } from '../brep/handle-bridge.js';
+import { brepOf } from '../shape.js';
+import { solveSketch } from './solve.js';
+import { toFreeCadGeoms } from './project.js';
+import { extractContours } from './contour.js';
+/** One-line description of a conflicting constraint, e.g. `length(bottom) = 80`. */
+function describeConflict(d) {
+    const refs = d.refs.join(', ');
+    const val = typeof d.value === 'number' ? ` = ${d.value}` : '';
+    return `${d.kind}(${refs})${val}`;
+}
+/**
+ * Build the `E_SKETCHC_CONFLICTING` error message. Conflict details are
+ * resolved to tags (never bare solver indices); falls back to numeric indices
+ * when the solver reports none (§3.2, §5.1 probe caveat).
+ */
+function conflictingMessage(outcome) {
+    const header = 'E_SKETCHC_CONFLICTING: conflicting constraints detected';
+    const details = outcome.conflictDetails;
+    if (details && details.length > 0) {
+        return `${header}\n${details.map((d) => `  - ${describeConflict(d)}`).join('\n')}`;
+    }
+    const idx = outcome.problemConstraints.length > 0
+        ? ` (indices: ${outcome.problemConstraints.join(', ')})`
+        : '';
+    return `${header}${idx}`;
+}
+/**
+ * 构面之后校验"声明的内环确实成了孔"。
+ *
+ * 判据是**结果**而不是几何猜测：轮廓数 > 面数，说明至少有一条轮廓被当成了内环
+ * （`organiseBlueprints` 按包含关系把它并进外环）。否则那条 `mode:'s'` 形状没被
+ * 任何外轮廓包住，静默变成外轮廓面是不可接受的。
+ */
+function assertHolesMade(shape, contourCount) {
+    const faces = getBrepApi().getSubShapes(brepOf(shape), 'face');
+    if (faces.length >= contourCount) {
+        throw new Error('E_SKETCHC_SUBTRACT_NOT_CONTAINED: a `mode:"s"` shape is not contained by any outer ' +
+            `contour (${contourCount} contours → ${faces.length} faces); 孔必须落在某个外轮廓内部`);
+    }
+}
+/**
+ * Build the shape from an already-solved outcome (shared by op + wrapper).
+ *
+ * @param outcome - a converged solve outcome.
+ * @param as - product form: `'face'` (default) or `'wire'`.
+ * @param plane - named plane or explicit frame `{ origin, normal, xAxis? }` (default `'XY'`).
+ * @param expectHoles - 本次草图声明了 `mode:'s'` 内环 → 构面后校验孔确实被包含。
+ * @returns the placement face or outer wire.
+ */
+export function shapeFromSolved(outcome, as, plane, expectHoles = false) {
+    // 2026-09-27裁定: a conflicting over-constraint is a HARD error on the
+    // script face — the message must point at the clashing constraints (§3.2).
+    // Under- and redundant-constraint still solve normally; only a hard solver
+    // failure blocks face construction as before.
+    if (!outcome.converged && outcome.status === 'conflicting') {
+        throw new Error(conflictingMessage(outcome));
+    }
+    if (!outcome.converged) {
+        throw new Error(`E_SKETCHC_SOLVE_FAILED: ${outcome.reason ?? outcome.status}`);
+    }
+    const contours = extractContours(toFreeCadGeoms(outcome.geoms));
+    if (contours.length === 0) {
+        throw new Error('E_SKETCHC_NO_CONTOUR: solved sketch produced no closed loop');
+    }
+    const loops = contours.map((c) => ({ segments: c.segments }));
+    // A3 (D3 (b)): the placement hand-off goes through the SAME shared
+    // placement core (`buildSketchOnPlaneWith`) for both named planes and
+    // explicit frames — the contours land on the target plane in one step.
+    const planeSpec = typeof plane === 'string' ? { name: plane } : (plane ?? { name: 'XY' });
+    const shape = buildSketchOnPlaneWith(getBrepApi(), {
+        contours: loops,
+        plane: planeSpec,
+        as,
+    });
+    // `as:'wire'` 只交外环，孔不参与成面 —— 那种调用没有"孔没被包含"可言。
+    if (expectHoles && as !== 'wire')
+        assertHolesMade(shape, contours.length);
+    return shape;
+}
+/**
+ * Solve a canonical sketch and build its planar face / outer wire.
+ *
+ * @param geoms - canonical geometry (stored coordinates are the initial guess).
+ * @param constraints - canonical constraints (default: none).
+ * @param opts - solver selection, product form, target plane and diagnostics observer.
+ * @returns the face (`as:'wire'` → the outer wire as a 1D curve), placed on `opts.plane`.
+ */
+export async function sketchFaces(geoms, constraints = [], opts) {
+    const outcome = await solveSketch(geoms, constraints, opts);
+    opts?.onDiagnostic?.(outcome);
+    return shapeFromSolved(outcome, opts?.as, opts?.plane, opts?.expectHoles ?? false);
+}
+//# sourceMappingURL=faces.js.map

package/dist/sketch/faces.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"faces.js","sourceRoot":"","sources":["../../src/sketch/faces.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AAG/D,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAIjC,OAAO,EAAE,WAAW,EAA2B,MAAM,YAAY,CAAA;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE9C,oFAAoF;AACpF,SAAS,gBAAgB,CAAC,CAAiB;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9D,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,IAAI,GAAG,EAAE,CAAA;AACnC,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,OAAqB;IAC/C,MAAM,MAAM,GAAG,yDAAyD,CAAA;IACxE,MAAM,OAAO,GAAG,OAAO,CAAC,eAAe,CAAA;IACvC,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,GAAG,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;IACpF,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAC/C,CAAC,CAAC,cAAc,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACxD,CAAC,CAAC,EAAE,CAAA;IACN,OAAO,GAAG,MAAM,GAAG,GAAG,EAAE,CAAA;AAC1B,CAAC;AAwBD;;;;;;GAMG;AACH,SAAS,eAAe,CAAC,KAAY,EAAE,YAAoB;IACzD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAU,EAAE,MAAe,CAAc,CAAA;IAC7F,IAAI,KAAK,CAAC,MAAM,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,qFAAqF;YACnF,YAAY,YAAY,eAAe,KAAK,CAAC,MAAM,uBAAuB,CAC7E,CAAA;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAqB,EACrB,EAAoB,EACpB,KAA6B,EAC7B,WAAW,GAAG,KAAK;IAEnB,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,8CAA8C;IAC9C,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9C,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,2BAA2B,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;IAC/D,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,KAAK,GAAkB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC5E,mEAAmE;IACnE,sEAAsE;IACtE,uEAAuE;IACvE,MAAM,SAAS,GACb,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IACzE,MAAM,KAAK,GAAG,sBAAsB,CAAC,UAAU,EAAE,EAAE;QACjD,QAAQ,EAAE,KAAK;QACf,KAAK,EAAE,SAAS;QAChB,EAAE;KACH,CAAC,CAAA;IACF,8CAA8C;IAC9C,IAAI,WAAW,IAAI,EAAE,KAAK,MAAM;QAAE,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAA;IACzE,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAAmB,EACnB,cAAkC,EAAE,EACpC,IAAyB;IAEzB,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAA;IAC3D,IAAI,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,CAAA;IAC7B,OAAO,eAAe,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,IAAI,KAAK,CAAC,CAAA;AACpF,CAAC","sourcesContent":["/**\n * faces — `sketchFaces`: solve a canonical sketch, chain the solved geometry\n * into closed contours and build the face through core's **unified 2D→3D\n * placement pipeline** (`buildSketchOnPlaneWith`, E2/F4): the contours are\n * lifted onto a target plane (named plane, e.g. `'XY'` / `'XZ'`) by the same\n * shared placement core used by `cad.sketchOnPlane`, so a solved sketch can be\n * placed on an arbitrary plane rather than only the implicit z=0 frame.\n *\n * The solve → contour build hand-off is a distinct, failable step (§3.3): a\n * sketch can solve successfully yet yield zero closed loops (dangling\n * segments); that is a real failure mode and is surfaced explicitly rather\n * than treated as a solved sketch.\n */\nimport { buildSketchOnPlaneWith } from '../api/sketch-on-plane'\nimport type { ProfileLoop } from '../api/profile'\nimport type { SketchOnPlaneParams } from '../api/sketch-on-plane'\nimport { getBrepApi } from '../brep/handle-bridge'\nimport { brepOf } from '../shape'\nimport type { Shape } from '../mesh/types'\nimport type { SketchConstraint, SketchGeom, SolveOutcome, ConflictDetail } from './canonical.js'\nimport type { SketchParams } from './op.js'\nimport { solveSketch, type SolveSketchOptions } from './solve.js'\nimport { toFreeCadGeoms } from './project.js'\nimport { extractContours } from './contour.js'\n\n/** One-line description of a conflicting constraint, e.g. `length(bottom) = 80`. */\nfunction describeConflict(d: ConflictDetail): string {\n  const refs = d.refs.join(', ')\n  const val = typeof d.value === 'number' ? ` = ${d.value}` : ''\n  return `${d.kind}(${refs})${val}`\n}\n\n/**\n * Build the `E_SKETCHC_CONFLICTING` error message. Conflict details are\n * resolved to tags (never bare solver indices); falls back to numeric indices\n * when the solver reports none (§3.2, §5.1 probe caveat).\n */\nfunction conflictingMessage(outcome: SolveOutcome): string {\n  const header = 'E_SKETCHC_CONFLICTING: conflicting constraints detected'\n  const details = outcome.conflictDetails\n  if (details && details.length > 0) {\n    return `${header}\\n${details.map((d) => `  - ${describeConflict(d)}`).join('\\n')}`\n  }\n  const idx = outcome.problemConstraints.length > 0\n    ? ` (indices: ${outcome.problemConstraints.join(', ')})`\n    : ''\n  return `${header}${idx}`\n}\n\n/** Options for {@link sketchFaces}. */\nexport interface SketchFacesOptions extends SolveSketchOptions {\n  /** Product form: `'face'` (default) builds a face; `'wire'` returns the outer wire only. */\n  as?: 'face' | 'wire'\n  /**\n   * Named target plane (`'XY'` default; e.g. `'XZ'` / `'YZ'`) or an explicit\n   * plane frame (A3, 2026-09-28): `{ origin, normal, xAxis? }` for arbitrary\n   * sketch planes (the sketchOnPlane hand-off, D3 option (b)).\n   */\n  plane?: SketchParams['plane']\n  /**\n   * 本次草图里有 `mode:'s'`（内环/孔）形状：构面后**校验孔确实被包含**。\n   *\n   * 孔的身份由轮廓包含关系决定（core `organiseBlueprints` + `addHolesInFace`），\n   * 所以\"减\"不需要面级布尔；但一个没被任何外轮廓包住的 `mode:'s'` 形状会**静默变成\n   * 一块额外的外轮廓面**——那正是必须显式报错的形态（`E_SKETCHC_SUBTRACT_NOT_CONTAINED`）。\n   */\n  expectHoles?: boolean\n  /** Diagnostics observer (the script-face op forwards this to the host sink). */\n  onDiagnostic?: (outcome: SolveOutcome) => void\n}\n\n/**\n * 构面之后校验\"声明的内环确实成了孔\"。\n *\n * 判据是**结果**而不是几何猜测：轮廓数 > 面数，说明至少有一条轮廓被当成了内环\n * （`organiseBlueprints` 按包含关系把它并进外环）。否则那条 `mode:'s'` 形状没被\n * 任何外轮廓包住，静默变成外轮廓面是不可接受的。\n */\nfunction assertHolesMade(shape: Shape, contourCount: number): void {\n  const faces = getBrepApi().getSubShapes(brepOf(shape) as never, 'face' as never) as unknown[]\n  if (faces.length >= contourCount) {\n    throw new Error(\n      'E_SKETCHC_SUBTRACT_NOT_CONTAINED: a `mode:\"s\"` shape is not contained by any outer ' +\n        `contour (${contourCount} contours → ${faces.length} faces); 孔必须落在某个外轮廓内部`,\n    )\n  }\n}\n\n/**\n * Build the shape from an already-solved outcome (shared by op + wrapper).\n *\n * @param outcome - a converged solve outcome.\n * @param as - product form: `'face'` (default) or `'wire'`.\n * @param plane - named plane or explicit frame `{ origin, normal, xAxis? }` (default `'XY'`).\n * @param expectHoles - 本次草图声明了 `mode:'s'` 内环 → 构面后校验孔确实被包含。\n * @returns the placement face or outer wire.\n */\nexport function shapeFromSolved(\n  outcome: SolveOutcome,\n  as?: 'face' | 'wire',\n  plane?: SketchParams['plane'],\n  expectHoles = false,\n): Shape {\n  // 2026-09-27裁定: a conflicting over-constraint is a HARD error on the\n  // script face — the message must point at the clashing constraints (§3.2).\n  // Under- and redundant-constraint still solve normally; only a hard solver\n  // failure blocks face construction as before.\n  if (!outcome.converged && outcome.status === 'conflicting') {\n    throw new Error(conflictingMessage(outcome))\n  }\n  if (!outcome.converged) {\n    throw new Error(`E_SKETCHC_SOLVE_FAILED: ${outcome.reason ?? outcome.status}`)\n  }\n  const contours = extractContours(toFreeCadGeoms(outcome.geoms))\n  if (contours.length === 0) {\n    throw new Error('E_SKETCHC_NO_CONTOUR: solved sketch produced no closed loop')\n  }\n  const loops: ProfileLoop[] = contours.map((c) => ({ segments: c.segments }))\n  // A3 (D3 (b)): the placement hand-off goes through the SAME shared\n  // placement core (`buildSketchOnPlaneWith`) for both named planes and\n  // explicit frames — the contours land on the target plane in one step.\n  const planeSpec: SketchOnPlaneParams['plane'] =\n    typeof plane === 'string' ? { name: plane } : (plane ?? { name: 'XY' })\n  const shape = buildSketchOnPlaneWith(getBrepApi(), {\n    contours: loops,\n    plane: planeSpec,\n    as,\n  })\n  // `as:'wire'` 只交外环，孔不参与成面 —— 那种调用没有\"孔没被包含\"可言。\n  if (expectHoles && as !== 'wire') assertHolesMade(shape, contours.length)\n  return shape\n}\n\n/**\n * Solve a canonical sketch and build its planar face / outer wire.\n *\n * @param geoms - canonical geometry (stored coordinates are the initial guess).\n * @param constraints - canonical constraints (default: none).\n * @param opts - solver selection, product form, target plane and diagnostics observer.\n * @returns the face (`as:'wire'` → the outer wire as a 1D curve), placed on `opts.plane`.\n */\nexport async function sketchFaces(\n  geoms: SketchGeom[],\n  constraints: SketchConstraint[] = [],\n  opts?: SketchFacesOptions,\n): Promise<Shape> {\n  const outcome = await solveSketch(geoms, constraints, opts)\n  opts?.onDiagnostic?.(outcome)\n  return shapeFromSolved(outcome, opts?.as, opts?.plane, opts?.expectHoles ?? false)\n}\n"]}

package/dist/sketch/fcstd-types.d.ts

@@ -0,0 +1,194 @@
+/**
+ * fcstd-types — FCStd sketch geometry / constraint model (migrated from
+ * `@faicad/faijs-freecad`'s `sketch-parse.ts`, type half only).
+ *
+ * These are the FreeCAD-shaped records the solver pipeline consumes: geometry
+ * carries an `index` (geoId) and 3D sketch-local coordinates; constraints carry
+ * the `ConstraintType` integer and `(geoId, pos)` refs. The canonical,
+ * projection-friendly model lives in `./canonical.ts` — this module is the
+ * internal/FCStd-projection representation.
+ *
+ * Field format per the fcstd port plan §5.2/§5.3:
+ * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0
+ * - `<Constrain>` carries Type as the ConstraintType enum integer
+ * - ElementIds/ElementPositions take precedence over First/Second/Third
+ * - IsDriving defaults to true when missing
+ * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external
+ */
+/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */
+export declare const ConstraintType: {
+    readonly Coincident: 1;
+    readonly Horizontal: 2;
+    readonly Vertical: 3;
+    readonly Parallel: 4;
+    readonly Tangent: 5;
+    readonly Distance: 6;
+    readonly DistanceX: 7;
+    readonly DistanceY: 8;
+    readonly Angle: 9;
+    readonly Perpendicular: 10;
+    readonly Radius: 11;
+    readonly Equal: 12;
+    readonly PointOnObject: 13;
+    readonly Symmetric: 14;
+    readonly InternalAlignment: 15;
+    readonly SnellsLaw: 16;
+    readonly Block: 17;
+    readonly Diameter: 18;
+    readonly Weight: 19;
+    readonly Group: 20;
+    readonly Text: 21;
+};
+/**
+ * Human-readable names for the ConstraintType enum integers (debugging/
+ * diagnostics only).
+ */
+export declare const CONSTRAINT_NAMES: Record<number, string>;
+/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */
+export declare const GeoId: {
+    readonly RtPnt: -1;
+    readonly HAxis: -1;
+    readonly VAxis: -2;
+    readonly RefExt: -3;
+};
+/** PointPos (GeoEnum.h:88-94) */
+export declare const PointPos: {
+    readonly none: 0;
+    readonly start: 1;
+    readonly end: 2;
+    readonly mid: 3;
+};
+/**
+ * One parsed sketch geometry element (point, line, circle, arc, ellipse or
+ * bspline), in 3D sketch-local coordinates.
+ *
+ * `construction` (2026-09-26): FreeCAD marks reference geometry (axes, symmetry
+ * lines, helper circles) with `<Construction value="1"/>`. It participates in
+ * the constraint solve but is NOT part of the profile: FreeCAD never constrains
+ * it to the real outline, so its stored coordinates are frequently leftover
+ * garbage (measured on `Double glazed window … .FCStd` Sketch095: a
+ * construction line with `StartY = -16508.67` next to real geometry at y≈1165).
+ * Contour extraction must therefore filter on it — see `contour.ts`.
+ */
+export type FcstdSketchGeom = {
+    kind: 'point';
+    index: number;
+    x: number;
+    y: number;
+    z: number;
+    construction?: boolean;
+} | {
+    kind: 'line';
+    index: number;
+    x1: number;
+    y1: number;
+    z1: number;
+    x2: number;
+    y2: number;
+    z2: number;
+    construction?: boolean;
+} | {
+    kind: 'circle';
+    index: number;
+    cx: number;
+    cy: number;
+    cz: number;
+    radius: number;
+    construction?: boolean;
+} | {
+    kind: 'arc';
+    index: number;
+    cx: number;
+    cy: number;
+    cz: number;
+    radius: number;
+    startAngle: number;
+    endAngle: number;
+    /** arc endpoints derived from angles (kept for solver wiring) */
+    x1: number;
+    y1: number;
+    z1: number;
+    x2: number;
+    y2: number;
+    z2: number;
+    construction?: boolean;
+} | {
+    kind: 'ellipse';
+    index: number;
+    cx: number;
+    cy: number;
+    cz: number;
+    majorRadius: number;
+    minorRadius: number;
+    /** rotation of major axis, radians */
+    angleXU: number;
+    /** partial-ellipse arc bounds (ArcOfEllipse); absent on a full ellipse */
+    startAngle?: number;
+    endAngle?: number;
+    /** first focus (computed) */
+    fx1: number;
+    fy1: number;
+    fx2: number;
+    fy2: number;
+    construction?: boolean;
+} | {
+    /** Part::GeomBSplineCurve (Poles/Knots/Degree/IsPeriodic) */
+    kind: 'bspline';
+    index: number;
+    poles: {
+        x: number;
+        y: number;
+    }[];
+    knots: number[];
+    degree: number;
+    periodic: boolean;
+    /** curve start/end (exact for clamped splines; solver wiring + chaining) */
+    x1: number;
+    y1: number;
+    z1: number;
+    x2: number;
+    y2: number;
+    z2: number;
+    construction?: boolean;
+};
+/**
+ * One (geometry, point) reference inside a constraint: a geoId plus a
+ * PointPos selector.
+ */
+export interface FcstdGeoRef {
+    /** geometry id: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external */
+    geoId: number;
+    /** PointPos selector (0 = edge itself, 1/2 = start/end, 3 = center) */
+    pos: number;
+}
+/**
+ * One parsed sketch constraint.
+ */
+export interface FcstdSketchCon {
+    /** index in the constraint list */
+    index: number;
+    /** ConstraintType integer */
+    type: number;
+    /** resolved element refs */
+    refs: FcstdGeoRef[];
+    /** driving dimension value (Distance/Angle/Radius/...) */
+    value: number;
+    /** IsDriving; missing means true */
+    isDriving: boolean;
+    /** raw name attribute */
+    name: string;
+    /** InternalAlignmentType when type === 15 */
+    internalAlignmentType?: number;
+}
+/**
+ * The fully parsed sketch: geometry, constraints, constrainedness and the set
+ * of referenced external geoIds.
+ */
+export interface FcstdParsedSketch {
+    geoms: FcstdSketchGeom[];
+    constraints: FcstdSketchCon[];
+    fullyConstrained: boolean;
+    /** geoIds <= -3 referenced by constraints */
+    externalGeoIds: number[];
+}
+//# sourceMappingURL=fcstd-types.d.ts.map

package/dist/sketch/fcstd-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fcstd-types.d.ts","sourceRoot":"","sources":["../../src/sketch/fcstd-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,2EAA2E;AAC3E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;CAsBjB,CAAA;AAEV;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAMnD,CAAA;AAED,qDAAqD;AACrD,eAAO,MAAM,KAAK;;;;;CAKR,CAAA;AAEV,iCAAiC;AACjC,eAAO,MAAM,QAAQ;;;;;CAKX,CAAA;AAEV;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GACzF;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAC/H;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAC7G;IACE,IAAI,EAAE,KAAK,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,iEAAiE;IACjE,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB,GACD;IACE,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAA;IACf,0EAA0E;IAC1E,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,6BAA6B;IAC7B,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB,GACD;IACE,6DAA6D;IAC7D,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IACjC,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,OAAO,CAAA;IACjB,4EAA4E;IAC5E,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,EAAE,EAAE,MAAM,CAAA;IACV,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB,CAAA;AAEL;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,+EAA+E;IAC/E,KAAK,EAAE,MAAM,CAAA;IACb,uEAAuE;IACvE,GAAG,EAAE,MAAM,CAAA;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAA;IACb,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,4BAA4B;IAC5B,IAAI,EAAE,WAAW,EAAE,CAAA;IACnB,0DAA0D;IAC1D,KAAK,EAAE,MAAM,CAAA;IACb,oCAAoC;IACpC,SAAS,EAAE,OAAO,CAAA;IAClB,yBAAyB;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,6CAA6C;IAC7C,qBAAqB,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,eAAe,EAAE,CAAA;IACxB,WAAW,EAAE,cAAc,EAAE,CAAA;IAC7B,gBAAgB,EAAE,OAAO,CAAA;IACzB,6CAA6C;IAC7C,cAAc,EAAE,MAAM,EAAE,CAAA;CACzB"}

package/dist/sketch/fcstd-types.js

@@ -0,0 +1,67 @@
+/**
+ * fcstd-types — FCStd sketch geometry / constraint model (migrated from
+ * `@faicad/faijs-freecad`'s `sketch-parse.ts`, type half only).
+ *
+ * These are the FreeCAD-shaped records the solver pipeline consumes: geometry
+ * carries an `index` (geoId) and 3D sketch-local coordinates; constraints carry
+ * the `ConstraintType` integer and `(geoId, pos)` refs. The canonical,
+ * projection-friendly model lives in `./canonical.ts` — this module is the
+ * internal/FCStd-projection representation.
+ *
+ * Field format per the fcstd port plan §5.2/§5.3:
+ * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0
+ * - `<Constrain>` carries Type as the ConstraintType enum integer
+ * - ElementIds/ElementPositions take precedence over First/Second/Third
+ * - IsDriving defaults to true when missing
+ * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external
+ */
+/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */
+export const ConstraintType = {
+    Coincident: 1,
+    Horizontal: 2,
+    Vertical: 3,
+    Parallel: 4,
+    Tangent: 5,
+    Distance: 6,
+    DistanceX: 7,
+    DistanceY: 8,
+    Angle: 9,
+    Perpendicular: 10,
+    Radius: 11,
+    Equal: 12,
+    PointOnObject: 13,
+    Symmetric: 14,
+    InternalAlignment: 15,
+    SnellsLaw: 16,
+    Block: 17,
+    Diameter: 18,
+    Weight: 19,
+    Group: 20,
+    Text: 21,
+};
+/**
+ * Human-readable names for the ConstraintType enum integers (debugging/
+ * diagnostics only).
+ */
+export const CONSTRAINT_NAMES = {
+    1: 'Coincident', 2: 'Horizontal', 3: 'Vertical', 4: 'Parallel', 5: 'Tangent',
+    6: 'Distance', 7: 'DistanceX', 8: 'DistanceY', 9: 'Angle', 10: 'Perpendicular',
+    11: 'Radius', 12: 'Equal', 13: 'PointOnObject', 14: 'Symmetric',
+    15: 'InternalAlignment', 16: 'SnellsLaw', 17: 'Block', 18: 'Diameter',
+    19: 'Weight', 20: 'Group', 21: 'Text',
+};
+/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */
+export const GeoId = {
+    RtPnt: -1,
+    HAxis: -1,
+    VAxis: -2,
+    RefExt: -3,
+};
+/** PointPos (GeoEnum.h:88-94) */
+export const PointPos = {
+    none: 0, // edge itself
+    start: 1,
+    end: 2,
+    mid: 3, // center of circle/ellipse
+};
+//# sourceMappingURL=fcstd-types.js.map

package/dist/sketch/fcstd-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fcstd-types.js","sourceRoot":"","sources":["../../src/sketch/fcstd-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,UAAU,EAAE,CAAC;IACb,UAAU,EAAE,CAAC;IACb,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;IACV,QAAQ,EAAE,CAAC;IACX,SAAS,EAAE,CAAC;IACZ,SAAS,EAAE,CAAC;IACZ,KAAK,EAAE,CAAC;IACR,aAAa,EAAE,EAAE;IACjB,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,EAAE;IACT,aAAa,EAAE,EAAE;IACjB,SAAS,EAAE,EAAE;IACb,iBAAiB,EAAE,EAAE;IACrB,SAAS,EAAE,EAAE;IACb,KAAK,EAAE,EAAE;IACT,QAAQ,EAAE,EAAE;IACZ,MAAM,EAAE,EAAE;IACV,KAAK,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;CACA,CAAA;AAEV;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA2B;IACtD,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS;IAC5E,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe;IAC9E,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW;IAC/D,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU;IACrE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM;CACtC,CAAA;AAED,qDAAqD;AACrD,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,KAAK,EAAE,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;IACT,KAAK,EAAE,CAAC,CAAC;IACT,MAAM,EAAE,CAAC,CAAC;CACF,CAAA;AAEV,iCAAiC;AACjC,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,IAAI,EAAE,CAAC,EAAE,cAAc;IACvB,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC,EAAE,2BAA2B;CAC3B,CAAA","sourcesContent":["/**\n * fcstd-types — FCStd sketch geometry / constraint model (migrated from\n * `@faicad/faijs-freecad`'s `sketch-parse.ts`, type half only).\n *\n * These are the FreeCAD-shaped records the solver pipeline consumes: geometry\n * carries an `index` (geoId) and 3D sketch-local coordinates; constraints carry\n * the `ConstraintType` integer and `(geoId, pos)` refs. The canonical,\n * projection-friendly model lives in `./canonical.ts` — this module is the\n * internal/FCStd-projection representation.\n *\n * Field format per the fcstd port plan §5.2/§5.3:\n * - geometry coordinates are 3D (X/Y/Z); sketch-local Z is usually 0\n * - `<Constrain>` carries Type as the ConstraintType enum integer\n * - ElementIds/ElementPositions take precedence over First/Second/Third\n * - IsDriving defaults to true when missing\n * - geoId: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external\n */\n\n/** ConstraintType enum values (src/Mod/Sketcher/App/Constraint.h:52-77) */\nexport const ConstraintType = {\n  Coincident: 1,\n  Horizontal: 2,\n  Vertical: 3,\n  Parallel: 4,\n  Tangent: 5,\n  Distance: 6,\n  DistanceX: 7,\n  DistanceY: 8,\n  Angle: 9,\n  Perpendicular: 10,\n  Radius: 11,\n  Equal: 12,\n  PointOnObject: 13,\n  Symmetric: 14,\n  InternalAlignment: 15,\n  SnellsLaw: 16,\n  Block: 17,\n  Diameter: 18,\n  Weight: 19,\n  Group: 20,\n  Text: 21,\n} as const\n\n/**\n * Human-readable names for the ConstraintType enum integers (debugging/\n * diagnostics only).\n */\nexport const CONSTRAINT_NAMES: Record<number, string> = {\n  1: 'Coincident', 2: 'Horizontal', 3: 'Vertical', 4: 'Parallel', 5: 'Tangent',\n  6: 'Distance', 7: 'DistanceX', 8: 'DistanceY', 9: 'Angle', 10: 'Perpendicular',\n  11: 'Radius', 12: 'Equal', 13: 'PointOnObject', 14: 'Symmetric',\n  15: 'InternalAlignment', 16: 'SnellsLaw', 17: 'Block', 18: 'Diameter',\n  19: 'Weight', 20: 'Group', 21: 'Text',\n}\n\n/** GeoEnum (src/Mod/Sketcher/App/GeoEnum.h:71-78) */\nexport const GeoId = {\n  RtPnt: -1,\n  HAxis: -1,\n  VAxis: -2,\n  RefExt: -3,\n} as const\n\n/** PointPos (GeoEnum.h:88-94) */\nexport const PointPos = {\n  none: 0, // edge itself\n  start: 1,\n  end: 2,\n  mid: 3, // center of circle/ellipse\n} as const\n\n/**\n * One parsed sketch geometry element (point, line, circle, arc, ellipse or\n * bspline), in 3D sketch-local coordinates.\n *\n * `construction` (2026-09-26): FreeCAD marks reference geometry (axes, symmetry\n * lines, helper circles) with `<Construction value=\"1\"/>`. It participates in\n * the constraint solve but is NOT part of the profile: FreeCAD never constrains\n * it to the real outline, so its stored coordinates are frequently leftover\n * garbage (measured on `Double glazed window … .FCStd` Sketch095: a\n * construction line with `StartY = -16508.67` next to real geometry at y≈1165).\n * Contour extraction must therefore filter on it — see `contour.ts`.\n */\nexport type FcstdSketchGeom =\n  | { kind: 'point'; index: number; x: number; y: number; z: number; construction?: boolean }\n  | { kind: 'line'; index: number; x1: number; y1: number; z1: number; x2: number; y2: number; z2: number; construction?: boolean }\n  | { kind: 'circle'; index: number; cx: number; cy: number; cz: number; radius: number; construction?: boolean }\n  | {\n      kind: 'arc'\n      index: number\n      cx: number\n      cy: number\n      cz: number\n      radius: number\n      startAngle: number // radians\n      endAngle: number\n      /** arc endpoints derived from angles (kept for solver wiring) */\n      x1: number\n      y1: number\n      z1: number\n      x2: number\n      y2: number\n      z2: number\n      construction?: boolean\n    }\n  | {\n      kind: 'ellipse'\n      index: number\n      cx: number\n      cy: number\n      cz: number\n      majorRadius: number\n      minorRadius: number\n      /** rotation of major axis, radians */\n      angleXU: number\n      /** partial-ellipse arc bounds (ArcOfEllipse); absent on a full ellipse */\n      startAngle?: number\n      endAngle?: number\n      /** first focus (computed) */\n      fx1: number\n      fy1: number\n      fx2: number\n      fy2: number\n      construction?: boolean\n    }\n  | {\n      /** Part::GeomBSplineCurve (Poles/Knots/Degree/IsPeriodic) */\n      kind: 'bspline'\n      index: number\n      poles: { x: number; y: number }[]\n      knots: number[]\n      degree: number\n      periodic: boolean\n      /** curve start/end (exact for clamped splines; solver wiring + chaining) */\n      x1: number\n      y1: number\n      z1: number\n      x2: number\n      y2: number\n      z2: number\n      construction?: boolean\n    }\n\n/**\n * One (geometry, point) reference inside a constraint: a geoId plus a\n * PointPos selector.\n */\nexport interface FcstdGeoRef {\n  /** geometry id: >= 0 own geometry; -1 HAxis/RtPnt; -2 VAxis; <= -3 external */\n  geoId: number\n  /** PointPos selector (0 = edge itself, 1/2 = start/end, 3 = center) */\n  pos: number // PointPos\n}\n\n/**\n * One parsed sketch constraint.\n */\nexport interface FcstdSketchCon {\n  /** index in the constraint list */\n  index: number\n  /** ConstraintType integer */\n  type: number\n  /** resolved element refs */\n  refs: FcstdGeoRef[]\n  /** driving dimension value (Distance/Angle/Radius/...) */\n  value: number\n  /** IsDriving; missing means true */\n  isDriving: boolean\n  /** raw name attribute */\n  name: string\n  /** InternalAlignmentType when type === 15 */\n  internalAlignmentType?: number\n}\n\n/**\n * The fully parsed sketch: geometry, constraints, constrainedness and the set\n * of referenced external geoIds.\n */\nexport interface FcstdParsedSketch {\n  geoms: FcstdSketchGeom[]\n  constraints: FcstdSketchCon[]\n  fullyConstrained: boolean\n  /** geoIds <= -3 referenced by constraints */\n  externalGeoIds: number[]\n}"]}