@kumwe/studio-core 0.1.0-alpha.3 → 0.1.0-alpha.5

package/dist/modes.d.ts

@@ -0,0 +1,47 @@
+import type { BlueprintCommand, BlueprintDocument, StudioCommand, StudioConfiguration, StudioSessionMode } from '@kumwe/studio-protocol';
+/**
+ * Every session mode, in stable sorted order. The permitted-command table is
+ * total over exactly this set.
+ */
+export declare const STUDIO_SESSION_MODES: readonly StudioSessionMode[];
+/** Every canonical command type addressable by the mode table. */
+export type StudioCommandType = StudioCommand['type'];
+/**
+ * The deterministic mode-to-permitted-command table: one immutable set per
+ * session mode, shared across calls, so UIs derive disabled affordances from
+ * the same source the session enforces. The table is type-level only; the
+ * hybrid entries additionally require every affected collection to stay
+ * inside a structural authoring region, which the session enforces per
+ * command target.
+ */
+export declare function permittedCommandTypes(mode: StudioSessionMode): ReadonlySet<StudioCommandType>;
+/**
+ * Flattens a configuration's editing mode, composite, and session state into
+ * the single session mode fixed at session creation: a read-only session
+ * state always flattens to `read-only`, the hybrid composite flattens to
+ * `hybrid`, and every other session keeps its authoring mode. The hybrid
+ * composite is invalid with Model mode, mirroring the configuration schema.
+ */
+export declare function resolveSessionMode(configuration: Pick<StudioConfiguration, 'composite' | 'mode' | 'sessionState'>): StudioSessionMode;
+/**
+ * Fails closed with the stable `mode-forbidden` code when the command type is
+ * outside the active mode's permitted set.
+ */
+export declare function assertModePermitsCommandType(mode: StudioSessionMode, type: StudioCommandType): void;
+/**
+ * Enforces the bounded-composition rule for one hybrid structure command:
+ * every collection the command inserts into, removes from, moves across, or
+ * reorders must be a named slot of a node whose authoring policy mode is
+ * `structural`; inserted block types must satisfy the structural node's
+ * `allowedBlocks` when declared; subtrees containing a `locked` node are
+ * never inserted, removed, moved, or duplicated; and document roots are
+ * never in bounds. Batch operations are evaluated sequentially against a
+ * trial state so later operations may compose nodes earlier operations
+ * introduced. A violation fails closed with `mode-forbidden`; a reference
+ * the gate cannot resolve is left for the reducer's canonical failure code.
+ *
+ * The passed document is consumed as trial scratch state and may be mutated;
+ * callers pass a clone.
+ */
+export declare function assertHybridCommandInBounds(document: BlueprintDocument, command: BlueprintCommand): void;
+//# sourceMappingURL=modes.d.ts.map

package/dist/modes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"modes.d.ts","sourceRoot":"","sources":["../src/modes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,gBAAgB,EAChB,iBAAiB,EAIjB,aAAa,EACb,mBAAmB,EACnB,iBAAiB,EAClB,MAAM,wBAAwB,CAAC;AAGhC;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,iBAAiB,EAM3D,CAAC;AAEH,kEAAkE;AAClE,MAAM,MAAM,iBAAiB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;AAoDtD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,iBAAiB,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAE7F;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,IAAI,CAAC,mBAAmB,EAAE,WAAW,GAAG,MAAM,GAAG,cAAc,CAAC,GAC9E,iBAAiB,CAWnB;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE,iBAAiB,GACtB,IAAI,CAON;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,IAAI,CAyCN"}

package/dist/modes.js

