@hatiolab/figure-model 0.5.0 → 0.5.1

package/dist/authoring-nodes.d.ts

@@ -0,0 +1,77 @@
+import { type FigureRefusalDetails } from './contract.ts';
+import type { Axis } from './words.ts';
+import type { FigureAsset } from './asset-types.ts';
+import { type FigureDimensionSource, type FigureMeasure, type FigureMeasureTerm } from './authoring-types.ts';
+type Dynamic = any;
+export declare const fail: (code: string, path: string, message: string, details?: FigureRefusalDetails) => never;
+export declare const clone: (asset: FigureAsset) => Dynamic;
+export declare const nodeById: (m: Dynamic, id: string) => any;
+export declare const writerOf: (m: Dynamic, ref: string) => any;
+/** A part an authoring command can work with, and the pieces of it those commands need. */
+/** The part whose row carries this one -- fastened to it, however far down -- or undefined. */
+export declare function rowHolding(m: Dynamic, id: string): string | undefined;
+export declare function partOf(m: Dynamic, id: string, path: string): {
+    place: any;
+    shape: any;
+    pose: any;
+};
+/** Fresh node ids under a part, so two commands never claim one id. */
+export declare function namer(m: Dynamic, prefix: string): (hint: string) => string;
+/** A constant, reusing one that already holds the same number in the same unit. */
+export declare function constantOf(m: Dynamic, unit: string, value: number, hint: string): string;
+/** value = ref × times + plus, written as nodes, and folded away when there is nothing to do. */
+export declare function scaled(m: Dynamic, name: (hint: string) => string, ref: string, times: number, plus: number, hint: string): string;
+/** A measure as one graph reference: a constant, or the source it follows times a multiple plus a margin. */
+export declare function measureRef(m: Dynamic, asset: Dynamic, name: (hint: string) => string, measure: FigureMeasure | undefined, hint: string, path: string): string;
+/** Each term of a followed length as a graph reference and its multiple, every one checked as a one-term length is. */
+export declare function termRefs(m: Dynamic, asset: Dynamic, terms: FigureMeasureTerm[], plus: number, path: string): Array<{
+    ref: string;
+    k: number;
+}>;
+/** Σ k·ref, written as nodes, with nothing emitted for a weight of zero and no node for a single term. */
+export declare function sumOf(m: Dynamic, name: (hint: string) => string, terms: Array<{
+    ref: string;
+    k: number;
+}>, hint: string): string;
+/** The size one axis reads once the figure grows by one ratio: u times its authored size (`scaleUniformly`). */
+export declare function uniformSizeOf(m: Dynamic, axis: Axis, path: string): string;
+export declare function sourceRef(m: Dynamic, asset: Dynamic, source: FigureDimensionSource, path: string): string;
+/**
+ * The name of a part's dimension, which stays the same name however that dimension is later worked out.
+ *
+ * "B is as wide as A" has to keep meaning that when A is told to follow something else. Reading A's shape
+ * argument at the moment of linking gave B whatever A happened to read then — A's own control — so relinking A
+ * left B on the old value (designer's counterexample 2026-09-23: A went to 300 and B stayed at 100). Every
+ * dimension a command touches gets a node of its own, `<part>.dimension.<axis>`, and that is what the shape
+ * reads and what anything following it reads. Relinking rewrites what that node computes, and everyone pointing
+ * at it comes along — fastenings included, since they measure the same references.
+ */
+export declare function stableDimension(m: Dynamic, part: string, axis: Axis, path: string): string;
+/** What a part's dimension is worked out from right now: the first argument of its own dimension node. */
+export declare const dimensionSource: (m: Dynamic, part: string, axis: Axis) => any;
+/** Whether this side of the part already follows something, rather than reading its own control. */
+/**
+ * A part's own number for a dimension: a design input named under the part. `addFigureBox` names it `<part>.size.<axis>`,
+ * the editor's shape palette `<part>.dimension.width` (and height, depth); both are the part's own, and a dimension
+ * read from one follows nothing. Reading only the first name made a palette box look linked as soon as any command
+ * had routed its dimension, and a link was refused as a replacement (2026-09-24, :3300).
+ */
+export declare const ownInput: (m: Dynamic, part: string, ref: string | undefined) => any;
+export declare const followsAlready: (m: Dynamic, part: string, axis: Axis) => boolean;
+/**
+ * Remove a value nothing reads any more, and whatever fed only it. An input is removed only when it is the one
+ * this command owns — the part's own dimension control. A shared input, such as the instance's size, stays even
+ * when the command that stopped reading it was the last reader: it is the author's, not this command's.
+ */
+export declare const declaredIn: (asset: Dynamic) => Set<string>;
+/** Writes the joints again (`write`) with the names the declarations read held for `asset`, and lets them go after. */
+export declare function holdingDeclared(asset: Dynamic, write: () => void): void;
+export declare function dropIfUnused(asset: Dynamic, ref: string, ownedInput?: string): void;
+/** Which part each part is fastened to, read from the frames rather than from a second record of it. */
+export declare function parentOf(m: Dynamic, id: string): string | null;
+export declare const round6: (v: number) => number;
+export declare const sizeInputOf: (m: Dynamic, axis: Axis) => any;
+/** Every string inside a declaration -- the references it may hold, with its names and labels (which name nothing). */
+export declare const stringsIn: (value: unknown) => string[];
+export {};
+//# sourceMappingURL=authoring-nodes.d.ts.map

