@faicad/faijs 0.31.1 → 0.32.2

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

@@ -1,63 +0,0 @@
-/**
- * M3.2 — SketchSolver interface (D5) with the planegcs WASM backend.
- *
- * faijs depends only on this interface; the WASM implementation is swappable
- * (前文 B R2/R3). Input: parsed sketch geometry + constraints (M3.1 types).
- * Output: solved geometry or a structured failure — the caller (M3.5) decides
- * between solution and initial-value fallback (D2).
- */
-import type { Result } from '../api/result.js';
-import type { SketchGeom, SketchCon } from './sketch-parse.js';
-/**
- * Result of one solver run: the solved geometry plus convergence status and
- * diagnostics for the caller's L0/L1/L2 decision (D2).
- */
-export interface SolveOutcome {
-    /** geometry after solve, same order/index as input */
-    geoms: SketchGeom[];
-    /** true when the solver reports Success with no conflicts */
-    converged: boolean;
-    /** diagnostics when not converged */
-    reason?: 'conflicting' | 'redundant' | 'failed' | 'unsupported-constraint';
-    /** constraint indices the solver flagged */
-    problemConstraints: number[];
-    /** constraint indices dropped because their GCS shape could not be pushed */
-    droppedConstraints: number[];
-}
-/**
- * One pre-projected external geometry segment passed to the solver as fixed
- * (immutable) geometry.
- */
-export interface ExternalFixedSeg {
-    /** negative geoId in link order: -3, -4, ... (GeoEnum.RefExt downward) */
-    geoId: number;
-    /** the projected sketch-local 2D polyline (immutable to the solver) */
-    polyline: [number, number][];
-}
-/**
- * Solver abstraction (D5): faijs depends only on this interface; the WASM
- * implementation is swappable.
- */
-export interface SketchSolver {
-    /**
-     * Solve constraints against the given geometry. The input geometry's stored
-     * coordinates are used as the initial guess (D2 — they are FreeCAD's last
-     * solution and the ideal starting point).
-     *
-     * `external` carries pre-projected fixed geometry (M6.3): immutable 2D
-     * polylines that constraints may reference by negative geoId. When a
-     * constraint references an external geoId not present here, the solver
-     * drops that constraint (recorded in droppedConstraints).
-     */
-    solve(geoms: SketchGeom[], constraints: SketchCon[], external?: ExternalFixedSeg[]): Promise<Result<SolveOutcome, never>>;
-}
-/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */
-export declare const SUPPORTED_CONSTRAINT_TYPES: Set<number>;
-/**
- * Check whether every constraint in a sketch is expressible by the backend.
- *
- * @param constraints - the parsed sketch constraints.
- * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.
- */
-export declare function allConstraintsSupported(constraints: SketchCon[]): boolean;
-//# sourceMappingURL=sketch-solver.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketch-solver.d.ts","sourceRoot":"","sources":["../../src/fcstd/sketch-solver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE/D;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,sDAAsD;IACtD,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,6DAA6D;IAC7D,SAAS,EAAE,OAAO,CAAC;IACnB,qCAAqC;IACrC,MAAM,CAAC,EAAE,aAAa,GAAG,WAAW,GAAG,QAAQ,GAAG,wBAAwB,CAAC;IAC3E,4CAA4C;IAC5C,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,6EAA6E;IAC7E,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,0EAA0E;IAC1E,KAAK,EAAE,MAAM,CAAC;IACd,uEAAuE;IACvE,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;;;;;OASG;IACH,KAAK,CACH,KAAK,EAAE,UAAU,EAAE,EACnB,WAAW,EAAE,SAAS,EAAE,EACxB,QAAQ,CAAC,EAAE,gBAAgB,EAAE,GAC5B,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;CACzC;AAED,gFAAgF;AAChF,eAAO,MAAM,0BAA0B,aAgBrC,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,SAAS,EAAE,GAAG,OAAO,CAEzE"}

package/dist/fcstd/sketch-solver.js

