@hatiolab/figure-model 0.8.0 → 0.9.0

package/dist/face-overhang.d.ts

@@ -0,0 +1,105 @@
+import { type FigureFastenAlignment, type FigureFastenTarget } from './fasten-place.ts';
+import type { FigureAsset } from './asset-types.ts';
+import type { FigureFacing } from './authoring-types.ts';
+import { type Axis } from './words.ts';
+/** A place to try the part at: on another face or the plane, by another facing, lined up another way. Unsaid, as it is. */
+export interface FigureFaceTry {
+    on?: FigureFastenTarget;
+    facing?: FigureFacing;
+    align?: Partial<Record<Axis, FigureFastenAlignment>>;
+}
+/**
+ * What is measured once for a part on a face, in the receiving part's own frame (the plane's: the figure's), on the two
+ * axes across the face: where a fastening lines it up to (`edges`, as the fastening reads them: the receiving part's
+ * own extent, the figure's declared size on the plane), the face's own outline when it is read (`outline`), and the
+ * part where it stands -- its real extent and, per copy, where it touches. Moving it across the face moves all of these
+ * together; nothing is measured again.
+ */
+export interface FigureFaceMeasure {
+    part: string;
+    on: FigureFastenTarget;
+    facing: FigureFacing;
+    axes: [Axis, Axis];
+    edges: Partial<Record<Axis, {
+        lo: number;
+        hi: number;
+    }>>;
+    /**
+     * The face's outline: a rectangle, a disc or ellipse (`round`), or the line a plane touches a curved side along
+     * (`line`). Absent where it is not read -- a drawn section's side, an end the inside opens through -- and on the plane
+     * (it is `edges`).
+     */
+    outline?: {
+        centre: Partial<Record<Axis, number>>;
+        size: Partial<Record<Axis, number>>;
+        round?: boolean;
+        line?: boolean;
+    };
+    extent: Record<Axis, {
+        lo: number;
+        hi: number;
+    }>;
+    /** Per copy, the points whose hull touches the face (or, by its middle, the middle); absent when not known. */
+    contact?: Array<Array<[number, number]>>;
+    /** The extent is the real shape's; a mesh's is its box, exact only when it stands square to the face. */
+    exact: boolean;
+}
+/** How a fastened part lies on its face: within its edges, past them, perhaps past them, wider than it, or not known. */
+export interface FigureFaceOverhang {
+    part: string;
+    on: FigureFastenTarget;
+    /**
+     * `inside` -- within the face's edges; `out` -- past them where it would fit; `possible` -- a mesh turned on the face,
+     * its box past them, so it may be; `larger` -- past them only along axes where it is wider than the face, as a bench
+     * top is wider than its leg: said as a fact, with its numbers, not as a fault (designer 2026-09-27); `unknown` -- the
+     * face's outline is not read here, or it is round and the part lies within its square. Never beyond what was measured.
+     */
+    state: 'inside' | 'out' | 'possible' | 'larger' | 'unknown';
+    /** Where, and how far past the edge, in mm, along the receiving part's own axes -- every axis, the wider ones too. */
+    sides: Array<{
+        axis: Axis;
+        side: 'low' | 'high';
+        mm: number;
+    }>;
+    /** The axes along which it is wider than the face. */
+    wider: Axis[];
+    /** Along a wider axis, it comes past one edge more than the other: off to one side. */
+    lopsided: Axis[];
+    /** The part's middle from the middle of the face's edges, per axis across it. */
+    at: Partial<Record<Axis, number>>;
+    /** Whether any of its footprint lies over the face at all. */
+    over: boolean;
+    /** (나) Whether what touches the face -- a point, a line, a face; by its middle, the middle -- lies on it. */
+    contact: 'on' | 'off' | 'unknown';
+}
+/**
+ * What a part on a face is measured by (see `FigureFaceMeasure`): on the face it is fastened to, or the one tried. Nothing
+ * when it is fastened to nothing and nothing is tried, when it is fastened at a part's origin (on no face, ADR-0107
+ * decision 4), or when the face names no axis.
+ */
+export declare function figureFaceMeasureOf(source: FigureAsset, part: string, values?: Record<string, number>, place?: Omit<FigureFaceTry, 'align'>): FigureFaceMeasure | undefined;
+/**
+ * How the measured part lies on the face, where it stands or lined up by `align` (the fastening's own words; an axis
+ * left out stays where it is): moved across the face as a fastening would move it, the outline and the edges compared
+ * with its real extent, and what touches compared with the outline.
+ */
+export declare function figureFaceOverhangAt(measure: FigureFaceMeasure, align?: Partial<Record<Axis, FigureFastenAlignment>>): FigureFaceOverhang;
+/**
+ * Whether a part fastened to a face lies within its edges and touches it (ADR-0097 §5.5, ADR-0140 3.8): measured on
+ * the face it is fastened to, or tried on another, lined up as `place` says. Past the edges is not wrong in itself -- a
+ * device may overhang a bench top -- and not the figure's room: it is said apart, and nothing is moved.
+ */
+export declare function figureFaceOverhangOf(source: FigureAsset, part: string, values?: Record<string, number>, place?: FigureFaceTry): FigureFaceOverhang | undefined;
+/**
+ * The alignment that brings the part inside the face, for 정렬·간격 고치기: on each axis it comes past an edge, the
+ * least move -- level with that edge from inside (`min` / `max` where the face's edges are the ones a fastening lines up
+ * to and `lineUp` offers them, else that distance from the middle) -- or the centre when it is wider than the face and
+ * cannot be inside. `inside` when nothing of it is past an edge; `unmeasured` when the face's edges are not read.
+ */
+export declare function figureFaceInsideAlignOf(measure: FigureFaceMeasure, align: Partial<Record<Axis, FigureFastenAlignment>>, lineUp?: Partial<Record<Axis, boolean>>): {
+    align: Partial<Record<Axis, FigureFastenAlignment>>;
+    moved: Axis[];
+} | {
+    cannot: 'inside' | 'unmeasured';
+};
+//# sourceMappingURL=face-overhang.d.ts.map

