@orkestrel/tool 0.0.3 → 0.0.4

package/dist/src/core/index.js

@@ -1,4 +1,4 @@
-import { arrayShape, booleanShape, createContract, integerShape, isNonEmptyString, isRecord, isString, jsonShape, literalShape, numberShape, objectShape, optionalShape, rawShape, recordShape, schemaToParameters, stringShape, unionShape } from "@orkestrel/contract";
+import { arrayShape, booleanShape, createContract, integerShape, isNonEmptyString, isRecord, isString, jsonShape, literalShape, numberShape, objectShape, optionalShape, rawShape, recordShape, samplesToSchema, schemaToObject, schemaToParameters, schemaToShape, stringShape, unionShape } from "@orkestrel/contract";
 import { isTerminalError } from "@orkestrel/terminal";
 import { createDatabase, createMemoryDriver, generateUUID, isDatabaseError, shapeToColumnType } from "@orkestrel/database";
 import { isRelationError } from "@orkestrel/relation";
@@ -424,6 +424,108 @@ var RELATION_TOOL_DESCRIPTION = [
 var RELATION_TOOL_LIMIT = 1e3;
 /** The default cap on how many `include` path segments deep a `load` / `find` call may traverse — the relation tool's default include-depth ceiling. */
 var RELATION_TOOL_DEPTH = 3;
+/**
+* The name {@link import('./factories.js').createInferTool} advertises by default — the key a
+* model calls and the `ToolManagerInterface` (`@orkestrel/agent`) registers under.
+*/
+var INFER_TOOL_NAME = "infer";
+/**
+* The lean {@link import('@orkestrel/agent').ToolInterface.summary} {@link import('./factories.js').createInferTool}
+* advertises in place of {@link INFER_TOOL_DESCRIPTION} — a `ToolManagerInterface.definitions()`
+* (`@orkestrel/agent`) 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}.
+*/
+var INFER_TOOL_SUMMARY = "Infer a JSON Schema (as advertised tool parameters) from one or more example values. Call describe('infer') for the required fields.";
+var INFER_TOOL_DESCRIPTION = [
+	"Infer a JSON Schema from example values, returned in the same shape a tool advertises its parameters.",
+	"",
+	"Required:",
+	"  samples    - an array of at least one example value to infer the schema from.",
+	"Optional:",
+	"  format     - infer string formats (date-time, email, ...) from the samples. Defaults to false.",
+	"  enum       - infer enum constraints from repeated literal values across the samples. Defaults to false.",
+	"  candidates - values to check against the freshly inferred schema. When present, the result",
+	"               is wrapped as { parameters, checks } instead of the bare parameters record, one",
+	"               check per candidate (same index). Every check has the uniform shape",
+	"               { index, valid, coercible, faults? }. `valid` is a STRICT verdict (no coercion)",
+	"               — e.g. the number 7 is NOT valid against a string slot. `coercible` answers a",
+	"               separate question: would the SAME value be accepted by an endpoint tool call,",
+	"               whose enforcement NORMALIZES args (7 coerces to '7')? So 7 against a string slot",
+	"               yields { valid: false, coercible: true, faults: [] } — a strict mismatch that",
+	"               normalization would silently accept, so faults is EMPTY. `faults` only ever",
+	"               populates for a non-coercible mismatch (a wrong type normalization cannot fix,",
+	"               a missing required key, an out-of-enum value); checks never throw, regardless of",
+	"               candidate shape.",
+	"Example (no candidates):",
+	`  in:  ${JSON.stringify({ samples: [{
+		id: 1,
+		name: "Ada"
+	}, {
+		id: 2,
+		name: "Bob"
+	}] })}`,
+	`  out: ${JSON.stringify({
+		type: "object",
+		properties: {
+			id: { type: "integer" },
+			name: { type: "string" }
+		},
+		required: ["id", "name"],
+		additionalProperties: false
+	})}`,
+	"Example (with candidates):",
+	`  in:  ${JSON.stringify({
+		samples: [{
+			id: 1,
+			name: "Ada"
+		}],
+		candidates: [
+			{
+				id: 3,
+				name: "Cy"
+			},
+			{
+				id: "x",
+				name: "Cy"
+			},
+			{
+				id: 1,
+				name: 7
+			}
+		]
+	})}`,
+	`  out: ${JSON.stringify({
+		parameters: {
+			type: "object",
+			properties: {
+				id: { type: "integer" },
+				name: { type: "string" }
+			},
+			required: ["id", "name"],
+			additionalProperties: false
+		},
+		checks: [
+			{
+				index: 0,
+				valid: true,
+				coercible: true
+			},
+			{
+				index: 1,
+				valid: false,
+				coercible: false,
+				faults: "<structured faults>"
+			},
+			{
+				index: 2,
+				valid: false,
+				coercible: true,
+				faults: []
+			}
+		]
+	})}`
+].join("\n");
 //#endregion
 //#region src/core/errors.ts
 /**
@@ -1105,6 +1207,28 @@ var relationToolShape = unionShape(objectShape({
 		description: "The \"through\" relation name."
 	})
 }));
+/**
+* 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.
+*
+* @remarks
+* `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').AgentToolError}. 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
+* `.parse` enforcement.
+*/
+var inferToolShape = objectShape({
+	samples: arrayShape(jsonShape(), {
+		min: 1,
+		description: "The example values to infer a JSON Schema from (at least one)."
+	}),
+	format: optionalShape(booleanShape({ description: "Infer string formats (date-time, email, ...) from the samples. Defaults to false." })),
+	enum: optionalShape(booleanShape({ description: "Infer enum constraints from repeated literal values. Defaults to false." })),
+	candidates: optionalShape(arrayShape(jsonShape(), { description: "Optional values to check against the freshly inferred schema. When present, the tool returns a per-candidate verdict (strict — no coercion) alongside the inferred parameters." }))
+});
 //#endregion
 //#region src/core/helpers.ts
 /**
@@ -2819,7 +2943,217 @@ function createRelationTool(options) {
 		}
 	});
 }
+/**
+* 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).
+*
+* @remarks
+* The universal tool-handler contract (AGENTS §14): 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
+* 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').AgentToolError}.
+*
+* 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
+* 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
+* 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
+* `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
+* 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
+* (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
+* `TOOL` {@link import('./errors.js').AgentToolError} a malformed `samples`/`format`/`enum` throws,
+* with no per-candidate verdict produced.
+*
+* @param options - Advertised `name` / `description` overrides (see
+*   {@link import('./types.js').InferToolOptions})
+* @returns A `ToolInterface` (named {@link import('./constants.js').INFER_TOOL_NAME} by default)
+*
+* @example
+* ```ts
+* import { createInferTool } from '@src/core'
+* import { createToolManager } from '@orkestrel/agent'
+*
+* const tool = createInferTool()
+* const tools = createToolManager()
+* tools.add(tool)
+*
+* const result = await tools.execute({
+* 	id: 'call-1',
+* 	name: 'infer',
+* 	arguments: { samples: [{ id: 1, name: 'Ada' }, { id: 2, name: 'Bob' }] },
+* })
+* // result.value -> { type: 'object', properties: { id: {...}, name: {...} }, ... }
+*
+* // with candidates, the result is wrapped with per-candidate verdicts
+* const checked = await tools.execute({
+* 	id: 'call-2',
+* 	name: 'infer',
+* 	arguments: {
+* 		samples: [{ id: 1, name: 'Ada' }],
+* 		candidates: [{ id: 2, name: 'Bob' }, { id: 'x', name: 'Cy' }],
+* 	},
+* })
+* // checked.value -> { parameters: {...}, checks: [
+* //   { index: 0, valid: true, coercible: true },
+* //   { index: 1, valid: false, coercible: false, faults: [...] },
+* // ] }
+* ```
+*/
+function createInferTool(options) {
+	const contract = createContract(inferToolShape);
+	const parameters = schemaToParameters(contract.schema);
+	return createTool({
+		name: options?.name ?? "infer",
+		description: options?.description ?? INFER_TOOL_DESCRIPTION,
+		summary: INFER_TOOL_SUMMARY,
+		parameters,
+		execute: async (args) => {
+			const parsed = contract.parse(args);
+			if (parsed === void 0) throw new AgentToolError("TOOL", "malformed infer arguments", { args });
+			const schema = samplesToSchema(parsed.samples, {
+				format: parsed.format ?? false,
+				enum: parsed.enum ?? false
+			});
+			const result = schemaToParameters(schemaToObject(schema));
+			if (result === void 0) throw new AgentToolError("TOOL", "could not infer a schema", { args });
+			if (parsed.candidates === void 0) return result;
+			const checker = createContract(schemaToShape(schema));
+			return {
+				parameters: result,
+				checks: parsed.candidates.map((candidate, index) => {
+					const valid = checker.is(candidate);
+					const coercible = checker.parse(candidate) !== void 0;
+					return valid ? {
+						index,
+						valid,
+						coercible
+					} : {
+						index,
+						valid,
+						coercible,
+						faults: checker.explain(candidate)
+					};
+				})
+			};
+		}
+	});
+}
+/**
+* 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).
+*
+* @remarks
+* `parameters` is inferred ONCE at construction from `definition.samples` via
+* `@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
+* 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
+* 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
+* typed `TOOL` {@link import('./errors.js').AgentToolError} 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
+* 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,
+* isolated by the `ToolManagerInterface` (`@orkestrel/agent`) into the canonical error envelope
+* (AGENTS §14) — 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
+*   {@link import('./types.js').EndpointToolOptions})
+* @returns A `ToolInterface` named `definition.name`
+*
+* @example
+* ```ts
+* import { createEndpointTool } from '@src/core'
+* import { createToolManager } from '@orkestrel/agent'
+*
+* const tool = createEndpointTool({
+* 	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' }),
+* })
+* const tools = createToolManager()
+* tools.add(tool)
+*
+* // conforming args (all required keys present) parse and reach `invoke`
+* const result = await tools.execute({
+* 	id: 'call-1',
+* 	name: 'lookupUser',
+* 	arguments: { id: '1', name: 'Ada' },
+* })
+* // result.value -> { id: '1', name: 'Ada' }
+*
+* // a nonconforming call (id is not coercible to the required string) is rejected before
+* // `invoke` runs
+* const rejected = await tools.execute({
+* 	id: 'call-2',
+* 	name: 'lookupUser',
+* 	arguments: { id: true, name: 'Ada' },
+* })
+* // rejected.error -> the TOOL AgentToolError message
+* ```
+*/
+function createEndpointTool(definition, options) {
+	if (definition.samples.length === 0) throw new AgentToolError("TOOL", "endpoint requires at least one sample", { name: definition.name });
+	const objectSchema = schemaToObject(samplesToSchema(definition.samples, {
+		format: options?.format ?? false,
+		enum: options?.enum ?? false
+	}));
+	const parameters = schemaToParameters(objectSchema);
+	if (!(options?.validate ?? true)) return createTool({
+		name: definition.name,
+		description: definition.description,
+		parameters,
+		execute: (args) => definition.invoke(args)
+	});
+	const contract = createContract(schemaToShape(objectSchema));
+	return createTool({
+		name: definition.name,
+		description: definition.description,
+		parameters,
+		execute: (args) => {
+			const parsed = contract.parse(args);
+			if (parsed === void 0 || !isRecord(parsed)) throw new AgentToolError("TOOL", "malformed endpoint call arguments", {
+				name: definition.name,
+				faults: contract.explain(args)
+			});
+			return definition.invoke(parsed);
+		}
+	});
+}
 //#endregion
-export { AGENT_TOOL_DEPTH, AGENT_TOOL_DESCRIPTION, AGENT_TOOL_NAME, AGENT_TOOL_SUMMARY, ANSWER_TOOL_DESCRIPTION, ANSWER_TOOL_NAME, ANSWER_TOOL_SUMMARY, AgentToolError, DATABASE_TOOL_DESCRIPTION, DATABASE_TOOL_LIMIT, DATABASE_TOOL_MUTATIONS, DATABASE_TOOL_NAME, DATABASE_TOOL_SUMMARY, DESCRIBE_TOOL_DESCRIPTION, DESCRIBE_TOOL_NAME, DESCRIBE_TOOL_SUMMARY, DatabaseDefinitionStore, MAX_WORKFLOW_DEPTH, MemoryDefinitionStore, PROMPT_TOOL_DESCRIPTION, PROMPT_TOOL_NAME, PROMPT_TOOL_SUMMARY, RELATION_TOOL_DEPTH, RELATION_TOOL_DESCRIPTION, RELATION_TOOL_LIMIT, RELATION_TOOL_NAME, RELATION_TOOL_SUMMARY, WORKFLOW_TOOL_DESCRIPTION, WORKFLOW_TOOL_FLAT_EXAMPLE, WORKFLOW_TOOL_NAME, WORKFLOW_TOOL_NESTED_EXAMPLE, WORKFLOW_TOOL_SUMMARY, WORKSPACE_TOOL_DESCRIPTION, WORKSPACE_TOOL_EXAMPLE, WORKSPACE_TOOL_NAME, WORKSPACE_TOOL_SUMMARY, agentTag, agentToolShape, answerToolShape, clampCriteria, coerceAnswer, columnKindShape, columnSchema, columnShape, columnSpecShape, completeDraft, completePhaseDraft, completeTaskDraft, conditionShape, createAgentFunction, createAgentTool, createAnswerTool, createDatabaseDefinitionStore, createDatabaseTool, createDescribeTool, createMemoryDefinitionStore, createPromptTool, createRelationTool, createToolFunction, createWorkflowDraftContract, createWorkflowTool, createWorkspaceTool, criteriaOf, criteriaShape, databaseToolCode, databaseToolShape, describeToolShape, expandInclude, expandSteps, expandTables, includeShape, isAgentToolError, isColumnKind, isColumnSpec, isDatabaseDefinition, keyShape, kindShape, managerShape, orderShape, phaseDraftShape, promptToolShape, relationKeyShape, relationManagerOf, relationModelOf, relationToolCode, relationToolShape, rowShape, rowsShape, singleKeyShape, stepShape, tableSchema, tableSpecShape, taskDraftShape, terminalToolCode, workflowDraftShape, workflowStepsShape, workflowTag, workflowToolSummary, workspaceToolShape };
+export { AGENT_TOOL_DEPTH, AGENT_TOOL_DESCRIPTION, AGENT_TOOL_NAME, AGENT_TOOL_SUMMARY, ANSWER_TOOL_DESCRIPTION, ANSWER_TOOL_NAME, ANSWER_TOOL_SUMMARY, AgentToolError, DATABASE_TOOL_DESCRIPTION, DATABASE_TOOL_LIMIT, DATABASE_TOOL_MUTATIONS, DATABASE_TOOL_NAME, DATABASE_TOOL_SUMMARY, DESCRIBE_TOOL_DESCRIPTION, DESCRIBE_TOOL_NAME, DESCRIBE_TOOL_SUMMARY, DatabaseDefinitionStore, INFER_TOOL_DESCRIPTION, INFER_TOOL_NAME, INFER_TOOL_SUMMARY, MAX_WORKFLOW_DEPTH, MemoryDefinitionStore, PROMPT_TOOL_DESCRIPTION, PROMPT_TOOL_NAME, PROMPT_TOOL_SUMMARY, RELATION_TOOL_DEPTH, RELATION_TOOL_DESCRIPTION, RELATION_TOOL_LIMIT, RELATION_TOOL_NAME, RELATION_TOOL_SUMMARY, WORKFLOW_TOOL_DESCRIPTION, WORKFLOW_TOOL_FLAT_EXAMPLE, WORKFLOW_TOOL_NAME, WORKFLOW_TOOL_NESTED_EXAMPLE, WORKFLOW_TOOL_SUMMARY, WORKSPACE_TOOL_DESCRIPTION, WORKSPACE_TOOL_EXAMPLE, WORKSPACE_TOOL_NAME, WORKSPACE_TOOL_SUMMARY, agentTag, agentToolShape, answerToolShape, clampCriteria, coerceAnswer, columnKindShape, columnSchema, columnShape, columnSpecShape, completeDraft, completePhaseDraft, completeTaskDraft, conditionShape, createAgentFunction, createAgentTool, createAnswerTool, createDatabaseDefinitionStore, createDatabaseTool, createDescribeTool, createEndpointTool, createInferTool, createMemoryDefinitionStore, createPromptTool, createRelationTool, createToolFunction, createWorkflowDraftContract, createWorkflowTool, createWorkspaceTool, criteriaOf, criteriaShape, databaseToolCode, databaseToolShape, describeToolShape, expandInclude, expandSteps, expandTables, includeShape, inferToolShape, isAgentToolError, isColumnKind, isColumnSpec, isDatabaseDefinition, keyShape, kindShape, managerShape, orderShape, phaseDraftShape, promptToolShape, relationKeyShape, relationManagerOf, relationModelOf, relationToolCode, relationToolShape, rowShape, rowsShape, singleKeyShape, stepShape, tableSchema, tableSpecShape, taskDraftShape, terminalToolCode, workflowDraftShape, workflowStepsShape, workflowTag, workflowToolSummary, workspaceToolShape };
 
 //# sourceMappingURL=index.js.map