@hatiolab/figure-model 0.1.95 → 0.2.0

package/dist/shape-features.d.ts

@@ -0,0 +1,83 @@
+import { type Axis } from './words.ts';
+import { type FigureCavityRefusal, type FigureSection } from './section.ts';
+/** A straight push of a section along one of the part's axes, from `start` to `end` on it (`start < end`), evaluated. */
+export interface FigureExtrusion {
+    axis: Axis;
+    section: FigureSection;
+    start: number;
+    end: number;
+}
+/**
+ * An inside space of an extrusion, parallel to its axis (ADR-0100 §4.3): walls in from each flat side of the section,
+ * and at each end either open -- the cavity reaches that face -- or closed by the thickness left there. Open or closed
+ * is written, never inferred from two numbers happening to agree.
+ */
+export interface FigureCavity {
+    id: string;
+    wall: Record<string, number>;
+    start: 'open' | {
+        closed: number;
+    };
+    end: 'open' | {
+        closed: number;
+    };
+}
+export type FigureFeature = 
+/** A flat face: it can be fastened to. `normal` points out of the material, in the part's frame. */
+{
+    id: string;
+    kind: 'plane';
+    normal: Record<Axis, number>;
+    open?: boolean;
+}
+/** A curved face: never taken for a plane. */
+ | {
+    id: string;
+    kind: 'curved';
+} | {
+    id: string;
+    kind: 'edge';
+} | {
+    id: string;
+    kind: 'point';
+};
+export type FigureExtrusionRefusal = {
+    code: 'SPAN_NOT_POSITIVE';
+} | {
+    code: 'CAVITY';
+    cavity: string;
+    refused: FigureCavityRefusal;
+    side?: string;
+}
+/** The thicknesses left at the two ends leave the cavity no length. */
+ | {
+    code: 'CAVITY_NO_LENGTH';
+    cavity: string;
+} | {
+    code: 'CAVITY_END_NOT_POSITIVE';
+    cavity: string;
+    end: 'start' | 'end';
+}
+/** Only one cavity per part in the first contract (docs/shape-contract.md §3). */
+ | {
+    code: 'CAVITY_COUNT';
+    count: number;
+};
+/**
+ * Every feature of an extrusion and its cavity, or why the pair is not a shape. The section must be valid and written
+ * the kernel's one way (`normalizeFigureSection`): the normals of a drawn section's sides read its winding.
+ *
+ *   start-face / end-face          the two ends; `open` when the cavity reaches through it (its rim is all that is left)
+ *   side-face:<side>               each side of the section pushed along the axis
+ *   edge:start:<side> / edge:end:<side>   where a side meets an end
+ *   edge:<point>                   a drawn section's corner, along the axis; a sharp rectangle's is edge:<corner>
+ *   cavity-wall:<cavity>:<side>    the inside of each wall, facing into the cavity
+ *   cavity-start:<cavity> / cavity-end:<cavity>   the face closing the cavity at that end, when it is closed
+ *   centre                         the middle of the part's span on its axis, at the section's origin
+ */
+export declare function figureExtrusionFeaturesOf(extrusion: FigureExtrusion, cavities?: readonly FigureCavity[]): {
+    features: FigureFeature[];
+} | {
+    refused: FigureExtrusionRefusal;
+};
+//# sourceMappingURL=shape-features.d.ts.map