package/dist/face-overhang.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"face-overhang.d.ts","sourceRoot":"","sources":["../src/face-overhang.ts"],"names":[],"mappings":"AAgBA,OAAO,EAGL,KAAK,qBAAqB,EAC1B,KAAK,kBAAkB,EACxB,MAAM,mBAAmB,CAAA;AAC1B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AACxD,OAAO,EAAQ,KAAK,IAAI,EAAE,MAAM,YAAY,CAAA;AAM5C,2HAA2H;AAC3H,MAAM,WAAW,aAAa;IAC5B,EAAE,CAAC,EAAE,kBAAkB,CAAA;IACvB,MAAM,CAAC,EAAE,YAAY,CAAA;IACrB,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAA;CACrD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,kBAAkB,CAAA;IACtB,MAAM,EAAE,YAAY,CAAA;IACpB,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAClB,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAA;IACxD;;;;OAIG;IACH,OAAO,CAAC,EAAE;QACR,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QACrC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QACnC,KAAK,CAAC,EAAE,OAAO,CAAA;QACf,IAAI,CAAC,EAAE,OAAO,CAAA;KACf,CAAA;IACD,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAChD,+GAA+G;IAC/G,OAAO,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;IACxC,yGAAyG;IACzG,KAAK,EAAE,OAAO,CAAA;CACf;AAED,yHAAyH;AACzH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAA;IACZ,EAAE,EAAE,kBAAkB,CAAA;IACtB;;;;;OAKG;IACH,KAAK,EAAE,QAAQ,GAAG,KAAK,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAA;IAC3D,sHAAsH;IACtH,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC9D,sDAAsD;IACtD,KAAK,EAAE,IAAI,EAAE,CAAA;IACb,uFAAuF;IACvF,QAAQ,EAAE,IAAI,EAAE,CAAA;IAChB,iFAAiF;IACjF,EAAE,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IACjC,8DAA8D;IAC9D,IAAI,EAAE,OAAO,CAAA;IACb,6GAA6G;IAC7G,OAAO,EAAE,IAAI,GAAG,KAAK,GAAG,SAAS,CAAA;CAClC;AAKD;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,MAAM,EACZ,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,EACnC,KAAK,GAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAM,GACvC,iBAAiB,GAAG,SAAS,CA4H/B;AASD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,iBAAiB,EAC1B,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,GACnD,kBAAkB,CAwEpB;AAsGD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,MAAM,EACZ,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,EACnC,KAAK,GAAE,aAAkB,GACxB,kBAAkB,GAAG,SAAS,CAGhC;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,iBAAiB,EAC1B,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,EACnD,MAAM,GAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAM,GAC1C;IAAE,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAAC,KAAK,EAAE,IAAI,EAAE,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,QAAQ,GAAG,YAAY,CAAA;CAAE,CAuB9G"}

package/dist/face-overhang.js

