@orkestrel/tool 0.0.4 → 0.0.6

package/dist/src/core/index.d.cts

@@ -296,12 +296,12 @@ export declare interface AnswerToolOptions {
  * union directly, so `value` is typed as the full `string | boolean | readonly string[]` union
  * here (no lossy string-only fallback needed).
  */
-export declare const answerToolShape: UnionShape<[ ObjectShape<{
+export declare const answerToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["pending"]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["answer"]>;
     id: StringShape;
-    value: UnionShape<[ StringShape, BooleanShape, ArrayShape<StringShape>]>;
+    value: UnionShape<readonly [ StringShape, BooleanShape, ArrayShape<StringShape>]>;
 }, false>]>;
 
 /**
@@ -379,7 +379,7 @@ export declare type ColumnSpec = ColumnKind | Readonly<{
 }>;
 
 /** A {@link import('./types.js').ColumnSpec} — a bare {@link columnKindShape}, or `{ type, optional }`. */
-export declare const columnSpecShape: UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+export declare const columnSpecShape: UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
     type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
     optional: OptionalShape<BooleanShape>;
 }, false>]>;
@@ -1258,6 +1258,66 @@ export declare class DatabaseDefinitionStore implements DefinitionStoreInterface
     delete(id: string): Promise<void>;
 }
 
+/**
+ * Resolve database definitions into cached live handles for database tools.
+ *
+ * @example
+ * ```ts
+ * import { DatabaseResolver } from '@orkestrel/tool'
+ *
+ * const resolver = new DatabaseResolver(handles, drivers, key, store)
+ * const database = await resolver.resolve('shop')
+ * ```
+ */
+export declare class DatabaseResolver {
+    #private;
+    /**
+     * Create a database resolver over the tool's live state and optional definition store.
+     *
+     * @param handles - Initial live database handles cached by id
+     * @param drivers - Driver factories keyed by definition driver name
+     * @param key - Key generator supplied to newly created databases
+     * @param store - Optional persistent definition store
+     */
+    constructor(handles: ReadonlyMap<string, DatabaseInterface>, drivers: Readonly<Record<string, () => DriverInterface>>, key: KeyFunction, store?: DefinitionStoreInterface);
+    /**
+     * Determine whether a live database is cached by id.
+     *
+     * @param id - Database id
+     * @returns Whether a live handle is cached
+     */
+    has(id: string): boolean;
+    /**
+     * Read a cached database without consulting the definition store.
+     *
+     * @param id - Database id
+     * @returns The cached live database, or `undefined`
+     */
+    get(id: string): DatabaseInterface | undefined;
+    /**
+     * Cache a live database by id.
+     *
+     * @param id - Database id
+     * @param database - Live database handle
+     * @returns Nothing
+     */
+    set(id: string, database: DatabaseInterface): void;
+    /**
+     * Remove a cached live database by id.
+     *
+     * @param id - Database id
+     * @returns Nothing
+     */
+    delete(id: string): void;
+    /**
+     * Resolve a cached or stored database by id.
+     *
+     * @param id - Database definition id
+     * @returns The cached or newly constructed live database
+     */
+    resolve(id: string): Promise<DatabaseInterface>;
+}
+
 /**
  * Map a caught error to the {@link AgentToolErrorCode} the upcoming database tool should throw
  * with — the pure classification step of that factory's error handling, mirroring
@@ -1324,11 +1384,11 @@ export declare interface DatabaseToolOptions {
  * `'aggregate'` carry an optional `criteria` (the SERIALIZED form — `values` is ALWAYS an array,
  * even for a single-value operator, so a caller never chains method calls or guesses arity).
  */