@@ -0,0 +1,266 @@
+import { applyOperation, StudioCommandError } from './commands.js';
+/**
+ * Every session mode, in stable sorted order. The permitted-command table is
+ * total over exactly this set.
+ */
+export const STUDIO_SESSION_MODES = Object.freeze([
+    'blueprint',
+    'content',
+    'hybrid',
+    'model',
+    'read-only',
+]);
+const BLUEPRINT_STRUCTURE_COMMAND_TYPES = [
+    'studio.command/apply-pattern',
+    'studio.command/batch',
+    'studio.command/duplicate-node',
+    'studio.command/insert-node',
+    'studio.command/move-node',
+    'studio.command/remove-binding',
+    'studio.command/remove-node',
+    'studio.command/reorder-children',
+    'studio.command/reset-inherited-property',
+    'studio.command/restore-node',
+    'studio.command/set-binding',
+    'studio.command/set-property',
+    'studio.command/set-size-role',
+    'studio.command/unset-property',
+    'studio.command/unset-size-role',
+];
+/**
+ * The structure commands hybrid composition may dispatch when every affected
+ * collection stays inside a structural authoring region. Property, binding,
+ * size-role, inheritance-reset, and pattern commands remain Blueprint-mode
+ * vocabulary.
+ */
+const HYBRID_STRUCTURE_OPERATION_TYPES = [
+    'studio.command/duplicate-node',
+    'studio.command/insert-node',
+    'studio.command/move-node',
+    'studio.command/remove-node',
+    'studio.command/reorder-children',
+    'studio.command/restore-node',
+];
+const PERMITTED_COMMAND_TYPES = Object.freeze({
+    blueprint: immutableCommandTypeSet(BLUEPRINT_STRUCTURE_COMMAND_TYPES),
+    content: immutableCommandTypeSet(['studio.command/set-field-value']),
+    hybrid: immutableCommandTypeSet([
+        'studio.command/batch',
+        ...HYBRID_STRUCTURE_OPERATION_TYPES,
+        'studio.command/set-field-value',
+    ]),
+    model: immutableCommandTypeSet(['studio.command/add-model-field']),
+    'read-only': immutableCommandTypeSet([]),
+});
+const HYBRID_BATCHABLE_OPERATION_TYPES = immutableCommandTypeSet(HYBRID_STRUCTURE_OPERATION_TYPES);
+/**
+ * The deterministic mode-to-permitted-command table: one immutable set per
+ * session mode, shared across calls, so UIs derive disabled affordances from
+ * the same source the session enforces. The table is type-level only; the
+ * hybrid entries additionally require every affected collection to stay
+ * inside a structural authoring region, which the session enforces per
+ * command target.
+ */
+export function permittedCommandTypes(mode) {
+    return PERMITTED_COMMAND_TYPES[mode];
+}
+/**
+ * Flattens a configuration's editing mode, composite, and session state into
+ * the single session mode fixed at session creation: a read-only session
+ * state always flattens to `read-only`, the hybrid composite flattens to
+ * `hybrid`, and every other session keeps its authoring mode. The hybrid
+ * composite is invalid with Model mode, mirroring the configuration schema.
+ */
+export function resolveSessionMode(configuration) {
+    if (configuration.sessionState === 'read-only') {
+        return 'read-only';
+    }
+    if (configuration.composite === 'hybrid') {
+        if (configuration.mode === 'model') {
+            throw new RangeError('The hybrid composite is invalid with the model editing mode.');
+        }
+        return 'hybrid';
+    }
+    return configuration.mode;
+}
+/**
+ * Fails closed with the stable `mode-forbidden` code when the command type is
+ * outside the active mode's permitted set.
+ */
+export function assertModePermitsCommandType(mode, type) {
+    if (!PERMITTED_COMMAND_TYPES[mode].has(type)) {
+        throw new StudioCommandError('mode-forbidden', `Command type ${type} is not permitted in ${mode} mode.`);
+    }
+}
+/**
+ * Enforces the bounded-composition rule for one hybrid structure command:
+ * every collection the command inserts into, removes from, moves across, or
+ * reorders must be a named slot of a node whose authoring policy mode is
+ * `structural`; inserted block types must satisfy the structural node's
+ * `allowedBlocks` when declared; subtrees containing a `locked` node are
+ * never inserted, removed, moved, or duplicated; and document roots are
+ * never in bounds. Batch operations are evaluated sequentially against a
+ * trial state so later operations may compose nodes earlier operations
+ * introduced. A violation fails closed with `mode-forbidden`; a reference
+ * the gate cannot resolve is left for the reducer's canonical failure code.
+ *
+ * The passed document is consumed as trial scratch state and may be mutated;
+ * callers pass a clone.
+ */
+export function assertHybridCommandInBounds(document, command) {
+    switch (command.type) {
+        case 'studio.command/batch': {
+            for (const operation of command.payload.operations) {
+                const type = operation.type;
+                if (type === 'studio.command/batch' ||
+                    type === 'studio.command/apply-pattern' ||
+                    type === 'studio.command/reset-inherited-property') {
+                    // Never legal inside a batch; the reducer's canonical
+                    // invalid-batch rejection resurfaces when the command executes.
+                    return;
+                }
+                if (!HYBRID_BATCHABLE_OPERATION_TYPES.has(operation.type)) {
+                    throw new StudioCommandError('mode-forbidden', `Batch operation type ${operation.type} is not permitted in hybrid mode.`);
+                }
+                assertHybridOperationInBounds(document, operation);
+                try {
+                    applyOperation(document, operation);
+                }
+                catch {
+                    // The trial cannot advance past this operation; the reducer's
+                    // canonical failure code resurfaces when the command executes.
+                    return;
+                }
+            }
+            return;
+        }
+        case 'studio.command/apply-pattern':
+        case 'studio.command/reset-inherited-property':
+            // Unreachable behind the type gate; kept for fail-closed defence.
+            throw new StudioCommandError('mode-forbidden', `Command type ${command.type} is not permitted in hybrid mode.`);
+        default:
+            assertHybridOperationInBounds(document, command);
+    }
+}
+function assertHybridOperationInBounds(document, operation) {
+    switch (operation.type) {
+        case 'studio.command/insert-node':
+        case 'studio.command/restore-node': {
+            assertSubtreeUnlocked(operation.payload.node);
+            assertComposableDestination(document, operation.payload.destination, operation.payload.node);
+            return;
+        }
+        case 'studio.command/remove-node': {
+            const location = locateNode(document.roots, operation.payload.nodeId);
+            if (location === undefined) {
+                return;
+            }
+            assertSubtreeUnlocked(location.node);
+            assertComposableParent(location.parent);
+            return;
+        }
+        case 'studio.command/move-node': {
+            const location = locateNode(document.roots, operation.payload.nodeId);
+            if (location === undefined) {
+                return;
+            }
+            assertSubtreeUnlocked(location.node);
+            assertComposableParent(location.parent);
+            assertComposableDestination(document, operation.payload.destination, location.node);
+            return;
+        }
+        case 'studio.command/duplicate-node': {
+            const location = locateNode(document.roots, operation.payload.nodeId);
+            if (location === undefined) {
+                return;
+            }
+            assertSubtreeUnlocked(location.node);
+            if (operation.payload.destination === undefined) {
+                assertComposableParent(location.parent);
+                if (location.parent !== undefined) {
+                    assertAllowedBlock(location.parent, location.node);
+                }
+            }
+            else {
+                assertComposableDestination(document, operation.payload.destination, location.node);
+            }
+            return;
+        }
+        case 'studio.command/reorder-children': {
+            if (operation.payload.parentNodeId === undefined) {
+                throw rootsOutOfBounds();
+            }
+            assertComposableParent(locateNode(document.roots, operation.payload.parentNodeId)?.node);
+            return;
+        }
+        default:
+            // Unreachable behind the type gate; kept for fail-closed defence.
+            throw new StudioCommandError('mode-forbidden', `Batch operation type ${operation.type} is not permitted in hybrid mode.`);
+    }
+}
+function locateNode(nodes, nodeId, parent) {
+    for (const node of nodes) {
+        if (node.id === nodeId) {
+            return parent === undefined ? { node } : { node, parent };
+        }
+        for (const children of Object.values(node.slots)) {
+            const nested = locateNode(children, nodeId, node);
+            if (nested !== undefined) {
+                return nested;
+            }
+        }
+    }
+    return undefined;
+}
+function assertComposableDestination(document, destination, node) {
+    if (destination.parentNodeId === undefined) {
+        throw rootsOutOfBounds();
+    }
+    const parent = locateNode(document.roots, destination.parentNodeId)?.node;
+    if (parent === undefined) {
+        // The reducer's canonical parent-not-found rejection resurfaces.
+        return;
+    }
+    assertComposableParent(parent);
+    assertAllowedBlock(parent, node);
+}
+function assertComposableParent(parent) {
+    if (parent === undefined) {
+        throw rootsOutOfBounds();
+    }
+    if (parent.authoring.mode !== 'structural') {
+        throw new StudioCommandError('mode-forbidden', `Hybrid composition is bounded to structural slots; node ${parent.id} does not declare structural authoring.`);
+    }
+}
+function assertAllowedBlock(parent, node) {
+    const allowedBlocks = parent.authoring.allowedBlocks;
+    if (allowedBlocks !== undefined && !allowedBlocks.includes(node.type)) {
+        throw new StudioCommandError('mode-forbidden', `Block type ${node.type} is not an allowed block inside structural node ${parent.id}.`);
+    }
+}
+function assertSubtreeUnlocked(node) {
+    const stack = [node];
+    while (stack.length > 0) {
+        const current = stack.pop();
+        if (current === undefined) {
+            break;
+        }
+        if (current.authoring.mode === 'locked') {
+            throw new StudioCommandError('mode-forbidden', `Node ${current.id} is locked and never changes through hybrid composition.`);
+        }
+        for (const children of Object.values(current.slots)) {
+            stack.push(...children);
+        }
+    }
+}
+function rootsOutOfBounds() {
+    return new StudioCommandError('mode-forbidden', 'Hybrid composition is bounded to structural slots; the document roots are out of bounds.');
+}
+function immutableCommandTypeSet(types) {
+    const set = new Set(types);
+    const forbidMutation = () => {
+        throw new TypeError('The permitted command-type table is immutable.');
+    };
+    return Object.freeze(Object.assign(set, { add: forbidMutation, clear: forbidMutation, delete: forbidMutation }));
+}
+//# sourceMappingURL=modes.js.map