@@ -0,0 +1,357 @@
+/*
+ * Copyright © HatioLab Inc. All rights reserved.
+ */
+/*
+ * How a fastened part lies on the face it is fastened to (ADR-0140 3.8, stage 1, D3): whether what touches the face is
+ * on it (나) and how far the part comes past its edges (다), measured by the part's real shape in the receiving part's
+ * own frame -- the reach a fastening stands it by, row copies and all. The modeller measured this by boxes of its own;
+ * it asks here, so the drawing, the editor's words and 정렬·간격 고치기 say one thing.
+ */
+import { figurePlacementOf, upgradeFigurePlacement } from "./asset.js";
+import { evaluate, figureBodyOwnerOf, figurePartFaceOf } from "./command-preview.js";
+import { compileFigureGraph, figureShapeFaces } from "./graph.js";
+import { ownSpansOf, mul3, mv3, transpose3, IDENTITY } from "./authoring-geometry.js";
+import { figureReachValue, figureShapeExtremeAlong } from "./shape-extreme.js";
+import { figureShapeContactOf } from "./shape-ops.js";
+import { figureFastenAxesOf, figureFastenPlaceOf } from "./fasten-place.js";
+import { AXES } from "./words.js";
+const round1 = (v) => Math.round(v * 10) / 10;
+const TOUCH = 0.05;
+/**
+ * What a part on a face is measured by (see `FigureFaceMeasure`): on the face it is fastened to, or the one tried. Nothing
+ * when it is fastened to nothing and nothing is tried, when it is fastened at a part's origin (on no face, ADR-0107
+ * decision 4), or when the face names no axis.
+ */
+export function figureFaceMeasureOf(source, part, values = {}, place = {}) {
+    const asset = upgradeFigurePlacement(source);
+    const m = asset.document.model;
+    const joint = (asset.joints ?? []).find((j) => j.body1.part === part);
+    const on = place.on ??
+        (!joint
+            ? undefined
+            : 'plane' in joint.body0
+                ? 'plane'
+                : 'face' in joint.body0
+                    ? { part: joint.body0.part, face: joint.body0.face }
+                    : undefined);
+    if (!on)
+        return undefined;
+    const facing = place.facing ?? joint?.origin?.facing ?? 'meet';
+    const axes = figureFastenAxesOf(source, on);
+    if (axes.length !== 2)
+        return undefined;
+    const geometry = evaluate(source, values);
+    const theirs = on === 'plane' ? { r: IDENTITY, t: [0, 0, 0] } : geometry.find(g => g.id === on.part)?.pose;
+    const bodies = geometry.filter(g => g.pose && g.shape && figureBodyOwnerOf(g.id) === part);
+    if (!theirs || !bodies.length)
+        return undefined;
+    const graph = compileFigureGraph(m).evaluate({ ...asset.designInputs, ...asset.stateDefaults, ...values })
+        .values;
+    const valueOf = (terms) => terms.reduce((s, t) => s + t.k * graph[t.ref], 0);
+    const toTheirs = transpose3(theirs.r);
+    const normal = AXES.find(a => !axes.includes(a));
+    /* Where a fastening lines it up to. */
+    const edges = {};
+    if (on === 'plane') {
+        for (const a of axes)
+            if (m.inputs.some((i) => i.id === `size.${a}` && i.role === 'design')) {
+                const size = graph[`size.${a}`] ?? asset.designInputs[`size.${a}`];
+                if (typeof size === 'number')
+                    edges[a] = { lo: -size / 2, hi: size / 2 };
+            }
+    }
+    else {
+        const spans = ownSpansOf(m, on.part, on.part);
+        for (const a of axes)
+            if (spans[a])
+                edges[a] = { lo: valueOf(spans[a].lo), hi: valueOf(spans[a].hi) };
+    }
+    /* The face's own outline, in their frame. */
+    let outline;
+    if (on !== 'plane') {
+        const face = figurePartFaceOf(source, on.part, on.face, values);
+        if (face) {
+            const centre = mv3(toTheirs, face.centre.map((v, i) => v - theirs.t[i]));
+            outline = {
+                centre: { [axes[0]]: centre[AXES.indexOf(axes[0])], [axes[1]]: centre[AXES.indexOf(axes[1])] },
+                size: { [axes[0]]: face.size.u, [axes[1]]: face.size.v },
+                ...(face.round ? { round: true } : {}),
+                ...(face.line ? { line: true } : {})
+            };
+        }
+    }
+    /* The part, each copy as it stands: its real extent (the reach a fastening stands it by), and what touches the face. */
+    const extent = Object.fromEntries(AXES.map(a => [a, { lo: Infinity, hi: -Infinity }]));
+    const contact = [];
+    let known = true;
+    let exact = true;
+    const sign = on === 'plane' ? 1 : faceSignOf(m, on);
+    for (const body of bodies) {
+        const R = mul3(toTheirs, body.pose.r);
+        const o = mv3(toTheirs, body.pose.t.map((v, i) => v - theirs.t[i]));
+        const back = transpose3(R);
+        const reach = (k, s) => figureReachValue(figureShapeExtremeAlong(m, part, mv3(back, AXES.map((_, i) => (i === k ? s : 0))), part), graph);
+        const own = {};
+        for (const a of AXES) {
+            const k = AXES.indexOf(a);
+            own[a] = { lo: o[k] - reach(k, -1), hi: o[k] + reach(k, 1) };
+            extent[a] = { lo: Math.min(extent[a].lo, own[a].lo), hi: Math.max(extent[a].hi, own[a].hi) };
+        }
+        const square = R.every(row => row.filter(v => Math.abs(v) > 1e-9).length === 1);
+        if (body.shape.mesh && !square)
+            exact = false;
+        if (!known)
+            continue;
+        if (facing === 'centre') {
+            contact.push([[(own[axes[0]].lo + own[axes[0]].hi) / 2, (own[axes[1]].lo + own[axes[1]].hi) / 2]]);
+            continue;
+        }
+        /* Meeting it, the end toward the face touches; flush with it, the far end lies on it. */
+        const toward = AXES.map(a => (a === normal ? (facing === 'meet' ? -sign : sign) : 0));
+        const points = figureShapeContactOf(body.shape, mv3(back, toward));
+        if (!points) {
+            known = false;
+            continue;
+        }
+        contact.push(points.map(q => {
+            const p = mv3(R, q).map((v, i) => v + o[i]);
+            return [p[AXES.indexOf(axes[0])], p[AXES.indexOf(axes[1])]];
+        }));
+    }
+    return {
+        part,
+        on,
+        facing,
+        axes,
+        edges,
+        ...(outline ? { outline } : {}),
+        extent,
+        ...(known ? { contact } : {}),
+        exact
+    };
+}
+/** The outward sign of a part's face along its axis, as the shape names it. */
+function faceSignOf(m, on) {
+    const shape = m.nodes.find((n) => n.id === `${on.part}.shape`);
+    const face = shape && figureShapeFaces(shape, m)?.[on.face];
+    return face?.normal ?? 1;
+}
+/**
+ * How the measured part lies on the face, where it stands or lined up by `align` (the fastening's own words; an axis
+ * left out stays where it is): moved across the face as a fastening would move it, the outline and the edges compared
+ * with its real extent, and what touches compared with the outline.
+ */
+export function figureFaceOverhangAt(measure, align) {
+    const { axes, edges, outline, extent } = measure;
+    const shift = {};
+    const at = {};
+    for (const a of axes) {
+        const e = edges[a];
+        const mid = e ? (e.lo + e.hi) / 2 : 0;
+        const now = (extent[a].lo + extent[a].hi) / 2;
+        const how = align?.[a];
+        const there = how === undefined
+            ? now
+            : mid +
+                figureFastenPlaceOf({
+                    align: { [a]: how },
+                    face: { [a]: e ? e.hi - e.lo : undefined },
+                    part: { [a]: extent[a].hi - extent[a].lo }
+                })[a];
+        shift[a] = there - now;
+        at[a] = round1(there - mid);
+    }
+    /* The edges it is judged against: the outline's where it is read, the plane's declared size on the plane. */
+    const judged = {};
+    for (const a of axes)
+        if (outline) {
+            const c = outline.centre[a], s = outline.size[a];
+            if (c !== undefined && s !== undefined)
+                judged[a] = { lo: c - s / 2, hi: c + s / 2 };
+        }
+        else if (measure.on === 'plane' && edges[a])
+            judged[a] = edges[a];
+    const sides = [];
+    const wider = [];
+    const lopsided = [];
+    let pastWhereItFits = false;
+    let over = true;
+    for (const a of axes) {
+        const j = judged[a];
+        if (!j)
+            continue;
+        const lo = extent[a].lo + shift[a], hi = extent[a].hi + shift[a];
+        if (lo >= j.hi || hi <= j.lo)
+            over = false;
+        const low = j.lo - lo, high = hi - j.hi;
+        if (low > TOUCH)
+            sides.push({ axis: a, side: 'low', mm: round1(low) });
+        if (high > TOUCH)
+            sides.push({ axis: a, side: 'high', mm: round1(high) });
+        if (hi - lo > j.hi - j.lo + TOUCH) {
+            wider.push(a);
+            if (Math.abs(low - high) > 0.5)
+                lopsided.push(a);
+        }
+        else if (low > TOUCH || high > TOUCH)
+            pastWhereItFits = true;
+    }
+    const unread = measure.on !== 'plane' && (!outline || outline.line);
+    const state = unread
+        ? 'unknown'
+        : pastWhereItFits
+            ? measure.exact
+                ? 'out'
+                : 'possible'
+            : sides.length
+                ? 'larger'
+                : outline?.round
+                    ? 'unknown'
+                    : 'inside';
+    return {
+        part: measure.part,
+        on: measure.on,
+        state,
+        sides,
+        wider,
+        lopsided,
+        at,
+        over,
+        contact: contactOf(measure, judged, shift)
+    };
+}
+/** (나): every copy's touching hull over the face's outline; the plane's declared size, or none, on the plane. */
+function contactOf(measure, judged, shift) {
+    const [a, b] = measure.axes;
+    if (!measure.contact)
+        return 'unknown';
+    if (measure.on === 'plane') {
+        if (!judged[a] && !judged[b])
+            return 'on';
+    }
+    else if (!measure.outline || measure.outline.line || !judged[a] || !judged[b])
+        return 'unknown';
+    const box = {
+        lo: [judged[a]?.lo ?? -Infinity, judged[b]?.lo ?? -Infinity],
+        hi: [judged[a]?.hi ?? Infinity, judged[b]?.hi ?? Infinity]
+    };
+    const ellipse = measure.outline?.round;
+    for (const copy of measure.contact) {
+        const hull = hullOf(copy.map(([u, v]) => [u + shift[a], v + shift[b]]));
+        const touches = ellipse
+            ? distanceToHull(hull.map(([u, v]) => [
+                (u - (box.lo[0] + box.hi[0]) / 2) / ((box.hi[0] - box.lo[0]) / 2),
+                (v - (box.lo[1] + box.hi[1]) / 2) / ((box.hi[1] - box.lo[1]) / 2)
+            ])) <=
+                1 + 1e-6
+            : overlapsBox(hull, box);
+        if (!touches)
+            return 'off';
+    }
+    return 'on';
+}
+/** The convex hull of points in a plane, counter-clockwise; a point or a segment as itself. */
+function hullOf(points) {
+    const ps = [...points].sort((p, q) => p[0] - q[0] || p[1] - q[1]);
+    const cross = (o, p, q) => (p[0] - o[0]) * (q[1] - o[1]) - (p[1] - o[1]) * (q[0] - o[0]);
+    const half = (list) => {
+        const out = [];
+        for (const p of list) {
+            while (out.length >= 2 && cross(out[out.length - 2], out[out.length - 1], p) <= 1e-9)
+                out.pop();
+            out.push(p);
+        }
+        return out;
+    };
+    const lower = half(ps);
+    const upper = half([...ps].reverse());
+    const all = [...lower.slice(0, -1), ...upper.slice(0, -1)];
+    return all.length ? all : ps.slice(0, 1);
+}
+/** Whether a convex hull and a box overlap (separating axes: the box's two and each side's normal), within a touch. */
+function overlapsBox(hull, box) {
+    for (let k = 0; k < 2; k++) {
+        const vs = hull.map(p => p[k]);
+        if (Math.min(...vs) > box.hi[k] + TOUCH || Math.max(...vs) < box.lo[k] - TOUCH)
+            return false;
+    }
+    const corners = [
+        [box.lo[0], box.lo[1]],
+        [box.hi[0], box.lo[1]],
+        [box.hi[0], box.hi[1]],
+        [box.lo[0], box.hi[1]]
+    ].map(([u, v]) => [Number.isFinite(u) ? u : Math.sign(u) * 1e12, Number.isFinite(v) ? v : Math.sign(v) * 1e12]);
+    for (let i = 0; i < hull.length && hull.length > 1; i++) {
+        const p = hull[i], q = hull[(i + 1) % hull.length];
+        const n = [q[1] - p[1], p[0] - q[0]];
+        const len = Math.hypot(n[0], n[1]);
+        if (len < 1e-12)
+            continue;
+        const along = (c) => (c[0] * n[0] + c[1] * n[1]) / len;
+        const mine = hull.map(along);
+        const theirs = corners.map(along);
+        if (Math.min(...theirs) > Math.max(...mine) + TOUCH || Math.max(...theirs) < Math.min(...mine) - TOUCH)
+            return false;
+    }
+    return true;
+}
+/** How far a convex hull lies from the origin: 0 when it covers it. */
+function distanceToHull(hull) {
+    if (hull.length === 1)
+        return Math.hypot(hull[0][0], hull[0][1]);
+    const segment = (p, q) => {
+        const d = [q[0] - p[0], q[1] - p[1]];
+        const l = d[0] * d[0] + d[1] * d[1];
+        const t = l ? Math.max(0, Math.min(1, -(p[0] * d[0] + p[1] * d[1]) / l)) : 0;
+        return Math.hypot(p[0] + t * d[0], p[1] + t * d[1]);
+    };
+    if (hull.length >= 3 &&
+        hull.every((p, i) => {
+            const q = hull[(i + 1) % hull.length];
+            return (q[0] - p[0]) * -p[1] - (q[1] - p[1]) * -p[0] >= -1e-9;
+        }))
+        return 0;
+    return Math.min(...hull.map((p, i) => segment(p, hull[(i + 1) % hull.length])));
+}
+/**
+ * Whether a part fastened to a face lies within its edges and touches it (ADR-0097 §5.5, ADR-0140 3.8): measured on
+ * the face it is fastened to, or tried on another, lined up as `place` says. Past the edges is not wrong in itself -- a
+ * device may overhang a bench top -- and not the figure's room: it is said apart, and nothing is moved.
+ */
+export function figureFaceOverhangOf(source, part, values = {}, place = {}) {
+    const measure = figureFaceMeasureOf(source, part, values, place);
+    return measure && figureFaceOverhangAt(measure, place.align);
+}
+/**
+ * The alignment that brings the part inside the face, for 정렬·간격 고치기: on each axis it comes past an edge, the
+ * least move -- level with that edge from inside (`min` / `max` where the face's edges are the ones a fastening lines up
+ * to and `lineUp` offers them, else that distance from the middle) -- or the centre when it is wider than the face and
+ * cannot be inside. `inside` when nothing of it is past an edge; `unmeasured` when the face's edges are not read.
+ */
+export function figureFaceInsideAlignOf(measure, align, lineUp = {}) {
+    const now = figureFaceOverhangAt(measure, align);
+    if (now.state === 'unknown' || measure.axes.some(a => !measure.edges[a]))
+        return { cannot: 'unmeasured' };
+    const next = { align: { ...align }, moved: [] };
+    for (const a of measure.axes) {
+        const past = now.sides.filter(s => s.axis === a);
+        if (!past.length)
+            continue;
+        next.moved.push(a);
+        if (now.wider.includes(a)) {
+            next.align[a] = 'centre';
+            continue;
+        }
+        const low = past.some(s => s.side === 'low');
+        const e = measure.edges[a];
+        const o = measure.outline;
+        const j = o ? { lo: o.centre[a] - o.size[a] / 2, hi: o.centre[a] + o.size[a] / 2 } : e;
+        const part = measure.extent[a].hi - measure.extent[a].lo;
+        const middle = low ? j.lo + part / 2 : j.hi - part / 2;
+        const level = Math.abs((low ? j.lo : j.hi) - (low ? e.lo : e.hi)) < TOUCH;
+        next.align[a] =
+            level && (lineUp[a] ?? true) ? (low ? 'min' : 'max') : { mm: Math.round(middle - (e.lo + e.hi) / 2) };
+    }
+    return next.moved.length ? next : { cannot: 'inside' };
+}
+//# sourceMappingURL=face-overhang.js.map

