@code3d/core 0.0.1-alpha.0

package/bld/library/topology-inspection.js

@@ -0,0 +1,267 @@
+import { BoundingBox, getOC, measureShapeLinearProperties, measureShapeSurfaceProperties, } from 'replicad';
+import { shapeSubshapes } from './kernel-shapes.js';
+import { sameTopologyId } from './topology-id.js';
+import { identityRigidTransform, quaternionAxisAngle, } from './spatial.js';
+/** Query retained B-rep geometry and its actual ID namespace, never the render mesh. */
+export function inspectShapeTopology(original, topology, options = {}) {
+    const offset = options.offset ?? 0;
+    const limit = options.limit ?? 48;
+    if (!Number.isSafeInteger(offset) ||
+        offset < 0 ||
+        !Number.isSafeInteger(limit) ||
+        limit < 1 ||
+        limit > 200)
+        throw new Error('Topology pages require a nonnegative offset and a limit from 1 to 200.');
+    if (options.ids && !options.kind)
+        throw new Error('Specify a topology kind when filtering IDs.');
+    const transform = options.transform ?? identityRigidTransform;
+    const scale = transform.scale ?? [1, 1, 1];
+    if (scale.some(value => !Number.isFinite(value) || value === 0 || value !== scale[0]))
+        throw new Error('Topology inspection requires a uniform nonzero scale.');
+    let shape = original.clone();
+    const owned = [];
+    try {
+        if (scale[0] !== 1)
+            shape = shape.scale(scale[0]);
+        const { axis, angleDegrees } = quaternionAxisAngle(transform.quaternion);
+        if (Math.abs(angleDegrees) > 1e-9)
+            shape = shape.rotate(angleDegrees, [0, 0, 0], [...axis]);
+        shape = shape.translate([...transform.position]);
+        const vertices = shapeSubshapes(shape, 'vertex');
+        owned.push(...vertices);
+        const edges = shapeSubshapes(shape, 'edge');
+        owned.push(...edges);
+        const surfaces = shapeSubshapes(shape, 'face');
+        owned.push(...surfaces);
+        const shapes = { vertex: vertices, edge: edges, surface: surfaces };
+        const ids = {
+            vertex: topology.vertices.ids,
+            edge: topology.edges.ids,
+            surface: topology.surfaces.ids,
+        };
+        for (const kind of ['vertex', 'edge', 'surface'])
+            if (shapes[kind].length !== ids[kind].length)
+                throw new Error('Retained geometry does not match its topology namespace.');
+        if (options.ids?.some(id => !ids[options.kind].some(available => sameTopologyId(available, id))))
+            throw new Error('A requested topology ID is absent from this model snapshot.');
+        const all = (options.kind ? [options.kind] : ['surface', 'edge', 'vertex']).flatMap(kind => ids[kind].flatMap((id, index) => !options.ids ||
+            options.ids.some(requested => sameTopologyId(requested, id))
+            ? [{ kind, id, index }]
+            : []));
+        const page = all.slice(offset, offset + limit);
+        const childIndices = (parent, kind) => {
+            const children = shapeSubshapes(parent, kind);
+            try {
+                return shapes[kind].flatMap((candidate, index) => children.some(child => child.isSame(candidate)) ? [index] : []);
+            }
+            finally {
+                children.forEach(child => child.delete());
+            }
+        };
+        const edgeVertices = new Map();
+        const surfaceEdges = new Map();
+        const verticesOf = (index) => {
+            if (!edgeVertices.has(index))
+                edgeVertices.set(index, childIndices(edges[index], 'vertex'));
+            return edgeVertices.get(index);
+        };
+        const edgesOf = (index) => {
+            if (!surfaceEdges.has(index))
+                surfaceEdges.set(index, childIndices(surfaces[index], 'edge'));
+            return surfaceEdges.get(index);
+        };
+        const items = page.map(({ kind, id, index }) => {
+            try {
+                if (kind === 'vertex')
+                    return {
+                        kind,
+                        id,
+                        geometry: { type: 'POINT', position: vertices[index].asTuple() },
+                        edges: edges.flatMap((_, edge) => verticesOf(edge).includes(index) ? [ids.edge[edge]] : []),
+                    };
+                if (kind === 'edge')
+                    return {
+                        kind,
+                        id,
+                        geometry: inspectEdge(edges[index]),
+                        vertices: verticesOf(index).map(vertex => ids.vertex[vertex]),
+                        surfaces: surfaces.flatMap((_, surface) => edgesOf(surface).includes(index) ? [ids.surface[surface]] : []),
+                    };
+                return {
+                    kind,
+                    id,
+                    geometry: inspectSurface(surfaces[index]),
+                    edges: edgesOf(index).map(edge => ids.edge[edge]),
+                };
+            }
+            catch (error) {
+                return {
+                    kind,
+                    id,
+                    unavailable: error instanceof Error
+                        ? error.message
+                        : 'Kernel geometry query failed.',
+                };
+            }
+        });
+        const box = new BoundingBox();
+        let min, max;
+        try {
+            getOC().BRepBndLib.Add(shape.wrapped, box.wrapped, false);
+            [min, max] = box.bounds;
+        }
+        finally {
+            box.delete();
+        }
+        return {
+            counts: {
+                vertex: vertices.length,
+                edge: edges.length,
+                surface: surfaces.length,
+            },
+            bounds: {
+                min,
+                max,
+                size: [max[0] - min[0], max[1] - min[1], max[2] - min[2]],
+                method: 'kernel-enclosure',
+            },
+            total: all.length,
+            offset,
+            ...(offset + page.length < all.length
+                ? { nextOffset: offset + page.length }
+                : {}),
+            items,
+            units: 'model',
+            coordinates: 'scene',
+            geometrySource: 'kernel',
+            transform,
+        };
+    }
+    finally {
+        owned.forEach(value => value.delete());
+        shape.delete();
+    }
+}
+function vector(value, normalize = false) {
+    try {
+        const tuple = value.toTuple();
+        if (!normalize)
+            return tuple;
+        const length = Math.hypot(...tuple);
+        if (length < 1e-14)
+            throw new Error('The sampled direction is singular.');
+        return [tuple[0] / length, tuple[1] / length, tuple[2] / length];
+    }
+    finally {
+        value.delete();
+    }
+}
+function xyz(value) {
+    try {
+        return [value.X(), value.Y(), value.Z()];
+    }
+    finally {
+        value.delete();
+    }
+}
+function analytic(value) {
+    try {
+        const axis = value.Axis();
+        try {
+            return { center: xyz(value.Location()), axis: xyz(axis.Direction()) };
+        }
+        finally {
+            axis.delete();
+        }
+    }
+    finally {
+        value.delete();
+    }
+}
+function inspectEdge(edge) {
+    const properties = measureShapeLinearProperties(edge);
+    let length;
+    try {
+        length = properties.length;
+    }
+    finally {
+        properties.delete();
+    }
+    const type = edge.geomType;
+    const result = {
+        type,
+        length,
+        start: vector(edge.startPoint),
+        end: vector(edge.endPoint),
+        closed: edge.isClosed,
+    };
+    if (type === 'LINE')
+        result.direction = vector(edge.tangentAt(0.5), true);
+    if (type === 'CIRCLE' || type === 'ELLIPSE') {
+        const curve = new (getOC().BRepAdaptor_Curve)(edge.wrapped);
+        try {
+            if (type === 'CIRCLE') {
+                const circle = curve.Circle();
+                result.radius = circle.Radius();
+                Object.assign(result, analytic(circle));
+            }
+            else {
+                const ellipse = curve.Ellipse();
+                result.majorRadius = ellipse.MajorRadius();
+                result.minorRadius = ellipse.MinorRadius();
+                Object.assign(result, analytic(ellipse));
+            }
+        }
+        finally {
+            curve.delete();
+        }
+    }
+    return result;
+}
+function inspectSurface(face) {
+    const properties = measureShapeSurfaceProperties(face);
+    const type = face.geomType;
+    let result;
+    try {
+        result = {
+            type: type === 'CYLINDRE' ? 'CYLINDER' : type,
+            area: properties.area,
+            centroid: properties.centerOfMass,
+        };
+    }
+    finally {
+        properties.delete();
+    }
+    if (type === 'PLANE')
+        result.normal = vector(face.normalAt(), true);
+    else
+        result.normalSample = {
+            position: vector(face.pointOnSurface(0.5, 0.5)),
+            normal: vector(face.normalAt(), true),
+            method: 'uv-domain-midpoint',
+            trimMembership: 'unchecked',
+        };
+    const surface = face.surface;
+    try {
+        if (type === 'CYLINDRE') {
+            const cylinder = surface.wrapped.Cylinder();
+            result.radius = cylinder.Radius();
+            Object.assign(result, analytic(cylinder));
+        }
+        if (type === 'SPHERE') {
+            const sphere = surface.wrapped.Sphere();
+            try {
+                result.radius = sphere.Radius();
+                result.center = xyz(sphere.Location());
+            }
+            finally {
+                sphere.delete();
+            }
+        }
+    }
+    finally {
+        surface.delete();
+    }
+    return result;
+}
+//# sourceMappingURL=topology-inspection.js.map

