@hatiolab/figure-model 0.6.6 → 0.7.0

package/dist/authoring-session.d.ts

@@ -1,121 +0,0 @@
-import type { FigureDocument, FigureCapabilityEvaluation } from './asset-types.ts';
-import type { FigureUnit } from './graph-types.ts';
-export interface FigureEditControl {
-    origin: 'ui' | 'ai';
-    expectedRevision: number;
-    /** The clips the author agreed to let go, as a CLIPS_DROPPED refusal named them (clip-keeping.ts). */
-    dropClips?: readonly string[];
-}
-export interface FigureInputChange {
-    kind: 'set-design' | 'set-state';
-    input: string;
-    unit: FigureUnit;
-    value: number;
-}
-export interface FigureEditRequest extends FigureEditControl {
-    changes: FigureInputChange[];
-}
-export declare function createFigureAuthoringSession(document: FigureDocument, initialInputs: Record<string, number>): {
-    read: () => {
-        revision: number;
-        inputs: Record<string, number>;
-        evaluation: FigureCapabilityEvaluation;
-        canUndo: boolean;
-        canRedo: boolean;
-    };
-    preview(q: FigureEditRequest): {
-        candidate: {
-            inputs: Record<string, number>;
-            evaluation: FigureCapabilityEvaluation;
-        };
-        baseRevision: number;
-        origin: "ui" | "ai";
-        changes: {
-            before: number | undefined;
-            kind: "set-design" | "set-state";
-            input: string;
-            unit: FigureUnit;
-            value: number;
-        }[];
-        effects: {
-            geometry: {
-                added: string[];
-                removed: string[];
-                changed: string[];
-            };
-            bindingsChanged: string[];
-        };
-        validation: {
-            status: string;
-            spatial: string;
-            collision: string;
-            safety: string;
-        };
-    };
-    apply(q: FigureEditRequest): {
-        revision: number;
-        inputs: Record<string, number>;
-        evaluation: FigureCapabilityEvaluation;
-        canUndo: boolean;
-        canRedo: boolean;
-        report: {
-            baseRevision: number;
-            origin: "ui" | "ai";
-            changes: {
-                before: number | undefined;
-                kind: "set-design" | "set-state";
-                input: string;
-                unit: FigureUnit;
-                value: number;
-            }[];
-            effects: {
-                geometry: {
-                    added: string[];
-                    removed: string[];
-                    changed: string[];
-                };
-                bindingsChanged: string[];
-            };
-            validation: {
-                status: string;
-                spatial: string;
-                collision: string;
-                safety: string;
-            };
-        };
-    };
-    undo(q: FigureEditControl): {
-        revision: number;
-        inputs: Record<string, number>;
-        evaluation: FigureCapabilityEvaluation;
-        canUndo: boolean;
-        canRedo: boolean;
-        origin: "ui" | "ai";
-        effects: {
-            geometry: {
-                added: string[];
-                removed: string[];
-                changed: string[];
-            };
-            bindingsChanged: string[];
-        };
-    };
-    redo(q: FigureEditControl): {
-        revision: number;
-        inputs: Record<string, number>;
-        evaluation: FigureCapabilityEvaluation;
-        canUndo: boolean;
-        canRedo: boolean;
-        origin: "ui" | "ai";
-        effects: {
-            geometry: {
-                added: string[];
-                removed: string[];
-                changed: string[];
-            };
-            bindingsChanged: string[];
-        };
-    };
-};
-export type FigureAuthoringSession = ReturnType<typeof createFigureAuthoringSession>;
-//# sourceMappingURL=authoring-session.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"authoring-session.d.ts","sourceRoot":"","sources":["../src/authoring-session.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAA;AAClF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAClD,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;IACnB,gBAAgB,EAAE,MAAM,CAAA;IACxB,sGAAsG;IACtG,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC9B;AACD,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,YAAY,GAAG,WAAW,CAAA;IAChC,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;CACd;AACD,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,OAAO,EAAE,iBAAiB,EAAE,CAAA;CAC7B;AA6BD,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;;;;;;;;eAmE7F,iBAAiB;;;;;;;;;kBAvGxB,YAAY,GAAG,WAAW;mBACzB,MAAM;kBACP,UAAU;mBACT,MAAM;;;;;;;;;;;;;;;;;aAwGF,iBAAiB;;;;;;;;;;;sBA3GtB,YAAY,GAAG,WAAW;uBACzB,MAAM;sBACP,UAAU;uBACT,MAAM;;;;;;;;;;;;;;;;;;YAkHH,iBAAiB;;;;;;;;;;;;;;;;YAYjB,iBAAiB;;;;;;;;;;;;;;;;EAa5B;AAED,MAAM,MAAM,sBAAsB,GAAG,UAAU,CAAC,OAAO,4BAA4B,CAAC,CAAA"}