package/dist/face-overhang.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"face-overhang.js","sourceRoot":"","sources":["../src/face-overhang.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;GAKG;AACH,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACtE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAA;AACpF,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AACjE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACrF,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAC9E,OAAO,EAAE,oBAAoB,EAA6B,MAAM,gBAAgB,CAAA;AAChF,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EAGpB,MAAM,mBAAmB,CAAA;AAG1B,OAAO,EAAE,IAAI,EAAa,MAAM,YAAY,CAAA;AAqE5C,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAA;AACrD,MAAM,KAAK,GAAG,IAAI,CAAA;AAElB;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAmB,EACnB,IAAY,EACZ,SAAiC,EAAE,EACnC,QAAsC,EAAE;IAExC,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAY,CAAA;IACvD,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAA;IAC9B,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IAC9E,MAAM,EAAE,GACN,KAAK,CAAC,EAAE;QACR,CAAC,CAAC,KAAK;YACL,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK;gBACtB,CAAC,CAAC,OAAO;gBACT,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK;oBACrB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;oBACpD,CAAC,CAAC,SAAS,CAAC,CAAA;IACpB,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAA;IACzB,MAAM,MAAM,GAAiB,KAAK,CAAC,MAAM,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,IAAI,MAAM,CAAA;IAC5E,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAiB,CAAA;IAC3D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAItC,CAAA;IACF,MAAM,MAAM,GACV,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAA;IAC1F,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IAC/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,aAAa,EAAE,GAAG,MAAM,EAAE,CAAC;SACvG,MAAgC,CAAA;IACnC,MAAM,OAAO,GAAG,CAAC,KAAwC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,CAAA;IAChH,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,CAAA;IACjD,uCAAuC;IACvC,MAAM,KAAK,GAA+B,EAAE,CAAA;IAC5C,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,IAAI;YAClB,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;gBAClE,IAAI,OAAO,IAAI,KAAK,QAAQ;oBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,GAAG,CAAC,EAAE,CAAA;YAC1E,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;QAC7C,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,CAAA;IACzG,CAAC;IACD,6CAA6C;IAC7C,IAAI,OAAqC,CAAA;IACzC,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAC/D,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,MAAM,GAAG,GAAG,CAChB,QAAQ,EACR,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAC5C,CAAA;YACD,OAAO,GAAG;gBACR,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE;gBAChG,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE;gBACxD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACrC,CAAA;QACH,CAAC;IACH,CAAC;IACD,wHAAwH;IACxH,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAgC,CAAA;IACrH,MAAM,OAAO,GAA8C,EAAE,CAAA;IAC7D,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,MAAM,IAAI,GAAG,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACnD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,CAAA;QACtC,MAAM,CAAC,GAAG,GAAG,CACX,QAAQ,EACR,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAC7C,CAAA;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CACrC,gBAAgB,CACd,uBAAuB,CACrB,CAAC,EACD,IAAI,EACJ,GAAG,CACD,IAAI,EACJ,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/B,EACR,IAAI,CACL,EACD,KAAK,CACN,CAAA;QACH,MAAM,GAAG,GAA6C,EAAW,CAAA;QACjE,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;YACzB,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAE,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAA;YAC9D,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAA;QAC9F,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAA;QAC/E,IAAI,IAAI,CAAC,KAAM,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,KAAK,GAAG,KAAK,CAAA;QAC9C,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAClG,SAAQ;QACV,CAAC;QACD,yFAAyF;QACzF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACrF,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAM,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAQ,CAAC,CAAA;QAC1E,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,GAAG,KAAK,CAAA;YACb,SAAQ;QACV,CAAC;QACD,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACb,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;YAC5C,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAE,CAAqB,CAAA;QACnF,CAAC,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO;QACL,IAAI;QACJ,EAAE;QACF,MAAM;QACN,IAAI;QACJ,KAAK;QACL,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,MAAM;QACN,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,KAAK;KACN,CAAA;AACH,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,CAAU,EAAE,EAAkC;IAChE,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAA;IACvE,MAAM,IAAI,GAAG,KAAK,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;IAC3D,OAAO,IAAI,EAAE,MAAM,IAAI,CAAC,CAAA;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAA0B,EAC1B,KAAoD;IAEpD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;IAChD,MAAM,KAAK,GAAkC,EAAE,CAAA;IAC/C,MAAM,EAAE,GAAkC,EAAE,CAAA;IAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;QAClB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACrC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;QAC7C,MAAM,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;QACtB,MAAM,KAAK,GACT,GAAG,KAAK,SAAS;YACf,CAAC,CAAC,GAAG;YACL,CAAC,CAAC,GAAG;gBACH,mBAAmB,CAAC;oBAClB,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE;oBACnB,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE;oBAC1C,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE;iBAC3C,CAAC,CAAC,CAAC,CAAE,CAAA;QACZ,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,GAAG,CAAA;QACtB,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,CAAA;IAC7B,CAAC;IACD,6GAA6G;IAC7G,MAAM,MAAM,GAAsD,EAAE,CAAA;IACpE,KAAK,MAAM,CAAC,IAAI,IAAI;QAClB,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EACzB,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACrB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAA;QACtF,CAAC;aAAM,IAAI,OAAO,CAAC,EAAE,KAAK,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC;YAAE,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IACrE,MAAM,KAAK,GAAgC,EAAE,CAAA;IAC7C,MAAM,KAAK,GAAW,EAAE,CAAA;IACxB,MAAM,QAAQ,GAAW,EAAE,CAAA;IAC3B,IAAI,eAAe,GAAG,KAAK,CAAA;IAC3B,IAAI,IAAI,GAAG,IAAI,CAAA;IACf,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,CAAC;YAAE,SAAQ;QAChB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,EACjC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAA;QAC/B,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE;YAAE,IAAI,GAAG,KAAK,CAAA;QAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EACnB,IAAI,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAA;QAClB,IAAI,GAAG,GAAG,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACtE,IAAI,IAAI,GAAG,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACzE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;YACb,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG;gBAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAClD,CAAC;aAAM,IAAI,GAAG,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK;YAAE,eAAe,GAAG,IAAI,CAAA;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,KAAK,OAAO,IAAI,CAAC,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;IACnE,MAAM,KAAK,GAAgC,MAAM;QAC/C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe;YACf,CAAC,CAAC,OAAO,CAAC,KAAK;gBACb,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,UAAU;YACd,CAAC,CAAC,KAAK,CAAC,MAAM;gBACZ,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,OAAO,EAAE,KAAK;oBACd,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,QAAQ,CAAA;IAClB,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK;QACL,KAAK;QACL,KAAK;QACL,QAAQ;QACR,EAAE;QACF,IAAI;QACJ,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;KAC3C,CAAA;AACH,CAAC;AAED,iHAAiH;AACjH,SAAS,SAAS,CAChB,OAA0B,EAC1B,MAAyD,EACzD,KAAoC;IAEpC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAA;IAC3B,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,OAAO,SAAS,CAAA;IACtC,IAAI,OAAO,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAA;IAC3C,CAAC;SAAM,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAA;IACjG,MAAM,GAAG,GAAG;QACV,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC;QAC5D,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,QAAQ,CAAC;KAC3D,CAAA;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAA;IACtC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAqB,CAAC,CAAC,CAAA;QAC7F,MAAM,OAAO,GAAG,OAAO;YACrB,CAAC,CAAC,cAAc,CACZ,IAAI,CAAC,GAAG,CACN,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CACT;gBACE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;gBACrE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;aAClD,CACxB,CACF;gBACD,CAAC,GAAG,IAAI;YACV,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC1B,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAA;IAC5B,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,+FAA+F;AAC/F,SAAS,MAAM,CAAC,MAA+B;IAC7C,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjE,MAAM,KAAK,GAAG,CAAC,CAAW,EAAE,CAAW,EAAE,CAAW,EAAE,EAAE,CACtD,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IACvE,MAAM,IAAI,GAAG,CAAC,IAA6B,EAAE,EAAE;QAC7C,MAAM,GAAG,GAA4B,EAAE,CAAA;QACvC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,IAAI,IAAI;gBAAE,GAAG,CAAC,GAAG,EAAE,CAAA;YACjG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QACb,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC,CAAA;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,CAAA;IACtB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAA;IACrC,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC1C,CAAC;AAED,uHAAuH;AACvH,SAAS,WAAW,CAAC,IAA6B,EAAE,GAAmC;IACrF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;QAC/B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,GAAG,KAAK;YAAE,OAAO,KAAK,CAAA;IAChG,CAAC;IACD,MAAM,OAAO,GAAG;QACd,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC;QACxB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC;QACxB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC;QACxB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC;KACzB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;IACnH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,EAChB,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAE,CAAA;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;QACpC,IAAI,GAAG,GAAG,KAAK;YAAE,SAAQ;QACzB,MAAM,KAAK,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,CAAA;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK;YAAE,OAAO,KAAK,CAAA;IACtH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,uEAAuE;AACvE,SAAS,cAAc,CAAC,IAA6B;IACnD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAClE,MAAM,OAAO,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAE,EAAE;QAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,CAAA;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC9E,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IACvD,CAAC,CAAA;IACD,IACE,IAAI,CAAC,MAAM,IAAI,CAAC;QAChB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAE,CAAA;YACtC,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,IAAI,CAAC,IAAI,CAAA;QAC/D,CAAC,CAAC;QAEF,OAAO,CAAC,CAAA;IACV,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAA;AAClF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAmB,EACnB,IAAY,EACZ,SAAiC,EAAE,EACnC,QAAuB,EAAE;IAEzB,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IAChE,OAAO,OAAO,IAAI,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;AAC9D,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAA0B,EAC1B,KAAmD,EACnD,SAAyC,EAAE;IAE3C,MAAM,GAAG,GAAG,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAChD,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;IACzG,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,KAAK,EAAE,EAAY,EAAE,CAAA;IACzD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAA;QAChD,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,SAAQ;QAC1B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAClB,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAA;YACxB,SAAQ;QACV,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAA;QAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAA;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAA;QACzB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;QAC1F,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACxD,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,GAAG,CAAC,CAAA;QACtD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA;QACzE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YACX,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;IACzG,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;AACxD,CAAC"}