package/dist/modes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modes.js","sourceRoot":"","sources":["../src/modes.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAEnE;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAiC,MAAM,CAAC,MAAM,CAAC;IAC9E,WAAW;IACX,SAAS;IACT,QAAQ;IACR,OAAO;IACP,WAAW;CACZ,CAAC,CAAC;AAKH,MAAM,iCAAiC,GAAiC;IACtE,8BAA8B;IAC9B,sBAAsB;IACtB,+BAA+B;IAC/B,4BAA4B;IAC5B,0BAA0B;IAC1B,+BAA+B;IAC/B,4BAA4B;IAC5B,iCAAiC;IACjC,yCAAyC;IACzC,6BAA6B;IAC7B,4BAA4B;IAC5B,6BAA6B;IAC7B,8BAA8B;IAC9B,+BAA+B;IAC/B,gCAAgC;CACjC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,gCAAgC,GAAiC;IACrE,+BAA+B;IAC/B,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,iCAAiC;IACjC,6BAA6B;CAC9B,CAAC;AAEF,MAAM,uBAAuB,GAC3B,MAAM,CAAC,MAAM,CAAC;IACZ,SAAS,EAAE,uBAAuB,CAAC,iCAAiC,CAAC;IACrE,OAAO,EAAE,uBAAuB,CAAC,CAAC,gCAAgC,CAAC,CAAC;IACpE,MAAM,EAAE,uBAAuB,CAAC;QAC9B,sBAAsB;QACtB,GAAG,gCAAgC;QACnC,gCAAgC;KACjC,CAAC;IACF,KAAK,EAAE,uBAAuB,CAAC,CAAC,gCAAgC,CAAC,CAAC;IAClE,WAAW,EAAE,uBAAuB,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC;AAEL,MAAM,gCAAgC,GAAmC,uBAAuB,CAC9F,gCAAgC,CACjC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAuB;IAC3D,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,aAA+E;IAE/E,IAAI,aAAa,CAAC,YAAY,KAAK,WAAW,EAAE,CAAC;QAC/C,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,aAAa,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QACzC,IAAI,aAAa,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACnC,MAAM,IAAI,UAAU,CAAC,8DAA8D,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,CAAC;AAC5B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAuB,EACvB,IAAuB;IAEvB,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,gBAAgB,IAAI,wBAAwB,IAAI,QAAQ,CACzD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,2BAA2B,CACzC,QAA2B,EAC3B,OAAyB;IAEzB,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,sBAAsB,CAAC,CAAC,CAAC;YAC5B,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBACnD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAc,CAAC;gBACtC,IACE,IAAI,KAAK,sBAAsB;oBAC/B,IAAI,KAAK,8BAA8B;oBACvC,IAAI,KAAK,yCAAyC,EAClD,CAAC;oBACD,sDAAsD;oBACtD,gEAAgE;oBAChE,OAAO;gBACT,CAAC;gBACD,IAAI,CAAC,gCAAgC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC1D,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,wBAAwB,SAAS,CAAC,IAAI,mCAAmC,CAC1E,CAAC;gBACJ,CAAC;gBACD,6BAA6B,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACnD,IAAI,CAAC;oBACH,cAAc,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACtC,CAAC;gBAAC,MAAM,CAAC;oBACP,8DAA8D;oBAC9D,+DAA+D;oBAC/D,OAAO;gBACT,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,8BAA8B,CAAC;QACpC,KAAK,yCAAyC;YAC5C,kEAAkE;YAClE,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,gBAAgB,OAAO,CAAC,IAAI,mCAAmC,CAChE,CAAC;QACJ;YACE,6BAA6B,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,QAA2B,EAC3B,SAAkC;IAElC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,4BAA4B,CAAC;QAClC,KAAK,6BAA6B,CAAC,CAAC,CAAC;YACnC,qBAAqB,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9C,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7F,OAAO;QACT,CAAC;QACD,KAAK,4BAA4B,CAAC,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrC,sBAAsB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO;QACT,CAAC;QACD,KAAK,0BAA0B,CAAC,CAAC,CAAC;YAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrC,sBAAsB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACxC,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YACpF,OAAO;QACT,CAAC;QACD,KAAK,+BAA+B,CAAC,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,OAAO;YACT,CAAC;YACD,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,SAAS,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBAChD,sBAAsB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;oBAClC,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,2BAA2B,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtF,CAAC;YACD,OAAO;QACT,CAAC;QACD,KAAK,iCAAiC,CAAC,CAAC,CAAC;YACvC,IAAI,SAAS,CAAC,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;gBACjD,MAAM,gBAAgB,EAAE,CAAC;YAC3B,CAAC;YACD,sBAAsB,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;YACzF,OAAO;QACT,CAAC;QACD;YACE,kEAAkE;YAClE,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,wBAAwB,SAAS,CAAC,IAAI,mCAAmC,CAC1E,CAAC;IACN,CAAC;AACH,CAAC;AAOD,SAAS,UAAU,CACjB,KAA+B,EAC/B,MAAc,EACd,MAAsB;IAEtB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QAC5D,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAClD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,2BAA2B,CAClC,QAA2B,EAC3B,WAA+B,EAC/B,IAAmB;IAEnB,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,gBAAgB,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;IAC1E,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,iEAAiE;QACjE,OAAO;IACT,CAAC;IACD,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/B,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAiC;IAC/D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,gBAAgB,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC3C,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,2DAA2D,MAAM,CAAC,EAAE,yCAAyC,CAC9G,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAqB,EAAE,IAAmB;IACpE,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC;IACrD,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,cAAc,IAAI,CAAC,IAAI,mDAAmD,MAAM,CAAC,EAAE,GAAG,CACvF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAmB;IAChD,MAAM,KAAK,GAAoB,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM;QACR,CAAC;QACD,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxC,MAAM,IAAI,kBAAkB,CAC1B,gBAAgB,EAChB,QAAQ,OAAO,CAAC,EAAE,0DAA0D,CAC7E,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpD,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB;IACvB,OAAO,IAAI,kBAAkB,CAC3B,gBAAgB,EAChB,0FAA0F,CAC3F,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAmC;IAEnC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,cAAc,GAAG,GAAU,EAAE;QACjC,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACxE,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAC3F,CAAC;AACJ,CAAC"}