package/dist/authoring-session.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"authoring-session.js","sourceRoot":"","sources":["../src/authoring-session.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,OAAO,EAAE,qBAAqB,IAAI,eAAe,EAAE,MAAM,eAAe,CAAA;AAkBxE,OAAO,EAAE,mBAAmB,IAAI,aAAa,EAAE,MAAM,eAAe,CAAA;AACpE,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY,EAAE,OAAe;IACvD,MAAM,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;AAC9C,CAAC;AACD,SAAS,MAAM,CAAC,CAAU,EAAE,IAAc,EAAE,IAAY;IACtD,IACE,CAAC,CAAC;QACF,OAAO,CAAC,KAAK,QAAQ;QACrB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;QACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEpC,IAAI,CAAC,aAAa,EAAE,IAAI,EAAE,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;AAC5D,CAAC;AACD,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;AAChF,SAAS,IAAI,CAAC,MAAkC,EAAE,KAAiC;IACjF,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EACpD,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7D,OAAO;QACL,QAAQ,EAAE;YACR,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7C,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/C,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;SAC9E;QACD,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzF,CAAA;AACH,CAAC;AACD,MAAM,UAAU,4BAA4B,CAAC,QAAwB,EAAE,aAAqC;IAC1G,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,EACxC,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACnF,IAAI,MAAM,GAAG,eAAe,CAAC,aAAa,CAAC,EACzC,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EACtC,QAAQ,GAAG,CAAC,CAAA;IACd,MAAM,IAAI,GAA6B,EAAE,EACvC,IAAI,GAA6B,EAAE,CAAA;IACrC,MAAM,YAAY,GAAG,EAAE,CAAA;IACvB,SAAS,OAAO,CAAC,CAAoB;QACnC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YAClC,IAAI,CAAC,aAAa,EAAE,QAAQ,EAAE,iDAAiD,CAAC,CAAA;QAClF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,gBAAgB,GAAG,CAAC;YACrE,IAAI,CAAC,eAAe,EAAE,kBAAkB,EAAE,8BAA8B,CAAC,CAAA;QAC3E,IAAI,CAAC,CAAC,gBAAgB,KAAK,QAAQ;YACjC,IAAI,CAAC,mBAAmB,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC,gBAAgB,aAAa,QAAQ,EAAE,CAAC,CAAA;IACxG,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,EAAE,CACpB,eAAe,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAA;IACvG,SAAS,SAAS,CAAC,CAAoB;QACrC,MAAM,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,CAAA;QAC5D,OAAO,CAAC,CAAC,CAAC,CAAA;QACV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG;YAC1E,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,yBAAyB,CAAC,CAAA;QAC1D,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,EAClC,IAAI,GAAG,IAAI,GAAG,EAAE,EAChB,OAAO,GAAG,EAAE,CAAA;QACd,KAAK,MAAM,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAA;YAC5D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACzC,IAAI,CAAC,GAAG;gBAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,oBAAoB,CAAC,CAAA;YAC3E,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;gBAAE,IAAI,CAAC,gBAAgB,EAAE,MAAM,CAAC,KAAK,EAAE,gCAAgC,CAAC,CAAA;YAClG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACtB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAA;YAC9D,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE,YAAY,IAAI,EAAE,CAAC,CAAA;YAC7E,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBAAE,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE,YAAY,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;YACrF,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;gBACpE,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAA;YAC5D,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAChG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAA;QACnC,CAAC;QACD,4EAA4E;QAC5E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACxC,OAAO;YACL,IAAI;YACJ,QAAQ;YACR,MAAM,EAAE;gBACN,YAAY,EAAE,QAAQ;gBACtB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,OAAO;gBACP,OAAO,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC;gBACnC,UAAU,EAAE;oBACV,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE,YAAY;oBACrB,SAAS,EAAE,YAAY;oBACvB,MAAM,EAAE,YAAY;iBACrB;aACF;SACF,CAAA;IACH,CAAC;IACD,SAAS,OAAO,CAAC,IAA4B,EAAE,QAAoC;QACjF,MAAM,GAAG,IAAI,CAAA;QACb,UAAU,GAAG,QAAQ,CAAA;QACrB,QAAQ,EAAE,CAAA;IACZ,CAAC;IACD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,CAAC,CAAoB;YAC1B,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACtB,OAAO,eAAe,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;QAChG,CAAC;QACD,KAAK,CAAC,CAAoB;YACxB,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACtB,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAA;gBAClC,IAAI,IAAI,CAAC,MAAM,GAAG,YAAY;oBAAE,IAAI,CAAC,KAAK,EAAE,CAAA;gBAC5C,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;gBACf,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC7B,CAAC;YACD,OAAO,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,CAAC,CAAoB;YACvB,MAAM,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC,EAAE,MAAM,CAAC,CAAA;YACjD,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,EAAE,eAAe,CAAC,CAAA;YACrE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EACvB,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAClC,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;YACtC,IAAI,CAAC,GAAG,EAAE,CAAA;YACV,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAA;YAClC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YACvB,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAA;QACrD,CAAC;QACD,IAAI,CAAC,CAAoB;YACvB,MAAM,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,CAAC,EAAE,MAAM,CAAC,CAAA;YACjD,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,IAAI,CAAC,MAAM;gBAAE,IAAI,CAAC,iBAAiB,EAAE,SAAS,EAAE,eAAe,CAAC,CAAA;YACrE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,EACvB,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAClC,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;YACtC,IAAI,CAAC,GAAG,EAAE,CAAA;YACV,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAA;YAClC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;YACvB,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,EAAE,EAAE,CAAA;QACrD,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/carrier.d.ts

@@ -1,23 +0,0 @@
-import type { FigureCarrierDeclaration } from './asset-types.ts';
-/** The longest CARRIERTYPE code a figure may declare. */
-export declare const FIGURE_CARRIER_TYPE_MAX = 64;
-/** How CARRIERTYPE codes are compared: without the spaces around them, in upper case. */
-export declare function normalizeCarrierType(code: unknown): string;
-/** Why a value is not a carrier declaration, with the path under `path`, or null when it is. */
-export declare function carrierDeclarationRefusal(value: unknown, path?: string): {
-    code: string;
-    path: string;
-    message: string;
-} | null;
-/** The refusal as the error it is. */
-export declare function checkCarrierDeclaration(value: unknown, path?: string): asserts value is FigureCarrierDeclaration;
-/** A declaration as stored: the code compared form, the three lengths, nothing else. */
-export declare function carrierDeclarationOf(value: {
-    type: string;
-    dimensions: {
-        width: number;
-        length: number;
-        height: number;
-    };
-}): FigureCarrierDeclaration;
-//# sourceMappingURL=carrier.d.ts.map

package/dist/carrier.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"carrier.d.ts","sourceRoot":"","sources":["../src/carrier.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAA;AAEhE,yDAAyD;AACzD,eAAO,MAAM,uBAAuB,KAAK,CAAA;AAEzC,yFAAyF;AACzF,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAI1D;AAID,gGAAgG;AAChG,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAuBlI;AAED,sCAAsC;AACtC,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAY,GAAG,OAAO,CAAC,KAAK,IAAI,wBAAwB,CAGnH;AAED,wFAAwF;AACxF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GAAG,wBAAwB,CAOrJ"}

package/dist/carrier.js

@@ -1,65 +0,0 @@
-/*
- * Copyright © HatioLab Inc. All rights reserved.
- */
-/*
- * A figure that is a carrier type says so (ADR-0123): the CARRIERTYPE code a material handling system reports, and the
- * carrier's physical size. Both are declared on the release. The size is never read off the occupied room, which may
- * hold clearance and placement conditions; a figure that is not a carrier declares nothing.
- *
- * One rule for reading an asset and for the command that declares it, so a refused declaration is refused, never
- * dropped quietly.
- */
-import { FigureContractError } from "./contract.js";
-/** The longest CARRIERTYPE code a figure may declare. */
-export const FIGURE_CARRIER_TYPE_MAX = 64;
-/** How CARRIERTYPE codes are compared: without the spaces around them, in upper case. */
-export function normalizeCarrierType(code) {
-    return String(code ?? '')
-        .trim()
-        .toUpperCase();
-}
-const positive = (v) => typeof v === 'number' && Number.isFinite(v) && v > 0;
-/** Why a value is not a carrier declaration, with the path under `path`, or null when it is. */
-export function carrierDeclarationRefusal(value, path = 'carrier') {
-    if (!value || typeof value !== 'object' || Array.isArray(value))
-        return { code: 'ASSET_SCHEMA', path, message: 'object required' };
-    const given = value;
-    for (const key of Object.keys(given))
-        if (key !== 'type' && key !== 'dimensions')
-            return { code: 'ASSET_SCHEMA', path, message: `unknown ${key}` };
-    const type = given.type;
-    if (typeof type !== 'string' || !normalizeCarrierType(type))
-        return { code: 'CARRIER_TYPE', path: `${path}.type`, message: 'a CARRIERTYPE code is required' };
-    if (type !== normalizeCarrierType(type))
-        return { code: 'CARRIER_TYPE', path: `${path}.type`, message: `${type} is not written as compared; ${normalizeCarrierType(type)}` };
-    if (type.length > FIGURE_CARRIER_TYPE_MAX)
-        return { code: 'CARRIER_TYPE', path: `${path}.type`, message: `at most ${FIGURE_CARRIER_TYPE_MAX} characters` };
-    const dims = given.dimensions;
-    if (!dims || typeof dims !== 'object' || Array.isArray(dims))
-        return { code: 'ASSET_SCHEMA', path: `${path}.dimensions`, message: 'object required' };
-    for (const key of Object.keys(dims))
-        if (key !== 'width' && key !== 'length' && key !== 'height')
-            return { code: 'ASSET_SCHEMA', path: `${path}.dimensions`, message: `unknown ${key}` };
-    for (const axis of ['width', 'length', 'height']) {
-        const v = dims[axis];
-        if (!positive(v))
-            return { code: 'CARRIER_DIMENSIONS', path: `${path}.dimensions.${axis}`, message: 'a finite positive length in mm is required' };
-    }
-    return null;
-}
-/** The refusal as the error it is. */
-export function checkCarrierDeclaration(value, path = 'carrier') {
-    const refusal = carrierDeclarationRefusal(value, path);
-    if (refusal)
-        throw new FigureContractError(refusal.code, refusal.path, refusal.message);
-}
-/** A declaration as stored: the code compared form, the three lengths, nothing else. */
-export function carrierDeclarationOf(value) {
-    const declaration = {
-        type: normalizeCarrierType(value?.type),
-        dimensions: { width: value?.dimensions?.width, length: value?.dimensions?.length, height: value?.dimensions?.height }
-    };
-    checkCarrierDeclaration(declaration);
-    return declaration;
-}
-//# sourceMappingURL=carrier.js.map

package/dist/carrier.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"carrier.js","sourceRoot":"","sources":["../src/carrier.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;GAOG;AACH,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAGnD,yDAAyD;AACzD,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,CAAA;AAEzC,yFAAyF;AACzF,MAAM,UAAU,oBAAoB,CAAC,IAAa;IAChD,OAAO,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;SACtB,IAAI,EAAE;SACN,WAAW,EAAE,CAAA;AAClB,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAElG,gGAAgG;AAChG,MAAM,UAAU,yBAAyB,CAAC,KAAc,EAAE,IAAI,GAAG,SAAS;IACxE,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAA;IAClI,MAAM,KAAK,GAAG,KAAgC,CAAA;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QAClC,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,YAAY;YAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,EAAE,EAAE,CAAA;IAE9G,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAA;IACvB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACzD,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAA;IAClG,IAAI,IAAI,KAAK,oBAAoB,CAAC,IAAI,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,OAAO,EAAE,GAAG,IAAI,gCAAgC,oBAAoB,CAAC,IAAI,CAAC,EAAE,EAAE,CAAA;IACrI,IAAI,IAAI,CAAC,MAAM,GAAG,uBAAuB;QACvC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,IAAI,OAAO,EAAE,OAAO,EAAE,WAAW,uBAAuB,aAAa,EAAE,CAAA;IAEjH,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAA;IAC7B,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,IAAI,aAAa,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAA;IACrJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,IAAI,GAAG,KAAK,OAAO,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,IAAI,aAAa,EAAE,OAAO,EAAE,WAAW,GAAG,EAAE,EAAE,CAAA;IACrJ,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAU,EAAE,CAAC;QAC1D,MAAM,CAAC,GAAI,IAAgC,CAAC,IAAI,CAAC,CAAA;QACjD,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,GAAG,IAAI,eAAe,IAAI,EAAE,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAA;IACpJ,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,sCAAsC;AACtC,MAAM,UAAU,uBAAuB,CAAC,KAAc,EAAE,IAAI,GAAG,SAAS;IACtE,MAAM,OAAO,GAAG,yBAAyB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACtD,IAAI,OAAO;QAAE,MAAM,IAAI,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;AACzF,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,oBAAoB,CAAC,KAAsF;IACzH,MAAM,WAAW,GAAG;QAClB,IAAI,EAAE,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC;QACvC,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE;KACtH,CAAA;IACD,uBAAuB,CAAC,WAAW,CAAC,CAAA;IACpC,OAAO,WAAW,CAAA;AACpB,CAAC"}

package/docs/prototypes/asset-samples.mjs

@@ -1,15 +0,0 @@
-import * as dryroom from './full-dryroom.mjs'
-import * as conveyor from './full-conveyor.mjs'
-import * as robot from './full-robot.mjs'
-import * as forklift from './full-forklift.mjs'
-import {robotBinding,forkliftBindings} from './capability-samples.mjs'
-export function sampleAsset(kind){
- const modules={dryroom,conveyor,robot,forklift},sample=modules[kind]
- if(!sample)throw Error('unknown sample')
- const pair=kind==='robot'?robotBinding():kind==='forklift'?forkliftBindings():{model:sample.fullModel(),declaration:{version:'r3-capability-3',assetFrame:'world',bindings:[]}}
- const designInputs={},stateDefaults={}
- for(const i of pair.model.inputs)(i.role==='state'?stateDefaults:designInputs)[i.id]=sample.defaults[i.id]
- return {version:'figure-asset-1',name:sample.seed.type,document:{version:'figure-prototype-1',model:pair.model,capabilities:pair.declaration},designInputs,stateDefaults,
-  palette:{'palette.primary':'#154473','palette.accent':'#f79c40','palette.neutral':'#96989b','palette.dark':'#27292c','palette.light':'#d6d7d9','palette.surface':'#56585b','palette.status-danger':'#f61b30','palette.status-warning':'#e68d1a','palette.status-info':'#158bde','palette.status-success':'#1cb648'},
-  appearance:sample.seed.parts.map(p=>({target:p.name,material:structuredClone(p.material??{token:'palette.neutral'}),...(p.primitive==='cylinder'?{segments:p.segments??8}:{}),...(p.capability?{legacyCapability:structuredClone(p.capability)}:{})}))}
-}

package/docs/prototypes/asset-store.mjs

@@ -1,52 +0,0 @@
-// Single-process, isolated disk store. Not the product database or an authorization layer.
-import {readFile, open, rename, unlink} from 'node:fs/promises'
-import {join, resolve} from 'node:path'
-import {randomUUID, createHash} from 'node:crypto'
-import {parseAsset, serializeAsset} from './asset.mjs'
-
-export class StoreError extends Error {
- constructor(code,message){super(message);this.code=code}
-}
-const fail=(code,message)=>{throw new StoreError(code,message)}
-// Shared across store handles in this process; a multi-process deployment needs database CAS.
-const queues=new Map()
-async function exclusive(key,operation){
- const previous=queues.get(key)||Promise.resolve()
- const next=previous.catch(()=>{}).then(operation);queues.set(key,next)
- try{return await next}finally{if(queues.get(key)===next)queues.delete(key)}
-}
-export function createAssetStore(directory){
- const root=resolve(directory)
- function file(scope,id){
-  for(const v of [scope,id])if(typeof v!=='string'||!v.trim()||v.length>200)fail('IDENTITY','scope and asset ID required')
-  return join(root,createHash('sha256').update(JSON.stringify([scope,id])).digest('hex')+'.json')
- }
- async function load(path,scope,id){
-  let raw;try{raw=await readFile(path,'utf8')}catch(e){if(e.code==='ENOENT')return null;throw e}
-  let record;try{record=JSON.parse(raw)}catch{fail('CORRUPT','stored record is not JSON')}
-  if(record?.format!=='store-experiment-1'||record.scope!==scope||record.id!==id||typeof record.revision!=='string'||!record.revision)fail('CORRUPT','stored record identity or revision invalid')
-  // Stored content must pass the same semantic validation as incoming content.
-  parseAsset(record.text)
-  return record
- }
- return {
-  async read({scope,id}){const record=await load(file(scope,id),scope,id);if(!record)fail('NOT_FOUND','asset not found');return record},
-  async save({scope,id,expectedRevision,text}){
-   if(expectedRevision!==null&&(typeof expectedRevision!=='string'||!expectedRevision))fail('PRECONDITION','expectedRevision required; null means create only')
-   const path=file(scope,id),canonical=serializeAsset(parseAsset(text))
-   return exclusive(path,async()=>{
-    const current=await load(path,scope,id)
-    if((current?.revision??null)!==expectedRevision)fail('CONFLICT','asset changed; reload before saving')
-    const record={format:'store-experiment-1',scope,id,revision:randomUUID(),text:canonical}
-    const temporary=path+'.'+randomUUID()+'.tmp';let handle
-    try{
-     handle=await open(temporary,'wx',0o600);await handle.writeFile(JSON.stringify(record));await handle.sync();await handle.close();handle=null
-     await rename(temporary,path)
-    }finally{
-     await handle?.close();await unlink(temporary).catch(e=>{if(e.code!=='ENOENT')throw e})
-    }
-    return record
-   })
-  }
- }
-}

package/docs/prototypes/asset-store.test.mjs

@@ -1,59 +0,0 @@
-import {test} from 'node:test'
-import assert from 'node:assert/strict'
-import {mkdtemp,rm,readdir} from 'node:fs/promises'
-import {tmpdir} from 'node:os'
-import {join} from 'node:path'
-import {execFile} from 'node:child_process'
-import {promisify} from 'node:util'
-import {createAssetStore} from './asset-store.mjs'
-import {sampleAsset} from './asset-samples.mjs'
-import {serializeAsset,parseAsset} from './asset.mjs'
-import {createEditorWorkspace} from './editor-workspace.mjs'
-async function fixture(t){const dir=await mkdtemp(join(tmpdir(),'store-'));t.after(()=>rm(dir,{recursive:true,force:true}));return {dir,store:createAssetStore(dir)}}
-const body=()=>serializeAsset(sampleAsset('forklift'))
-const key={scope:'test-domain',id:'forklift'}
-test('disk save survives independent store handle; explicit create and scoped identity',async t=>{
- const {dir,store}=await fixture(t),saved=await store.save({...key,expectedRevision:null,text:body()})
- assert.deepEqual(await createAssetStore(dir).read(key),saved)
- await assert.rejects(store.read({...key,scope:'other-domain'}),e=>e.code==='NOT_FOUND')
- await assert.rejects(store.save({...key,expectedRevision:null,text:body()}),e=>e.code==='CONFLICT')
- await assert.rejects(store.save({...key,text:body()}),e=>e.code==='PRECONDITION')
- // Raw identifiers never become filesystem paths.
- await store.save({scope:'../other',id:'../../escape',expectedRevision:null,text:body()})
- assert.equal((await readdir(dir)).length,2)
- assert.ok((await readdir(dir)).every(f=>/^[0-9a-f]{64}\.json$/.test(f)))
-})
-test('two writers cannot silently overwrite; content ABA still gets new revision',async t=>{
- const {dir,store}=await fixture(t),a=await store.save({...key,expectedRevision:null,text:body()})
- const asset=parseAsset(body());asset.designInputs.forkLength=1275;const changed=serializeAsset(asset)
- const results=await Promise.allSettled([store,createAssetStore(dir)].map(s=>s.save({...key,expectedRevision:a.revision,text:changed})))
- assert.equal(results.filter(r=>r.status==='fulfilled').length,1)
- assert.equal(results.find(r=>r.status==='rejected').reason.code,'CONFLICT')
- const b=await store.read(key),c=await store.save({...key,expectedRevision:b.revision,text:body()})
- assert.notEqual(c.revision,a.revision)
- await assert.rejects(store.save({...key,expectedRevision:a.revision,text:changed}),e=>e.code==='CONFLICT')
-})
-test('invalid source leaves prior snapshot intact and produces no temporary file',async t=>{
- const {dir,store}=await fixture(t),a=await store.save({...key,expectedRevision:null,text:body()})
- await assert.rejects(store.save({...key,expectedRevision:a.revision,text:'{"version":2}'}))
- assert.deepEqual(await store.read(key),a);assert.equal((await readdir(dir)).length,1)
-})
-test('failed persistence does not clear editor dirty state',async t=>{
- const {store}=await fixture(t),original=await store.save({...key,expectedRevision:null,text:body()})
- const w=createEditorWorkspace(),v=w.open(original.text)
- w.apply({context:v.context,origin:'ui',expectedRevision:0,changes:[{kind:'set-design',input:'forkLength',unit:'mm',value:1275}]})
- const snapshot=w.export({context:v.context})
- await store.save({...key,expectedRevision:original.revision,text:body()})
- await assert.rejects(store.save({...key,expectedRevision:original.revision,text:snapshot.text}),e=>e.code==='CONFLICT')
- assert.equal(w.read().dirty,true)
- assert.equal(w.read().fields.find(f=>f.id==='forkLength').value,1275)
-})
-test('a separate Node process can restore the saved asset without editor memory',async t=>{
- const {dir,store}=await fixture(t),asset=parseAsset(body());asset.designInputs.forkLength=1275
- const saved=await store.save({...key,expectedRevision:null,text:serializeAsset(asset)})
- const script=`import {createAssetStore} from ${JSON.stringify(new URL('./asset-store.mjs',import.meta.url).href)};
- const record=await createAssetStore(process.argv[1]).read(${JSON.stringify(key)});
- console.log(JSON.stringify({revision:record.revision,length:JSON.parse(record.text).designInputs.forkLength}));`
- const {stdout}=await promisify(execFile)(process.execPath,['--input-type=module','-e',script,dir])
- assert.deepEqual(JSON.parse(stdout),{revision:saved.revision,length:1275})
-})

package/docs/prototypes/asset.mjs

@@ -1 +0,0 @@
-export {compileFigureAsset as compileAsset,parseFigureAsset as parseAsset,serializeFigureAsset as serializeAsset,captureFigureAuthoredInputs as captureAuthoredInputs} from '../../src/asset.ts'

package/docs/prototypes/asset.schema.json

@@ -1,36 +0,0 @@
-{
-  "$schema": "http://json-schema.org/draft-07/schema#",
-  "title": "Experimental Figure asset envelope; not a complete V2 migration contract",
-  "type": "object", "additionalProperties": false,
-  "required": ["version", "name", "document", "designInputs", "stateDefaults", "palette", "appearance"],
-  "properties": {
-    "version": {"const": "figure-asset-1"},
-    "name": {"type": "string", "minLength": 1},
-    "document": {"$ref": "document.schema.json"},
-    "designInputs": {"type": "object", "additionalProperties": {"type": "number"}},
-    "stateDefaults": {"type": "object", "additionalProperties": {"type": "number"}},
-    "palette": {"type": "object", "additionalProperties": {"type": "string", "pattern": "^#[0-9a-fA-F]{6}$"}},
-    "appearance": {"type": "array", "items": {"$ref": "#/definitions/appearance"}}
-  },
-  "definitions": {
-    "appearance": {
-      "type": "object", "additionalProperties": false, "required": ["target", "material"],
-      "properties": {
-        "target": {"type": "string", "minLength": 1},
-        "segments": {"enum": [8,12,16,24,32,48]},
-        "material": {
-          "type": "object", "additionalProperties": false, "required": ["token"],
-          "properties": {
-            "token": {"type": "string", "minLength": 1},
-            "preset": {"enum": ["default", "metal", "glass", "plastic", "wood", "ceramic", "rubber"]},
-            "transparent": {"type": "boolean"},
-            "emissive": {
-              "type": "object", "additionalProperties": false, "required": ["token", "intensity", "on"],
-              "properties": {"token": {"type": "string", "minLength": 1}, "intensity": {"type": "number", "minimum": 0, "maximum": 5}, "on": {"type": "boolean"}}
-            }
-          }
-        }
-      }
-    }
-  }
-}

package/docs/prototypes/asset.test.mjs

@@ -1,68 +0,0 @@
-import {test} from 'node:test'
-import assert from 'node:assert/strict'
-import {compileAsset,serializeAsset,parseAsset,captureAuthoredInputs} from './asset.mjs'
-import {sampleAsset} from './asset-samples.mjs'
-import {createAuthoringSession} from './authoring-session.mjs'
-import * as dryroom from './full-dryroom.mjs'
-import * as conveyor from './full-conveyor.mjs'
-import * as robot from './full-robot.mjs'
-import * as forklift from './full-forklift.mjs'
-import fs from 'node:fs/promises'
-import os from 'node:os'
-import path from 'node:path'
-import Ajv from '../../../things-factory/node_modules/ajv/lib/ajv.js'
-const samples={dryroom,conveyor,robot,forklift}
-test('four complete sample assets round-trip: geometry, bindings, materials, quality and palette',()=>{
- for(const [kind,sample] of Object.entries(samples)){
-  const asset=sampleAsset(kind),text=serializeAsset(asset),restored=parseAsset(text),a=compileAsset(asset).evaluate(),b=compileAsset(restored).evaluate()
-  assert.deepEqual(restored,asset);assert.deepEqual(a,b)
-  const expected=sample.evaluateFull()
-  for(const g of b.geometry){const source=expected.find(x=>x.id===g.id);assert.ok(source);assert.deepEqual(g.shape,source.shape);assert.deepEqual(g.pose,source.pose);assert.deepEqual(g.material,source.material);if(g.shape.provider==='cylinder')assert.equal(g.segments,source.segments??sample.seed.parts.find(p=>p.name===g.id)?.segments??16)}
-  console.log({asset:kind,bytes:Buffer.byteLength(text),meshes:b.geometry.length})
- }
- const r=compileAsset(parseAsset(serializeAsset(sampleAsset('robot')))).evaluate()
- assert.deepEqual(r.geometry.find(g=>g.id==='tool-seat').legacyCapability,robot.seed.parts.find(p=>p.name==='tool-seat').capability)
-})
-test('save edited design but reset transient motion unless explicitly captured as defaults',()=>{
- const asset=sampleAsset('forklift'),session=createAuthoringSession(asset.document,{...asset.designInputs,...asset.stateDefaults})
- session.apply({origin:'ai',expectedRevision:0,changes:[{kind:'set-design',input:'forkLength',unit:'mm',value:1275},{kind:'set-state',input:'lift',unit:'mm',value:1000}]})
- const saved=captureAuthoredInputs(asset,session.read().inputs),r=compileAsset(parseAsset(serializeAsset(saved))).evaluate()
- assert.equal(r.inputs.forkLength,1275);assert.equal(r.inputs.lift,0)
- assert.equal(r.bindings[0].pose.t[1],57)
- const captured=captureAuthoredInputs(asset,session.read().inputs,{captureStateDefaults:true})
- assert.equal(compileAsset(parseAsset(serializeAsset(captured))).evaluate().bindings[0].pose.t[1],1057)
- assert.equal(asset.designInputs.forkLength,850);assert.equal(asset.stateDefaults.lift,0)
-})
-test('saved repeat appearance applies to every new occurrence after dimension edit',()=>{
- const a=sampleAsset('conveyor');a.designInputs.length=4800
- const r=compileAsset(parseAsset(serializeAsset(a))).evaluate({angle:37}),rollers=r.geometry.filter(g=>g.key)
- assert.equal(rollers.length,30);assert.ok(rollers.every(g=>g.segments===12&&g.material.preset==='metal'))
-})
-test('unknown or missing appearance, unresolved palette, invalid quality and mismatched inputs reject',()=>{
- const edits=[a=>a.appearance.pop(),a=>a.appearance.push(a.appearance[0]),a=>a.appearance[0].target='missing',a=>delete a.palette['palette.primary'],a=>a.appearance.find(x=>x.segments).segments=13,a=>a.designInputs.lift=1,a=>delete a.stateDefaults.lift,a=>a.stateDefaults.lift=2001,a=>a.appearance[0].material.extra=true]
- for(const edit of edits){const a=sampleAsset('forklift');edit(a);assert.throws(()=>serializeAsset(a))}
-})
-test('runtime cannot override design or mutate saved defaults through returned data',()=>{
- const asset=sampleAsset('forklift'),p=compileAsset(asset),first=p.evaluate()
- assert.throws(()=>p.evaluate({forkLength:1700}))
- first.palette['palette.primary']='#000000';first.geometry[0].material.token='invalid';asset.designInputs.forkLength=0
- assert.equal(p.evaluate().inputs.forkLength,850);assert.equal(p.evaluate().palette['palette.primary'],'#154473')
-})
-test('asset parser retains duplicate-key and invalid JSON protections',()=>{
- const text=serializeAsset(sampleAsset('robot'))
- assert.throws(()=>parseAsset('{"version":"fake",'+text.slice(1)),e=>e.code==='JSON_DUPLICATE_KEY')
- assert.throws(()=>parseAsset(text.slice(0,-1)),e=>e.code==='JSON_SYNTAX')
- const a=sampleAsset('forklift');a.stateDefaults.lift=NaN;assert.throws(()=>serializeAsset(a),e=>e.code==='JSON_VALUE')
-})
-test('schema validation and real temporary JSON file round-trip, without seed lookups on reload',async()=>{
- const ajv=new Ajv({allErrors:true});ajv.addSchema(JSON.parse(await fs.readFile(new URL('./document.schema.json',import.meta.url))),'document.schema.json')
- const validate=ajv.compile(JSON.parse(await fs.readFile(new URL('./asset.schema.json',import.meta.url))))
- const directory=await fs.mkdtemp(path.join(os.tmpdir(),'figure-asset-'))
- try{
-  for(const kind of Object.keys(samples)){
-   const asset=sampleAsset(kind);assert.ok(validate(asset),JSON.stringify(validate.errors))
-   const file=path.join(directory,kind+'.json')
-   try{await fs.writeFile(file,serializeAsset(asset),'utf8');const loaded=parseAsset(await fs.readFile(file,'utf8'));assert.deepEqual(compileAsset(loaded).evaluate(),compileAsset(asset).evaluate())}finally{await fs.unlink(file).catch(()=>{})}
-  }
- }finally{await fs.rmdir(directory)}
-})

package/docs/prototypes/authoring-session.mjs

@@ -1 +0,0 @@
-export {createFigureAuthoringSession as createAuthoringSession} from '../../src/authoring-session.ts'

package/docs/prototypes/authoring-session.test.mjs

@@ -1,65 +0,0 @@
-import {test} from 'node:test'
-import assert from 'node:assert/strict'
-import {createAuthoringSession} from './authoring-session.mjs'
-import {repeatedBinding} from './repeated-binding.mjs'
-import {forkliftBindings} from './capability-samples.mjs'
-import {defaults as conveyorDefaults} from './full-conveyor.mjs'
-import {defaults as forkliftDefaults} from './full-forklift.mjs'
-const doc=s=>({version:'figure-prototype-1',model:s.model,capabilities:s.declaration})
-const edit=(input,value,unit='mm',kind='set-design')=>({kind,input,value,unit})
-const request=(changes,expectedRevision=0,origin='ui')=>({origin,expectedRevision,changes})
-const session=()=>createAuthoringSession(doc(repeatedBinding()),{...conveyorDefaults,selectedIndex:13})
-test('UI and AI use identical transactions and get identical candidate geometry',()=>{
- const ui=session(),ai=session(),changes=[edit('length',3000)]
- const a=ui.apply(request(changes,0,'ui')),b=ai.apply(request(changes,0,'ai'))
- assert.deepEqual(a.evaluation,b.evaluation);assert.deepEqual(a.inputs,b.inputs);assert.deepEqual(a.report.effects,b.report.effects)
- assert.equal(a.report.effects.geometry.added.length,4);assert.equal(a.revision,1)
- assert.equal(a.report.validation.collision,'unverified')
-})
-test('preview is detached and read-only; apply reevaluates the request instead of trusting preview result',()=>{
- const s=session(),before=s.read(),q=request([edit('length',3000)]),preview=s.preview(q)
- assert.deepEqual(s.read(),before);preview.candidate.inputs.length=1;preview.candidate.evaluation.geometry.length=0
- const result=s.apply(q);assert.equal(result.inputs.length,3000);assert.ok(result.evaluation.geometry.length>0)
-})
-test('broken repeated reference rolls back everything; a valid batch retargets explicitly',()=>{
- const s=session(),before=s.read()
- assert.throws(()=>s.apply(request([edit('length',900)])),e=>e.code==='TARGET_ABSENT');assert.deepEqual(s.read(),before)
- const r=s.apply(request([edit('length',900),edit('selectedIndex',0,'count')]))
- assert.equal(r.revision,1);assert.equal(r.inputs.selectedIndex,0);assert.equal(r.report.effects.geometry.removed.length,10)
- assert.notEqual(r.evaluation.bindings[0].targetGeometryId,before.evaluation.bindings[0].targetGeometryId)
-})
-test('stale AI proposal cannot overwrite a UI edit, including after undo (no revision reuse)',()=>{
- const s=session(),old=request([edit('length',3000)],0,'ai');s.preview(old)
- s.apply(request([edit('length',2550)]));assert.throws(()=>s.apply(old),e=>e.code==='REVISION_CONFLICT')
- const restored=s.undo({origin:'ui',expectedRevision:1});assert.equal(restored.inputs.length,2400);assert.equal(restored.revision,2)
- assert.throws(()=>s.apply(old),e=>e.code==='REVISION_CONFLICT')
-})
-test('undo/redo restore geometry and binding; failed edits and no-ops preserve redo',()=>{
- const s=session(),base=s.read(),changed=s.apply(request([edit('length',3000)]))
- const back=s.undo({origin:'ai',expectedRevision:1});assert.deepEqual(back.evaluation,base.evaluation)
- assert.throws(()=>s.apply(request([edit('length',900)],2)),e=>e.code==='TARGET_ABSENT')
- const noop=s.apply(request([edit('length',2400)],2));assert.equal(noop.revision,2);assert.equal(noop.canRedo,true)
- const redone=s.redo({origin:'ui',expectedRevision:2});assert.deepEqual(redone.evaluation,changed.evaluation)
- s.undo({origin:'ui',expectedRevision:3});s.apply(request([edit('length',2550)],4));assert.equal(s.read().canRedo,false)
-})
-test('role, unit, duplicate, range and unknown input errors cannot partially edit',()=>{
- const s=session(),before=s.read()
- for(const changes of [[edit('angle',37,'deg')],[edit('length',3,'m')],[edit('length',3000),edit('length',2400)],[edit('width',0)],[edit('missing',1)],[edit('length',3000),edit('width',NaN)]]){
-  assert.throws(()=>s.apply(request(changes)));assert.deepEqual(s.read(),before)
- }
-})
-test('simultaneous forklift design/state edit moves bindings once and survives undo',()=>{
- const s=createAuthoringSession(doc(forkliftBindings()),forkliftDefaults),before=s.read()
- const r=s.apply(request([edit('forkLength',1275),edit('lift',1000,'mm','set-state'),edit('reach',200,'mm','set-state')],0,'ai'))
- assert.deepEqual(r.evaluation.bindings[0].pose.t,[-260,1057,1197.5]);assert.equal(r.revision,1)
- assert.deepEqual(s.undo({origin:'ui',expectedRevision:1}).evaluation,before.evaluation)
-})
-test('bounded history and externally mutated snapshots cannot corrupt future edits',()=>{
- const s=session()
- for(let i=0;i<55;i++)s.apply(request([edit('length',i%2?2400:2550)],i))
- let view=s.read();view.inputs.length=0;view.evaluation.geometry.length=0
- assert.ok(s.read().evaluation.geometry.length>0)
- for(let i=0;i<50;i++)s.undo({origin:'ui',expectedRevision:55+i})
- assert.equal(s.read().canUndo,false);assert.equal(s.read().canRedo,true)
- assert.throws(()=>s.undo({origin:'ui',expectedRevision:105}),e=>e.code==='NOTHING_TO_UNDO')
-})

package/docs/prototypes/capability-plan.mjs

@@ -1 +0,0 @@
-export {compileFigureCapabilities as compileCapabilities} from '../../src/capabilities.ts'

package/docs/prototypes/capability-plan.test.mjs

@@ -1,56 +0,0 @@
-import {test} from 'node:test'
-import assert from 'node:assert/strict'
-import {compileCapabilities} from './capability-plan.mjs'
-import {robotBinding,forkliftBindings} from './capability-samples.mjs'
-import {defaults as robotDefaults} from './full-robot.mjs'
-import {defaults as forkDefaults} from './full-forklift.mjs'
-import {compile} from './typed-plan.mjs'
-const near=(a,b)=>assert.ok(Math.abs(a-b)<1e-7)
-const run=s=>compileCapabilities(s.model,s.declaration)
-test('robot grip follows changing links and six joints without creating or hiding solids',()=>{
- const s=robotBinding(),p=run(s),core=compile(s.model);let cases=0
- for(const upperLength of [210,420,840])for(const foreLength of [190,380,760])for(const angle of [-60,0,60])for(const gripper of [0,50,100]){
-  const args={...robotDefaults,upperLength,foreLength,gripper,'base-pan':angle,'shoulder-lift':angle,'elbow-flex':angle,'wrist-pitch':angle,'wrist-yaw':angle,'tool-roll':angle}
-  const result=p.evaluate(args),base=core.evaluate(args)
-  assert.deepEqual(result.geometry,base.geometry);assert.equal(result.geometry.length,10)
-  assert.ok(result.geometry.some(g=>g.id==='tool-seat'))
-  assert.deepEqual(result.bindings[0].pose,base.values.flangeWorldTop)
-  for(const key of ['spatial','collision','safety'])assert.equal(result.bindings[0].checks[key].status,'unverified')
-  cases++
- }
- console.log({robotBindingStates:cases})
-})
-test('both forklift seats follow actual top faces through lift, reach and fork length exactly once',()=>{
- const s=forkliftBindings(),p=run(s);let cases=0
- for(const forkLength of [425,850,1700])for(const lift of [0,1000,2000])for(const reach of [0,200,400]){
-  const r=p.evaluate({...forkDefaults,forkLength,lift,reach});assert.equal(r.geometry.length,20)
-  for(const b of r.bindings){near(b.pose.t[0],-260);near(b.pose.t[1],(b.id==='load-low'?57:457)+lift);near(b.pose.t[2],360+forkLength/2+reach);assert.equal(b.contacts.length,2);near(b.contacts[1].pose.t[0],260);assert.equal(b.region,null)}
-  cases++
- }
- console.log({forkliftBindingStates:cases})
-})
-test('eligibility is separate from fit/collision/safety, no occupancy mutation or reservation',()=>{
- const p=run(robotBinding())
- for(const [request,status] of [[undefined,'unverified'],[{type:'BOX',occupied:0},'satisfied'],[{type:'PALLET',occupied:0},'failed'],[{type:'BOX',occupied:1},'failed']]){
-  const requests=request?{'tool-grip':request}:{},before=structuredClone(requests),r=p.evaluate(robotDefaults,requests)
-  assert.equal(r.bindings[0].checks.eligibility.status,status);assert.equal(r.bindings[0].checks.collision.status,'unverified');assert.deepEqual(requests,before)
- }
- assert.throws(()=>p.evaluate(robotDefaults,{'tool-grip':{type:'BOX',occupied:-1}}),e=>e.code==='OCCUPANCY')
- assert.throws(()=>p.evaluate(robotDefaults,{unknown:{type:'BOX',occupied:0}}),e=>e.code==='SCHEMA')
-})
-test('missing references, wrong frame, wrong units, duplicate ids and ambiguous roles fail closed',()=>{
- const checks=[['TARGET_ABSENT',b=>b.pose='deleted'],['FRAME_TYPE',b=>b.frame='wrong'],['ROLE',b=>b.role='slot'],['CAPACITY',b=>b.capacity=1.5],['TYPE',b=>b.region={kind:'centered-box',dimensions:['gripper','upperLength','foreLength']}],['SCHEMA',b=>b.region=null],['SCHEMA',b=>b.hidden=true]]
- for(const [code,edit] of checks){const s=robotBinding();edit(s.declaration.bindings[0]);assert.throws(()=>run(s),e=>e.code===code)}
- const s=robotBinding();s.declaration.bindings.push(structuredClone(s.declaration.bindings[0]));assert.throws(()=>run(s),e=>e.code==='DUPLICATE_BINDING')
-})
-test('region values have canonical mm, are not solid meshes, reject zero and recover atomically',()=>{
- const s=robotBinding();s.model.inputs.push({id:'clearance',unit:'cm',min:0,max:10});s.declaration.bindings[0].region={kind:'centered-box',dimensions:['upperLength','foreLength','clearance']}
- const p=run(s),args={...robotDefaults,clearance:2},first=p.evaluate(args)
- assert.deepEqual(first.bindings[0].region.dimensions,[420,380,20]);assert.equal(first.geometry.length,10);assert.equal(first.bindings[0].checks.spatial.status,'unverified')
- assert.throws(()=>p.evaluate({...args,clearance:0}),e=>e.code==='REGION_DOMAIN');assert.deepEqual(p.evaluate(args),first)
-})
-test('compiled declaration and returned results are isolated from external mutation',()=>{
- const s=robotBinding(),p=run(s),a=p.evaluate(robotDefaults),snapshot=structuredClone(a)
- s.declaration.bindings[0].pose='deleted';s.model.nodes.length=0;a.bindings[0].pose.t[0]=999;a.geometry.length=0
- assert.deepEqual(p.evaluate(robotDefaults),snapshot)
-})