package/dist/shape-features.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-features.d.ts","sourceRoot":"","sources":["../src/shape-features.ts"],"names":[],"mappings":"AAUA,OAAO,EAAQ,KAAK,IAAI,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,EAIL,KAAK,mBAAmB,EACxB,KAAK,aAAa,EACnB,MAAM,cAAc,CAAA;AAErB,yHAAyH;AACzH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,IAAI,CAAA;IACV,OAAO,EAAE,aAAa,CAAA;IACtB,KAAK,EAAE,MAAM,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;CACZ;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5B,KAAK,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;IAClC,GAAG,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CACjC;AAED,MAAM,MAAM,aAAa;AACvB,oGAAoG;AAClG;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE;AAC7E,8CAA8C;GAC5C;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC9B;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5B;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAA;AAEjC,MAAM,MAAM,sBAAsB,GAC9B;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,mBAAmB,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE;AACjF,uEAAuE;GACrE;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,yBAAyB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,GAAG,KAAK,CAAA;CAAE;AAC3E,kFAAkF;GAChF;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AA4B3C;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,eAAe,EAC1B,QAAQ,GAAE,SAAS,YAAY,EAAO,GACrC;IAAE,QAAQ,EAAE,aAAa,EAAE,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,sBAAsB,CAAA;CAAE,CAuDrE"}

package/dist/shape-features.js

@@ -0,0 +1,102 @@
+/*
+ * Copyright © HatioLab Inc. All rights reserved.
+ */
+/*
+ * The named features of a pushed section (ADR-0100 §4.1.1, docs/shape-contract.md §4): the faces, edges and points
+ * the shape operation itself defines, which a fastening, a joint, a size rule, a material or a capability may refer
+ * to. Their ids come from the section's own point and side names and from the cavity's id -- never from a triangle
+ * number or a place in a list -- so a renderer cannot invent one and an edit that keeps the topology keeps them all.
+ */
+import { AXES } from "./words.js";
+import { FIGURE_SECTION_PLANE, figureCavitySectionOf, figureSectionSidesOf } from "./section.js";
+const vec = (axis, k) => Object.fromEntries(AXES.map(a => [a, a === axis ? k : 0]));
+/** The outward normal of a flat side, in the part's frame. */
+function sideNormal(section, axis, side) {
+    const [u, v] = FIGURE_SECTION_PLANE[axis];
+    if (section.kind !== 'polygon') {
+        const a = side.id.slice(0, -1);
+        return vec(a, side.id.endsWith('+') ? 1 : -1);
+    }
+    /* A counter-clockwise loop seen from +n has the material on its left: the outside is the direction's right turn. */
+    const p = section.points.find(q => q.id === side.from), q = section.points.find(r => r.id === side.to);
+    const du = q[u] - p[u], dv = q[v] - p[v], l = Math.hypot(du, dv);
+    const n = { x: 0, y: 0, z: 0 };
+    n[u] = dv / l || 0;
+    n[v] = -du / l || 0;
+    return n;
+}
+/**
+ * Every feature of an extrusion and its cavity, or why the pair is not a shape. The section must be valid and written
+ * the kernel's one way (`normalizeFigureSection`): the normals of a drawn section's sides read its winding.
+ *
+ *   start-face / end-face          the two ends; `open` when the cavity reaches through it (its rim is all that is left)
+ *   side-face:<side>               each side of the section pushed along the axis
+ *   edge:start:<side> / edge:end:<side>   where a side meets an end
+ *   edge:<point>                   a drawn section's corner, along the axis; a sharp rectangle's is edge:<corner>
+ *   cavity-wall:<cavity>:<side>    the inside of each wall, facing into the cavity
+ *   cavity-start:<cavity> / cavity-end:<cavity>   the face closing the cavity at that end, when it is closed
+ *   centre                         the middle of the part's span on its axis, at the section's origin
+ */
+export function figureExtrusionFeaturesOf(extrusion, cavities = []) {
+    const { axis, section, start, end } = extrusion;
+    if (!(end - start > 0))
+        return { refused: { code: 'SPAN_NOT_POSITIVE' } };
+    if (cavities.length > 1)
+        return { refused: { code: 'CAVITY_COUNT', count: cavities.length } };
+    const cavity = cavities[0];
+    let inner;
+    if (cavity) {
+        const made = figureCavitySectionOf(section, axis, cavity.wall);
+        if ('refused' in made)
+            return {
+                refused: { code: 'CAVITY', cavity: cavity.id, refused: made.refused, ...(made.side ? { side: made.side } : {}) }
+            };
+        inner = made.section;
+        const left = (e) => (e === 'open' ? 0 : e.closed);
+        for (const e of ['start', 'end']) {
+            const at = cavity[e];
+            if (at !== 'open' && !(at.closed > 0))
+                return { refused: { code: 'CAVITY_END_NOT_POSITIVE', cavity: cavity.id, end: e } };
+        }
+        if (!(end - start - left(cavity.start) - left(cavity.end) > 0))
+            return { refused: { code: 'CAVITY_NO_LENGTH', cavity: cavity.id } };
+    }
+    const sides = figureSectionSidesOf(section, axis);
+    const features = [
+        { id: 'start-face', kind: 'plane', normal: vec(axis, -1), ...(cavity?.start === 'open' ? { open: true } : {}) },
+        { id: 'end-face', kind: 'plane', normal: vec(axis, 1), ...(cavity?.end === 'open' ? { open: true } : {}) }
+    ];
+    for (const s of sides) {
+        features.push(s.shape === 'flat'
+            ? { id: `side-face:${s.id}`, kind: 'plane', normal: sideNormal(section, axis, s) }
+            : { id: `side-face:${s.id}`, kind: 'curved' });
+        features.push({ id: `edge:start:${s.id}`, kind: 'edge' }, { id: `edge:end:${s.id}`, kind: 'edge' });
+    }
+    if (section.kind === 'polygon')
+        for (const p of section.points)
+            features.push({ id: `edge:${p.id}`, kind: 'edge' });
+    else if (section.kind === 'rectangle' && !sides.some(s => s.shape === 'curved')) {
+        const [a, b] = [...FIGURE_SECTION_PLANE[axis]].sort();
+        for (const sa of ['-', '+'])
+            for (const sb of ['-', '+'])
+                features.push({ id: `edge:${a}${sa}${b}${sb}`, kind: 'edge' });
+    }
+    if (cavity && inner) {
+        for (const s of figureSectionSidesOf(inner, axis)) {
+            const id = `cavity-wall:${cavity.id}:${s.id}`;
+            if (s.shape === 'curved')
+                features.push({ id, kind: 'curved' });
+            else {
+                const out = sideNormal(inner, axis, s);
+                features.push({ id, kind: 'plane', normal: { x: -out.x || 0, y: -out.y || 0, z: -out.z || 0 } });
+            }
+        }
+        if (cavity.start !== 'open')
+            features.push({ id: `cavity-start:${cavity.id}`, kind: 'plane', normal: vec(axis, 1) });
+        if (cavity.end !== 'open')
+            features.push({ id: `cavity-end:${cavity.id}`, kind: 'plane', normal: vec(axis, -1) });
+    }
+    features.push({ id: 'centre', kind: 'point' });
+    return { features };
+}
+//# sourceMappingURL=shape-features.js.map