package/dist/profile-validator.d.ts

@@ -0,0 +1,47 @@
+import type { JsonSchema } from '@kumwe/studio-protocol';
+/** One validation failure, in the shape core diagnostics consume. */
+export interface SchemaValidationError {
+    /** JSON Pointer to the failing instance location (`''` is the root). */
+    instancePath: string;
+    /** The schema keyword that failed. */
+    keyword: string;
+    /** A human-readable default message. */
+    message: string;
+}
+export interface CompileSchemaOptions {
+    /**
+     * Additional schema documents addressable through their root `$id` for
+     * cross-document `$ref` targets. This is the in-memory registry the
+     * profile contract describes; runtime network retrieval never happens.
+     */
+    schemas?: readonly JsonSchema[];
+}
+type SchemaNode = Record<string, unknown>;
+type Subschema = SchemaNode | boolean;
+interface CompiledProgram {
+    patterns: WeakMap<SchemaNode, RegExp>;
+    references: WeakMap<SchemaNode, Subschema>;
+    root: SchemaNode;
+}
+/**
+ * A compiled (pre-walked, pre-resolved) profile schema. `validate` mirrors
+ * the verdict-plus-`errors` shape of the code-generating validator it
+ * replaces: `errors` is `null` after a passing run and carries the failures
+ * of the most recent failing run otherwise.
+ */
+export declare class CompiledSchemaValidator {
+    #private;
+    errors: SchemaValidationError[] | null;
+    constructor(program: CompiledProgram);
+    validate(instance: unknown): boolean;
+}
+/**
+ * Compiles a schema for interpretation: validates every keyword against the
+ * profile's closed allowlist and operand grammar, compiles bounded lexical
+ * patterns, and resolves every `$ref` against the in-memory registry. All
+ * structural errors surface here, at compile time, so validation itself is
+ * total. Throws `TypeError`/`RangeError` on any schema outside the profile.
+ */
+export declare function compileProfileSchema(schema: JsonSchema, options?: CompileSchemaOptions): CompiledSchemaValidator;
+export {};
+//# sourceMappingURL=profile-validator.d.ts.map

package/dist/profile-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"profile-validator.d.ts","sourceRoot":"","sources":["../src/profile-validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAwFzD,qEAAqE;AACrE,MAAM,WAAW,qBAAqB;IACpC,wEAAwE;IACxE,YAAY,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,wCAAwC;IACxC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,oBAAoB;IACnC;;;;OAIG;IACH,OAAO,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CACjC;AAED,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC1C,KAAK,SAAS,GAAG,UAAU,GAAG,OAAO,CAAC;AAgBtC,UAAU,eAAe;IACvB,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACtC,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC3C,IAAI,EAAE,UAAU,CAAC;CAClB;AAED;;;;;GAKG;AACH,qBAAa,uBAAuB;;IAC3B,MAAM,EAAE,qBAAqB,EAAE,GAAG,IAAI,CAAQ;gBAGlC,OAAO,EAAE,eAAe;IAIpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO;CAM5C;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,UAAU,EAClB,OAAO,GAAE,oBAAyB,GACjC,uBAAuB,CA6CzB"}