@hatiolab/figure-model 0.1.92 → 0.1.94

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/{v3-score.d.ts → score.d.ts}

@@ -1,54 +1,54 @@
-import type { FigureGrade } from './v3-words.ts';
-import type { V3Asset, V3AssetGeometry } from './v3-asset-types.ts';
-export type V3BudgetKey = 'groups' | 'triangles' | 'independent' | 'moving' | 'transparent' | 'parts';
+import type { FigureGrade } from './words.ts';
+import type { FigureAsset, FigureAssetGeometry } from './asset-types.ts';
+export type FigureBudgetKey = 'groups' | 'triangles' | 'independent' | 'moving' | 'transparent' | 'parts';
 /** Every budget, in the order a screen draws them. */
-export declare const V3_BUDGET_KEYS: readonly V3BudgetKey[];
+export declare const FIGURE_BUDGET_KEYS: readonly FigureBudgetKey[];
 /**
  * How many parts the figure is authored with: one per authored part, a repeat once however many copies it makes. The number the detail level's limit (`PART_LIMIT`) is held against.
  */
-export declare function v3PartCountOf(asset: V3Asset): number;
+export declare function figurePartCountOf(asset: FigureAsset): number;
 /** The detail level's part budget, or nothing when the figure declares no level. */
-export declare function v3PartBudgetOf(asset: V3Asset): {
+export declare function figurePartBudgetOf(asset: FigureAsset): {
     level: 'S' | 'M' | 'L';
     used: number;
     limit: number;
 } | undefined;
-export interface V3BudgetUse {
-    key: V3BudgetKey;
+export interface FigureBudgetUse {
+    key: FigureBudgetKey;
     used: number;
     /** What one instance may use. For groups and triangles, the screen's total shared among the target's instances. */
     limit: number;
     /** `used / limit`. Over 1 breaks the budget. */
     ratio: number;
 }
-export interface V3Score {
+export interface FigureScore {
     /** 0–100, the headroom left on the tightest budget. */
     score: number;
     grade: FigureGrade;
     /** The budget closest to its limit. It decides the grade, so it is where to start. */
-    tightest: V3BudgetUse;
-    budgets: V3BudgetUse[];
+    tightest: FigureBudgetUse;
+    budgets: FigureBudgetUse[];
 }
 /** The grade bounds. A screen draws its scale from this list, so the two cannot disagree. */
-export declare const V3_GRADE_SCALE: readonly (readonly [FigureGrade, number])[];
-export declare function v3GradeOf(ratio: number): FigureGrade;
+export declare const FIGURE_GRADE_SCALE: readonly (readonly [FigureGrade, number])[];
+export declare function figureGradeOf(ratio: number): FigureGrade;
 /** What one instance may draw so that `LIMITS.screenInstances` of them fit on one screen. */
-export declare const V3_PER_INSTANCE: {
+export declare const FIGURE_PER_INSTANCE: {
     readonly groups: number;
     readonly triangles: number;
     readonly moving: number;
 };
 /** The key a body's material is shared by: token, preset, transparency and glow. */
-export declare function v3MaterialKeyOf(body: V3AssetGeometry): string;
+export declare function figureMaterialKeyOf(body: FigureAssetGeometry): string;
 /**
  * Drawn bodies that move with a state input. A body counts when the value that places it
  * depends on a state input (`dependence`, contract §2), which is what makes it carry its own transform frame to frame.
  * A visibility flag is not a placement, so a lamp that only switches on does not count.
  */
-export declare function v3IndependentBodiesOf(asset: V3Asset, drawn: readonly V3AssetGeometry[]): number;
+export declare function figureIndependentBodiesOf(asset: FigureAsset, drawn: readonly FigureAssetGeometry[]): number;
 /**
- * The grade of one asset, evaluated at its own design and state defaults as `v3CostOf` is. Nothing when no body is
+ * The grade of one asset, evaluated at its own design and state defaults as `figureCostOf` is. Nothing when no body is
  * drawn: there is nothing to grade, and a grade of A would say otherwise.
  */
-export declare function v3ScoreOf(asset: V3Asset): V3Score | undefined;
-//# sourceMappingURL=v3-score.d.ts.map
+export declare function figureScoreOf(asset: FigureAsset): FigureScore | undefined;
+//# sourceMappingURL=score.d.ts.map

package/dist/score.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"score.d.ts","sourceRoot":"","sources":["../src/score.ts"],"names":[],"mappings":"AAsBA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAM7C,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAA;AAExE,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,WAAW,GAAG,aAAa,GAAG,QAAQ,GAAG,aAAa,GAAG,OAAO,CAAA;AAEzG,sDAAsD;AACtD,eAAO,MAAM,kBAAkB,EAAE,SAAS,eAAe,EAA6E,CAAA;AAEtI;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAE5D;AAED,oFAAoF;AACpF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,WAAW,GAAG;IAAE,KAAK,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAG1H;AAED,MAAM,WAAW,eAAe;IAC9B,GAAG,EAAE,eAAe,CAAA;IACpB,IAAI,EAAE,MAAM,CAAA;IACZ,mHAAmH;IACnH,KAAK,EAAE,MAAM,CAAA;IACb,gDAAgD;IAChD,KAAK,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,WAAW,CAAA;IAClB,sFAAsF;IACtF,QAAQ,EAAE,eAAe,CAAA;IACzB,OAAO,EAAE,eAAe,EAAE,CAAA;CAC3B;AAED,6FAA6F;AAC7F,eAAO,MAAM,kBAAkB,EAAE,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,EAIzE,CAAA;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAGxD;AAED,6FAA6F;AAC7F,eAAO,MAAM,mBAAmB;;;;CAItB,CAAA;AAEV,oFAAoF;AACpF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,GAAG,MAAM,CAIrE;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,mBAAmB,EAAE,GAAG,MAAM,CAG3G;AAaD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAqCzE"}

package/dist/{v3-score.js → score.js}

@@ -2,7 +2,7 @@
  * Copyright © HatioLab Inc. All rights reserved.
  */
 /*
- * How much room a V3 asset leaves — its grade, A to D, from one place so the modeller and the catalogue agree.
+ * How much room a asset leaves — its grade, A to D, from one place so the modeller and the catalogue agree.
  *
  * The grade is the headroom against a target: **how many of this figure one screen must hold** (`LIMITS.screenInstances`,
  * chief architect's ruling 2026-09-24 on ADR-0051's 09-19 ruling). One screen holds `LIMITS.groupsOnScreen` draw groups
@@ -18,46 +18,46 @@
  * The bounds: A up to half of a budget used, B up to three quarters, C up to all of it, D over.
  * The tightest budget decides — it is where to start.
  */
-import { LIMITS, PART_LIMIT } from "./v3-words.js";
-import { compileV3Asset } from "./v3-asset.js";
-import { compileV3Document } from "./v3-document.js";
-import { v3WritersOf } from "./v3-gate.js";
-import { v3TrianglesOf } from "./v3-cost.js";
-import { v3RenderBatchesOf } from "./v3-render-batches.js";
+import { LIMITS, PART_LIMIT } from "./words.js";
+import { compileFigureAsset } from "./asset.js";
+import { compileFigureDocument } from "./document.js";
+import { figureWritersOf } from "./gate.js";
+import { figureTrianglesOf } from "./cost.js";
+import { figureRenderBatchesOf } from "./render-batches.js";
 /** Every budget, in the order a screen draws them. */
-export const V3_BUDGET_KEYS = ['groups', 'triangles', 'independent', 'moving', 'transparent', 'parts'];
+export const FIGURE_BUDGET_KEYS = ['groups', 'triangles', 'independent', 'moving', 'transparent', 'parts'];
 /**
  * How many parts the figure is authored with: one per authored part, a repeat once however many copies it makes. The number the detail level's limit (`PART_LIMIT`) is held against.
  */
-export function v3PartCountOf(asset) {
+export function figurePartCountOf(asset) {
     return asset.appearance.length;
 }
 /** The detail level's part budget, or nothing when the figure declares no level. */
-export function v3PartBudgetOf(asset) {
+export function figurePartBudgetOf(asset) {
     if (!asset.detailLevel)
         return undefined;
-    return { level: asset.detailLevel, used: v3PartCountOf(asset), limit: PART_LIMIT[asset.detailLevel] };
+    return { level: asset.detailLevel, used: figurePartCountOf(asset), limit: PART_LIMIT[asset.detailLevel] };
 }
 /** The grade bounds. A screen draws its scale from this list, so the two cannot disagree. */
-export const V3_GRADE_SCALE = [
+export const FIGURE_GRADE_SCALE = [
     ['A', 0.5],
     ['B', 0.75],
     ['C', 1]
 ];
-export function v3GradeOf(ratio) {
-    for (const [grade, bound] of V3_GRADE_SCALE)
+export function figureGradeOf(ratio) {
+    for (const [grade, bound] of FIGURE_GRADE_SCALE)
         if (ratio <= bound)
             return grade;
     return 'D';
 }
 /** What one instance may draw so that `LIMITS.screenInstances` of them fit on one screen. */
-export const V3_PER_INSTANCE = {
+export const FIGURE_PER_INSTANCE = {
     groups: LIMITS.groupsOnScreen / LIMITS.screenInstances,
     triangles: LIMITS.trianglesOnScreen / LIMITS.screenInstances,
     moving: LIMITS.movingBodiesOnScreen / LIMITS.screenInstances
 };
 /** The key a body's material is shared by: token, preset, transparency and glow. */
-export function v3MaterialKeyOf(body) {
+export function figureMaterialKeyOf(body) {
     const m = body.material;
     const on = m.emissive?.on ? `on:${m.emissive.token}:${m.emissive.intensity}` : 'off';
     return `${m.token}|${m.preset ?? 'default'}|${m.transparent ? 't' : 'o'}|${on}`;
@@ -67,14 +67,14 @@ export function v3MaterialKeyOf(body) {
  * depends on a state input (`dependence`, contract §2), which is what makes it carry its own transform frame to frame.
  * A visibility flag is not a placement, so a lamp that only switches on does not count.
  */
-export function v3IndependentBodiesOf(asset, drawn) {
+export function figureIndependentBodiesOf(asset, drawn) {
     const moves = movingOf(asset);
     return drawn.filter(moves).length;
 }
 /** Whether a drawn body moves with a state input: the value that places it depends on one. */
 function movingOf(asset) {
-    const plan = compileV3Document(asset.document);
-    const writers = v3WritersOf(asset);
+    const plan = compileFigureDocument(asset.document);
+    const writers = figureWritersOf(asset);
     const nodes = new Map(asset.document.model.nodes.map(node => [node.id, node]));
     return body => {
         const node = nodes.get(('key' in body && body.key ? writers.get(body.key) : body.id) ?? '');
@@ -82,37 +82,37 @@ function movingOf(asset) {
     };
 }
 /**
- * The grade of one asset, evaluated at its own design and state defaults as `v3CostOf` is. Nothing when no body is
+ * The grade of one asset, evaluated at its own design and state defaults as `figureCostOf` is. Nothing when no body is
  * drawn: there is nothing to grade, and a grade of A would say otherwise.
  */
-export function v3ScoreOf(asset) {
-    const drawn = compileV3Asset(asset)
+export function figureScoreOf(asset) {
+    const drawn = compileFigureAsset(asset)
         .evaluate()
         .geometry.filter(body => body.visible !== false);
     if (!drawn.length)
         return undefined;
-    const triangles = drawn.reduce((sum, body) => sum + v3TrianglesOf(body), 0);
-    const transparent = new Set(drawn.filter(body => body.material.transparent).map(v3MaterialKeyOf)).size;
+    const triangles = drawn.reduce((sum, body) => sum + figureTrianglesOf(body), 0);
+    const transparent = new Set(drawn.filter(body => body.material.transparent).map(figureMaterialKeyOf)).size;
     /*
-      As the renderer draws them (v3RenderBatchesOf, the rule it draws by -- ADR-0087 amended 2026-09-26): a draw group per
+      As the renderer draws them (figureRenderBatchesOf, the rule it draws by -- ADR-0087 amended 2026-09-26): a draw group per
       batch of a row's copies and per body drawn alone; what moves on its own counted once a batch; and every body that
       moves re-evaluated and moved each frame.
     */
     const moves = movingOf(asset);
-    const plan = v3RenderBatchesOf(drawn);
+    const plan = figureRenderBatchesOf(drawn);
     const byId = new Map(drawn.map(body => [body.id, body]));
     const groups = plan.batches.length + plan.alone.length;
     const independent = plan.batches.filter(b => b.ids.some(id => moves(byId.get(id)))).length + plan.alone.filter(id => moves(byId.get(id))).length;
     const moving = drawn.filter(moves).length;
     const budget = (key, used, limit) => ({ key, used, limit, ratio: used / limit });
     const budgets = [
-        budget('groups', groups, V3_PER_INSTANCE.groups),
-        budget('triangles', triangles, V3_PER_INSTANCE.triangles),
+        budget('groups', groups, FIGURE_PER_INSTANCE.groups),
+        budget('triangles', triangles, FIGURE_PER_INSTANCE.triangles),
         budget('independent', independent, LIMITS.independentParts),
-        budget('moving', moving, V3_PER_INSTANCE.moving),
+        budget('moving', moving, FIGURE_PER_INSTANCE.moving),
         budget('transparent', transparent, LIMITS.transparentMaterials),
         /* The detail level's part budget, when the figure declares a level. */
-        ...(asset.detailLevel ? [budget('parts', v3PartCountOf(asset), PART_LIMIT[asset.detailLevel])] : [])
+        ...(asset.detailLevel ? [budget('parts', figurePartCountOf(asset), PART_LIMIT[asset.detailLevel])] : [])
     ];
     let tightest = budgets[0];
     for (const one of budgets)
@@ -120,9 +120,9 @@ export function v3ScoreOf(asset) {
             tightest = one;
     return {
         score: Math.max(0, Math.round(100 * (1 - tightest.ratio))),
-        grade: v3GradeOf(tightest.ratio),
+        grade: figureGradeOf(tightest.ratio),
         tightest,
         budgets
     };
 }
-//# sourceMappingURL=v3-score.js.map
+//# sourceMappingURL=score.js.map

package/dist/score.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"score.js","sourceRoot":"","sources":["../src/score.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;;;;;;;;;GAgBG;AACH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAC/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAK3D,sDAAsD;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAA+B,CAAC,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,CAAA;AAEtI;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAkB;IAClD,OAAO,KAAK,CAAC,UAAU,CAAC,MAAM,CAAA;AAChC,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,kBAAkB,CAAC,KAAkB;IACnD,IAAI,CAAC,KAAK,CAAC,WAAW;QAAE,OAAO,SAAS,CAAA;IACxC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAA;AAC3G,CAAC;AAoBD,6FAA6F;AAC7F,MAAM,CAAC,MAAM,kBAAkB,GAAgD;IAC7E,CAAC,GAAG,EAAE,GAAG,CAAC;IACV,CAAC,GAAG,EAAE,IAAI,CAAC;IACX,CAAC,GAAG,EAAE,CAAC,CAAC;CACT,CAAA;AAED,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,kBAAkB;QAAE,IAAI,KAAK,IAAI,KAAK;YAAE,OAAO,KAAK,CAAA;IACjF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,eAAe;IACtD,SAAS,EAAE,MAAM,CAAC,iBAAiB,GAAG,MAAM,CAAC,eAAe;IAC5D,MAAM,EAAE,MAAM,CAAC,oBAAoB,GAAG,MAAM,CAAC,eAAe;CACpD,CAAA;AAEV,oFAAoF;AACpF,MAAM,UAAU,mBAAmB,CAAC,IAAyB;IAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAA;IACvB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,KAAK,CAAA;IACpF,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,IAAI,SAAS,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAA;AACjF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,KAAkB,EAAE,KAAqC;IACjG,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC7B,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;AACnC,CAAC;AAED,8FAA8F;AAC9F,SAAS,QAAQ,CAAC,KAAkB;IAClC,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;IAClD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC9E,OAAO,IAAI,CAAC,EAAE;QACZ,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;QAC3F,OAAO,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;IACnG,CAAC,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB;IAC9C,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC;SACpC,QAAQ,EAAE;SACV,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,CAAA;IAClD,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,SAAS,CAAA;IACnC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAA;IAC1G;;;;MAIE;IACF,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC7B,MAAM,IAAI,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAA;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IACxD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC,CAAC,MAAM,CAAA;IAClJ,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAA;IAEzC,MAAM,MAAM,GAAG,CAAC,GAAoB,EAAE,IAAY,EAAE,KAAa,EAAmB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAG,KAAK,EAAE,CAAC,CAAA;IAClI,MAAM,OAAO,GAAG;QACd,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC;QACpD,MAAM,CAAC,WAAW,EAAE,SAAS,EAAE,mBAAmB,CAAC,SAAS,CAAC;QAC7D,MAAM,CAAC,aAAa,EAAE,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC;QAC3D,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC;QACpD,MAAM,CAAC,aAAa,EAAE,WAAW,EAAE,MAAM,CAAC,oBAAoB,CAAC;QAC/D,uEAAuE;QACvE,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;KACzG,CAAA;IACD,IAAI,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAA;IAC1B,KAAK,MAAM,GAAG,IAAI,OAAO;QAAE,IAAI,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK;YAAE,QAAQ,GAAG,GAAG,CAAA;IACzE,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC;QACpC,QAAQ;QACR,OAAO;KACR,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/{v3-shape-sampling.d.ts → shape-sampling.d.ts}

@@ -1,4 +1,4 @@
-import type { V3Shape } from './v3-graph-types.ts';
+import type { FigureShape } from './graph-types.ts';
 export type Point = [number, number, number];
 /** Points on the outline of a rounded rectangle in the X–Z plane, centred, y = 0. */
 export declare function roundedOutline(width: number, depth: number, roundX: number, roundZ: number): Point[];
@@ -8,7 +8,7 @@ export declare function cylinderPoints(rx: number, rz: number, length: number, s
 /** Points on an ellipsoid: a fixed latitude–longitude grid. */
 export declare function spherePoints(rx: number, ry: number, rz: number): Point[];
 export declare function boxPoints(w: number, h: number, d: number): Point[];
-/** Surface points of a V3 shape in its own frame. */
-export declare function v3ShapePoints(shape: V3Shape, segments?: number): Point[];
+/** Surface points of a shape in its own frame. */
+export declare function figureShapePoints(shape: FigureShape, segments?: number): Point[];
 export declare function transformPoints(points: readonly Point[], r: number[][], t: readonly number[]): Point[];
-//# sourceMappingURL=v3-shape-sampling.d.ts.map
+//# sourceMappingURL=shape-sampling.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"shape-sampling.d.ts","sourceRoot":"","sources":["../src/shape-sampling.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAEnD,MAAM,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAK5C,qFAAqF;AACrF,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,EAAE,CA2BpG;AAED,wBAAgB,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,EAAE,CAEzD;AAED,mEAAmE;AACnE,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,KAAK,EAAE,CAQhG;AAED,+DAA+D;AAC/D,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,KAAK,EAAE,CAaxE;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,KAAK,EAAE,CAIlE;AAED,kDAAkD;AAClD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,EAAE,CA+ChF;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,KAAK,EAAE,CAMtG"}

package/dist/{v3-shape-sampling.js → shape-sampling.js}

@@ -61,8 +61,8 @@ export function boxPoints(w, h, d) {
                 pts.push([(sx * w) / 2, (sy * h) / 2, (sz * d) / 2]);
     return pts;
 }
-/** Surface points of a V3 shape in its own frame. */
-export function v3ShapePoints(shape, segments) {
+/** Surface points of a shape in its own frame. */
+export function figureShapePoints(shape, segments) {
     const d = shape.dimensions;
     switch (shape.provider) {
         case 'box':
@@ -117,4 +117,4 @@ export function transformPoints(points, r, t) {
         r[2][0] * x + r[2][1] * y + r[2][2] * z + t[2]
     ]);
 }
-//# sourceMappingURL=v3-shape-sampling.js.map
+//# sourceMappingURL=shape-sampling.js.map

package/dist/shape-sampling.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape-sampling.js","sourceRoot":"","sources":["../src/shape-sampling.ts"],"names":[],"mappings":"AAQA,iGAAiG;AACjG,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAE1B,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,KAAa,EAAE,MAAc,EAAE,MAAc;IACzF,mFAAmF;IACnF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;IACtC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,CAAC,CAAA;IACtC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,EAClB,EAAE,GAAG,KAAK,GAAG,CAAC,CAAA;IAChB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACvF,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,gHAAgH;IAChH,MAAM,OAAO,GAAiC;QAC5C,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACpD,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KACxD,CAAA;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;QAClC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,gBAAgB,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,EAC5B,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EACrB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EACnB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACX,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACnF,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,OAAgB,EAAE,CAAS;IAC9C,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,AAAD,EAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7C,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAAC,EAAU,EAAE,EAAU,EAAE,MAAc,EAAE,QAAgB;IACrF,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YACtC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACnD,CAAC;IACH,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,YAAY,CAAC,EAAU,EAAE,EAAU,EAAE,EAAU;IAC7D,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,MAAM,KAAK,GAAG,CAAC,EACb,MAAM,GAAG,EAAE,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,EAAE,CAAA;QACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;YACrC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACtG,CAAC;IACH,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IACjC,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,CAAS,EAAE,CAAS,EAAE,CAAS;IACvD,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAClI,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iBAAiB,CAAC,KAAkB,EAAE,QAAiB;IACrE,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAA;IAC1B,QAAQ,KAAK,CAAC,QAAQ,EAAE,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,MAAO,EAAE,CAAC,CAAC,KAAM,CAAC,CAAA;QACjD,KAAK,UAAU;YACb,OAAO,cAAc,CAAC,CAAC,CAAC,MAAO,EAAE,CAAC,CAAC,MAAO,EAAE,CAAC,CAAC,MAAO,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAA;QACxE,KAAK,kBAAkB;YACrB,OAAO,cAAc,CAAC,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,MAAO,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAA;QAC1E,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,MAAO,EAAE,CAAC,CAAC,MAAO,CAAC,CAAA;YACtE,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,CAAC,CAAA;QACxE,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,MAAO,EAAE,CAAC,CAAC,MAAO,CAAC,CAAA;YACtE,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAM,GAAG,CAAC,GAAG,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,GAAG,CAAC,GAAG,CAAC,CAAC,KAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,CAAC,CAAA;YACpJ,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAM,CAAC,CAAC,CAAA;QAClJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAY,EAAE,CAAA;YACvB,MAAM,GAAG,GAAG,QAAQ,IAAI,EAAE,CAAA;YAC1B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,EAAE,CAAC,CAAC,YAAa,CAAC,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,EAAE,CAAC,CAAC,SAAU,CAAC,CAAU;gBAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;oBACjC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;gBACjD,CAAC;YACH,OAAO,GAAG,CAAA;QACZ,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,YAAY,CAAC,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,OAAQ,EAAE,CAAC,CAAC,OAAQ,CAAC,CAAA;QACzD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,CAAC,CAAA;YACpE,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,CAAC,CAAA;QACxE,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,CAAC,CAAA;YACpE,yGAAyG;YACzG,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,KAAM,GAAG,CAAC,GAAG,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,KAAM,GAAG,CAAC,GAAG,CAAC,CAAC,KAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,KAAM,EAAE,CAAC,CAAC,CAAC,CAAA;YAClJ,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,GAAG,CAAC,CAAC,KAAM,CAAC,CAAC,CAAA;QAClJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,EAAE,CAAA;YACnC,OAAO,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAU,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAO,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAU,CAAC,CAAC,CAAA;QAC5H,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAM,GAAG,CAAC,CAAC,CAAY,CAAC,CAAA;IAC/G,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAwB,EAAE,CAAa,EAAE,CAAoB;IAC3F,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QAC/B,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE;QACrD,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE;QACrD,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE;KACtD,CAAC,CAAA;AACJ,CAAC"}