package/dist/shape-features.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-features.js","sourceRoot":"","sources":["../src/shape-features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;GAKG;AACH,OAAO,EAAE,IAAI,EAAa,MAAM,YAAY,CAAA;AAC5C,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EAGrB,MAAM,cAAc,CAAA;AAuCrB,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,CAAS,EAAwB,EAAE,CAC1D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAyB,CAAA;AAEpF,8DAA8D;AAC9D,SAAS,UAAU,CACjB,OAAsB,EACtB,IAAU,EACV,IAAgD;IAEhD,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAS,CAAA;QACtC,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,CAAC;IACD,oHAAoH;IACpH,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAE,EACrD,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAE,CAAA;IACjD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,EACtB,EAAE,GAAG,CAAC,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC,CAAE,EAClB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACxB,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;IAC9B,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;IACnB,OAAO,CAAC,CAAA;AACV,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAA0B,EAC1B,WAAoC,EAAE;IAEtC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,SAAS,CAAA;IAC/C,IAAI,CAAC,CAAC,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,CAAA;IACzE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAA;IAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;IAC1B,IAAI,KAAgC,CAAA;IACpC,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC9D,IAAI,SAAS,IAAI,IAAI;YACnB,OAAO;gBACL,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;aACjH,CAAA;QACH,KAAK,GAAG,IAAI,CAAC,OAAO,CAAA;QACpB,MAAM,IAAI,GAAG,CAAC,CAAwB,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAU,EAAE,CAAC;YAC1C,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;YACpB,IAAI,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,yBAAyB,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAA;QACtF,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,GAAG,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5D,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,CAAA;IACvE,CAAC;IACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IACjD,MAAM,QAAQ,GAAoB;QAChC,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QAC/G,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAC3G,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,KAAK,KAAK,MAAM;YAChB,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;YAClF,CAAC,CAAC,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAChD,CAAA;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;IACrG,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;QAAE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;SAC9G,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,EAAE,CAAC;QAChF,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAkB,CAAA;QACrE,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YACzB,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;IAC/F,CAAC;IACD,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC,IAAI,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,EAAE,GAAG,eAAe,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,CAAA;YAC7C,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;iBAC1D,CAAC;gBACJ,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;gBACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YAClG,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,gBAAgB,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;QACpH,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,cAAc,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACnH,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;IAC9C,OAAO,EAAE,QAAQ,EAAE,CAAA;AACrB,CAAC"}