package/dist/fasten-place.d.ts

@@ -0,0 +1,35 @@
+import type { FigureAsset } from './asset-types.ts';
+import { type Axis } from './words.ts';
+/** What a part is fastened to: a face of another part, or the plane the figure is mounted on. */
+export type FigureFastenTarget = {
+    part: string;
+    face: string;
+} | 'plane';
+/** An alignment across a face, its distance worked out: the centre, level with an edge, or millimetres from the centre. */
+export type FigureFastenAlignment = 'centre' | 'min' | 'max' | {
+    mm: number;
+};
+/**
+ * The axes across the face a part is fastened to: the two that are not its normal -- the plane's by the figure's
+ * placement (a floor's is Y, a wall's Z), a part's face by its shape. None for a face the shape does not name an axis
+ * for.
+ */
+export declare function figureFastenAxesOf(source: FigureAsset, to: FigureFastenTarget): Axis[];
+/**
+ * The place that keeps a part where it stands when it is fastened to `to` (ADR-0140 3.7): on each axis across the face,
+ * in the target's own frame (3.11), the middle of the part's real extent (3.4) from the middle of the face -- the
+ * plane's is the origin -- to a tenth of a millimetre, at the values given. Nearer than half a millimetre is the centre
+ * and is left out. Fastened with it, the part does not move across the face, whatever way either stands (a door set
+ * 100 mm in front of its frame once slid into it, 2026-09-26; one beside a turned frame jumped to its middle).
+ */
+export declare function figureFastenKeptPlaceOf(source: FigureAsset, part: string, to: FigureFastenTarget, values?: Record<string, number>): Partial<Record<Axis, number>>;
+/**
+ * Where an alignment puts a part's centre from the face's centre, on each axis given a part size: level with the low
+ * edge or the high one, where the face has a size on that axis; a distance as it is; anything else the centre.
+ */
+export declare function figureFastenPlaceOf(a: {
+    align: Partial<Record<Axis, FigureFastenAlignment | undefined>>;
+    face: Partial<Record<Axis, number | undefined>>;
+    part: Partial<Record<Axis, number>>;
+}): Partial<Record<Axis, number>>;
+//# sourceMappingURL=fasten-place.d.ts.map