package/bld/library/topology-inspection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology-inspection.js","sourceRoot":"","sources":["../../src/library/topology-inspection.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EACX,KAAK,EACL,4BAA4B,EAC5B,6BAA6B,GAK9B,MAAM,UAAU,CAAC;AAClB,OAAO,EAAC,cAAc,EAAC,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAC,cAAc,EAAC,MAAM,kBAAkB,CAAC;AAChD,OAAO,EACL,sBAAsB,EACtB,mBAAmB,GAGpB,MAAM,cAAc,CAAC;AAsDtB,wFAAwF;AACxF,MAAM,UAAU,oBAAoB,CAClC,QAAkB,EAClB,QAAuB,EACvB,OAAO,GAA8B,EAAE;IAEvC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;IAClC,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;QAC7B,MAAM,GAAG,CAAC;QACV,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAC5B,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,GAAG;QAEX,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;IACJ,IAAI,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI;QAC9B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,MAAM,SAAS,GACb,OAAO,CAAC,SAAS,IAAI,sBAAsB,CAAC;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,IACE,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CACtE;QAED,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,IAAI,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,EAAC,IAAI,EAAE,YAAY,EAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACvE,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,IAAI;YAC/B,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QAC3D,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QACrB,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,EAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAC,CAAC;QAClE,MAAM,GAAG,GAAG;YACV,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG;YAC7B,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG;YACxB,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG;SAC/B,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAU;YACvD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM;gBAC1C,MAAM,IAAI,KAAK,CACb,0DAA0D,CAC3D,CAAC;QACN,IACE,OAAO,CAAC,GAAG,EAAE,IAAI,CACf,EAAE,CAAC,EAAE,CACH,CAAC,GAAG,CAAC,OAAO,CAAC,IAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CACvE;YAED,MAAM,IAAI,KAAK,CACb,6DAA6D,CAC9D,CAAC;QACJ,MAAM,GAAG,GAAG,CACV,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,CAAW,CACzE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CACf,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAC9B,CAAC,OAAO,CAAC,GAAG;YACZ,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC1D,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAC,CAAC;YACrB,CAAC,CAAC,EAAE,CACP,CACF,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,CACnB,MAAgB,EAChB,IAAuB,EACb,EAAE;YACZ,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC9C,IAAI,CAAC;gBACH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAC/C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/D,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC,CAAC;QACF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;QACjD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;QACjD,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,EAAE;YACnC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC1B,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;YAChE,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;QAClC,CAAC,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,EAAE;YAChC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC1B,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;YACjE,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC;QAClC,CAAC,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAC,EAA0B,EAAE;YACnE,IAAI,CAAC;gBACH,IAAI,IAAI,KAAK,QAAQ;oBACnB,OAAO;wBACL,IAAI;wBACJ,EAAE;wBACF,QAAQ,EAAE,EAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAC;wBAC9D,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAC/B,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CACzD;qBACF,CAAC;gBACJ,IAAI,IAAI,KAAK,MAAM;oBACjB,OAAO;wBACL,IAAI;wBACJ,EAAE;wBACF,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBACnC,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;wBAC7D,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CACxC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAC/D;qBACF,CAAC;gBACJ,OAAO;oBACL,IAAI;oBACJ,EAAE;oBACF,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;oBACzC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAClD,CAAC;YACJ,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO;oBACL,IAAI;oBACJ,EAAE;oBACF,WAAW,EACT,KAAK,YAAY,KAAK;wBACpB,CAAC,CAAC,KAAK,CAAC,OAAO;wBACf,CAAC,CAAC,+BAA+B;iBACtC,CAAC;YACJ,CAAC;QACH,CAAC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,GAAS,EAAE,GAAS,CAAC;QACzB,IAAI,CAAC;YACH,KAAK,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YAC1D,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,CAAC;gBAAS,CAAC;YACT,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,CAAC;QACD,OAAO;YACL,MAAM,EAAE;gBACN,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,IAAI,EAAE,KAAK,CAAC,MAAM;gBAClB,OAAO,EAAE,QAAQ,CAAC,MAAM;aACzB;YACD,MAAM,EAAE;gBACN,GAAG;gBACH,GAAG;gBACH,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBACzD,MAAM,EAAE,kBAAkB;aAC3B;YACD,KAAK,EAAE,GAAG,CAAC,MAAM;YACjB,MAAM;YACN,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM;gBACnC,CAAC,CAAC,EAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,EAAC;gBACpC,CAAC,CAAC,EAAE,CAAC;YACP,KAAK;YACL,KAAK,EAAE,OAAO;YACd,WAAW,EAAE,OAAO;YACpB,cAAc,EAAE,QAAQ;YACxB,SAAS;SACV,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACvC,KAAK,CAAC,MAAM,EAAE,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,SAAS,GAAG,KAAK;IAC9C,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;QACpC,IAAI,MAAM,GAAG,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QAC1E,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;IACnE,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,EAAE,CAAC;IACjB,CAAC;AACH,CAAC;AACD,SAAS,GAAG,CAAC,KAKZ;IACC,IAAI,CAAC;QACH,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,EAAE,CAAC;IACjB,CAAC;AACH,CAAC;AACD,SAAS,QAAQ,CAAC,KAOjB;IACC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,OAAO,EAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,EAAC,CAAC;QACtE,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,CAAC;IACH,CAAC;YAAS,CAAC;QACT,KAAK,CAAC,MAAM,EAAE,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAU;IAC7B,MAAM,UAAU,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IAC7B,CAAC;YAAS,CAAC;QACT,UAAU,CAAC,MAAM,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,MAAM,MAAM,GAAqB;QAC/B,IAAI;QACJ,MAAM;QACN,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9B,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC1B,MAAM,EAAE,IAAI,CAAC,QAAQ;KACtB,CAAC;IACF,IAAI,IAAI,KAAK,MAAM;QAAE,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5D,IAAI,CAAC;YACH,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC9B,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAChC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;gBAChC,MAAM,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;gBAC3C,MAAM,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;gBAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,IAAU;IAChC,MAAM,UAAU,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC3B,IAAI,MAAwB,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,GAAG;YACP,IAAI,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;YAC7C,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,QAAQ,EAAE,UAAU,CAAC,YAAY;SAClC,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,UAAU,CAAC,MAAM,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,IAAI,KAAK,OAAO;QAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC;;QAElE,MAAM,CAAC,YAAY,GAAG;YACpB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC/C,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC;YACrC,MAAM,EAAE,oBAAoB;YAC5B,cAAc,EAAE,WAAW;SAC5B,CAAC;IACJ,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YAClC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACxC,IAAI,CAAC;gBACH,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;gBAChC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;YACzC,CAAC;oBAAS,CAAC;gBACT,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,MAAM,EAAE,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/bld/library/topology.d.ts