package/dist/shape-ops.d.ts

@@ -0,0 +1,154 @@
+import { type FigureSection } from './section.ts';
+import { type FigureCavity } from './shape-features.ts';
+import { type Axis } from './words.ts';
+type Dynamic = any;
+/** The words the part's outer faces go by, low then high, along each of its own axes. */
+export declare const FIGURE_OUTER_FACES: Readonly<Record<Axis, readonly [string, string]>>;
+/** Where a flat face lies: along one of the shape's axes, facing one way, at a sum of its arguments times factors. */
+export interface FigureShapeFace {
+    axis: Axis;
+    normal: 1 | -1;
+    plane: ReadonlyArray<{
+        arg: number;
+        k: number;
+    }>;
+    /**
+     * `line`: the plane touches a curved side at its extreme -- a cylinder's side (Q3). A part fastened to it touches it
+     * along a line, and the screen says so; it is not a surface to hold things on.
+     */
+    contact?: 'line';
+}
+/** A term of a measure: an argument times a factor (a radius is half a width). */
+export type FigureShapeTerm = {
+    arg: number;
+    k: number;
+};
+export type FigureShapeEdit = {
+    arg: number;
+    k: number;
+    with?: readonly number[];
+    sameAs?: Axis;
+} | {
+    refused: FigureShapeEditRefusal;
+};
+/** Why an axis cannot be edited by a size: its reach is a drawn section's points. */
+export type FigureShapeEditRefusal = 'SECTION_CORNERS' | 'NO_MEASURE';
+/**
+ * What a shape node offers the commands that size and place a part (ADR-0097 §6, ADR-0100 §4.2): how far it reaches
+ * along each of its own axes, how a size edits it, and its flat faces by name.
+ */
+export interface FigureShapeDescription {
+    /** Along each axis, candidates whose largest is the reach, or `profile` when a drawn section's points are the reach. */
+    measure: Readonly<Record<Axis, ReadonlyArray<FigureShapeTerm> | 'profile'>>;
+    edit: Readonly<Record<Axis, FigureShapeEdit>>;
+    faces: Readonly<Record<string, FigureShapeFace>>;
+    /** What a person calls it, for messages: 상자, 원기둥 … */
+    kind: 'rectangle' | 'ellipse' | 'polygon' | 'portal' | 'sphere' | 'taper';
+}
+export type FigureSectionKind = 'rectangle' | 'ellipse' | 'polygon' | 'portal';
+export declare const FIGURE_SECTION_KINDS: readonly FigureSectionKind[];
+/** Which argument is which, for one extrude node -- from its params alone. */
+export interface FigureExtrudeLayout {
+    axis: Axis;
+    /** The two plane axes in name order: `x, z` for a push along Y. */
+    plane: readonly [Axis, Axis];
+    section: FigureSectionKind;
+    points: readonly string[];
+    rounded: boolean;
+    cavity?: {
+        id: string;
+        start: 'open' | 'closed';
+        end: 'open' | 'closed';
+    };
+    arg: {
+        start: 0;
+        length: 1;
+        /** rectangle: size; ellipse: radius; portal: width along the first plane axis, height along the second. */
+        across?: Partial<Record<Axis, number>>;
+        corner?: Partial<Record<Axis, number>>;
+        /** portal: its jambs' and head's thickness. */
+        jamb?: number;
+        head?: number;
+        point?: Record<string, Partial<Record<Axis, number>>>;
+        wall?: Record<string, number>;
+        startClosed?: number;
+        endClosed?: number;
+    };
+    count: number;
+}
+/** Read an extrude node's params into its layout, or fail naming what is wrong. */
+export declare function figureExtrudeLayoutOf(params: Record<string, string> | undefined, path: string): FigureExtrudeLayout;
+export type FigureRevolveProfile = 'half-ellipse' | 'taper';
+/** The shape operators, by name. */
+export declare const FIGURE_SHAPE_OPERATOR_NAMES: readonly string[];
+/**
+ * What a shape node offers, or undefined for a node that is not a shape. Given the graph, a centred push's ends are
+ * written as ±half its length (`endsOf`); the planes are the same either way.
+ */
+export declare function figureShapeDescriptionOf(node: {
+    op: string;
+    id?: string;
+    args?: readonly string[];
+    params?: Record<string, string>;
+} | undefined, model?: {
+    nodes: readonly unknown[];
+    constants: readonly unknown[];
+}): FigureShapeDescription | undefined;
+/**
+ * An evaluated shape. `dimensions` are its numbers by name -- what a cache keys and a message reads; `extrusion` and
+ * `revolution` are its meaning, which a renderer draws; `faces` are where its flat faces lie, which a reader of a named
+ * face needs without knowing the operation.
+ */
+export interface FigureEvaluatedShape {
+    provider: 'extrude' | 'revolve';
+    dimensions: Record<string, number>;
+    extrusion?: {
+        axis: Axis;
+        section: FigureSection;
+        start: number;
+        end: number;
+    };
+    cavity?: FigureCavity;
+    revolution?: {
+        axis: Axis;
+        profile: {
+            kind: 'half-ellipse';
+            radial: number;
+            axial: number;
+        } | {
+            kind: 'taper';
+            start: number;
+            end: number;
+            startRadius: number;
+            endRadius: number;
+        };
+    };
+    faces: Record<string, {
+        axis: Axis;
+        normal: 1 | -1;
+        at: number;
+    }>;
+}
+/** The two operators, in the graph's operator shape. */
+export declare const FIGURE_SHAPE_OPERATORS: Record<string, Dynamic>;
+/** How far an evaluated shape reaches along each of its own axes: least and most, in its own frame. */
+export declare function figureShapeBoundsOf(shape: FigureEvaluatedShape): Record<Axis, {
+    min: number;
+    max: number;
+}>;
+/**
+ * How far a turned shape reaches along a direction `d` (a unit vector in the shape's frame), from its own origin: the
+ * support function. A box's is the sum over its corners; a round body's is its axis half-length times how much it
+ * points along `d` plus its section's own reach -- a wheel at 45° is not its square's diagonal (the forklift, 2026-09).
+ */
+export declare function figureShapeSupportOf(shape: FigureEvaluatedShape, d: readonly [number, number, number]): {
+    max: number;
+    min: number;
+};
+/**
+ * Where a named feature of an evaluated shape sits, in its own frame: the middle of the face (of the inside, for an
+ * inside face), the middle of the shape for `centre`, and for a sphere, which has no flat face, its six extremes.
+ */
+export declare function figureShapeFeaturePointOf(shape: FigureEvaluatedShape, name: string): [number, number, number] | undefined;
+export {};
+//# sourceMappingURL=shape-ops.d.ts.map

