@ifc-lite/create 4.0.0 → 5.1.1

package/dist/in-store/edit/polygon-clip.js

@@ -0,0 +1,153 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+const EPS = 1e-9;
+/**
+ * Signed perpendicular distance of `p` to the directed line through
+ * `a → b`. Positive means `p` is to the LEFT of A→B in standard
+ * math coords (y-up) — i.e. the side reached by rotating the A→B
+ * direction 90° counter-clockwise.
+ */
+function signedDistance(a, b, p) {
+    // Standard 2D cross product (b - a) × (p - a).
+    return (b[0] - a[0]) * (p[1] - a[1]) - (b[1] - a[1]) * (p[0] - a[0]);
+}
+/**
+ * Linear interpolation between two polygon vertices at the cut line.
+ * `da`, `db` are signed distances of `a` and `b` from the line; the
+ * intersection sits where the signed distance crosses zero.
+ */
+function intersectEdge(a, b, da, db) {
+    const t = da / (da - db); // never 0/0 because callers ensure signs differ
+    return [a[0] + t * (b[0] - a[0]), a[1] + t * (b[1] - a[1])];
+}
+/**
+ * Clip a polygon to one side of the cut line. `keep` selects which
+ * side to retain: `'positive'` keeps vertices with signed distance
+ * > 0 (left of A→B); `'negative'` keeps vertices with signed
+ * distance < 0 (right). On-line vertices (|d| < EPS) belong to
+ * both halves and are emitted unchanged.
+ *
+ * Standard Sutherland-Hodgman: walk each edge of the input polygon,
+ * decide whether to emit the current vertex and/or an intersection
+ * with the cut line based on which side current and previous
+ * vertices are on.
+ */
+function clipPolygonHalfPlane(polygon, a, b, keep) {
+    if (polygon.length === 0)
+        return [];
+    const out = [];
+    const sign = keep === 'positive' ? 1 : -1;
+    const pushUnique = (p) => {
+        // Skip duplicate emits — the on-line edge case (prev outside,
+        // curr on the line) would otherwise emit the intersection AND
+        // curr, which are the same point. Cheap O(1) check against the
+        // most recent vertex; the polygon body itself is allowed to
+        // have repeated adjacent vertices in pathological input but we
+        // don't want to manufacture them.
+        if (out.length > 0) {
+            const last = out[out.length - 1];
+            if (Math.abs(last[0] - p[0]) < EPS && Math.abs(last[1] - p[1]) < EPS)
+                return;
+        }
+        out.push(p);
+    };
+    let prev = polygon[polygon.length - 1];
+    let prevD = signedDistance(a, b, prev) * sign;
+    for (const curr of polygon) {
+        const currD = signedDistance(a, b, curr) * sign;
+        if (currD >= -EPS) {
+            // Current vertex is inside (or on the line).
+            if (prevD < -EPS) {
+                // Crossing into the half-plane — emit the intersection.
+                pushUnique(intersectEdge(prev, curr, prevD, currD));
+            }
+            pushUnique(curr);
+        }
+        else if (prevD >= -EPS) {
+            // Crossing out of the half-plane — emit the intersection.
+            pushUnique(intersectEdge(prev, curr, prevD, currD));
+        }
+        // Else both outside — skip.
+        prev = curr;
+        prevD = currD;
+    }
+    // The pushUnique guard runs against the previous push; the
+    // wrap-around (last vs first) can also produce a dup when the
+    // polygon closes on a near-coincident pair. Trim once.
+    if (out.length > 1) {
+        const first = out[0];
+        const last = out[out.length - 1];
+        if (Math.abs(last[0] - first[0]) < EPS && Math.abs(last[1] - first[1]) < EPS) {
+            out.pop();
+        }
+    }
+    return out;
+}
+/**
+ * Split a polygon into two halves by a cut line.
+ *
+ * Inputs:
+ *   - `polygon` — outer curve as an ordered list of 2D vertices
+ *     (CW or CCW; the algorithm is orientation-independent).
+ *     First vertex should NOT repeat at the end.
+ *   - `a`, `b` — two points defining the cut line. The line
+ *     extends infinitely in both directions through these points,
+ *     so the user-clicked endpoints don't need to lie on the
+ *     polygon edge.
+ *
+ * Returns `{ ok: true, left, right }` when both halves are valid
+ * polygons (≥ 3 vertices). Otherwise returns `{ ok: false, reason }`.
+ */
+export function clipPolygonByLine(polygon, a, b) {
+    if (polygon.length < 3) {
+        return { ok: false, reason: 'Polygon must have at least 3 vertices' };
+    }
+    const dx = b[0] - a[0];
+    const dy = b[1] - a[1];
+    if (Math.hypot(dx, dy) < EPS) {
+        return { ok: false, reason: 'Cut endpoints are coincident' };
+    }
+    // Count how many vertices land strictly on each side. If all
+    // vertices are on one side, the cut line misses the polygon.
+    let pos = 0;
+    let neg = 0;
+    for (const p of polygon) {
+        const d = signedDistance(a, b, p);
+        if (d > EPS)
+            pos++;
+        else if (d < -EPS)
+            neg++;
+    }
+    if (pos === 0 || neg === 0) {
+        return { ok: false, reason: 'Cut line does not cross the polygon' };
+    }
+    const left = clipPolygonHalfPlane(polygon, a, b, 'positive');
+    const right = clipPolygonHalfPlane(polygon, a, b, 'negative');
+    if (left.length < 3 || right.length < 3) {
+        return { ok: false, reason: 'Cut produces a degenerate half (< 3 vertices)' };
+    }
+    return { ok: true, left, right };
+}
+/**
+ * Test helper: is `p` strictly inside `polygon` (ray-cast). Used by
+ * the slab-split tool to figure out which half the user clicked on
+ * after committing the cut, so we can move selection to that half.
+ */
+export function pointInPolygon(polygon, p) {
+    if (polygon.length < 3)
+        return false;
+    let inside = false;
+    let j = polygon.length - 1;
+    for (let i = 0; i < polygon.length; i++) {
+        const a = polygon[i];
+        const b = polygon[j];
+        const intersects = (a[1] > p[1]) !== (b[1] > p[1]) &&
+            p[0] < ((b[0] - a[0]) * (p[1] - a[1])) / (b[1] - a[1] + EPS) + a[0];
+        if (intersects)
+            inside = !inside;
+        j = i;
+    }
+    return inside;
+}
+//# sourceMappingURL=polygon-clip.js.map