package/dist/fasten-place.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fasten-place.d.ts","sourceRoot":"","sources":["../src/fasten-place.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAQ,KAAK,IAAI,EAAE,MAAM,YAAY,CAAA;AAI5C,iGAAiG;AACjG,MAAM,MAAM,kBAAkB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAA;AAEzE,2HAA2H;AAC3H,MAAM,MAAM,qBAAqB,GAAG,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7E;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,kBAAkB,GAAG,IAAI,EAAE,CAStF;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,kBAAkB,EACtB,MAAM,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAClC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CA2B/B;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE;IACrC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,GAAG,SAAS,CAAC,CAAC,CAAA;IAC/D,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAA;IAC/C,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;CACpC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAiBhC"}

package/dist/fasten-place.js

@@ -0,0 +1,91 @@
+/*
+ * Copyright © HatioLab Inc. All rights reserved.
+ */
+/*
+ * Where a part lies across the face it is fastened to (ADR-0140 3.7, stage B): the place that keeps it where it stands
+ * when it is fastened, and the place an alignment puts it. The modeller drew and kept these by its own arithmetic; it
+ * now asks here, so a fastening's place is worked out in one place.
+ */
+import { figurePlacementOf, upgradeFigurePlacement } from "./asset.js";
+import { evaluate } from "./command-preview.js";
+import { compileFigureGraph, figureShapeFaces } from "./graph.js";
+import { ownSpansOf, mul3, mv3, transpose3, IDENTITY } from "./authoring-geometry.js";
+import { figureReachValue, figureShapeExtremeAlong } from "./shape-extreme.js";
+import { AXES } from "./words.js";
+/**
+ * The axes across the face a part is fastened to: the two that are not its normal -- the plane's by the figure's
+ * placement (a floor's is Y, a wall's Z), a part's face by its shape. None for a face the shape does not name an axis
+ * for.
+ */
+export function figureFastenAxesOf(source, to) {
+    const asset = upgradeFigurePlacement(source);
+    if (to === 'plane') {
+        const normal = figurePlacementOf(asset) === 'wall' ? 'z' : 'y';
+        return AXES.filter(a => a !== normal);
+    }
+    const shape = asset.document.model.nodes.find((n) => n.id === `${to.part}.shape`);
+    const along = (shape && figureShapeFaces(shape)?.[to.face]?.axis);
+    return along ? AXES.filter(a => a !== along) : [];
+}
+/**
+ * The place that keeps a part where it stands when it is fastened to `to` (ADR-0140 3.7): on each axis across the face,
+ * in the target's own frame (3.11), the middle of the part's real extent (3.4) from the middle of the face -- the
+ * plane's is the origin -- to a tenth of a millimetre, at the values given. Nearer than half a millimetre is the centre
+ * and is left out. Fastened with it, the part does not move across the face, whatever way either stands (a door set
+ * 100 mm in front of its frame once slid into it, 2026-09-26; one beside a turned frame jumped to its middle).
+ */
+export function figureFastenKeptPlaceOf(source, part, to, values = {}) {
+    const kept = {};
+    const asset = upgradeFigurePlacement(source);
+    const m = asset.document.model;
+    const geometry = evaluate(source, values);
+    const poseOf = (id) => geometry.find(g => g.id === id)?.pose;
+    const mine = poseOf(part);
+    if (!mine)
+        return kept;
+    const theirs = to === 'plane' ? { r: IDENTITY, t: [0, 0, 0] } : poseOf(to.part);
+    if (!theirs)
+        return kept;
+    const graph = compileFigureGraph(m).evaluate({ ...asset.designInputs, ...asset.stateDefaults, ...values }).values;
+    /* The part's pose and place in the target's frame. */
+    const R = mul3(transpose3(theirs.r), mine.r);
+    const o = mv3(transpose3(theirs.r), mine.t.map((v, i) => v - theirs.t[i]));
+    const spans = to === 'plane' ? {} : ownSpansOf(m, to.part, to.part);
+    for (const axis of figureFastenAxesOf(source, to)) {
+        const k = AXES.indexOf(axis);
+        const along = (sign) => figureReachValue(figureShapeExtremeAlong(m, part, mv3(transpose3(R), AXES.map((_, i) => (i === k ? sign : 0))), part), graph);
+        const middle = o[k] + (along(1) - along(-1)) / 2;
+        const span = spans[axis];
+        const at = (terms) => terms.reduce((s, t) => s + t.k * graph[t.ref], 0);
+        const face = span ? (at(span.lo) + at(span.hi)) / 2 : 0;
+        const off = Math.round((middle - face) * 10) / 10;
+        if (Math.abs(off) < 0.5)
+            continue;
+        kept[axis] = off;
+    }
+    return kept;
+}
+/**
+ * Where an alignment puts a part's centre from the face's centre, on each axis given a part size: level with the low
+ * edge or the high one, where the face has a size on that axis; a distance as it is; anything else the centre.
+ */
+export function figureFastenPlaceOf(a) {
+    const at = {};
+    for (const axis of AXES) {
+        const part = a.part[axis];
+        if (part === undefined)
+            continue;
+        const how = a.align[axis];
+        const face = a.face[axis];
+        at[axis] =
+            how === 'min' && face !== undefined
+                ? -(face - part) / 2
+                : how === 'max' && face !== undefined
+                    ? (face - part) / 2
+                    : how && typeof how === 'object'
+                        ? how.mm
+                        : 0;
+    }
+    return at;
+}
+//# sourceMappingURL=fasten-place.js.map