@@ -1,28 +0,0 @@
-/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */
-export const SUPPORTED_CONSTRAINT_TYPES = new Set([
-    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
-    18, // Diameter
-]);
-/**
- * Check whether every constraint in a sketch is expressible by the backend.
- *
- * @param constraints - the parsed sketch constraints.
- * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.
- */
-export function allConstraintsSupported(constraints) {
-    return constraints.every((c) => SUPPORTED_CONSTRAINT_TYPES.has(c.type));
-}
-//# sourceMappingURL=sketch-solver.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketch-solver.js","sourceRoot":"","sources":["../../src/fcstd/sketch-solver.ts"],"names":[],"mappings":"AA6DA,gFAAgF;AAChF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAS;IACxD,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,aAAa;IAChB,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,UAAU;IACb,CAAC,EAAE,WAAW;IACd,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,YAAY;IACf,CAAC,EAAE,QAAQ;IACX,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,SAAS;IACb,EAAE,EAAE,QAAQ;IACZ,EAAE,EAAE,gBAAgB;IACpB,EAAE,EAAE,YAAY;IAChB,EAAE,EAAE,WAAW;CAChB,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CAAC,WAAwB;IAC9D,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC","sourcesContent":["/**\n * M3.2 — SketchSolver interface (D5) with the planegcs WASM backend.\n *\n * faijs depends only on this interface; the WASM implementation is swappable\n * (前文 B R2/R3). Input: parsed sketch geometry + constraints (M3.1 types).\n * Output: solved geometry or a structured failure — the caller (M3.5) decides\n * between solution and initial-value fallback (D2).\n */\nimport type { Result } from '../api/result.js';\nimport type { SketchGeom, SketchCon } from './sketch-parse.js';\n\n/**\n * Result of one solver run: the solved geometry plus convergence status and\n * diagnostics for the caller's L0/L1/L2 decision (D2).\n */\nexport interface SolveOutcome {\n  /** geometry after solve, same order/index as input */\n  geoms: SketchGeom[];\n  /** true when the solver reports Success with no conflicts */\n  converged: boolean;\n  /** diagnostics when not converged */\n  reason?: 'conflicting' | 'redundant' | 'failed' | 'unsupported-constraint';\n  /** constraint indices the solver flagged */\n  problemConstraints: number[];\n  /** constraint indices dropped because their GCS shape could not be pushed */\n  droppedConstraints: number[];\n}\n\n/**\n * One pre-projected external geometry segment passed to the solver as fixed\n * (immutable) geometry.\n */\nexport interface ExternalFixedSeg {\n  /** negative geoId in link order: -3, -4, ... (GeoEnum.RefExt downward) */\n  geoId: number;\n  /** the projected sketch-local 2D polyline (immutable to the solver) */\n  polyline: [number, number][];\n}\n\n/**\n * Solver abstraction (D5): faijs depends only on this interface; the WASM\n * implementation is swappable.\n */\nexport interface SketchSolver {\n  /**\n   * Solve constraints against the given geometry. The input geometry's stored\n   * coordinates are used as the initial guess (D2 — they are FreeCAD's last\n   * solution and the ideal starting point).\n   *\n   * `external` carries pre-projected fixed geometry (M6.3): immutable 2D\n   * polylines that constraints may reference by negative geoId. When a\n   * constraint references an external geoId not present here, the solver\n   * drops that constraint (recorded in droppedConstraints).\n   */\n  solve(\n    geoms: SketchGeom[],\n    constraints: SketchCon[],\n    external?: ExternalFixedSeg[],\n  ): Promise<Result<SolveOutcome, never>>;\n}\n\n/** Constraint types the planegcs backend can express (P0 set, plan §7 M3.4). */\nexport const SUPPORTED_CONSTRAINT_TYPES = new Set<number>([\n  1, // Coincident\n  2, // Horizontal\n  3, // Vertical\n  4, // Parallel\n  5, // Tangent\n  6, // Distance\n  7, // DistanceX\n  8, // DistanceY\n  9, // Angle\n  10, // Perpendicular\n  11, // Radius\n  12, // Equal\n  13, // PointOnObject\n  14, // Symmetric\n  18, // Diameter\n]);\n\n/**\n * Check whether every constraint in a sketch is expressible by the backend.\n *\n * @param constraints - the parsed sketch constraints.\n * @returns true when every constraint's type is in SUPPORTED_CONSTRAINT_TYPES.\n */\nexport function allConstraintsSupported(constraints: SketchCon[]): boolean {\n  return constraints.every((c) => SUPPORTED_CONSTRAINT_TYPES.has(c.type));\n}\n"]}

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

@@ -1,43 +0,0 @@
-/**
- * M3.5 — solved-vs-stored comparison (D2/V2).
- *
- * The on-disk coordinates ARE FreeCAD's last solution, so a correct pipeline
- * re-derives (nearly) the same geometry. maxPointDistance is the V2 metric;
- * its tolerance T1 is calibrated from the sample-set distribution, not
- * pre-set (plan §8).
- */
-import type { SketchGeom } from './sketch-parse.js';
-import type { SolveOutcome } from './sketch-solver.js';
-/**
- * Maximum anchor-point distance between two geometry lists (same indexing).
- *
- * @param a - first geometry list (e.g. the solver result).
- * @param b - second geometry list (e.g. the stored geometry).
- * @returns the maximum Euclidean distance between corresponding anchor points
- *   (0 when the lists have no comparable points).
- */
-export declare function maxPointDistance(a: SketchGeom[], b: SketchGeom[]): number;
-/**
- * Three-level downgrade verdict (D3) for one sketch.
- */
-export interface SketchVerdict {
-    /** solved quality level: L0 = solved & matches, L1 = flagged, L2 = baked */
-    level: 'L0' | 'L1' | 'L2';
-    /** human-readable reason for a non-L0 verdict */
-    reason?: string;
-    /** max anchor distance between re-solved and stored geometry */
-    maxDelta?: number;
-}
-/**
- * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).
- * L1 = solver result kept but flagged, stored coords used instead.
- * L2 = baked (unsupported geometry/constraints, external geometry).
- *
- * @param outcome - the solver result, or undefined when none was produced.
- * @param stored - the on-disk (stored) geometry to compare against.
- * @param t1 - the calibrated distance tolerance for the L0/L1 split.
- * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.
- * @returns the classification verdict for the sketch.
- */
-export declare function classifySketch(outcome: SolveOutcome | undefined, stored: SketchGeom[], t1: number, preBlocked?: string): SketchVerdict;
-//# sourceMappingURL=sketch-verify.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketch-verify.d.ts","sourceRoot":"","sources":["../../src/fcstd/sketch-verify.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAiBvD;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,MAAM,CAazE;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IAC1B,iDAAiD;IACjD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,YAAY,GAAG,SAAS,EACjC,MAAM,EAAE,UAAU,EAAE,EACpB,EAAE,EAAE,MAAM,EACV,UAAU,CAAC,EAAE,MAAM,GAClB,aAAa,CASf"}

package/dist/fcstd/sketch-verify.js

