mlx-bun 0.0.13 → 0.3.0

package/src/config.ts

@@ -75,6 +75,17 @@ export interface QuantSpec {
   bits: number;
   groupSize: number;
   mode: string;
+  /** `mode: "trellis"` (packed trellis-coded weights, src/model/trellis-linear.ts):
+   *  bits = k per weight, groupSize = block T, plus the codec geometry. */
+  trellis?: TrellisSpec;
+}
+
+export interface TrellisSpec {
+  L: number;
+  code: string;
+  /** 1 = coded along the input dim (stored [out, in·k/32]); 0 = along the
+   *  output dim (stored [in, out·k/32], i.e. Wᵀ coded along its last axis). */
+  axis: 0 | 1;
 }
 
 export interface QuantizationConfig {
@@ -89,12 +100,12 @@ export interface KvQuantSpec {
   groupSize: number;
 }
 
-/** TurboQuant scheme (docs/design/turboquant-kv.md): rotation-based KV
+/** TurboQuant scheme (docs/design/turboquant.md): rotation-based KV
  *  quantization, a distinct axis from the uniform/per-layer affine kvQuant
  *  above (composes with it in principle; v1 ships as a standalone CLI-only
  *  runtime lever, same class as uniform kvBits — see
  *  src/generate.ts maybeQuantizeKv). Valid kBits: {2,4,5,8}; vBits:
- *  {2,3,4,5,8} (docs/design/turboquant-kv.md's supported Lloyd-Max tables). */
+ *  {2,3,4,5,8} (docs/design/turboquant.md's supported Lloyd-Max tables). */
 export interface TurboQuantScheme {
   kBits: number;
   vBits: number;
@@ -162,11 +173,17 @@ export function parseQuantization(raw: Record<string, any> | undefined): Quantiz
   for (const [key, value] of Object.entries(raw)) {
     if (key === "bits" || key === "group_size" || key === "mode") continue;
     if (typeof value === "object" && value !== null) {
-      perLayer.set(key, {
+      const spec: QuantSpec = {
         bits: (value as any).bits ?? def.bits,
         groupSize: (value as any).group_size ?? def.groupSize,
         mode: (value as any).mode ?? def.mode,
-      });
+      };
+      const tr = (value as any).trellis;
+      if (spec.mode === "trellis") {
+        if (!tr || typeof tr !== "object") throw new Error(`quantization.${key}: mode "trellis" needs a trellis {L, code, axis} block`);
+        spec.trellis = { L: Number(tr.L), code: String(tr.code ?? "1mad"), axis: tr.axis === 0 ? 0 : 1 };
+      }
+      perLayer.set(key, spec);
     } else if (value === false) {
       // mlx convention: `"layer": false` means not quantized
       perLayer.set(key, { bits: 0, groupSize: 0, mode: "none" });

package/src/contracts/completion.ts

@@ -0,0 +1,16 @@
+import type { Cancellation } from "./generation";
+
+/** Application-facing calls. The implementation owns tokenization, numerical
+ * method and transport; callers provide request data and consume results. */
+export interface CompletionClient<Request, Result> {
+  complete(request: Request): Promise<Result>;
+}
+
+export interface BatchCompletionClient<Request, Result> extends CompletionClient<Request, Result> {
+  /** Results preserve input order; the implementation chooses execution groups. */
+  completeBatch(requests: readonly Request[]): Promise<Result[]>;
+}
+
+export interface TaskClient<Request, Progress, Result> {
+  run(request: Request, report: (progress: Progress) => void, cancellation?: Cancellation): Promise<Result>;
+}

package/src/contracts/execution.ts

@@ -0,0 +1,49 @@
+/** Request facts only. Native resources remain with the preparation owner. */
+export interface ExecutionRequirements {
+  readonly hasVision: boolean;
+  readonly hasAdapters: boolean;
+  readonly hasRepetitionPenalty: boolean;
+  readonly userSeed: boolean;
+  readonly kvQuant: boolean;
+  readonly turboQuant: boolean;
+  readonly hasLogitsExtras: boolean;
+  readonly hasGrammar: boolean;
+  readonly wantsLogprobs: boolean;
+  readonly hasDraft: boolean;
+}
+
+export interface ExecutionCapabilities {
+  readonly method: "autoregressive" | "denoising";
+  readonly continuous: boolean;
+  readonly quantizedBatch: boolean;
+  readonly grammarBatch: boolean;
+  readonly checkpoints: boolean;
+  /** Model-qualified speculative execution can retain this request's KV codec. */
+  readonly speculativeKvQuant?: boolean;
+  /** A graph-owned compiled step exists; cache geometry can still decline it. */
+  readonly compiledDecode?: boolean;
+}
+
+export interface ExecutionFeatures {
+  readonly pagedKv: boolean;
+  readonly fill: boolean;
+  readonly compiledDecode?: boolean;
+  readonly grammarJump?: boolean;
+}
+
+/** Selected once; consumers execute/report these values without reselecting. */
+export interface ResolvedExecution {
+  /** Implementation-owned method ID. The built-in planner retains its known
+   * methods; another model may register a different set without editing this contract. */
+  readonly method: string;
+  readonly mechanism: "serial" | "continuous";
+  readonly pagedKv: boolean;
+  readonly promptCache: boolean;
+  readonly checkpoint: boolean;
+  readonly fill: boolean;
+  /** Permission to attempt the bound compiled step, never a promise that
+   * every dynamic row/state shape supports replay. */
+  readonly compiledDecode: boolean;
+  readonly grammarJump: boolean;
+  readonly reasons: readonly string[];
+}

package/src/contracts/generation.ts

@@ -0,0 +1,103 @@
+/** Portable execution contracts. No transport, model, tensor, or runtime imports. */
+export type CancelReason = "requested" | "consumer_closed" | "consumer_idle" | "engine_closed";
+
+export interface Cancellation {
+  readonly reason: CancelReason | undefined;
+  /** Invoked immediately when already cancelled. Returns an idempotent unsubscribe. */
+  subscribe(listener: (reason: CancelReason) => void): () => void;
+}
+
+export interface TokenLogprobs {
+  /** Selected-token logprob, before sampler truncation. */
+  logprob?: number;
+  /** Top-k pairs, sorted by descending logprob. */
+  top?: { id: number; logprob: number }[];
+}
+
+export type GenerationEvent =
+  | { readonly type: "committed"; readonly sequence: number;
+      readonly tokenIds: readonly number[]; readonly logprobs?: readonly (TokenLogprobs | undefined)[] }
+  | { readonly type: "progress"; readonly completed: number; readonly total?: number };
+
+/** Methods publish in order and await each publication before publishing again.
+ * Only committed tokens cross this boundary. Tentative canvases/drafts stay private. */
+export interface GenerationOutput {
+  /** False requests a normal stop. The method must stop publishing and settle
+   * its metrics after releasing its private execution state. */
+  commit(tokenIds: readonly number[], logprobs?: readonly (TokenLogprobs | undefined)[]): Promise<void | false>;
+  progress(completed: number, total?: number): Promise<void>;
+}
+
+export interface MethodResult<Metrics> {
+  readonly finishReason: "stop" | "length";
+  readonly metrics: Metrics;
+}
+
+/** One attempt's private state, including any pending device work.
+ * close must await safe resource release, including on execute failure. */
+export interface MethodRun<Metrics> {
+  execute(output: GenerationOutput, cancellation: Cancellation): Promise<MethodResult<Metrics>>;
+  close(): Promise<void>;
+}
+
+export interface InferenceMethod<Metrics> {
+  readonly id: string;
+  /** A rejected creation must release its own partial allocations. */
+  createRun(cancellation: Cancellation): Promise<MethodRun<Metrics>>;
+}
+
+export interface ExecutionPlan<Metrics> {
+  readonly id: string;
+  readonly outputTokenLimit: number;
+  readonly method: InferenceMethod<Metrics>;
+}
+
+export interface ExecutionPlanner<Request, Metrics> {
+  /** Planning selects a bound implementation; it does not allocate device state. */
+  plan(request: Request, cancellation: Cancellation): Promise<ExecutionPlan<Metrics>>;
+}
+
+export type GenerationOutcome<Metrics> =
+  | { readonly status: "completed"; readonly committedTokens: number;
+      readonly output?: Uint32Array; readonly result: MethodResult<Metrics> }
+  | { readonly status: "cancelled"; readonly committedTokens: number;
+      readonly output?: Uint32Array; readonly reason: CancelReason }
+  | { readonly status: "failed"; readonly committedTokens: number;
+      readonly output?: Uint32Array; readonly error: { readonly code: string; readonly message: string;
+        readonly cleanupError?: string } };
+
+export type SessionState = "created" | "preparing" | "running" | "settling" | "terminal";
+
+export type RunControl = {
+  /** collect returns token IDs; per-token logprobs require stream consumption. */
+  readonly output: "stream" | "collect";
+  readonly cancellation?: Cancellation;
+} | {
+  /** Direct delivery for consumers that already own bounded output storage.
+   * The callback is awaited before execution continues; false is a normal
+   * token stop. Borrowed arrays are valid until the callback settles. */
+  readonly output: "callback";
+  readonly onTokens: GenerationOutput["commit"];
+  readonly cancellation?: Cancellation;
+};
+
+export interface GenerationSession<Metrics> {
+  readonly id: string;
+  readonly state: SessionState;
+  /** Single consumer. Stream mode starts on first next(); collect mode has no events. */
+  readonly events: AsyncIterable<GenerationEvent>;
+  /** Always resolves with one terminal outcome, after native resources are released. */
+  readonly result: Promise<GenerationOutcome<Metrics>>;
+  cancel(reason?: CancelReason): Promise<void>;
+  close(): Promise<void>;
+}
+
+export interface InferenceEngine<Request, Metrics> {
+  open(request: Request, control: RunControl): Promise<GenerationSession<Metrics>>;
+  close(): Promise<void>;
+}
+
+/** Injected host timer. The portable engine has no DOM/Node/Bun dependency. */
+export interface Timer {
+  after(milliseconds: number, callback: () => void): () => void;
+}

package/src/contracts/host.ts

@@ -0,0 +1,7 @@
+/** Transport-specific request/response values stay outside portable policy. */
+export interface EngineHost<Request, Response> {
+  readonly ready: Promise<void>;
+  forward(request: Request): Promise<Response>;
+  /** Stop accepting work and wait until the owned worker has exited. */
+  close(): Promise<void>;
+}

package/src/contracts/jobs.ts

@@ -0,0 +1,66 @@
+// Shared job-system contract. Both the job runner (src/jobs/*) and every
+// job producer (src/dataset/*, src/quantize/*, src/train/*) speak this
+// vocabulary. Mirrors the optiq lab SSE event grammar so the web wizards
+// port over mechanically (started → log/stage/metric → done|failed).
+
+/** A single streamed job event, serialized one-per-line into the job's
+ *  NDJSON log and re-emitted to the browser as SSE `data:` frames. */
+export type JobEvent =
+  | { type: "started"; ts: number }
+  | { type: "log"; line: string }
+  | {
+      type: "stage";
+      stage: string;
+      progress?: number; // 0..1
+      message?: string;
+      output_dir?: string;
+      adapter_path?: string;
+      n_train?: number;
+      n_valid?: number;
+      [k: string]: unknown;
+    }
+  | {
+      type: "metric";
+      kind: "train" | "val";
+      step: number;
+      loss: number;
+      learning_rate?: number;
+      tokens_per_sec?: number;
+      progress?: number;
+      message?: string;
+      [k: string]: unknown; // grad_norm, learning_rate, tokens_per_sec, accuracy, margin, progress, message
+    }
+  | { type: "done"; ts: number; output_dir?: string; summary?: unknown; n_train?: number; n_valid?: number; [k: string]: unknown }
+  | { type: "failed"; error: string; ts: number };
+
+/** Sink a job calls to report progress. Implementations append to the log
+ *  file and (for stage/metric events carrying `progress`/`message`) update
+ *  the SQLite row. Never throws — a logging failure must not kill a job. */
+export type Emit = (e: JobEvent) => void;
+
+/** The unit of work. Returns an optional output path recorded on the row.
+ *  Receives the parsed `config` from the submit request. */
+export type JobRunner = (
+  emit: Emit,
+  config: Record<string, unknown>,
+) => Promise<{ outputPath?: string } | void>;
+
+/** Job kinds in the system. */
+export type JobKind = "quantize" | "finetune" | "dataset" | "noop" | "crash";
+
+export type JobStatus = "queued" | "running" | "done" | "failed" | "zombie";
+
+/** A persisted job row (shape returned by the HTTP `GET /api/jobs/:id`). */
+export interface JobRow {
+  id: string;
+  kind: string;
+  status: JobStatus;
+  config_json: string;
+  progress: number;
+  message: string | null;
+  log_path: string;
+  output_path: string | null;
+  error: string | null;
+  started_at: string;
+  ended_at: string | null;
+}

package/src/contracts/pi-provider.ts

@@ -0,0 +1,30 @@
+export interface PiModelOptions {
+  name?: string;
+  contextWindow?: number;
+  maxTokens?: number;
+  reasoning?: boolean;
+  vision?: boolean;
+}
+
+/** Self-contained so the standalone Pi extension can embed the same builder. */
+export function piModelDefinition(options: PiModelOptions = {}) {
+  return {
+    id: "local",
+    name: options.name ?? "mlx-bun (local)",
+    api: "openai-completions" as const,
+    reasoning: options.reasoning ?? false,
+    compat: { supportsDeveloperRole: false,
+      ...(options.reasoning ? { thinkingFormat: "qwen-chat-template" as const } : {}) },
+    input: (options.vision ? ["text", "image"] : ["text"]) as ("text" | "image")[],
+    cost: { input: 0, output: 0, cacheRead: 0, cacheWrite: 0 },
+    contextWindow: options.contextWindow ?? 32768,
+    maxTokens: options.maxTokens ?? 8192,
+  };
+}
+
+export const PI_PROVIDER_ID = "mlx-bun";
+export const PI_API_KEY = "sk-mlx-bun-local";
+export const PI_LOCAL_MODEL_ID = piModelDefinition().id;
+export const PI_API = piModelDefinition().api;
+export const DEFAULT_CONTEXT_WINDOW = piModelDefinition().contextWindow;
+export const DEFAULT_MAX_TOKENS = piModelDefinition().maxTokens;

package/src/contracts/pi.ts

@@ -0,0 +1,259 @@
+/** Shared browser/server protocol. Data only; no SDK, DOM, or native imports. */
+export type Lane = "serial" | "serial+spec" | "batched";
+export const APP_ROUTE_IDS = ["chat", "quantize", "finetune", "dataset", "status"] as const;
+
+export type ApprovalDecision = "allow" | "deny";
+
+export interface ImageAttachment {
+  data: string;
+  mimeType: string;
+}
+
+export type ClientMessage =
+  | { type: "prompt"; text: string; images?: ImageAttachment[] }
+  | { type: "abort" }
+  // `editedArgs`: when the user edited the proposed arguments in the
+  // approval card's textarea before approving, the (re-parsed) JSON object
+  // to substitute for the tool's original input — mutated onto the pi SDK's
+  // ToolCallEvent.input in place (the SDK's documented mutation contract;
+  // see installApprovalGate). Ignored on "deny". `alwaysAllow`: persist this
+  // tool to the durable always-allow config (src/tool-approvals.ts) so
+  // future calls to the SAME TOOL NAME skip the card entirely, on this and
+  // every other session.
+  | { type: "approval"; callId: string; decision: ApprovalDecision; editedArgs?: Record<string, unknown>; alwaysAllow?: boolean }
+  // Toggle the model's reasoning channel on/off (only meaningful when the
+  // model supports thinking — ready.thinking). Maps to Pi's session thinking
+  // level: "medium" (on) ↔ "off". Pi sends it as enable_thinking to the server.
+  | { type: "set_thinking"; enabled: boolean }
+  // Opt-in toggle (plan §5.4/§6.5/§9 Phase 2, default OFF): "let the agent
+  // touch files on this machine". Persisted per-browser by the client
+  // (localStorage `mlxbun.codingTools`); the ALLOWLIST decision is enforced
+  // here, server-side. buildPiAgentSurface's tool list is fixed for the
+  // life of an AgentSession (pi's DefaultResourceLoader config is baked in
+  // at createAgentSessionServices time), so this can't rewire an
+  // in-progress session — it takes effect starting with the next
+  // new_session/open_session/fork_session (createRuntimeFactory reads
+  // this.codingToolsRequested fresh every time the SDK calls it, including
+  // from AgentSessionRuntime.newSession()'s internal re-invocation). The
+  // `coding_tools` ServerMessage below reports the honest current-vs-pending
+  // state so the UI can say so instead of implying it applies immediately.
+  | { type: "set_coding_tools"; enabled: boolean }
+  // Select the active LoRA adapter for subsequent turns (null = none/base).
+  // app.html mounts it (POST /v1/adapters) before sending this; the
+  // before_provider_request hook injects it into the provider payload.
+  | { type: "set_adapter"; id: string | null }
+  // Per-request sampling overrides. Each field is optional; null/undefined
+  // means "leave it to the server default" (the mode-aware recommended
+  // value resolved in toOptions). A present numeric value is injected into
+  // the provider payload and always wins. The before_provider_request hook
+  // injects whatever is set here.
+  //
+  // `scope` (plan §9 Phase 3 / beat matrix Axis 4 "per-message sampling
+  // scope"): "session" (default, omitting the field means this too) persists
+  // the override on the connection until changed — today's behavior,
+  // unchanged. "next_turn" stores a ONE-SHOT override applied to exactly
+  // the next prompt's injection, then cleared automatically — it never
+  // touches the session-level values (a later plain set_sampling with
+  // scope:"session" or omitted still sees whatever was there before this
+  // message). Composition when both are present: next_turn's SET fields
+  // win over session's for that one request; anything next_turn leaves
+  // null/unset falls back to the session-level override for that field
+  // (composeSampling — session-level itself falls back to the server's
+  // mode-aware default per injectSampling's existing contract).
+  | {
+      type: "set_sampling";
+      scope?: "session" | "next_turn";
+      temperature?: number | null;
+      top_p?: number | null;
+      top_k?: number | null;
+      min_p?: number | null;
+      xtc_probability?: number | null;
+      xtc_threshold?: number | null;
+      repetition_penalty?: number | null;
+      repetition_context_size?: number | null;
+      presence_penalty?: number | null;
+      frequency_penalty?: number | null;
+      seed?: number | null;
+    }
+  // Per-session USER system prompt, layered ON TOP OF (not replacing) the
+  // built-in surface prompt (buildWebChatSystemPrompt + memoryHint). null
+  // clears it. Applied by the before_agent_start hook on the NEXT turn (pi
+  // calls it fresh inside every session.prompt(), so this is a true
+  // per-turn injection, not a session-creation-only setting — see
+  // installSystemPromptHook). Presets v1 (composer.ts) send this alongside
+  // set_sampling to apply a saved bundle.
+  | { type: "set_system_prompt"; text: string | null }
+  // Session management (recent-chats sidebar + new chat).
+  | { type: "new_session" }
+  | { type: "list_sessions" }
+  | { type: "open_session"; path: string }
+  | { type: "fork_session"; path: string }
+  | { type: "delete_session"; path: string }
+  // Message actions (plan §5.2). All three navigate the session's leaf
+  // pointer via AgentSession.navigateTree() then re-prompt — a sibling
+  // branch in the SAME session file, never a new one (see the helpers above
+  // findLastUserMessageEntry for the full rationale). Regenerate re-sends the
+  // last user message's original content verbatim; edit_resend re-sends it
+  // with edited text (images preserved); switch_sibling moves the active
+  // leaf to a previously-created sibling (an earlier edit/regeneration)
+  // without sending anything new.
+  | { type: "regenerate" }
+  | { type: "edit_resend"; text: string }
+  | { type: "switch_sibling"; entryId: string }
+  // App-aware assistant (plan §6.6, §9 Phase 3, beat matrix Axis 12): pushed
+  // by chat.ts on every route change AND on wizard-step change (quantize/
+  // finetune/dataset), never on a timer. `context` is opaque here (the
+  // browser's AppContext shape, src/web/src/assistant.ts) — stored verbatim
+  // as the connection's currentAppContext and returned by the
+  // get_current_app_context tool, plus mined for the compact one-line
+  // ambient context auto-prepended to the NEXT prompt (see
+  // installAppContextHook / ambientContextLine). This is a DIFFERENT frame
+  // from the server->client `context` ServerMessage (context-window usage,
+  // above) — same name, opposite direction, disambiguated by which type
+  // union it's a member of; the two are never in scope at the same call
+  // site (ClientMessage here vs. ServerMessage below).
+  | { type: "context"; context: AppUiContext };
+
+export interface UiSnapshotElement {
+  ref: string;
+  tag: string;
+  label: string;
+  kind: "interactive" | "region";
+  role?: string;
+  selector: string;
+  spotlightId?: string;
+}
+
+export interface UiSnapshot {
+  route: string;
+  capturedAt: string;
+  elements: UiSnapshotElement[];
+}
+
+export interface WizardStep {
+  index: number;
+  count: number;
+  label: string;
+}
+
+export interface AppUiContext {
+  route: string;
+  view?: string;
+  step?: WizardStep;
+  snapshot: UiSnapshot;
+}
+
+export type AppRouteId = (typeof APP_ROUTE_IDS)[number];
+
+export interface ReadyGenDefaults {
+  temperature: number | null;
+  topP: number | null;
+  topK: number | null;
+}
+
+export type ServerMessage =
+  // `vision`: whether the loaded model can accept images (drives the UI's
+  // image-attach affordance — false on e4b until the SigLIP sidecar lands).
+  // `audio`: whether the loaded model can accept `input_audio` parts (audio
+  // tower loaded or loadable). Discovery-only for now: pi's Model.input type
+  // has no "audio" modality, so unlike `vision` this flag never feeds the
+  // provider declaration — clients use it instead of probing for a 400.
+  // `thinking`: whether the model has a switchable reasoning channel (drives
+  // the UI's thinking on/off toggle; false hides it).
+  | { type: "ready"; model: string; vision: boolean; audio: boolean; thinking: boolean; genDefaults: ReadyGenDefaults }
+  | { type: "turn_start" }
+  | { type: "text_delta"; delta: string }
+  | { type: "thinking_delta"; delta: string }
+  | { type: "tool_start"; callId: string; tool: string; args: unknown }
+  | { type: "tool_approval_request"; callId: string; tool: string; args: unknown }
+  | { type: "tool_update"; callId: string; chunk: unknown }
+  | { type: "tool_end"; callId: string; ok: boolean; result: unknown }
+  // `lane`: the serving lane the just-finished turn ran on (serial /
+  // serial+spec / batched), correlated via the lane registry keyed by the
+  // AssistantMessage's responseId (the pi SDK's own usage parsing drops
+  // custom fields — see src/serve/lane-registry.ts). Absent when the turn
+  // produced no assistant message with a responseId (e.g. an aborted turn
+  // before any model call) — never guessed client-side (risk #5).
+  | { type: "turn_end"; lane?: Lane }
+  | { type: "queue_update"; steering: readonly string[]; followUp: readonly string[] }
+  // Replay a session's transcript (rebuilds the thread); and the sidebar list.
+  | { type: "history"; items: HistoryItem[] }
+  | { type: "sessions"; items: SessionListItem[]; activePath?: string }
+  // Sibling group for the LAST user message (edit-and-resend's `< i/n >`
+  // toggle, plan §5.2). Sent after every history rebuild and after a
+  // completed turn. `count` <= 1 means no toggle to show (the common case:
+  // no edits/regenerations yet). `entryId` is the currently-active sibling's
+  // id; `siblingIds` is the full ordered group so the client can resolve
+  // "previous/next" locally and send switch_sibling with a concrete id
+  // (never inferred/guessed — the server is the source of truth for order).
+  | { type: "siblings"; entryId?: string; index: number; count: number; siblingIds: string[] }
+  // Context-window usage indicator. tokens/percent are null right after a
+  // compaction until the next assistant reply (pi can't estimate yet).
+  | { type: "context"; tokens: number | null; contextWindow: number; percent: number | null }
+  // Effective vs. pending codingTools state (set_coding_tools above).
+  // `active` is what the CURRENT session actually built with (gates
+  // whether the approval card can ever fire); `pending` is the browser's
+  // most recent request, which only takes effect on the next
+  // new/opened/forked session — surfaced so the settings copy can say
+  // "will apply to your next new chat" instead of lying about immediacy.
+  | { type: "coding_tools"; active: boolean; pending: boolean }
+  // Full always-allow set for THIS machine (src/tool-approvals.ts), sent on
+  // `ready` and after any change, so the settings panel can list/forget
+  // durable per-tool approvals without a separate REST round-trip.
+  | { type: "tool_approvals"; alwaysAllow: string[] }
+  // App-aware assistant (plan §6.6): the navigate_app / spotlight_ui tools'
+  // side-channel notifications, mapped 1:1 from the tool call's params —
+  // never guessed or re-derived, so chat.ts's router/spotlight get exactly
+  // what the model asked for. `route` here is always a validated
+  // AppRouteId (isAppRouteId already ran server-side before this frame is
+  // ever sent — see navigate_app's execute). ui_spotlight's fields mirror
+  // SpotlightRequest 1:1 (assistant.ts resolves ref/label/selector/target
+  // client-side, in that precedence order, against its last snapshot).
+  | { type: "ui_navigate"; route: AppRouteId }
+  | { type: "ui_spotlight"; ref?: string; label?: string; selector?: string; target?: string; message?: string; route?: AppRouteId }
+  | { type: "error"; message: string };
+
+export interface HistoryToolItem {
+  callId: string;
+  name: string;
+  args: unknown;
+  /** Tool result text, filled from the matching toolResult message. */
+  result: string;
+}
+
+export interface HistoryItem {
+  role: "user" | "assistant";
+  text: string;
+  /** Model reasoning/thinking, kept separate from the final answer. */
+  thinking?: string;
+  tools: HistoryToolItem[];
+  /** Session entry id (user items only). Lets the browser correlate "the
+   *  last user message" in the replayed thread with the `siblings` frame's
+   *  entryId, so it knows which DOM node gets the edit/sibling-toggle UI
+   *  (plan §5.2). Undefined for assistant items — they aren't fork targets. */
+  entryId?: string;
+}
+
+export interface SessionListItem {
+  path: string;
+  id: string;
+  title: string;
+  /** Last-modified epoch ms (newest first). */
+  modified: number;
+  messageCount: number;
+  forked: boolean;
+}
+
+export interface SamplingOverrides {
+  temperature?: number | null;
+  top_p?: number | null;
+  top_k?: number | null;
+  min_p?: number | null;
+  xtc_probability?: number | null;
+  xtc_threshold?: number | null;
+  repetition_penalty?: number | null;
+  repetition_context_size?: number | null;
+  presence_penalty?: number | null;
+  frequency_penalty?: number | null;
+  seed?: number | null;
+}

package/src/contracts/resources.ts

@@ -0,0 +1,18 @@
+/** A single owner. Borrowing does not extend lifetime; transfer invalidates
+ * the old owner. close is idempotent, including when release throws. */
+export interface ResourceOwner<T> {
+  borrow(): T;
+  transfer(): T;
+  close(): void;
+}
+
+/** State views may own temporary handles or borrow live state. Consumers
+ * always close the lease; only the provider knows which handles to release. */
+export interface StateView<T> {
+  borrow(): readonly T[];
+  close(): void;
+}
+
+export interface DisposableResource {
+  dispose(): void;
+}

package/src/contracts/scheduling.ts

@@ -0,0 +1,27 @@
+/** A backend execution group exposes bounded work units and readiness. Queue
+ * payloads, tensors, cache merging and sampling remain inside its adapter. */
+export interface ExecutionGroup {
+  readonly active: number;
+  readonly queued: number;
+  readonly preparing: boolean;
+  readonly maxActive: number;
+  readonly admissionHeld: boolean;
+  readonly closed: boolean;
+  pruneCancelled(): void;
+  /** May reject/remove an impossible queued request before returning false. */
+  admitNext(): boolean;
+  /** Read-only budget check used to preserve admission before decode. */
+  canBurst(): boolean;
+  advancePreparation(): Promise<void>;
+  advance(): Promise<void>;
+  failActive(error: unknown): void;
+  failAll(error: unknown): void;
+  reserveResidency(): () => void;
+  acquireExecution?(): Promise<() => void>;
+  waitForWork(): Promise<void>;
+}
+
+export interface SchedulingClock {
+  now(): number;
+  yield(): Promise<void>;
+}

package/src/contracts/tsconfig.json

@@ -0,0 +1,14 @@
+{
+  "compilerOptions": {
+    "lib": ["ES2022"],
+    "target": "ES2022",
+    "module": "Preserve",
+    "moduleResolution": "bundler",
+    "types": [],
+    "strict": true,
+    "skipLibCheck": false,
+    "noUncheckedIndexedAccess": true,
+    "noEmit": true
+  },
+  "include": ["./*.ts", "../engine/**/*.ts", "../inference/**/*.ts"]
+}