package/dist/fasten-place.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fasten-place.js","sourceRoot":"","sources":["../src/fasten-place.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACtE,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AACjE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAA;AACrF,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAE9E,OAAO,EAAE,IAAI,EAAa,MAAM,YAAY,CAAA;AAU5C;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAmB,EAAE,EAAsB;IAC5E,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAA;IAC5C,IAAI,EAAE,KAAK,OAAO,EAAE,CAAC;QACnB,MAAM,MAAM,GAAS,iBAAiB,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;QACpE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAA;IACvC,CAAC;IACD,MAAM,KAAK,GAAI,KAAK,CAAC,QAAQ,CAAC,KAAiB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAA;IACvG,MAAM,KAAK,GAAG,CAAC,KAAK,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,CAAqB,CAAA;IACrF,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAmB,EACnB,IAAY,EACZ,EAAsB,EACtB,SAAiC,EAAE;IAEnC,MAAM,IAAI,GAAkC,EAAE,CAAA;IAC9C,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,CAAY,CAAA;IACvD,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAA;IAC9B,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA4E,CAAA;IACpH,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAA;IACpE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IACzB,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAA;IACtB,MAAM,MAAM,GAAG,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;IAC/E,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAA;IACxB,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,aAAa,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,MAAgC,CAAA;IAC3I,sDAAsD;IACtD,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC5C,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;IAC3E,MAAM,KAAK,GAAG,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;IACnE,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC5B,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,gBAAgB,CAAC,uBAAuB,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAA6B,EAAE,IAAI,CAAC,EAAE,KAAK,CAAC,CAAA;QACzL,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACjD,MAAM,IAAI,GAAI,KAAiB,CAAC,IAAI,CAAC,CAAA;QACrC,MAAM,EAAE,GAAG,CAAC,KAAwC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,CAAA;QAC3G,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACvD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,CAAA;QACjD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG;YAAE,SAAQ;QACjC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAInC;IACC,MAAM,EAAE,GAAkC,EAAE,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACzB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzB,EAAE,CAAC,IAAI,CAAC;YACN,GAAG,KAAK,KAAK,IAAI,IAAI,KAAK,SAAS;gBACjC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;gBACpB,CAAC,CAAC,GAAG,KAAK,KAAK,IAAI,IAAI,KAAK,SAAS;oBACnC,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC;oBACnB,CAAC,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;wBAC9B,CAAC,CAAC,GAAG,CAAC,EAAE;wBACR,CAAC,CAAC,CAAC,CAAA;IACb,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC"}