@@ -1,62 +0,0 @@
-function anchorPoints(g) {
-    switch (g.kind) {
-        case 'point':
-            return [{ x: g.x, y: g.y }];
-        case 'line':
-            return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
-        case 'circle':
-            return [{ x: g.cx, y: g.cy }];
-        case 'arc':
-            return [{ x: g.cx, y: g.cy }, { x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];
-        case 'ellipse':
-            return [{ x: g.cx, y: g.cy }];
-    }
-}
-/**
- * Maximum anchor-point distance between two geometry lists (same indexing).
- *
- * @param a - first geometry list (e.g. the solver result).
- * @param b - second geometry list (e.g. the stored geometry).
- * @returns the maximum Euclidean distance between corresponding anchor points
- *   (0 when the lists have no comparable points).
- */
-export function maxPointDistance(a, b) {
-    let max = 0;
-    const n = Math.min(a.length, b.length);
-    for (let i = 0; i < n; i++) {
-        const pa = anchorPoints(a[i]);
-        const pb = anchorPoints(b[i]);
-        const m = Math.min(pa.length, pb.length);
-        for (let k = 0; k < m; k++) {
-            const d = Math.hypot(pa[k].x - pb[k].x, pa[k].y - pb[k].y);
-            if (Number.isFinite(d) && d > max)
-                max = d;
-        }
-    }
-    return max;
-}
-/**
- * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).
- * L1 = solver result kept but flagged, stored coords used instead.
- * L2 = baked (unsupported geometry/constraints, external geometry).
- *
- * @param outcome - the solver result, or undefined when none was produced.
- * @param stored - the on-disk (stored) geometry to compare against.
- * @param t1 - the calibrated distance tolerance for the L0/L1 split.
- * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.
- * @returns the classification verdict for the sketch.
- */
-export function classifySketch(outcome, stored, t1, preBlocked) {
-    if (preBlocked)
-        return { level: 'L2', reason: preBlocked };
-    if (!outcome)
-        return { level: 'L2', reason: 'no-solver-result' };
-    if (!outcome.converged) {
-        return { level: 'L1', reason: outcome.reason ?? 'solve-failed' };
-    }
-    const maxDelta = maxPointDistance(outcome.geoms, stored);
-    if (maxDelta <= t1)
-        return { level: 'L0', maxDelta };
-    return { level: 'L1', reason: 'delta-exceeds-t1', maxDelta };
-}
-//# sourceMappingURL=sketch-verify.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"sketch-verify.js","sourceRoot":"","sources":["../../src/fcstd/sketch-verify.ts"],"names":[],"mappings":"AAWA,SAAS,YAAY,CAAC,CAAa;IACjC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,KAAK,KAAK;YACR,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5E,KAAK,SAAS;YACZ,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAe,EAAE,CAAe;IAC/D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;YAC/D,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAcD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAiC,EACjC,MAAoB,EACpB,EAAU,EACV,UAAmB;IAEnB,IAAI,UAAU;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC3D,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACjE,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,cAAc,EAAE,CAAC;IACnE,CAAC;IACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,QAAQ,IAAI,EAAE;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACrD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;AAC/D,CAAC","sourcesContent":["/**\n * M3.5 — solved-vs-stored comparison (D2/V2).\n *\n * The on-disk coordinates ARE FreeCAD's last solution, so a correct pipeline\n * re-derives (nearly) the same geometry. maxPointDistance is the V2 metric;\n * its tolerance T1 is calibrated from the sample-set distribution, not\n * pre-set (plan §8).\n */\nimport type { SketchGeom } from './sketch-parse.js';\nimport type { SolveOutcome } from './sketch-solver.js';\n\nfunction anchorPoints(g: SketchGeom): { x: number; y: number }[] {\n  switch (g.kind) {\n    case 'point':\n      return [{ x: g.x, y: g.y }];\n    case 'line':\n      return [{ x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n    case 'circle':\n      return [{ x: g.cx, y: g.cy }];\n    case 'arc':\n      return [{ x: g.cx, y: g.cy }, { x: g.x1, y: g.y1 }, { x: g.x2, y: g.y2 }];\n    case 'ellipse':\n      return [{ x: g.cx, y: g.cy }];\n  }\n}\n\n/**\n * Maximum anchor-point distance between two geometry lists (same indexing).\n *\n * @param a - first geometry list (e.g. the solver result).\n * @param b - second geometry list (e.g. the stored geometry).\n * @returns the maximum Euclidean distance between corresponding anchor points\n *   (0 when the lists have no comparable points).\n */\nexport function maxPointDistance(a: SketchGeom[], b: SketchGeom[]): number {\n  let max = 0;\n  const n = Math.min(a.length, b.length);\n  for (let i = 0; i < n; i++) {\n    const pa = anchorPoints(a[i]!);\n    const pb = anchorPoints(b[i]!);\n    const m = Math.min(pa.length, pb.length);\n    for (let k = 0; k < m; k++) {\n      const d = Math.hypot(pa[k]!.x - pb[k]!.x, pa[k]!.y - pb[k]!.y);\n      if (Number.isFinite(d) && d > max) max = d;\n    }\n  }\n  return max;\n}\n\n/**\n * Three-level downgrade verdict (D3) for one sketch.\n */\nexport interface SketchVerdict {\n  /** solved quality level: L0 = solved & matches, L1 = flagged, L2 = baked */\n  level: 'L0' | 'L1' | 'L2';\n  /** human-readable reason for a non-L0 verdict */\n  reason?: string;\n  /** max anchor distance between re-solved and stored geometry */\n  maxDelta?: number;\n}\n\n/**\n * Three-level downgrade (D3). L0 = solved & matches stored (delta <= T1).\n * L1 = solver result kept but flagged, stored coords used instead.\n * L2 = baked (unsupported geometry/constraints, external geometry).\n *\n * @param outcome - the solver result, or undefined when none was produced.\n * @param stored - the on-disk (stored) geometry to compare against.\n * @param t1 - the calibrated distance tolerance for the L0/L1 split.\n * @param preBlocked - pre-solve downgrade reason; when set the sketch is L2.\n * @returns the classification verdict for the sketch.\n */\nexport function classifySketch(\n  outcome: SolveOutcome | undefined,\n  stored: SketchGeom[],\n  t1: number,\n  preBlocked?: string,\n): SketchVerdict {\n  if (preBlocked) return { level: 'L2', reason: preBlocked };\n  if (!outcome) return { level: 'L2', reason: 'no-solver-result' };\n  if (!outcome.converged) {\n    return { level: 'L1', reason: outcome.reason ?? 'solve-failed' };\n  }\n  const maxDelta = maxPointDistance(outcome.geoms, stored);\n  if (maxDelta <= t1) return { level: 'L0', maxDelta };\n  return { level: 'L1', reason: 'delta-exceeds-t1', maxDelta };\n}\n"]}

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

@@ -1,83 +0,0 @@
-/**
- * Non-modeling FCStd object types — the single source of truth shared by the
- * C4 disposition audit (`convert.ts`) and the code generator (`codegen.ts`).
- *
- * Why a separate module: `codegen.ts` must skip these objects BEFORE it calls
- * the translator (a datum plane must never enter a Body's feature chain), and
- * `convert.ts` must reclassify them after translation. Keeping the sets in
- * `convert.ts` would make `codegen.ts` import it back (convert → codegen), so
- * the knowledge lives here with zero dependencies.
- *
- * C4 contract: an object in these sets is never a translation gap, and its
- * geometry is never emitted as a modeling call. See the per-set docs below for
- * the evidence behind each classification.
- */
-/** Non-modeling structural/datum types: never translation gaps. They carry
- * no feature semantics (containers, datum planes/lines/origins, groups) —
- * their semantics are consumed by the translator (Body.Group ordering,
- * datum-plane UpToFace anchors), not emitted as cad calls.
- *
- * GOTCHA (PadTest, 2026-09-21): a `PartDesign::Plane` also stores a `Shape`
- * `.brp` member — the plane FACE. The generic "any object with shape evidence
- * is a shape asset" rule therefore imported it and fed it into the Body's
- * union chain, which both corrupts the solid and fails at run time
- * (`[loadBrep] imported shape contains no solid sub-shapes`). Datum shapes are
- * SUPPORT geometry for attachment/up-to resolution, never modeling solids. */
-export declare const STRUCTURAL_TYPES: Set<string>;
-/**
- * 2026-09-20 sweep triage: assembly/import container types — links, assembly
- * containers, import placeholders (Inventor/VRML). They reference or embed
- * external/other geometry but produce no modeling semantics of their own;
- * preserved-only. Modeling features (Part::Mirroring,
- * PartDesign::AdditiveSphere, …) are deliberately NOT here — they stay
- * explicit H7 gaps until translated.
- */
-export declare const STRUCTURAL_TYPES_EXTENDED: Set<string>;
-/**
- * H7 companion (2026-09-20): FEM workbench objects carry SIMULATION semantics
- * (analysis containers, meshes, solver settings, boundary conditions, result
- * objects, post-processing filters) — no modeling geometry. They used to fall
- * into `type-not-whitelisted` and block whole files whose modeling part was a
- * single box. Like structural types they are `preserved-only`; their
- * regenerable field data (FemMesh / result Data properties) is deliberately NOT
- * carried into the container.
- *
- * DECISION (2026-09-21): the rule is the NAMESPACE, not an enumerated list.
- * Census of the 56-sample corpus (fcstd-port `out/probe-fem-types.mjs`): 29
- * distinct `Fem::` types, **every one** an analysis / mesh / solver / result /
- * constraint / filter object, zero modeling features; and the 3,201-file
- * FreeCAD library contains **0** `Fem::` objects, so the rule's blast radius is
- * exactly the FEM workbench. The previous enumerated list cost four
- * whack-a-mole rounds (each fix uncovered the next layer, because the sweep
- * report records only the first 4 reasons per file: fixed
- * FluidBoundary/Gear/Heatflux/InitialTemperature, then
- * PlaneRotation/Pulley/Temperature/Transform, then three more). The namespace
- * closes the family permanently.
- *
- * Note this classification is a LAST resort: an object with shape evidence is
- * taken by the shape-asset path and a Python object by `python-opaque` long
- * before `auditMapping` consults this predicate.
- *
- * Remote task on record (user decision, 2026-09-20): faijs will port FreeCAD's
- * FEM analysis capability in the future — separate feature; this classification
- * only stops simulation objects from blocking conversion.
- *
- * @param type - the FCStd object type, e.g. "Fem::ConstraintFixed".
- * @returns true when the type belongs to the FEM (simulation) workbench.
- */
-export declare function isFemStructural(type: string): boolean;
-/**
- * True when the type carries no modeling semantics — structural/datum/
- * container/drawing/documentation or FEM simulation.
- *
- * `codegen.ts` uses this to short-circuit such objects to `preserved-only`
- * before translation, which is what keeps datum planes out of Body feature
- * chains and keeps their `.brp` face assets out of the shape-asset import path.
- * `convert.ts` uses it for the C4 post-translation reclassification, so the two
- * can never disagree.
- *
- * @param type - the FCStd object type, e.g. "PartDesign::Plane".
- * @returns true when the object must never produce a modeling call or be a shape asset.
- */
-export declare function isNonModelingType(type: string): boolean;
-//# sourceMappingURL=structural-types.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"structural-types.d.ts","sourceRoot":"","sources":["../../src/fcstd/structural-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;;;;;;;;;;8EAU8E;AAC9E,eAAO,MAAM,gBAAgB,aAyB3B,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,yBAAyB,aAOpC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAIvD"}

package/dist/fcstd/structural-types.js

@@ -1,121 +0,0 @@
-/**
- * Non-modeling FCStd object types — the single source of truth shared by the
- * C4 disposition audit (`convert.ts`) and the code generator (`codegen.ts`).
- *
- * Why a separate module: `codegen.ts` must skip these objects BEFORE it calls
- * the translator (a datum plane must never enter a Body's feature chain), and
- * `convert.ts` must reclassify them after translation. Keeping the sets in
- * `convert.ts` would make `codegen.ts` import it back (convert → codegen), so
- * the knowledge lives here with zero dependencies.
- *
- * C4 contract: an object in these sets is never a translation gap, and its
- * geometry is never emitted as a modeling call. See the per-set docs below for
- * the evidence behind each classification.
- */
-/** Non-modeling structural/datum types: never translation gaps. They carry
- * no feature semantics (containers, datum planes/lines/origins, groups) —
- * their semantics are consumed by the translator (Body.Group ordering,
- * datum-plane UpToFace anchors), not emitted as cad calls.
- *
- * GOTCHA (PadTest, 2026-09-21): a `PartDesign::Plane` also stores a `Shape`
- * `.brp` member — the plane FACE. The generic "any object with shape evidence
- * is a shape asset" rule therefore imported it and fed it into the Body's
- * union chain, which both corrupts the solid and fails at run time
- * (`[loadBrep] imported shape contains no solid sub-shapes`). Datum shapes are
- * SUPPORT geometry for attachment/up-to resolution, never modeling solids. */
-export const STRUCTURAL_TYPES = new Set([
-    'PartDesign::Body', 'App::Origin', 'App::Plane', 'App::Line',
-    'App::DocumentObjectGroup', 'App::Part', 'PartDesign::Plane', 'PartDesign::Line',
-    'PartDesign::CoordinateSystem',
-    // H10 companion fix (plan §3.5): datum/annotation types, not modeling
-    // features — previously misclassified as translation gaps.
-    'App::Point', 'App::Annotation',
-    // 2026-09-20 sweep regression triage: Part workbench datum plane (same
-    // semantics as App::Plane) and a document text record — non-modeling.
-    'Part::Plane', 'App::TextDocument',
-    // Part workbench datum line (FEMExample) — same semantics as App::Line.
-    'Part::Line',
-    // 2026-09-21 triage (ArchDetail corpus): TechDraw is FreeCAD's 2D DRAWING
-    // workbench. A page, an SVG template and a projected view are documentation
-    // output — they render a shape onto a sheet and own no modeling geometry
-    // (probe: none of the three carries a Shape .brp; DrawViewDraft only links
-    // its source via `Source`, and a page links its template + views). Same
-    // category as App::TextDocument/App::Annotation above. Their modeling
-    // content is translated independently through the objects they reference.
-    'TechDraw::DrawPage', 'TechDraw::DrawSVGTemplate', 'TechDraw::DrawViewDraft',
-    // P1-1（2026-09-23, B2 §3.9）：Spreadsheet::Sheet / App::VarSet 是**被引用的
-    // 参数数据源**（<<Label>>.Alias 表达式绑定指向它的别名单元格），不是建模对象
-    // 也因此不是翻译缺口。preserved-only；其数值经 expressions.evalWithDoc 的
-    // 三跳解析进入下游属性（pad-length-expression-non-constant 的真根因）。
-    'Spreadsheet::Sheet', 'App::VarSet',
-]);
-/**
- * 2026-09-20 sweep triage: assembly/import container types — links, assembly
- * containers, import placeholders (Inventor/VRML). They reference or embed
- * external/other geometry but produce no modeling semantics of their own;
- * preserved-only. Modeling features (Part::Mirroring,
- * PartDesign::AdditiveSphere, …) are deliberately NOT here — they stay
- * explicit H7 gaps until translated.
- */
-export const STRUCTURAL_TYPES_EXTENDED = new Set([
-    'App::Link',
-    'App::LinkElement',
-    'Assembly::AssemblyObject',
-    'Assembly::JointGroup',
-    'App::InventorObject',
-    'App::VRMLObject',
-]);
-/**
- * H7 companion (2026-09-20): FEM workbench objects carry SIMULATION semantics
- * (analysis containers, meshes, solver settings, boundary conditions, result
- * objects, post-processing filters) — no modeling geometry. They used to fall
- * into `type-not-whitelisted` and block whole files whose modeling part was a
- * single box. Like structural types they are `preserved-only`; their
- * regenerable field data (FemMesh / result Data properties) is deliberately NOT
- * carried into the container.
- *
- * DECISION (2026-09-21): the rule is the NAMESPACE, not an enumerated list.
- * Census of the 56-sample corpus (fcstd-port `out/probe-fem-types.mjs`): 29
- * distinct `Fem::` types, **every one** an analysis / mesh / solver / result /
- * constraint / filter object, zero modeling features; and the 3,201-file
- * FreeCAD library contains **0** `Fem::` objects, so the rule's blast radius is
- * exactly the FEM workbench. The previous enumerated list cost four
- * whack-a-mole rounds (each fix uncovered the next layer, because the sweep
- * report records only the first 4 reasons per file: fixed
- * FluidBoundary/Gear/Heatflux/InitialTemperature, then
- * PlaneRotation/Pulley/Temperature/Transform, then three more). The namespace
- * closes the family permanently.
- *
- * Note this classification is a LAST resort: an object with shape evidence is
- * taken by the shape-asset path and a Python object by `python-opaque` long
- * before `auditMapping` consults this predicate.
- *
- * Remote task on record (user decision, 2026-09-20): faijs will port FreeCAD's
- * FEM analysis capability in the future — separate feature; this classification
- * only stops simulation objects from blocking conversion.
- *
- * @param type - the FCStd object type, e.g. "Fem::ConstraintFixed".
- * @returns true when the type belongs to the FEM (simulation) workbench.
- */
-export function isFemStructural(type) {
-    return type.startsWith('Fem::');
-}
-/**
- * True when the type carries no modeling semantics — structural/datum/
- * container/drawing/documentation or FEM simulation.
- *
- * `codegen.ts` uses this to short-circuit such objects to `preserved-only`
- * before translation, which is what keeps datum planes out of Body feature
- * chains and keeps their `.brp` face assets out of the shape-asset import path.
- * `convert.ts` uses it for the C4 post-translation reclassification, so the two
- * can never disagree.
- *
- * @param type - the FCStd object type, e.g. "PartDesign::Plane".
- * @returns true when the object must never produce a modeling call or be a shape asset.
- */
-export function isNonModelingType(type) {
-    return STRUCTURAL_TYPES.has(type)
-        || STRUCTURAL_TYPES_EXTENDED.has(type)
-        || isFemStructural(type);
-}
-//# sourceMappingURL=structural-types.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"structural-types.js","sourceRoot":"","sources":["../../src/fcstd/structural-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH;;;;;;;;;;8EAU8E;AAC9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IACtC,kBAAkB,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW;IAC5D,0BAA0B,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB;IAChF,8BAA8B;IAC9B,sEAAsE;IACtE,2DAA2D;IAC3D,YAAY,EAAE,iBAAiB;IAC/B,uEAAuE;IACvE,sEAAsE;IACtE,aAAa,EAAE,mBAAmB;IAClC,wEAAwE;IACxE,YAAY;IACZ,0EAA0E;IAC1E,4EAA4E;IAC5E,yEAAyE;IACzE,2EAA2E;IAC3E,wEAAwE;IACxE,sEAAsE;IACtE,0EAA0E;IAC1E,oBAAoB,EAAE,2BAA2B,EAAE,yBAAyB;IAC5E,qEAAqE;IACrE,iDAAiD;IACjD,0DAA0D;IAC1D,uDAAuD;IACvD,oBAAoB,EAAE,aAAa;CACpC,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IAC/C,WAAW;IACX,kBAAkB;IAClB,0BAA0B;IAC1B,sBAAsB;IACtB,qBAAqB;IACrB,iBAAiB;CAClB,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;WAC5B,yBAAyB,CAAC,GAAG,CAAC,IAAI,CAAC;WACnC,eAAe,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC","sourcesContent":["/**\n * Non-modeling FCStd object types — the single source of truth shared by the\n * C4 disposition audit (`convert.ts`) and the code generator (`codegen.ts`).\n *\n * Why a separate module: `codegen.ts` must skip these objects BEFORE it calls\n * the translator (a datum plane must never enter a Body's feature chain), and\n * `convert.ts` must reclassify them after translation. Keeping the sets in\n * `convert.ts` would make `codegen.ts` import it back (convert → codegen), so\n * the knowledge lives here with zero dependencies.\n *\n * C4 contract: an object in these sets is never a translation gap, and its\n * geometry is never emitted as a modeling call. See the per-set docs below for\n * the evidence behind each classification.\n */\n\n/** Non-modeling structural/datum types: never translation gaps. They carry\n * no feature semantics (containers, datum planes/lines/origins, groups) —\n * their semantics are consumed by the translator (Body.Group ordering,\n * datum-plane UpToFace anchors), not emitted as cad calls.\n *\n * GOTCHA (PadTest, 2026-09-21): a `PartDesign::Plane` also stores a `Shape`\n * `.brp` member — the plane FACE. The generic \"any object with shape evidence\n * is a shape asset\" rule therefore imported it and fed it into the Body's\n * union chain, which both corrupts the solid and fails at run time\n * (`[loadBrep] imported shape contains no solid sub-shapes`). Datum shapes are\n * SUPPORT geometry for attachment/up-to resolution, never modeling solids. */\nexport const STRUCTURAL_TYPES = new Set([\n  'PartDesign::Body', 'App::Origin', 'App::Plane', 'App::Line',\n  'App::DocumentObjectGroup', 'App::Part', 'PartDesign::Plane', 'PartDesign::Line',\n  'PartDesign::CoordinateSystem',\n  // H10 companion fix (plan §3.5): datum/annotation types, not modeling\n  // features — previously misclassified as translation gaps.\n  'App::Point', 'App::Annotation',\n  // 2026-09-20 sweep regression triage: Part workbench datum plane (same\n  // semantics as App::Plane) and a document text record — non-modeling.\n  'Part::Plane', 'App::TextDocument',\n  // Part workbench datum line (FEMExample) — same semantics as App::Line.\n  'Part::Line',\n  // 2026-09-21 triage (ArchDetail corpus): TechDraw is FreeCAD's 2D DRAWING\n  // workbench. A page, an SVG template and a projected view are documentation\n  // output — they render a shape onto a sheet and own no modeling geometry\n  // (probe: none of the three carries a Shape .brp; DrawViewDraft only links\n  // its source via `Source`, and a page links its template + views). Same\n  // category as App::TextDocument/App::Annotation above. Their modeling\n  // content is translated independently through the objects they reference.\n  'TechDraw::DrawPage', 'TechDraw::DrawSVGTemplate', 'TechDraw::DrawViewDraft',\n  // P1-1（2026-09-23, B2 §3.9）：Spreadsheet::Sheet / App::VarSet 是**被引用的\n  // 参数数据源**（<<Label>>.Alias 表达式绑定指向它的别名单元格），不是建模对象\n  // 也因此不是翻译缺口。preserved-only；其数值经 expressions.evalWithDoc 的\n  // 三跳解析进入下游属性（pad-length-expression-non-constant 的真根因）。\n  'Spreadsheet::Sheet', 'App::VarSet',\n]);\n\n/**\n * 2026-09-20 sweep triage: assembly/import container types — links, assembly\n * containers, import placeholders (Inventor/VRML). They reference or embed\n * external/other geometry but produce no modeling semantics of their own;\n * preserved-only. Modeling features (Part::Mirroring,\n * PartDesign::AdditiveSphere, …) are deliberately NOT here — they stay\n * explicit H7 gaps until translated.\n */\nexport const STRUCTURAL_TYPES_EXTENDED = new Set([\n  'App::Link',\n  'App::LinkElement',\n  'Assembly::AssemblyObject',\n  'Assembly::JointGroup',\n  'App::InventorObject',\n  'App::VRMLObject',\n]);\n\n/**\n * H7 companion (2026-09-20): FEM workbench objects carry SIMULATION semantics\n * (analysis containers, meshes, solver settings, boundary conditions, result\n * objects, post-processing filters) — no modeling geometry. They used to fall\n * into `type-not-whitelisted` and block whole files whose modeling part was a\n * single box. Like structural types they are `preserved-only`; their\n * regenerable field data (FemMesh / result Data properties) is deliberately NOT\n * carried into the container.\n *\n * DECISION (2026-09-21): the rule is the NAMESPACE, not an enumerated list.\n * Census of the 56-sample corpus (fcstd-port `out/probe-fem-types.mjs`): 29\n * distinct `Fem::` types, **every one** an analysis / mesh / solver / result /\n * constraint / filter object, zero modeling features; and the 3,201-file\n * FreeCAD library contains **0** `Fem::` objects, so the rule's blast radius is\n * exactly the FEM workbench. The previous enumerated list cost four\n * whack-a-mole rounds (each fix uncovered the next layer, because the sweep\n * report records only the first 4 reasons per file: fixed\n * FluidBoundary/Gear/Heatflux/InitialTemperature, then\n * PlaneRotation/Pulley/Temperature/Transform, then three more). The namespace\n * closes the family permanently.\n *\n * Note this classification is a LAST resort: an object with shape evidence is\n * taken by the shape-asset path and a Python object by `python-opaque` long\n * before `auditMapping` consults this predicate.\n *\n * Remote task on record (user decision, 2026-09-20): faijs will port FreeCAD's\n * FEM analysis capability in the future — separate feature; this classification\n * only stops simulation objects from blocking conversion.\n *\n * @param type - the FCStd object type, e.g. \"Fem::ConstraintFixed\".\n * @returns true when the type belongs to the FEM (simulation) workbench.\n */\nexport function isFemStructural(type: string): boolean {\n  return type.startsWith('Fem::');\n}\n\n/**\n * True when the type carries no modeling semantics — structural/datum/\n * container/drawing/documentation or FEM simulation.\n *\n * `codegen.ts` uses this to short-circuit such objects to `preserved-only`\n * before translation, which is what keeps datum planes out of Body feature\n * chains and keeps their `.brp` face assets out of the shape-asset import path.\n * `convert.ts` uses it for the C4 post-translation reclassification, so the two\n * can never disagree.\n *\n * @param type - the FCStd object type, e.g. \"PartDesign::Plane\".\n * @returns true when the object must never produce a modeling call or be a shape asset.\n */\nexport function isNonModelingType(type: string): boolean {\n  return STRUCTURAL_TYPES.has(type)\n    || STRUCTURAL_TYPES_EXTENDED.has(type)\n    || isFemStructural(type);\n}\n"]}

package/dist/fcstd/unpack.d.ts

@@ -1,44 +0,0 @@
-import { type Result } from '../api/result.js';
-/**
- * One raw file inside the FCStd ZIP container.
- */
-export interface FcstdMember {
-    /** path inside the ZIP, e.g. "Document.xml", "PartShape.brp" */
-    path: string;
-    /** the member's raw bytes */
-    bytes: Uint8Array;
-}
-/**
- * The unpacked FCStd container: all ZIP members plus the advisory comment.
- */
-export interface FcstdArchive {
-    members: Map<string, Uint8Array>;
-    /** advisory ZIP comment; may be empty (2/56 samples have empty comments) */
-    zipComment: string;
-}
-/**
- * Structured unpack failure: not a valid ZIP, or missing root `Document.xml`.
- */
-export type UnpackError = {
-    kind: 'not-zip';
-    message: string;
-} | {
-    kind: 'no-document-xml';
-    message: string;
-};
-/**
- * Unpack an FCStd file. Only requirement: valid ZIP + root `Document.xml`.
- *
- * @param data - the raw FCStd file bytes.
- * @returns the unpacked archive, or a structured UnpackError.
- */
-export declare function unpackFcstd(data: Uint8Array): Result<FcstdArchive, UnpackError>;
-/**
- * UTF-8 text decode helper for XML members.
- *
- * @param archive - the unpacked FCStd container.
- * @param path - member path inside the ZIP, e.g. "Document.xml".
- * @returns the member decoded as UTF-8 text, or undefined when absent.
- */
-export declare function memberText(archive: FcstdArchive, path: string): string | undefined;
-//# sourceMappingURL=unpack.d.ts.map

package/dist/fcstd/unpack.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unpack.d.ts","sourceRoot":"","sources":["../../src/fcstd/unpack.ts"],"names":[],"mappings":"AAUA,OAAO,EAAW,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAExD;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,KAAK,EAAE,UAAU,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACjC,4EAA4E;IAC5E,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAkB/E;AAiBD;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIlF"}

package/dist/fcstd/unpack.js

@@ -1,64 +0,0 @@
-/**
- * M1.1 — FCStd container unpacking.
- *
- * Validation rules per plan §5.5.6 (corrected): a file is an FCStd iff it opens
- * as a ZIP and contains `Document.xml` at its root. The ZIP comment is advisory
- * only and must never cause rejection.
- *
- * faijs contract: unit mm, errors via Result (ok/err).
- */
-import { unzipSync } from 'fflate';
-import { err, ok } from '../api/result.js';
-/**
- * Unpack an FCStd file. Only requirement: valid ZIP + root `Document.xml`.
- *
- * @param data - the raw FCStd file bytes.
- * @returns the unpacked archive, or a structured UnpackError.
- */
-export function unpackFcstd(data) {
-    let entries;
-    try {
-        entries = unzipSync(data);
-    }
-    catch (e) {
-        return err({
-            kind: 'not-zip',
-            message: `cannot open as ZIP: ${e instanceof Error ? e.message : String(e)}`,
-        });
-    }
-    if (!('Document.xml' in entries)) {
-        return err({ kind: 'no-document-xml', message: 'root Document.xml not found in ZIP' });
-    }
-    // fflate does not expose the raw ZIP comment through unzipSync; read it
-    // directly from the EOCD record (22 bytes from end when comment is empty,
-    // else longer). Advisory only — never used for validation.
-    const comment = readZipComment(data) ?? '';
-    return ok({ members: new Map(Object.entries(entries)), zipComment: comment });
-}
-function readZipComment(data) {
-    // scan for EOCD signature 0x06054b50 from the end
-    for (let i = data.length - 22; i >= Math.max(0, data.length - 22 - 65535); i--) {
-        if (data[i] === 0x50 && data[i + 1] === 0x4b && data[i + 2] === 0x05 && data[i + 3] === 0x06) {
-            const len = data[i + 20] | (data[i + 21] << 8);
-            const start = i + 22;
-            if (start + len > data.length)
-                return null;
-            return new TextDecoder('latin1').decode(data.subarray(start, start + len));
-        }
-    }
-    return null;
-}
-/**
- * UTF-8 text decode helper for XML members.
- *
- * @param archive - the unpacked FCStd container.
- * @param path - member path inside the ZIP, e.g. "Document.xml".
- * @returns the member decoded as UTF-8 text, or undefined when absent.
- */
-export function memberText(archive, path) {
-    const bytes = archive.members.get(path);
-    if (!bytes)
-        return undefined;
-    return new TextDecoder('utf-8').decode(bytes);
-}
-//# sourceMappingURL=unpack.js.map

package/dist/fcstd/unpack.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unpack.js","sourceRoot":"","sources":["../../src/fcstd/unpack.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACnC,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,kBAAkB,CAAC;AA4BxD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAgB;IAC1C,IAAI,OAAmC,CAAC;IACxC,IAAI,CAAC;QACH,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,GAAG,CAAC;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,uBAAuB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;SAC7E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,CAAC,cAAc,IAAI,OAAO,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,oCAAoC,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,wEAAwE;IACxE,0EAA0E;IAC1E,2DAA2D;IAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC3C,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,cAAc,CAAC,IAAgB;IACtC,kDAAkD;IAClD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/E,IACE,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EACxF,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAE,IAAI,CAAC,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC;YACrB,IAAI,KAAK,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,OAAqB,EAAE,IAAY;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChD,CAAC","sourcesContent":["/**\n * M1.1 — FCStd container unpacking.\n *\n * Validation rules per plan §5.5.6 (corrected): a file is an FCStd iff it opens\n * as a ZIP and contains `Document.xml` at its root. The ZIP comment is advisory\n * only and must never cause rejection.\n *\n * faijs contract: unit mm, errors via Result (ok/err).\n */\nimport { unzipSync } from 'fflate';\nimport { err, ok, type Result } from '../api/result.js';\n\n/**\n * One raw file inside the FCStd ZIP container.\n */\nexport interface FcstdMember {\n  /** path inside the ZIP, e.g. \"Document.xml\", \"PartShape.brp\" */\n  path: string;\n  /** the member's raw bytes */\n  bytes: Uint8Array;\n}\n\n/**\n * The unpacked FCStd container: all ZIP members plus the advisory comment.\n */\nexport interface FcstdArchive {\n  members: Map<string, Uint8Array>;\n  /** advisory ZIP comment; may be empty (2/56 samples have empty comments) */\n  zipComment: string;\n}\n\n/**\n * Structured unpack failure: not a valid ZIP, or missing root `Document.xml`.\n */\nexport type UnpackError =\n  | { kind: 'not-zip'; message: string }\n  | { kind: 'no-document-xml'; message: string };\n\n/**\n * Unpack an FCStd file. Only requirement: valid ZIP + root `Document.xml`.\n *\n * @param data - the raw FCStd file bytes.\n * @returns the unpacked archive, or a structured UnpackError.\n */\nexport function unpackFcstd(data: Uint8Array): Result<FcstdArchive, UnpackError> {\n  let entries: Record<string, Uint8Array>;\n  try {\n    entries = unzipSync(data);\n  } catch (e) {\n    return err({\n      kind: 'not-zip',\n      message: `cannot open as ZIP: ${e instanceof Error ? e.message : String(e)}`,\n    });\n  }\n  if (!('Document.xml' in entries)) {\n    return err({ kind: 'no-document-xml', message: 'root Document.xml not found in ZIP' });\n  }\n  // fflate does not expose the raw ZIP comment through unzipSync; read it\n  // directly from the EOCD record (22 bytes from end when comment is empty,\n  // else longer). Advisory only — never used for validation.\n  const comment = readZipComment(data) ?? '';\n  return ok({ members: new Map(Object.entries(entries)), zipComment: comment });\n}\n\nfunction readZipComment(data: Uint8Array): string | null {\n  // scan for EOCD signature 0x06054b50 from the end\n  for (let i = data.length - 22; i >= Math.max(0, data.length - 22 - 65535); i--) {\n    if (\n      data[i] === 0x50 && data[i + 1] === 0x4b && data[i + 2] === 0x05 && data[i + 3] === 0x06\n    ) {\n      const len = data[i + 20]! | (data[i + 21]! << 8);\n      const start = i + 22;\n      if (start + len > data.length) return null;\n      return new TextDecoder('latin1').decode(data.subarray(start, start + len));\n    }\n  }\n  return null;\n}\n\n/**\n * UTF-8 text decode helper for XML members.\n *\n * @param archive - the unpacked FCStd container.\n * @param path - member path inside the ZIP, e.g. \"Document.xml\".\n * @returns the member decoded as UTF-8 text, or undefined when absent.\n */\nexport function memberText(archive: FcstdArchive, path: string): string | undefined {\n  const bytes = archive.members.get(path);\n  if (!bytes) return undefined;\n  return new TextDecoder('utf-8').decode(bytes);\n}\n"]}

package/dist/fcstd-convert.d.ts

@@ -1,30 +0,0 @@
-/**
- * Public conversion surface (`@faicad/faijs/fcstd-convert`).
- *
- * The `./fcstd` subpath is the dependency-light **read layer** (fflate + xmldom
- * only). This subpath is the **conversion pipeline** on top of it: it pulls the
- * planegcs constraint solver (and, through external-geometry resolution, the
- * occt kernel peer). Keep it Node-only — `planegcs-backend` resolves the solver
- * WASM from node_modules.
- *
- * Why the solver and the classifier are part of the public surface: the corpus
- * tooling (owned by the FCStd port project, not by this repository) must measure
- * solve outcomes and translation scope without re-implementing any of the
- * pipeline. One fact, one home — the tools consume these exports instead of
- * reaching into `src/`.
- *
- * GOTCHA: this entry lives at the top level (`src/fcstd-convert.ts`), not inside
- * `src/fcstd/`, because vitest and tsconfig resolve `@faicad/faijs/*` by string
- * prefix substitution to `src/*`. A barrel at `src/fcstd/convert-api.ts` would
- * make `@faicad/faijs/fcstd-convert` resolve to a non-existent path — tsc would
- * silently fall back to node_modules/dist while vitest fails outright.
- */
-export { convertFcstdFile, SKETCH_T1, ALLOWED_DISPOSITIONS } from './fcstd/convert.js';
-export type { ConvertSummary, ConvertOptions } from './fcstd/convert.js';
-export { createPlanegcsSolver, planegcsWasmPath } from './fcstd/planegcs-backend.js';
-export { classifySketch, maxPointDistance } from './fcstd/sketch-verify.js';
-export type { SketchVerdict } from './fcstd/sketch-verify.js';
-export { resolveExternalGeometry } from './fcstd/external-geo.js';
-export type { ExternalGeoResult, ExternalLink } from './fcstd/external-geo.js';
-export { isWhitelisted } from './fcstd/feature-translate.js';
-//# sourceMappingURL=fcstd-convert.d.ts.map

package/dist/fcstd-convert.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"fcstd-convert.d.ts","sourceRoot":"","sources":["../src/fcstd-convert.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AACvF,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5E,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,YAAY,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC"}