package/dist/authoring-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring-nodes.d.ts","sourceRoot":"","sources":["../src/authoring-nodes.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,KAAK,oBAAoB,EAAuB,MAAM,eAAe,CAAA;AAC9E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEtC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,iBAAiB,EAEvB,MAAM,sBAAsB,CAAA;AAE7B,KAAK,OAAO,GAAG,GAAG,CAAA;AAClB,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,EAAE,SAAS,MAAM,EAAE,UAAU,oBAAoB,KAAG,KAElG,CAAA;AAED,eAAO,MAAM,KAAK,GAAI,OAAO,WAAW,KAAG,OAAiC,CAAA;AAC5E,eAAO,MAAM,QAAQ,GAAI,GAAG,OAAO,EAAE,IAAI,MAAM,QAA8C,CAAA;AAC7F,eAAO,MAAM,QAAQ,GAAI,GAAG,OAAO,EAAE,KAAK,MAAM,QACgD,CAAA;AAEhG,2FAA2F;AAC3F,+FAA+F;AAC/F,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAKrE;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;;;;EAU1D;AAED,uEAAuE;AACvE,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,IAOtC,MAAM,MAAM,YAOrB;AAED,mFAAmF;AACnF,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAMxF;AAED,iGAAiG;AACjG,wBAAgB,MAAM,CACpB,CAAC,EAAE,OAAO,EACV,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EAC9B,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,MAAM,CAkBR;AAED,6GAA6G;AAC7G,wBAAgB,UAAU,CACxB,CAAC,EAAE,OAAO,EACV,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EAC9B,OAAO,EAAE,aAAa,GAAG,SAAS,EAClC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,MAAM,CAaR;AAED,uHAAuH;AACvH,wBAAgB,QAAQ,CACtB,CAAC,EAAE,OAAO,EACV,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,iBAAiB,EAAE,EAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX,KAAK,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAUnC;AAED,0GAA0G;AAC1G,wBAAgB,KAAK,CACnB,CAAC,EAAE,OAAO,EACV,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EAC9B,KAAK,EAAE,KAAK,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,EACxC,IAAI,EAAE,MAAM,GACX,MAAM,CAcR;AAED,gHAAgH;AAChH,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAI1E;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAsBzG;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CA0B1F;AAED,0GAA0G;AAC1G,eAAO,MAAM,eAAe,GAAI,GAAG,OAAO,EAAE,MAAM,MAAM,EAAE,MAAM,IAAI,QACf,CAAA;AAErD,oGAAoG;AACpG;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,GAAG,OAAO,EAAE,MAAM,MAAM,EAAE,KAAK,MAAM,GAAG,SAAS,QACiC,CAAA;AAE3G,eAAO,MAAM,cAAc,GAAI,GAAG,OAAO,EAAE,MAAM,MAAM,EAAE,MAAM,IAAI,YAGlE,CAAA;AAED;;;;GAIG;AAEH,eAAO,MAAM,UAAU,GAAI,OAAO,OAAO,gBACwE,CAAA;AAejH,uHAAuH;AACvH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,IAAI,GAAG,IAAI,CAQvE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAgCnF;AAED,wGAAwG;AACxG,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAO9D;AAED,eAAO,MAAM,MAAM,GAAI,GAAG,MAAM,WAA8B,CAAA;AAE9D,eAAO,MAAM,WAAW,GAAI,GAAG,OAAO,EAAE,MAAM,IAAI,QACyB,CAAA;AAE3E,uHAAuH;AACvH,eAAO,MAAM,SAAS,GAAI,OAAO,OAAO,KAAG,MAAM,EAShD,CAAA"}

package/dist/authoring-nodes.js