-export declare const databaseToolShape: UnionShape<[ ObjectShape<{
+export declare const databaseToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["create"]>;
     id: StringShape;
     tables: ObjectShape<Record<never, never>, ObjectShape<{
-        columns: ObjectShape<Record<never, never>, UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+        columns: ObjectShape<Record<never, never>, UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
             type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
             optional: OptionalShape<BooleanShape>;
         }, false>]>>;
@@ -1342,7 +1402,7 @@ export declare const databaseToolShape: UnionShape<[ ObjectShape<{
     operation: LiteralShape<readonly ["get"]>;
     id: StringShape;
     table: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["records"]>;
     id: StringShape;
@@ -1403,28 +1463,28 @@ export declare const databaseToolShape: UnionShape<[ ObjectShape<{
     operation: LiteralShape<readonly ["add"]>;
     id: StringShape;
     table: StringShape;
-    row: UnionShape<[ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+    row: UnionShape<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["set"]>;
     id: StringShape;
     table: StringShape;
-    row: UnionShape<[ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+    row: UnionShape<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["update"]>;
     id: StringShape;
     table: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
     changes: ObjectShape<Record<never, never>, JSONShape>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["remove"]>;
     id: StringShape;
     table: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["migrate"]>;
     id: StringShape;
     tables: ObjectShape<Record<never, never>, ObjectShape<{
-        columns: ObjectShape<Record<never, never>, UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+        columns: ObjectShape<Record<never, never>, UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
             type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
             optional: OptionalShape<BooleanShape>;
         }, false>]>>;
@@ -1707,7 +1767,7 @@ export declare function isColumnSpec(value: unknown): value is ColumnSpec;
 export declare function isDatabaseDefinition(value: unknown): value is DatabaseDefinition;
 
 /** One key value — a string or number; the array form (multiple keys, positional) resolves FIRST per AGENTS §9.2. */
-export declare const keyShape: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+export declare const keyShape: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 
 /** Map one {@link import('./types.js').ColumnKind} to its primitive `@orkestrel/database` shape — the leaf {@link columnShape} wraps. */
 export declare function kindShape(kind: ColumnKind): ContractShape;
@@ -1918,7 +1978,7 @@ export declare const RELATION_TOOL_NAME = "relation";
 export declare const RELATION_TOOL_SUMMARY = "Traverse and edit relationships between database rows \u2014 one operation per call (load, find, link, unlink, links), chosen by the 'operation' field. Call describe('relation') for the include-path syntax.";
 
 /** One key value — a string or number; the array form (multiple keys, positional) resolves FIRST per AGENTS §9.2. */
-export declare const relationKeyShape: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+export declare const relationKeyShape: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 
 /**
  * Resolve which registered {@link RelationManagerInterface} a relation-tool call addresses — the
@@ -1994,11 +2054,11 @@ export declare interface RelationToolOptions {
  * fetches rows (pagination / sort only) with `include` attached. `'link'` / `'unlink'` write /
  * remove a `through` junction row; `'links'` lists a `through` relation's linked keys.
  */
-export declare const relationToolShape: UnionShape<[ ObjectShape<{
+export declare const relationToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["load"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
     include: OptionalShape<ArrayShape<StringShape>>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["find"]>;
@@ -2013,21 +2073,21 @@ export declare const relationToolShape: UnionShape<[ ObjectShape<{
     operation: LiteralShape<readonly ["link"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ StringShape, NumberShape]>;
+    key: UnionShape<readonly [ StringShape, NumberShape]>;
     relation: StringShape;
-    target: UnionShape<[ StringShape, NumberShape]>;
+    target: UnionShape<readonly [ StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["unlink"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ StringShape, NumberShape]>;
+    key: UnionShape<readonly [ StringShape, NumberShape]>;
     relation: StringShape;
-    target: UnionShape<[ StringShape, NumberShape]>;
+    target: UnionShape<readonly [ StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["links"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ StringShape, NumberShape]>;
+    key: UnionShape<readonly [ StringShape, NumberShape]>;
     relation: StringShape;
 }, false>]>;
 
@@ -2035,10 +2095,10 @@ export declare const relationToolShape: UnionShape<[ ObjectShape<{
 export declare const rowShape: ObjectShape<Record<never, never>, JSONShape>;
 
 /** One or many loose rows — the array form resolves FIRST per AGENTS §9.2. */
-export declare const rowsShape: UnionShape<[ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+export declare const rowsShape: UnionShape<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
 
 /** A single row key (not an array) — used by `'link'` / `'unlink'` / `'links'`, which address exactly one owning row. */
-export declare const singleKeyShape: UnionShape<[ StringShape, NumberShape]>;
+export declare const singleKeyShape: UnionShape<readonly [ StringShape, NumberShape]>;
 
 /**
  * The shape of ONE flat step — `{ name }` — the building block of {@link workflowStepsShape}.
@@ -2077,7 +2137,7 @@ export declare type TableSpec = Readonly<Record<string, Readonly<{
 
 /** A {@link import('./types.js').TableSpec} — table name to `{ columns }`, each column a {@link columnSpecShape}. */
 export declare const tableSpecShape: ObjectShape<Record<never, never>, ObjectShape<{
-    columns: ObjectShape<Record<never, never>, UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+    columns: ObjectShape<Record<never, never>, UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
         type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
         optional: OptionalShape<BooleanShape>;
     }, false>]>>;
@@ -2531,7 +2591,7 @@ export declare interface WorkspaceToolOptions {
  * the model can move between) and `switch` (re-point the active one by `id`) — let a model
  * DISCOVER then CHOOSE which workspace the edit / read arms target.
  */
-export declare const workspaceToolShape: UnionShape<[ ObjectShape<{
+export declare const workspaceToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["read"]>;
     path: StringShape;
 }, false>, ObjectShape<{

package/dist/src/core/index.d.ts

@@ -296,12 +296,12 @@ export declare interface AnswerToolOptions {
  * union directly, so `value` is typed as the full `string | boolean | readonly string[]` union
  * here (no lossy string-only fallback needed).
  */
-export declare const answerToolShape: UnionShape<[ ObjectShape<{
+export declare const answerToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["pending"]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["answer"]>;
     id: StringShape;
-    value: UnionShape<[ StringShape, BooleanShape, ArrayShape<StringShape>]>;
+    value: UnionShape<readonly [ StringShape, BooleanShape, ArrayShape<StringShape>]>;
 }, false>]>;
 
 /**
@@ -379,7 +379,7 @@ export declare type ColumnSpec = ColumnKind | Readonly<{
 }>;
 
 /** A {@link import('./types.js').ColumnSpec} — a bare {@link columnKindShape}, or `{ type, optional }`. */
-export declare const columnSpecShape: UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+export declare const columnSpecShape: UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
     type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
     optional: OptionalShape<BooleanShape>;
 }, false>]>;
@@ -1258,6 +1258,66 @@ export declare class DatabaseDefinitionStore implements DefinitionStoreInterface
     delete(id: string): Promise<void>;
 }
 
+/**
+ * Resolve database definitions into cached live handles for database tools.
+ *
+ * @example
+ * ```ts
+ * import { DatabaseResolver } from '@orkestrel/tool'
+ *
+ * const resolver = new DatabaseResolver(handles, drivers, key, store)
+ * const database = await resolver.resolve('shop')
+ * ```
+ */
+export declare class DatabaseResolver {
+    #private;
+    /**
+     * Create a database resolver over the tool's live state and optional definition store.
+     *
+     * @param handles - Initial live database handles cached by id
+     * @param drivers - Driver factories keyed by definition driver name
+     * @param key - Key generator supplied to newly created databases
+     * @param store - Optional persistent definition store
+     */
+    constructor(handles: ReadonlyMap<string, DatabaseInterface>, drivers: Readonly<Record<string, () => DriverInterface>>, key: KeyFunction, store?: DefinitionStoreInterface);
+    /**
+     * Determine whether a live database is cached by id.
+     *
+     * @param id - Database id
+     * @returns Whether a live handle is cached
+     */
+    has(id: string): boolean;
+    /**
+     * Read a cached database without consulting the definition store.
+     *
+     * @param id - Database id
+     * @returns The cached live database, or `undefined`
+     */
+    get(id: string): DatabaseInterface | undefined;
+    /**
+     * Cache a live database by id.
+     *
+     * @param id - Database id
+     * @param database - Live database handle
+     * @returns Nothing
+     */
+    set(id: string, database: DatabaseInterface): void;
+    /**
+     * Remove a cached live database by id.
+     *
+     * @param id - Database id
+     * @returns Nothing
+     */
+    delete(id: string): void;
+    /**
+     * Resolve a cached or stored database by id.
+     *
+     * @param id - Database definition id
+     * @returns The cached or newly constructed live database
+     */
+    resolve(id: string): Promise<DatabaseInterface>;
+}
+
 /**
  * Map a caught error to the {@link AgentToolErrorCode} the upcoming database tool should throw
  * with — the pure classification step of that factory's error handling, mirroring
@@ -1324,11 +1384,11 @@ export declare interface DatabaseToolOptions {
  * `'aggregate'` carry an optional `criteria` (the SERIALIZED form — `values` is ALWAYS an array,
  * even for a single-value operator, so a caller never chains method calls or guesses arity).
  */
-export declare const databaseToolShape: UnionShape<[ ObjectShape<{
+export declare const databaseToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["create"]>;
     id: StringShape;
     tables: ObjectShape<Record<never, never>, ObjectShape<{
-        columns: ObjectShape<Record<never, never>, UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+        columns: ObjectShape<Record<never, never>, UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
             type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
             optional: OptionalShape<BooleanShape>;
         }, false>]>>;
@@ -1342,7 +1402,7 @@ export declare const databaseToolShape: UnionShape<[ ObjectShape<{
     operation: LiteralShape<readonly ["get"]>;
     id: StringShape;
     table: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["records"]>;
     id: StringShape;
@@ -1403,28 +1463,28 @@ export declare const databaseToolShape: UnionShape<[ ObjectShape<{
     operation: LiteralShape<readonly ["add"]>;
     id: StringShape;
     table: StringShape;
-    row: UnionShape<[ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+    row: UnionShape<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["set"]>;
     id: StringShape;
     table: StringShape;
-    row: UnionShape<[ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+    row: UnionShape<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["update"]>;
     id: StringShape;
     table: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
     changes: ObjectShape<Record<never, never>, JSONShape>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["remove"]>;
     id: StringShape;
     table: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["migrate"]>;
     id: StringShape;
     tables: ObjectShape<Record<never, never>, ObjectShape<{
-        columns: ObjectShape<Record<never, never>, UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+        columns: ObjectShape<Record<never, never>, UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
             type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
             optional: OptionalShape<BooleanShape>;
         }, false>]>>;
@@ -1707,7 +1767,7 @@ export declare function isColumnSpec(value: unknown): value is ColumnSpec;
 export declare function isDatabaseDefinition(value: unknown): value is DatabaseDefinition;
 
 /** One key value — a string or number; the array form (multiple keys, positional) resolves FIRST per AGENTS §9.2. */
-export declare const keyShape: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+export declare const keyShape: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 
 /** Map one {@link import('./types.js').ColumnKind} to its primitive `@orkestrel/database` shape — the leaf {@link columnShape} wraps. */
 export declare function kindShape(kind: ColumnKind): ContractShape;
@@ -1918,7 +1978,7 @@ export declare const RELATION_TOOL_NAME = "relation";
 export declare const RELATION_TOOL_SUMMARY = "Traverse and edit relationships between database rows \u2014 one operation per call (load, find, link, unlink, links), chosen by the 'operation' field. Call describe('relation') for the include-path syntax.";
 
 /** One key value — a string or number; the array form (multiple keys, positional) resolves FIRST per AGENTS §9.2. */
-export declare const relationKeyShape: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+export declare const relationKeyShape: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
 
 /**
  * Resolve which registered {@link RelationManagerInterface} a relation-tool call addresses — the
@@ -1994,11 +2054,11 @@ export declare interface RelationToolOptions {
  * fetches rows (pagination / sort only) with `include` attached. `'link'` / `'unlink'` write /
  * remove a `through` junction row; `'links'` lists a `through` relation's linked keys.
  */
-export declare const relationToolShape: UnionShape<[ ObjectShape<{
+export declare const relationToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["load"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ ArrayShape<UnionShape<[ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
     include: OptionalShape<ArrayShape<StringShape>>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["find"]>;
@@ -2013,21 +2073,21 @@ export declare const relationToolShape: UnionShape<[ ObjectShape<{
     operation: LiteralShape<readonly ["link"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ StringShape, NumberShape]>;
+    key: UnionShape<readonly [ StringShape, NumberShape]>;
     relation: StringShape;
-    target: UnionShape<[ StringShape, NumberShape]>;
+    target: UnionShape<readonly [ StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["unlink"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ StringShape, NumberShape]>;
+    key: UnionShape<readonly [ StringShape, NumberShape]>;
     relation: StringShape;
-    target: UnionShape<[ StringShape, NumberShape]>;
+    target: UnionShape<readonly [ StringShape, NumberShape]>;
 }, false>, ObjectShape<{
     operation: LiteralShape<readonly ["links"]>;
     manager: OptionalShape<StringShape>;
     model: StringShape;
-    key: UnionShape<[ StringShape, NumberShape]>;
+    key: UnionShape<readonly [ StringShape, NumberShape]>;
     relation: StringShape;
 }, false>]>;
 
@@ -2035,10 +2095,10 @@ export declare const relationToolShape: UnionShape<[ ObjectShape<{
 export declare const rowShape: ObjectShape<Record<never, never>, JSONShape>;
 
 /** One or many loose rows — the array form resolves FIRST per AGENTS §9.2. */
-export declare const rowsShape: UnionShape<[ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+export declare const rowsShape: UnionShape<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
 
 /** A single row key (not an array) — used by `'link'` / `'unlink'` / `'links'`, which address exactly one owning row. */
-export declare const singleKeyShape: UnionShape<[ StringShape, NumberShape]>;
+export declare const singleKeyShape: UnionShape<readonly [ StringShape, NumberShape]>;
 
 /**
  * The shape of ONE flat step — `{ name }` — the building block of {@link workflowStepsShape}.
@@ -2077,7 +2137,7 @@ export declare type TableSpec = Readonly<Record<string, Readonly<{
 
 /** A {@link import('./types.js').TableSpec} — table name to `{ columns }`, each column a {@link columnSpecShape}. */
 export declare const tableSpecShape: ObjectShape<Record<never, never>, ObjectShape<{
-    columns: ObjectShape<Record<never, never>, UnionShape<[ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
+    columns: ObjectShape<Record<never, never>, UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
         type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
         optional: OptionalShape<BooleanShape>;
     }, false>]>>;
@@ -2531,7 +2591,7 @@ export declare interface WorkspaceToolOptions {
  * the model can move between) and `switch` (re-point the active one by `id`) — let a model
  * DISCOVER then CHOOSE which workspace the edit / read arms target.
  */
-export declare const workspaceToolShape: UnionShape<[ ObjectShape<{
+export declare const workspaceToolShape: UnionShape<readonly [ ObjectShape<{
     operation: LiteralShape<readonly ["read"]>;
     path: StringShape;
 }, false>, ObjectShape<{