@hatiolab/figure-model 0.1.93 → 0.1.95

package/dist/resize-plan.js

@@ -0,0 +1,189 @@
+import { applyFigureAuthoring } from "./authoring-actions.js";
+import { figurePlacementOf, upgradeFigurePlacement } from "./asset.js";
+import { compileFigureGraph } from "./graph.js";
+import { figurePartsExtentOf } from "./gate.js";
+import { defaultInstanceSizeRange, foldInstanceSizeRange, figureInstanceSizeLimitsOf, FIGURE_INSTANCE_SIZE_INPUTS } from "./instance-size.js";
+import { figureFollowOf } from "./follow.js";
+import { figureShapeProviderOf, figureFollowableAxesOf } from "./shape-provider.js";
+import { AXES } from "./words.js";
+/** The face each placement keeps, and the axis the plane faces along. The ceiling and the floor are Y = 0, a wall Z = 0. */
+export const KEPT_FACE = {
+    floor: { face: 'bottom', normal: 'y', outward: 1 },
+    ceiling: { face: 'top', normal: 'y', outward: -1 },
+    wall: { face: 'back', normal: 'z', outward: 1 },
+    center: undefined
+};
+const round6 = (v) => Math.round(v * 1e6) / 1e6;
+export function planFigureResize(asset, request) {
+    asset = upgradeFigurePlacement(asset);
+    const mode = figurePlacementOf(asset);
+    const kept = KEPT_FACE[mode];
+    const plan = { part: request.part, mode, ...(kept ? { face: kept.face } : {}), steps: [], keeps: [], replaces: [], moves: [], roomReads: [] };
+    const refuse = (code, reason, choice, about = {}) => ({
+        ...plan,
+        steps: [],
+        keeps: [],
+        replaces: [],
+        moves: [],
+        roomReads: [],
+        refusal: { code, reason, ...(choice ? { choice } : {}), ...about }
+    });
+    const m = asset.document.model;
+    const node = (id) => m.nodes.find((n) => n.id === id);
+    const part = request.part;
+    const place = node(part);
+    if (!place || (place.op !== 'place@1' && place.op !== 'member@1'))
+        return refuse('TARGET_ABSENT', `${part} is not a part`);
+    if (place.op === 'member@1')
+        return refuse('HELD', `${part} is a copy in a row; its row places it`);
+    const shape = m.nodes.find((n) => Object.values(n.outputs ?? {}).includes(place.args[0]));
+    const pose = node(`${part}.pose`);
+    if (!shape || pose?.op !== 'rigid@1')
+        return refuse('TARGET_ABSENT', `${part} has no shape and pose this plan can read`);
+    /* What the author set stays theirs: a joint, a fastening, a figure that grows by one ratio. */
+    const joint = (asset.joints ?? []).find((j) => j.body1?.part === part);
+    if (joint)
+        return refuse('HELD', `${part} is fastened (${joint.id}); edit that joint to change how it stands`);
+    if (node(`${part}.chain`) || node(`${part}.seat.rigid`))
+        return refuse('HELD', `${part} is fastened; edit its fastening to change how it stands`);
+    if (asset.sizing === 'uniform')
+        return refuse('UNIFORM_POLICY', 'this figure grows by one ratio; change that policy before giving a part its own size rule');
+    const values = compileFigureGraph(m).evaluate({ ...asset.designInputs, ...asset.stateDefaults }).values;
+    const input = (ref) => m.inputs.find((i) => i.id === ref);
+    const constant = (ref) => m.constants.find((c) => c.id === ref);
+    const turn = pose.args.slice(3, 6).map(ref => (constant(ref) ? constant(ref).value : input(ref)?.role === 'design' ? asset.designInputs[ref] : undefined));
+    if (turn.some(t => t !== 0))
+        return refuse('TURNED', `${part} is turned (${turn.map((t, i) => `${AXES[i].toUpperCase()} ${t ?? '?'}°`).join(', ')}); this plan does not turn or fix a turn`);
+    /* The measures: what the shape can edit, each read back as it is worked out now. */
+    const provider = figureShapeProviderOf(shape.op);
+    const editable = figureFollowableAxesOf(shape.op);
+    const axes = request.axes ?? editable;
+    if (!axes.length)
+        return refuse('SHAPE_EDIT', `${part} is a ${shape.op}; following the figure's size is not offered for it`);
+    for (const axis of axes) {
+        if (!editable.includes(axis))
+            return refuse('SHAPE_EDIT', `${part} is a ${shape.op}; following the figure's size along ${axis} is not offered for it`);
+        const edit = provider.edit[axis];
+        /*
+          Linking reads a shape's measure along X, Y and Z at its first three arguments. Shapes whose measure is elsewhere or
+          moves with another (an elliptic cylinder's length, a frustum's two ends) are not linked by this plan yet.
+        */
+        if (edit.arg !== AXES.indexOf(axis) || edit.with?.length)
+            return refuse('SHAPE_EDIT', `${part} is a ${shape.op}; following the size along ${axis} is not supported for it yet`);
+    }
+    const link = [];
+    const stopsReading = [];
+    for (const axis of axes) {
+        const now = figureFollowOf(asset, part, axis);
+        if (now.of === 'own') {
+            link.push(axis);
+            const was = node(`${part}.dimension.${axis}`)?.args?.[0] ?? shape.args[AXES.indexOf(axis)];
+            if (input(was))
+                stopsReading.push(was);
+        }
+        else if (now.of === 'instance' && now.axis === axis)
+            plan.keeps.push(`${part}.${axis} follows size.${axis}`);
+        else
+            return refuse('DIMENSION_RULE', `${part}'s ${axis} follows ${now.of === 'input' ? now.input : now.of === 'part' ? `${now.part}'s ${now.axis}` : now.of === 'instance' ? `size.${now.axis}` : 'a rule of its own'}; edit that rule itself to change it`);
+    }
+    /* The fastening: the kept face at the gap it has now, and the place across the plane as the author set it. */
+    let fasten;
+    if (kept) {
+        const face = provider?.faces[kept.face];
+        if (!face || face.axis !== kept.normal)
+            return refuse('NO_FACE', `${part} is a ${shape.op}; it has no flat ${kept.face} face to keep on the ${mode === 'wall' ? 'wall' : mode}`);
+        const at = (axis) => values[pose.args[AXES.indexOf(axis)]];
+        const plane = face.plane.reduce((sum, p) => sum + p.k * values[shape.args[p.arg]], 0);
+        /* How far the face stands out of the plane: a bottom above the floor, a top below the ceiling, a back off the wall. */
+        let gap = round6(kept.outward * (at(kept.normal) + plane));
+        /* Touching, it is fastened as it is. Off the plane or through it, the author says which: both are meant sometimes. */
+        if (gap !== 0) {
+            if (request.gap === undefined)
+                return refuse('GAP_CHOICE', `${part}'s ${kept.face} is ${gap > 0 ? `${gap} mm off` : `${-gap} mm through`} the ${mode}; keep that distance, or bring it onto the plane`, 'gap', { axis: kept.normal, mm: gap });
+            if (request.gap === 'plane') {
+                plan.moves.push({ axis: kept.normal, from: round6(at(kept.normal)), to: round6(at(kept.normal) - kept.outward * gap) });
+                gap = 0;
+            }
+            else if (request.gap !== 'keep')
+                return refuse('COMMAND_REFUSED', `${String(request.gap)} is neither keep nor plane`);
+        }
+        const normalRef = pose.args[AXES.indexOf(kept.normal)];
+        const ownField = (ref) => ref.startsWith(`${part}.`) && input(ref)?.role === 'design';
+        if (!constant(normalRef) && !ownField(normalRef) && !request.replacePosition)
+            return refuse('POSITION_RULE', `${part}'s ${kept.normal} position is worked out from ${input(normalRef) ? normalRef : 'an expression'}; keeping its ${kept.face} on the plane replaces that`, 'replacePosition', { axis: kept.normal });
+        if (input(normalRef))
+            plan.replaces.push(normalRef);
+        const align = {};
+        for (const axis of AXES.filter(a => a !== kept.normal)) {
+            const ref = pose.args[AXES.indexOf(axis)];
+            if (constant(ref))
+                align[axis] = { mm: constant(ref).value };
+            else if (input(ref)?.role === 'design') {
+                align[axis] = { mm: { from: { of: 'input', input: ref } } };
+                plan.keeps.push(ref);
+            }
+            else if (request.replacePosition)
+                align[axis] = { mm: round6(at(axis)) };
+            else
+                return refuse('POSITION_RULE', `${part}'s ${axis} position is worked out from an expression; fastening it would fix it at ${round6(at(axis))}`, 'replacePosition', { axis });
+        }
+        /*
+          A fastened part's turn is its joint record's (ADR-0093): its own turn fields give way to it, at the turn they hold
+          now -- nothing turns, but the fields go, and the plan says so before it is applied (browser check 2026-09-27).
+        */
+        for (const ref of pose.args.slice(3, 6))
+            if (input(ref))
+                plan.replaces.push(ref);
+        fasten = { kind: 'attach', part, face: kept.face, to: { plane: 'mounting-plane' }, ...(gap ? { gap } : {}), align };
+    }
+    else
+        plan.keeps.push(...pose.args.slice(0, 3).filter(ref => input(ref)));
+    /* Worked out on a copy, in the order the commands need: a size to follow, the measures, then the face. */
+    let candidate = asset;
+    const step = (s) => {
+        candidate = applyFigureAuthoring(candidate, s);
+        plan.steps.push(s);
+    };
+    try {
+        const declared = AXES.filter(axis => asset.document.model.inputs.some((i) => i.id === FIGURE_INSTANCE_SIZE_INPUTS[axis]));
+        if (link.length && declared.length < 3) {
+            const at = figurePartsExtentOf(asset);
+            const start = defaultInstanceSizeRange(at);
+            const range = foldInstanceSizeRange(start, figureInstanceSizeLimitsOf(asset, start)).range;
+            step({ kind: 'declare-instance-size', at, range, replace: declared.length > 0 });
+        }
+        for (const axis of link) {
+            const measure = values[shape.args[AXES.indexOf(axis)]];
+            const size = candidate.designInputs[FIGURE_INSTANCE_SIZE_INPUTS[axis]];
+            step({ kind: 'link-dimension', part, axis, source: { of: 'instance', axis }, times: measure / size, narrowRange: true });
+        }
+        if (fasten)
+            step(fasten);
+        plan.roomReads = [...stopsReading, ...plan.replaces].filter(roomReading(candidate));
+    }
+    catch (e) {
+        const error = e;
+        return refuse('COMMAND_REFUSED', `${error.code ?? ''} ${String(error.message ?? e)}`.trim());
+    }
+    return plan;
+}
+/** Whether the declared room is worked out from a value: the room's bounds, followed back through the graph. */
+function roomReading(asset) {
+    const m = asset.document.model;
+    const bounds = asset.occupancy?.bounds;
+    const read = new Set();
+    const walk = (ref) => {
+        if (read.has(ref))
+            return;
+        read.add(ref);
+        const writer = m.nodes.find((n) => Object.values(n.outputs ?? {}).includes(ref));
+        for (const arg of writer?.args ?? [])
+            walk(arg);
+    };
+    for (const axis of AXES)
+        if (bounds?.[axis])
+            for (const end of ['min', 'max'])
+                walk(bounds[axis][end]);
+    return ref => read.has(ref);
+}
+//# sourceMappingURL=resize-plan.js.map

package/dist/resize-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resize-plan.js","sourceRoot":"","sources":["../src/resize-plan.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAC7D,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAA;AAC7I,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AACnF,OAAO,EAAE,IAAI,EAAa,MAAM,YAAY,CAAA;AA+D5C,4HAA4H;AAC5H,MAAM,CAAC,MAAM,SAAS,GAA6F;IACjH,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE;IAClD,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE;IAClD,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE;IAC/C,MAAM,EAAE,SAAS;CAClB,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAA;AAEvD,MAAM,UAAU,gBAAgB,CAAC,KAAkB,EAAE,OAA4B;IAC/E,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC5B,MAAM,IAAI,GAAqB,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;IAC/J,MAAM,MAAM,GAAG,CAAC,IAA6B,EAAE,MAAc,EAAE,MAAkC,EAAE,QAAsC,EAAE,EAAoB,EAAE,CAAC,CAAC;QACjK,GAAG,IAAI;QACP,KAAK,EAAE,EAAE;QACT,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE;KACnE,CAAC,CAAA;IAEF,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAgB,CAAA;IACzC,MAAM,IAAI,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;IACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;IACxB,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,eAAe,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAA;IAC1H,IAAI,KAAK,CAAC,EAAE,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,wCAAwC,CAAC,CAAA;IACnG,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAClG,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,CAAA;IACjC,IAAI,CAAC,KAAK,IAAI,IAAI,EAAE,EAAE,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,eAAe,EAAE,GAAG,IAAI,2CAA2C,CAAC,CAAA;IAExH,+FAA+F;IAC/F,MAAM,KAAK,GAAG,CAAE,KAAiB,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,IAAI,CAAC,CAAA;IAC5F,IAAI,KAAK;QAAE,OAAO,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,iBAAiB,KAAK,CAAC,EAAE,4CAA4C,CAAC,CAAA;IAC9G,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,IAAI,aAAa,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,0DAA0D,CAAC,CAAA;IACjJ,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAC5B,OAAO,MAAM,CAAC,gBAAgB,EAAE,2FAA2F,CAAC,CAAA;IAE9H,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,MAAgC,CAAA;IACjI,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAA;IAC1E,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAA;IAChF,MAAM,IAAI,GAAI,IAAI,CAAC,IAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;IACxK,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,MAAM,CAAC,QAAQ,EAAE,GAAG,IAAI,eAAe,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAA;IAElK,oFAAoF;IACpF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAChD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACjD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,QAAQ,CAAA;IACrC,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI,SAAS,KAAK,CAAC,EAAE,qDAAqD,CAAC,CAAA;IAC5H,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI,SAAS,KAAK,CAAC,EAAE,uCAAuC,IAAI,wBAAwB,CAAC,CAAA;QACtJ,MAAM,IAAI,GAAG,QAAS,CAAC,IAAI,CAAC,IAAI,CAA8C,CAAA;QAC9E;;;UAGE;QACF,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM;YAAE,OAAO,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI,SAAS,KAAK,CAAC,EAAE,8BAA8B,IAAI,8BAA8B,CAAC,CAAA;IACjL,CAAC;IACD,MAAM,IAAI,GAAW,EAAE,CAAA;IACvB,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;QAC7C,IAAI,GAAG,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACf,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,cAAc,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;YAC1F,IAAI,KAAK,CAAC,GAAG,CAAC;gBAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACxC,CAAC;aACI,IAAI,GAAG,CAAC,EAAE,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,iBAAiB,IAAI,EAAE,CAAC,CAAA;;YACvG,OAAO,MAAM,CAAC,gBAAgB,EAAE,GAAG,IAAI,MAAM,IAAI,YAAY,GAAG,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,sCAAsC,CAAC,CAAA;IAC9P,CAAC;IAED,8GAA8G;IAC9G,IAAI,MAAyC,CAAA;IAC7C,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,IAAI,GAAG,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,SAAS,KAAK,CAAC,EAAE,oBAAoB,IAAI,CAAC,IAAI,wBAAwB,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QAChL,MAAM,EAAE,GAAG,CAAC,IAAU,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,CAAA;QACjE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC,CAAC,CAAA;QACtF,uHAAuH;QACvH,IAAI,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;QAC1D,sHAAsH;QACtH,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACd,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;gBAC3B,OAAO,MAAM,CAAC,YAAY,EAAE,GAAG,IAAI,MAAM,IAAI,CAAC,IAAI,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,QAAQ,IAAI,kDAAkD,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAA;YACjN,IAAI,OAAO,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;gBAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,CAAA;gBACvH,GAAG,GAAG,CAAC,CAAA;YACT,CAAC;iBAAM,IAAI,OAAO,CAAC,GAAG,KAAK,MAAM;gBAAE,OAAO,MAAM,CAAC,iBAAiB,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAA;QACzH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAW,CAAA;QAChE,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,QAAQ,CAAA;QAC7F,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe;YAC1E,OAAO,MAAM,CAAC,eAAe,EAAE,GAAG,IAAI,MAAM,IAAI,CAAC,MAAM,gCAAgC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,iBAAiB,IAAI,CAAC,IAAI,6BAA6B,EAAE,iBAAiB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;QACzO,IAAI,KAAK,CAAC,SAAS,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACnD,MAAM,KAAK,GAA+C,EAAE,CAAA;QAC5D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAW,CAAA;YACnD,IAAI,QAAQ,CAAC,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAA;iBACvD,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAA;gBAC3D,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACtB,CAAC;iBAAM,IAAI,OAAO,CAAC,eAAe;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAA;;gBACrE,OAAO,MAAM,CAAC,eAAe,EAAE,GAAG,IAAI,MAAM,IAAI,4EAA4E,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,iBAAiB,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;QACnL,CAAC;QACD;;;UAGE;QACF,KAAK,MAAM,GAAG,IAAK,IAAI,CAAC,IAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,IAAI,KAAK,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC9F,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAA;IACrH,CAAC;;QAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAI,IAAI,CAAC,IAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAExF,0GAA0G;IAC1G,IAAI,SAAS,GAAG,KAAK,CAAA;IACrB,MAAM,IAAI,GAAG,CAAC,CAAwB,EAAE,EAAE;QACxC,SAAS,GAAG,oBAAoB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC,CAAA;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAE,KAAK,CAAC,QAAQ,CAAC,KAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAC/I,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,EAAE,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAA;YACrC,MAAM,KAAK,GAAG,wBAAwB,CAAC,EAAE,CAAC,CAAA;YAC1C,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,EAAE,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;YAC1F,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAA;QAClF,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAE,CAAA;YACvD,MAAM,IAAI,GAAG,SAAS,CAAC,YAAY,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAE,CAAA;YACvE,IAAI,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAA;QAC1H,CAAC;QACD,IAAI,MAAM;YAAE,IAAI,CAAC,MAAM,CAAC,CAAA;QACxB,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAA;IACrF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,KAAK,GAAG,CAAwC,CAAA;QACtD,OAAO,MAAM,CAAC,iBAAiB,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,gHAAgH;AAChH,SAAS,WAAW,CAAC,KAAkB;IACrC,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAgB,CAAA;IACzC,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,MAAiB,CAAA;IACjD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,EAAE;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAM;QACzB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;QACzF,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,IAAI,IAAI,EAAE;YAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IACjD,CAAC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,IAAI;QAAE,IAAI,MAAM,EAAE,CAAC,IAAI,CAAC;YAAE,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACtG,OAAO,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;AAC7B,CAAC"}

package/dist/room.d.ts

@@ -0,0 +1,53 @@
+import type { FigureAsset } from './asset-types.ts';
+import type { FigureAuthoringAction } from './authoring-actions.ts';
+import { type Axis } from './words.ts';
+type Bounds = Record<Axis, {
+    min: number;
+    max: number;
+}>;
+/**
+ * Design inputs the declared room reads and nothing drawn does: a part's old position or size, left when a rule took
+ * its place, which the room was measured from. They move no part; typing into one changes only the room. With `part`,
+ * only that part's own (`<part>.…`).
+ */
+export declare function figureRoomOnlyInputsOf(asset: FigureAsset, part?: string): string[];
+export interface FigureRoomRefit {
+    /** The command that declares the room again from the parts, as proposed now: apply it only when the author confirms. */
+    step: Extract<FigureAuthoringAction, {
+        kind: 'declare-occupancy';
+    }>;
+    /** The room as declared and as proposed, at the authored size and, when the figure declares its size, at the largest. */
+    declared: {
+        authored: Bounds;
+        largest?: Bounds;
+    };
+    proposed: {
+        authored: Bounds;
+        largest?: Bounds;
+    };
+    /** Parts the release gate finds outside each room, and how it checked: proven over the range, or sampled. */
+    /** Inputs that confirming removes: read by nothing once the room is declared again -- a part's old position or size. */
+    drops: string[];
+    outside: {
+        declared: FigureRoomFinding;
+        proposed: FigureRoomFinding;
+    };
+}
+/** A part outside the room: on which axis, and by how much at worst. */
+export type FigureRoomOutside = {
+    part: string;
+    axis: Axis;
+    mm: number;
+};
+/** The parts outside, and how the gate checked: `proven` over the whole range, or `sampled` at `states` states. */
+export type FigureRoomFinding = {
+    parts: FigureRoomOutside[];
+    coverage: {
+        method: 'proven' | 'sampled' | 'defaults';
+        states: number;
+    };
+};
+/** What declaring the room again would change, or undefined for a figure with no room declared. */
+export declare function figureRoomRefitOf(asset: FigureAsset): FigureRoomRefit | undefined;
+export {};
+//# sourceMappingURL=room.d.ts.map

package/dist/room.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"room.d.ts","sourceRoot":"","sources":["../src/room.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAA;AAKnE,OAAO,EAAQ,KAAK,IAAI,EAAE,MAAM,YAAY,CAAA;AAG5C,KAAK,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAoBxD;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAiBlF;AAED,MAAM,WAAW,eAAe;IAC9B,wHAAwH;IACxH,IAAI,EAAE,OAAO,CAAC,qBAAqB,EAAE;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC,CAAA;IACnE,yHAAyH;IACzH,QAAQ,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAChD,QAAQ,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IAChD,6GAA6G;IAC7G,wHAAwH;IACxH,KAAK,EAAE,MAAM,EAAE,CAAA;IACf,OAAO,EAAE;QAAE,QAAQ,EAAE,iBAAiB,CAAC;QAAC,QAAQ,EAAE,iBAAiB,CAAA;KAAE,CAAA;CACtE;AACD,wEAAwE;AACxE,MAAM,MAAM,iBAAiB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AACxE,mHAAmH;AACnH,MAAM,MAAM,iBAAiB,GAAG;IAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAAC,QAAQ,EAAE;QAAE,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAA;AAEvI,mGAAmG;AACnG,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,eAAe,GAAG,SAAS,CAgCjF"}

package/dist/room.js

@@ -0,0 +1,90 @@
+/*
+ * The declared room, read for the author (ADR-0097 §6): which inputs only the room still reads, and what declaring it
+ * again from the parts would change. The room is never widened or rewritten as a side effect of another command; a
+ * person sees the room as declared and as proposed, and what the gate finds outside each, before confirming.
+ */
+import { upgradeFigurePlacement } from "./asset.js";
+import { applyFigureAuthoring, proposeFigureOccupancy } from "./authoring-actions.js";
+import { compileFigureGraph } from "./graph.js";
+import { inspectFigureAsset } from "./gate.js";
+import { FIGURE_INSTANCE_SIZE_INPUTS } from "./instance-size.js";
+import { AXES } from "./words.js";
+const stringsIn = (value) => typeof value === 'string' ? [value] : Array.isArray(value) ? value.flatMap(stringsIn) : value && typeof value === 'object' ? Object.values(value).flatMap(stringsIn) : [];
+/** Every value a set of references is worked out from, inputs included. */
+function readFrom(m, from) {
+    const writers = new Map();
+    for (const n of m.nodes)
+        for (const ref of Object.values(n.outputs ?? {}))
+            writers.set(ref, n);
+    const read = new Set();
+    for (const pending = [...from]; pending.length;) {
+        const ref = pending.pop();
+        if (read.has(ref))
+            continue;
+        read.add(ref);
+        const writer = writers.get(ref);
+        if (writer)
+            pending.push(...writer.args, ...stringsIn(writer.params));
+    }
+    return read;
+}
+/**
+ * Design inputs the declared room reads and nothing drawn does: a part's old position or size, left when a rule took
+ * its place, which the room was measured from. They move no part; typing into one changes only the room. With `part`,
+ * only that part's own (`<part>.…`).
+ */
+export function figureRoomOnlyInputsOf(asset, part) {
+    asset = upgradeFigurePlacement(asset);
+    const a = asset;
+    const m = a.document.model;
+    if (!a.occupancy)
+        return [];
+    const drawn = readFrom(m, [
+        ...m.nodes.filter((n) => n.op === 'place@1' || n.op === 'member@1' || n.op === 'repeat@1').flatMap((n) => n.args),
+        ...stringsIn(a.appearance),
+        ...stringsIn(a.document.capabilities),
+        ...stringsIn(a.drivers),
+        ...stringsIn(a.publicInputs),
+        ...stringsIn(a.joints)
+    ]);
+    const room = readFrom(m, stringsIn(a.occupancy));
+    return m.inputs
+        .filter((i) => i.role === 'design' && room.has(i.id) && !drawn.has(i.id) && (!part || i.id.startsWith(`${part}.`)))
+        .map((i) => i.id);
+}
+/** What declaring the room again would change, or undefined for a figure with no room declared. */
+export function figureRoomRefitOf(asset) {
+    asset = upgradeFigurePlacement(asset);
+    if (!asset.occupancy)
+        return undefined;
+    const step = { kind: 'declare-occupancy', proposal: proposeFigureOccupancy(asset, { over: 'range' }) };
+    const refit = applyFigureAuthoring(asset, step);
+    const m = asset.document.model;
+    const sizes = AXES.map(axis => m.inputs.find((i) => i.id === FIGURE_INSTANCE_SIZE_INPUTS[axis]));
+    const largest = sizes.every(Boolean) ? Object.fromEntries(sizes.map(i => [i.id, i.max])) : undefined;
+    const boundsOf = (a, at = {}) => {
+        const values = compileFigureGraph(a.document.model).evaluate({ ...a.designInputs, ...a.stateDefaults, ...at }).values;
+        const b = a.occupancy.bounds;
+        return Object.fromEntries(AXES.map(axis => [axis, { min: values[b[axis].min], max: values[b[axis].max] }]));
+    };
+    /*
+      What lies outside, as the release gate finds it over the sizes and states the figure allows -- with its coverage:
+      proven over the whole range, or sampled at so many states, which is not a bound (designer 2026-09-27: a check of a
+      few corners is not a proof of the range).
+    */
+    const outside = (a) => {
+        const report = inspectFigureAsset(a);
+        return {
+            parts: report.violations.filter(v => v.code === 'PART_OUTSIDE_OCCUPANCY').map(v => ({ part: v.part, axis: v.axis, mm: v.mm })),
+            coverage: { method: report.coverage.method, states: report.coverage.states }
+        };
+    };
+    return {
+        step,
+        drops: Object.keys(asset.designInputs).filter(id => !(id in refit.designInputs)),
+        declared: { authored: boundsOf(asset), ...(largest ? { largest: boundsOf(asset, largest) } : {}) },
+        proposed: { authored: boundsOf(refit), ...(largest ? { largest: boundsOf(refit, largest) } : {}) },
+        outside: { declared: outside(asset), proposed: outside(refit) }
+    };
+}
+//# sourceMappingURL=room.js.map

package/dist/room.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"room.js","sourceRoot":"","sources":["../src/room.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AAGnD,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAA;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAA;AAChE,OAAO,EAAE,IAAI,EAAa,MAAM,YAAY,CAAA;AAK5C,MAAM,SAAS,GAAG,CAAC,KAAc,EAAY,EAAE,CAC7C,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAE3K,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,CAAU,EAAE,IAAc;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAA;IAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK;QAAE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAa;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;IAC1G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,OAAO,CAAC,MAAM,GAAI,CAAC;QACjD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,EAAG,CAAA;QAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAQ;QAC3B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACvE,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAkB,EAAE,IAAa;IACtE,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAA;IACrC,MAAM,CAAC,GAAG,KAAgB,CAAA;IAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAA;IAC1B,IAAI,CAAC,CAAC,CAAC,SAAS;QAAE,OAAO,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE;QACxB,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,UAAU,IAAI,CAAC,CAAC,EAAE,KAAK,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,IAAgB,CAAC;QAC/I,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC;QAC1B,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;QACrC,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QACvB,GAAG,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC;QAC5B,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;KACvB,CAAC,CAAA;IACF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;IAChD,OAAO,CAAC,CAAC,MAAM;SACZ,MAAM,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;SAC3H,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAY,CAAC,CAAA;AACxC,CAAC;AAkBD,mGAAmG;AACnG,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,CAAC,KAAK,CAAC,SAAS;QAAE,OAAO,SAAS,CAAA;IACtC,MAAM,IAAI,GAA4B,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,sBAAsB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;IAC/H,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAgB,CAAA;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACzG,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IACpG,MAAM,QAAQ,GAAG,CAAC,CAAc,EAAE,KAA6B,EAAE,EAAU,EAAE;QAC3E,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAc,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,MAAgC,CAAA;QACxJ,MAAM,CAAC,GAAG,CAAC,CAAC,SAAU,CAAC,MAA+D,CAAA;QACtF,OAAO,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,CAAW,CAAA;IACzH,CAAC,CAAA;IACD;;;;MAIE;IACF,MAAM,OAAO,GAAG,CAAC,CAAc,EAAE,EAAE;QACjC,MAAM,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAA;QACpC,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAG,EAAE,CAAC,CAAC;YACjI,QAAQ,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE;SAC7E,CAAA;IACH,CAAC,CAAA;IACD,OAAO;QACL,IAAI;QACJ,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;QAChF,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QAClG,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;QAClG,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE;KAChE,CAAA;AACH,CAAC"}

package/dist/shape-provider.d.ts

@@ -0,0 +1,37 @@
+import type { Axis } from './words.ts';
+import { type FigureShapeFace } from './graph.ts';
+/**
+ * What a shape offers the commands that size and place a part (ADR-0097 §6): how far it reaches along each of its own
+ * axes, which of those a size can edit and how, and the flat faces it can be attached by. Three separate answers: a
+ * sphere is measured along every axis and edited along every axis, yet has no face to attach by; a section is measured
+ * across by its corners and edited across by none. Nothing reads a shape's arguments by their order to find X, Y or Z.
+ */
+export interface FigureShapeProvider {
+    /** Along each axis, candidates whose largest is the reach -- `Σ k × argument` each (a frustum is as wide as its wider end). */
+    measure: Readonly<Record<Axis, ReadonlyArray<FigureShapeTerm> | 'profile'>>;
+    /** Along each axis, how a size edits the shape, or why it cannot. */
+    edit: Readonly<Record<Axis, FigureShapeEdit>>;
+    /** The flat faces a part can be attached by, as the shape's operator declares them; none for a sphere. */
+    faces: Readonly<Record<string, FigureShapeFace>>;
+}
+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: its measure is its section's corners, or the shape has no measure along it. */
+export type FigureShapeEditRefusal = 'SECTION_CORNERS' | 'NO_MEASURE';
+/** The provider for a shape operator, or undefined for an operator that is not a shape. */
+export declare function figureShapeProviderOf(op: string): FigureShapeProvider | undefined;
+/** The axes a size can edit on its own: every editable axis but one that is another's measure. */
+export declare function figureEditableAxesOf(op: string): Axis[];
+/** The axes a part of this shape can make follow the figure's size, or another's measure, now. */
+export declare function figureFollowableAxesOf(op: string): Axis[];
+//# sourceMappingURL=shape-provider.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"shape-provider.d.ts","sourceRoot":"","sources":["../src/shape-provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAoB,KAAK,eAAe,EAAE,MAAM,YAAY,CAAA;AAEnE;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,+HAA+H;IAC/H,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,SAAS,CAAC,CAAC,CAAA;IAC3E,qEAAqE;IACrE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC,CAAA;IAC7C,0GAA0G;IAC1G,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;CACjD;AAED,MAAM,MAAM,eAAe,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAExD,MAAM,MAAM,eAAe,GAMvB;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,GACnE;IAAE,OAAO,EAAE,sBAAsB,CAAA;CAAE,CAAA;AAEvC,gHAAgH;AAChH,MAAM,MAAM,sBAAsB,GAAG,iBAAiB,GAAG,YAAY,CAAA;AA6CrE,2FAA2F;AAC3F,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAGjF;AAED,kGAAkG;AAClG,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,EAAE,CAOvD;AAUD,kGAAkG;AAClG,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,EAAE,CAEzD"}

package/dist/shape-provider.js

@@ -0,0 +1,69 @@
+import { figureShapeFaces } from "./graph.js";
+const term = (arg, k = 1) => [{ arg, k }];
+const BOX_MEASURE = { x: term(0), y: term(1), z: term(2) };
+const BOX_EDIT = { x: { arg: 0, k: 1 }, y: { arg: 1, k: 1 }, z: { arg: 2, k: 1 } };
+const PROVIDERS = {
+    'box-shape@1': { measure: BOX_MEASURE, edit: BOX_EDIT },
+    /* A rounded, hollow or framed box measures and edits as a box; its corners, walls, jambs and head keep their own numbers. */
+    'rounded-box@1': { measure: BOX_MEASURE, edit: BOX_EDIT },
+    'rounded-box@2': { measure: BOX_MEASURE, edit: BOX_EDIT },
+    'hollow-box@1': { measure: BOX_MEASURE, edit: BOX_EDIT },
+    'hollow-box@2': { measure: BOX_MEASURE, edit: BOX_EDIT },
+    'portal-profile@2': { measure: BOX_MEASURE, edit: BOX_EDIT },
+    /* A cylinder stands along its Y: its radius across (X, and Z with it), its length along. */
+    'cylinder-shape@1': {
+        measure: { x: term(0, 2), y: term(1), z: term(0, 2) },
+        edit: { x: { arg: 0, k: 2 }, y: { arg: 1, k: 1 }, z: { arg: 0, k: 2, sameAs: 'x' } }
+    },
+    /* An elliptic cylinder: (radiusX, radiusZ, length) -- a radius across each way, its length along Y. */
+    'cylinder-shape@2': {
+        measure: { x: term(0, 2), y: term(2), z: term(1, 2) },
+        edit: { x: { arg: 0, k: 2 }, y: { arg: 2, k: 1 }, z: { arg: 1, k: 2 } }
+    },
+    /* An ellipsoid: a radius each way. */
+    'sphere-shape@1': {
+        measure: { x: term(0, 2), y: term(1, 2), z: term(2, 2) },
+        edit: { x: { arg: 0, k: 2 }, y: { arg: 1, k: 2 }, z: { arg: 2, k: 2 } }
+    },
+    /*
+      A frustum (radiusTop, radiusBottom, height): as wide as the wider of its two ends, whichever that is. A width edits
+      both ends in proportion, so the taper stays and an end of radius 0 -- a cone's point -- stays a point; editing one
+      radius alone is not a change of width.
+    */
+    'frustum-shape@1': {
+        measure: { x: [{ arg: 0, k: 2 }, { arg: 1, k: 2 }], y: term(2), z: [{ arg: 0, k: 2 }, { arg: 1, k: 2 }] },
+        edit: { x: { arg: 1, k: 2, with: [0] }, y: { arg: 2, k: 1 }, z: { arg: 1, k: 2, with: [0], sameAs: 'x' } }
+    },
+    /* A section (height, then its corners) pushed along Y: measured across by its corners, which no size edits. */
+    'polygon-shape@1': {
+        measure: { x: 'profile', y: term(0), z: 'profile' },
+        edit: { x: { refused: 'SECTION_CORNERS' }, y: { arg: 0, k: 1 }, z: { refused: 'SECTION_CORNERS' } }
+    }
+};
+/** The provider for a shape operator, or undefined for an operator that is not a shape. */
+export function figureShapeProviderOf(op) {
+    const own = PROVIDERS[op];
+    return own && { ...own, faces: figureShapeFaces(op) ?? {} };
+}
+/** The axes a size can edit on its own: every editable axis but one that is another's measure. */
+export function figureEditableAxesOf(op) {
+    const edit = PROVIDERS[op]?.edit;
+    if (!edit)
+        return [];
+    return ['x', 'y', 'z'].filter(axis => {
+        const e = edit[axis];
+        return !('refused' in e) && !e.sameAs;
+    });
+}
+/*
+ * The shapes whose size can follow something today: a measure is linked through the shape's argument at the axis's
+ * place, so only shapes whose edited measures sit there are taken. Every command and screen that offers "follow"
+ * asks here -- follow-size, the resize plan, the modeller -- so no two lists decide it apart (designer 2026-09-27).
+ * The other shapes wait for linking to read the provider's `edit`.
+ */
+const FOLLOWS_NOW = new Set(['box-shape@1', 'rounded-box@1', 'portal-profile@2', 'hollow-box@2', 'cylinder-shape@1']);
+/** The axes a part of this shape can make follow the figure's size, or another's measure, now. */
+export function figureFollowableAxesOf(op) {
+    return FOLLOWS_NOW.has(op) ? figureEditableAxesOf(op) : [];
+}
+//# sourceMappingURL=shape-provider.js.map

package/dist/shape-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-provider.js","sourceRoot":"","sources":["../src/shape-provider.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAwB,MAAM,YAAY,CAAA;AA+BnE,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,CAAC,GAAG,CAAC,EAAkC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;AACjF,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;AAC1D,MAAM,QAAQ,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAA;AAElF,MAAM,SAAS,GAAiE;IAC9E,aAAa,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;IACvD,6HAA6H;IAC7H,eAAe,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;IACzD,eAAe,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;IACzD,cAAc,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;IACxD,cAAc,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;IACxD,kBAAkB,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC5D,4FAA4F;IAC5F,kBAAkB,EAAE;QAClB,OAAO,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACrD,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;KACrF;IACD,uGAAuG;IACvG,kBAAkB,EAAE;QAClB,OAAO,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACrD,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;KACxE;IACD,sCAAsC;IACtC,gBAAgB,EAAE;QAChB,OAAO,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACxD,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;KACxE;IACD;;;;MAIE;IACF,iBAAiB,EAAE;QACjB,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;QACzG,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;KAC3G;IACD,+GAA+G;IAC/G,iBAAiB,EAAE;QACjB,OAAO,EAAE,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE;QACnD,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,EAAE;KACpG;CACF,CAAA;AAED,2FAA2F;AAC3F,MAAM,UAAU,qBAAqB,CAAC,EAAU;IAC9C,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,CAAC,CAAA;IACzB,OAAO,GAAG,IAAI,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAA;AAC7D,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,oBAAoB,CAAC,EAAU;IAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,EAAE,IAAI,CAAA;IAChC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAA;IACpB,OAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAA;IACvC,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,cAAc,EAAE,kBAAkB,CAAC,CAAC,CAAA;AAErH,kGAAkG;AAClG,MAAM,UAAU,sBAAsB,CAAC,EAAU;IAC/C,OAAO,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAC5D,CAAC"}

package/dist/size-edit.d.ts

@@ -0,0 +1,38 @@
+import type { FigureAsset } from './asset-types.ts';
+import type { FigureInputChange } from './authoring-session.ts';
+export declare function figureSizeEditChanges(asset: FigureAsset, part: string, changes: readonly FigureInputChange[]): FigureInputChange[];
+/**
+ * Per axis of the part's own frame, the face a size change keeps: 1 the low face (the part grows toward +), -1 the high
+ * face, 0 its centre -- what `figureSizeEditChanges` writes for a part placed by its own numbers, and what a fastening
+ * keeps for a fastened one (its face along the normal, its edges where it is aligned min or max). A gizmo drag shows
+ * this while it is dragged, so what the author sees is what is written (designer 2026-09-27: 「드래그 중 미리보기와
+ * 확정에 같은 기준면·간격 규칙」). Undefined where it cannot be said in the part's own axes -- a fastening turned or
+ * twisted -- and the caller must not guess one.
+ */
+export declare function figureScaleAnchorOf(asset: FigureAsset, part: string): Record<'x' | 'y' | 'z', -1 | 0 | 1> | undefined;
+export type FigurePlaneAlignRefusal = 'HELD' | 'POSITION_RULE' | 'NO_FACE';
+/**
+ * How the part meets the plane once aligned: `face` -- its named face lies on it; `tilted` -- it has that face but stands
+ * turned off the plane, so only its lowest (highest, backmost) point or edge touches, and the turn is left as it is;
+ * `extreme` -- no face of its own is known there (a ball), and its lowest (highest, backmost) extent touches; `centre` --
+ * a centred figure's part, its centre brought to the origin's height. The screen says which (designer 2026-09-27: a
+ * point touching is not a face attached; a ball is not said to be tilted).
+ */
+export type FigurePlaneContact = 'face' | 'tilted' | 'extreme' | 'centre';
+/**
+ * "Put it on the plane, this once" -- the modeller's one-off align tool, by the figure's placement (designer 2026-09-27):
+ * a floor figure's part brings its bottom to Y 0, a ceiling one's its top, a wall one's its back to Z 0, and a centred
+ * figure's part its centre to the origin's height. Only the part's own position number moves; nothing is fastened, so a
+ * later change of size keeps the face by the size rule, not by a fastening (ADR-0097 §5.2: aligning once is not
+ * attaching). A part standing turned is aligned by the extent it covers turned, its lowest (highest, backmost) point,
+ * since its named face no longer lies along the plane.
+ *
+ * Refused, with the reason: a fastened part (its fastening places it), and a part whose position is worked out. The
+ * part's turn is never changed: only the one position number is written.
+ */
+export declare function figurePlaneAlignChanges(asset: FigureAsset, part: string): {
+    changes: FigureInputChange[];
+    contact?: FigurePlaneContact;
+    refusal?: FigurePlaneAlignRefusal;
+};
+//# sourceMappingURL=size-edit.d.ts.map

package/dist/size-edit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"size-edit.d.ts","sourceRoot":"","sources":["../src/size-edit.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,WAAW,EAAmB,MAAM,kBAAkB,CAAA;AACpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AA0B/D,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,CA0ClI;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAiCrH;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,GAAG,eAAe,GAAG,SAAS,CAAA;AAC1E;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAA;AAEzE;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,MAAM,GACX;IAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,kBAAkB,CAAC;IAAC,OAAO,CAAC,EAAE,uBAAuB,CAAA;CAAE,CAsCnG"}