@@ -0,0 +1,310 @@
+/*
+ * Copyright © HatioLab Inc. All rights reserved.
+ */
+/*
+ * The graph helpers every authoring command shares: finding a node, naming a new one, writing a constant or a sum,
+ * and removing what nothing reads any more.
+ */
+import { figureShapeDescriptionOf } from "./shape-ops.js";
+import { FigureContractError } from "./contract.js";
+import { FIGURE_INSTANCE_SIZE_INPUTS } from "./instance-size.js";
+import { followedTermsOf } from "./authoring-types.js";
+export const fail = (code, path, message, details) => {
+    throw new FigureContractError(code, path, message, details);
+};
+export const clone = (asset) => structuredClone(asset);
+export const nodeById = (m, id) => m.nodes.find((n) => n.id === id);
+export const writerOf = (m, ref) => m.nodes.find((n) => Object.values(n.outputs).includes(ref));
+/** A part an authoring command can work with, and the pieces of it those commands need. */
+/** The part whose row carries this one -- fastened to it, however far down -- or undefined. */
+export function rowHolding(m, id) {
+    const place = nodeById(m, id);
+    if (place?.op !== 'member@1' || nodeById(m, `${id}.repeat`))
+        return undefined;
+    const assembly = m.nodes.find((n) => n.op === 'assembly@1' && n.args.includes(place.outputs.placed));
+    return assembly ? String(assembly.id).replace(/\.assembly$/, '') : undefined;
+}
+export function partOf(m, id, path) {
+    const place = nodeById(m, id);
+    /* A row's template is the part too: it is placed through its row (`repeatPart`). */
+    const rowTemplate = place?.op === 'member@1' && (!!nodeById(m, `${id}.repeat`) || rowHolding(m, id) !== undefined);
+    if (!place || (place.op !== 'place@1' && !rowTemplate))
+        fail('TARGET_ABSENT', path, `${id} is not a placed part`);
+    const shape = writerOf(m, place.args[0]);
+    if (!shape)
+        fail('TARGET_ABSENT', path, `${id} has no shape`);
+    const pose = nodeById(m, `${id}.pose`);
+    if (!pose || pose.op !== 'rigid@1')
+        fail('EDIT_TARGET', path, `${id} is not posed by a rigid@1 this command can read`);
+    return { place, shape, pose };
+}
+/** Fresh node ids under a part, so two commands never claim one id. */
+export function namer(m, prefix) {
+    const taken = new Set([
+        ...m.nodes.map((n) => n.id),
+        ...m.nodes.flatMap((n) => Object.values(n.outputs)),
+        ...m.constants.map((c) => c.id),
+        ...m.inputs.map((i) => i.id)
+    ]);
+    return (hint) => {
+        let id = `${prefix}.${hint}`;
+        for (let k = 2; taken.has(id) || taken.has(`${id}.value`); k++)
+            id = `${prefix}.${hint}.${k}`;
+        taken.add(id);
+        taken.add(`${id}.value`);
+        return id;
+    };
+}
+/** A constant, reusing one that already holds the same number in the same unit. */
+export function constantOf(m, unit, value, hint) {
+    const found = m.constants.find((c) => c.unit === unit && c.value === value);
+    if (found)
+        return found.id;
+    const id = `${hint}.${unit}.${String(value).replace(/[^0-9a-zA-Z]/g, '_')}`;
+    m.constants.push({ id, unit, value });
+    return id;
+}
+/** value = ref × times + plus, written as nodes, and folded away when there is nothing to do. */
+export function scaled(m, name, ref, times, plus, hint) {
+    let out = ref;
+    if (times !== 1) {
+        const id = name(`${hint}.times`);
+        m.nodes.push({
+            id,
+            op: 'mul@1',
+            args: [out, constantOf(m, 'ratio', times, 'k')],
+            outputs: { value: `${id}.value` }
+        });
+        out = `${id}.value`;
+    }
+    if (plus !== 0) {
+        const id = name(`${hint}.plus`);
+        m.nodes.push({ id, op: 'add@1', args: [out, constantOf(m, 'mm', plus, 'd')], outputs: { value: `${id}.value` } });
+        out = `${id}.value`;
+    }
+    return out;
+}
+/** A measure as one graph reference: a constant, or the source it follows times a multiple plus a margin. */
+export function measureRef(m, asset, name, measure, hint, path) {
+    if (measure === undefined)
+        return constantOf(m, 'mm', 0, 'd');
+    if (typeof measure === 'number') {
+        if (!Number.isFinite(measure))
+            fail('SCHEMA', path, 'a finite length is required');
+        return constantOf(m, 'mm', measure, 'd');
+    }
+    if (!measure || typeof measure !== 'object' || !(Object.hasOwn(measure, 'sum') || measure.from))
+        fail('SCHEMA', path, 'a length is a number of millimetres, or something to follow');
+    const { terms, plus, sum } = followedTermsOf(measure);
+    const refs = termRefs(m, asset, terms, plus, path);
+    /* One term is written as it always was; a sum adds its terms, then the margin (the same add@1 and mul@1 nodes). */
+    if (!sum)
+        return scaled(m, name, refs[0].ref, refs[0].k, plus, hint);
+    return scaled(m, name, sumOf(m, name, refs, `${hint}.sum`), 1, plus, hint);
+}
+/** Each term of a followed length as a graph reference and its multiple, every one checked as a one-term length is. */
+export function termRefs(m, asset, terms, plus, path) {
+    if (!Array.isArray(terms) || !terms.length)
+        fail('SCHEMA', path, 'a sum has one term or more');
+    if (!Number.isFinite(plus))
+        fail('SCHEMA', path, 'finite times and plus required');
+    return terms.map((t, i) => {
+        const at = terms.length > 1 ? `${path}.sum.${i}` : path;
+        if (!t || typeof t !== 'object' || !t.from)
+            fail('SCHEMA', at, 'a length is a number of millimetres, or something to follow');
+        if (!Number.isFinite(t.times ?? 1))
+            fail('SCHEMA', at, 'finite times and plus required');
+        return { ref: sourceRef(m, asset, t.from, at), k: t.times ?? 1 };
+    });
+}
+/** Σ k·ref, written as nodes, with nothing emitted for a weight of zero and no node for a single term. */
+export function sumOf(m, name, terms, hint) {
+    const live = terms.filter(t => t.k !== 0);
+    if (!live.length)
+        return constantOf(m, 'mm', 0, 'd');
+    let out = '';
+    for (const [i, t] of live.entries()) {
+        const piece = scaled(m, name, t.ref, t.k, 0, `${hint}.${i}`);
+        if (!out)
+            out = piece;
+        else {
+            const id = name(`${hint}.${i}.sum`);
+            m.nodes.push({ id, op: 'add@1', args: [out, piece], outputs: { value: `${id}.value` } });
+            out = `${id}.value`;
+        }
+    }
+    return out;
+}
+/** The size one axis reads once the figure grows by one ratio: u times its authored size (`scaleUniformly`). */
+export function uniformSizeOf(m, axis, path) {
+    const node = nodeById(m, `sizing.size.${axis}`);
+    if (!node)
+        fail('TARGET_ABSENT', path, `the figure grows by one ratio but has no sizing.size.${axis}`);
+    return node.outputs.value;
+}
+export function sourceRef(m, asset, source, path) {
+    if (!source || typeof source !== 'object')
+        fail('SCHEMA', path, 'a dimension source is required');
+    if (source.of === 'instance') {
+        const id = `size.${source.axis}`;
+        if (!m.inputs.some((i) => i.id === id))
+            fail('TARGET_ABSENT', path, `the instance has no ${id}; declare it before following it`);
+        /* A figure that grows by one ratio is read at that ratio's size: a link made after it had read the raw size. */
+        return asset.sizing === 'uniform' ? uniformSizeOf(m, source.axis, path) : id;
+    }
+    if (source.of === 'input') {
+        const input = m.inputs.find((i) => i.id === source.input);
+        if (!input)
+            fail('TARGET_ABSENT', path, `${source.input} is not an input of this asset`);
+        if (input.role === 'state')
+            fail('EDIT_TARGET', path, `${source.input} is a state input; a dimension that follows state is a different declaration`);
+        return source.input;
+    }
+    if (source.of === 'part')
+        return stableDimension(m, source.part, source.axis, path);
+    return fail('SCHEMA', path, `${String(source.of)} is not a dimension source`);
+}
+/**
+ * The name of a part's dimension, which stays the same name however that dimension is later worked out.
+ *
+ * "B is as wide as A" has to keep meaning that when A is told to follow something else. Reading A's shape
+ * argument at the moment of linking gave B whatever A happened to read then — A's own control — so relinking A
+ * left B on the old value (designer's counterexample 2026-09-23: A went to 300 and B stayed at 100). Every
+ * dimension a command touches gets a node of its own, `<part>.dimension.<axis>`, and that is what the shape
+ * reads and what anything following it reads. Relinking rewrites what that node computes, and everyone pointing
+ * at it comes along — fastenings included, since they measure the same references.
+ */
+export function stableDimension(m, part, axis, path) {
+    const shape = partOf(m, part, path).shape;
+    const described = figureShapeDescriptionOf(shape);
+    if (described) {
+        const e = described.edit[axis];
+        if ('refused' in e)
+            return fail('EDIT_TARGET', path, `${part} is a drawn section; its measures are its points, which no measure can follow`);
+        /* An axis whose argument is another axis's value (a circle's two radii) is that axis's dimension. */
+        if (e.sameAs)
+            return stableDimension(m, part, e.sameAs, path);
+        const id = `${part}.dimension.${axis}`;
+        const ref = `${id}.value`;
+        if (nodeById(m, id))
+            return ref;
+        const was = shape.args[e.arg];
+        const one = constantOf(m, 'ratio', 1, 'k');
+        m.nodes.push({ id, op: 'mul@1', args: [was, one], outputs: { value: ref } });
+        /* Every argument that is this value goes with it, and so does a start written from this length (a centred push). */
+        shape.args = shape.args.map((r) => (r === was ? ref : r));
+        const start = nodeById(m, `${part}.start`);
+        if (start)
+            start.args = start.args.map((r) => (r === was ? ref : r));
+        return ref;
+    }
+    return fail('EDIT_TARGET', path, `${part} is a ${shape.op}; it is not a shape with measures`);
+}
+/** What a part's dimension is worked out from right now: the first argument of its own dimension node. */
+export const dimensionSource = (m, part, axis) => nodeById(m, `${part}.dimension.${axis}`)?.args?.[0];
+/** Whether this side of the part already follows something, rather than reading its own control. */
+/**
+ * A part's own number for a dimension: a design input named under the part. `addFigureBox` names it `<part>.size.<axis>`,
+ * the editor's shape palette `<part>.dimension.width` (and height, depth); both are the part's own, and a dimension
+ * read from one follows nothing. Reading only the first name made a palette box look linked as soon as any command
+ * had routed its dimension, and a link was refused as a replacement (2026-09-24, :3300).
+ */
+export const ownInput = (m, part, ref) => !!ref && ref.startsWith(`${part}.`) && m.inputs.some((i) => i.id === ref && i.role === 'design');
+export const followsAlready = (m, part, axis) => {
+    const from = dimensionSource(m, part, axis);
+    return from !== undefined && !ownInput(m, part, from);
+};
+/**
+ * Remove a value nothing reads any more, and whatever fed only it. An input is removed only when it is the one
+ * this command owns — the part's own dimension control. A shared input, such as the instance's size, stays even
+ * when the command that stopped reading it was the last reader: it is the author's, not this command's.
+ */
+/* The names the declared room, the capabilities and the joint records read. */
+export const declaredIn = (asset) => new Set([...stringsIn(asset.occupancy), ...stringsIn(asset.document.capabilities), ...stringsIn(asset.joints)]);
+/*
+  Held while the joints are written again (rewriteJoints): the writing does not change what the declarations read, and
+  gathering them for each of its calls here was most of the joint check (2,412 calls for 201 joints, 2026-10-10). Under
+  test every use is held against the names gathered afresh.
+*/
+let held;
+const CHECK_HELD = (() => {
+    try {
+        return process.env.FIGURE_FREEZE_COMPILED === '1';
+    }
+    catch {
+        return false;
+    }
+})();
+/** Writes the joints again (`write`) with the names the declarations read held for `asset`, and lets them go after. */
+export function holdingDeclared(asset, write) {
+    const before = held;
+    held = { asset, declared: declaredIn(asset) };
+    try {
+        write();
+    }
+    finally {
+        held = before;
+    }
+}
+export function dropIfUnused(asset, ref, ownedInput) {
+    const m = asset.document.model;
+    /* The graph, the declared room, the face it is mounted on and the places things are held all read values. */
+    // Joint records are consumers too. Their generated nodes are temporarily removed
+    // during a rewrite; alignment inputs must survive until those nodes are rebuilt.
+    const kept = held && held.asset === asset ? held.declared : undefined;
+    const declared = kept ?? declaredIn(asset);
+    if (kept && CHECK_HELD) {
+        const fresh = declaredIn(asset);
+        if (fresh.size !== kept.size || [...fresh].some(x => !kept.has(x)))
+            throw new Error(`the names held for the joint rewrite went stale at ${ref}`);
+    }
+    const referenced = (r) => m.nodes.some((n) => n.args.includes(r) || Object.values(n.params ?? {}).includes(r)) || declared.has(r);
+    if (referenced(ref))
+        return;
+    const input = m.inputs.findIndex((i) => i.id === ref);
+    if (input >= 0) {
+        if (ref !== ownedInput)
+            return;
+        m.inputs.splice(input, 1);
+        delete asset.designInputs[ref];
+        delete asset.stateDefaults[ref];
+        return;
+    }
+    const writer = writerOf(m, ref);
+    if (!writer ||
+        writer.op === 'place@1' ||
+        Object.values(writer.outputs).some((r) => r !== ref && referenced(r)))
+        return;
+    m.nodes = m.nodes.filter((n) => n !== writer);
+    for (const arg of writer.args)
+        dropIfUnused(asset, arg);
+}
+/** Which part each part is fastened to, read from the frames rather than from a second record of it. */
+export function parentOf(m, id) {
+    /* A row's template has no chain of its own -- its copies are composed by the row -- but it is fastened all the same. */
+    if (!nodeById(m, `${id}.chain`) && !nodeById(m, `${id}.repeat`))
+        return null;
+    // The seat rigid carries the part into the frame it is fastened to, moving or not (an old asset may have only a motion).
+    const above = nodeById(m, `${id}.seat.rigid`) ?? nodeById(m, `${id}.motion`);
+    const match = /^(.*)\.local$/.exec(String(above?.params?.to));
+    return match && match[1] !== id ? match[1] : null;
+}
+export const round6 = (v) => Math.round(v * 1e6) / 1e6;
+export const sizeInputOf = (m, axis) => m.inputs.find((i) => i.id === FIGURE_INSTANCE_SIZE_INPUTS[axis]);
+/** Every string inside a declaration -- the references it may hold, with its names and labels (which name nothing). */
+export const stringsIn = (value) => {
+    const out = [];
+    const walk = (v) => {
+        if (typeof v === 'string')
+            out.push(v);
+        else if (Array.isArray(v))
+            for (const one of v)
+                walk(one);
+        else if (v && typeof v === 'object')
+            for (const one of Object.values(v))
+                walk(one);
+    };
+    walk(value);
+    return out;
+};
+//# sourceMappingURL=authoring-nodes.js.map