package/dist/in-store/edit/polygon-clip.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"polygon-clip.js","sourceRoot":"","sources":["../../../src/in-store/edit/polygon-clip.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAmC/D,MAAM,GAAG,GAAG,IAAI,CAAC;AAEjB;;;;;GAKG;AACH,SAAS,cAAc,CAAC,CAAU,EAAE,CAAU,EAAE,CAAU;IACxD,+CAA+C;IAC/C,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,CAAU,EAAE,CAAU,EAAE,EAAU,EAAE,EAAU;IACnE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,gDAAgD;IAC1E,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,oBAAoB,CAC3B,OAAkB,EAClB,CAAU,EACV,CAAU,EACV,IAA6B;IAE7B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,CAAC,CAAU,EAAE,EAAE;QAChC,8DAA8D;QAC9D,8DAA8D;QAC9D,+DAA+D;QAC/D,4DAA4D;QAC5D,+DAA+D;QAC/D,kCAAkC;QAClC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACjC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG;gBAAE,OAAO;QAC/E,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC,CAAC;IAEF,IAAI,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;QAChD,IAAI,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;YAClB,6CAA6C;YAC7C,IAAI,KAAK,GAAG,CAAC,GAAG,EAAE,CAAC;gBACjB,wDAAwD;gBACxD,UAAU,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YACtD,CAAC;YACD,UAAU,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;aAAM,IAAI,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,0DAA0D;YAC1D,UAAU,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,4BAA4B;QAC5B,IAAI,GAAG,IAAI,CAAC;QACZ,KAAK,GAAG,KAAK,CAAC;IAChB,CAAC;IACD,2DAA2D;IAC3D,8DAA8D;IAC9D,uDAAuD;IACvD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;YAC7E,GAAG,CAAC,GAAG,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAkB,EAClB,CAAU,EACV,CAAU;IAEV,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC;QAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IAC/D,CAAC;IAED,6DAA6D;IAC7D,6DAA6D;IAC7D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,GAAG;YAAE,GAAG,EAAE,CAAC;aACd,IAAI,CAAC,GAAG,CAAC,GAAG;YAAE,GAAG,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,EAAE,CAAC;IACtE,CAAC;IAED,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC;IAE9D,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,+CAA+C,EAAE,CAAC;IAChF,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACnC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,OAAkB,EAAE,CAAU;IAC3D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,UAAU,GACd,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtE,IAAI,UAAU;YAAE,MAAM,GAAG,CAAC,MAAM,CAAC;QACjC,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/in-store/edit/read-profile.d.ts

@@ -0,0 +1,6 @@
+import { type ProfileSection } from '../profile.js';
+/** Whether `stepType` names one of the nine profile classes the picker writes. */
+export declare function isSectionProfileClass(stepType: string | null | undefined): boolean;
+/** Read a profile in metres without dropping geometry when it is rebuilt. */
+export declare function sectionFromProfile(stepType: string, attributes: readonly unknown[], lengthUnitScale: number, schemaVersion?: string): ProfileSection | null;
+//# sourceMappingURL=read-profile.d.ts.map

package/dist/in-store/edit/read-profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-profile.d.ts","sourceRoot":"","sources":["../../../src/in-store/edit/read-profile.ts"],"names":[],"mappings":"AAiBA,OAAO,EAA0B,KAAK,cAAc,EAA2B,MAAM,eAAe,CAAC;AAsBrG,kFAAkF;AAClF,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAElF;AAQD,6EAA6E;AAC7E,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,SAAS,OAAO,EAAE,EAC9B,eAAe,EAAE,MAAM,EACvB,aAAa,SAAS,GACrB,cAAc,GAAG,IAAI,CAwCvB"}

package/dist/in-store/edit/read-profile.js

@@ -0,0 +1,95 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { getCanonicalEntityName } from '@ifc-lite/parser';
+/**
+ * A profile entity read back as a `ProfileSection` (charter #6232, D2): the
+ * inverse of `emitProfileSection`, for the inspector's Profile section, for
+ * split (a piece of an I-beam is an I-beam) and for one undo of a change.
+ *
+ * Attribute positions come from the model's schema registry. Supported optional
+ * radii survive an edit or split; a populated geometry attribute the shared
+ * builder cannot reproduce refuses editing rather than silently changing the
+ * section. Invalid dimensions also read as null.
+ */
+import { fromNativeLength } from '../anchor.js';
+import { validateProfileSection } from '../profile.js';
+import { getAttributeNamesAcrossSchemas, getSchemaRegistryForVersion } from '@ifc-lite/parser';
+/** IFC class (upper case, as STEP stores it) to section type and the attribute names from index 3. */
+const LAYOUT = {
+    IFCRECTANGLEPROFILEDEF: { type: 'Rectangle', names: ['XDim', 'YDim'] },
+    IFCISHAPEPROFILEDEF: { type: 'I', names: ['OverallWidth', 'OverallDepth', 'WebThickness', 'FlangeThickness'] },
+    IFCLSHAPEPROFILEDEF: { type: 'L', names: ['Depth', 'Width', 'Thickness'] },
+    IFCTSHAPEPROFILEDEF: { type: 'T', names: ['Depth', 'FlangeWidth', 'WebThickness', 'FlangeThickness'] },
+    IFCUSHAPEPROFILEDEF: { type: 'U', names: ['Depth', 'FlangeWidth', 'WebThickness', 'FlangeThickness'] },
+    IFCCSHAPEPROFILEDEF: { type: 'C', names: ['Depth', 'Width', 'WallThickness', 'Girth'] },
+    IFCCIRCLEPROFILEDEF: { type: 'Circle', names: ['Radius'] },
+    IFCRECTANGLEHOLLOWPROFILEDEF: { type: 'RectangleHollow', names: ['XDim', 'YDim', 'WallThickness'] },
+    IFCCIRCLEHOLLOWPROFILEDEF: { type: 'CircleHollow', names: ['Radius', 'WallThickness'] },
+};
+/** A REAL attribute: a plain number, or the `{ real }` wrapper the overlay keeps a whole-number REAL in. */
+function realOf(raw) {
+    const value = typeof raw === 'object' && raw !== null && 'real' in raw ? raw.real : raw;
+    return typeof value === 'number' && Number.isFinite(value) ? value : null;
+}
+/** Whether `stepType` names one of the nine profile classes the picker writes. */
+export function isSectionProfileClass(stepType) {
+    return stepType !== null && stepType !== undefined && stepType.toUpperCase() in LAYOUT;
+}
+/** Optional geometry the shared ProfileSection/emitProfileSection can reproduce. */
+const OPTIONAL = {
+    I: ['FilletRadius'], L: ['FilletRadius'], T: ['FilletRadius'], U: ['FilletRadius'],
+    C: ['InternalFilletRadius'], RectangleHollow: ['InnerFilletRadius', 'OuterFilletRadius'],
+};
+/** Read a profile in metres without dropping geometry when it is rebuilt. */
+export function sectionFromProfile(stepType, attributes, lengthUnitScale, schemaVersion = 'IFC4') {
+    const upper = stepType.toUpperCase();
+    const layout = LAYOUT[upper];
+    if (!layout || !Number.isFinite(lengthUnitScale) || lengthUnitScale <= 0)
+        return null;
+    let declared;
+    if (schemaVersion === 'IFC2X3' || schemaVersion === 'IFC4' || schemaVersion === 'IFC4X3') {
+        const registry = getSchemaRegistryForVersion(schemaVersion);
+        const name = getCanonicalEntityName(registry, upper);
+        declared = name ? registry.entities[name].allAttributes?.map((attribute) => attribute.name) : undefined;
+    }
+    else if (schemaVersion === 'IFC5' && layout.type === 'Rectangle') {
+        // IFCX adapts positional attributes using this same canonical name list.
+        // Basic rectangular authoring remains supported; profiled emission refuses IFC5.
+        declared = getAttributeNamesAcrossSchemas(stepType);
+    }
+    if (!declared || declared.length === 0)
+        return null;
+    // Extra positional values cannot be recreated by a builder using this registry.
+    if (attributes.slice(declared.length).some((value) => value != null))
+        return null;
+    const section = { Type: layout.type };
+    const optional = OPTIONAL[layout.type] ?? [];
+    for (let i = 3; i < declared.length; i++) {
+        const field = declared[i];
+        const required = layout.names.includes(field);
+        const raw = attributes[i];
+        if (raw == null && !required)
+            continue;
+        // The builder has no representation of slopes, edge radii or schema-specific
+        // gravity offsets: refusing is safer than authoring a different cross-section.
+        if (!required && !optional.includes(field))
+            return null;
+        const value = realOf(raw);
+        if (value === null || (required ? value <= 0 : value < 0))
+            return null;
+        section[field] = fromNativeLength({ lengthUnitScale }, value);
+    }
+    const result = section;
+    try {
+        validateProfileSection(result, 'profile');
+    }
+    catch (error) {
+        // Malformed file dimensions are a normal refusal, not an editable section.
+        if (error instanceof Error)
+            return null;
+        throw error;
+    }
+    return result;
+}
+//# sourceMappingURL=read-profile.js.map

package/dist/in-store/edit/read-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-profile.js","sourceRoot":"","sources":["../../../src/in-store/edit/read-profile.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAC/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE1D;;;;;;;;;GASG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,sBAAsB,EAAgD,MAAM,eAAe,CAAC;AACrG,OAAO,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAE/F,sGAAsG;AACtG,MAAM,MAAM,GAAqF;IAC/F,sBAAsB,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE;IACtE,mBAAmB,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,CAAC,EAAE;IAC9G,mBAAmB,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE;IAC1E,mBAAmB,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB,CAAC,EAAE;IACtG,mBAAmB,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB,CAAC,EAAE;IACtG,mBAAmB,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,CAAC,EAAE;IACvF,mBAAmB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;IAC1D,4BAA4B,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE;IACnG,yBAAyB,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,eAAe,CAAC,EAAE;CACxF,CAAC;AAEF,4GAA4G;AAC5G,SAAS,MAAM,CAAC,GAAY;IAC1B,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,MAAM,IAAI,GAAG,CAAC,CAAC,CAAE,GAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAC/G,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CAAC,QAAmC;IACvE,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,WAAW,EAAE,IAAI,MAAM,CAAC;AACzF,CAAC;AAED,oFAAoF;AACpF,MAAM,QAAQ,GAAqE;IACjF,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC;IAClF,CAAC,EAAE,CAAC,sBAAsB,CAAC,EAAE,eAAe,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;CACzF,CAAC;AAEF,6EAA6E;AAC7E,MAAM,UAAU,kBAAkB,CAChC,QAAgB,EAChB,UAA8B,EAC9B,eAAuB,EACvB,aAAa,GAAG,MAAM;IAEtB,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,eAAe,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtF,IAAI,QAAuC,CAAC;IAC5C,IAAI,aAAa,KAAK,QAAQ,IAAI,aAAa,KAAK,MAAM,IAAI,aAAa,KAAK,QAAQ,EAAE,CAAC;QACzF,MAAM,QAAQ,GAAG,2BAA2B,CAAC,aAAa,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACrD,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1G,CAAC;SAAM,IAAI,aAAa,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnE,yEAAyE;QACzE,iFAAiF;QACjF,QAAQ,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpD,gFAAgF;IAChF,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClF,MAAM,OAAO,GAA4B,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;IAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,QAAQ;YAAE,SAAS;QACvC,6EAA6E;QAC7E,+EAA+E;QAC/E,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACvE,OAAO,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,OAAoC,CAAC;IACpD,IAAI,CAAC;QACH,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,2EAA2E;QAC3E,IAAI,KAAK,YAAY,KAAK;YAAE,OAAO,IAAI,CAAC;QACxC,MAAM,KAAK,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/in-store/edit/slab-edit-frame.d.ts

@@ -0,0 +1,40 @@
+import type { IfcDataStore } from '@ifc-lite/parser';
+import type { MutablePropertyView, StoreEditor } from '@ifc-lite/mutations';
+/**
+ * Null when the element is not a vertical extrusion of its plan outline;
+ * otherwise the NATIVE-unit height of the extrusion's bottom above the
+ * element placement's origin.
+ */
+export declare function slabExtrusionBase(dataStore: IfcDataStore, view: MutablePropertyView, editor: StoreEditor, elementAxisPlacementId: number, solidAttrs: readonly unknown[], depth: number): number | null;
+/**
+ * {@link slabExtrusionBase} plus the direction the depth runs: `up` is true
+ * when the extrusion grows upward from the solid's profile plane (the layout
+ * the builders write and AC20's `Bodenplatte` has), false when the solid or
+ * its extrusion direction is flipped so it grows downward from it. Push /
+ * pull needs it: a bigger depth moves the top face in the first case and the
+ * underside in the second (#6232 C4).
+ */
+export declare function slabExtrusionFrame(dataStore: IfcDataStore, view: MutablePropertyView, editor: StoreEditor, elementAxisPlacementId: number, solidAttrs: readonly unknown[], depth: number): {
+    base: number;
+    up: boolean;
+} | null;
+/**
+ * A 2D rigid transform mapping a profile-coordinate point into the
+ * solid's local plan (XY). Built from the `IfcExtrudedAreaSolid`'s
+ * `Position` (an `IfcAxis2Placement3D`), it folds in the in-place
+ * translation + rotation that real-world authoring tools bake there.
+ * In-store-built slabs carry an identity Position, so the resolver
+ * defaults to the identity transform for them.
+ */
+export type Xform2D = (p: [number, number]) => [number, number];
+/**
+ * Build the plan-space transform for an `IfcExtrudedAreaSolid.Position`.
+ * The profile lives in the placement's local XY plane; we map a profile
+ * point `(px, py)` to `origin + px·X + py·Y` and keep the XY components
+ * (the footprint is the plan). X comes from RefDirection (orthonormalised
+ * against the Axis/Z), Y = Z × X — matching the IFC placement convention,
+ * including axis flips (e.g. Axis `(0,0,-1)`, RefDirection `(-1,0,0)`).
+ * Returns identity when the placement is absent or degenerate.
+ */
+export declare function resolveSolidPositionXform(dataStore: IfcDataStore, view: MutablePropertyView, editor: StoreEditor, placementId: number | null): Xform2D;
+//# sourceMappingURL=slab-edit-frame.d.ts.map

package/dist/in-store/edit/slab-edit-frame.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slab-edit-frame.d.ts","sourceRoot":"","sources":["../../../src/in-store/edit/slab-edit-frame.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAgB5E;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,YAAY,EACvB,IAAI,EAAE,mBAAmB,EACzB,MAAM,EAAE,WAAW,EACnB,sBAAsB,EAAE,MAAM,EAC9B,UAAU,EAAE,SAAS,OAAO,EAAE,EAC9B,KAAK,EAAE,MAAM,GACZ,MAAM,GAAG,IAAI,CAEf;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,YAAY,EACvB,IAAI,EAAE,mBAAmB,EACzB,MAAM,EAAE,WAAW,EACnB,sBAAsB,EAAE,MAAM,EAC9B,UAAU,EAAE,SAAS,OAAO,EAAE,EAC9B,KAAK,EAAE,MAAM,GACZ;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CA0BtC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAehE;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,YAAY,EACvB,IAAI,EAAE,mBAAmB,EACzB,MAAM,EAAE,WAAW,EACnB,WAAW,EAAE,MAAM,GAAG,IAAI,GACzB,OAAO,CAiDT"}

package/dist/in-store/edit/slab-edit-frame.js

@@ -0,0 +1,146 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * The frame of a slab-like element's extrusion: the solid position's plan
+ * transform the footprint is read through, and (#6233) whether the element
+ * is a vertical extrusion of that plan outline at all.
+ *
+ * The slab chain reads a FOOTPRINT in plan: the element placement's origin
+ * plus the solid position's plan transform (which may flip or turn the
+ * profile about Z). A split re-authors pieces from that plan outline, so it
+ * is only faithful when the element really is a vertical extrusion of that
+ * outline:
+ *   - the element placement is not rotated (the chain reads only its origin);
+ *   - the solid position's Axis is vertical (a tilted roof slab is not a
+ *     plan outline — AC20's `Dach-1` extrudes along (0, 0.5, 0.866));
+ *   - the extrusion direction is vertical in the solid's frame.
+ * Otherwise the element is refused, rather than cut into flat slabs.
+ *
+ * For an accepted element it also returns where the extrusion starts,
+ * above the placement origin: AC20's `Bodenplatte` hangs 0.2 m below its
+ * placement (solid Location z = -0.2), which a re-authored piece must keep.
+ */
+import { firstProjAxis } from '@ifc-lite/data';
+import { axis3d } from '../host-geometry-frame.js';
+import { asCoordinateTriple, asDirectionRatios, asExpressIdRef, readAttributes } from './placement-core.js';
+const EPS = 1e-6;
+/** A unit-normalised direction, or `fallback` when the slot is `$`; null when unreadable. */
+function direction(read, id, fallback) {
+    if (id == null)
+        return fallback;
+    const d = asDirectionRatios(read(asExpressIdRef(id))?.[0]);
+    const len = d ? Math.hypot(d[0], d[1], d[2]) : 0;
+    return d && len > EPS ? [d[0] / len, d[1] / len, d[2] / len] : null;
+}
+/**
+ * Null when the element is not a vertical extrusion of its plan outline;
+ * otherwise the NATIVE-unit height of the extrusion's bottom above the
+ * element placement's origin.
+ */
+export function slabExtrusionBase(dataStore, view, editor, elementAxisPlacementId, solidAttrs, depth) {
+    return slabExtrusionFrame(dataStore, view, editor, elementAxisPlacementId, solidAttrs, depth)?.base ?? null;
+}
+/**
+ * {@link slabExtrusionBase} plus the direction the depth runs: `up` is true
+ * when the extrusion grows upward from the solid's profile plane (the layout
+ * the builders write and AC20's `Bodenplatte` has), false when the solid or
+ * its extrusion direction is flipped so it grows downward from it. Push /
+ * pull needs it: a bigger depth moves the top face in the first case and the
+ * underside in the second (#6232 C4).
+ */
+export function slabExtrusionFrame(dataStore, view, editor, elementAxisPlacementId, solidAttrs, depth) {
+    const read = (id) => (id === null ? null : readAttributes(dataStore, view, editor, id));
+    const reader = {
+        entity(id) {
+            const attributes = read(id), type = editor.getEntityType(id);
+            return attributes && type ? { type, attributes } : null;
+        },
+    };
+    const placement = axis3d(reader, elementAxisPlacementId);
+    // #6589: a cosine-only check admits rotations of order sqrt(EPS).
+    // Compare the actual orthonormal frame components, including the small
+    // transverse components that the origin-only plan reader cannot retain.
+    if (!placement || Math.abs(placement.x[0] - 1) > EPS || Math.abs(placement.x[1]) > EPS
+        || Math.abs(placement.x[2]) > EPS || Math.abs(placement.z[0]) > EPS
+        || Math.abs(placement.z[1]) > EPS || Math.abs(placement.z[2] - 1) > EPS)
+        return null;
+    const position = axis3d(reader, solidAttrs[1]);
+    if (!position || Math.abs(position.z[0]) > EPS || Math.abs(position.z[1]) > EPS
+        || Math.abs(Math.abs(position.z[2]) - 1) > EPS)
+        return null;
+    const extrusion = direction(read, solidAttrs[2], [0, 0, 1]);
+    if (!extrusion || Math.abs(extrusion[0]) > EPS || Math.abs(extrusion[1]) > EPS
+        || Math.abs(Math.abs(extrusion[2]) - 1) > EPS)
+        return null;
+    // Upward (+1) or downward (-1) in the element frame.
+    const up = Math.sign(position.z[2] * extrusion[2]);
+    return { base: position.o[2] + Math.min(0, up * depth), up: up > 0 };
+}
+const IDENTITY_XFORM2D = (p) => [p[0], p[1]];
+function readDirection(dataStore, view, editor, id) {
+    if (id === null)
+        return null;
+    const attrs = readAttributes(dataStore, view, editor, id);
+    return attrs ? asDirectionRatios(attrs[0]) : null;
+}
+/**
+ * Build the plan-space transform for an `IfcExtrudedAreaSolid.Position`.
+ * The profile lives in the placement's local XY plane; we map a profile
+ * point `(px, py)` to `origin + px·X + py·Y` and keep the XY components
+ * (the footprint is the plan). X comes from RefDirection (orthonormalised
+ * against the Axis/Z), Y = Z × X — matching the IFC placement convention,
+ * including axis flips (e.g. Axis `(0,0,-1)`, RefDirection `(-1,0,0)`).
+ * Returns identity when the placement is absent or degenerate.
+ */
+export function resolveSolidPositionXform(dataStore, view, editor, placementId) {
+    if (placementId === null)
+        return IDENTITY_XFORM2D;
+    const attrs = readAttributes(dataStore, view, editor, placementId);
+    if (!attrs)
+        return IDENTITY_XFORM2D;
+    // IfcAxis2Placement3D: [0] Location · [1] Axis (Z) · [2] RefDirection (X).
+    const locId = asExpressIdRef(attrs[0]);
+    let ox = 0;
+    let oy = 0;
+    if (locId !== null) {
+        const locAttrs = readAttributes(dataStore, view, editor, locId);
+        const c = locAttrs ? asCoordinateTriple(locAttrs[0]) : null;
+        if (c) {
+            ox = c[0];
+            oy = c[1];
+        }
+    }
+    // IfcDirection ratios are NOT guaranteed unit length, so normalise Z
+    // before using it as a basis vector — otherwise the Gram-Schmidt
+    // projection (which assumes |Z|=1) and Y = Z × X both pick up |Z| as a
+    // stray scale factor, skewing the footprint away from the rendered mesh
+    // for files with e.g. Axis=(0,0,2). The Rust profile extractor
+    // normalises the same placement.
+    const rawZ = readDirection(dataStore, view, editor, asExpressIdRef(attrs[1])) ?? [0, 0, 1];
+    const zlen = Math.hypot(rawZ[0], rawZ[1], rawZ[2]);
+    if (zlen < 1e-9)
+        return IDENTITY_XFORM2D;
+    const z = [rawZ[0] / zlen, rawZ[1] / zlen, rawZ[2] / zlen];
+    // A `$` RefDirection takes the renderer's fill, not world X as-is (#5922).
+    const refX = readDirection(dataStore, view, editor, asExpressIdRef(attrs[2])) ?? firstProjAxis(z);
+    // Orthonormalise X against the unit Z (Gram-Schmidt), then Y = Z × X.
+    const dot = refX[0] * z[0] + refX[1] * z[1] + refX[2] * z[2];
+    let xv = [
+        refX[0] - dot * z[0],
+        refX[1] - dot * z[1],
+        refX[2] - dot * z[2],
+    ];
+    const xlen = Math.hypot(xv[0], xv[1], xv[2]);
+    if (xlen < 1e-9)
+        return IDENTITY_XFORM2D;
+    xv = [xv[0] / xlen, xv[1] / xlen, xv[2] / xlen];
+    // Z and X are now orthonormal, so Y = Z × X is already unit length.
+    const yv = [
+        z[1] * xv[2] - z[2] * xv[1],
+        z[2] * xv[0] - z[0] * xv[2],
+        z[0] * xv[1] - z[1] * xv[0],
+    ];
+    return (p) => [ox + p[0] * xv[0] + p[1] * yv[0], oy + p[0] * xv[1] + p[1] * yv[1]];
+}
+//# sourceMappingURL=slab-edit-frame.js.map

package/dist/in-store/edit/slab-edit-frame.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slab-edit-frame.js","sourceRoot":"","sources":["../../../src/in-store/edit/slab-edit-frame.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAA6B,MAAM,2BAA2B,CAAC;AAC9E,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE5G,MAAM,GAAG,GAAG,IAAI,CAAC;AAIjB,6FAA6F;AAC7F,SAAS,SAAS,CAAC,IAAU,EAAE,EAAW,EAAE,QAAkC;IAC5E,IAAI,EAAE,IAAI,IAAI;QAAE,OAAO,QAAQ,CAAC;IAChC,MAAM,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,OAAO,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAuB,EACvB,IAAyB,EACzB,MAAmB,EACnB,sBAA8B,EAC9B,UAA8B,EAC9B,KAAa;IAEb,OAAO,kBAAkB,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC;AAC9G,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAuB,EACvB,IAAyB,EACzB,MAAmB,EACnB,sBAA8B,EAC9B,UAA8B,EAC9B,KAAa;IAEb,MAAM,IAAI,GAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAyB;QACnC,MAAM,CAAC,EAAE;YACP,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;YAC7D,OAAO,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,CAAC;KACF,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IACzD,kEAAkE;IAClE,uEAAuE;IACvE,wEAAwE;IACxE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG;WACjF,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG;WAChE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;QAAE,OAAO,IAAI,CAAC;IAEvF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG;WAC1E,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG;WACzE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG;QAAE,OAAO,IAAI,CAAC;IAE7D,qDAAqD;IACrD,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;AACvE,CAAC;AAYD,MAAM,gBAAgB,GAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,SAAS,aAAa,CACpB,SAAuB,EACvB,IAAyB,EACzB,MAAmB,EACnB,EAAiB;IAEjB,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1D,OAAO,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAAuB,EACvB,IAAyB,EACzB,MAAmB,EACnB,WAA0B;IAE1B,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,gBAAgB,CAAC;IAClD,MAAM,KAAK,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACnE,IAAI,CAAC,KAAK;QAAE,OAAO,gBAAgB,CAAC;IAEpC,2EAA2E;IAC3E,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,IAAI,CAAC,EAAE,CAAC;YACN,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACV,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IAED,qEAAqE;IACrE,iEAAiE;IACjE,uEAAuE;IACvE,wEAAwE;IACxE,+DAA+D;IAC/D,iCAAiC;IACjC,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,IAAI,IAAI,GAAG,IAAI;QAAE,OAAO,gBAAgB,CAAC;IACzC,MAAM,CAAC,GAA6B,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACrF,2EAA2E;IAC3E,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,CAAC;IAElG,sEAAsE;IACtE,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,IAAI,EAAE,GAA6B;QACjC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;KACrB,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,IAAI;QAAE,OAAO,gBAAgB,CAAC;IACzC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAChD,oEAAoE;IACpE,MAAM,EAAE,GAA6B;QACnC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;KAC5B,CAAC;IAEF,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC"}

package/dist/in-store/edit/slab-edit.d.ts

@@ -0,0 +1,112 @@
+/**
+ * Footprint reader + cut helpers for slab-like elements (IfcSlab,
+ * IfcRoof, IfcPlate, IfcSpace) shaped by the in-store builders in
+ * `@ifc-lite/create`. The shared shape is:
+ *
+ *   IfcExtrudedAreaSolid
+ *     ├── SweptArea : IfcRectangleProfileDef (W × D) — rectangle mode
+ *     │              OR IfcArbitraryClosedProfileDef → IfcPolyline — polygon mode
+ *     └── Depth     : thickness along +Z (storey-local)
+ *
+ * The "footprint" is the profile polygon in storey-local 2D (XY).
+ * For rectangle mode we derive it from (placementOrigin, W, D); for
+ * polygon mode we read the polyline's vertex list.
+ *
+ * The split workflow:
+ *
+ *   1. user clicks twice on the slab (in storey-local 2D)
+ *   2. polygon-clip cuts the footprint into two halves
+ *   3. caller builds two fresh slabs via `addSlab` polygon-mode
+ *      (cleaner than trying to detect "rectangle still fits" — most
+ *       cuts produce non-rectangular halves)
+ *   4. source is tombstoned + its mesh hidden
+ *
+ * Source-buffer slabs with unusual representations (mapped shapes,
+ * tessellated faces, …) refuse with a clear reason and the caller's
+ * Split tool stays armed.
+ */
+import type { IfcDataStore } from '@ifc-lite/parser';
+import type { MutablePropertyView, StoreEditor } from '@ifc-lite/mutations';
+import { type Point2D } from './polygon-clip.js';
+/**
+ * Slab-like element types this module handles. Matches the STEP
+ * storage form (`IFCSLAB`, …) so the slice's split action can
+ * dispatch to the right `addSlab` / `addRoof` / `addPlate` /
+ * `addSpace` follow-up. (Roof/plate/space are added in subsequent
+ * commits but their representation is identical, so this resolver
+ * already accepts them.)
+ */
+export type SlabLikeType = 'IfcSlab' | 'IfcRoof' | 'IfcPlate' | 'IfcSpace';
+export interface SlabEditChain {
+    /** STEP type name, for the slice's dispatch. */
+    elementType: SlabLikeType;
+    /** Placement origin (storey-local). The footprint polygon is in
+     * world-XY space, with the origin already added. */
+    placementOrigin: [number, number, number];
+    /**
+     * Storey-local height where the extrusion starts, or null when the element
+     * is not a vertical extrusion of its plan outline (`slab-edit-frame.ts`):
+     * the footprint still reads, but a split must refuse it (#6233).
+     */
+    baseElevation: number | null;
+    /**
+     * Whether the depth grows upward from the profile plane (the builders'
+     * layout) or the slab hangs down from it. Meaningful only when
+     * `baseElevation` is not null; true otherwise.
+     */
+    extrusionUp: boolean;
+    /** Footprint polygon as an ordered list of 2D vertices (storey-
+     * local world XY). First vertex does NOT repeat at the end. */
+    footprint: Point2D[];
+    /** IfcExtrudedAreaSolid id — holds the thickness on attr 3. */
+    extrudedSolidId: number;
+    /** Current extrusion thickness (metres along +Z). */
+    thickness: number;
+    /**
+     * Whether the source profile was a rectangle (XDim/YDim) or an
+     * arbitrary polygon (IfcArbitraryClosedProfileDef → IfcPolyline).
+     * Surface for telemetry; not required by the split flow.
+     */
+    profileKind: 'rectangle' | 'polygon';
+}
+/**
+ * Resolve the slab chain (placement + footprint + extrusion). Works
+ * for IfcSlab / IfcRoof / IfcPlate / IfcSpace whose representation
+ * matches the in-store builder shape; null otherwise.
+ *
+ * `lengthUnitScale` is the model's native-unit → metre factor (e.g.
+ * `0.001` for a millimetre file). Raw STEP coordinate reads are in
+ * native units, but the rest of the split flow — raycast cut points,
+ * preview meshes, selection hit-tests — lives in metres, so the
+ * resolved footprint/thickness are scaled to match. Authored overlay
+ * entities are scaled too: the in-store builders convert their metre
+ * params to the file's native unit (`toNativePoint3` / `toNativeLength`),
+ * so an authored slab in a millimetre file stores millimetres (#6233).
+ */
+export declare function resolveSlabEditChain(dataStore: IfcDataStore, view: MutablePropertyView, editor: StoreEditor, expressId: number, lengthUnitScale?: number, 
+/** A validated extrusion beneath an envelope's clipping results. */
+bodyItemId?: number): SlabEditChain | null;
+export interface SlabSplitResult {
+    ok: true;
+    leftFootprint: Point2D[];
+    rightFootprint: Point2D[];
+    thickness: number;
+    placementOrigin: [number, number, number];
+    elementType: SlabLikeType;
+}
+export type SlabSplitOutcome = SlabSplitResult | {
+    ok: false;
+    reason: string;
+};
+/**
+ * Pure split-geometry helper. Clips the slab's footprint by a cut
+ * line (defined by two storey-local 2D points) and returns the two
+ * halves so the caller can build new slabs with `addSlab`. Both
+ * halves carry the source's thickness + storey placement; only the
+ * outer-curve polygon changes.
+ *
+ * Returns the underlying polygon-clip reason on failure so the UI
+ * can surface "Cut line does not cross the slab" verbatim.
+ */
+export declare function computeSlabSplitGeometry(chain: SlabEditChain, cutA: Point2D, cutB: Point2D): SlabSplitOutcome;
+//# sourceMappingURL=slab-edit.d.ts.map

package/dist/in-store/edit/slab-edit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slab-edit.d.ts","sourceRoot":"","sources":["../../../src/in-store/edit/slab-edit.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAO5E,OAAO,EAAqB,KAAK,OAAO,EAA0B,MAAM,mBAAmB,CAAC;AAI5F;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;AAa3E,MAAM,WAAW,aAAa;IAC5B,gDAAgD;IAChD,WAAW,EAAE,YAAY,CAAC;IAC1B;wDACoD;IACpD,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C;;;;OAIG;IACH,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B;;;;OAIG;IACH,WAAW,EAAE,OAAO,CAAC;IACrB;mEAC+D;IAC/D,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB,+DAA+D;IAC/D,eAAe,EAAE,MAAM,CAAC;IACxB,qDAAqD;IACrD,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,WAAW,EAAE,WAAW,GAAG,SAAS,CAAC;CACtC;AA6GD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,YAAY,EACvB,IAAI,EAAE,mBAAmB,EACzB,MAAM,EAAE,WAAW,EACnB,SAAS,EAAE,MAAM,EACjB,eAAe,SAAI;AACnB,oEAAoE;AACpE,UAAU,CAAC,EAAE,MAAM,GAClB,aAAa,GAAG,IAAI,CAiHtB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,IAAI,CAAC;IACT,aAAa,EAAE,OAAO,EAAE,CAAC;IACzB,cAAc,EAAE,OAAO,EAAE,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1C,WAAW,EAAE,YAAY,CAAC;CAC3B;AAED,MAAM,MAAM,gBAAgB,GAAG,eAAe,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,OAAO,EACb,IAAI,EAAE,OAAO,GACZ,gBAAgB,CAalB"}