@@ -0,0 +1,94 @@
+import { type AnyShape, type Shape3D } from 'replicad';
+import type { NCollection_List_TopoDS_Shape, TopoDS_Shape } from 'replicad-opencascadejs';
+import { type TopologyId, type TopologyKind, type VertexId, type EdgeId, type SurfaceId } from './topology-id.js';
+export type { TopologyId, TopologyKind, VertexId, EdgeId, SurfaceId, } from './topology-id.js';
+export type TopologySelection = Readonly<{
+    kind: 'solid';
+}> | Readonly<{
+    kind: TopologyKind;
+    id: TopologyId;
+}>;
+/** Visit an owned wrapper; callers must not retain it beyond the callback. */
+export declare function withTopologyShape<T>(shape: AnyShape, topology: ShapeTopology, selection: TopologySelection, visit: (selected: AnyShape) => T): T;
+/** Child IDs always belong to the original geometry's namespace. */
+export declare function topologyChildren(shape: AnyShape, topology: ShapeTopology, selection: TopologySelection, kind: TopologyKind, ids?: readonly TopologyId[]): readonly TopologyId[];
+type StableTopology = Readonly<{
+    /** IDs aligned with the corresponding shape traversal order. */
+    ids: readonly TopologyId[];
+}>;
+export type VertexTopology = StableTopology;
+export type EdgeTopology = StableTopology;
+export type SurfaceTopology = StableTopology;
+export type ShapeTopology = Readonly<{
+    vertices: VertexTopology;
+    edges: EdgeTopology;
+    surfaces: SurfaceTopology;
+}>;
+export type VertexRenderData = Readonly<{
+    positions: Float32Array;
+    ids: readonly VertexId[];
+}>;
+export type EdgeModificationResult = Readonly<{
+    shape: Shape3D;
+    topology: ShapeTopology;
+    selectedEdgeIds: readonly EdgeId[];
+}>;
+export type BooleanTopologyOperation = 'cut' | 'fuse' | 'intersect';
+export type BooleanTopologyResult = Readonly<{
+    shape: Shape3D;
+    topology: ShapeTopology;
+}>;
+export type TopologyPointData = Readonly<{
+    position: readonly [x: number, y: number, z: number];
+}>;
+export type TopologyDirectionData = TopologyPointData & Readonly<{
+    direction: readonly [x: number, y: number, z: number];
+}>;
+type ShapeHistory = Readonly<{
+    Modified(shape: TopoDS_Shape): NCollection_List_TopoDS_Shape;
+}>;
+type RawEdgeGroup = Readonly<{
+    start: number;
+    count: number;
+    edgeId: number;
+}>;
+type RawSurfaceGroup = Readonly<{
+    start: number;
+    count: number;
+    faceId: number;
+}>;
+type StableEdgeGroup = Readonly<{
+    start: number;
+    count: number;
+    edgeId: EdgeId;
+}>;
+type StableSurfaceGroup = Readonly<{
+    start: number;
+    count: number;
+    surfaceId: SurfaceId;
+}>;
+export declare function initialShapeTopology(shape: AnyShape): ShapeTopology;
+export declare function preserveShapeTopology(shape: AnyShape, source: ShapeTopology): ShapeTopology;
+export declare function filletEdges(shape: Shape3D, source: ShapeTopology, radius: number, edgeIds?: readonly EdgeId[]): EdgeModificationResult;
+export declare function chamferEdges(shape: Shape3D, source: ShapeTopology, distance: number, edgeIds?: readonly EdgeId[]): EdgeModificationResult;
+export declare function booleanWithTopology(left: TopologyInput, right: TopologyInput, operation: BooleanTopologyOperation): BooleanTopologyResult;
+export declare function stableEdgeGroups(shape: AnyShape, topology: EdgeTopology, groups: readonly RawEdgeGroup[]): readonly StableEdgeGroup[];
+export declare function stableSurfaceGroups(shape: AnyShape, topology: SurfaceTopology, groups: readonly RawSurfaceGroup[]): readonly StableSurfaceGroup[];
+export declare function stableVertexData(shape: AnyShape, topology: VertexTopology): VertexRenderData;
+export declare function resolveEdgeSelection(topology: EdgeTopology, requestedIds: readonly EdgeId[] | undefined): readonly EdgeId[];
+/** Resolve an explicit selection in source order, including an empty selection. */
+export declare function resolveTopologySelection(kind: TopologyKind, topology: StableTopology, requestedIds: readonly TopologyId[]): readonly TopologyId[];
+export declare function topologyVertexPoints(shape: AnyShape, topology: VertexTopology, vertexIds: readonly VertexId[]): readonly TopologyPointData[];
+export declare function topologyEdgeDirections(shape: AnyShape, topology: EdgeTopology, edgeIds: readonly EdgeId[]): readonly TopologyDirectionData[];
+export declare function topologySurfaceDirections(shape: AnyShape, topology: SurfaceTopology, surfaceIds: readonly SurfaceId[]): readonly TopologyDirectionData[];
+export type TopologyInput = Readonly<{
+    shape: AnyShape;
+    topology: ShapeTopology;
+    /** Omitted only for intermediate results inside a single operation. */
+    index?: number;
+}>;
+/** Returns owned handles, released by the transfer after matching. */
+type TopologyHistory = (input: TopoDS_Shape, kind: TopologyKind, inputIndex: number) => readonly TopoDS_Shape[];
+/** Resolve all input candidates together so merges never arbitrarily pick an owner. */
+export declare function transferShapeTopology(inputs: readonly TopologyInput[], output: AnyShape, history: ShapeHistory | TopologyHistory): ShapeTopology;
+//# sourceMappingURL=topology.d.ts.map

