@hatiolab/figure-model 0.1.92 → 0.1.94

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

@@ -1,9 +1,9 @@
 /*
- * Figures authored in V3 terms, with the commands the modeller and the AI share -- examples, acceptance tests of the
+ * Figures authored in terms, with the commands the modeller and the AI share -- examples, acceptance tests of the
  * authoring language, and the seeds a new domain starts with.
  */
-import { applyV3Authoring, proposeV3Occupancy } from "./v3-authoring-actions.js";
-import { addV3Primitive, createV3Asset } from "./v3-create.js";
+import { applyFigureAuthoring, proposeFigureOccupancy } from "./authoring-actions.js";
+import { addFigurePrimitive, createFigureAsset } from "./create.js";
 const box = (id, width, height, depth, token = 'palette.primary') => ({ id, kind: 'box', dimensions: { width, height, depth }, position: { x: 0, y: 0, z: 0 }, material: { token, preset: 'metal' } });
 const cylinder = (id, radius, length, token = 'palette.dark') => ({ id, kind: 'cylinder', dimensions: { radius, length }, position: { x: 0, y: 0, z: 0 }, material: { token, preset: 'metal' } });
 /** The chain, from the floor up: each part's bottom on the top of the one before. */
@@ -23,11 +23,11 @@ export const ROBOT_ARM_CHAIN = [
  * A six-axis arm: each link joined to the one before at a joint, which is the one relation the arm needs; every size is
  * the part's own number. The room it takes is worked out.
  */
-export function robotArmV3() {
-    let asset = createV3Asset('6축 로봇암');
+export function robotArmFigure() {
+    let asset = createFigureAsset('6축 로봇암');
     asset.palette = { 'palette.primary': '#477b9e', 'palette.dark': '#2b2b2b', 'palette.accent': '#f79c40', 'palette.neutral': '#9a9a9a' };
-    const run = (action) => (asset = applyV3Authoring(asset, action));
-    ROBOT_ARM_CHAIN.forEach(({ part }) => (asset = addV3Primitive(asset, part)));
+    const run = (action) => (asset = applyFigureAuthoring(asset, action));
+    ROBOT_ARM_CHAIN.forEach(({ part }) => (asset = addFigurePrimitive(asset, part)));
     run({ kind: 'set-joint', joint: { id: 'base', type: 'fixed', body0: { plane: 'mounting-plane' }, body1: { part: 'base', face: 'bottom' } } });
     ROBOT_ARM_CHAIN.forEach(({ part, joint }, i) => {
         if (i === 0)
@@ -41,12 +41,12 @@ export function robotArmV3() {
             run({ kind: 'set-joint', joint: { id: joint.id, type: 'revolute', ...hang, axis: joint.axis, lowerLimit: joint.min, upperLimit: joint.max } });
     });
     /* Two fingers on the gripper's top, at its two ends, closing towards each other from one value (0..45 mm): the right one mimics. */
-    asset = addV3Primitive(asset, box('finger-left', 20, 90, 40, 'palette.neutral'));
-    asset = addV3Primitive(asset, box('finger-right', 20, 90, 40, 'palette.neutral'));
+    asset = addFigurePrimitive(asset, box('finger-left', 20, 90, 40, 'palette.neutral'));
+    asset = addFigurePrimitive(asset, box('finger-right', 20, 90, 40, 'palette.neutral'));
     run({ kind: 'set-joint', joint: { id: 'gripper', type: 'prismatic', body0: { part: 'gripper', face: 'top' }, body1: { part: 'finger-left', face: 'bottom' }, origin: { align: { x: 'min' } }, axis: 'X', lowerLimit: 0, upperLimit: 45 } });
     run({ kind: 'set-joint', joint: { id: 'gripper-mirror', type: 'prismatic', body0: { part: 'gripper', face: 'top' }, body1: { part: 'finger-right', face: 'bottom' }, origin: { align: { x: 'max' } }, axis: 'X', mimic: { joint: 'gripper', multiplier: -1 } } });
     run({ kind: 'set-detail-level', level: 'L' });
-    run({ kind: 'declare-occupancy', proposal: proposeV3Occupancy(asset, { over: 'range' }), placement: 'floor' });
+    run({ kind: 'declare-occupancy', proposal: proposeFigureOccupancy(asset, { over: 'range' }), placement: 'floor' });
     return asset;
 }
-//# sourceMappingURL=v3-examples.js.map
+//# sourceMappingURL=examples.js.map

package/dist/examples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.js","sourceRoot":"","sources":["../src/examples.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAA8B,MAAM,wBAAwB,CAAA;AACjH,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAgC,MAAM,aAAa,CAAA;AAIjG,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,KAAa,EAAE,MAAc,EAAE,KAAa,EAAE,KAAK,GAAG,iBAAiB,EAAQ,EAAE,CACxG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAS,CAAA;AAC3I,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAE,MAAc,EAAE,MAAc,EAAE,KAAK,GAAG,cAAc,EAAQ,EAAE,CAC5F,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,CAAS,CAAA;AAE1I,qFAAqF;AACrF,MAAM,CAAC,MAAM,eAAe,GAA2G;IACrI,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE;IACpC,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;IAChG,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE;IAC1D,EAAE,IAAI,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE;IACrG,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE;IACvD,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;IAClG,EAAE,IAAI,EAAE,QAAQ,CAAC,YAAY,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;IACxG,EAAE,IAAI,EAAE,GAAG,CAAC,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;IAC9H,EAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,iBAAiB,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;IACxI,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,cAAc,CAAC,EAAE;CACtD,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc;IAC5B,IAAI,KAAK,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAA;IACvC,KAAK,CAAC,OAAO,GAAG,EAAE,iBAAiB,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,EAAE,SAAS,EAAE,CAAA;IACtI,MAAM,GAAG,GAAG,CAAC,MAA6B,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;IAC5F,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAChF,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAA;IAC7I,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE;QAC7C,IAAI,CAAC,KAAK,CAAC;YAAE,OAAM;QACnB,MAAM,IAAI,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE,EAAE,CAAA;QAC1I,IAAI,CAAC,KAAK;YAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC,CAAA;aACjF,IAAI,KAAK,CAAC,UAAU;YAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;;YACtH,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IACrJ,CAAC,CAAC,CAAA;IACF,oIAAoI;IACpI,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,aAAa,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAA;IACpF,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,cAAc,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAA;IACrF,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,CAAA;IAC3O,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACjQ,GAAG,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;IAC7C,GAAG,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,sBAAsB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;IAClH,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/{v3-follow.d.ts → follow.d.ts}

@@ -1,7 +1,7 @@
-import type { V3Asset } from './v3-asset-types.ts';
-import type { Axis } from './v3-words.ts';
+import type { FigureAsset } from './asset-types.ts';
+import type { Axis } from './words.ts';
 /** What one dimension of a part is worked out from. */
-export type V3Follow = {
+export type FigureFollow = {
     of: 'own';
 }
 /** `times` 1 is the instance size itself; any other is a share of it. */
@@ -24,5 +24,5 @@ export type V3Follow = {
  | {
     of: 'expression';
 };
-export declare function v3FollowOf(asset: V3Asset, part: string, axis: Axis): V3Follow;
-//# sourceMappingURL=v3-follow.d.ts.map
+export declare function figureFollowOf(asset: FigureAsset, part: string, axis: Axis): FigureFollow;
+//# sourceMappingURL=follow.d.ts.map

package/dist/follow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"follow.d.ts","sourceRoot":"","sources":["../src/follow.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAItC,uDAAuD;AACvD,MAAM,MAAM,YAAY,GACpB;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE;AACf,yEAAyE;GACvE;IAAE,EAAE,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE;AAChC,iDAAiD;GAC/C;IAAE,EAAE,EAAE,YAAY,CAAA;CAAE,CAAA;AASxB,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,YAAY,CAuDzF"}

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

@@ -1,5 +1,5 @@
 const AXES = ['x', 'y', 'z'];
-export function v3FollowOf(asset, part, axis) {
+export function figureFollowOf(asset, part, axis) {
     const m = asset.document.model;
     /*
       A link routes the dimension through `<part>.dimension.<axis>`; before any link the shape reads its measure directly,
@@ -65,4 +65,4 @@ export function v3FollowOf(asset, part, axis) {
     };
     return walk(at);
 }
-//# sourceMappingURL=v3-follow.js.map
+//# sourceMappingURL=follow.js.map

package/dist/follow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"follow.js","sourceRoot":"","sources":["../src/follow.ts"],"names":[],"mappings":"AAQA,MAAM,IAAI,GAAoB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;AAmB7C,MAAM,UAAU,cAAc,CAAC,KAAkB,EAAE,IAAY,EAAE,IAAU;IACzE,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAqH,CAAA;IAC9I;;;MAGE;IACF,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,cAAc,IAAI,EAAE,CAAC,CAAA;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,QAAQ,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;IACzG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAA;IACzE,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAA;IACrE,+FAA+F;IAC/F,IAAI,KAAK,GAAG,CAAC,CAAA;IACb;;;MAGE;IACF,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,EAAE,GAAG,KAAK,CAAA;IACd,MAAM,KAAK,GAAG,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrC,IAAI,KAAK,EAAE,EAAE,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;QACvD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAE,CAAC,KAAK,CAAA;YACnC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACjB,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,CAAmB,CAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACxE,MAAM,IAAI,GAAG,CAAC,GAAW,EAAgB,EAAE;QACzC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAA;QAC9C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC5C,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,UAAmB,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,CAAA;QAC3H,MAAM,KAAK,GAAG,mCAAmC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC3D,IAAI,KAAK;YAAE,OAAO,QAAQ,CAAC,EAAE,EAAE,EAAE,MAAe,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAS,EAAE,GAAG,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC9J,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAA;QAC9C,IAAI,KAAK;YAAE,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAA;QAC1F,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAA;QAC5B,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAA;QACxC,4DAA4D;QAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAA;QACxD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAA;QACpD;;;UAGE;QACF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAE,CAAC,KAAK,CAAC,CAAA;QACzF,IAAI,MAAM,CAAC,EAAE,KAAK,OAAO;YAAE,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;aACjE,IAAI,MAAM,CAAC,EAAE,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;YAAE,KAAK,IAAI,OAAO,CAAC,CAAC,CAAE,CAAA;aAC3H,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,CAAA;QAC7H,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAA;IACzB,CAAC,CAAA;IACD,OAAO,IAAI,CAAC,EAAE,CAAC,CAAA;AACjB,CAAC"}

package/dist/{v3-gate.d.ts → gate.d.ts}

@@ -1,9 +1,9 @@
-import type { Axis, Vec3 } from './v3-words.ts';
-import type { V3Asset, V3Placement } from './v3-asset-types.ts';
-import type { V3Geometry } from './v3-graph-types.ts';
-import { type Point } from './v3-shape-sampling.ts';
+import type { Axis, Vec3 } from './words.ts';
+import type { FigureAsset, FigurePlacement } from './asset-types.ts';
+import type { FigureGeometry } from './graph-types.ts';
+import { type Point } from './shape-sampling.ts';
 /** One placed body in the asset frame: its centre, axis-aligned world extents and rotation. */
-export interface V3WorldBox {
+export interface FigureWorldBox {
     part: string;
     centre: Vec3;
     /** Axis-aligned world extents, what the occupancy gate measures. */
@@ -15,25 +15,25 @@ export interface V3WorldBox {
     points?: Point[];
 }
 /** Axis-aligned world boxes of evaluated geometry. `part` is the placing node: a `place@1` id or the repeated member. */
-export declare function v3WorldBoxesOf(geometry: readonly V3Geometry[], writers: ReadonlyMap<string, string>, options?: {
+export declare function figureWorldBoxesOf(geometry: readonly FigureGeometry[], writers: ReadonlyMap<string, string>, options?: {
     points?: boolean;
-}): V3WorldBox[];
+}): FigureWorldBox[];
 /**
  * Every placed body including the ones that are not drawn. The declared occupancy does not shrink or grow with
- * visibility (V3 designer's ruling 2026-09-22), so the gate measures against this, not against the drawn set.
+ * visibility (designer's ruling 2026-09-22), so the gate measures against this, not against the drawn set.
  */
-export declare function v3OccupiedBoxesOf(geometry: readonly V3Geometry[], writers: ReadonlyMap<string, string>, options?: {
+export declare function figureOccupiedBoxesOf(geometry: readonly FigureGeometry[], writers: ReadonlyMap<string, string>, options?: {
     points?: boolean;
-}): V3WorldBox[];
+}): FigureWorldBox[];
 /**
  * How wide, tall and deep the figure's parts are, standing as they rest: the union of their boxes. The size a figure
  * is authored at -- not the room it takes, which also holds where its joints can carry its parts (a door's swing):
  * measuring that instead declared a 1100 mm door 8208 mm every way (2026-09-25).
  */
-export declare function v3PartsExtentOf(asset: V3Asset): Record<Axis, number>;
+export declare function figurePartsExtentOf(asset: FigureAsset): Record<Axis, number>;
 /** Who writes each graph value, by node id. */
-export declare function v3WritersOf(asset: V3Asset): Map<string, string>;
-export interface V3Violation {
+export declare function figureWritersOf(asset: FigureAsset): Map<string, string>;
+export interface FigureViolation {
     code: 'OCCUPANCY_UNDECLARED' | 'PART_OUTSIDE_OCCUPANCY' | 'PARTS_OFF_PLACEMENT_FACE' | 'PLACEMENT_FACE_TILTED' | 'PARTS_SPLIT_ON_RESIZE' | 'SIZING_NOT_UNIFORM' | 'PUBLIC_INPUT_REFUSED';
     /** The part that is out, or the one whose face the asset declares as what it is mounted on. */
     part?: string;
@@ -61,7 +61,7 @@ export interface V3Violation {
  *             them. Never a bound over the whole range.
  *   defaults  the caller asked for one state only
  */
-export interface V3Coverage {
+export interface FigureCoverage {
     method: 'proven' | 'sampled' | 'defaults';
     /** The state inputs ranged over, with their bounds. */
     inputs: Array<{
@@ -75,12 +75,14 @@ export interface V3Coverage {
     sweepSteps?: number;
     /** For `sampled`: why `proven` could not be claimed. */
     unprovable?: string[];
+    /** `as-given`: the design values were held as the asset has them, not ranged -- this covers one size, not all. */
+    design?: 'as-given';
     detail: string;
 }
 /**
  * What each operator does to a value's extremes over the state box. Every operator in the kernel is listed by
  * name — no pattern, no default — so a new one has no classification until someone writes its basis down, and
- * `v3-state-dimension.test.ts` fails until they do.
+ * `state-dimension.test.ts` fails until they do.
  *
  *  - `multilinear`: degree one in each state input given multilinear arguments, so the extreme sits at a corner
  *    however the value is later combined. Sums; products and quotients under the conditions checked in
@@ -93,13 +95,13 @@ export interface V3Coverage {
  *    keys that move or turn around, `geomean` refuses factors that share an input.
  *  - `unknown`: nothing is claimed. A state-dependent argument here means the coverage falls back to sampling.
  */
-export declare const V3_STATE_EXTREME_BASIS: Readonly<Record<string, 'multilinear' | 'monotone' | 'unknown'>>;
+export declare const FIGURE_STATE_EXTREME_BASIS: Readonly<Record<string, 'multilinear' | 'monotone' | 'unknown'>>;
 /**
  * The same basis over the design inputs a board may set (ADR-0096), which reach where state never may: a row's layout.
  * Its count is a floor -- not multilinear -- so a value that reaches a count through a public input is not proven by
  * corners (chief architect's condition, 2026-09-26: read off the table, not decided by hand).
  */
-export declare const V3_DESIGN_EXTREME_BASIS: Readonly<Record<string, 'multilinear' | 'monotone' | 'unknown'>>;
+export declare const FIGURE_DESIGN_EXTREME_BASIS: Readonly<Record<string, 'multilinear' | 'monotone' | 'unknown'>>;
 /**
  * Why the extremes of every state-dependent coordinate lie at the corners of the state box, or why that cannot be
  * shown. The basis: a value that is multilinear in the state inputs (each input to degree one) or a monotone
@@ -110,7 +112,7 @@ export declare const V3_DESIGN_EXTREME_BASIS: Readonly<Record<string, 'multiline
  * an input. Returns the reasons it fails, empty when it holds.
  *
  * Monotone in each argument is not the same as monotone in a state input the arguments share, and a value that
- * is merely monotone cannot be combined further. Both were found by the V3 designer, 2026-09-23:
+ * is merely monotone cannot be combined further. Both were found by the designer, 2026-09-23:
  * `10 + 100·min(q, 1−q)` is widest in the middle, and `10 + 100·(√q − q)` is widest at q = ¼. The gate called
  * both proven.
  *
@@ -123,8 +125,8 @@ export declare const V3_DESIGN_EXTREME_BASIS: Readonly<Record<string, 'multiline
  * input — a sum, a product, a pose composed onto it — is refused. A new operator is bent until someone shows
  * it preserves multilinearity and adds it to the list.
  */
-export declare function cornerExtremalBasis(asset: V3Asset, dependence: Record<string, string[]>, basis?: Readonly<Record<string, string>>): string[];
-export interface V3Inspection {
+export declare function cornerExtremalBasis(asset: FigureAsset, dependence: Record<string, string[]>, basis?: Readonly<Record<string, string>>): string[];
+export interface FigureInspection {
     /** The declared volume as evaluated, when declared: the reach on each side of the asset origin. */
     bounds?: {
         x: {
@@ -140,24 +142,30 @@ export interface V3Inspection {
             max: number;
         };
     };
-    placement?: V3Placement;
-    coverage: V3Coverage;
-    violations: V3Violation[];
+    placement?: FigurePlacement;
+    coverage: FigureCoverage;
+    violations: FigureViolation[];
 }
-export interface V3InspectOptions {
+export interface FigureInspectOptions {
     /** Inspect one state only (the stored defaults plus these overrides) instead of the whole valid state range. */
     at?: Record<string, number>;
     /** Points along each input's sweep when a rotation depends on state. Default 9. */
     sweepSteps?: number;
     /** Corner enumeration is capped: above this many state inputs the corners are sampled, not enumerated. */
     maxCornerInputs?: number;
+    /**
+     * `range` (the default, and what release asks): every design value a board may set -- the instance size, and the
+     * inputs the figure publishes -- over its whole range, crossed with the states. `as-given`: the states only, at the
+     * design values the asset holds -- "at this size, every pose" -- a different question, and said so in the coverage.
+     */
+    design?: 'range' | 'as-given';
 }
 /**
  * Inspect an asset against its declared occupancy. Without `at`, the whole valid state range is covered: every
  * state input at its bounds (and, when a rotation depends on state, along its sweep), and a violation found at any
  * evaluated state is a violation. The occupancy is never widened to make one go away.
  */
-export declare function inspectV3Asset(asset: V3Asset, options?: V3InspectOptions | Record<string, number>): V3Inspection;
+export declare function inspectFigureAsset(asset: FigureAsset, options?: FigureInspectOptions | Record<string, number>): FigureInspection;
 /**
  * Parts that touch at the drawn size must still touch when the figure is resized. The gate once had no such check, and
  * DRY_ROOM was published with its lamp 2300 mm above the frame at twice the height (2026-09-24).
@@ -167,7 +175,7 @@ export declare function inspectV3Asset(asset: V3Asset, options?: V3InspectOption
  * the pieces are the drawn bodies whose boxes touch within `SKIN`. A figure already in
  * several pieces at its drawn size is not refused for that — only for falling into more.
  */
-export declare function splitsOnResize(asset: V3Asset): V3Violation[];
+export declare function splitsOnResize(asset: FigureAsset): FigureViolation[];
 /**
  * A figure that declares it grows by one ratio (`sizing: 'uniform'`) must do so: at each of the gate's resizes, every drawn
  * body is the body at the drawn size scaled by u -- the geometric mean of the axes' factors -- about the figure's
@@ -175,5 +183,5 @@ export declare function splitsOnResize(asset: V3Asset): V3Violation[];
  * that keeps a fixed number of its own, or reads a size some other way, is named. One finding: the first resize at
  * which any part fails, with every part that fails there.
  */
-export declare function notUniformOnResize(asset: V3Asset): V3Violation[];
-//# sourceMappingURL=v3-gate.d.ts.map
+export declare function notUniformOnResize(asset: FigureAsset): FigureViolation[];
+//# sourceMappingURL=gate.d.ts.map

package/dist/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../src/gate.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACtD,OAAO,EAAsC,KAAK,KAAK,EAAE,MAAM,qBAAqB,CAAA;AAEpF,+FAA+F;AAC/F,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,IAAI,CAAA;IACZ,oEAAoE;IACpE,MAAM,EAAE,IAAI,CAAA;IACZ,sGAAsG;IACtG,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAA;IACpB,yGAAyG;IACzG,MAAM,CAAC,EAAE,KAAK,EAAE,CAAA;CACjB;AAED,yHAAyH;AACzH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,cAAc,EAAE,CA+DlK;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,cAAc,EAAE,CAMrK;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,GAAG,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAU5E;AAED,+CAA+C;AAC/C,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAIvE;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,sBAAsB,GAAG,wBAAwB,GAAG,0BAA0B,GAAG,uBAAuB,GAAG,uBAAuB,GAAG,oBAAoB,GAAG,sBAAsB,CAAA;IACxL,+FAA+F;IAC/F,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,IAAI,CAAA;IACX,qEAAqE;IACrE,EAAE,CAAC,EAAE,MAAM,CAAA;IACX,6FAA6F;IAC7F,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,6GAA6G;IAC7G,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,CAAA;IAClF,4GAA4G;IAC5G,KAAK,CAAC,EAAE,MAAM,EAAE,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAA;IACzC,uDAAuD;IACvD,MAAM,EAAE,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACvD,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAA;IACd,gEAAgE;IAChE,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,wDAAwD;IACxD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,kHAAkH;IAClH,MAAM,CAAC,EAAE,UAAU,CAAA;IACnB,MAAM,EAAE,MAAM,CAAA;CACf;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,0BAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC,CA6CtG,CAAA;AAEF;;;;GAIG;AACH,eAAO,MAAM,2BAA2B,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC,CAIvG,CAAA;AAoCF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAA8B,GAAG,MAAM,EAAE,CAoI5K;AAED,MAAM,WAAW,gBAAgB;IAC/B,mGAAmG;IACnG,MAAM,CAAC,EAAE;QAAE,CAAC,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QAAC,CAAC,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAC;QAAC,CAAC,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAA;IAC9G,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,QAAQ,EAAE,cAAc,CAAA;IACxB,UAAU,EAAE,eAAe,EAAE,CAAA;CAC9B;AAED,MAAM,WAAW,oBAAoB;IACnC,gHAAgH;IAChH,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC3B,mFAAmF;IACnF,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,0GAA0G;IAC1G,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB;;;;OAIG;IACH,MAAM,CAAC,EAAE,OAAO,GAAG,UAAU,CAAA;CAC9B;AAqCD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,GAAE,oBAAoB,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAM,GAAG,gBAAgB,CAkHpI;AA4FD;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,eAAe,EAAE,CA+BpE;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,WAAW,GAAG,eAAe,EAAE,CA2CxE"}

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

@@ -10,28 +10,28 @@
  *
  * These are violations, not compile errors: the asset is valid and can be saved, and the release door refuses it
  * (ADR-0044 decision ②). The closed list of capability names (ADR-0051 ④) is a compile error
- * in `v3-capabilities.ts`, because a name the scene does not know cannot be drawn at all.
+ * in `capabilities.ts`, because a name the scene does not know cannot be drawn at all.
  *
- * The rules are measured on the evaluated geometry, with one contact tolerance (`SKIN`, `v3-words.ts`).
+ * The rules are measured on the evaluated geometry, with one contact tolerance (`SKIN`, `words.ts`).
  *
  * The volume is declared, not measured (ADR-0044 decision ①): an asset that fills less than its `occupancy` is
  * fine. An asset with no `occupancy` cannot be released, because nothing says how big it is on a board.
  */
-import { compileV3Asset } from "./v3-asset.js";
-import { compileV3Graph } from "./v3-graph.js";
-import { resolveV3Surface, evaluateV3Surface } from "./v3-surface.js";
-import { AXES, SKIN } from "./v3-words.js";
+import { compileFigureAsset, figurePlacementOf, upgradeFigurePlacement } from "./asset.js";
+import { compileFigureGraph } from "./graph.js";
+import { resolveFigureSurface, evaluateFigureSurface } from "./surface.js";
+import { AXES, SKIN } from "./words.js";
 /** How far a declared mounting face may lean off the plane before it is not that plane any more. */
 const CONTACT_TILT_DEG = 0.1;
-import { transformPoints, v3ShapePoints } from "./v3-shape-sampling.js";
+import { transformPoints, figureShapePoints } from "./shape-sampling.js";
 /** Axis-aligned world boxes of evaluated geometry. `part` is the placing node: a `place@1` id or the repeated member. */
-export function v3WorldBoxesOf(geometry, writers, options = {}) {
+export function figureWorldBoxesOf(geometry, writers, options = {}) {
     const out = [];
     for (const g of geometry) {
         if (!('pose' in g))
             continue;
         // A part whose visibility flag is off is not drawn, so it is not a drawn body here. It is still evaluated and
-        // still placed; `v3OccupiedBoxesOf` is the reader that wants it (the occupancy does not move with visibility).
+        // still placed; `figureOccupiedBoxesOf` is the reader that wants it (the occupancy does not move with visibility).
         if (g.visible === false)
             continue;
         const part = g.key ? writers.get(g.key) : g.id;
@@ -85,26 +85,26 @@ export function v3WorldBoxesOf(geometry, writers, options = {}) {
             rotation: r
         };
         if (options.points)
-            box.points = transformPoints(v3ShapePoints(g.shape, g.segments), r, g.pose.t);
+            box.points = transformPoints(figureShapePoints(g.shape, g.segments), r, g.pose.t);
         out.push(box);
     }
     return out;
 }
 /**
  * Every placed body including the ones that are not drawn. The declared occupancy does not shrink or grow with
- * visibility (V3 designer's ruling 2026-09-22), so the gate measures against this, not against the drawn set.
+ * visibility (designer's ruling 2026-09-22), so the gate measures against this, not against the drawn set.
  */
-export function v3OccupiedBoxesOf(geometry, writers, options = {}) {
-    return v3WorldBoxesOf(geometry.map(g => ('pose' in g ? { ...g, visible: true } : g)), writers, options);
+export function figureOccupiedBoxesOf(geometry, writers, options = {}) {
+    return figureWorldBoxesOf(geometry.map(g => ('pose' in g ? { ...g, visible: true } : g)), writers, options);
 }
 /**
  * How wide, tall and deep the figure's parts are, standing as they rest: the union of their boxes. The size a figure
  * is authored at -- not the room it takes, which also holds where its joints can carry its parts (a door's swing):
  * measuring that instead declared a 1100 mm door 8208 mm every way (2026-09-25).
  */
-export function v3PartsExtentOf(asset) {
-    const evaluated = compileV3Asset(asset).evaluate();
-    const boxes = v3OccupiedBoxesOf(evaluated.geometry, v3WritersOf(asset));
+export function figurePartsExtentOf(asset) {
+    const evaluated = compileFigureAsset(asset).evaluate();
+    const boxes = figureOccupiedBoxesOf(evaluated.geometry, figureWritersOf(asset));
     const out = {};
     AXES.forEach(axis => {
         const lo = Math.min(...boxes.map(b => b.centre[axis] - b.extent[axis] / 2));
@@ -114,7 +114,7 @@ export function v3PartsExtentOf(asset) {
     return out;
 }
 /** Who writes each graph value, by node id. */
-export function v3WritersOf(asset) {
+export function figureWritersOf(asset) {
     const writers = new Map();
     for (const n of asset.document.model.nodes)
         for (const ref of Object.values(n.outputs))
@@ -124,7 +124,7 @@ export function v3WritersOf(asset) {
 /**
  * What each operator does to a value's extremes over the state box. Every operator in the kernel is listed by
  * name — no pattern, no default — so a new one has no classification until someone writes its basis down, and
- * `v3-state-dimension.test.ts` fails until they do.
+ * `state-dimension.test.ts` fails until they do.
  *
  *  - `multilinear`: degree one in each state input given multilinear arguments, so the extreme sits at a corner
  *    however the value is later combined. Sums; products and quotients under the conditions checked in
@@ -137,7 +137,7 @@ export function v3WritersOf(asset) {
  *    keys that move or turn around, `geomean` refuses factors that share an input.
  *  - `unknown`: nothing is claimed. A state-dependent argument here means the coverage falls back to sampling.
  */
-export const V3_STATE_EXTREME_BASIS = Object.freeze({
+export const FIGURE_STATE_EXTREME_BASIS = Object.freeze({
     'add@1': 'multilinear',
     'mul@1': 'multilinear',
     'div@1': 'multilinear',
@@ -188,16 +188,19 @@ export const V3_STATE_EXTREME_BASIS = Object.freeze({
  * Its count is a floor -- not multilinear -- so a value that reaches a count through a public input is not proven by
  * corners (chief architect's condition, 2026-09-26: read off the table, not decided by hand).
  */
-export const V3_DESIGN_EXTREME_BASIS = Object.freeze({
-    ...V3_STATE_EXTREME_BASIS,
+export const FIGURE_DESIGN_EXTREME_BASIS = Object.freeze({
+    ...FIGURE_STATE_EXTREME_BASIS,
     'fit-pitch@1': 'unknown',
     'fixed-count@1': 'unknown'
 });
 /** The design inputs the gate ranges: the public ones, and with them the instance size, whose combination is the case. */
+/*
+ * The design values a board may set: the instance size always -- any figure may be placed at any size its range
+ * allows -- and the inputs it publishes, crossed with it. The size was left out for a figure with no published input,
+ * so a room outgrown at a larger allowed size passed (designer 2026-09-27).
+ */
 function rangedDesignInputs(asset) {
     const listed = (asset.publicInputs ?? []).map(p => p.input);
-    if (!listed.length)
-        return [];
     const inputs = asset.document.model.inputs;
     const size = inputs.filter(i => /^(sizing\.)?size\.[xyz]$/.test(i.id) && Number.isFinite(i.min) && Number.isFinite(i.max) && i.max < 1e12).map(i => i.id);
     return [...listed, ...size].map(id => inputs.find(i => i.id === id)).map(i => ({ id: i.id, min: i.min, max: i.max }));
@@ -241,7 +244,7 @@ function designDependence(asset, ids) {
  * an input. Returns the reasons it fails, empty when it holds.
  *
  * Monotone in each argument is not the same as monotone in a state input the arguments share, and a value that
- * is merely monotone cannot be combined further. Both were found by the V3 designer, 2026-09-23:
+ * is merely monotone cannot be combined further. Both were found by the designer, 2026-09-23:
  * `10 + 100·min(q, 1−q)` is widest in the middle, and `10 + 100·(√q − q)` is widest at q = ¼. The gate called
  * both proven.
  *
@@ -254,7 +257,7 @@ function designDependence(asset, ids) {
  * input — a sum, a product, a pose composed onto it — is refused. A new operator is bent until someone shows
  * it preserves multilinearity and adds it to the list.
  */
-export function cornerExtremalBasis(asset, dependence, basis = V3_STATE_EXTREME_BASIS) {
+export function cornerExtremalBasis(asset, dependence, basis = FIGURE_STATE_EXTREME_BASIS) {
     const reasons = [];
     const dep = (ref) => dependence[ref] ?? [];
     const shares = (a, b) => dep(a).some(x => dep(b).includes(x));
@@ -397,7 +400,7 @@ export function cornerExtremalBasis(asset, dependence, basis = V3_STATE_EXTREME_
                 // so a kernel that grows without writing a basis down loses coverage rather than claiming one.
                 if (basis[n.op] === 'multilinear')
                     break;
-                reasons.push(`${n.id}: ${n.op} (${basis[n.op] ?? 'unclassified'}) with a ${basis === V3_STATE_EXTREME_BASIS ? 'state-dependent' : 'ranged'} argument (${[...new Set(stateful.flatMap(dep))].join(', ')})`);
+                reasons.push(`${n.id}: ${n.op} (${basis[n.op] ?? 'unclassified'}) with a ${basis === FIGURE_STATE_EXTREME_BASIS ? 'state-dependent' : 'ranged'} argument (${[...new Set(stateful.flatMap(dep))].join(', ')})`);
         }
     }
     return reasons;
@@ -406,7 +409,7 @@ export function cornerExtremalBasis(asset, dependence, basis = V3_STATE_EXTREME_
   Holding every part inside the declared volume and touching the plane the figure is mounted on are two
   different claims, and corner extremality only settles the first. Whether the figure touches used to be read as
   the *smallest* gap over its parts, and a smallest folds the way `min@1` folds: two boxes at 20q and 20(1−q) mm
-  above the floor each touch at one end of q and both float 10 mm at the middle (V3 designer's counterexample
+  above the floor each touch at one end of q and both float 10 mm at the middle (designer's counterexample
   2026-09-23). The gate evaluated the two ends, found a part on the floor at each, and said proven.
 
   The declaration names one face now, so there is no smallest to fold: the check is a single equality. What is
@@ -441,16 +444,17 @@ function stateInputs(asset) {
  * state input at its bounds (and, when a rotation depends on state, along its sweep), and a violation found at any
  * evaluated state is a violation. The occupancy is never widened to make one go away.
  */
-export function inspectV3Asset(asset, options = {}) {
+export function inspectFigureAsset(asset, options = {}) {
+    asset = upgradeFigurePlacement(asset);
     // Backwards compatible: a plain record is `at`.
-    const opts = 'at' in options || 'sweepSteps' in options || 'maxCornerInputs' in options || Object.keys(options).length === 0 ? options : { at: options };
-    const compiled = compileV3Asset(asset);
-    const graph = compileV3Graph(asset.document.model);
+    const opts = 'at' in options || 'sweepSteps' in options || 'maxCornerInputs' in options || 'design' in options || Object.keys(options).length === 0 ? options : { at: options };
+    const compiled = compileFigureAsset(asset);
+    const graph = compileFigureGraph(asset.document.model);
     /*
       The state inputs, and the design inputs a board may set crossed with the instance size (ADR-0096): a long conveyor
       with a narrow pitch is a combination, not two ranges.
     */
-    const designRanged = rangedDesignInputs(asset);
+    const designRanged = opts.design === 'as-given' ? [] : rangedDesignInputs(asset);
     const inputs = [...stateInputs(asset), ...designRanged];
     const designIds = new Set(designRanged.map(i => i.id));
     const dependence = { ...graph.dependence };
@@ -489,7 +493,7 @@ export function inspectV3Asset(asset, options = {}) {
         coverage = { method: 'proven', inputs, states: 1, detail: 'no state input; the rest pose is the only pose' };
     }
     else {
-        const unprovable = cornerExtremalBasis(asset, dependence, designIds.size ? V3_DESIGN_EXTREME_BASIS : V3_STATE_EXTREME_BASIS);
+        const unprovable = cornerExtremalBasis(asset, dependence, designIds.size ? FIGURE_DESIGN_EXTREME_BASIS : FIGURE_STATE_EXTREME_BASIS);
         unprovable.push(...unprovenContact(asset, graph));
         const maxCorners = opts.maxCornerInputs ?? 10;
         const allCorners = inputs.length <= maxCorners;
@@ -535,7 +539,9 @@ export function inspectV3Asset(asset, options = {}) {
             };
         }
     }
-    const plan = designIds.size ? compileV3Graph(asset.document.model) : undefined;
+    if (opts.design === 'as-given')
+        coverage = { ...coverage, design: 'as-given', detail: `at the design values given, not over their range: ${coverage.detail}` };
+    const plan = designIds.size ? compileFigureGraph(asset.document.model) : undefined;
     for (const state of states) {
         if (!plan || !Object.keys(state).some(k => designIds.has(k))) {
             inspectOne(asset, graph, compiled.evaluate(state).geometry, state, push);
@@ -562,19 +568,19 @@ export function inspectV3Asset(asset, options = {}) {
         min: values[asset.occupancy.bounds[a].min],
         max: values[asset.occupancy.bounds[a].max]
     });
-    return { bounds: { x: read('x'), y: read('y'), z: read('z') }, placement: asset.occupancy.placement, coverage, violations };
+    return { bounds: { x: read('x'), y: read('y'), z: read('z') }, placement: figurePlacementOf(asset), coverage, violations };
 }
 function inspectOne(asset, graph, geometry, state, push) {
     const occupancy = asset.occupancy;
     // The asset evaluation returns geometry only; the declared lengths are graph values, so read the graph itself.
     const values = graph.evaluate({ ...asset.designInputs, ...asset.stateDefaults, ...state }).values;
-    const placement = occupancy.placement;
-    const boxes = v3OccupiedBoxesOf(geometry, v3WritersOf(asset));
+    const placement = figurePlacementOf(asset);
+    const boxes = figureOccupiedBoxesOf(geometry, figureWritersOf(asset));
     const round = (v) => Math.round(v * 1e4) / 1e4;
     /*
       The declared volume is the reach on each side of the asset origin, so it can sit anywhere around it. The
       origin is where the figure is mounted, which is a coordinate reference and not a surface nothing may pass:
-      an arm on a bench reaches below the bench, and that is the machine working (V3 designer's ruling 2026-09-23).
+      an arm on a bench reaches below the bench, and that is the machine working (designer's ruling 2026-09-23).
     */
     const low = { x: 0, y: 0, z: 0 };
     const high = { x: 0, y: 0, z: 0 };
@@ -608,14 +614,14 @@ function inspectOne(asset, graph, geometry, state, push) {
       Only an asset that names the face it is mounted on is asked to make the contact, and two things have to hold
       for that face to lie in the mounting plane: its reference point is on the plane, and its plane is the same
       plane. Checking the point alone passed a box stood on its side with the right-hand face declared as the
-      mounting face, because that face's centre happened to sit at Y = 0 (V3 designer's counterexample
+      mounting face, because that face's centre happened to sit at Y = 0 (designer's counterexample
       2026-09-23). A vertical face and a horizontal floor are not the same plane.
   
       Whether the face points into the plane or away from it is a separate question — which way up the figure is
       mounted — and is not asked here. Only that the two planes coincide.
   
       The plane is Y = 0 in the asset frame, for a floor figure and a ceiling one alike. The origin is where the
-      figure is fastened (V3 designer's ruling 2026-09-23); a ceiling figure hangs from it and names its top face.
+      figure is fastened (designer's ruling 2026-09-23); a ceiling figure hangs from it and names its top face.
       Reading the plane off `occupancy.bounds.y.max` moved the thing the figure is mounted on whenever someone
       widened the volume it takes up, which are two unrelated declarations.
     */
@@ -623,8 +629,8 @@ function inspectOne(asset, graph, geometry, state, push) {
     if (occupancy.contact && (placement === 'floor' || placement === 'ceiling' || placement === 'wall')) {
         const k = placement === 'wall' ? 2 : 1;
         const axis = placement === 'wall' ? 'z' : 'y';
-        const surface = evaluateV3Surface(values, resolveV3Surface({ types: graph.outputTypes, writers: nodeWriters(asset), model: asset.document.model, assetFrame: asset.document.capabilities.assetFrame }, occupancy.contact.surface, 'occupancy.contact.surface'));
-        const part = v3WritersOf(asset).get(surface.placement) ?? surface.placement;
+        const surface = evaluateFigureSurface(values, resolveFigureSurface({ types: graph.outputTypes, writers: nodeWriters(asset), model: asset.document.model, assetFrame: asset.document.capabilities.assetFrame }, occupancy.contact.surface, 'occupancy.contact.surface'));
+        const part = figureWritersOf(asset).get(surface.placement) ?? surface.placement;
         const off = surface.pose.t[k];
         if (Math.abs(off) > SKIN)
             push({
@@ -665,10 +671,10 @@ export function splitsOnResize(asset) {
     const sizing = Object.fromEntries(AXES.map(axis => [axis, model.inputs.find(i => i.id === `size.${axis}` && i.role === 'design')]));
     if (!AXES.some(axis => sizing[axis]))
         return [];
-    const writers = v3WritersOf(asset);
+    const writers = figureWritersOf(asset);
     const piecesAt = (designInputs) => {
-        const geometry = compileV3Asset({ ...asset, designInputs }).evaluate().geometry;
-        return piecesOf(v3WorldBoxesOf(geometry, writers));
+        const geometry = compileFigureAsset({ ...asset, designInputs }).evaluate().geometry;
+        return piecesOf(figureWorldBoxesOf(geometry, writers));
     };
     const one = piecesAt(asset.designInputs);
     const out = [];
@@ -704,8 +710,8 @@ export function notUniformOnResize(asset) {
         return [];
     const model = asset.document.model;
     const sizing = Object.fromEntries(AXES.map(axis => [axis, model.inputs.find(i => i.id === `size.${axis}` && i.role === 'design')]));
-    const writers = v3WritersOf(asset);
-    const boxesAt = (designInputs) => new Map(v3WorldBoxesOf(compileV3Asset({ ...asset, designInputs }).evaluate().geometry, writers).map(box => [box.part, box]));
+    const writers = figureWritersOf(asset);
+    const boxesAt = (designInputs) => new Map(figureWorldBoxesOf(compileFigureAsset({ ...asset, designInputs }).evaluate().geometry, writers).map(box => [box.part, box]));
     const one = boxesAt(asset.designInputs);
     for (const axes of RESIZE_WAYS) {
         if (!axes.every(axis => sizing[axis]))
@@ -760,4 +766,4 @@ function piecesOf(boxes) {
     });
     return [...by.values()].map(parts => [...parts].sort());
 }
-//# sourceMappingURL=v3-gate.js.map
+//# sourceMappingURL=gate.js.map