@orkestrel/toolbox 0.0.11 → 0.0.13

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

@@ -1,55 +1,55 @@
-import { AgentInterface } from '@orkestrel/agent';
-import { AgentRegistryInterface } from '@orkestrel/agent';
+import type { AgentInterface } from '@orkestrel/agent';
+import type { AgentRegistryInterface } from '@orkestrel/agent';
 import { ArrayShape } from '@orkestrel/contract';
 import { BooleanShape } from '@orkestrel/contract';
-import { Condition } from '@orkestrel/database';
-import { ConditionConnector } from '@orkestrel/database';
-import { ContractInterface } from '@orkestrel/contract';
-import { ContractShape } from '@orkestrel/contract';
-import { ConversationStoreInterface } from '@orkestrel/agent';
-import { DatabaseErrorCode } from '@orkestrel/database';
-import { DatabaseInterface } from '@orkestrel/database';
-import { DriverInterface } from '@orkestrel/database';
-import { Include } from '@orkestrel/relation';
-import { IndexMap } from '@orkestrel/database';
+import type { Condition } from '@orkestrel/database';
+import type { ConditionConnector } from '@orkestrel/database';
+import type { ContractInterface } from '@orkestrel/contract';
+import type { ContractShape } from '@orkestrel/contract';
+import type { ConversationStoreInterface } from '@orkestrel/agent';
+import type { DatabaseErrorCode } from '@orkestrel/database';
+import type { DatabaseInterface } from '@orkestrel/database';
+import type { DriverInterface } from '@orkestrel/database';
+import type { Include } from '@orkestrel/relation';
+import type { IndexMap } from '@orkestrel/database';
 import { JSONShape } from '@orkestrel/contract';
-import { KeyFunction } from '@orkestrel/database';
+import type { KeyFunction } from '@orkestrel/database';
+import type { LifecycleStatus } from '@orkestrel/workflow';
 import { LiteralShape } from '@orkestrel/contract';
-import { ModelInterface } from '@orkestrel/relation';
+import type { ModelInterface } from '@orkestrel/relation';
 import { NumberShape } from '@orkestrel/contract';
 import { ObjectShape } from '@orkestrel/contract';
 import { OptionalShape } from '@orkestrel/contract';
-import { OrderDirection } from '@orkestrel/database';
-import { PrimaryMap } from '@orkestrel/database';
-import { QueryInput } from '@orkestrel/database';
-import { RelationErrorCode } from '@orkestrel/relation';
-import { RelationManagerInterface } from '@orkestrel/relation';
+import type { OrderDirection } from '@orkestrel/database';
+import type { PrimaryMap } from '@orkestrel/database';
+import type { QueryInput } from '@orkestrel/database';
+import type { RelationErrorCode } from '@orkestrel/relation';
+import type { RelationManagerInterface } from '@orkestrel/relation';
 import { StringShape } from '@orkestrel/contract';
-import { TableInterface } from '@orkestrel/database';
-import { TableMap } from '@orkestrel/database';
-import { TerminalManagerInterface } from '@orkestrel/terminal';
-import { ToolInterface } from '@orkestrel/tool';
-import { ToolManagerInterface } from '@orkestrel/tool';
+import type { TableInterface } from '@orkestrel/database';
+import type { TableMap } from '@orkestrel/database';
+import type { TerminalManagerInterface } from '@orkestrel/terminal';
+import type { ToolInterface } from '@orkestrel/tool';
+import type { ToolManagerInterface } from '@orkestrel/tool';
 import { UnionShape } from '@orkestrel/contract';
-import { WorkflowDefinition } from '@orkestrel/workflow';
-import { WorkflowFault } from '@orkestrel/workflow';
-import { WorkflowFunction } from '@orkestrel/workflow';
-import { WorkflowFunctions } from '@orkestrel/workflow';
-import { WorkflowResult } from '@orkestrel/workflow';
-import { WorkflowRunnerInterface } from '@orkestrel/workflow';
-import { WorkflowStatus } from '@orkestrel/workflow';
-import { WorkflowStoreInterface } from '@orkestrel/workflow';
-import { WorkspaceManagerInterface } from '@orkestrel/workspace';
-import { WorkspaceStoreInterface } from '@orkestrel/workspace';
-
-/**
- * The maximum nesting depth a delegation chain (agent tool → sub-agent → agent tool → …) may
- * reach — the bound {@link import('./factories.js').createAgentTool}'s depth/cycle guard
+import type { WorkflowDefinition } from '@orkestrel/workflow';
+import type { WorkflowFault } from '@orkestrel/workflow';
+import type { WorkflowFunction } from '@orkestrel/workflow';
+import type { WorkflowRegistry } from '@orkestrel/workflow';
+import type { WorkflowResult } from '@orkestrel/workflow';
+import type { WorkflowRunnerInterface } from '@orkestrel/workflow';
+import type { WorkflowStoreInterface } from '@orkestrel/workflow';
+import type { WorkspaceManagerInterface } from '@orkestrel/workspace';
+import type { WorkspaceStoreInterface } from '@orkestrel/workspace';
+
+/**
+ * Holds the maximum nesting depth a delegation chain (agent tool → sub-agent → agent tool → …) may
+ * reach, `8` — the bound {@link import('./factories.js').createAgentTool}'s depth/cycle guard
  * enforces.
  *
  * @remarks
- * Deliberately a SEPARATE constant from {@link MAX_WORKFLOW_DEPTH} (rather than the two guards
- * sharing one reference): the two guards bound DIFFERENT chains (workflow nesting vs. agent
+ * Deliberately a separate constant from {@link MAX_WORKFLOW_CHAIN} (rather than the guards
+ * sharing one reference): they bound different chains (workflow nesting against agent
  * delegation) that happen to share a value today, and keeping this bound decoupled means a
  * future change to one never silently shifts the other. Same numeric value by convention, not
  * by shared reference.
@@ -57,36 +57,40 @@ import { WorkspaceStoreInterface } from '@orkestrel/workspace';
 export declare const AGENT_TOOL_DEPTH = 8;
 
 /**
- * The description {@link import('./factories.js').createAgentTool} advertises — a short guide
+ * Holds the description {@link import('./factories.js').createAgentTool} advertises — a short guide
  * covering the required task and optional provider, tools, and system overrides.
  */
 export declare const AGENT_TOOL_DESCRIPTION: string;
 
 /**
- * The name {@link import('./factories.js').createAgentTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the name {@link import('./factories.js').createAgentTool} advertises by default, `'agent'`
+ * — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
  */
 export declare const AGENT_TOOL_NAME = "agent";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createAgentTool}
- * advertises in place of {@link AGENT_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
- * (`@orkestrel/tool`) advertises `summary ?? description`, so this one-sentence text stands in
- * for the full teaching description; the full text stays retrievable via
- * {@link import('./factories.js').createDescribeTool}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createAgentTool} advertises in place of
+ * {@link AGENT_TOOL_DESCRIPTION} — one sentence offering sub-agent delegation and pointing at
+ * `describe` for the optional overrides.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const AGENT_TOOL_SUMMARY = "Delegate a task to a sub-agent and return its result; each call runs one sub-agent turn to completion. Call describe('agent') for the optional provider/tools/system overrides.";
 