package/dist/authoring-nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring-nodes.js","sourceRoot":"","sources":["../src/authoring-nodes.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;GAGG;AACH,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACzD,OAAO,EAA6B,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAE9E,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAA;AAEhE,OAAO,EAIL,eAAe,EAChB,MAAM,sBAAsB,CAAA;AAG7B,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe,EAAE,OAA8B,EAAS,EAAE;IACzG,MAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;AAC7D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAkB,EAAW,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,CAAA;AAC5E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAE,EAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;AAC7F,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAE,GAAW,EAAE,EAAE,CAClD,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAiC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;AAEhG,2FAA2F;AAC3F,+FAA+F;AAC/F,MAAM,UAAU,UAAU,CAAC,CAAU,EAAE,EAAU;IAC/C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC7B,IAAI,KAAK,EAAE,EAAE,KAAK,UAAU,IAAI,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC;QAAE,OAAO,SAAS,CAAA;IAC7E,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7G,OAAO,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAC9E,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAU,EAAE,EAAU,EAAE,IAAY;IACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC7B,oFAAoF;IACpF,MAAM,WAAW,GAAG,KAAK,EAAE,EAAE,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,SAAS,CAAC,CAAA;IAClH,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC;QAAE,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,uBAAuB,CAAC,CAAA;IACjH,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,CAAC,KAAK;QAAE,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,eAAe,CAAC,CAAA;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IACtC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,SAAS;QAAE,IAAI,CAAC,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,kDAAkD,CAAC,CAAA;IACtH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;AAC/B,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,KAAK,CAAC,CAAU,EAAE,MAAc;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS;QAC5B,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAiC,CAAC,CAAC;QACtF,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC,CAAA;IACF,OAAO,CAAC,IAAY,EAAE,EAAE;QACtB,IAAI,EAAE,GAAG,GAAG,MAAM,IAAI,IAAI,EAAE,CAAA;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE;YAAE,EAAE,GAAG,GAAG,MAAM,IAAI,IAAI,IAAI,CAAC,EAAE,CAAA;QAC7F,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACb,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACxB,OAAO,EAAE,CAAA;IACX,CAAC,CAAA;AACH,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,UAAU,CAAC,CAAU,EAAE,IAAY,EAAE,KAAa,EAAE,IAAY;IAC9E,MAAM,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAA;IACpF,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,EAAE,CAAA;IAC1B,MAAM,EAAE,GAAG,GAAG,IAAI,IAAI,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,EAAE,CAAA;IAC3E,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;IACrC,OAAO,EAAE,CAAA;AACX,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,MAAM,CACpB,CAAU,EACV,IAA8B,EAC9B,GAAW,EACX,KAAa,EACb,IAAY,EACZ,IAAY;IAEZ,IAAI,GAAG,GAAG,GAAG,CAAA;IACb,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,CAAA;QAChC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;YACX,EAAE;YACF,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YAC/C,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE;SAClC,CAAC,CAAA;QACF,GAAG,GAAG,GAAG,EAAE,QAAQ,CAAA;IACrB,CAAC;IACD,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QACf,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,CAAA;QAC/B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;QACjH,GAAG,GAAG,GAAG,EAAE,QAAQ,CAAA;IACrB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,UAAU,CACxB,CAAU,EACV,KAAc,EACd,IAA8B,EAC9B,OAAkC,EAClC,IAAY,EACZ,IAAY;IAEZ,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IAC7D,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,6BAA6B,CAAC,CAAA;QAClF,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;IAC1C,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAK,OAAmB,CAAC,IAAI,CAAC;QAC1G,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,6DAA6D,CAAC,CAAA;IACrF,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,eAAe,CAAC,OAAO,CAAE,CAAA;IACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAClD,mHAAmH;IACnH,IAAI,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IACtE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAC5E,CAAC;AAED,uHAAuH;AACvH,MAAM,UAAU,QAAQ,CACtB,CAAU,EACV,KAAc,EACd,KAA0B,EAC1B,IAAY,EACZ,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,4BAA4B,CAAC,CAAA;IAC9F,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,gCAAgC,CAAC,CAAA;IAClF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;QACvD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI;YACxC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,6DAA6D,CAAC,CAAA;QACnF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,gCAAgC,CAAC,CAAA;QACxF,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAA;IAClE,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,KAAK,CACnB,CAAU,EACV,IAA8B,EAC9B,KAAwC,EACxC,IAAY;IAEZ,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;IACpD,IAAI,GAAG,GAAG,EAAE,CAAA;IACZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAA;QAC5D,IAAI,CAAC,GAAG;YAAE,GAAG,GAAG,KAAK,CAAA;aAChB,CAAC;YACJ,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAA;YACnC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;YACxF,GAAG,GAAG,GAAG,EAAE,QAAQ,CAAA;QACrB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,aAAa,CAAC,CAAU,EAAE,IAAU,EAAE,IAAY;IAChE,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,EAAE,eAAe,IAAI,EAAE,CAAC,CAAA;IAC/C,IAAI,CAAC,IAAI;QAAE,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,wDAAwD,IAAI,EAAE,CAAC,CAAA;IACtG,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAA;AAC3B,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAU,EAAE,KAAc,EAAE,MAA6B,EAAE,IAAY;IAC/F,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,gCAAgC,CAAC,CAAA;IACjG,IAAI,MAAM,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAA;QAChC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YAC7C,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,uBAAuB,EAAE,kCAAkC,CAAC,CAAA;QAC1F,gHAAgH;QAChH,OAAO,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC9E,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,CAAA;QAClE,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,eAAe,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,KAAK,gCAAgC,CAAC,CAAA;QACxF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YACxB,IAAI,CACF,aAAa,EACb,IAAI,EACJ,GAAG,MAAM,CAAC,KAAK,8EAA8E,CAC9F,CAAA;QACH,OAAO,MAAM,CAAC,KAAK,CAAA;IACrB,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM;QAAE,OAAO,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IACnF,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,MAAM,CAAE,MAAkB,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAA;AAC5F,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,CAAU,EAAE,IAAY,EAAE,IAAU,EAAE,IAAY;IAChF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAA;IACzC,MAAM,SAAS,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAA;IACjD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC9B,IAAI,SAAS,IAAI,CAAC;YAChB,OAAO,IAAI,CACT,aAAa,EACb,IAAI,EACJ,GAAG,IAAI,+EAA+E,CACvF,CAAA;QACH,qGAAqG;QACrG,IAAI,CAAC,CAAC,MAAM;YAAE,OAAO,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QAC7D,MAAM,EAAE,GAAG,GAAG,IAAI,cAAc,IAAI,EAAE,CAAA;QACtC,MAAM,GAAG,GAAG,GAAG,EAAE,QAAQ,CAAA;QACzB,IAAI,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;YAAE,OAAO,GAAG,CAAA;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC7B,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;QAC1C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAA;QAC5E,oHAAoH;QACpH,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACjE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAA;QAC1C,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5E,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,OAAO,IAAI,CAAC,aAAa,EAAE,IAAI,EAAE,GAAG,IAAI,SAAS,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAA;AAC/F,CAAC;AAED,0GAA0G;AAC1G,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAE,IAAY,EAAE,IAAU,EAAE,EAAE,CACtE,QAAQ,CAAC,CAAC,EAAE,GAAG,IAAI,cAAc,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAErD,oGAAoG;AACpG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAE,IAAY,EAAE,GAAuB,EAAE,EAAE,CAC5E,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;AAE3G,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAU,EAAE,IAAY,EAAE,IAAU,EAAE,EAAE;IACrE,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAC3C,OAAO,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AACvD,CAAC,CAAA;AAED;;;;GAIG;AACH,+EAA+E;AAC/E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAE,EAAE,CAC3C,IAAI,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AACjH;;;;EAIE;AACF,IAAI,IAA2D,CAAA;AAC/D,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE;IACvB,IAAI,CAAC;QACH,OAAO,OAAO,CAAC,GAAG,CAAC,sBAAsB,KAAK,GAAG,CAAA;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAC,EAAE,CAAA;AAEJ,uHAAuH;AACvH,MAAM,UAAU,eAAe,CAAC,KAAc,EAAE,KAAiB;IAC/D,MAAM,MAAM,GAAG,IAAI,CAAA;IACnB,IAAI,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAA;IAC7C,IAAI,CAAC;QACH,KAAK,EAAE,CAAA;IACT,CAAC;YAAS,CAAC;QACT,IAAI,GAAG,MAAM,CAAA;IACf,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAc,EAAE,GAAW,EAAE,UAAmB;IAC3E,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAA;IAC9B,6GAA6G;IAC7G,iFAAiF;IACjF,iFAAiF;IACjF,MAAM,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;IACrE,MAAM,QAAQ,GAAG,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC,CAAA;IAC1C,IAAI,IAAI,IAAI,UAAU,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;QAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,sDAAsD,GAAG,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,CAAS,EAAE,EAAE,CAC/B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAClH,IAAI,UAAU,CAAC,GAAG,CAAC;QAAE,OAAM;IAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAA;IAC9D,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,IAAI,GAAG,KAAK,UAAU;YAAE,OAAM;QAC9B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;QACzB,OAAO,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAA;QAC9B,OAAO,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;QAC/B,OAAM;IACR,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;IAC/B,IACE,CAAC,MAAM;QACP,MAAM,CAAC,EAAE,KAAK,SAAS;QACvB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAiC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;QAEvG,OAAM;IACR,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAA;IACtD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI;QAAE,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;AACzD,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,QAAQ,CAAC,CAAU,EAAE,EAAU;IAC7C,wHAAwH;IACxH,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC;QAAE,OAAO,IAAI,CAAA;IAC5E,yHAAyH;IACzH,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAA;IAC5E,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;IAC7D,OAAO,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AACpD,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAA;AAE9D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAU,EAAE,IAAU,EAAE,EAAE,CACpD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAA;AAE3E,uHAAuH;AACvH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAY,EAAE;IACpD,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,IAAI,GAAG,CAAC,CAAU,EAAQ,EAAE;QAChC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;aACjC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,KAAK,MAAM,GAAG,IAAI,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAA;aACpD,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAA;IACpF,CAAC,CAAA;IACD,IAAI,CAAC,KAAK,CAAC,CAAA;IACX,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA"}

