car-runtime 0.17.0 → 0.18.0

package/index.d.ts

@@ -1204,11 +1204,23 @@ export function a2aServerStatus(): string;
 
 // --- Verification (stateless) ---
 
+/**
+ * Statically verify a proposal.
+ *
+ * `toolNames` checks tool existence only. To also validate each
+ * `tool_call`'s parameters against the tool's JSON Schema — catching
+ * type mismatches (`{path: 42}` for a `string`) and missing required
+ * fields — pass `toolSchemasJson`: a JSON array of tool schemas, e.g.
+ * `JSON.stringify([{ name: "echo", parameters: { type: "object",
+ * properties: { msg: { type: "string" } }, required: ["msg"] } }])`.
+ * When both are given, `toolSchemasJson` takes precedence.
+ */
 export function verify(
   proposalJson: string,
   initialStateJson?: string | null,
   toolNames?: string[] | null,
   maxActions?: number | null,
+  toolSchemasJson?: string | null,
 ): string;
 
 export function simulate(
@@ -1232,43 +1244,15 @@ export function registerAgentRunner(
   agentFn: (specJson: string, taskJson: string) => Promise<string>,
 ): Promise<void>;
 
-/**
- * Register the inference runner callback. Closes
- * Parslee-ai/car-releases#24 — when a model schema declares
- * `source: { type: "delegated", ... }`, CAR routes the request through
- * this callback. The host owns the wire format (Anthropic, OpenAI,
- * Vercel AI SDK, GitHub Models, etc.); CAR observes events and stays
- * in the policy / replay path.
- *
- * The runner emits stream events for every chunk it receives from its
- * provider via `inferenceRunnerEmitEvent(callId, eventJson)`, then
- * resolves the promise with the final aggregated result JSON
- * (`{text: string, tool_calls: ToolCall[]}`).
- *
- * Idempotent — re-calling overwrites the previous runner. Only one
- * runner can be registered per process (matches `registerAgentRunner`).
- *
- * Event JSON shapes match `inferStream`'s event taxonomy:
- *   `{type: "text", data: string}`
- *   `{type: "tool_start", name: string, index: number, id?: string}`
- *   `{type: "tool_delta", index: number, data: string}`
- *   `{type: "usage", input_tokens: number, output_tokens: number}`
- *   `{type: "done", text: string, tool_calls: ToolCall[]}`
- */
-export function registerInferenceRunner(
-  runnerFn: (requestJson: string, callId: string) => Promise<string>,
-): void;
-
-/**
- * Emit a stream event from inside the inference runner callback.
- * `callId` is the second argument the runner received; `eventJson`
- * is one of the shapes documented on `registerInferenceRunner`.
- *
- * Silently no-ops if `callId` is unknown (call already completed or
- * the runner emitted after returning) — racing the normal completion
- * path shouldn't error.
- */
-export function inferenceRunnerEmitEvent(callId: string, eventJson: string): void;
+// --- Inference runner (delegated inference, closes car-releases#24) ---
+//
+// In-process registration is not exposed in the FFI bindings (car-releases#55).
+// The v0.8+ daemon-only architecture moves delegated inference to the
+// WebSocket protocol: a runner client connects to car-server and calls
+// `inference.register_runner`; the daemon then sends
+// `inference.runner.invoke` notifications for every delegated call.
+// See docs/websocket-protocol.md §"Inference runner" for the wire shape.
+// `car-server` is shipped as a binary in this npm package (`bin/car-server`).
 
 /** Run a Swarm pattern. `mode` is "parallel", "sequential", or "debate". */
 export function runSwarm(

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "car-runtime",
-  "version": "0.17.0",
+  "version": "0.18.0",
   "description": "Common Agent Runtime — a deterministic execution layer for AI agents",
   "main": "index.js",
   "types": "index.d.ts",