toolroll 0.9.41 → 0.9.42

package/dist/contracts/console-api.d.ts

@@ -0,0 +1,483 @@
+/**
+ * The console's form bodies and JSON API (docs/plans/zod-revamp.md, item 13): one schema for every URL-encoded body a
+ * console route reads, and one for each `?format=json` response.
+ *
+ * A form is read exactly as before. Each field is what `URLSearchParams` holds for it — every value in the order
+ * sent, so `get()` is the first and `getAll()` the list — and every field may be left out, because each handler
+ * already supplies its own default, trimming, clipping, number conversion and refusal after reading. Unknown fields
+ * are ignored (browsers send `csrf`, buttons send their own names, and older pages send fields no longer read). What a
+ * handler may read is the schema's field list: `readForm` hands it a view typed by that list, so reading a field the
+ * contract doesn't name fails the typecheck instead of drifting. Nothing a person or script sent before is refused
+ * now; the CSRF, nonce, digest, password and duplicate-field checks stay in the handlers, in their order.
+ *
+ * The JSON responses are checked as they are sent (unversioned, unknown keys allowed, their bytes unchanged — an
+ * evidence pack carries sealed ledger entries); a response that disagrees is logged and sent anyway.
+ *
+ * Not here: Telegram's pushed updates (item 11), flow webhooks and public flow forms (item 15).
+ */
+import { z } from "zod";
+import { type ContractIssue } from "./contract.js";
+/** A form contract: the route it serves, the fields its handler reads, and the schema those make. */
+export type FormContract<K extends string> = {
+    readonly route: string;
+    readonly fields: readonly string[];
+    /** Field-name prefixes read with a computed suffix (`question:<id>`, `param.<id>`). */
+    readonly prefixes: readonly string[];
+    /** The handler reads names it computes from saved data (a template's questions); any name is typed as readable. */
+    readonly dynamic: boolean;
+    readonly schema: z.ZodType<Readonly<Record<string, readonly string[]>>>;
+    /** Phantom: the names a handler may read. */
+    readonly names?: K;
+};
+type Names<F extends readonly string[], P extends readonly string[], D extends boolean> = D extends true ? string : F[number] | `${P[number]}${string}`;
+/** A form's contract: a loose object of optional text fields (unknown fields ignored, as the handlers always did). */
+export declare function formContract<const F extends readonly string[], const P extends readonly string[] = readonly [], const D extends boolean = false>(route: string, fields: F, more?: {
+    prefixes?: P;
+    dynamic?: D;
+}): FormContract<Names<F, P, D>>;
+/**
+ * A body as its schema sees it: each field name once, in first-sent order, with all its values in sent order. Built
+ * with `Object.fromEntries`, so a field named `__proto__` is an ordinary field.
+ */
+export declare function formFields(body: URLSearchParams): Record<string, string[]>;
+/** What a handler reads a form through: `URLSearchParams`' own reads, limited to the names its contract declares. */
+export type FormView<K extends string> = {
+    get(name: K): string | null;
+    getAll(name: K): string[];
+    has(name: K): boolean;
+    /** Every name sent, for the handlers' "one value for each field" checks. */
+    keys(): ReturnType<URLSearchParams["keys"]>;
+    /** The body as sent, for re-showing a form with what was typed and for helpers that take the whole form. */
+    readonly sent: URLSearchParams;
+};
+/** Where a disagreement is reported. The default writes one line to stderr, including under Vitest. */
+export type ContractReport = (what: string, issues: readonly ContractIssue[]) => void;
+/**
+ * Read a form through its contract. It never refuses: every value is text and every field optional, so a body that
+ * somehow disagrees is reported and read as it was sent (the handler's own checks decide, as before).
+ */
+export declare function readForm<K extends string>(body: URLSearchParams, contract: FormContract<K>, report?: ContractReport): FormView<K>;
+export declare const CONSOLE_FORMS: {
+    readonly signup: FormContract<"code" | "name" | "password">;
+    readonly login: FormContract<"name" | "return" | "token">;
+    readonly join: FormContract<"name" | "password">;
+    readonly mutationGuard: FormContract<"confirm" | "csrf" | "digest" | "nonce" | "token">;
+    readonly ledgerTarget: FormContract<"repo">;
+    readonly projectCeiling: FormContract<"repo">;
+    readonly demo: FormContract<"message" | "note">;
+    readonly updatesDismiss: FormContract<"quiet" | "return" | "version">;
+    readonly updatesChecks: FormContract<"check">;
+    readonly code: FormContract<"acceptance" | "answers" | "base" | "candidate" | "decision" | "goal" | "model" | "password" | "prompt" | "repo" | "requestId" | "title" | "visual" | `question:${string}`>;
+    readonly skillsRevise: FormContract<"feedback" | "nonce" | "repo" | "run">;
+    readonly skillsChange: FormContract<"action" | "content" | "files" | "identity" | "method" | "nonce" | "repo" | "restore" | "revision" | "sample" | "sha" | "url">;
+    readonly kit: FormContract<"repo">;
+    readonly teammates: FormContract<"choice" | "dailyTurns" | "id" | "manager" | "model" | "name" | "note" | "op" | "repo" | "schedule" | "soul" | "state" | "template" | "text" | "tool" | `field.${string}` | `over.${string}` | `undo.${string}` | `use.${string}`>;
+    readonly galleryUse: FormContract<string>;
+    readonly flows: FormContract<"about" | "address" | "answers" | "approve" | "body" | "choice" | "confirm" | "decision" | "definition" | "description" | "document" | "draft" | "entry" | "file" | "key" | "label" | "language" | "name" | "note" | "owner" | "password" | "previewed" | "remove" | "repo" | "revision" | "secret" | "stage" | "template" | "timeoutMinutes" | "title" | "trigger" | "url" | "value" | "watching" | `param.${string}`>;
+    readonly spendBudget: FormContract<"action" | "password" | "stop" | "target" | "usd">;
+    readonly projectConcurrency: FormContract<"concurrency" | "repo">;
+    readonly projectDelete: FormContract<"name" | "password" | "repo" | "step">;
+    readonly policy: FormContract<"ceiling" | "models" | "password" | "provider" | "tools">;
+    readonly approval: FormContract<"not_requester" | "password" | "paths" | "protect" | "repo">;
+    readonly sessions: FormContract<"access" | "action" | "days" | "everyone" | "name" | "password" | "session" | "token">;
+    readonly signIn: FormContract<"action" | "client-id" | "client-secret" | "groups-claim" | "issuer" | "label" | "password" | "passwords" | "scopes" | `group-${string}` | `projects-${string}` | `role-${string}`>;
+    readonly updates: FormContract<"password" | "version" | "when">;
+    readonly retention: FormContract<"chat" | "checkouts" | "evidence" | "notifications" | "password">;
+    readonly storage: FormContract<"cleanup" | "password" | "path" | "preview">;
+    readonly pullRequests: FormContract<"act" | "base" | "github" | "method" | "password" | "repo" | "when-green">;
+    readonly checks: FormContract<"act" | "command" | "level" | "on" | "password" | "repo" | "timeout">;
+    readonly backups: FormContract<"every" | "folder" | "keep" | "password">;
+    readonly data: FormContract<"password">;
+    readonly flowsOn: FormContract<"repo" | "starter">;
+    readonly integrationsTest: FormContract<"key">;
+    readonly monitoring: FormContract<"folder" | "header-name" | "header-value" | "password" | "rotate" | "traces" | "webhook">;
+    readonly toolsConnect: FormContract<"access" | "also" | "kit" | "password" | "repo" | "service" | "shown" | "template">;
+    readonly toolsChange: FormContract<"action" | "catalog" | "import" | "name" | "password" | "repo" | "secret" | "secrets" | "shown" | "target" | "transport" | "value">;
+    readonly appearance: FormContract<"accent" | "quiet" | "return" | "theme">;
+    readonly models: FormContract<"agent" | "enabled" | "phase" | "tool">;
+    readonly knowledgeRefresh: FormContract<"repo">;
+    readonly knowledgeProposal: FormContract<"decision" | "proposal" | "repo">;
+    readonly knowledgeDecision: FormContract<"action" | "claim" | "decision" | "reason" | "repo" | "why">;
+    readonly knowledgeChange: FormContract<"action" | "content" | "id" | "identity" | "instructions" | "path" | "repo" | "restore" | "revision" | "title">;
+    readonly learningChange: FormContract<"action" | "identity" | "lesson" | "repo" | "revision" | "sha" | "version">;
+    readonly projectSetup: FormContract<"command" | "fingerprint" | "model" | "nonce" | "provider" | "repo" | "seconds" | "token">;
+    readonly slack: FormContract<"app-token" | "bot-token" | "password">;
+    readonly telegramPair: FormContract<"password">;
+    readonly teams: FormContract<"app-id" | "password" | "secret" | "tenant">;
+    readonly discord: FormContract<"bot-token" | "password">;
+    readonly messaging: FormContract<"primary">;
+    readonly permissionDefault: FormContract<"permission-mode">;
+    readonly qualityDefault: FormContract<"quality-mode">;
+    readonly notifications: FormContract<"digest" | "mode" | "screenshots">;
+    readonly notificationsMute: FormContract<"pings" | "repo">;
+    readonly telegramDigest: FormContract<"every">;
+    readonly providerKey: FormContract<"auth-mode" | "provider" | "value">;
+    readonly telegramToken: FormContract<"token">;
+    readonly email: FormContract<"from" | "host" | "imapHost" | "imapPort" | "password" | "port" | "secure" | "user">;
+    readonly google: FormContract<"clientId" | "clientSecret">;
+    readonly projectsSelect: FormContract<"path" | "return">;
+    readonly projectsRemove: FormContract<"repo">;
+    readonly projectsOpen: FormContract<"path" | "return">;
+    readonly tasksAdd: FormContract<"acceptance" | "after" | "goal" | "id" | "not" | "permission-mode" | "plan-first" | "planning-policy" | "projectRevision" | "quality-mode" | "repo" | "scout" | "title" | "touches">;
+    readonly queue: FormContract<"before" | "column" | "from" | "note" | "projectRevision" | "queueRevision" | "respond" | "runner" | "task">;
+    readonly runnerRegister: FormContract<"capacity" | "name" | "token">;
+    readonly mode: FormContract<"allow-paid-fallback" | "auto-approve" | "chat-approve" | "days" | "digest" | "expiry" | "name" | "nonce" | "plan-auto" | "publication" | "repair-auto" | "review-auto" | "review-retry-auto" | "token">;
+    readonly peopleProjects: FormContract<"access" | "name" | "projects" | "token">;
+    readonly peopleInvite: FormContract<"access" | "projects" | "role" | "token">;
+    readonly peopleInviteRevoke: FormContract<"id" | "token">;
+    readonly peopleRevoke: FormContract<"name" | "token">;
+    readonly runnerRetire: FormContract<"name" | "token">;
+    readonly decisionAnswer: FormContract<"choice" | "confirm" | "note" | "return">;
+    readonly contest: FormContract<"act" | "choice" | "nonce" | "token">;
+    readonly attend: FormContract<"budget" | "digest" | "expiry" | "followup" | "minutes" | "model" | "nonce" | "parent" | "posture" | "token" | "turns">;
+    readonly confirmStopped: FormContract<"checked" | "return" | "run" | "token">;
+    readonly merge: FormContract<"anyway" | "run" | "token">;
+    readonly onboard: FormContract<"big-ok" | "nonce" | "repo" | "root" | "token">;
+    readonly pushSubscribe: FormContract<"auth" | "endpoint" | "p256dh" | "token">;
+    readonly pushRemove: FormContract<"id">;
+    readonly phoneDismiss: FormContract<"quiet">;
+    readonly leadIdentity: FormContract<"name" | "persona">;
+    readonly leadAbout: FormContract<"about">;
+    readonly leadPromiseCancel: FormContract<"promise">;
+    readonly chatConfig: FormContract<"daily-turns" | "forget-key" | "key" | "model" | "off" | "provider" | "return" | "token" | "weekly-usd">;
+    readonly mateMint: FormContract<"ceiling-usd" | "follow" | "return" | "token">;
+    readonly mateFollow: FormContract<"enabled" | "return">;
+    readonly mateEnd: FormContract<"return">;
+    readonly mateStop: FormContract<"return" | "turn">;
+    readonly mateProposal: FormContract<"confirm" | "nonce" | "return" | "token">;
+    readonly coordinatorProposal: FormContract<"confirm" | "return">;
+    readonly chat: FormContract<"message" | "mode" | "project" | "request" | "request-session" | "result" | "task" | "token">;
+    readonly chatFile: FormContract<"token">;
+    readonly chatAck: FormContract<"nonce" | "token">;
+    readonly recipes: FormContract<"document" | "next" | "preview" | "projectRevision" | "purpose" | "recipe" | "recipeRevision" | "repo" | "source" | "sourceRevision">;
+    readonly routinesAdd: FormContract<"acceptance" | "ceiling" | "goal" | "interval" | "interval-unit" | "name" | "not" | "projectRevision" | "repeat" | "schedule" | "time" | "timezone" | "touches" | "weekday">;
+    readonly routine: FormContract<"digest" | "nonce" | "token">;
+    readonly runNote: FormContract<"note">;
+    readonly diffComment: FormContract<"batch" | "intent" | "line" | "note" | "path" | "request" | "return" | "source" | "tab">;
+    readonly editorLinks: FormContract<"on" | "return">;
+    readonly turn: FormContract<"text">;
+    readonly revise: FormContract<"batch" | "return" | "source">;
+    readonly followUp: FormContract<"level" | "return">;
+    readonly resolveIncident: FormContract<"return">;
+    readonly taskSteer: FormContract<"note">;
+    readonly taskHold: FormContract<"reason">;
+    readonly taskBlock: FormContract<"on">;
+    readonly taskRepairDependency: FormContract<"blocker" | "operation" | "replacement">;
+    readonly taskNext: FormContract<"undo">;
+    readonly taskReopen: FormContract<"token">;
+    readonly taskRequeue: FormContract<"note" | "return">;
+    readonly taskFollowUp: FormContract<"index">;
+    readonly taskPlanEdit: FormContract<"plan-document" | "saw-plan">;
+    readonly taskRevision: FormContract<"revision-id" | "token">;
+    readonly taskCancel: FormContract<"reason">;
+    readonly taskRoute: FormContract<"agent" | "clear-phase" | "model" | "phase" | "provider" | "return" | "risk" | "risky" | "sawDigest" | "size">;
+    readonly taskScope: FormContract<"acceptance" | "budget-microusd" | "budget-usd" | "goal" | "goal-brief" | "not" | "permission-mode" | "quality-mode" | "race-count" | "race-model" | "race-per-usd" | "race-total-usd" | "requirement" | "requirement-new" | "sawDigest" | "touches" | `compare-model-${string}` | `compare-provider-${string}`>;
+    readonly taskApprove: FormContract<"digest" | "nonce" | "return" | "token">;
+    readonly taskAcceptProof: FormContract<"note" | "return" | "run">;
+    readonly taskComplete: FormContract<"accept" | "note" | "publish" | "receipt" | "return" | "run">;
+    readonly taskStop: FormContract<"return" | "run">;
+    readonly taskResume: FormContract<"nonce" | "return" | "run" | "token">;
+};
+export type ConsoleFormName = keyof typeof CONSOLE_FORMS;
+/** The console POSTs whose handlers read no field (sign-out and the attended beat not even the shared guard): their contract is the empty form. */
+export declare const BODILESS_POSTS: readonly ["POST /settings/lead/on", "POST /r/<run>/draft-repair", "POST /ledger/checkpoint", "POST /settings/backups/now", "POST /mode/revoke", "POST /settings/telegram/retry", "POST /providers/<provider>/resume", "POST /session/attended-beats", "POST /logout", "POST /t/<task>/unhold", "POST /t/<task>/plan", "POST /t/<task>/retry-review"];
+/** The field names a console form's handler may read. */
+export type FormFieldOf<N extends ConsoleFormName> = (typeof CONSOLE_FORMS)[N] extends FormContract<infer K> ? K : never;
+/** `GET /ledger?format=json`: the chain's state, a page of entries (newest first) and the cursor for the next. */
+export declare const ledgerPageSchema: z.ZodObject<{
+    chain: z.ZodObject<{
+        ok: z.ZodBoolean;
+        entries: z.ZodNumber;
+        through: z.ZodNullable<z.ZodNumber>;
+        head: z.ZodString;
+        problem: z.ZodNullable<z.ZodObject<{
+            id: z.ZodNullable<z.ZodNumber>;
+            what: z.ZodString;
+        }, z.core.$loose>>;
+    }, z.core.$loose>;
+    entries: z.ZodArray<z.ZodObject<{
+        id: z.ZodNumber;
+        at: z.ZodString;
+        actor: z.ZodString;
+        repo: z.ZodNullable<z.ZodString>;
+        taskId: z.ZodNullable<z.ZodString>;
+        runId: z.ZodNullable<z.ZodNumber>;
+        action: z.ZodString;
+        outcome: z.ZodString;
+        source: z.ZodString;
+        detail: z.ZodNullable<z.ZodString>;
+    }, z.core.$loose>>;
+    nextBefore: z.ZodNullable<z.ZodNumber>;
+}, z.core.$loose>;
+/** `GET /t/<task>/evidence?format=json`: a task's evidence pack, as `evidence-pack.ts` builds and digests it. */
+export declare const evidencePackSchema: z.ZodObject<{
+    format: z.ZodString;
+    generatedAt: z.ZodString;
+    generatedBy: z.ZodString;
+    task: z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        state: z.ZodString;
+        repo: z.ZodNullable<z.ZodString>;
+        project: z.ZodNullable<z.ZodString>;
+        filedAt: z.ZodString;
+    }, z.core.$loose>;
+    rules: z.ZodNullable<z.ZodObject<{
+        now: z.ZodString;
+        changes: z.ZodArray<z.ZodObject<{
+            id: z.ZodNumber;
+            at: z.ZodString;
+            by: z.ZodString;
+            change: z.ZodNullable<z.ZodString>;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+    versions: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        state: z.ZodString;
+        filedAt: z.ZodString;
+        scope: z.ZodNullable<z.ZodObject<{
+            digest: z.ZodString;
+        }, z.core.$loose>>;
+        runs: z.ZodArray<z.ZodObject<{
+            id: z.ZodNumber;
+        }, z.core.$loose>>;
+    }, z.core.$loose>>;
+    result: z.ZodNullable<z.ZodObject<{
+        runId: z.ZodNumber;
+    }, z.core.$loose>>;
+    totals: z.ZodObject<{
+        runs: z.ZodNumber;
+        costUsd: z.ZodNumber;
+        tokensIn: z.ZodNumber;
+        tokensOut: z.ZodNumber;
+    }, z.core.$loose>;
+    ledger: z.ZodObject<{
+        entries: z.ZodArray<z.ZodObject<{
+            id: z.ZodNumber;
+            at: z.ZodString;
+            actor: z.ZodString;
+            repo: z.ZodNullable<z.ZodString>;
+            taskId: z.ZodNullable<z.ZodString>;
+            runId: z.ZodNullable<z.ZodNumber>;
+            action: z.ZodString;
+            outcome: z.ZodString;
+            source: z.ZodString;
+            detail: z.ZodNullable<z.ZodString>;
+        }, z.core.$loose>>;
+        truncated: z.ZodBoolean;
+        chain: z.ZodObject<{
+            ok: z.ZodBoolean;
+            entries: z.ZodNumber;
+            through: z.ZodNullable<z.ZodNumber>;
+            head: z.ZodString;
+            problem: z.ZodNullable<z.ZodString>;
+            checkedAt: z.ZodNullable<z.ZodString>;
+        }, z.core.$loose>;
+        checkpoint: z.ZodNullable<z.ZodObject<{
+            through: z.ZodNumber;
+            hash: z.ZodString;
+            at: z.ZodString;
+        }, z.core.$loose>>;
+        recipe: z.ZodString;
+    }, z.core.$loose>;
+    digest: z.ZodString;
+}, z.core.$loose>;
+/** `GET /flows/<id>?format=json`: the flow page's view (the same one the workspace renders). */
+export declare const flowViewSchema: z.ZodObject<{
+    kind: z.ZodLiteral<"flow">;
+    flow: z.ZodObject<{
+        id: z.ZodNumber;
+        name: z.ZodString;
+        project: z.ZodString;
+        revision: z.ZodNumber;
+        href: z.ZodString;
+        owner: z.ZodString;
+    }, z.core.$loose>;
+    chatHref: z.ZodString;
+    triggers: z.ZodArray<z.ZodObject<{}, z.core.$loose>>;
+    triggerSetup: z.ZodObject<{}, z.core.$loose>;
+    startTrigger: z.ZodNullable<z.ZodNumber>;
+    me: z.ZodString;
+    sortReady: z.ZodBoolean;
+    emailReady: z.ZodBoolean;
+    requestSecrets: z.ZodArray<z.ZodString>;
+    tools: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+    }, z.core.$loose>>;
+    scripts: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+    }, z.core.$loose>>;
+    start: z.ZodString;
+    stages: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodString;
+    }, z.core.$loose>>;
+    cards: z.ZodArray<z.ZodObject<{
+        id: z.ZodNumber;
+    }, z.core.$loose>>;
+    selectedCard: z.ZodNullable<z.ZodNumber>;
+    live: z.ZodNullable<z.ZodString>;
+    canEdit: z.ZodBoolean;
+    approvers: z.ZodArray<z.ZodString>;
+    kinds: z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+        label: z.ZodString;
+    }, z.core.$loose>>;
+    colors: z.ZodArray<z.ZodString>;
+}, z.core.$loose>;
+export declare const CONSOLE_RESPONSES: {
+    readonly ledgerPage: {
+        readonly route: "GET /ledger?format=json";
+        readonly schema: z.ZodObject<{
+            chain: z.ZodObject<{
+                ok: z.ZodBoolean;
+                entries: z.ZodNumber;
+                through: z.ZodNullable<z.ZodNumber>;
+                head: z.ZodString;
+                problem: z.ZodNullable<z.ZodObject<{
+                    id: z.ZodNullable<z.ZodNumber>;
+                    what: z.ZodString;
+                }, z.core.$loose>>;
+            }, z.core.$loose>;
+            entries: z.ZodArray<z.ZodObject<{
+                id: z.ZodNumber;
+                at: z.ZodString;
+                actor: z.ZodString;
+                repo: z.ZodNullable<z.ZodString>;
+                taskId: z.ZodNullable<z.ZodString>;
+                runId: z.ZodNullable<z.ZodNumber>;
+                action: z.ZodString;
+                outcome: z.ZodString;
+                source: z.ZodString;
+                detail: z.ZodNullable<z.ZodString>;
+            }, z.core.$loose>>;
+            nextBefore: z.ZodNullable<z.ZodNumber>;
+        }, z.core.$loose>;
+    };
+    readonly evidencePack: {
+        readonly route: "GET /t/<task>/evidence?format=json";
+        readonly schema: z.ZodObject<{
+            format: z.ZodString;
+            generatedAt: z.ZodString;
+            generatedBy: z.ZodString;
+            task: z.ZodObject<{
+                id: z.ZodString;
+                title: z.ZodString;
+                state: z.ZodString;
+                repo: z.ZodNullable<z.ZodString>;
+                project: z.ZodNullable<z.ZodString>;
+                filedAt: z.ZodString;
+            }, z.core.$loose>;
+            rules: z.ZodNullable<z.ZodObject<{
+                now: z.ZodString;
+                changes: z.ZodArray<z.ZodObject<{
+                    id: z.ZodNumber;
+                    at: z.ZodString;
+                    by: z.ZodString;
+                    change: z.ZodNullable<z.ZodString>;
+                }, z.core.$loose>>;
+            }, z.core.$loose>>;
+            versions: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                title: z.ZodString;
+                state: z.ZodString;
+                filedAt: z.ZodString;
+                scope: z.ZodNullable<z.ZodObject<{
+                    digest: z.ZodString;
+                }, z.core.$loose>>;
+                runs: z.ZodArray<z.ZodObject<{
+                    id: z.ZodNumber;
+                }, z.core.$loose>>;
+            }, z.core.$loose>>;
+            result: z.ZodNullable<z.ZodObject<{
+                runId: z.ZodNumber;
+            }, z.core.$loose>>;
+            totals: z.ZodObject<{
+                runs: z.ZodNumber;
+                costUsd: z.ZodNumber;
+                tokensIn: z.ZodNumber;
+                tokensOut: z.ZodNumber;
+            }, z.core.$loose>;
+            ledger: z.ZodObject<{
+                entries: z.ZodArray<z.ZodObject<{
+                    id: z.ZodNumber;
+                    at: z.ZodString;
+                    actor: z.ZodString;
+                    repo: z.ZodNullable<z.ZodString>;
+                    taskId: z.ZodNullable<z.ZodString>;
+                    runId: z.ZodNullable<z.ZodNumber>;
+                    action: z.ZodString;
+                    outcome: z.ZodString;
+                    source: z.ZodString;
+                    detail: z.ZodNullable<z.ZodString>;
+                }, z.core.$loose>>;
+                truncated: z.ZodBoolean;
+                chain: z.ZodObject<{
+                    ok: z.ZodBoolean;
+                    entries: z.ZodNumber;
+                    through: z.ZodNullable<z.ZodNumber>;
+                    head: z.ZodString;
+                    problem: z.ZodNullable<z.ZodString>;
+                    checkedAt: z.ZodNullable<z.ZodString>;
+                }, z.core.$loose>;
+                checkpoint: z.ZodNullable<z.ZodObject<{
+                    through: z.ZodNumber;
+                    hash: z.ZodString;
+                    at: z.ZodString;
+                }, z.core.$loose>>;
+                recipe: z.ZodString;
+            }, z.core.$loose>;
+            digest: z.ZodString;
+        }, z.core.$loose>;
+    };
+    readonly flowView: {
+        readonly route: "GET /flows/<id>?format=json";
+        readonly schema: z.ZodObject<{
+            kind: z.ZodLiteral<"flow">;
+            flow: z.ZodObject<{
+                id: z.ZodNumber;
+                name: z.ZodString;
+                project: z.ZodString;
+                revision: z.ZodNumber;
+                href: z.ZodString;
+                owner: z.ZodString;
+            }, z.core.$loose>;
+            chatHref: z.ZodString;
+            triggers: z.ZodArray<z.ZodObject<{}, z.core.$loose>>;
+            triggerSetup: z.ZodObject<{}, z.core.$loose>;
+            startTrigger: z.ZodNullable<z.ZodNumber>;
+            me: z.ZodString;
+            sortReady: z.ZodBoolean;
+            emailReady: z.ZodBoolean;
+            requestSecrets: z.ZodArray<z.ZodString>;
+            tools: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+            }, z.core.$loose>>;
+            scripts: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+            }, z.core.$loose>>;
+            start: z.ZodString;
+            stages: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodString;
+            }, z.core.$loose>>;
+            cards: z.ZodArray<z.ZodObject<{
+                id: z.ZodNumber;
+            }, z.core.$loose>>;
+            selectedCard: z.ZodNullable<z.ZodNumber>;
+            live: z.ZodNullable<z.ZodString>;
+            canEdit: z.ZodBoolean;
+            approvers: z.ZodArray<z.ZodString>;
+            kinds: z.ZodArray<z.ZodObject<{
+                kind: z.ZodString;
+                label: z.ZodString;
+            }, z.core.$loose>>;
+            colors: z.ZodArray<z.ZodString>;
+        }, z.core.$loose>;
+    };
+};
+export type ConsoleResponseName = keyof typeof CONSOLE_RESPONSES;
+/** Check a JSON response just before it is sent; a disagreement is reported, and the payload is returned unchanged. */
+export declare function checkResponse<T>(name: ConsoleResponseName, payload: T, report?: ContractReport): T;
+export {};