package/dist/shape-ops.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-ops.d.ts","sourceRoot":"","sources":["../src/shape-ops.ts"],"names":[],"mappings":"AAcA,OAAO,EAA4C,KAAK,aAAa,EAA2B,MAAM,cAAc,CAAA;AACpH,OAAO,EAA6B,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClF,OAAO,EAAQ,KAAK,IAAI,EAAE,MAAM,YAAY,CAAA;AAE5C,KAAK,OAAO,GAAG,GAAG,CAAA;AAMlB,yFAAyF;AACzF,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAI/E,CAAA;AAEF,sHAAsH;AACtH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,IAAI,CAAA;IACV,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;IACd,KAAK,EAAE,aAAa,CAAC;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAChD;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,kFAAkF;AAClF,MAAM,MAAM,eAAe,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAExD,MAAM,MAAM,eAAe,GAMzB;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,sBAAsB,CAAA;CAAE,CAAA;AAE3G,qFAAqF;AACrF,MAAM,MAAM,sBAAsB,GAAG,iBAAiB,GAAG,YAAY,CAAA;AAErE;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,wHAAwH;IACxH,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,SAAS,CAAC,CAAC,CAAA;IAC3E,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAA;IAC7C,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;IAChD,sDAAsD;IACtD,IAAI,EAAE,WAAW,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAA;CAC1E;AAID,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAA;AAC9E,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAAkD,CAAA;AAE/G,8EAA8E;AAC9E,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,IAAI,CAAA;IACV,mEAAmE;IACnE,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAC5B,OAAO,EAAE,iBAAiB,CAAA;IAC1B,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IACzB,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC;QAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAAA;KAAE,CAAA;IACzE,GAAG,EAAE;QACH,KAAK,EAAE,CAAC,CAAA;QACR,MAAM,EAAE,CAAC,CAAA;QACT,2GAA2G;QAC3G,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QACtC,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;QACtC,+CAA+C;QAC/C,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,IAAI,CAAC,EAAE,MAAM,CAAA;QACb,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;QACrD,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC7B,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,SAAS,CAAC,EAAE,MAAM,CAAA;KACnB,CAAA;IACD,KAAK,EAAE,MAAM,CAAA;CACd;AAID,mFAAmF;AACnF,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,mBAAmB,CA6CnH;AAuID,MAAM,MAAM,oBAAoB,GAAG,cAAc,GAAG,OAAO,CAAA;AAqD3D,oCAAoC;AACpC,eAAO,MAAM,2BAA2B,EAAE,SAAS,MAAM,EAA+B,CAAA;AAExF;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,SAAS,EACxG,KAAK,CAAC,EAAE;IAAE,KAAK,EAAE,SAAS,OAAO,EAAE,CAAC;IAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,GACnE,sBAAsB,GAAG,SAAS,CAIpC;AAID;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,SAAS,GAAG,SAAS,CAAA;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,SAAS,CAAC,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,OAAO,EAAE,aAAa,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9E,MAAM,CAAC,EAAE,YAAY,CAAA;IACrB,UAAU,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAA;QACV,OAAO,EACH;YAAE,IAAI,EAAE,cAAc,CAAC;YAAC,MAAM,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,GACvD;YAAE,IAAI,EAAE,OAAO,CAAC;YAAC,KAAK,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAC;YAAC,WAAW,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAA;KAC1F,CAAA;IACD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,IAAI,CAAC;QAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAClE;AAkLD,wDAAwD;AACxD,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAwB1D,CAAA;AAID,uGAAuG;AACvG,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,oBAAoB,GAAG,MAAM,CAAC,IAAI,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CA4B3G;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,oBAAoB,EAC3B,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GACnC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAuC9B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,oBAAoB,EAC3B,IAAI,EAAE,MAAM,GACX,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAmCtC"}