-/** A contextual agent adapter carrying immutable metadata for Toolbox composition. */
+/** Represents a contextual agent adapter carrying immutable metadata for Toolbox composition. */
 export declare type AgentFunction = WorkflowFunction & {
     readonly category: 'agent';
     readonly lineage: WorkflowLineage;
 };
 
 /**
- * Options for {@link import('./factories.js').createAgentFunction} — the OPT-IN adapter that
- * wraps a live `AgentInterface` (`@orkestrel/agent`) as an {@link AgentFunction} with immutable
- * lineage metadata and optional nested-workflow composition.
+ * Represents the options for {@link import('./factories.js').createAgentFunction} — the opt-in
+ * adapter that wraps a live `AgentInterface` (`@orkestrel/agent`) as an {@link AgentFunction} with
+ * immutable lineage metadata and optional nested-workflow composition.
  *
  * @remarks
  * All fields are optional. An empty lineage is resolved from the controller's root workflow when
@@ -103,34 +107,20 @@ export declare type AgentFunction = WorkflowFunction & {
 export declare interface AgentFunctionOptions {
     readonly runner?: WorkflowRunnerInterface;
     readonly lineage?: WorkflowLineage;
-    readonly functions?: WorkflowFunctions;
+    readonly functions?: WorkflowRegistry;
     readonly agents?: WorkflowAgents;
     readonly store?: WorkflowStoreInterface;
 }
 
 /**
- * The ancestry identifier of an agent in a run chain — `agent:<name>`.
- *
- * @remarks
- * The agent counterpart of {@link workflowTag}: {@link import('./factories.js').createAgentFunction}
- * / {@link import('./factories.js').createWorkflowTool} guard against re-entering an agent or
- * workflow already in the chain (this package's typed `DEPTH` `ToolboxError`). The
- * `agent:` namespace keeps it distinct from a same-string workflow id.
- *
- * @param name - The agent's identifier / registry name
- * @returns The namespaced ancestry tag (`agent:<name>`)
- */
-export declare function agentTag(name: string): string;
-
-/**
- * The FLAT args {@link import('./factories.js').createAgentTool} accepts — a delegated `task`
- * plus the minimal optional `AgentJobInput` (`@orkestrel/agent`) fields a caller may override
- * per-call.
+ * Represents the flat args {@link import('./factories.js').createAgentTool} accepts — a delegated
+ * `task` plus the minimal optional `AgentJobInput` (`@orkestrel/agent`) fields a caller may
+ * override per-call.
  *
  * @remarks
  * `task` becomes the seed user message in the sub-agent's rehydrated conversation
  * (`AgentJobInput.messages`). `provider` / `tools` / `system` shadow the tool's own
- * {@link AgentToolOptions} defaults for this ONE call when supplied.
+ * {@link AgentToolOptions} defaults for this one call when supplied.
  */
 export declare interface AgentToolArguments {
     readonly task: string;
@@ -140,18 +130,18 @@ export declare interface AgentToolArguments {
 }
 
 /**
- * Options for {@link import('./factories.js').createAgentTool} — the sub-agent delegation
+ * Represents the options for {@link import('./factories.js').createAgentTool} — the sub-agent delegation
  * defaults, the nesting-depth / cycle guard bookkeeping, and the advertised tool overrides.
  *
  * @remarks
  * - `name` / `description` — advertised tool overrides; default to
  *   {@link import('./constants.js').AGENT_TOOL_NAME} / {@link import('./constants.js').AGENT_TOOL_DESCRIPTION}.
- * - `provider` — the DEFAULT registry provider key used when a call omits `provider`; a call
- *   that supplies its own `provider` overrides this. One of `provider` (here or per-call) MUST
+ * - `provider` — the default registry provider key used when a call omits `provider`; a call
+ *   that supplies its own `provider` overrides this. One of `provider` (here or per-call) must
  *   resolve, or the handler throws a typed `TOOL` {@link import('./errors.js').ToolboxError}.
- * - `tools` — the DEFAULT registry tool-name list loaded into the delegated sub-agent; a
+ * - `tools` — the default registry tool-name list loaded into the delegated sub-agent; a
  *   per-call `tools` list overrides (never merges with) this default.
- * - `system` — the DEFAULT system prompt seeding the sub-agent's context; a per-call `system`
+ * - `system` — the default system prompt seeding the sub-agent's context; a per-call `system`
  *   overrides this.
  * - `depth` — this invocation's nesting depth (default `0`); a delegated sub-agent that itself
  *   calls this tool again runs at `depth + 1`, bounded by
@@ -159,17 +149,17 @@ export declare interface AgentToolArguments {
  * - `ancestry` — the sub-agent identifiers already in this delegation chain (default empty); a
  *   cycle (the resolved agent already present) is rejected with a typed `DEPTH`
  *   {@link import('./errors.js').ToolboxError}.
- * - `store` — this package's ADDITION: when supplied, the handler persists the delegated
+ * - `store` — this package's addition: when supplied, the handler persists the delegated
  *   sub-agent's active conversation snapshot (`store.set(agent.context.conversations.active.snapshot())`)
- *   once `agent.generate()` settles successfully, before returning — one snapshot per delegation
+ *   after `agent.generate()` settles successfully, before returning — one snapshot per delegation
  *   (each `registry.build` mints a fresh conversation id, so a shared store accumulates an
  *   audit log rather than colliding). Omitted ⇒ no persistence from this tool.
  *
- * Conversation persistence for a delegated sub-agent has TWO independent seams, composable
- * together: this `store` slot persists EACH delegation's conversation individually, and/or an
+ * Conversation persistence for a delegated sub-agent has independent seams, composable
+ * together: this `store` slot persists each delegation's conversation individually, and an
  * `AgentRegistryInterface` built with `AgentRegistryOptions.store` (`@orkestrel/agent`) backs
- * EVERY agent it builds — including ones built through this tool — with a store-backed
- * `ConversationManagerInterface` of its own. Neither is required; either or both may be used.
+ * every agent it builds — including ones built through this tool — with a store-backed
+ * `ConversationManagerInterface` of its own. Neither is required, and they compose.
  */
 export declare interface AgentToolOptions {
     readonly name?: string;
@@ -183,49 +173,57 @@ export declare interface AgentToolOptions {
 }
 
 /**
- * The shape of {@link import('./types.js').AgentToolArguments} —
+ * Describes the shape of {@link import('./types.js').AgentToolArguments} —
  * {@link import('./factories.js').createAgentTool}'s advertised `parameters`.
  *
  * @remarks
  * `task` is the only required field (a non-empty string); `provider` / `tools` / `system`
  * are per-call overrides of the tool's own configured defaults.
  */
-export declare const agentToolShape: ObjectShape<{
-    task: StringShape;
-    provider: OptionalShape<StringShape>;
-    tools: OptionalShape<ArrayShape<StringShape>>;
-    system: OptionalShape<StringShape>;
+export declare const agentToolShape: ObjectShape<    {
+task: StringShape;
+provider: OptionalShape<StringShape>;
+tools: OptionalShape<ArrayShape<StringShape>>;
+system: OptionalShape<StringShape>;
 }, false>;
 
-/** The pending/answer protocol {@link import('./factories.js').createAnswerTool} advertises. */
+/**
+ * Holds the protocol {@link import('./factories.js').createAnswerTool} advertises — the `pending`
+ * and `answer` operations and the `values` record an answer supplies, each with a worked example.
+ */
 export declare const ANSWER_TOOL_DESCRIPTION: string;
 
 /**
- * The name {@link import('./factories.js').createAnswerTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the name {@link import('./factories.js').createAnswerTool} advertises by default,
+ * `'answer'` — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers
+ * under.
  */
 export declare const ANSWER_TOOL_NAME = "answer";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createAnswerTool}
- * advertises in place of {@link ANSWER_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
- * (`@orkestrel/tool`) advertises `summary ?? description`, so this one-sentence text stands in
- * for the full teaching description; the full text stays retrievable via
- * {@link import('./factories.js').createDescribeTool}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createAnswerTool} advertises in place of
+ * {@link ANSWER_TOOL_DESCRIPTION} — one sentence offering the pending listing and the answer call,
+ * and pointing at `describe` for the fields each takes.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const ANSWER_TOOL_SUMMARY = "List forms addressed to this terminal, or answer one by id with a values record. Call describe('answer') for the required fields.";
 
 /**
- * Options for {@link import('./factories.js').createAnswerTool} — the live
+ * Represents the options for {@link import('./factories.js').createAnswerTool} — the live
  * {@link TerminalManagerInterface} (`@orkestrel/terminal`) to list / answer prompts through, the
  * terminal name `to`, and the advertised tool overrides.
  *
  * @remarks
  * - `manager` — the terminal manager whose `pending(to)` / `answer(to, id, values)` the tool's
- *   handler calls — `pending` lists the forms currently addressed to `to`, `answer` resolves
+ *   handler calls — `pending` lists the forms addressed to `to`, `answer` resolves
  *   one by `id`. A failed `answer` (`TerminalAnswerError`) re-surfaces as a typed
  *   `ANSWER` {@link import('./errors.js').ToolboxError}.
- * - `to` — the terminal identity this tool lists / answers prompts FOR.
+ * - `to` — the terminal identity this tool lists / answers prompts for.
  * - `name` / `description` — advertised tool overrides; default to
  *   {@link import('./constants.js').ANSWER_TOOL_NAME} / {@link import('./constants.js').ANSWER_TOOL_DESCRIPTION}.
  */
@@ -237,7 +235,7 @@ export declare interface AnswerToolOptions {
 }
 
 /**
- * The shape of {@link import('./factories.js').createAnswerTool}'s call arguments — discriminated
+ * Describes the shape of {@link import('./factories.js').createAnswerTool}'s call arguments — discriminated
  * by `operation`: `'pending'` lists the forms addressed to this tool's terminal, while `'answer'`
  * resolves one by `id` with a complete `values` record.
  *
@@ -245,23 +243,37 @@ export declare interface AnswerToolOptions {
  * `values` is first bounded to exact JSON. The handler then narrows it with the originating Form
  * package's `isFormValues` guard before the terminal manager applies it to the parked live form.
  */
-export declare const answerToolShape: UnionShape<readonly [ ObjectShape<{
-    operation: LiteralShape<readonly ["pending"]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["answer"]>;
-    id: StringShape;
-    values: JSONShape;
+export declare const answerToolShape: UnionShape<readonly [ObjectShape<    {
+operation: LiteralShape<readonly ["pending"]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["answer"]>;
+id: StringShape;
+values: JSONShape;
 }, false>]>;
 
 /**
- * Clamp a `'records'` call's query to a row cap, and build the PROBE query the caller reads
- * with — the pure leaf {@link import('./factories.js').createDatabaseTool}'s `'records'` operation
- * uses to detect truncation without a separate `count` round trip.
+ * Represents the probe query and effective row limit {@link import('./helpers.js').clampQuery}
+ * returns.
  *
  * @remarks
- * The effective limit is `min(query?.limit ?? cap, cap)`, floored at `0` (so a caller can never
- * exceed the configured cap by supplying a larger `query.limit`). The returned probe query
- * requests ONE MORE row than the effective limit (`limit: effective + 1`) — if storage returns
+ * `limit` is the effective ceiling — `min(query?.limit ?? cap, cap)`, floored at `0`. `query`
+ * requests one row more than that, so a caller detects truncation from the returned row count
+ * without a separate `count` round trip.
+ */
+export declare interface ClampedQuery {
+    readonly query: QueryInput;
+    readonly limit: number;
+}
+
+/**
+ * Clamps a `'records'` call's query to a row cap, and builds the probe query the caller reads with
+ * — the pure leaf {@link import('./factories.js').createDatabaseTool}'s `'records'` operation uses
+ * to detect truncation without a separate `count` round trip.
+ *
+ * @remarks
+ * {@link resolveLimit} picks the effective limit, so a caller can never exceed the configured cap
+ * by supplying a larger `query.limit`, and can never drive it below `0`. The returned probe query
+ * requests one more row than the effective limit (`limit: effective + 1`) — if storage returns
  * that many, the caller knows the true result was truncated (`rows.length > effective`) and slices
  * back down to `effective` before returning.
  *
@@ -277,59 +289,71 @@ export declare const answerToolShape: UnionShape<readonly [ ObjectShape<{
  *
  * @param query - The live query to clamp (or `undefined`)
  * @param cap - The row-count ceiling
- * @returns The PROBE query (`limit` bumped by one) and the effective `limit`
+ * @returns The probe query (`limit` bumped by one) and the effective `limit`
  */
-export declare function clampQuery(query: QueryInput | undefined, cap: number): Readonly<{
-    query: QueryInput;
-    limit: number;
-}>;
+export declare function clampQuery(query: QueryInput | undefined, cap: number): ClampedQuery;
 
-/** One column's declared type — a primitive shorthand, or `integer` for a whole-number `number`. */
-export declare type ColumnKind = 'string' | 'integer' | 'number' | 'boolean';
+/** Represents one column's declared primitive — a shorthand, or `integer` for a whole-number `number`. */
+export declare type ColumnPrimitive = 'string' | 'integer' | 'number' | 'boolean';
 
-/** A {@link import('./types.js').ColumnKind} literal — the leaf {@link columnSpecShape} wraps. */
-export declare const columnKindShape: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
-
-/** Compile one {@link ColumnSpec} into its `@orkestrel/database` column shape — the per-column leaf {@link expandTables} maps over. */
-export declare function columnShape(spec: ColumnSpec): ContractShape;
+/** Describes a {@link import('./types.js').ColumnPrimitive} literal — the leaf {@link columnSpecShape} wraps. */
+export declare const columnPrimitiveShape: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
 
 /**
- * One table column's spec — either a bare {@link ColumnKind} shorthand, or `{ type, optional }`
- * when the column may be absent from a row.
+ * Represents one table column's spec — either a bare {@link ColumnPrimitive} shorthand, or
+ * `{ primitive, optional }` when the column may be absent from a row.
  */
-export declare type ColumnSpec = ColumnKind | Readonly<{
-    type: ColumnKind;
+export declare type ColumnSpec = ColumnPrimitive | Readonly<{
+    primitive: ColumnPrimitive;
     optional?: boolean;
 }>;
 
-/** A {@link import('./types.js').ColumnSpec} — a bare {@link columnKindShape}, or `{ type, optional }`. */
-export declare const columnSpecShape: UnionShape<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
-    type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
-    optional: OptionalShape<BooleanShape>;
+/** Describes a {@link import('./types.js').ColumnSpec} — a bare {@link columnPrimitiveShape}, or `{ primitive, optional }`. */
+export declare const columnSpecShape: UnionShape<readonly [LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<    {
+primitive: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
+optional: OptionalShape<BooleanShape>;
 }, false>]>;
 
 /**
- * Complete a {@link WorkflowDraft} into a strict {@link WorkflowDefinition} — synthesize any
- * MISSING `id` deterministically + positionally, and default any MISSING `name` to its
- * (now-resolved) `id`.
+ * Compiles one {@link ColumnSpec} into its `@orkestrel/database` column shape — the per-column leaf
+ * {@link expandTables} maps over.
+ *
+ * @param spec - The column spec to compile
+ * @returns The `@orkestrel/database` column shape, wrapped in `optionalShape` when the spec declares `optional: true`
+ */
+export declare function compileColumn(spec: ColumnSpec): ContractShape;
+
+/**
+ * Compiles one {@link import('./types.js').ColumnPrimitive} into its primitive
+ * `@orkestrel/database` shape — the leaf {@link compileColumn} wraps.
+ *
+ * @param primitive - The declared column primitive
+ * @returns The matching primitive `@orkestrel/database` shape
+ */
+export declare function compileColumnPrimitive(primitive: ColumnPrimitive): ContractShape;
+
+/**
+ * Completes a {@link WorkflowDraft} into a strict {@link WorkflowDefinition} — synthesizes a
+ * missing `id` deterministically and positionally, and defaults a missing `name` to its resolved
+ * `id`.
  *
  * @remarks
  * The positional id scheme is stable and human-legible: the workflow is `wf`, phase `i` is
  * `phase-<i>`, and task `j` of that phase is `<phaseId>-task-<j>` (so a provided phase id flows
- * into its tasks' synthesized ids). A PROVIDED `id` / `name` at any level is kept VERBATIM —
+ * into its tasks' synthesized ids). A provided `id` / `name` at any level is kept verbatim —
  * synthesis touches only the omitted ones. A missing `name` defaults to the resolved `id` (never
- * the other way round), so the result always has both. `run`, `description`, the per-phase
+ * the other way round), so the result always carries an `id` and a `name`. `behavior`, `description`, the per-phase
  * `concurrency` / `bail`, the per-task `retries` / `timeout`, and the workflow `bail` carry over
  * unchanged. The result is a complete {@link WorkflowDefinition}; the caller still validates it
- * against the STRICT contract.
+ * against the strict contract.
  *
- * @param draft - The draft workflow (id/name optional at all three levels)
+ * @param draft - The draft workflow (`id` and `name` optional at the workflow, phase, and task levels)
  * @returns A complete {@link WorkflowDefinition} with every id/name filled
  */
 export declare function completeDraft(draft: WorkflowDraft): WorkflowDefinition;
 
 /**
- * Complete one {@link PhaseDraft} into a strict phase definition — the per-phase step of
+ * Completes one {@link PhaseDraft} into a strict phase definition — the per-phase step of
  * {@link completeDraft} (phase `index` → `phase-<index>` when its id is omitted).
  *
  * @param phase - The draft phase
@@ -339,7 +363,7 @@ export declare function completeDraft(draft: WorkflowDraft): WorkflowDefinition;
 export declare function completePhaseDraft(phase: PhaseDraft, index: number): WorkflowDefinition['phases'][number];
 
 /**
- * Complete one {@link TaskDraft} into a strict task definition — the per-task leaf step of
+ * Completes one {@link TaskDraft} into a strict task definition — the per-task leaf step of
  * {@link completeDraft} (task `index` of phase `<phaseId>` → `<phaseId>-task-<index>` when its id
  * is omitted).
  *
@@ -350,16 +374,19 @@ export declare function completePhaseDraft(phase: PhaseDraft, index: number): Wo
  */
 export declare function completeTaskDraft(task: TaskDraft, phaseId: string, index: number): WorkflowDefinition['phases'][number]['tasks'][number];
 
-/** One SERIALIZED WHERE condition — `values` is ALWAYS an array, even for a single-value operator. */
-export declare const conditionShape: ObjectShape<{
-    column: StringShape;
-    operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
-    values: ArrayShape<JSONShape>;
-    connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
+/**
+ * Describes one serialized where condition — `values` is always an array, even for a single-value
+ * operator.
+ */
+export declare const conditionShape: ObjectShape<    {
+column: StringShape;
+operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
+values: ArrayShape<JSONShape>;
+connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
 }, false>;
 
 /**
- * Wrap a live `AgentInterface` (`@orkestrel/agent`) as a {@link WorkflowFunction}
+ * Wraps a live `AgentInterface` (`@orkestrel/agent`) as a {@link WorkflowFunction}
  * (`@orkestrel/workflow`) — the opt-in adapter that runs the agent to a settled result and carries
  * immutable lineage metadata for contextual Toolbox composition.
  *
@@ -367,7 +394,7 @@ export declare const conditionShape: ObjectShape<{
  * Composes into a caller's registry like any other behavior; the pure workflow runner has no
  * knowledge of agents itself. A root adapter derives its workflow lineage from the controller,
  * while a contextual adapter requires an exact match. Repeated agents, repeated workflows, and
- * targets deeper than {@link import('./constants.js').MAX_WORKFLOW_DEPTH} are rejected before
+ * targets deeper than {@link import('./constants.js').MAX_WORKFLOW_CHAIN} are rejected before
  * agent or runner activity. When {@link import('./types.js').AgentFunctionOptions.runner} is
  * supplied, the adapter binds a recursion-safe {@link createWorkflowTool} onto the agent's
  * `context.tools`, propagating opaque leaves, raw agents, lineage, and the native store. The
@@ -397,19 +424,19 @@ export declare const conditionShape: ObjectShape<{
 export declare function createAgentFunction(agent: AgentInterface, options?: AgentFunctionOptions): AgentFunction;
 
 /**
- * Build an LLM-callable sub-agent delegation tool — resolves a live, seeded `AgentInterface`
- * from `registry` and runs it to completion for ONE delegated `task`.
+ * Builds an LLM-callable sub-agent delegation tool — it resolves a live, seeded `AgentInterface`
+ * from `registry` and runs it to completion for one delegated `task`.
  *
  * @remarks
- * The universal tool-handler contract (AGENTS §14): validates the call args against
+ * The universal tool-handler contract: validates the call args against
  * {@link import('./shapers.js').agentToolShape}, assembles an `AgentJobInput` (`task` seeds the
  * sub-agent's conversation as a single `user` message; `provider` / `tools` / `system` fall
- * back to the tool's own {@link import('./types.js').AgentToolOptions} defaults), rehydrates the sub-agent via
+ * back to the tool's own {@link import('./types.js').AgentToolOptions} defaults), rehydrates the sub-agent through
  * `registry.build`, runs it with `agent.generate()`, and returns the settled
- * `AgentResult.content` string (the sub-agent's final text). A missing / unresolvable `provider`, or a malformed call, THROWS a typed `TOOL`
+ * `AgentResult.content` string (the sub-agent's final text). A missing / unresolvable `provider`, or a malformed call, throws a typed `TOOL`
  * {@link import('./errors.js').ToolboxError}; a delegation that would exceed
  * {@link import('./constants.js').AGENT_TOOL_DEPTH}, or re-enter an already-delegated agent (a
- * cycle), THROWS a typed `DEPTH` {@link import('./errors.js').ToolboxError} — both isolated
+ * cycle), throws a typed `DEPTH` {@link import('./errors.js').ToolboxError}, each isolated
  * by the `ToolManagerInterface` into the canonical tool result's top-level `error`.
  *
  * `AgentInterface` (`@orkestrel/agent`) exposes no teardown method — a bound sub-agent's
@@ -438,22 +465,21 @@ export declare function createAgentFunction(agent: AgentInterface, options?: Age
 export declare function createAgentTool(registry: AgentRegistryInterface, options?: AgentToolOptions): ToolInterface;
 
 /**
- * Build an LLM-callable answer tool — the ANSWER side of the terminal seam. Lists the forms
- * currently addressed to {@link import('./types.js').AnswerToolOptions.to}, or answers one of
- * them by id.
+ * Builds an LLM-callable answer tool — the answer side of the terminal seam. It lists the forms
+ * addressed to {@link import('./types.js').AnswerToolOptions.to}, or answers one of them by id.
  *
  * @remarks
- * The universal tool-handler contract (AGENTS §14): validates the call args against
+ * The universal tool-handler contract: validates the call args against
  * {@link import('./shapers.js').answerToolShape} (discriminated by `operation`). `'pending'`
- * returns a compact list (`{ id, from, schema }`) of every form currently addressed to `to`.
+ * returns a compact list (`{ id, from, schema }`) of every form addressed to `to`.
  * `'answer'` looks the form up by `id`, narrows the supplied `values` through `@orkestrel/form`,
- * and applies it via
+ * and applies it through
  * `TerminalManagerInterface.answer` — a rejected / unknown / unresolvable outcome
  * (`TerminalAnswerResult.error`) re-surfaces as a typed `ANSWER` `ToolboxError`; success returns
- * `{ answered: id }`. `to` is FIXED at construction
+ * `{ answered: id }`. `to` is fixed at construction
  * ({@link import('./types.js').AnswerToolOptions.to}) — never read from the model-supplied args —
  * so a model cannot spoof which terminal it is answering for. Concurrent answerers racing on one
- * endpoint are FIRST-WRITE-WINS — a late answer to an already-settled form returns a typed
+ * endpoint are first-write-wins — a late answer to an already-settled form returns a typed
  * `ANSWER` `ToolboxError` (surfaced as a 422 over HTTP).
  *
  * @param options - The live manager, the fixed `to` identity, and advertised overrides (see
@@ -476,7 +502,7 @@ export declare function createAgentTool(registry: AgentRegistryInterface, option
 export declare function createAnswerTool(options: AnswerToolOptions): ToolInterface;
 
 /**
- * Create a {@link DefinitionStoreInterface} backed by one table of the `@orkestrel/database`
+ * Creates a {@link DefinitionStoreInterface} backed by one table of the `@orkestrel/database`
  * layer — the driver-pluggable twin of {@link createMemoryDefinitionStore}, storing each
  * database's definition as one opaque JSON column.
  *
@@ -493,15 +519,15 @@ export declare function createAnswerTool(options: AnswerToolOptions): ToolInterf
 export declare function createDatabaseDefinitionStore(driver?: DriverInterface): DefinitionStoreInterface;
 
 /**
- * Build an LLM-callable database tool — create, query, and mutate `@orkestrel/database`
- * databases through one `operation`-discriminated call (AGENTS §14, matching
+ * Builds an LLM-callable database tool — it creates, queries, and mutates `@orkestrel/database`
+ * databases through one `operation`-discriminated call (matching
  * {@link createWorkspaceTool}'s single-tool-many-operations shape).
  *
  * @remarks
- * The universal tool-handler contract (AGENTS §14): validates the call args against
+ * The universal tool-handler contract: validates the call args against
  * {@link import('./shapers.js').databaseToolShape}, dispatches to the matching operation, and
- * RETURNS a plain result on success. A database is resolved lazily and cached for the tool's
- * lifetime — `'create'` mints one from `tables` ({@link import('./helpers.js').expandTables}) and
+ * returns a plain result on success. A database is resolved lazily and cached for the tool's
+ * lifetime — `'create'` mints one from `tables` ({@link import('./compilers.js').expandTables}) and
  * a registered `driver` key ({@link import('./types.js').DatabaseToolOptions.drivers}, default
  * `{ memory: () => createMemoryDriver() }`); any other operation addressing an uncached id falls
  * back to {@link import('./types.js').DatabaseToolOptions.store} (an unknown id throws a typed
@@ -510,10 +536,10 @@ export declare function createDatabaseDefinitionStore(driver?: DriverInterface):
  *
  * `'records'` clamps its `query` to
  * {@link import('./types.js').DatabaseToolOptions.limit} (default
- * {@link import('./constants.js').DATABASE_TOOL_LIMIT}) via
+ * {@link import('./constants.js').DATABASE_TOOL_LIMIT}) through
  * {@link import('./helpers.js').clampQuery}, reporting `truncated` when storage held more rows
- * than the cap. Every operation's `query` is normalized via
- * {@link import('./helpers.js').queryOf} (defaults an omitted condition `connector` to `'and'`).
+ * than the cap. Every operation's `query` is normalized through
+ * {@link import('./helpers.js').normalizeQuery} (defaults an omitted condition `connector` to `'and'`).
  * When {@link import('./types.js').DatabaseToolOptions.readonly} is `true`, every mutating
  * operation throws a typed `TOOL` `ToolboxError` before doing anything. A configured
  * {@link import('./types.js').DatabaseToolOptions.timeout} is passed as a fresh
@@ -522,10 +548,10 @@ export declare function createDatabaseDefinitionStore(driver?: DriverInterface):
  * not an outer deadline for resolution, construction, schema inspection, `get`, or `close`. A typed `@orkestrel/database`
  * failure (`DatabaseError`) re-surfaces as a typed `DATABASE` `ToolboxError` carrying the
  * original {@link import('@orkestrel/database').DatabaseErrorCode} in `context.code`
- * ({@link import('./helpers.js').databaseToolCode}); an `ToolboxError` thrown by this tool's own
+ * ({@link import('./helpers.js').inferDatabaseCode}); an `ToolboxError` thrown by this tool's own
  * guards passes through unwrapped.
  *
- * A lazily re-minted database over the DEFAULT in-memory driver yields an EMPTY database — only
+ * A lazily re-minted database over the default in-memory driver yields an empty database — only
  * the {@link import('./types.js').DatabaseDefinition} schema persists in `store`, never rows;
  * durable rows need a persistent driver factory registered in
  * {@link import('./types.js').DatabaseToolOptions.drivers}. `'destroy'` closes whatever handle is
@@ -533,7 +559,7 @@ export declare function createDatabaseDefinitionStore(driver?: DriverInterface):
  * {@link import('./types.js').DatabaseToolOptions.databases} handle — the embedder relinquishes
  * that handle's lifecycle to this tool for any id it wires in. This tool assumes the
  * single-writer, non-reentrant model `@orkestrel/database` itself assumes — concurrent calls
- * against one id are NOT serialized by this tool. `'get'` is uncapped by
+ * against one id are not serialized by this tool. `'get'` is uncapped by
  * {@link import('./types.js').DatabaseToolOptions.limit} (bounded only by the caller's `key` array
  * size), unlike `'records'` / `'find'` / `'links'`.
  *
@@ -555,21 +581,20 @@ export declare function createDatabaseDefinitionStore(driver?: DriverInterface):
 export declare function createDatabaseTool(options?: DatabaseToolOptions): ToolInterface;
 
 /**
- * Build an LLM-callable tool that returns the FULL `description` of another registered tool by
- * name — the counterpart to the lean `summary` the other tools in this package advertise
- * (`AGENT_TOOL_SUMMARY` / `WORKFLOW_TOOL_SUMMARY` / `WORKSPACE_TOOL_SUMMARY`).
+ * Builds an LLM-callable tool that returns the full `description` of another registered tool by
+ * name — the counterpart to the lean `summary` the other tools in this package advertise.
  *
  * @remarks
  * `ToolManagerInterface.definitions()` (`@orkestrel/tool`) advertises `tool.summary ??
  * tool.description` — a lean one-sentence summary stands in for a tool's full teaching
  * description when `summary` is set, keeping the advertised tool list compact for a small model.
  * This tool is the on-demand expansion seam: given a registered tool's `name`, it looks the tool
- * up via `tools.tool(name)` and returns its full `description` (falling back to `summary` when a
+ * up through `tools.tool(name)` and returns its full `description` (falling back to `summary` when a
  * tool has no `description` of its own, then a placeholder when it has neither).
  *
- * The universal tool-handler contract (AGENTS §14): validates the call args against
- * {@link import('./shapers.js').describeToolShape}, RETURNS the plain description string on
- * success, THROWS a typed `TOOL` {@link import('./errors.js').ToolboxError} on a malformed call
+ * The universal tool-handler contract: validates the call args against
+ * {@link import('./shapers.js').describeToolShape}, returns the plain description string on
+ * success, throws a typed `TOOL` {@link import('./errors.js').ToolboxError} on a malformed call
  * or an unknown tool name.
  *
  * @param tools - The `ToolManagerInterface` (`@orkestrel/tool`) whose registered tools this
@@ -591,36 +616,36 @@ export declare function createDatabaseTool(options?: DatabaseToolOptions): ToolI
 export declare function createDescribeTool(tools: ToolManagerInterface): ToolInterface;
 
 /**
- * Wrap one CONCRETE endpoint ({@link import('./types.js').EndpointDefinition}) as an LLM-callable
- * `ToolInterface` — the endpoint half of the "existing API/DB → MCP tool" bridge (the other half,
- * {@link createInferTool}, is a standalone inference utility).
+ * Wraps one concrete endpoint ({@link import('./types.js').EndpointDefinition}) as an LLM-callable
+ * `ToolInterface` — the endpoint half of the bridge from an existing API or database into an MCP
+ * tool (the other half, {@link createInferTool}, is a standalone inference utility).
  *
  * @remarks
- * `parameters` is inferred ONCE at construction from `definition.samples` via
+ * `parameters` is inferred once at construction from `definition.samples` through
  * `@orkestrel/contract`'s `samplesToSchema` (tuned by {@link import('./types.js').EndpointToolOptions}'s
- * `format` / `enum`), wrapping a non-object root as `{ value: <schema> }` via `schemaToObject` —
- * the SAME object-rooted schema is both the ADVERTISED `parameters` and, by default
- * ({@link import('./types.js').EndpointToolOptions.validate} `true`), the ENFORCED contract:
- * `@orkestrel/contract` 0.0.7's `schemaToShape` compiles it ONCE (via `createContract`) into a
- * `ContractInterface` whose `.parse` runs on every call's `args` before `definition.invoke` — a
- * NORMALIZING parse, not a strict type check: a scalar is COERCED to its inferred type where the
+ * `format` / `enum`), wrapping a non-object root as `{ value: <schema> }` through `schemaToObject` —
+ * the same object-rooted schema is both the advertised `parameters` and, by default
+ * ({@link import('./types.js').EndpointToolOptions.validate} `true`), the enforced contract:
+ * `@orkestrel/contract`'s `schemaToShape` compiles it once (through `createContract`) into a
+ * `ContractInterface` whose `.parse` runs on every call's `args` before `definition.execute` — a
+ * normalizing parse, not a strict type check: a scalar is coerced to its inferred type where the
  * house parsers coerce (a number to/from a numeric string, a boolean from `'1'`/`'0'`/`'true'`/
- * `'false'`/`1`/`0`), so `definition.invoke` receives the COERCED value (e.g. `7` sent for a
+ * `'false'`/`1`/`0`), so `definition.execute` receives the coerced value (for example `7` sent for a
  * string slot arrives as `'7'`), not the raw call value. A call whose `args` fails to parse into
- * a record — a required key missing, or a value not coercible to its slot's type — THROWS a
+ * a record — a required key missing, or a value not coercible to its slot's type — throws a
  * typed `TOOL` {@link import('./errors.js').ToolboxError} carrying the compiled contract's
- * structured `explain` faults, and `definition.invoke` is never called. `format` annotations are
- * NEVER asserted, and a key outside the closed inferred schema is SILENTLY DROPPED rather than
+ * structured `explain` faults, and `definition.execute` is never called. `format` annotations are
+ * never asserted, and a key outside the closed inferred schema is silently dropped rather than
  * rejected (see {@link import('./types.js').EndpointToolOptions.validate}). With
- * `validate: false`, `execute` PASSES THROUGH the model-supplied `args` to `definition.invoke`
- * WITHOUT re-validation — the pre-0.0.7 behavior, preserved as an explicit opt-out. Either way,
- * `invoke`'s return flows back as the tool call's plain result; a throw PROPAGATES uncaught,
+ * `validate: false`, the tool's `execute` passes through the model-supplied `args` to
+ * `definition.execute` without re-validation — the raw-passthrough opt-out. Either way, the
+ * definition's return flows back as the tool call's plain result; a throw propagates uncaught,
  * isolated by the `ToolManagerInterface` (`@orkestrel/tool`) into the canonical error envelope
- * (AGENTS §14) — never caught or re-wrapped here.
+ * — never caught or re-wrapped here.
  *
  * @param definition - The endpoint's identity, non-empty samples, and local handler (see
  *   {@link import('./types.js').EndpointDefinition})
- * @param options - Construction-time inference tuning + the validate opt-out (see
+ * @param options - Construction-time inference tuning and the validate opt-out (see
  *   {@link import('./types.js').EndpointToolOptions})
  * @returns A `ToolInterface` named `definition.name`
  *
@@ -633,12 +658,12 @@ export declare function createDescribeTool(tools: ToolManagerInterface): ToolInt
  * 	name: 'lookupUser',
  * 	description: 'Look up a user by id.',
  * 	samples: [{ id: '1', name: 'Ada' }, { id: '2', name: 'Bob' }],
- * 	invoke: (args) => ({ id: args.id, name: 'Ada' }),
+ * 	execute: (args) => ({ id: args.id, name: 'Ada' }),
  * })
  * const tools = createToolManager()
  * tools.add(tool)
  *
- * // conforming args (all required keys present) parse and reach `invoke`
+ * // conforming args (all required keys present) parse and reach the definition's `execute`
  * const result = await tools.execute({
  * 	id: 'call-1',
  * 	name: 'lookupUser',
@@ -647,7 +672,7 @@ export declare function createDescribeTool(tools: ToolManagerInterface): ToolInt
  * // result.value -> { id: '1', name: 'Ada' }
  *
  * // a nonconforming call (id is not coercible to the required string) is rejected before
- * // `invoke` runs
+ * // the definition's `execute` runs
  * const rejected = await tools.execute({
  * 	id: 'call-2',
  * 	name: 'lookupUser',
@@ -659,44 +684,44 @@ export declare function createDescribeTool(tools: ToolManagerInterface): ToolInt
 export declare function createEndpointTool(definition: EndpointDefinition, options?: EndpointToolOptions): ToolInterface;
 
 /**
- * Build a standalone LLM-callable tool that infers a JSON Schema from example values — the
- * utility half of the "existing API/DB → MCP tool" bridge (the other half,
- * {@link createEndpointTool}, wraps one CONCRETE endpoint).
+ * Builds a standalone LLM-callable tool that infers a JSON Schema from example values — the utility
+ * half of the bridge from an existing API or database into an MCP tool (the other half,
+ * {@link createEndpointTool}, wraps one concrete endpoint).
  *
  * @remarks
- * The universal tool-handler contract (AGENTS §14): validates the call args against
+ * The universal tool-handler contract: validates the call args against
  * {@link import('./shapers.js').inferToolShape} (`samples` non-empty, `format` / `enum` optional
- * booleans, `candidates` an optional array), infers a schema via `@orkestrel/contract`'s
- * `samplesToSchema`, wraps a non-object root as `{ value: <schema> }` via `schemaToObject` (mirrors
- * the tool-parameters convention every other `create*Tool` factory advertises), and RETURNS the
+ * booleans, `candidates` an optional array), infers a schema through `@orkestrel/contract`'s
+ * `samplesToSchema`, wraps a non-object root as `{ value: <schema> }` through `schemaToObject` (mirrors
+ * the tool-parameters convention every other `create*Tool` factory advertises), and returns the
  * resulting parameters record. An empty `samples` array fails `inferToolShape`'s `min: 1` bound —
  * `contract.parse` returns `undefined` and the handler throws a typed `TOOL`
  * {@link import('./errors.js').ToolboxError}.
  *
- * When `candidates` is ABSENT, the return is the bare parameters record — unchanged from before
- * this array existed. When `candidates` is PRESENT (any array, including empty), the handler
- * compiles a SEPARATE per-call contract from the RAW inferred schema (via `@orkestrel/contract`'s
- * `schemaToShape`, NOT the `schemaToObject`-wrapped parameters — a bare-value sample checks a
+ * When `candidates` is absent, the return is the bare parameters record — unchanged from before
+ * this array existed. When `candidates` is present (any array, including empty), the handler
+ * compiles a separate per-call contract from the raw inferred schema (through `@orkestrel/contract`'s
+ * `schemaToShape`, not the `schemaToObject`-wrapped parameters — a bare-value sample checks a
  * bare-value candidate) and returns `{ parameters, checks }`, one check per candidate at the same
- * index. Every entry has a UNIFORM shape — `{ index, valid, coercible }`, with `faults` added ONLY
- * when `valid` is `false`: `valid` is the STRICT guard verdict (`checker.is(candidate)`), the
- * OPPOSITE of {@link createEndpointTool}'s enforcement, which coerces (`7` becomes `'7'` for a
- * string slot) — here a conformance report answers "does this value conform AS-IS": `7` against a
- * string slot is `valid: false`, full stop. `coercible` answers a SEPARATE question — "would the
- * NORMALIZING parse accept this value", i.e. would {@link createEndpointTool}'s default enforcement
+ * index. Every entry has a uniform shape — `{ index, valid, coercible }`, with `faults` added only
+ * when `valid` is `false`: `valid` is the strict guard verdict (`checker.is(candidate)`), the
+ * opposite of {@link createEndpointTool}'s enforcement, which coerces (`7` becomes `'7'` for a
+ * string slot) — here a conformance report answers "does this value conform as-is": `7` against a
+ * string slot is `valid: false`, full stop. `coercible` answers a separate question — "would the
+ * normalizing parse accept this value", that is would {@link createEndpointTool}'s default enforcement
  * admit it (`checker.parse(candidate) !== undefined`) — computed for every candidate regardless of
- * `valid`; by the house parse/guard round-trip guarantee (AGENTS §14), a `valid: true` entry is
- * ALWAYS also `coercible: true`. `@orkestrel/contract` 0.0.7's `explain` mirrors the normalizing
+ * `valid`; by the house parse/guard round-trip, a `valid: true` entry is
+ * always also `coercible: true`. `@orkestrel/contract`'s `explain` mirrors the normalizing
  * `parse`'s leniency, not `is`'s strictness — so a strictly-invalid but coercible candidate (`7`
- * against a string slot) yields `{ valid: false, coercible: true, faults: [] }`: EMPTY faults, since
+ * against a string slot) yields `{ valid: false, coercible: true, faults: [] }`: empty faults, because
  * the mismatch the normalizing parse would silently fix is not one `explain` reports. `faults`
- * therefore only ever populates for a NON-coercible mismatch — a wrong type the parse can't coerce
+ * therefore only ever populates for a non-coercible mismatch — a wrong type the parse can't coerce
  * (a boolean in a string slot), a missing required key, or an out-of-enum value — where
  * `coercible: false`. `checker.is` / `.parse` / `.explain` are all total over JSON-safe input — a
- * JSON-safe hostile candidate (a `__proto__`-carrying object, deeply nested data) reaches all three
- * and yields a bounded, non-throwing per-candidate verdict; a NON-JSON-safe candidate (e.g. a
- * throwing-getter `Proxy`) never reaches the checker at all — it fails the OUTER `args` parse
- * against {@link import('./shapers.js').inferToolShape} and rejects the WHOLE call with the same
+ * JSON-safe hostile candidate (a `__proto__`-carrying object, deeply nested data) reaches each of them
+ * and yields a bounded, non-throwing per-candidate verdict; a non-JSON-safe candidate (for example a
+ * throwing-getter `Proxy`) never reaches the checker at all — it fails the outer `args` parse
+ * against {@link import('./shapers.js').inferToolShape} and rejects the whole call with the same
  * `TOOL` {@link import('./errors.js').ToolboxError} a malformed `samples`/`format`/`enum` throws,
  * with no per-candidate verdict produced.
  *
@@ -738,9 +763,9 @@ export declare function createEndpointTool(definition: EndpointDefinition, optio
 export declare function createInferTool(options?: InferToolOptions): ToolInterface;
 
 /**
- * Create the in-memory {@link DefinitionStoreInterface} — a process-lifetime `Map` of database
- * definitions, the DEFAULT store the upcoming database / relation tools will persist their
- * `DatabaseDefinition` configs through.
+ * Creates the in-memory {@link DefinitionStoreInterface} — a process-lifetime `Map` of database
+ * definitions, the default store the database and relation tools persist their `DatabaseDefinition`
+ * configs through.
  *
  * @returns A {@link DefinitionStoreInterface}
  *
@@ -754,20 +779,23 @@ export declare function createInferTool(options?: InferToolOptions): ToolInterfa
 export declare function createMemoryDefinitionStore(): DefinitionStoreInterface;
 
 /**
- * Build an LLM-callable form tool — the ASK side of the terminal seam. Asks
- * a multi-field form and BLOCKS until it answers, returning the resolved values record.
+ * Builds an LLM-callable form tool — the ask side of the terminal seam. It asks a multi-field form
+ * and blocks until the addressed terminal answers, returning the resolved values record.
  *
  * @remarks
- * The universal tool-handler contract (AGENTS §14): validates the call args against
+ * The universal tool-handler contract: validates the call args against
  * {@link import('./shapers.js').promptToolShape}, parses the call's schema through
  * `@orkestrel/form`, constructs the live form, and passes it to `TerminalManagerInterface.ask`.
- * `from` is FIXED at construction
+ * `from` is fixed at construction
  * ({@link import('./types.js').PromptToolOptions.from}) — never read from the model-supplied
- * args — so a model cannot spoof which terminal is asking. A form CYCLE rejects with
+ * args — so a model cannot spoof which terminal is asking. A form cycle rejects with
  * `TerminalError('DEADLOCK')`, re-surfaced as a typed `DEADLOCK`
  * {@link import('./errors.js').ToolboxError}; an expired form re-surfaces as `EXPIRE`; an
  * unknown `to` (or any other `TerminalError`) re-surfaces as `TOOL`, naming the unknown terminal
- * plus the known ones (`manager.terminals()`).
+ * and how many brokers the manager holds (`manager.count`). A schema `parseForm` refuses — an
+ * unknown control, a duplicate field name, a `'select'` or `'checkbox'` field without usable
+ * `choices` — throws a typed `TOOL` error up front, so a malformed schema never parks as a form
+ * nobody can answer.
  *
  * @param options - The live manager, the fixed `from` identity, and advertised overrides (see
  *   {@link import('./types.js').PromptToolOptions})
@@ -790,32 +818,33 @@ export declare function createMemoryDefinitionStore(): DefinitionStoreInterface;
 export declare function createPromptTool(options: PromptToolOptions): ToolInterface;
 
 /**
- * Build an LLM-callable relation tool — traverse and edit `@orkestrel/relation` relationships
- * through one `operation`-discriminated call (AGENTS §14, matching {@link createDatabaseTool}'s
+ * Builds an LLM-callable relation tool — it traverses and edits `@orkestrel/relation` relationships
+ * through one `operation`-discriminated call (matching {@link createDatabaseTool}'s
  * single-tool-many-operations shape).
  *
  * @remarks
- * The universal tool-handler contract (AGENTS §14): validates the call args against
+ * The universal tool-handler contract: validates the call args against
  * {@link import('./shapers.js').relationToolShape}, resolves the addressed
  * {@link import('@orkestrel/relation').RelationManagerInterface} — an explicit `manager` field
- * must match a key of {@link import('./types.js').RelationToolOptions.managers}, an OMITTED one
- * resolves to the SOLE registered manager, either miss throwing a typed `TOOL`
+ * must match a key of {@link import('./types.js').RelationToolOptions.managers}, an omitted one
+ * resolves to the sole registered manager, either miss throwing a typed `TOOL`
  * {@link import('./errors.js').ToolboxError}
- * ({@link import('./helpers.js').relationManagerOf}) — then resolves `model` against it
- * ({@link import('./helpers.js').relationModelOf}, same typed-`TOOL`-on-miss shape), and
- * dispatches to the matched operation, RETURNING a plain result on success.
+ * ({@link import('./helpers.js').resolveRelationManager}) — then resolves `model` against it
+ * ({@link import('./helpers.js').resolveRelationModel}, same typed-`TOOL`-on-miss shape), and
+ * dispatches to the matched operation, returning a plain result on success.
  *
- * `'load'` / `'find'` expand the call's FLAT dot-path `include` list into a live
- * `@orkestrel/relation` `Include` tree via {@link import('./helpers.js').expandInclude}, capped
+ * `'load'` / `'find'` expand the call's flat dot-path `include` list into a live
+ * `@orkestrel/relation` `Include` tree through {@link import('./helpers.js').expandInclude}, capped
  * at {@link import('./types.js').RelationToolOptions.depth} (default
  * {@link import('./constants.js').RELATION_TOOL_DEPTH}) — a path exceeding the cap, or carrying an
  * empty segment, throws a typed `TOOL` error. `'load'` dispatches on whether `key` is an array
- * (positional many-key form, AGENTS §9.2) or a single key. `'find'` and `'links'` clamp their
+ * (positional many-key form — an array key is read as many keys rather than one) or a single key.
+ * `'find'` and `'links'` clamp their
  * result to {@link import('./types.js').RelationToolOptions.limit} (default
- * {@link import('./constants.js').RELATION_TOOL_LIMIT}) — `'find'` probes one row past the
- * effective limit (mirroring {@link import('./helpers.js').clampQuery}'s idiom) to report
- * `truncated`; `'links'` (which has no upstream pagination) fetches the FULL linked-key list and
- * slices/truncates it the same way. `'link'` / `'unlink'` write / remove one `through` junction
+ * {@link import('./constants.js').RELATION_TOOL_LIMIT}), taken through
+ * {@link import('./helpers.js').resolveLimit} — `'find'` probes one row past the effective limit to
+ * report `truncated`; `'links'` (which has no upstream pagination) fetches the full linked-key
+ * list and slices/truncates it the same way. `'link'` / `'unlink'` write / remove one `through` junction
  * row.
  *
  * A typed `@orkestrel/relation` failure (`RelationError`) re-surfaces as a typed `RELATION`
@@ -839,8 +868,8 @@ export declare function createPromptTool(options: PromptToolOptions): ToolInterf
 export declare function createRelationTool(options: RelationToolOptions): ToolInterface;
 
 /**
- * Wrap a registered tool as a {@link WorkflowFunction} (`@orkestrel/workflow`) — the OPT-IN
- * adapter that lets a `function`-form task run a `@orkestrel/tool` tool BY NAME.
+ * Wraps a registered tool as a {@link WorkflowFunction} (`@orkestrel/workflow`) — the opt-in
+ * adapter that lets a `function`-form task run a `@orkestrel/tool` tool by name.
  *
  * @remarks
  * Composes into a caller's `WorkflowOptions.functions` registry like any other behavior
@@ -870,14 +899,16 @@ export declare function createRelationTool(options: RelationToolOptions): ToolIn
 export declare function createToolFunction(tools: ToolManagerInterface, name: string): WorkflowFunction;
 
 /**
- * Compile the lenient workflow draft contract used by {@link createWorkflowTool}.
+ * Compiles the lenient workflow draft contract {@link createWorkflowTool} parses an authored tree
+ * with — a `ContractInterface` over a {@link WorkflowDraft}, whose `id` and `name` are optional at
+ * the workflow, phase, and task levels.
  *
  * @returns The compiled {@link import('./types.js').WorkflowDraft} contract
  */
 export declare function createWorkflowDraftContract(): ContractInterface<WorkflowDraft>;
 
 /**
- * Compose opaque host functions and raw agents into one immutable workflow registry.
+ * Composes opaque host functions and raw agents into one immutable workflow registry.
  *
  * @remarks
  * This is the target-aware composition boundary used by direct runner consumers and
@@ -903,37 +934,36 @@ export declare function createWorkflowDraftContract(): ContractInterface<Workflo
  * await runner.execute(definition, { functions })
  * ```
  */
-export declare function createWorkflowFunctions(runner: WorkflowRunnerInterface, options?: WorkflowToolOptions): WorkflowFunctions;
+export declare function createWorkflowFunctions(runner: WorkflowRunnerInterface, options?: WorkflowToolOptions): WorkflowRegistry;
 
 /**
- * Wrap a {@link WorkflowDefinition} as an LLM-callable tool — it ADVERTISES the SIMPLE flat
- * authoring shape (`{ name?, steps: [{ name }] }`) as its `parameters` so even a small model can
- * author a complete tree, and its handler EXPANDS / COMPLETES the authored blob, validates it
- * against the STRICT contract, and runs it through `runner`, forwarding the caller's optional
- * named functions and native checkpoint store.
+ * Wraps a {@link WorkflowDefinition} as an LLM-callable tool — it advertises the flat authoring
+ * shape (`{ name?, steps: [{ name }] }`) as its `parameters`, and its handler completes the
+ * authored blob, validates it against the strict contract, and runs it through `runner`, forwarding
+ * the caller's optional named functions and native checkpoint store.
  *
  * @remarks
  * A plain `ToolManagerInterface`-compatible tool (`@orkestrel/tool`), reproducing
  * Toolbox's flat / draft / full authoring contract, strict soundness gate, and lineage guard.
- * It is ALSO the propagation carrier
+ * It is also the propagation carrier
  * {@link createAgentFunction} binds onto a wrapped agent's `context.tools`: because a tool
  * handler receives only the model-supplied `args`, the immutable lineage is closed over at bind
  * time. The authored target is appended and its zero-based depth derived from workflow tags.
  *
- * **Widened authoring surface (additive — the canonical contract + runner stay STRICT and
- * unchanged).** A 2B model reliably CALLS the tool but cannot reliably emit the full four-level
- * nested {@link WorkflowDefinition} (six required `id`/`name` strings, an all-or-nothing tree).
- * So the tool ACCEPTS three authoring forms and converges them on the SAME strict
+ * **Widened authoring surface (additive — the canonical contract and runner stay strict and
+ * unchanged).** A 2B model reliably calls the tool but cannot reliably emit the full nested
+ * {@link WorkflowDefinition}, whose every `id` and `name` is required across an all-or-nothing
+ * tree. So the tool accepts the authoring forms that follow and converges them on the same strict
  * `createWorkflowContract` gate before running (soundness preserved):
- * - the FLAT shape `{ name?, steps: [{ name }] }` — the ADVERTISED `parameters` (the simplest
+ * - the flat shape `{ name?, steps: [{ name }] }` — the advertised `parameters` (the simplest
  *   form, {@link import('./helpers.js').expandSteps}'d into one one-task phase per step);
- * - a nested DRAFT with any `id`/`name` OMITTED — {@link createWorkflowDraftContract}-parsed then
+ * - a nested draft with any `id`/`name` omitted — {@link createWorkflowDraftContract}-parsed then
  *   {@link import('./helpers.js').completeDraft}'d (missing ids synthesized positionally);
  * - the full nested {@link WorkflowDefinition} — the advanced escape-hatch, accepted as the draft
  *   super-set.
  *
- * The universal tool-handler contract (AGENTS §14): returns the plain run summary
- * (`{ status, count, durable?, fault? }`) on success, THROWS a typed `ToolboxError` on Toolbox
+ * The universal tool-handler contract: returns the plain run summary
+ * (`{ status, count, durable?, fault? }`) on success, throws a typed `ToolboxError` on Toolbox
  * boundary failures — malformed authored args (`TOOL`), or an over-deep / cyclic nested run
  * (`DEPTH`) — and preserves genuine runner `WorkflowError`s. The `ToolManagerInterface` isolates every throw into the canonical tool result's
  * top-level `error`, so nothing escapes the run. `options.lineage` is the propagation carrier
@@ -947,6 +977,34 @@ export declare function createWorkflowFunctions(runner: WorkflowRunnerInterface,
  * @returns A `ToolInterface` (named {@link import('./constants.js').WORKFLOW_TOOL_NAME}) whose
  *   `parameters` advertise the flat authoring schema
  *
+ * @example Authoring and running a workflow through the tool with a real ToolManager
+ * ```ts
+ * import { createWorkflowTool } from '@orkestrel/toolbox'
+ * import { createToolManager } from '@orkestrel/tool'
+ * import { createWorkflowRunner } from '@orkestrel/workflow'
+ * import type { WorkflowDefinition } from '@orkestrel/workflow'
+ *
+ * const definition: WorkflowDefinition = { id: 'release', name: 'Release', phases: [] }
+ * const runner = createWorkflowRunner()
+ * const functions = {
+ * 	compile: () => 'compiled',
+ * 	publish: () => 'published',
+ * }
+ * const tool = createWorkflowTool(definition, runner, { functions })
+ *
+ * const tools = createToolManager()
+ * tools.add(tool)
+ *
+ * // A small model authors the simple flat shape — no ids/names required.
+ * const result = await tools.execute({
+ * 	id: 'call-1',
+ * 	name: 'workflow',
+ * 	arguments: { name: 'release', steps: [{ name: 'compile' }, { name: 'publish' }] },
+ * })
+ * if (!result.success) throw new Error(result.error)
+ * result.value // { status: 'completed', count: 2 } — the single-level envelope; no nested { id, name, value }
+ * ```
+ *
  * @example
  * ```ts
  * import { createWorkflowTool } from '@src/core'
@@ -963,42 +1021,35 @@ export declare function createWorkflowFunctions(runner: WorkflowRunnerInterface,
 export declare function createWorkflowTool(definition: WorkflowDefinition, runner: WorkflowRunnerInterface, options?: WorkflowToolOptions): ToolInterface;
 
 /**
- * Build an LLM-callable workspace-editing tool — it ADVERTISES the `operation`-discriminated
- * 13-op union ({@link import('./shapers.js').workspaceToolShape}) as its `parameters`, and its
- * handler PARSES the model-supplied args against that contract and DISPATCHES the matched
- * operation against the manager's ACTIVE workspace (the registry ops drive the manager itself),
- * returning the plain result. A malformed operation throws this package's `ToolboxError`; a
- * genuine workspace-domain failure propagates `@orkestrel/workspace`'s typed `WorkspaceError`.
- * EITHER drives a caller-supplied {@link WorkspaceToolOptions.manager} directly, OR
- * constructs a fresh `WorkspaceManagerInterface` (`@orkestrel/workspace`) over
- * {@link import('./types.js').WorkspaceToolOptions.store} (via `@orkestrel/workspace`'s
- * `createWorkspaceManager`); neither given constructs a manager backed by
- * `@orkestrel/workspace`'s in-memory store default.
+ * Builds an LLM-callable workspace-editing tool — it advertises the `operation`-discriminated union
+ * ({@link import('./shapers.js').workspaceToolShape}) as its `parameters`, and its handler parses
+ * the model-supplied args against that contract and dispatches the matched operation against the
+ * manager's active workspace, returning the plain result.
  *
  * @remarks
- * MANAGER-DRIVEN: every edit / read op (read / list / has / search / replace / write / splice /
+ * Manager-driven: every edit / read op (read / list / has / search / replace / write / splice /
  * prepend / append / move / remove) targets `manager.active`, so the model edits whichever
  * workspace is active and a host can re-point it (`WorkspaceManagerInterface.switch`) between
- * turns. Two REGISTRY ops make the model self-sufficient: `workspaces` LISTS the registered
+ * turns. The registry ops make the model self-sufficient: `workspaces` lists the registered
  * workspaces (each `{ id, files, active }`) so it can discover an id, and `switch` re-points the
  * active workspace by id (lenient — an unknown id is a no-op reporting `switched: false`, never a
  * throw).
  *
- * NO-ACTIVE RULE (the ergonomic seam): a WRITING op (write / splice / prepend / append / move /
- * remove / replace) run when `manager.active` is `undefined` AUTO-CREATES + activates a default
- * workspace (`manager.add()`) so the model can just start writing; a pure-READ op (read / list /
- * has / search) against no active workspace returns the EMPTY result (`undefined` / `[]` /
+ * No-active rule (the ergonomic seam): a writing op (write / splice / prepend / append / move /
+ * remove / replace) run when `manager.active` is `undefined` auto-creates and activates a default
+ * workspace (`manager.add()`) so the model can start writing; a pure-read op (read / list /
+ * has / search) against no active workspace returns the empty result (`undefined` / `[]` /
  * `false`), never creating one and never throwing.
  *
- * The handler conforms to the universal tool-handler contract (AGENTS §14): it `contract.parse`s
- * the args, THROWS a `TOOL` `ToolboxError` when no operation arm matched (a malformed / unknown
- * operation), else `switch`es on `op.operation` and RETURNS the plain result — letting a
- * `WorkspaceError` raised by the live workspace (`MODALITY` / `PATTERN` / `RANGE`) PROPAGATE
- * uncaught. The range edit is the FLAT `'splice'` op: its four flat caret integers are
+ * The handler conforms to the universal tool-handler contract: it `contract.parse`s
+ * the args, throws a `TOOL` `ToolboxError` when no operation arm matched (a malformed / unknown
+ * operation), else `switch`es on `op.operation` and returns the plain result — letting a
+ * `WorkspaceError` raised by the live workspace (`MISSING` / `MODALITY` / `PATTERN` / `RANGE`)
+ * propagate uncaught. The range edit is the flat `'splice'` op: its flat caret integers are
  * reassembled into a `Range` (`@orkestrel/workspace`) by `rangeOf` and fed to the workspace's
  * ranged `write`.
  *
- * @param options - `manager` (drive directly) OR `store` (build a manager over it); neither ⇒
+ * @param options - `manager` (drive directly) or `store` (build a manager over it); neither ⇒
  *   an in-memory-backed manager (see {@link import('./types.js').WorkspaceToolOptions})
  * @returns A `ToolInterface` (named {@link import('./constants.js').WORKSPACE_TOOL_NAME} by default)
  *
@@ -1015,49 +1066,55 @@ export declare function createWorkflowTool(definition: WorkflowDefinition, runne
 export declare function createWorkspaceTool(options?: WorkspaceToolOptions): ToolInterface;
 
 /**
- * The DESCRIPTION the upcoming database tool will advertise — a multi-line guide that teaches a
- * small model the operation list, the SERIALIZED query form, and the {@link import('./types.js').TableSpec}
- * column DSL.
+ * Holds the description {@link import('./factories.js').createDatabaseTool} advertises — a
+ * multi-line guide that teaches a small model the operation list, the serialized query form, and
+ * the {@link import('./types.js').TableSpec} column DSL.
  *
  * @remarks
- * The query form is deliberately SERIALIZED (never fluent) — every condition is a flat object
- * `{ column, operator, values, connector? }` where `values` is ALWAYS an array, even for a
+ * The query form is deliberately serialized (never fluent) — every condition is a flat object
+ * `{ column, operator, values, connector? }` where `values` is always an array, even for a
  * single-value operator (`{ column: 'age', operator: 'from', values: [18] }`), so a small model
  * never has to chain method calls or guess whether a value is scalar or a list.
  */
 export declare const DATABASE_TOOL_DESCRIPTION: string;
 
-/** The default cap on rows a `records` call returns when the caller omits `query.limit` — the upcoming database tool's default row ceiling. */
+/**
+ * Holds the default cap on rows a `records` call returns when the caller omits `query.limit`,
+ * `1000` — the database tool's default row ceiling.
+ */
 export declare const DATABASE_TOOL_LIMIT = 1000;
 
-/** The runtime-frozen database-tool mutation names disabled by `DatabaseToolOptions.readonly`. */
+/** Lists the runtime-frozen database-tool mutation names disabled by `DatabaseToolOptions.readonly`. */
 export declare const DATABASE_TOOL_MUTATIONS: readonly string[];
 
 /**
- * The name the upcoming `createDatabaseTool` factory will advertise by default — the key a model
- * calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
- *
- * @remarks
- * SRC-1 of a 3-unit spine: this unit lands the persistence + schema foundation
- * ({@link import('./types.js').DatabaseDefinition}, {@link import('./types.js').DefinitionStoreInterface},
- * {@link import('./helpers.js').expandTables}); `createDatabaseTool` itself is built in a later unit.
+ * Holds the name {@link import('./factories.js').createDatabaseTool} advertises by default,
+ * `'database'` — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers
+ * under.
  */
 export declare const DATABASE_TOOL_NAME = "database";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} the upcoming database tool
- * will advertise in place of {@link DATABASE_TOOL_DESCRIPTION}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createDatabaseTool} advertises in place of
+ * {@link DATABASE_TOOL_DESCRIPTION} — one sentence offering the `operation`-keyed database call and
+ * pointing at `describe` for the operation list, the query form, and the column DSL.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const DATABASE_TOOL_SUMMARY = "Create and query a database \u2014 one operation per call (create, tables, get, records, count, aggregate, add, set, update, remove, destroy), chosen by the 'operation' field. Call describe('database') for the full operation list, the query form, and the column DSL.";
 
 /**
- * One database's CONFIG-ONLY definition — `id` + `driver` + {@link TableSpec}, with optional
- * `primary`, `indexes`, and `version` schema configuration.
+ * Represents one database's config-only definition — an `id`, a `driver`, and a {@link TableSpec},
+ * with optional `primary`, `indexes`, and `version` schema configuration.
  *
  * @remarks
- * A `DatabaseDefinition` is NEVER a live handle — it is the durable, serializable config a
+ * A `DatabaseDefinition` is never a live handle — it is the durable, serializable config a
  * {@link DefinitionStoreInterface} persists and a tool factory turns into a real
- * `@orkestrel/database` `DatabaseInterface` (via `createDatabase` + {@link import('./helpers.js').expandTables})
+ * `@orkestrel/database` `DatabaseInterface` (through `createDatabase` and {@link import('./compilers.js').expandTables})
  * on demand. `primary` maps table names to primary-key columns; `indexes` maps table names to
  * index column groups; `version` opts a capable driver into open-time schema reconciliation.
  */
@@ -1070,41 +1127,41 @@ export declare interface DatabaseDefinition {
     readonly version?: number;
 }
 
-/** One opaque persisted row — the shape a `TableInterface<DatabaseDefinitionRow>`-backed store reads/writes; `definition` is narrowed with {@link import('./helpers.js').isDatabaseDefinition} on read. */
+/** Represents one opaque persisted row — the shape a definition-row-backed `TableInterface` store reads/writes; `definition` is narrowed with {@link import('./validators.js').isDatabaseDefinition} on read. */
 export declare interface DatabaseDefinitionRow {
     readonly id: string;
     readonly definition: unknown;
 }
 
 /**
- * A {@link DefinitionStoreInterface} backed by one table of the `@orkestrel/database` layer — a
- * database's durable CONFIG state IS a row, so persistence reduces to keyed point-access
+ * Represents a {@link DefinitionStoreInterface} backed by one table of the `@orkestrel/database` layer — a
+ * database's durable config state is a row, so persistence reduces to keyed point-access
  * (`get` / `set` / `delete`) over a {@link TableInterface}, the driver-pluggable twin of the
  * plain-`Map` {@link import('./MemoryDefinitionStore.js').MemoryDefinitionStore}.
  *
  * @remarks
  * The store is driver-agnostic: it holds a single {@link TableInterface} whose backend (memory,
  * JSON, SQLite, IndexedDB) is chosen by whoever builds it (the factories), so a JSON / SQLite /
- * IndexedDB backend swaps in WITHOUT touching a consumer — the same seam as
+ * IndexedDB backend swaps in without touching a consumer — the same seam as
  * {@link import('./MemoryDefinitionStore.js').MemoryDefinitionStore}. The driver defaults to
  * memory ({@link import('../factories.js').createDatabaseDefinitionStore} passes
- * `createMemoryDriver()`), so it ALSO works in memory out of the box; you opt into the durable
+ * `createMemoryDriver()`), so it also works in memory out of the box; you opt into the durable
  * plumbing by passing a JSON / SQLite / IndexedDB driver.
  *
- * The {@link DatabaseDefinition} is stored as ONE OPAQUE JSON COLUMN — the table is a row of
- * `{ id; definition }` ({@link DatabaseDefinitionRow}). The definition is already a COMPLETE,
- * self-contained, pure-JSON CONFIG payload (never a live handle), so storing it whole is lossless
- * AND keeps the row type flat (`definition` reads back as `unknown`).
+ * The {@link DatabaseDefinition} is stored as one opaque JSON column — the table is a row of
+ * `{ id; definition }` ({@link DatabaseDefinitionRow}). The definition is already a complete,
+ * self-contained, pure-JSON config payload (never a live handle), so storing it whole is lossless
+ * and keeps the row type flat (`definition` reads back as `unknown`).
  *
- * - **`set(definition)` upserts under the definition's OWN `id`** (no separate id param) — it
+ * - **`set(definition)` upserts under the definition's own `id`** (no separate id param) — it
  *   writes the row `{ id: definition.id, definition }`.
  * - **`get(id)` resolves the stored definition for an id**, narrowing the opaque JSON column back
- *   to a {@link DatabaseDefinition} ({@link import('../helpers.js').isDatabaseDefinition} — the
- *   AGENTS §14 boundary narrow for an untrusted storage read), or `undefined` if none is stored
+ *   to a {@link DatabaseDefinition} ({@link import('../validators.js').isDatabaseDefinition} — the
+ *   boundary narrow for an untrusted storage read), or `undefined` if none is stored
  *   or the stored blob is malformed.
  * - **`delete(id)` drops a definition by id**; an absent id is a no-op (no throw).
  *
- * The public surface is EXACTLY `get` / `set` / `delete` — no extra members (the §22 method
+ * The public surface is exactly `get` / `set` / `delete` — no extra members (the method
  * bijection with {@link DefinitionStoreInterface}).
  *
  * @example
@@ -1120,22 +1177,65 @@ export declare interface DatabaseDefinitionRow {
 export declare class DatabaseDefinitionStore implements DefinitionStoreInterface {
     #private;
     /**
-     * Wrap a table as a definition store.
+     * Wraps a table as a definition store.
      *
      * @param table - The {@link TableInterface} holding the definitions — its row is the
      *   {@link DatabaseDefinitionRow} `{ id; definition }` shape (the definition one opaque JSON column)
      */
     constructor(table: TableInterface<DatabaseDefinitionRow>);
-    /** Resolve the persisted definition for `id`, narrowing the opaque JSON column back to a `DatabaseDefinition`. */
+    /**
+     * Resolves the persisted definition for `id`, narrowing the opaque JSON column back to a
+     * {@link DatabaseDefinition}.
+     *
+     * @param id - The database id to read
+     * @returns The stored {@link DatabaseDefinition}, or `undefined` when none is stored or the
+     *   stored blob is malformed
+     */
     get(id: string): Promise<DatabaseDefinition | undefined>;
-    /** Insert or replace under the definition's OWN `id` (no separate id param) — the row is `{ id, definition }`. */
+    /**
+     * Inserts or replaces a definition under its own `id` — the written row is `{ id, definition }`.
+     *
+     * @param definition - The config to persist; its own `id` is the row key (no separate id param)
+     * @returns A promise settling after the row is written
+     */
     set(definition: DatabaseDefinition): Promise<void>;
-    /** Drop a definition by id; an absent id is a no-op (no throw). */
+    /**
+     * Drops the definition stored under `id`.
+     *
+     * @param id - The database id to drop; an absent id is a no-op, never a throw
+     * @returns A promise settling after no row is stored under `id`
+     */
     delete(id: string): Promise<void>;
 }
 
 /**
- * Resolve database definitions into cached live handles for database tools.
+ * Represents the serialized wire query a database-tool call carries — the parsed form of
+ * {@link import('./shapers.js').queryShape}, which {@link import('./helpers.js').normalizeQuery}
+ * normalizes into a live `@orkestrel/database` `QueryInput`.
+ *
+ * @remarks
+ * Every condition is flat and its `values` is always an array, even for a single-value operator.
+ * `connector` is optional because the last condition joins nothing forward; `normalizeQuery` defaults an
+ * omitted one to `'and'`. `order` / `limit` / `offset` carry over to the live query unchanged.
+ */
+export declare interface DatabaseQueryInput {
+    readonly conditions?: ReadonlyArray<Readonly<{
+        column: string;
+        operator: Condition['operator'];
+        values: readonly unknown[];
+        connector?: ConditionConnector;
+    }>>;
+    readonly order?: ReadonlyArray<Readonly<{
+        column: string;
+        direction: OrderDirection;
+    }>>;
+    readonly limit?: number;
+    readonly offset?: number;
+}
+
+/**
+ * Resolves a database definition into a cached live handle for a database tool, over the tool's
+ * live handles, its stored definitions, its driver registry, and an optional key generator.
  *
  * @example
  * ```ts
@@ -1148,7 +1248,7 @@ export declare class DatabaseDefinitionStore implements DefinitionStoreInterface
 export declare class DatabaseResolver {
     #private;
     /**
-     * Create a database resolver over the tool's live state and optional definition store.
+     * Creates 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
@@ -1157,21 +1257,21 @@ export declare class DatabaseResolver {
      */
     constructor(handles: ReadonlyMap<string, DatabaseInterface>, drivers: Readonly<Record<string, () => DriverInterface>>, generator?: KeyFunction, store?: DefinitionStoreInterface);
     /**
-     * Determine whether a live database is cached by id.
+     * Determines whether a live database is cached by id.
      *
      * @param id - Database id
-     * @returns Whether a live handle is cached
+     * @returns True if a live handle is cached; false otherwise
      */
     has(id: string): boolean;
     /**
-     * Read a cached database without consulting the definition store.
+     * Reads 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.
+     * Caches a live database by id.
      *
      * @param id - Database id
      * @param database - Live database handle
@@ -1179,14 +1279,15 @@ export declare class DatabaseResolver {
      */
     set(id: string, database: DatabaseInterface): void;
     /**
-     * Remove a cached live database by id.
+     * Removes a cached live database by id.
      *
      * @param id - Database id
      * @returns Nothing
      */
     delete(id: string): void;
     /**
-     * Resolve a cached or stored database by id.
+     * Resolves a live database by id — the cached handle when one exists, otherwise a database
+     * constructed from its stored definition.
      *
      * @param id - Database definition id
      * @returns The cached or newly constructed live database
@@ -1195,26 +1296,15 @@ export declare class DatabaseResolver {
 }
 
 /**
- * Map a caught error to the {@link ToolboxErrorCode} the upcoming database tool should throw
- * with — the pure classification step of that factory's error handling, mirroring
- * {@link terminalToolCode}'s idiom for `@orkestrel/database`.
- *
- * @param error - The value caught from a `@orkestrel/database` table operation
- * @returns The granular {@link DatabaseErrorCode}, or `undefined` if `error` is not a `DatabaseError`
- */
-export declare function databaseToolCode(error: unknown): DatabaseErrorCode | undefined;
-
-/**
- * Options for {@link import('./factories.js').createDatabaseTool} — SRC-2 of the 3-unit database
- * / relation spine, built over the SRC-1 foundation ({@link DatabaseDefinition},
- * {@link DefinitionStoreInterface}, {@link import('./helpers.js').expandTables}).
+ * Represents the options for {@link import('./factories.js').createDatabaseTool} — the live handles, definition
+ * store, driver registry, key generator, row cap, timeout, and readonly gate the tool composes.
  *
  * @remarks
- * - `databases` — live `DatabaseInterface` handles to seed the tool's cache with (e.g. a
- *   caller-constructed database it should manage alongside store-backed ones); keyed by the id a
+ * - `databases` — live `DatabaseInterface` handles to seed the tool's cache with (for example a
+ *   caller-constructed database it manages alongside store-backed ones); keyed by the id a
  *   call's `id` field addresses.
  * - `store` — the {@link DefinitionStoreInterface} the `'create'` operation persists its
- *   {@link DatabaseDefinition} CONFIG through, and `'destroy'` deletes from; also the source
+ *   {@link DatabaseDefinition} config through, and `'destroy'` deletes from; also the source
  *   `'get'`/every other operation resolves an id from when it isn't already cached. Omitted means
  *   no persistence — a database created without a store lives only for the tool's lifetime.
  * - `drivers` — registry of driver-name to `() => DriverInterface` factories a `'create'` call's
@@ -1223,7 +1313,7 @@ export declare function databaseToolCode(error: unknown): DatabaseErrorCode | un
  * - `generator` — the optional `KeyFunction` (`@orkestrel/database`) every minted database is
  *   constructed with, used when a written row lacks its primary key. Omitted delegates to the
  *   database's default generator.
- * - `limit` — the `'records'` row cap — via {@link import('./helpers.js').clampQuery}
+ * - `limit` — the `'records'` row cap — through {@link import('./helpers.js').clampQuery}
  *   — enforce when a call's `query.limit` is omitted or exceeds it. Defaults to
  *   {@link import('./constants.js').DATABASE_TOOL_LIMIT}.
  * - `timeout` — a nonnegative safe-integer number of milliseconds. A fresh
@@ -1250,136 +1340,138 @@ export declare interface DatabaseToolOptions {
 }
 
 /**
- * The shape of {@link import('./factories.js').createDatabaseTool}'s call arguments —
- * discriminated by `operation` into the 11 database operations (`'create'` / `'tables'` /
- * `'get'` / `'records'` / `'count'` / `'aggregate'` / `'add'` / `'set'` / `'update'` /
- * `'remove'` / `'destroy'`).
+ * Describes the shape of {@link import('./factories.js').createDatabaseTool}'s call arguments —
+ * discriminated by `operation` into the database operations `'create'`, `'tables'`, `'get'`,
+ * `'records'`, `'count'`, `'aggregate'`, `'add'`, `'set'`, `'update'`, `'remove'`, and `'destroy'`.
  *
  * @remarks
  * Every arm carries `id` (the database id). `'create'` carries `tables` (the
- * {@link import('./types.js').TableSpec} column DSL, compiled via
- * {@link import('./helpers.js').expandTables}); `'get'` / `'update'` / `'remove'` carry `key`
+ * {@link import('./types.js').TableSpec} column DSL, compiled through
+ * {@link import('./compilers.js').expandTables}); `'get'` / `'update'` / `'remove'` carry `key`
  * (one key or an array of keys, positional); `'add'` / `'set'` carry `row` (one row or an array of
  * rows); `'update'` also carries `changes` (a loose partial row); `'records'` / `'count'` /
- * `'aggregate'` carry an optional `query` (the SERIALIZED form — `values` is ALWAYS an array,
+ * `'aggregate'` carry an optional `query` (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<readonly [ ObjectShape<{
-    operation: LiteralShape<readonly ["create"]>;
-    id: StringShape;
-    tables: ObjectShape<Record<never, never>, 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>]>>;
-    }, false>>;
-    driver: OptionalShape<StringShape>;
-    primary: OptionalShape<ObjectShape<Record<never, never>, StringShape>>;
-    indexes: OptionalShape<ObjectShape<Record<never, never>, ArrayShape<ArrayShape<StringShape>>>>;
-    version: OptionalShape<NumberShape>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["tables"]>;
-    id: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["get"]>;
-    id: StringShape;
-    table: StringShape;
-    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["records"]>;
-    id: StringShape;
-    table: StringShape;
-    query: OptionalShape<ObjectShape<{
-        conditions: OptionalShape<ArrayShape<ObjectShape<{
-            column: StringShape;
-            operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
-            values: ArrayShape<JSONShape>;
-            connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
-        }, false>>>;
-        order: OptionalShape<ArrayShape<ObjectShape<{
-            column: StringShape;
-            direction: LiteralShape<readonly ["ascending", "descending"]>;
-        }, false>>>;
-        limit: OptionalShape<NumberShape>;
-        offset: OptionalShape<NumberShape>;
-    }, false>>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["count"]>;
-    id: StringShape;
-    table: StringShape;
-    query: OptionalShape<ObjectShape<{
-        conditions: OptionalShape<ArrayShape<ObjectShape<{
-            column: StringShape;
-            operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
-            values: ArrayShape<JSONShape>;
-            connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
-        }, false>>>;
-        order: OptionalShape<ArrayShape<ObjectShape<{
-            column: StringShape;
-            direction: LiteralShape<readonly ["ascending", "descending"]>;
-        }, false>>>;
-        limit: OptionalShape<NumberShape>;
-        offset: OptionalShape<NumberShape>;
-    }, false>>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["aggregate"]>;
-    id: StringShape;
-    table: StringShape;
-    function: LiteralShape<readonly ["count", "sum", "average", "minimum", "maximum"]>;
-    column: StringShape;
-    query: OptionalShape<ObjectShape<{
-        conditions: OptionalShape<ArrayShape<ObjectShape<{
-            column: StringShape;
-            operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
-            values: ArrayShape<JSONShape>;
-            connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
-        }, false>>>;
-        order: OptionalShape<ArrayShape<ObjectShape<{
-            column: StringShape;
-            direction: LiteralShape<readonly ["ascending", "descending"]>;
-        }, false>>>;
-        limit: OptionalShape<NumberShape>;
-        offset: OptionalShape<NumberShape>;
-    }, false>>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["add"]>;
-    id: StringShape;
-    table: StringShape;
-    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<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["update"]>;
-    id: StringShape;
-    table: StringShape;
-    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<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["destroy"]>;
-    id: StringShape;
+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<readonly [LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<    {
+primitive: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
+optional: OptionalShape<BooleanShape>;
+}, false>]>>;
+}, false>>;
+driver: OptionalShape<StringShape>;
+primary: OptionalShape<ObjectShape<Record<never, never>, StringShape>>;
+indexes: OptionalShape<ObjectShape<Record<never, never>, ArrayShape<ArrayShape<StringShape>>>>;
+version: OptionalShape<NumberShape>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["tables"]>;
+id: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["get"]>;
+id: StringShape;
+table: StringShape;
+key: UnionShape<readonly [ArrayShape<UnionShape<readonly [StringShape, NumberShape]>>, StringShape, NumberShape]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["records"]>;
+id: StringShape;
+table: StringShape;
+query: OptionalShape<ObjectShape<    {
+conditions: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
+values: ArrayShape<JSONShape>;
+connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
+}, false>>>;
+order: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+direction: LiteralShape<readonly ["ascending", "descending"]>;
+}, false>>>;
+limit: OptionalShape<NumberShape>;
+offset: OptionalShape<NumberShape>;
+}, false>>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["count"]>;
+id: StringShape;
+table: StringShape;
+query: OptionalShape<ObjectShape<    {
+conditions: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
+values: ArrayShape<JSONShape>;
+connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
+}, false>>>;
+order: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+direction: LiteralShape<readonly ["ascending", "descending"]>;
+}, false>>>;
+limit: OptionalShape<NumberShape>;
+offset: OptionalShape<NumberShape>;
+}, false>>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["aggregate"]>;
+id: StringShape;
+table: StringShape;
+function: LiteralShape<readonly ["count", "sum", "average", "minimum", "maximum"]>;
+column: StringShape;
+query: OptionalShape<ObjectShape<    {
+conditions: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
+values: ArrayShape<JSONShape>;
+connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
+}, false>>>;
+order: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+direction: LiteralShape<readonly ["ascending", "descending"]>;
+}, false>>>;
+limit: OptionalShape<NumberShape>;
+offset: OptionalShape<NumberShape>;
+}, false>>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["add"]>;
+id: StringShape;
+table: StringShape;
+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<readonly [ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["update"]>;
+id: StringShape;
+table: StringShape;
+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<readonly [ArrayShape<UnionShape<readonly [StringShape, NumberShape]>>, StringShape, NumberShape]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["destroy"]>;
+id: StringShape;
 }, false>]>;
 
 /**
- * The point-access persistence seam (AGENTS §5 — Stores) for {@link DatabaseDefinition} configs —
- * the twin of `@orkestrel/terminal`'s `TerminalStoreInterface`, storing a database's CONFIG-ONLY
- * blueprint (never a live handle). Every primitive is async; `delete` of an absent id is a no-op.
+ * Represents the point-access persistence seam for {@link DatabaseDefinition} configs — the twin of
+ * `@orkestrel/terminal`'s `TerminalStoreInterface`, storing a database's config-only blueprint
+ * rather than a live handle. Every primitive is async; `delete` of an absent id is a no-op.
  */
 export declare interface DefinitionStoreInterface {
+    /** Resolves the persisted definition for `id`, or `undefined` when none is stored. */
     get(id: string): Promise<DatabaseDefinition | undefined>;
+    /** Inserts or replaces a definition under its own `id`, taking no separate id argument. */
     set(definition: DatabaseDefinition): Promise<void>;
+    /** Drops the definition for `id`, treating an absent id as a no-op that never throws. */
     delete(id: string): Promise<void>;
 }
 
 /**
- * Derive the zero-based workflow nesting depth from a valid lineage.
+ * Derives the zero-based workflow nesting depth from a valid lineage.
  *
  * @param lineage - The workflow/agent chain
  * @returns Zero for an empty/root lineage, then one per nested workflow
@@ -1387,7 +1479,8 @@ export declare interface DefinitionStoreInterface {
 export declare function deriveWorkflowDepth(lineage: WorkflowLineage): number;
 
 /**
- * The DESCRIPTION {@link import('./factories.js').createDescribeTool} advertises.
+ * Holds the description {@link import('./factories.js').createDescribeTool} advertises — the
+ * registered tool `name` it requires, and the full description of that tool it returns.
  *
  * @remarks
  * Deliberately short — unlike the workflow / workspace / agent tools, this one has no authoring
@@ -1396,110 +1489,113 @@ export declare function deriveWorkflowDepth(lineage: WorkflowLineage): number;
 export declare const DESCRIBE_TOOL_DESCRIPTION = "Return the full description of a registered tool by its name. Required: name - the registered tool name (see another tool listing for available names).";
 
 /**
- * The name {@link import('./factories.js').createDescribeTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the name {@link import('./factories.js').createDescribeTool} advertises by default,
+ * `'describe'` — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers
+ * under.
  *
  * @remarks
- * Net-new: pairs with the other three tools' lean {@link AGENT_TOOL_SUMMARY} /
- * {@link WORKFLOW_TOOL_SUMMARY} / {@link WORKSPACE_TOOL_SUMMARY} — a model that reads only the
+ * Pairs with the lean {@link AGENT_TOOL_SUMMARY} / {@link WORKFLOW_TOOL_SUMMARY} /
+ * {@link WORKSPACE_TOOL_SUMMARY} — a model that reads only the
  * advertised summary can call `describe` with that tool's registered name to get its full
  * teaching description back.
  */
 export declare const DESCRIBE_TOOL_NAME = "describe";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createDescribeTool}
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createDescribeTool}
  * advertises — this tool needs no teaching of its own, so its summary and description are both
  * short.
  */
 export declare const DESCRIBE_TOOL_SUMMARY = "Return the full description of a named registered tool.";
 
 /**
- * The FLAT args {@link import('./factories.js').createDescribeTool} accepts — the registered
- * tool `name` whose full `description` a model wants back.
+ * Represents the flat args {@link import('./factories.js').createDescribeTool} accepts — the
+ * registered tool `name` whose full `description` a model wants back.
  *
  * @remarks
  * `name` must match a tool registered on the {@link import('@orkestrel/tool').ToolManagerInterface}
- * the describe tool was built over — it is looked up via `tools.tool(name)`.
+ * the describe tool was built over — it is looked up through `tools.tool(name)`.
  */
 export declare interface DescribeToolArguments {
     readonly name: string;
 }
 
 /**
- * The shape of {@link import('./types.js').DescribeToolArguments} —
+ * Describes the shape of {@link import('./types.js').DescribeToolArguments} —
  * {@link import('./factories.js').createDescribeTool}'s advertised `parameters`.
  *
  * @remarks
  * `name` is the only field (a non-empty string) — the registered tool name to look up.
  */
-export declare const describeToolShape: ObjectShape<{
-    name: StringShape;
+export declare const describeToolShape: ObjectShape<    {
+name: StringShape;
 }, false>;
 
 /**
- * One concrete endpoint {@link import('./factories.js').createEndpointTool} wraps as an
+ * Represents one concrete endpoint {@link import('./factories.js').createEndpointTool} wraps as an
  * LLM-callable `ToolInterface` — the advertised identity, a non-empty set of example values its
  * `parameters` are inferred from, and the local handler that runs a call.
  *
  * @remarks
- * `samples` MUST be non-empty — {@link import('./factories.js').createEndpointTool} throws a
- * typed `TOOL` {@link import('./errors.js').ToolboxError} at CONSTRUCTION when it is empty,
- * since an empty sample set cannot infer a schema. By DEFAULT ({@link EndpointToolOptions.validate}
- * `true`) `invoke` receives the PARSED, NORMALIZED args record — a copy of the model-supplied
- * `args` with each scalar coerced to its inferred type (e.g. a number sent for a string slot
+ * `samples` must be non-empty — {@link import('./factories.js').createEndpointTool} throws a
+ * typed `TOOL` {@link import('./errors.js').ToolboxError} at construction when it is empty,
+ * because an empty sample set cannot infer a schema. By default ({@link EndpointToolOptions.validate}
+ * `true`) `execute` receives the parsed, normalized args record — a copy of the model-supplied
+ * `args` with each scalar coerced to its inferred type (for example a number sent for a string slot
  * arrives coerced to a string), checked against the same schema advertised as `parameters` — and
- * a call with a missing required key or a non-coercible value never reaches `invoke` at all (see
+ * a call with a missing required key or a non-coercible value never reaches `execute` at all (see
  * {@link EndpointToolOptions.validate}). With
- * `validate: false`, `invoke` receives the model-supplied `args` VERBATIM (raw passthrough, never
- * checked against the inferred schema). Either way `invoke`'s return flows back as the tool
- * call's result; a throw PROPAGATES uncaught, isolated by the `ToolManagerInterface`
+ * `validate: false`, `execute` receives the model-supplied `args` verbatim (raw passthrough, never
+ * checked against the inferred schema). Either way `execute`'s return flows back as the tool
+ * call's result; a throw propagates uncaught, isolated by the `ToolManagerInterface`
  * (`@orkestrel/tool`) into the canonical error envelope. When `samples` are non-object values,
- * the advertised schema wraps them under a single required `value` property, so `invoke` receives
+ * the advertised schema wraps them under a single required `value` property, so `execute` receives
  * an `args` record of the shape `{ value: ... }` — never the bare value.
  */
 export declare interface EndpointDefinition {
     readonly name: string;
     readonly description: string;
     readonly samples: readonly unknown[];
-    readonly invoke: EndpointHandler;
+    readonly execute: EndpointHandler;
 }
 
 /**
- * The handler {@link import('./types.js').EndpointDefinition.invoke} implements — mirrors
- * `@orkestrel/tool`'s `ToolOptions.execute` signature EXACTLY (same `Readonly<Record<string,
- * unknown>>` argument, same `Promise<unknown> | unknown` return) so
- * `execute: (args) => definition.invoke(args)` typechecks with zero assertions in
+ * Represents the handler {@link EndpointDefinition.execute} implements — it mirrors
+ * `@orkestrel/tool`'s `ToolOptions.execute` signature exactly (the same
+ * `Readonly<Record<string, unknown>>` argument, the same `Promise<unknown> | unknown` return), so
+ * `execute: (args) => definition.execute(args)` typechecks with zero assertions in
  * {@link import('./factories.js').createEndpointTool}.
  */
 export declare type EndpointHandler = (args: Readonly<Record<string, unknown>>) => Promise<unknown> | unknown;
 
 /**
- * Construction-time tuning for {@link import('./factories.js').createEndpointTool} — the
- * inferred `parameters` schema's `format` / `enum` constraints, and whether that same schema is
- * ENFORCED at `execute` time.
+ * Represents the construction-time tuning for {@link import('./factories.js').createEndpointTool} —
+ * the inferred `parameters` schema's `format` and `enum` constraints, and whether that same schema
+ * is enforced at `execute` time.
  *
  * @remarks
  * `format` / `enum` default to `false`, matching `@orkestrel/contract`'s own
  * `ValueToSchemaOptions` defaults. `validate` defaults to `true`: the schema
- * `createEndpointTool` advertises as `parameters` (`samplesToSchema` + `schemaToObject`) is
- * compiled ONCE at construction (via `@orkestrel/contract` 0.0.7's `schemaToShape`) into a
- * `ContractInterface` used to `parse` every call's `args` before `invoke` runs — a NORMALIZING
- * parse: a scalar value is COERCED to its inferred type where the house parsers coerce (a number
- * to/from a numeric string, a boolean from `'1'`/`'0'`/`'true'`/`'false'`/`1`/`0`), so `invoke`
- * receives the COERCED values (e.g. `7` sent for a string slot arrives at `invoke` as `'7'`), not
+ * `createEndpointTool` advertises as `parameters` (`samplesToSchema` and `schemaToObject`) is
+ * compiled once at construction (through `@orkestrel/contract`'s `schemaToShape`) into a
+ * `ContractInterface` used to `parse` every call's `args` before `execute` runs — a normalizing
+ * parse: a scalar value is coerced to its inferred type where the house parsers coerce (a number
+ * to/from a numeric string, a boolean from `'1'`/`'0'`/`'true'`/`'false'`/`1`/`0`), so `execute`
+ * receives the coerced values (for example `7` sent for a string slot arrives at `execute` as `'7'`), not
  * the raw call args. A call whose `args` fails to parse — a required key missing, or a value not
- * coercible to its slot's type — THROWS a typed `TOOL` {@link import('./errors.js').ToolboxError}
- * carrying the structured `explain` faults, and `invoke` is never called. Beyond that coercion,
- * enforcement is STRUCTURAL — required keys, `enum` membership, and numeric bounds — `format`
- * annotations (`email`, `date-time`, `uuid`, `uri`, ...) are NEVER asserted, mirroring
+ * coercible to its slot's type — throws a typed `TOOL` {@link import('./errors.js').ToolboxError}
+ * carrying the structured `explain` faults, and `execute` is never called. Beyond that coercion,
+ * enforcement is structural — required keys, `enum` membership, and numeric bounds — `format`
+ * annotations (`email`, `date-time`, `uuid`, `uri`, ...) are never asserted, mirroring
  * `@orkestrel/contract`'s own widening-only law for `schemaToShape`: a `format: true`-tuned
- * endpoint still ACCEPTS a non-conforming string in a format-tagged slot. A key NOT present in
- * the inferred (closed, `additionalProperties: false`) schema is NEVER a rejection either — it is
- * SILENTLY DROPPED before `invoke` runs (the same leniency `@orkestrel/contract`'s own `parse`
- * grants a closed object generally), so `invoke` may see fewer keys than the caller sent. Set
- * `validate: false` to restore the PRE-0.0.7 behavior exactly — `execute` passes the
- * model-supplied `args` straight to `invoke` UNCHANGED, unchecked and unstripped.
+ * endpoint still accepts a non-conforming string in a format-tagged slot. A key not present in
+ * the inferred (closed, `additionalProperties: false`) schema is never a rejection either — it is
+ * silently dropped before `execute` runs (the same leniency `@orkestrel/contract`'s own `parse`
+ * grants a closed object generally), so `execute` may see fewer keys than the caller sent. Set
+ * `validate: false` when the endpoint's own handler validates its arguments, or when `samples`
+ * under-describe the real contract and the normalizing coercion would corrupt a call: the tool's
+ * `execute` then passes the model-supplied `args` to the handler unchanged, unchecked and
+ * unstripped.
  */
 export declare interface EndpointToolOptions {
     readonly format?: boolean;
@@ -1508,15 +1604,15 @@ export declare interface EndpointToolOptions {
 }
 
 /**
- * Expand the relation tool's FLAT dot-path `include` list into a live `@orkestrel/relation`
+ * Expands the relation tool's flat dot-path `include` list into a live `@orkestrel/relation`
  * {@link Include} tree — the pure leaf {@link import('./factories.js').createRelationTool} calls
  * before a `'load'` / `'find'` call.
  *
  * @remarks
  * Each path splits on `'.'` into a chain of relation names, deep-merged into one nested
- * `Include` object with a leaf `true`. A longer path SUBSUMES a shorter sibling's bare `true` —
+ * `Include` object with a leaf `true`. A longer path subsumes a shorter sibling's bare `true` —
  * `'contacts'` followed by `'contacts.account'` yields `{ contacts: { account: true } }`, never
- * overwriting the deeper chain. An EMPTY segment (`''`, from a leading/trailing/doubled `.`) or a
+ * overwriting the deeper chain. An empty segment (`''`, from a leading/trailing/doubled `.`) or a
  * path whose segment count exceeds `depth` throws a typed `TOOL` {@link ToolboxError}.
  *
  * @param paths - The flat dot-path `include` list (or `undefined` — yields `{}`)
@@ -1534,19 +1630,19 @@ export declare interface EndpointToolOptions {
 export declare function expandInclude(paths: readonly string[] | undefined, depth: number): Include;
 
 /**
- * Expand a flat {@link WorkflowSteps} blob into a strict {@link WorkflowDefinition} — each step
- * becomes a one-task phase, IN ORDER.
+ * Expands a flat {@link WorkflowSteps} blob into a strict {@link WorkflowDefinition} — each step
+ * becomes a one-task phase, in order.
  *
  * @remarks
- * The expansion of the tool's ADVERTISED surface: the deliberately-reduced flat form. Each
+ * The expansion of the tool's advertised surface: the deliberately-reduced flat form. Each
  * {@link import('./types.js').WorkflowStep} maps to a phase holding exactly one task: the step's
- * `name` becomes the task's `run` (the behavior-registry key). Ids/names are auto-filled
+ * `name` becomes the task's `behavior` (the behavior-registry key). Ids/names are auto-filled
  * positionally — it builds an ids-omitted {@link WorkflowDraft} and delegates to
- * {@link completeDraft}, so the two lenient surfaces share ONE synthesis path (step `i` → phase
+ * {@link completeDraft}, so the lenient surfaces share one synthesis path (step `i` → phase
  * `phase-<i>`, its task `phase-<i>-task-0`). The optional `name` becomes both the workflow's
  * deterministic id and its name, so named flat workflows retain distinct persistence keys;
  * omission keeps the shared draft fallback `wf`. The result is a complete definition the caller
- * validates against the STRICT contract before running.
+ * validates against the strict contract before running.
  *
  * @param flat - The flat steps blob (`{ name?, steps: [{ name }] }`)
  * @returns A complete {@link WorkflowDefinition} (one one-task phase per step)
@@ -1554,7 +1650,7 @@ export declare function expandInclude(paths: readonly string[] | undefined, dept
 export declare function expandSteps(flat: WorkflowSteps): WorkflowDefinition;
 
 /**
- * Compile a {@link TableSpec} into the `@orkestrel/database` {@link TableMap} it configures —
+ * Compiles a {@link TableSpec} into the `@orkestrel/database` {@link TableMap} it configures —
  * each {@link ColumnSpec} maps to the matching primitive shaper (`'string'` → `stringShape()`,
  * `'integer'` → `integerShape()`, `'number'` → `numberShape()`, `'boolean'` → `booleanShape()`),
  * wrapped in `optionalShape` when the column declares `optional: true`. Total, pure.
@@ -1565,7 +1661,7 @@ export declare function expandSteps(flat: WorkflowSteps): WorkflowDefinition;
 export declare function expandTables(spec: TableSpec): TableMap;
 
 /**
- * Append one tag to a workflow lineage and return a frozen copy.
+ * Appends one tag to a workflow lineage and returns a frozen copy.
  *
  * @param lineage - The valid chain to extend
  * @param tag - The workflow or agent tag to append
@@ -1573,31 +1669,78 @@ export declare function expandTables(spec: TableSpec): TableMap;
  */
 export declare function extendLineage(lineage: WorkflowLineage, tag: string): WorkflowLineage;
 
-/** Flat dot-path relation include list, expanded via {@link import('./helpers.js').expandInclude}. */
+/** Describes the flat dot-path relation include list, expanded through {@link import('./helpers.js').expandInclude}. */
 export declare const includeShape: OptionalShape<ArrayShape<StringShape>>;
 
-/** The schema-inference protocol {@link import('./factories.js').createInferTool} advertises. */
+/**
+ * Holds the schema-inference protocol {@link import('./factories.js').createInferTool} advertises —
+ * the required `samples`, the optional `format`, `enum`, and `candidates` arguments, and a worked
+ * example of the bare return and of the `candidates`-wrapped return.
+ */
 export declare const INFER_TOOL_DESCRIPTION: string;
 
 /**
- * The name {@link import('./factories.js').createInferTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the name {@link import('./factories.js').createInferTool} advertises by default, `'infer'`
+ * — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
  */
 export declare const INFER_TOOL_NAME = "infer";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createInferTool}
- * advertises in place of {@link INFER_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
- * (`@orkestrel/tool`) advertises `summary ?? description`, so this one-sentence text stands in
- * for the full teaching description; the full text stays retrievable via
- * {@link import('./factories.js').createDescribeTool}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createInferTool} advertises in place of
+ * {@link INFER_TOOL_DESCRIPTION} — one sentence offering schema inference from example values and
+ * pointing at `describe` for the fields it takes.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const INFER_TOOL_SUMMARY = "Infer a JSON Schema (as advertised tool parameters) from one or more example values. Call describe('infer') for the required fields.";
 
 /**
- * Options for {@link import('./factories.js').createInferTool} — advertised name/description
- * overrides only; `format` / `enum` are RUNTIME call arguments (see
- * {@link import('./shapers.js').inferToolShape}), not construction-time options, since a model
+ * Maps a caught error to the granular {@link DatabaseErrorCode} (`@orkestrel/database`) the code
+ * {@link import('./factories.js').createDatabaseTool} throws with — the pure classification step
+ * of that factory's error handling, mirroring {@link inferTerminalCode}'s idiom for
+ * `@orkestrel/database`.
+ *
+ * @param error - The value caught from a `@orkestrel/database` table operation
+ * @returns The granular {@link DatabaseErrorCode}, or `undefined` if `error` is not a `DatabaseError`
+ */
+export declare function inferDatabaseCode(error: unknown): DatabaseErrorCode | undefined;
+
+/**
+ * Maps a caught error to the granular {@link RelationErrorCode} (`@orkestrel/relation`) the code
+ * {@link import('./factories.js').createRelationTool} throws with — the pure classification step
+ * of that factory's error handling, mirroring {@link inferTerminalCode}'s idiom for
+ * `@orkestrel/relation`.
+ *
+ * @param error - The value caught from a `@orkestrel/relation` operation
+ * @returns The granular {@link RelationErrorCode}, or `undefined` if `error` is not a `RelationError`
+ */
+export declare function inferRelationCode(error: unknown): RelationErrorCode | undefined;
+
+/**
+ * Maps a caught error to the {@link ToolboxErrorCode} the terminal-tool factory throws with — the
+ * pure classification step of that factory's error handling.
+ *
+ * @remarks
+ * Narrows `error` with {@link isTerminalError} (`@orkestrel/terminal`) first: a non-`TerminalError`
+ * value returns `undefined`, telling the caller this mapper does not apply (rethrow / handle
+ * otherwise). For a genuine `TerminalError`, `'DEADLOCK'` maps to `'DEADLOCK'`, `'EXPIRE'` maps
+ * to `'EXPIRE'`, and every other {@link import('@orkestrel/terminal').TerminalErrorCode}
+ * (`'TARGET'`, `'LIMIT'`, `'CANCEL'`, `'DRIVER'`, `'DESTROYED'`) maps to the generic `'TOOL'`
+ * code. The mapper only classifies — the factory performs the actual throw.
+ *
+ * @param error - The value caught from a terminal-manager operation (`ask` / `answer` / …)
+ * @returns The mapped {@link ToolboxErrorCode}, or `undefined` if `error` is not a `TerminalError`
+ */
+export declare function inferTerminalCode(error: unknown): ToolboxErrorCode | undefined;
+
+/**
+ * Represents the options for {@link import('./factories.js').createInferTool} — advertised name and
+ * description overrides only; `format` and `enum` are runtime call arguments (see
+ * {@link import('./shapers.js').inferToolShape}), not construction-time options, because a model
  * chooses them per call.
  */
 export declare interface InferToolOptions {
@@ -1606,7 +1749,7 @@ export declare interface InferToolOptions {
 }
 
 /**
- * The shape of {@link import('./factories.js').createInferTool}'s call arguments — one or more
+ * Describes the shape of {@link import('./factories.js').createInferTool}'s call arguments — one or more
  * example `samples` to infer a JSON Schema from, plus per-call `format` / `enum` toggles and an
  * optional `candidates` array to check against the inferred schema.
  *
@@ -1614,45 +1757,58 @@ export declare interface InferToolOptions {
  * `samples` requires at least one element (`min: 1`) — an empty array parses to `undefined`,
  * surfaced by the handler as a typed `TOOL` {@link import('./errors.js').ToolboxError}. When
  * `candidates` is present (any array, including empty), the handler compiles a contract from the
- * freshly inferred schema and checks each candidate against it with a STRICT guard (`.is`, no
- * coercion) — the opposite of {@link import('./factories.js').createEndpointTool}'s NORMALIZING
+ * freshly inferred schema and checks each candidate against it with a strict guard (`.is`, no
+ * coercion) — the opposite of {@link import('./factories.js').createEndpointTool}'s normalizing
  * `.parse` enforcement.
  */
-export declare const inferToolShape: ObjectShape<{
-    samples: ArrayShape<JSONShape>;
-    format: OptionalShape<BooleanShape>;
-    enum: OptionalShape<BooleanShape>;
-    candidates: OptionalShape<ArrayShape<JSONShape>>;
+export declare const inferToolShape: ObjectShape<    {
+samples: ArrayShape<JSONShape>;
+format: OptionalShape<BooleanShape>;
+enum: OptionalShape<BooleanShape>;
+candidates: OptionalShape<ArrayShape<JSONShape>>;
 }, false>;
 
 /**
- * Narrow an unknown callable to Toolbox's frozen contextual agent adapter metadata.
+ * Narrows an unknown callable to Toolbox's frozen contextual agent adapter metadata.
  *
  * @param value - The value to inspect
- * @returns Whether it is a frozen {@link AgentFunction} with a frozen valid lineage
+ * @returns True if it is a frozen {@link AgentFunction} with a frozen valid lineage; false otherwise
  */
 export declare function isAgentFunction(value: unknown): value is AgentFunction;
 
-/** Narrow an unknown value to a {@link import('./types.js').ColumnKind}. */
-export declare function isColumnKind(value: unknown): value is ColumnKind;
+/**
+ * Narrows an unknown value to a {@link ColumnPrimitive}.
+ *
+ * @param value - The value to inspect
+ * @returns True if `value` is `'string'`, `'integer'`, `'number'`, or `'boolean'`; false otherwise
+ */
+export declare function isColumnPrimitive(value: unknown): value is ColumnPrimitive;
 
-/** Narrow an unknown value to a {@link ColumnSpec} — a valid {@link import('./types.js').ColumnKind} shorthand, or `{ type, optional }` with a valid `type`. */
+/**
+ * Narrows an unknown value to a {@link ColumnSpec}.
+ *
+ * @param value - The value to inspect
+ * @returns True if `value` is a valid {@link ColumnPrimitive} shorthand or a `{ primitive, optional }` record with a valid `primitive`; false otherwise
+ */
 export declare function isColumnSpec(value: unknown): value is ColumnSpec;
 
 /**
- * Narrow an unknown value to a {@link DatabaseDefinition} — a non-empty `id` + `driver`, a
+ * Narrows an unknown value to a {@link DatabaseDefinition} — a non-empty `id` and `driver`, a
  * `tables` record whose every value is `{ columns: record of valid ColumnSpec }`, plus optional
  * `primary`, `indexes`, and finite `version` schema configuration. The boundary guard a
  * {@link import('./types.js').DefinitionStoreInterface} applies to an untrusted persisted blob
  * before trusting it as a definition (never an `as`).
+ *
+ * @param value - The value to inspect
+ * @returns True if `value` is a complete {@link DatabaseDefinition}; false otherwise
  */
 export declare function isDatabaseDefinition(value: unknown): value is DatabaseDefinition;
 
 /**
- * Type guard narrowing an unknown caught value to an {@link ToolboxError}.
+ * Narrows an unknown caught value to a {@link ToolboxError}.
  *
  * @param value - The value to test (typically a `catch` binding)
- * @returns `true` when `value` is an {@link ToolboxError}
+ * @returns True if `value` is an {@link ToolboxError}; false otherwise
  *
  * @example
  * ```ts
@@ -1668,32 +1824,25 @@ export declare function isDatabaseDefinition(value: unknown): value is DatabaseD
 export declare function isToolboxError(value: unknown): value is ToolboxError;
 
 /**
- * Narrow an unknown value to a valid alternating workflow lineage.
+ * Narrows an unknown value to a valid alternating workflow lineage.
  *
  * @param value - The value to inspect
- * @returns Whether `value` is a unique, nonempty-tagged workflow/agent chain
+ * @returns True if `value` is a unique, nonempty-tagged workflow/agent chain; false otherwise
  */
 export declare function isWorkflowLineage(value: unknown): value is WorkflowLineage;
 
-/** One key value — a string or number; the array form (multiple keys, positional) resolves FIRST per AGENTS §9.2. */
-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;
-
 /**
- * Build a validated, copied, and frozen workflow lineage value.
- *
- * @param lineage - The configured chain; omitted means a direct root
- * @returns An immutable caller-isolated lineage
+ * Describes one key value for the database tool and the relation tool — a string or number; the
+ * array form (multiple keys, positional) resolves first, so an array argument is read as many keys
+ * rather than one.
  */
-export declare function lineageOf(lineage?: WorkflowLineage): WorkflowLineage;
+export declare const keyShape: UnionShape<readonly [ArrayShape<UnionShape<readonly [StringShape, NumberShape]>>, StringShape, NumberShape]>;
 
-/** Which registered relation manager to address — omitted resolves to the sole registered manager. */
+/** Describes which registered relation manager to address — omitted resolves to the sole registered manager. */
 export declare const managerShape: OptionalShape<StringShape>;
 
 /**
- * The maximum nesting depth a workflow → agent → workflow chain may reach — the bound
+ * Holds the maximum nesting depth a workflow → agent → workflow chain may reach, `8` — the bound
  * {@link import('./factories.js').createAgentFunction} and
  * {@link import('./factories.js').createWorkflowTool}'s depth/cycle guards enforce.
  *
@@ -1702,29 +1851,32 @@ export declare const managerShape: OptionalShape<StringShape>;
  * workflows is allowed, while a ninth nested workflow is rejected with this package's typed
  * `DEPTH` `ToolboxError`.
  */
-export declare const MAX_WORKFLOW_DEPTH = 8;
+export declare const MAX_WORKFLOW_CHAIN = 8;
 
 /**
- * The in-memory {@link DefinitionStoreInterface} — a process-lifetime `Map` of
- * {@link DatabaseDefinition}s keyed by database id, the DEFAULT store
- * {@link import('../factories.js').createMemoryDefinitionStore} builds. The EXACT twin of
- * {@link import('./DatabaseDefinitionStore.js').DatabaseDefinitionStore}.
+ * Represents the in-memory {@link DefinitionStoreInterface} — a process-lifetime `Map` of
+ * {@link DatabaseDefinition}s keyed by database id, the default store
+ * {@link import('../factories.js').createMemoryDefinitionStore} builds. It implements the same
+ * {@link DefinitionStoreInterface} contract as
+ * {@link import('./DatabaseDefinitionStore.js').DatabaseDefinitionStore}: this store copies on
+ * write and on read; the table-backed store narrows an untrusted stored blob and reports
+ * `undefined` for a malformed one.
  *
  * @remarks
- * A plain `Map<string, DatabaseDefinition>` (AGENTS §21 — the definition is already pure,
- * self-contained CONFIG-only JSON, so no encoding is needed for the memory tier). Values are
- * structured-cloned on both write and read, keeping caller mutation outside the store. There is NO
- * idle-TTL and NO eviction: a persisted definition lives until an explicit `delete`. A durable
- * backend (JSON / SQLite / IndexedDB) swaps in through the SAME interface without touching a
+ * A plain `Map<string, DatabaseDefinition>` (the definition is already pure,
+ * self-contained config-only JSON, so no encoding is needed for the memory tier). Values are
+ * structured-cloned on both write and read, keeping caller mutation outside the store. There is no
+ * idle-TTL and no eviction: a persisted definition lives until an explicit `delete`. A durable
+ * backend (JSON / SQLite / IndexedDB) swaps in through the same interface without touching a
  * consumer — its driver-pluggable twin is
  * {@link import('./DatabaseDefinitionStore.js').DatabaseDefinitionStore} (the definition as one
  * opaque JSON column).
  *
  * - **`get` resolves the persisted definition for an id**, or `undefined` if none is stored.
- * - **`set` inserts / replaces under the definition's OWN `id`** (no separate id param).
+ * - **`set` inserts / replaces under the definition's own `id`** (no separate id param).
  * - **`delete` drops a definition by id**; an absent id is a no-op (no throw).
  *
- * The public surface is EXACTLY `get` / `set` / `delete` — no extra members (the §22 method
+ * The public surface is exactly `get` / `set` / `delete` — no extra members (the method
  * bijection with {@link DefinitionStoreInterface}).
  *
  * @example
@@ -1739,78 +1891,130 @@ export declare const MAX_WORKFLOW_DEPTH = 8;
  */
 export declare class MemoryDefinitionStore implements DefinitionStoreInterface {
     #private;
+    /**
+     * Resolves the persisted definition for `id`, copied out of the backing `Map`.
+     *
+     * @param id - The database id to read
+     * @returns The stored {@link DatabaseDefinition}, or `undefined` when none is stored
+     */
     get(id: string): Promise<DatabaseDefinition | undefined>;
+    /**
+     * Inserts or replaces a definition under its own `id`, copied into the backing `Map`.
+     *
+     * @param definition - The config to persist; its own `id` is the key (no separate id param)
+     * @returns A promise settling after the definition is stored
+     */
     set(definition: DatabaseDefinition): Promise<void>;
+    /**
+     * Drops the definition stored under `id`.
+     *
+     * @param id - The database id to drop; an absent id is a no-op, never a throw
+     * @returns A promise settling after no definition is stored under `id`
+     */
     delete(id: string): Promise<void>;
 }
 
-/** One sort term. */
-export declare const orderShape: ObjectShape<{
-    column: StringShape;
-    direction: LiteralShape<readonly ["ascending", "descending"]>;
+/**
+ * Returns the canonical workflow lineage — validated, copied, and frozen.
+ *
+ * @param lineage - The configured chain; omitted means a direct root
+ * @returns An immutable caller-isolated lineage
+ */
+export declare function normalizeLineage(lineage?: WorkflowLineage): WorkflowLineage;
+
+/**
+ * Returns the canonical live `@orkestrel/database` {@link QueryInput} for the database tool's
+ * parsed serialized query — each condition's omitted `connector` defaults to `'and'`.
+ *
+ * @remarks
+ * The wire form ({@link import('./shapers.js').databaseToolShape}) lets a caller drop `connector`
+ * on the last condition (it has nothing to join forward to); the compiled `Condition` a live
+ * `@orkestrel/database` table call accepts always carries one, so this fills the gap. `order` /
+ * `limit` / `offset` pass through unchanged. Pure and total.
+ *
+ * @param query - The parsed query (or `undefined`)
+ * @returns The equivalent live `QueryInput`, or `undefined` when `query` is `undefined`
+ */
+export declare function normalizeQuery(query: DatabaseQueryInput | undefined): QueryInput | undefined;
+
+/** Describes one sort term — a `column` to sort by and the `direction` to sort it in. */
+export declare const orderShape: ObjectShape<    {
+column: StringShape;
+direction: LiteralShape<readonly ["ascending", "descending"]>;
 }, false>;
 
-/** A draft phase — a `PhaseDefinition` (`@orkestrel/workflow`) with OPTIONAL `id` / `name` and {@link TaskDraft} tasks. */
+/**
+ * Represents a draft phase — a `PhaseDefinition` (`@orkestrel/workflow`) with optional `id` and
+ * `name` and {@link TaskDraft} tasks.
+ */
 export declare interface PhaseDraft {
     readonly id?: string;
     readonly name?: string;
     readonly description?: string;
     readonly tasks: readonly TaskDraft[];
-    /** Max tasks in flight at once (a resource throttle); omitted ⇒ unbounded. */
+    /** Caps the tasks in flight at once (a resource throttle); omitted ⇒ unbounded. */
     readonly concurrency?: number;
-    /** The per-phase failure-policy OVERRIDE; omitted ⇒ inherits the workflow `bail`. */
+    /** Holds the per-phase failure-policy override; omitted ⇒ inherits the workflow `bail`. */
     readonly bail?: boolean;
 }
 
 /**
- * The shape of a PHASE in a draft workflow — identical to a strict phase shape EXCEPT `id` and
- * `name` are OPTIONAL, and its tasks are {@link taskDraftShape}s.
- */
-export declare const phaseDraftShape: ObjectShape<{
-    id: OptionalShape<StringShape>;
-    name: OptionalShape<StringShape>;
-    description: OptionalShape<StringShape>;
-    tasks: ArrayShape<ObjectShape<{
-        id: OptionalShape<StringShape>;
-        name: OptionalShape<StringShape>;
-        description: OptionalShape<StringShape>;
-        run: OptionalShape<StringShape>;
-        retries: OptionalShape<NumberShape>;
-        timeout: OptionalShape<NumberShape>;
-    }, false>>;
-    concurrency: OptionalShape<NumberShape>;
-    bail: OptionalShape<LiteralShape<readonly [true, false]>>;
+ * Describes the shape of a phase in a draft workflow — identical to a strict phase shape except
+ * that `id` and `name` are optional and each task takes {@link taskDraftShape}.
+ */
+export declare const phaseDraftShape: ObjectShape<    {
+id: OptionalShape<StringShape>;
+name: OptionalShape<StringShape>;
+description: OptionalShape<StringShape>;
+tasks: ArrayShape<ObjectShape<    {
+id: OptionalShape<StringShape>;
+name: OptionalShape<StringShape>;
+description: OptionalShape<StringShape>;
+behavior: OptionalShape<StringShape>;
+retries: OptionalShape<NumberShape>;
+timeout: OptionalShape<NumberShape>;
+}, false>>;
+concurrency: OptionalShape<NumberShape>;
+bail: OptionalShape<LiteralShape<readonly [true, false]>>;
 }, false>;
 
-/** The full form protocol {@link import('./factories.js').createPromptTool} advertises. */
+/**
+ * Holds the form protocol {@link import('./factories.js').createPromptTool} advertises — the
+ * required `to` and `schema`, how a field declares its control and its rules, and a worked
+ * example.
+ */
 export declare const PROMPT_TOOL_DESCRIPTION: string;
 
 /**
- * The name {@link import('./factories.js').createPromptTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the name {@link import('./factories.js').createPromptTool} advertises by default, `'ask'` —
+ * the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
  */
 export declare const PROMPT_TOOL_NAME = "ask";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createPromptTool}
- * advertises in place of {@link PROMPT_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
- * (`@orkestrel/tool`) advertises `summary ?? description`, so this one-sentence text stands in
- * for the full teaching description; the full text stays retrievable via
- * {@link import('./factories.js').createDescribeTool}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createPromptTool} advertises in place of
+ * {@link PROMPT_TOOL_DESCRIPTION} — one sentence offering the blocking multi-field ask and pointing
+ * at `describe` for the schema.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const PROMPT_TOOL_SUMMARY = "Ask another terminal a multi-field form and BLOCK until it answers; the call resolves with the values record. Call describe('ask') for the schema.";
 
 /**
- * Options for {@link import('./factories.js').createPromptTool} — the live
+ * Represents the options for {@link import('./factories.js').createPromptTool} — the live
  * {@link TerminalManagerInterface} (`@orkestrel/terminal`) to `ask` through, the terminal name
  * `from`, and the advertised tool overrides.
  *
  * @remarks
  * - `manager` — the terminal manager whose `ask(from, to, form)` the tool's handler calls with a
- *   live `@orkestrel/form` form; BLOCKS the calling agent turn until the addressed terminal answers (or the ask
+ *   live `@orkestrel/form` form; blocks the calling agent turn until the addressed terminal answers (or the ask
  *   rejects — a cycle throws `TerminalError('DEADLOCK')`, re-surfaced as a typed `DEADLOCK`
  *   {@link import('./errors.js').ToolboxError}; an expired prompt re-surfaces as `EXPIRE`).
- * - `from` — the terminal identity this tool asks AS; the model supplies the `to` target and the
+ * - `from` — the terminal identity this tool asks as; the model supplies the `to` target and the
  *   complete form schema per call.
  * - `name` / `description` — advertised tool overrides; default to
  *   {@link import('./constants.js').PROMPT_TOOL_NAME} / {@link import('./constants.js').PROMPT_TOOL_DESCRIPTION}.
@@ -1823,139 +2027,87 @@ export declare interface PromptToolOptions {
 }
 
 /**
- * The shape of {@link import('./factories.js').createPromptTool}'s call arguments — `to` names the
+ * Describes the shape of {@link import('./factories.js').createPromptTool}'s call arguments — `to` names the
  * terminal identity and `schema` carries the complete multi-field form document.
  *
  * @remarks
  * The contract first requires exact JSON. The handler then delegates schema parsing and semantic
  * validation to `@orkestrel/form`'s `parseForm`, so Toolbox does not duplicate the form schema.
  */
-export declare const promptToolShape: ObjectShape<{
-    to: StringShape;
-    schema: JSONShape;
+export declare const promptToolShape: ObjectShape<    {
+to: StringShape;
+schema: JSONShape;
 }, false>;
 
-/**
- * Normalize the database tool's parsed SERIALIZED query into a live `@orkestrel/database`
- * {@link QueryInput} — default each condition's OMITTED `connector` to `'and'`.
- *
- * @remarks
- * The wire form ({@link import('./shapers.js').databaseToolShape}) lets a caller drop `connector`
- * on the last condition (it has nothing to join FORWARD to); the compiled `Condition` a live
- * `@orkestrel/database` table call accepts always carries one, so this fills the gap. `order` /
- * `limit` / `offset` pass through unchanged. Pure and total.
- *
- * @param query - The parsed query (or `undefined`)
- * @returns The equivalent live `QueryInput`, or `undefined` when `query` is `undefined`
- */
-export declare function queryOf(query: Readonly<{
-    conditions?: ReadonlyArray<Readonly<{
-        column: string;
-        operator: Condition['operator'];
-        values: readonly unknown[];
-        connector?: ConditionConnector;
-    }>>;
-    order?: ReadonlyArray<Readonly<{
-        column: string;
-        direction: OrderDirection;
-    }>>;
-    limit?: number;
-    offset?: number;
-}> | undefined): QueryInput | undefined;
-
-/** The SERIALIZED query form — conditions, order, and pagination. */
-export declare const queryShape: ObjectShape<{
-    conditions: OptionalShape<ArrayShape<ObjectShape<{
-        column: StringShape;
-        operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
-        values: ArrayShape<JSONShape>;
-        connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
-    }, false>>>;
-    order: OptionalShape<ArrayShape<ObjectShape<{
-        column: StringShape;
-        direction: LiteralShape<readonly ["ascending", "descending"]>;
-    }, false>>>;
-    limit: OptionalShape<NumberShape>;
-    offset: OptionalShape<NumberShape>;
+/** Describes the serialized query form — conditions, order, and pagination. */
+export declare const queryShape: ObjectShape<    {
+conditions: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+operator: LiteralShape<readonly ["equals", "not", "above", "below", "from", "to", "between", "like", "glob", "starts", "ends", "any", "none", "absent", "present"]>;
+values: ArrayShape<JSONShape>;
+connector: OptionalShape<LiteralShape<readonly ["and", "or"]>>;
+}, false>>>;
+order: OptionalShape<ArrayShape<ObjectShape<    {
+column: StringShape;
+direction: LiteralShape<readonly ["ascending", "descending"]>;
+}, false>>>;
+limit: OptionalShape<NumberShape>;
+offset: OptionalShape<NumberShape>;
 }, false>;
 
-/** The default cap on how many `include` path segments deep a `load` / `find` call may traverse — the relation tool's default include-depth ceiling. */
+/**
+ * Holds the default cap on how many `include` path segments deep a `load` or `find` call may
+ * traverse, `3` — the relation tool's default include-depth ceiling.
+ */
 export declare const RELATION_TOOL_DEPTH = 3;
 
 /**
- * The DESCRIPTION the relation tool advertises — a multi-line guide that teaches a small model
- * the operation list and the flat dot-path `include` syntax.
+ * Holds the description {@link import('./factories.js').createRelationTool} advertises — a
+ * multi-line guide that teaches a small model the operation list and the flat dot-path `include`
+ * syntax.
  *
  * @remarks
- * An include path is a FLAT dot-separated string (`'contacts.account'`), never a nested object —
+ * An include path is a flat dot-separated string (`'contacts.account'`), never a nested object —
  * the same small-model ergonomic lever the other tools in this package use for flat args.
  */
 export declare const RELATION_TOOL_DESCRIPTION: string;
 
-/** The default cap on rows a `find` / `links` call returns when the caller omits `limit` — the relation tool's default row ceiling. */
-export declare const RELATION_TOOL_LIMIT = 1000;
-
 /**
- * The name `createRelationTool` advertises by default — the key a model calls and the
- * `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the default cap on rows a `find` or `links` call returns when the caller omits `limit`,
+ * `1000` — the relation tool's default row ceiling.
  */
-export declare const RELATION_TOOL_NAME = "relation";
+export declare const RELATION_TOOL_LIMIT = 1000;
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} the relation tool advertises
- * in place of {@link RELATION_TOOL_DESCRIPTION}.
+ * Holds the name {@link import('./factories.js').createRelationTool} advertises by default,
+ * `'relation'` — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers
+ * under.
  */
-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<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
+export declare const RELATION_TOOL_NAME = "relation";
 
 /**
- * Resolve which registered {@link RelationManagerInterface} a relation-tool call addresses — the
- * pure manager-resolution leaf {@link import('./factories.js').createRelationTool} calls on
- * every operation.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createRelationTool} advertises in place of
+ * {@link RELATION_TOOL_DESCRIPTION} — one sentence offering the `operation`-keyed relationship
+ * traversal and pointing at `describe` for the include-path syntax.
  *
  * @remarks
- * An explicit `name` must match a key of `managers` (a miss throws a typed `TOOL`
- * {@link ToolboxError} naming the registered managers). An OMITTED `name` resolves to the sole
- * registered manager when exactly one is registered, else throws the same typed error.
- *
- * @param managers - The tool's registered `RelationManagerInterface` map
- * @param name - The call's optional `manager` field
- * @returns The resolved {@link RelationManagerInterface}
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
-export declare function relationManagerOf(managers: Readonly<Record<string, RelationManagerInterface>>, name: string | undefined): RelationManagerInterface;
-
-/**
- * Resolve a `model` name against a live {@link RelationManagerInterface} — the pure model-lookup
- * leaf {@link import('./factories.js').createRelationTool} calls on every operation, mirroring
- * {@link relationManagerOf}'s guard shape.
- *
- * @param manager - The resolved {@link RelationManagerInterface}
- * @param name - The call's `model` field
- * @returns The model's {@link ModelInterface}
- */
-export declare function relationModelOf(manager: RelationManagerInterface, name: string): ModelInterface;
-
-/**
- * Map a caught error to the {@link ToolboxErrorCode} the upcoming relation tool should throw
- * with — the pure classification step of that factory's error handling, mirroring
- * {@link terminalToolCode}'s idiom for `@orkestrel/relation`.
- *
- * @param error - The value caught from a `@orkestrel/relation` operation
- * @returns The granular {@link RelationErrorCode}, or `undefined` if `error` is not a `RelationError`
- */
-export declare function relationToolCode(error: unknown): RelationErrorCode | undefined;
+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.";
 
 /**
- * Options for {@link import('./factories.js').createRelationTool} — SRC-3 (the final unit) of
- * the 3-unit database / relation spine.
+ * Represents the options for {@link import('./factories.js').createRelationTool} — the required
+ * live `RelationManagerInterface` registry a call addresses, the row cap, and the `include` depth
+ * cap.
  *
  * @remarks
  * - `managers` — the live `RelationManagerInterface` (`@orkestrel/relation`) registry a call's
- *   optional `manager` field addresses by name; REQUIRED (unlike the database tool's lazily
+ *   optional `manager` field addresses by name; required (unlike the database tool's lazily
  *   resolved handles, a relation manager's relations are declared up front and cannot be minted
- *   on demand from a tool call). A call that omits `manager` resolves to the SOLE registered
+ *   on demand from a tool call). A call that omits `manager` resolves to the sole registered
  *   manager when exactly one is registered, else throws a typed `TOOL`
  *   {@link import('./errors.js').ToolboxError} naming the registered manager keys.
  * - `limit` — the row cap `'find'` / `'links'` enforce when a call's `limit` is omitted or
@@ -1975,141 +2127,222 @@ export declare interface RelationToolOptions {
 }
 
 /**
- * The shape of {@link import('./factories.js').createRelationTool}'s call arguments —
- * discriminated by `operation` into the 5 relation operations (`'load'` / `'find'` / `'link'` /
- * `'unlink'` / `'links'`).
+ * Describes the shape of {@link import('./factories.js').createRelationTool}'s call arguments —
+ * discriminated by `operation` into the relation operations `'load'`, `'find'`, `'link'`,
+ * `'unlink'`, and `'links'`.
  *
  * @remarks
  * `'load'` fetches one or more rows (positional key/array) with `include` attached. `'find'`
  * 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<readonly [ ObjectShape<{
-    operation: LiteralShape<readonly ["load"]>;
-    manager: OptionalShape<StringShape>;
-    model: StringShape;
-    key: UnionShape<readonly [ ArrayShape<UnionShape<readonly [ StringShape, NumberShape]>>, StringShape, NumberShape]>;
-    include: OptionalShape<ArrayShape<StringShape>>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["find"]>;
-    manager: OptionalShape<StringShape>;
-    model: StringShape;
-    include: OptionalShape<ArrayShape<StringShape>>;
-    limit: OptionalShape<NumberShape>;
-    offset: OptionalShape<NumberShape>;
-    sort: OptionalShape<StringShape>;
-    direction: OptionalShape<LiteralShape<readonly ["ascending", "descending"]>>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["link"]>;
-    manager: OptionalShape<StringShape>;
-    model: StringShape;
-    key: UnionShape<readonly [ StringShape, NumberShape]>;
-    relation: StringShape;
-    target: UnionShape<readonly [ StringShape, NumberShape]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["unlink"]>;
-    manager: OptionalShape<StringShape>;
-    model: StringShape;
-    key: UnionShape<readonly [ StringShape, NumberShape]>;
-    relation: StringShape;
-    target: UnionShape<readonly [ StringShape, NumberShape]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["links"]>;
-    manager: OptionalShape<StringShape>;
-    model: StringShape;
-    key: UnionShape<readonly [ StringShape, NumberShape]>;
-    relation: StringShape;
+export declare const relationToolShape: UnionShape<readonly [ObjectShape<    {
+operation: LiteralShape<readonly ["load"]>;
+manager: OptionalShape<StringShape>;
+model: StringShape;
+key: UnionShape<readonly [ArrayShape<UnionShape<readonly [StringShape, NumberShape]>>, StringShape, NumberShape]>;
+include: OptionalShape<ArrayShape<StringShape>>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["find"]>;
+manager: OptionalShape<StringShape>;
+model: StringShape;
+include: OptionalShape<ArrayShape<StringShape>>;
+limit: OptionalShape<NumberShape>;
+offset: OptionalShape<NumberShape>;
+sort: OptionalShape<StringShape>;
+direction: OptionalShape<LiteralShape<readonly ["ascending", "descending"]>>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["link"]>;
+manager: OptionalShape<StringShape>;
+model: StringShape;
+key: UnionShape<readonly [StringShape, NumberShape]>;
+relation: StringShape;
+target: UnionShape<readonly [StringShape, NumberShape]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["unlink"]>;
+manager: OptionalShape<StringShape>;
+model: StringShape;
+key: UnionShape<readonly [StringShape, NumberShape]>;
+relation: StringShape;
+target: UnionShape<readonly [StringShape, NumberShape]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["links"]>;
+manager: OptionalShape<StringShape>;
+model: StringShape;
+key: UnionShape<readonly [StringShape, NumberShape]>;
+relation: StringShape;
 }, false>]>;
 
-/** A loose row — a flat object of column name to JSON value; the array form (multiple rows) resolves FIRST per AGENTS §9.2. */
+/**
+ * Picks the effective row limit a tool reads with — the requested count when it sits inside the
+ * cap, the cap when it exceeds it, and `0` when either falls below zero.
+ *
+ * @remarks
+ * The one place the database tool's `'records'` clamp ({@link clampQuery}) and the relation tool's
+ * `'find'` / `'links'` truncation both take their ceiling from, so a negative construction-time
+ * option can never reach a slice. Pure and total.
+ *
+ * @example
+ * ```ts
+ * import { resolveLimit } from '@src/core'
+ *
+ * resolveLimit(undefined, 100) // 100 — an omitted request takes the cap
+ * resolveLimit(500, 100) // 100 — a request over the cap is clamped down
+ * resolveLimit(-1, 100) // 0 — a negative request floors at zero
+ * ```
+ *
+ * @param requested - The caller's requested row count (or `undefined`)
+ * @param cap - The row-count ceiling
+ * @returns The effective row limit, never below `0` and never above `cap`
+ */
+export declare function resolveLimit(requested: number | undefined, cap: number): number;
+
+/**
+ * Resolves which registered {@link RelationManagerInterface} a relation-tool call addresses — the
+ * pure manager-resolution leaf {@link import('./factories.js').createRelationTool} calls on
+ * every operation.
+ *
+ * @remarks
+ * An explicit `name` must match a key of `managers` (a miss throws a typed `TOOL`
+ * {@link ToolboxError} naming the registered managers). An omitted `name` resolves to the sole
+ * registered manager when exactly one is registered, else throws the same typed error.
+ *
+ * @param managers - The tool's registered `RelationManagerInterface` map
+ * @param name - The call's optional `manager` field
+ * @returns The resolved {@link RelationManagerInterface}
+ */
+export declare function resolveRelationManager(managers: Readonly<Record<string, RelationManagerInterface>>, name: string | undefined): RelationManagerInterface;
+
+/**
+ * Resolves a `model` name against a live {@link RelationManagerInterface} — the pure model-lookup
+ * leaf {@link import('./factories.js').createRelationTool} calls on every operation, mirroring
+ * {@link resolveRelationManager}'s guard shape.
+ *
+ * @param manager - The resolved {@link RelationManagerInterface}
+ * @param name - The call's `model` field
+ * @returns The model's {@link ModelInterface}
+ */
+export declare function resolveRelationModel(manager: RelationManagerInterface, name: string): ModelInterface;
+
+/** Describes a loose row — a flat object of column name to JSON value. */
 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<readonly [ ArrayShape<ObjectShape<Record<never, never>, JSONShape>>, ObjectShape<Record<never, never>, JSONShape>]>;
+/**
+ * Describes one or many loose rows — the array form resolves first, so an array argument is read as
+ * many rows rather than one.
+ */
+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<readonly [ StringShape, NumberShape]>;
+/** Describes a single row key (not an array) — used by `'link'` / `'unlink'` / `'links'`, which address exactly one owning row. */
+export declare const singleKeyShape: UnionShape<readonly [StringShape, NumberShape]>;
 
 /**
- * The shape of ONE flat step — `{ name }` — the building block of {@link workflowStepsShape}.
+ * Describes the shape of one flat step — `{ name }` — the building block of
+ * {@link workflowStepsShape}.
  *
  * @remarks
- * `name` is the REGISTERED behavior name the step runs (it becomes the task's `run`). The tool
+ * `name` is the registered behavior name the step runs (it becomes the task's `behavior`). The tool
  * expands each step into a one-task phase, in order ({@link import('./helpers.js').expandSteps}).
  */
-export declare const stepShape: ObjectShape<{
-    name: StringShape;
+export declare const stepShape: ObjectShape<    {
+name: StringShape;
 }, false>;
 
 /**
- * A database's table layout — one entry per table, each a flat map of column name to
- * {@link ColumnSpec}. The small-model-facing DSL {@link import('./helpers.js').expandTables}
+ * Builds the plain success summary {@link import('./factories.js').createWorkflowTool} returns on a
+ * completed run — the universal tool-handler contract: return a plain value on success, appearing
+ * identically over both the agent loop and MCP.
+ *
+ * @remarks
+ * The summary is lean: the workflow's terminal `status`, settled-task count, and exact optional
+ * native persistence outcome. It carries no synthetic `id` / `name`: a tool handler has no call
+ * id; the `ToolManagerInterface` (`@orkestrel/tool`) supplies the canonical envelope's identity.
+ *
+ * @param result - The terminal `WorkflowResult` (`@orkestrel/workflow`) the run produced
+ * @returns The plain success summary — `{ status, count, durable?, fault? }`
+ */
+export declare function summarizeWorkflow(result: WorkflowResult): WorkflowToolResult;
+
+/**
+ * Represents a database's table layout — one entry per table, each a flat map of column name to
+ * {@link ColumnSpec}. The small-model-facing DSL {@link import('./compilers.js').expandTables}
  * compiles into an `@orkestrel/database` `TableMap`.
  */
 export declare type TableSpec = Readonly<Record<string, Readonly<{
     columns: Readonly<Record<string, ColumnSpec>>;
 }>>>;
 
-/** 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<readonly [ LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<{
-        type: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
-        optional: OptionalShape<BooleanShape>;
-    }, false>]>>;
+/** Describes 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<readonly [LiteralShape<readonly ["string", "integer", "number", "boolean"]>, ObjectShape<    {
+primitive: LiteralShape<readonly ["string", "integer", "number", "boolean"]>;
+optional: OptionalShape<BooleanShape>;
+}, false>]>>;
 }, false>>;
 
 /**
- * A draft task — a `TaskDefinition` (`@orkestrel/workflow`) with OPTIONAL `id` / `name`.
+ * Returns the ancestry identifier of an agent in a run chain — `agent:<name>`.
+ *
+ * @remarks
+ * The agent counterpart of {@link tagWorkflow}: {@link import('./factories.js').createAgentFunction}
+ * / {@link import('./factories.js').createWorkflowTool} guard against re-entering an agent or
+ * workflow already in the chain (this package's typed `DEPTH` `ToolboxError`). The
+ * `agent:` namespace keeps it distinct from a same-string workflow id.
+ *
+ * @param name - The agent's identifier / registry name
+ * @returns The namespaced ancestry tag (`agent:<name>`)
+ */
+export declare function tagAgent(name: string): string;
+
+/**
+ * Returns the ancestry identifier of a workflow in a run chain — `workflow:<id>`.
+ *
+ * @remarks
+ * Namespacing keeps a workflow id and a {@link tagAgent} agent name in one set without
+ * collision, so re-entering a workflow or an agent already in the chain is a single `includes`
+ * check.
+ *
+ * @param id - The workflow definition's `id`
+ * @returns The namespaced ancestry tag (`workflow:<id>`)
+ */
+export declare function tagWorkflow(id: string): string;
+
+/**
+ * Represents a draft task — a `TaskDefinition` (`@orkestrel/workflow`) with optional `id` and
+ * `name`.
  *
  * @remarks
  * The tool synthesizes a missing `id` positionally and defaults a missing `name` to its `id`
- * ({@link import('./helpers.js').completeDraft}). A PROVIDED `id` / `name` is preserved verbatim
+ * ({@link import('./helpers.js').completeDraft}). A provided `id` / `name` is preserved verbatim
  * (and must be non-empty — the draft contract's `minLength: 1`).
  */
 export declare interface TaskDraft {
     readonly id?: string;
     readonly name?: string;
     readonly description?: string;
-    /** The behavior reference — a registry key resolved against a workflow's functions registry at construction; omitted ⇒ a deliberate JSON `null` no-op. */
-    readonly run?: string;
-    /** Extra attempts after the first on failure (a non-negative integer); persisted with the workflow. */
+    /** Holds the registry key resolved against a workflow's functions registry at construction; omitted ⇒ a deliberate JSON `null` no-op. */
+    readonly behavior?: string;
+    /** Holds the extra attempts after the first on failure (a non-negative integer); persisted with the workflow. */
     readonly retries?: number;
-    /** The per-attempt deadline in milliseconds (`0..MAX_TIMER_MS`); persisted with the workflow. */
+    /** Holds the per-attempt deadline in milliseconds (`0..MAX_TIMER_MS`); persisted with the workflow. */
     readonly timeout?: number;
 }
 
 /**
- * The shape of a {@link import('./types.js').TaskDraft} — identical to a strict task shape
- * EXCEPT `id` and `name` are OPTIONAL.
+ * Describes the shape of a {@link import('./types.js').TaskDraft} — identical to a strict task
+ * shape except that `id` and `name` are optional.
  */
-export declare const taskDraftShape: ObjectShape<{
-    id: OptionalShape<StringShape>;
-    name: OptionalShape<StringShape>;
-    description: OptionalShape<StringShape>;
-    run: OptionalShape<StringShape>;
-    retries: OptionalShape<NumberShape>;
-    timeout: OptionalShape<NumberShape>;
+export declare const taskDraftShape: ObjectShape<    {
+id: OptionalShape<StringShape>;
+name: OptionalShape<StringShape>;
+description: OptionalShape<StringShape>;
+behavior: OptionalShape<StringShape>;
+retries: OptionalShape<NumberShape>;
+timeout: OptionalShape<NumberShape>;
 }, false>;
 
 /**
- * Map a caught error to the {@link ToolboxErrorCode} the terminal-tool factory should throw
- * with — the pure classification step of that factory's error handling.
- *
- * @remarks
- * Narrows `error` with {@link isTerminalError} (`@orkestrel/terminal`) first: a non-`TerminalError`
- * value returns `undefined`, telling the caller this mapper does not apply (rethrow / handle
- * otherwise). For a genuine `TerminalError`, `'DEADLOCK'` maps to `'DEADLOCK'`, `'EXPIRE'` maps
- * to `'EXPIRE'`, and every other {@link import('@orkestrel/terminal').TerminalErrorCode}
- * (`'TARGET'`, `'LIMIT'`, `'CANCEL'`, `'DRIVER'`, `'DESTROYED'`) maps to the generic `'TOOL'`
- * code. The mapper only classifies — the factory performs the actual throw.
- *
- * @param error - The value caught from a terminal-manager operation (`ask` / `answer` / …)
- * @returns The mapped {@link ToolboxErrorCode}, or `undefined` if `error` is not a `TerminalError`
- */
-export declare function terminalToolCode(error: unknown): ToolboxErrorCode | undefined;
-
-/**
- * A package-owned tool-call failure: malformed input or unresolved configuration (`TOOL`),
+ * Represents a package-owned tool-call failure: malformed input or unresolved configuration (`TOOL`),
  * delegation depth/cycle rejection (`DEPTH`), prompt failure (`DEADLOCK` / `EXPIRE` / `ANSWER`),
  * or a translated upstream database/relation failure (`DATABASE` / `RELATION`).
  *
@@ -2138,9 +2371,8 @@ export declare class ToolboxError extends Error {
 }
 
 /**
- * The seven-value machine-readable code a thrown
- * {@link import('./errors.js').ToolboxError} carries (AGENTS §14: a thrown, typed,
- * code-bearing error, never a `{ error }` return).
+ * Represents the machine-readable code a thrown {@link import('./errors.js').ToolboxError} carries — a
+ * thrown, typed, code-bearing error, never a `{ error }` return.
  *
  * @remarks
  * `TOOL` — malformed calls and package-owned resolution or configuration failures, including
@@ -2163,68 +2395,72 @@ export declare class ToolboxError extends Error {
 export declare type ToolboxErrorCode = 'TOOL' | 'DEPTH' | 'DEADLOCK' | 'EXPIRE' | 'ANSWER' | 'DATABASE' | 'RELATION';
 
 /**
- * The description {@link import('./factories.js').createWorkflowTool} advertises — the flat
+ * Holds the description {@link import('./factories.js').createWorkflowTool} advertises — the flat
  * authoring form, its worked example, and the advanced nested definition form.
  */
 export declare const WORKFLOW_TOOL_DESCRIPTION: string;
 
 /**
- * A complete FLAT authoring example — the PRIMARY way a small model authors a workflow through
- * {@link import('./factories.js').createWorkflowTool}: `{ name, steps: [{ name }] }`.
+ * Holds a complete flat authoring example — the primary way a small model authors a workflow
+ * through {@link import('./factories.js').createWorkflowTool}: `{ name, steps: [{ name }] }`.
  *
  * @remarks
  * Each step becomes a one-task phase, in
- * order; a step's `name` is a REGISTERED behavior name (not a label) — the registry key its
- * task's `run` resolves against. The tool expands this
+ * order; a step's `name` is a registered behavior name (not a label) — the registry key its
+ * task's `behavior` resolves against. The tool expands this
  * ({@link import('./helpers.js').expandSteps}) into a valid `WorkflowDefinition`
- * (`@orkestrel/workflow`). It is embedded VERBATIM in {@link WORKFLOW_TOOL_DESCRIPTION}.
+ * (`@orkestrel/workflow`). It is embedded verbatim in {@link WORKFLOW_TOOL_DESCRIPTION}.
  */
 export declare const WORKFLOW_TOOL_FLAT_EXAMPLE: WorkflowSteps;
 
 /**
- * The name {@link import('./factories.js').createWorkflowTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under, and the name
- * {@link import('./factories.js').createAgentFunction} binds the depth/cycle-aware workflow tool
- * under onto a wrapped agent's `context.tools`.
+ * Holds the name {@link import('./factories.js').createWorkflowTool} advertises by default,
+ * `'workflow'` — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers
+ * under, and the name {@link import('./factories.js').createAgentFunction} binds the
+ * depth/cycle-aware workflow tool under onto a wrapped agent's `context.tools`.
  *
  * @remarks
  * The propagation seam's well-known key: when
  * `createAgentFunction`'s `runner` option is supplied, it adds a `createWorkflowTool`-built tool
- * under this name to the agent's `context.tools`, so it can author + run a NESTED workflow
- * (bounded by {@link MAX_WORKFLOW_DEPTH}).
+ * under this name to the agent's `context.tools`, so it can author and run a nested workflow
+ * (bounded by {@link MAX_WORKFLOW_CHAIN}).
  */
 export declare const WORKFLOW_TOOL_NAME = "workflow";
 
 /**
- * A minimal NESTED authoring example — the ADVANCED escape-hatch form a model may use instead of
- * the flat shape: a full `WorkflowDefinition` (`@orkestrel/workflow`).
+ * Holds a minimal nested authoring example — the advanced escape-hatch form a model can use instead
+ * of the flat shape: a full `WorkflowDefinition` (`@orkestrel/workflow`).
  *
  * @remarks
- * The full four-level form, documented in
- * {@link WORKFLOW_TOOL_DESCRIPTION} as the advanced alternative. It is embedded VERBATIM.
+ * The full nested form, documented in
+ * {@link WORKFLOW_TOOL_DESCRIPTION} as the advanced alternative. It is embedded verbatim.
  */
 export declare const WORKFLOW_TOOL_NESTED_EXAMPLE: WorkflowDefinition;
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createWorkflowTool}
- * advertises in place of {@link WORKFLOW_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
- * (`@orkestrel/tool`) advertises `summary ?? description`, so this one-sentence text stands in
- * for the full teaching description; the full text stays retrievable via
- * {@link import('./factories.js').createDescribeTool}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createWorkflowTool} advertises in place of
+ * {@link WORKFLOW_TOOL_DESCRIPTION} — one sentence offering multi-phase authoring and pointing at
+ * `describe` for the authoring schema and its examples.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const WORKFLOW_TOOL_SUMMARY = "Author and run a multi-phase workflow in one call \u2014 phases run in sequence, tasks within a phase run concurrently. Call describe('workflow') for the full authoring schema and examples.";
 
-/** Raw live agents keyed by the workflow function names that invoke them. */
+/** Represents raw live agents keyed by the workflow function names that invoke them. */
 export declare type WorkflowAgents = Readonly<Record<string, AgentInterface>>;
 
 /**
- * A draft workflow — a `WorkflowDefinition` (`@orkestrel/workflow`) with OPTIONAL `id` / `name`
- * at all three levels (workflow / phase / task).
+ * Represents a draft workflow — a `WorkflowDefinition` (`@orkestrel/workflow`) with optional `id`
+ * and `name` at the workflow, phase, and task levels.
  *
  * @remarks
  * The lenient authoring form {@link import('./factories.js').createWorkflowDraftContract}
  * validates and {@link import('./helpers.js').completeDraft} completes into a strict
- * `WorkflowDefinition`. `run` stays optional (a plain name string); the `bail` policy carries
+ * `WorkflowDefinition`. `behavior` stays optional (a plain name string); the `bail` policy carries
  * over.
  */
 export declare interface WorkflowDraft {
@@ -2232,69 +2468,72 @@ export declare interface WorkflowDraft {
     readonly name?: string;
     readonly description?: string;
     readonly phases: readonly PhaseDraft[];
-    /** Failure policy: `false` (default) continues gracefully, `true` halts on the first failure. */
+    /** Holds the failure policy: `false` (default) continues gracefully, `true` halts on the first failure. */
     readonly bail?: boolean;
 }
 
 /**
- * The shape of a DRAFT workflow — identical to a strict workflow shape EXCEPT `id` and `name`
- * are OPTIONAL at all three levels (workflow / phase / task), so a small model can omit the six
- * identity strings and let the tool synthesize them positionally.
+ * Describes the shape of a draft workflow — identical to a strict workflow shape except that `id`
+ * and `name` are optional at the workflow, phase, and task levels, so a small model can omit every
+ * identity string and let the tool synthesize them positionally.
  *
  * @remarks
  * The lenient counterpart {@link import('./factories.js').createWorkflowDraftContract} compiles.
- * `run` stays optional like the strict form; omission is the deliberate JSON `null` no-op. A
+ * `behavior` stays optional like the strict form; omission is the deliberate JSON `null` no-op. A
  * provided `id` / `name` still has `minLength: 1` (so
- * an explicitly-empty `id: ''` is REJECTED, not auto-filled). After
+ * an explicitly-empty `id: ''` is rejected, not auto-filled). After
  * {@link import('./helpers.js').completeDraft} fills the missing ids/names, the result is
- * validated against the STRICT `createWorkflowContract` (`@orkestrel/workflow`) gate before
+ * validated against the strict `createWorkflowContract` (`@orkestrel/workflow`) gate before
  * running.
  */
-export declare const workflowDraftShape: ObjectShape<{
-    id: OptionalShape<StringShape>;
-    name: OptionalShape<StringShape>;
-    description: OptionalShape<StringShape>;
-    phases: ArrayShape<ObjectShape<{
-        id: OptionalShape<StringShape>;
-        name: OptionalShape<StringShape>;
-        description: OptionalShape<StringShape>;
-        tasks: ArrayShape<ObjectShape<{
-            id: OptionalShape<StringShape>;
-            name: OptionalShape<StringShape>;
-            description: OptionalShape<StringShape>;
-            run: OptionalShape<StringShape>;
-            retries: OptionalShape<NumberShape>;
-            timeout: OptionalShape<NumberShape>;
-        }, false>>;
-        concurrency: OptionalShape<NumberShape>;
-        bail: OptionalShape<LiteralShape<readonly [true, false]>>;
-    }, false>>;
-    bail: OptionalShape<LiteralShape<readonly [true, false]>>;
+export declare const workflowDraftShape: ObjectShape<    {
+id: OptionalShape<StringShape>;
+name: OptionalShape<StringShape>;
+description: OptionalShape<StringShape>;
+phases: ArrayShape<ObjectShape<    {
+id: OptionalShape<StringShape>;
+name: OptionalShape<StringShape>;
+description: OptionalShape<StringShape>;
+tasks: ArrayShape<ObjectShape<    {
+id: OptionalShape<StringShape>;
+name: OptionalShape<StringShape>;
+description: OptionalShape<StringShape>;
+behavior: OptionalShape<StringShape>;
+retries: OptionalShape<NumberShape>;
+timeout: OptionalShape<NumberShape>;
+}, false>>;
+concurrency: OptionalShape<NumberShape>;
+bail: OptionalShape<LiteralShape<readonly [true, false]>>;
+}, false>>;
+bail: OptionalShape<LiteralShape<readonly [true, false]>>;
 }, false>;
 
-/** One immutable workflow/agent call chain, beginning with a workflow tag. */
+/**
+ * Represents one immutable workflow/agent call chain — strictly alternating tags, each unique,
+ * beginning with a workflow tag.
+ */
 export declare type WorkflowLineage = readonly string[];
 
 /**
- * One flat step — `{ name }` — the building block of a {@link WorkflowSteps} blob.
+ * Represents one flat step — `{ name }` — the building block of a {@link WorkflowSteps} blob.
  *
  * @remarks
- * `name` is the REGISTERED behavior name the step runs (it becomes the task's `run`, NOT a
+ * `name` is the registered behavior name the step runs (it becomes the task's `behavior`, not a
  * human label) — resolved against a workflow-level functions registry at construction.
  */
 export declare interface WorkflowStep {
-    /** The registered behavior name this step runs (becomes the task's `run`). */
+    /** Names the registered behavior this step runs (becomes the task's `behavior`). */
     readonly name: string;
 }
 
 /**
- * The FLAT authoring blob {@link import('./factories.js').createWorkflowTool} advertises —
- * `{ name?, steps }` — the simplest surface a small model can fill.
+ * Represents the flat authoring blob {@link import('./factories.js').createWorkflowTool} advertises
+ * — `{ name?, steps }` — the simplest surface a small model can fill.
  *
  * @remarks
  * Each {@link WorkflowStep} becomes a one-task phase, in order
  * ({@link import('./helpers.js').expandSteps}); `name` is the optional workflow name and
- * deterministic persistence id (both default to `wf` when omitted).
+ * deterministic persistence id (each defaults to `wf` when omitted).
  */
 export declare interface WorkflowSteps {
     readonly name?: string;
@@ -2302,40 +2541,28 @@ export declare interface WorkflowSteps {
 }
 
 /**
- * The FLAT authoring shape {@link import('./factories.js').createWorkflowTool} advertises as its
- * `parameters` — the simplest surface a small model can fill: `{ name?, steps: [{ name }] }`.
+ * Describes the flat authoring shape {@link import('./factories.js').createWorkflowTool} advertises
+ * as its `parameters` — the simplest surface a small model can fill:
+ * `{ name?, steps: [{ name }] }`.
  *
  * @remarks
  * A deliberately-reduced surface: a flat ordered list of steps, each a `{ name }`. The tool
- * EXPANDS it ({@link import('./helpers.js').expandSteps}) into a full
+ * expands it ({@link import('./helpers.js').expandSteps}) into a full
  * {@link import('./types.js').WorkflowDefinition} — one one-task phase per step, in order —
- * then validates against the STRICT `createWorkflowContract` (`@orkestrel/workflow`) gate. The
- * full nested form is STILL accepted by the tool (it branches on the args' shape) and is
- * documented as the advanced escape-hatch in the tool's description — but THIS is what
+ * then validates against the strict `createWorkflowContract` (`@orkestrel/workflow`) gate. The
+ * full nested form is still accepted by the tool (it branches on the args' shape) and is
+ * documented as the advanced escape-hatch in the tool's description — but this is what
  * `parameters` advertises.
  */
-export declare const workflowStepsShape: ObjectShape<{
-    name: OptionalShape<StringShape>;
-    steps: ArrayShape<ObjectShape<{
-        name: StringShape;
-    }, false>>;
+export declare const workflowStepsShape: ObjectShape<    {
+name: OptionalShape<StringShape>;
+steps: ArrayShape<ObjectShape<    {
+name: StringShape;
+}, false>>;
 }, false>;
 
 /**
- * The ancestry identifier of a workflow in a run chain — `workflow:<id>`.
- *
- * @remarks
- * Namespacing keeps a workflow id and an {@link agentTag} agent name in ONE set without
- * collision, so re-entering a workflow OR an agent already in the chain is a single `includes`
- * check.
- *
- * @param id - The workflow definition's `id`
- * @returns The namespaced ancestry tag (`workflow:<id>`)
- */
-export declare function workflowTag(id: string): string;
-
-/**
- * Options for {@link import('./factories.js').createWorkflowTool} and
+ * Represents the options for {@link import('./factories.js').createWorkflowTool} and
  * {@link import('./factories.js').createWorkflowFunctions} — lineage-aware composition of opaque
  * leaves, raw agents, and native workflow persistence.
  *
@@ -2348,40 +2575,25 @@ export declare function workflowTag(id: string): string;
  */
 export declare interface WorkflowToolOptions {
     readonly lineage?: WorkflowLineage;
-    readonly functions?: WorkflowFunctions;
+    readonly functions?: WorkflowRegistry;
     readonly agents?: WorkflowAgents;
     readonly store?: WorkflowStoreInterface;
 }
 
-/** The JSON-safe run summary returned by {@link import('./factories.js').createWorkflowTool}. */
+/** Represents the JSON-safe run summary returned by {@link import('./factories.js').createWorkflowTool}. */
 export declare interface WorkflowToolResult {
-    /** The workflow's native terminal status. */
-    readonly status: WorkflowStatus;
-    /** The number of settled task results. */
+    /** Holds the run's terminal {@link LifecycleStatus}. */
+    readonly status: LifecycleStatus;
+    /** Holds the tally of settled task results. */
     readonly count: number;
-    /** Whether the native runner stored its final state; omitted when no store was supplied. */
+    /** Reports whether the native runner stored its final state; omitted when no store was supplied. */
     readonly durable?: boolean;
-    /** The native runner's first persistence failure; omitted when none occurred. */
+    /** Holds the native runner's first persistence failure; omitted when none occurred. */
     readonly fault?: WorkflowFault;
 }
 
 /**
- * Build the plain success summary {@link import('./factories.js').createWorkflowTool} returns on
- * a completed run — the universal tool-handler contract (AGENTS §14): return a plain value on
- * success, appearing identically over BOTH the agent loop and MCP.
- *
- * @remarks
- * The summary is LEAN: the workflow's terminal `status`, settled-task count, and exact optional
- * native persistence outcome. It carries no synthetic `id` / `name`: a tool handler has no call
- * id; the `ToolManagerInterface` (`@orkestrel/tool`) supplies the canonical envelope's identity.
- *
- * @param result - The terminal `WorkflowResult` (`@orkestrel/workflow`) the run produced
- * @returns The plain success summary — `{ status, count, durable?, fault? }`
- */
-export declare function workflowToolSummary(result: WorkflowResult): WorkflowToolResult;
-
-/**
- * The description {@link import('./factories.js').createWorkspaceTool} advertises — the
+ * Holds the description {@link import('./factories.js').createWorkspaceTool} advertises — the
  * operation-keyed workspace protocol, all supported operations, and worked examples.
  *
  * @remarks
@@ -2391,8 +2603,8 @@ export declare function workflowToolSummary(result: WorkflowResult): WorkflowToo
 export declare const WORKSPACE_TOOL_DESCRIPTION: string;
 
 /**
- * A valid {@link import('./types.js').WorkspaceOperation} object — the canonical example embedded
- * VERBATIM in {@link WORKSPACE_TOOL_DESCRIPTION}.
+ * Holds a valid {@link import('./types.js').WorkspaceOperation} object — the canonical example
+ * embedded verbatim in {@link WORKSPACE_TOOL_DESCRIPTION}.
  *
  * @remarks
  * A `'write'` op (the most common authoring
@@ -2402,56 +2614,61 @@ export declare const WORKSPACE_TOOL_DESCRIPTION: string;
 export declare const WORKSPACE_TOOL_EXAMPLE: WorkspaceOperation;
 
 /**
- * The name {@link import('./factories.js').createWorkspaceTool} advertises by default — the key a
- * model calls and the `ToolManagerInterface` (`@orkestrel/tool`) registers under.
+ * Holds the name {@link import('./factories.js').createWorkspaceTool} advertises by default,
+ * `'workspace'` — the key a model calls and the `ToolManagerInterface` (`@orkestrel/tool`)
+ * registers under.
  */
 export declare const WORKSPACE_TOOL_NAME = "workspace";
 
 /**
- * The lean {@link import('@orkestrel/tool').ToolInterface.summary} {@link import('./factories.js').createWorkspaceTool}
- * advertises in place of {@link WORKSPACE_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
- * (`@orkestrel/tool`) advertises `summary ?? description`, so this one-sentence text stands in
- * for the full teaching description; the full text stays retrievable via
- * {@link import('./factories.js').createDescribeTool}.
+ * Holds the lean {@link import('@orkestrel/tool').ToolInterface.summary}
+ * {@link import('./factories.js').createWorkspaceTool} advertises in place of
+ * {@link WORKSPACE_TOOL_DESCRIPTION} — one sentence offering the `operation`-keyed file editing and
+ * pointing at `describe` for the operation list and its fields.
+ *
+ * @remarks
+ * A `ToolManagerInterface.definitions()` call (`@orkestrel/tool`) advertises
+ * `summary ?? description`, so this one-sentence text stands in for the full teaching description;
+ * the full text stays retrievable through {@link import('./factories.js').createDescribeTool}.
  */
 export declare const WORKSPACE_TOOL_SUMMARY = "Read and edit files in a workspace \u2014 one operation per call (read, write, list, search, replace, splice, move, remove, plus workspace switching), chosen by the 'operation' field. Call describe('workspace') for the full operation list and fields.";
 
 /**
- * One operation an agent invokes through {@link import('./factories.js').createWorkspaceTool} — a
- * FLAT, descriptive tagged union over the 13 workspace edit / read / navigation actions,
- * discriminated by the `operation` literal (AGENTS §4.8: a discriminant is named for its axis —
- * the action being performed — NEVER `kind`).
+ * Represents one operation an agent invokes through
+ * {@link import('./factories.js').createWorkspaceTool} — a flat, descriptive tagged union over the
+ * workspace edit, read, and navigation actions, discriminated by the `operation` literal (a
+ * discriminant is named for its axis — the action being performed — never `kind`).
  *
  * @remarks
- * This is the SOURCE OF TRUTH the tool contract is typed to
+ * This is the source of truth the tool contract is typed to
  * ({@link import('./shapers.js').workspaceToolShape} compiles to a structurally-identical guard /
- * parser / JSON Schema). Every field is FLAT (no nested objects) — the small-model ergonomic
- * lever: a range edit is the four flat integers of the `'splice'` arm (`fromLine` /
+ * parser / JSON Schema). Every field is flat (no nested objects) — the small-model ergonomic
+ * lever: a range edit is the flat integers of the `'splice'` arm (`fromLine` /
  * `fromColumn` / `toLine` / `toColumn`), reassembled into a 1-based `Range`
  * (`@orkestrel/workspace`)
- * by `rangeOf`, never a nested `{ start, end }`. Each EDIT / READ arm maps onto exactly one
- * `WorkspaceInterface` call against the manager's ACTIVE workspace; the two REGISTRY arms
+ * by `rangeOf`, never a nested `{ start, end }`. Each edit / read arm maps onto exactly one
+ * `WorkspaceInterface` call against the manager's active workspace; the registry arms
  * (`switch` / `workspaces`) drive the {@link WorkspaceManagerInterface} pointer instead —
- * `workspaces` LISTS the workspaces the model can move between, and `switch` re-points which one
+ * `workspaces` lists the workspaces the model can move between, and `switch` re-points which one
  * the edit / read arms target.
  */
 export declare type WorkspaceOperation = 
-/** Read a whole text file's text by `path` from the ACTIVE workspace (a binary / absent path — or no active workspace — yields no content). */
+/** Reads a whole text file's text by `path` from the active workspace (a binary / absent path — or no active workspace — yields no content). */
     {
     readonly operation: 'read';
     readonly path: string;
 }
-/** List every file in the ACTIVE workspace (path / state / size / lines / kind summaries); `[]` when no workspace is active. */
+/** Lists every file in the active workspace (path / state / size / lines / kind summaries); `[]` when no workspace is active. */
 | {
     readonly operation: 'list';
 }
-/** Whether a file exists at `path` in the ACTIVE workspace (`false` when no workspace is active). */
+/** Reports whether a file exists at `path` in the active workspace (`false` when no workspace is active). */
 | {
     readonly operation: 'has';
     readonly path: string;
 }
 /**
-* Scan every text file for `query`, returning each hit (path + 1-based line / column + the line).
+* Scans every text file for `query`, returning each hit (the path, the 1-based line and column, and the line).
 *
 * @remarks
 * `regex` treats `query` as a regular-expression source (default `false` — a literal substring);
@@ -2465,7 +2682,7 @@ export declare type WorkspaceOperation =
     readonly limit?: number;
 }
 /**
-* Replace `query` with `replacement` across every text file, returning the tally.
+* Replaces `query` with `replacement` across every text file, returning the tally.
 *
 * @remarks
 * Same matching axes as `search`: `regex` (default `false`), `sensitive` (default `true`),
@@ -2479,21 +2696,21 @@ export declare type WorkspaceOperation =
     readonly sensitive?: boolean;
     readonly limit?: number;
 }
-/** Write (create or overwrite) the whole file at `path` with `content`. */
+/** Writes (creates or overwrites) the whole file at `path` with `content`. */
 | {
     readonly operation: 'write';
     readonly path: string;
     readonly content: string;
 }
 /**
-* Splice `content` into an existing text file, replacing the 1-based range
-* `(fromLine, fromColumn)` (INCLUSIVE) → `(toLine, toColumn)` (EXCLUSIVE).
+* Splices `content` into an existing text file, replacing the 1-based range
+* `(fromLine, fromColumn)` (inclusive) → `(toLine, toColumn)` (exclusive).
 *
 * @remarks
-* The FLAT range edit — the four positive-integer caret components reassemble into a `Range`
-* (`@orkestrel/workspace`) via `rangeOf`. An empty span (`from === to`) inserts; a span past
+* The flat range edit — the four positive-integer caret components reassemble into a `Range`
+* (`@orkestrel/workspace`) through `rangeOf`. An empty span (`from === to`) inserts; a span past
 * the end is clamped. An inverted / sub-1 range throws `RANGE`; a binary target throws
-* `MODALITY`.
+* `MODALITY`; a missing target throws `MISSING`.
 */
 | {
     readonly operation: 'splice';
@@ -2504,52 +2721,52 @@ export declare type WorkspaceOperation =
     readonly toLine: number;
     readonly toColumn: number;
 }
-/** Prepend `content` to the start of the file at `path` (creating it when absent). */
+/** Prepends `content` to the start of the file at `path` (creating it when absent). */
 | {
     readonly operation: 'prepend';
     readonly path: string;
     readonly content: string;
 }
-/** Append `content` to the end of the file at `path` (creating it when absent). */
+/** Appends `content` to the end of the file at `path` (creating it when absent). */
 | {
     readonly operation: 'append';
     readonly path: string;
     readonly content: string;
 }
-/** Re-key the file `from` → `to` (overwriting an occupied target). */
+/** Re-keys the file `from` → `to` (overwriting an occupied target). */
 | {
     readonly operation: 'move';
     readonly from: string;
     readonly to: string;
 }
-/** Remove the file at `path` from the workspace. */
+/** Removes the file at `path` from the workspace. */
 | {
     readonly operation: 'remove';
     readonly path: string;
 }
-/** List the workspaces the model can move between — each `{ id, files, active }` — so it can choose an `id` to `switch` to. */
+/** Lists the workspaces the model can move between — each `{ id, files, active }` — so it can choose an `id` to `switch` to. */
 | {
     readonly operation: 'workspaces';
 }
-/** Re-point the manager's ACTIVE workspace to the one with `id` (an unknown `id` is a lenient no-op). The edit / read arms target the active workspace from then on. */
+/** Re-points the manager's active workspace to the one with `id` (an unknown `id` is a lenient no-op). The edit / read arms target the active workspace from then on. */
 | {
     readonly operation: 'switch';
     readonly id: string;
 };
 
 /**
- * Options for {@link import('./factories.js').createWorkspaceTool} — EITHER a caller-built
- * {@link WorkspaceManagerInterface} to drive directly, OR a {@link WorkspaceStoreInterface} the
- * tool constructs a fresh manager over; neither given constructs a manager over
- * `@orkestrel/workspace`'s in-memory store.
+ * Represents the options for {@link import('./factories.js').createWorkspaceTool} — either a
+ * caller-built {@link WorkspaceManagerInterface} to drive directly, or a
+ * {@link WorkspaceStoreInterface} the tool constructs a fresh manager over; neither given
+ * constructs a manager over `@orkestrel/workspace`'s in-memory store.
  *
  * @remarks
- * - `manager` — drive THIS manager directly (its `active` workspace is what every edit / read
- *   operation targets). Takes priority over `store` when both are supplied.
- * - `store` — construct a manager over this durable {@link WorkspaceStoreInterface} (via
+ * - `manager` — drive this manager directly (its `active` workspace is what every edit / read
+ *   operation targets). Takes priority over `store` when the caller supplies `manager` and `store`.
+ * - `store` — construct a manager over this durable {@link WorkspaceStoreInterface} (through
  *   `@orkestrel/workspace`'s `createWorkspaceManager`) — used only when `manager` is omitted.
  *   The store only backs the manager's own `open` / `save` operations: the tool's edits are
- *   NOT auto-persisted — durability requires an explicit caller `save` on the manager
+ *   not auto-persisted — durability requires an explicit caller `save` on the manager
  *   (unlike the workflow tool's `store`, which is forwarded into native run-wide checkpoints).
  * - `name` / `description` — advertised tool overrides; default to
  *   {@link import('./constants.js').WORKSPACE_TOOL_NAME} / {@link import('./constants.js').WORKSPACE_TOOL_DESCRIPTION}.
@@ -2562,74 +2779,74 @@ export declare interface WorkspaceToolOptions {
 }
 
 /**
- * The shape of a {@link import('./types.js').WorkspaceOperation} — a descriptive tagged union
- * over the 13 workspace edit / read / navigation operations, discriminated by the `operation`
- * literal (never a bare `kind`; AGENTS §4.4). Each variant leads with its `operation`
- * discriminant then its FLAT fields, every field via `stringShape` / `optionalShape` /
+ * Describes the shape of a {@link import('./types.js').WorkspaceOperation} — a descriptive tagged union
+ * over the workspace edit, read, and navigation operations, discriminated by the `operation`
+ * literal (never a bare `kind`). Each variant leads with its `operation`
+ * discriminant then its flat fields, every field through `stringShape` / `optionalShape` /
  * `integerShape({ min: 1 })` / `booleanShape`, each carrying a strong field-level `description`.
  *
  * @remarks
- * The union compiles to an `anyOf` JSON Schema + a `unionOf` guard + a first-match parser
+ * The union compiles to an `anyOf` JSON Schema, a `unionOf` guard, and a first-match parser
  * automatically ({@link import('./factories.js').createWorkspaceTool} types the result to the
- * hand-written {@link import('./types.js').WorkspaceOperation}). `limit` and the four `'splice'`
- * caret components are POSITIVE integers (`integerShape({ min: 1 })`); `regex` / `sensitive`
- * are `optionalShape(booleanShape(...))`. The two REGISTRY arms — `workspaces` (list the
+ * hand-written {@link import('./types.js').WorkspaceOperation}). `limit` and the `'splice'`
+ * caret components are positive integers (`integerShape({ min: 1 })`); `regex` / `sensitive`
+ * are `optionalShape(booleanShape(...))`. The registry arms — `workspaces` (list the
  * workspaces 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<readonly [ ObjectShape<{
-    operation: LiteralShape<readonly ["read"]>;
-    path: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["list"]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["has"]>;
-    path: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["search"]>;
-    query: StringShape;
-    regex: OptionalShape<BooleanShape>;
-    sensitive: OptionalShape<BooleanShape>;
-    limit: OptionalShape<NumberShape>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["replace"]>;
-    query: StringShape;
-    replacement: StringShape;
-    regex: OptionalShape<BooleanShape>;
-    sensitive: OptionalShape<BooleanShape>;
-    limit: OptionalShape<NumberShape>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["write"]>;
-    path: StringShape;
-    content: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["splice"]>;
-    path: StringShape;
-    content: StringShape;
-    fromLine: NumberShape;
-    fromColumn: NumberShape;
-    toLine: NumberShape;
-    toColumn: NumberShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["prepend"]>;
-    path: StringShape;
-    content: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["append"]>;
-    path: StringShape;
-    content: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["move"]>;
-    from: StringShape;
-    to: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["remove"]>;
-    path: StringShape;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["workspaces"]>;
-}, false>, ObjectShape<{
-    operation: LiteralShape<readonly ["switch"]>;
-    id: StringShape;
+ * model discover then choose which workspace the edit / read arms target.
+ */
+export declare const workspaceToolShape: UnionShape<readonly [ObjectShape<    {
+operation: LiteralShape<readonly ["read"]>;
+path: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["list"]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["has"]>;
+path: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["search"]>;
+query: StringShape;
+regex: OptionalShape<BooleanShape>;
+sensitive: OptionalShape<BooleanShape>;
+limit: OptionalShape<NumberShape>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["replace"]>;
+query: StringShape;
+replacement: StringShape;
+regex: OptionalShape<BooleanShape>;
+sensitive: OptionalShape<BooleanShape>;
+limit: OptionalShape<NumberShape>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["write"]>;
+path: StringShape;
+content: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["splice"]>;
+path: StringShape;
+content: StringShape;
+fromLine: NumberShape;
+fromColumn: NumberShape;
+toLine: NumberShape;
+toColumn: NumberShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["prepend"]>;
+path: StringShape;
+content: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["append"]>;
+path: StringShape;
+content: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["move"]>;
+from: StringShape;
+to: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["remove"]>;
+path: StringShape;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["workspaces"]>;
+}, false>, ObjectShape<    {
+operation: LiteralShape<readonly ["switch"]>;
+id: StringShape;
 }, false>]>;
 
 export { }