package/dist/authoring-occupancy.d.ts

@@ -0,0 +1,28 @@
+import { type FigureAsset, type FigurePlacement } from './asset-types.ts';
+import { type FigureFace, type FigureAuthoringAction, type FigureOccupancyProposal } from './authoring-types.ts';
+type Dynamic = any;
+/** What the parts come to, and what a person is being asked to confirm. Reads the asset; changes nothing. */
+export declare function proposeFigureOccupancy(asset: FigureAsset, options?: {
+    over?: 'rest' | 'range';
+}): FigureOccupancyProposal;
+/**
+ * The placement says which plane the mounting plane is. A part already fastened to it by a face the new plane does not
+ * take -- a bottom on the floor, when the figure is to hang on a wall -- is named, not seated again without a word
+ * (chief architect's condition, 2026-09-25): fasten it again by the face the new plane takes.
+ */
+export declare function setPlacement(asset: Dynamic, a: {
+    kind: 'set-placement';
+    placement: FigurePlacement;
+}): Dynamic;
+export declare function declareOccupancy(asset: Dynamic, a: Extract<FigureAuthoringAction, {
+    kind: 'declare-occupancy';
+}>): Dynamic;
+/** "This face is what the figure is mounted on." Kept apart from how much room the figure takes up. */
+export declare function setMountingFace(asset: Dynamic, a: {
+    kind: 'set-mounting-face';
+    part: string;
+    face: FigureFace;
+}): Dynamic;
+export declare function clearMountingFace(asset: Dynamic): Dynamic;
+export {};
+//# sourceMappingURL=authoring-occupancy.d.ts.map

package/dist/authoring-occupancy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"authoring-occupancy.d.ts","sourceRoot":"","sources":["../src/authoring-occupancy.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,eAAe,EAAqB,MAAM,kBAAkB,CAAA;AAC5F,OAAO,EAEL,KAAK,UAAU,EAEf,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC7B,MAAM,sBAAsB,CAAA;AA6B7B,KAAK,OAAO,GAAG,GAAG,CAAA;AAkmBlB,6GAA6G;AAC7G,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,WAAW,EAClB,OAAO,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAO,GACxC,uBAAuB,CA6BzB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,SAAS,EAAE,eAAe,CAAA;CAAE,GAAG,OAAO,CAqB9G;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,OAAO,EACd,CAAC,EAAE,OAAO,CAAC,qBAAqB,EAAE;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,CAAC,GAC/D,OAAO,CAoFT;AAED,uGAAuG;AACvG,wBAAgB,eAAe,CAC7B,KAAK,EAAE,OAAO,EACd,CAAC,EAAE;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC/D,OAAO,CAwBT;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAIzD"}