package/bld/library/topology.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.d.ts","sourceRoot":"","sources":["../../src/library/topology.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,QAAQ,EAGb,KAAK,OAAO,EAEb,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EACV,6BAA6B,EAC7B,YAAY,EACb,MAAM,wBAAwB,CAAC;AAQhC,OAAO,EAML,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,SAAS,EACf,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,UAAU,EACV,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,SAAS,GACV,MAAM,kBAAkB,CAAC;AAE1B,MAAM,MAAM,iBAAiB,GAC3B,QAAQ,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAC,CAAC,GAAG,QAAQ,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,UAAU,CAAA;CAAC,CAAC,CAAC;AAE7E,8EAA8E;AAC9E,wBAAgB,iBAAiB,CAAC,CAAC,EACjC,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,aAAa,EACvB,SAAS,EAAE,iBAAiB,EAC5B,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,CAAC,GAC/B,CAAC,CAgBH;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,aAAa,EACvB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,YAAY,EAClB,GAAG,CAAC,EAAE,SAAS,UAAU,EAAE,GAC1B,SAAS,UAAU,EAAE,CA2BvB;AAMD,KAAK,cAAc,GAAG,QAAQ,CAAC;IAC7B,gEAAgE;IAChE,GAAG,EAAE,SAAS,UAAU,EAAE,CAAC;CAC5B,CAAC,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,cAAc,CAAC;AAC5C,MAAM,MAAM,YAAY,GAAG,cAAc,CAAC;AAC1C,MAAM,MAAM,eAAe,GAAG,cAAc,CAAC;AAE7C,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,QAAQ,EAAE,cAAc,CAAC;IACzB,KAAK,EAAE,YAAY,CAAC;IACpB,QAAQ,EAAE,eAAe,CAAC;CAC3B,CAAC,CAAC;AAEH,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,SAAS,EAAE,YAAY,CAAC;IACxB,GAAG,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,aAAa,CAAC;IACxB,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC,CAAC;AAEH,MAAM,MAAM,wBAAwB,GAAG,KAAK,GAAG,MAAM,GAAG,WAAW,CAAC;AAEpE,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,aAAa,CAAC;CACzB,CAAC,CAAC;AAEH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,iBAAiB,GACnD,QAAQ,CAAC;IACP,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;CACvD,CAAC,CAAC;AAEL,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,6BAA6B,CAAC;CAC9D,CAAC,CAAC;AAQH,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,KAAK,eAAe,GAAG,QAAQ,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,KAAK,eAAe,GAAG,QAAQ,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,KAAK,kBAAkB,GAAG,QAAQ,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,SAAS,CAAC;CACtB,CAAC,CAAC;AAOH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,QAAQ,GAAG,aAAa,CAenE;AAED,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,QAAQ,EACf,MAAM,EAAE,aAAa,GACpB,aAAa,CAcf;AAED,wBAAgB,WAAW,CACzB,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,aAAa,EACrB,MAAM,EAAE,MAAM,EACd,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAC1B,sBAAsB,CAExB;AAED,wBAAgB,YAAY,CAC1B,KAAK,EAAE,OAAO,EACd,MAAM,EAAE,aAAa,EACrB,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAC1B,sBAAsB,CAExB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,aAAa,EACpB,SAAS,EAAE,wBAAwB,GAClC,qBAAqB,CAuBvB;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,YAAY,EACtB,MAAM,EAAE,SAAS,YAAY,EAAE,GAC9B,SAAS,eAAe,EAAE,CAa5B;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,SAAS,eAAe,EAAE,GACjC,SAAS,kBAAkB,EAAE,CAiB/B;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,cAAc,GACvB,gBAAgB,CAWlB;AAED,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,YAAY,EACtB,YAAY,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAC1C,SAAS,MAAM,EAAE,CAUnB;AAED,mFAAmF;AACnF,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,YAAY,EAClB,QAAQ,EAAE,cAAc,EACxB,YAAY,EAAE,SAAS,UAAU,EAAE,GAClC,SAAS,UAAU,EAAE,CAgBvB;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,cAAc,EACxB,SAAS,EAAE,SAAS,QAAQ,EAAE,GAC7B,SAAS,iBAAiB,EAAE,CAW9B;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,YAAY,EACtB,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS,qBAAqB,EAAE,CAkBlC;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,QAAQ,EACf,QAAQ,EAAE,eAAe,EACzB,UAAU,EAAE,SAAS,SAAS,EAAE,GAC/B,SAAS,qBAAqB,EAAE,CAyBlC;AAgJD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,KAAK,EAAE,QAAQ,CAAC;IAChB,QAAQ,EAAE,aAAa,CAAC;IACxB,uEAAuE;IACvE,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,sEAAsE;AACtE,KAAK,eAAe,GAAG,CACrB,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,YAAY,EAClB,UAAU,EAAE,MAAM,KACf,SAAS,YAAY,EAAE,CAAC;AAE7B,uFAAuF;AACvF,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,MAAM,EAAE,QAAQ,EAChB,OAAO,EAAE,YAAY,GAAG,eAAe,GACtC,aAAa,CA2Ef"}