@intentic/sandbox-contract 1.311.0 → 1.312.0

package/dist/schemas/workspace/mainline.d.ts

@@ -0,0 +1,371 @@
+import { z } from "zod";
+export declare const MainlineLandSchema: z.ZodObject<{
+    conversationId: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    at: z.ZodNumber;
+}, z.core.$strip>;
+export type MainlineLand = z.infer<typeof MainlineLandSchema>;
+export declare const MainlineRoutingKindSchema: z.ZodEnum<{
+    "fix-up": "fix-up";
+    held: "held";
+    original: "original";
+    reported: "reported";
+    resolved: "resolved";
+    spent: "spent";
+    waiting: "waiting";
+}>;
+export type MainlineRoutingKind = z.infer<typeof MainlineRoutingKindSchema>;
+export declare const MainlineRoutingSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        "fix-up": "fix-up";
+        held: "held";
+        original: "original";
+        reported: "reported";
+        resolved: "resolved";
+        spent: "spent";
+        waiting: "waiting";
+    }>;
+    conversationId: z.ZodOptional<z.ZodString>;
+    at: z.ZodNumber;
+    detail: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type MainlineRouting = z.infer<typeof MainlineRoutingSchema>;
+export declare const MAINLINE_FAILURES_KEPT = 30;
+export declare const MainlineRunSchema: z.ZodObject<{
+    project: z.ZodString;
+    command: z.ZodString;
+    status: z.ZodEnum<{
+        green: "green";
+        red: "red";
+    }>;
+    startedAt: z.ZodNumber;
+    at: z.ZodNumber;
+    lands: z.ZodArray<z.ZodObject<{
+        conversationId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        at: z.ZodNumber;
+    }, z.core.$strip>>;
+    failures: z.ZodArray<z.ZodString>;
+    failureCount: z.ZodNumber;
+    attempt: z.ZodNumber;
+    suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    routing: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<{
+            "fix-up": "fix-up";
+            held: "held";
+            original: "original";
+            reported: "reported";
+            resolved: "resolved";
+            spent: "spent";
+            waiting: "waiting";
+        }>;
+        conversationId: z.ZodOptional<z.ZodString>;
+        at: z.ZodNumber;
+        detail: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type MainlineRun = z.infer<typeof MainlineRunSchema>;
+export declare const MainlineProjectSchema: z.ZodObject<{
+    project: z.ZodString;
+    running: z.ZodOptional<z.ZodObject<{
+        command: z.ZodString;
+        startedAt: z.ZodNumber;
+        lands: z.ZodArray<z.ZodObject<{
+            conversationId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            at: z.ZodNumber;
+        }, z.core.$strip>>;
+        on: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    queued: z.ZodArray<z.ZodObject<{
+        conversationId: z.ZodString;
+        title: z.ZodOptional<z.ZodString>;
+        at: z.ZodNumber;
+    }, z.core.$strip>>;
+    last: z.ZodOptional<z.ZodObject<{
+        project: z.ZodString;
+        command: z.ZodString;
+        status: z.ZodEnum<{
+            green: "green";
+            red: "red";
+        }>;
+        startedAt: z.ZodNumber;
+        at: z.ZodNumber;
+        lands: z.ZodArray<z.ZodObject<{
+            conversationId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            at: z.ZodNumber;
+        }, z.core.$strip>>;
+        failures: z.ZodArray<z.ZodString>;
+        failureCount: z.ZodNumber;
+        attempt: z.ZodNumber;
+        suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        routing: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodEnum<{
+                "fix-up": "fix-up";
+                held: "held";
+                original: "original";
+                reported: "reported";
+                resolved: "resolved";
+                spent: "spent";
+                waiting: "waiting";
+            }>;
+            conversationId: z.ZodOptional<z.ZodString>;
+            at: z.ZodNumber;
+            detail: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    redSince: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export type MainlineProject = z.infer<typeof MainlineProjectSchema>;
+export declare const PushFindingKindSchema: z.ZodEnum<{
+    check: "check";
+    lint: "lint";
+    lockstep: "lockstep";
+    ratchet: "ratchet";
+    rustfmt: "rustfmt";
+}>;
+export type PushFindingKind = z.infer<typeof PushFindingKindSchema>;
+export declare const PushFindingStateSchema: z.ZodEnum<{
+    dismissed: "dismissed";
+    open: "open";
+    resolved: "resolved";
+}>;
+export type PushFindingState = z.infer<typeof PushFindingStateSchema>;
+export declare const PushFindingSchema: z.ZodObject<{
+    id: z.ZodString;
+    kind: z.ZodEnum<{
+        check: "check";
+        lint: "lint";
+        lockstep: "lockstep";
+        ratchet: "ratchet";
+        rustfmt: "rustfmt";
+    }>;
+    check: z.ZodOptional<z.ZodString>;
+    gate: z.ZodOptional<z.ZodEnum<{
+        code: "code";
+        tidy: "tidy";
+    }>>;
+    text: z.ZodString;
+    command: z.ZodOptional<z.ZodString>;
+    commit: z.ZodOptional<z.ZodObject<{
+        sha: z.ZodString;
+        subject: z.ZodString;
+    }, z.core.$strip>>;
+    state: z.ZodEnum<{
+        dismissed: "dismissed";
+        open: "open";
+        resolved: "resolved";
+    }>;
+    settledAt: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export type PushFinding = z.infer<typeof PushFindingSchema>;
+export declare const MainlinePushSchema: z.ZodObject<{
+    project: z.ZodString;
+    id: z.ZodString;
+    at: z.ZodNumber;
+    remote: z.ZodOptional<z.ZodString>;
+    branch: z.ZodOptional<z.ZodString>;
+    base: z.ZodOptional<z.ZodString>;
+    head: z.ZodString;
+    commits: z.ZodNumber;
+    findings: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        kind: z.ZodEnum<{
+            check: "check";
+            lint: "lint";
+            lockstep: "lockstep";
+            ratchet: "ratchet";
+            rustfmt: "rustfmt";
+        }>;
+        check: z.ZodOptional<z.ZodString>;
+        gate: z.ZodOptional<z.ZodEnum<{
+            code: "code";
+            tidy: "tidy";
+        }>>;
+        text: z.ZodString;
+        command: z.ZodOptional<z.ZodString>;
+        commit: z.ZodOptional<z.ZodObject<{
+            sha: z.ZodString;
+            subject: z.ZodString;
+        }, z.core.$strip>>;
+        state: z.ZodEnum<{
+            dismissed: "dismissed";
+            open: "open";
+            resolved: "resolved";
+        }>;
+        settledAt: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    measuredAt: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export type MainlinePush = z.infer<typeof MainlinePushSchema>;
+export declare const MainlineStatusSchema: z.ZodObject<{
+    projects: z.ZodArray<z.ZodObject<{
+        project: z.ZodString;
+        running: z.ZodOptional<z.ZodObject<{
+            command: z.ZodString;
+            startedAt: z.ZodNumber;
+            lands: z.ZodArray<z.ZodObject<{
+                conversationId: z.ZodString;
+                title: z.ZodOptional<z.ZodString>;
+                at: z.ZodNumber;
+            }, z.core.$strip>>;
+            on: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        queued: z.ZodArray<z.ZodObject<{
+            conversationId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            at: z.ZodNumber;
+        }, z.core.$strip>>;
+        last: z.ZodOptional<z.ZodObject<{
+            project: z.ZodString;
+            command: z.ZodString;
+            status: z.ZodEnum<{
+                green: "green";
+                red: "red";
+            }>;
+            startedAt: z.ZodNumber;
+            at: z.ZodNumber;
+            lands: z.ZodArray<z.ZodObject<{
+                conversationId: z.ZodString;
+                title: z.ZodOptional<z.ZodString>;
+                at: z.ZodNumber;
+            }, z.core.$strip>>;
+            failures: z.ZodArray<z.ZodString>;
+            failureCount: z.ZodNumber;
+            attempt: z.ZodNumber;
+            suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            routing: z.ZodOptional<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    "fix-up": "fix-up";
+                    held: "held";
+                    original: "original";
+                    reported: "reported";
+                    resolved: "resolved";
+                    spent: "spent";
+                    waiting: "waiting";
+                }>;
+                conversationId: z.ZodOptional<z.ZodString>;
+                at: z.ZodNumber;
+                detail: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+        redSince: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    recent: z.ZodArray<z.ZodObject<{
+        project: z.ZodString;
+        command: z.ZodString;
+        status: z.ZodEnum<{
+            green: "green";
+            red: "red";
+        }>;
+        startedAt: z.ZodNumber;
+        at: z.ZodNumber;
+        lands: z.ZodArray<z.ZodObject<{
+            conversationId: z.ZodString;
+            title: z.ZodOptional<z.ZodString>;
+            at: z.ZodNumber;
+        }, z.core.$strip>>;
+        failures: z.ZodArray<z.ZodString>;
+        failureCount: z.ZodNumber;
+        attempt: z.ZodNumber;
+        suspects: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        routing: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodEnum<{
+                "fix-up": "fix-up";
+                held: "held";
+                original: "original";
+                reported: "reported";
+                resolved: "resolved";
+                spent: "spent";
+                waiting: "waiting";
+            }>;
+            conversationId: z.ZodOptional<z.ZodString>;
+            at: z.ZodNumber;
+            detail: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    pushes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        project: z.ZodString;
+        id: z.ZodString;
+        at: z.ZodNumber;
+        remote: z.ZodOptional<z.ZodString>;
+        branch: z.ZodOptional<z.ZodString>;
+        base: z.ZodOptional<z.ZodString>;
+        head: z.ZodString;
+        commits: z.ZodNumber;
+        findings: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodEnum<{
+                check: "check";
+                lint: "lint";
+                lockstep: "lockstep";
+                ratchet: "ratchet";
+                rustfmt: "rustfmt";
+            }>;
+            check: z.ZodOptional<z.ZodString>;
+            gate: z.ZodOptional<z.ZodEnum<{
+                code: "code";
+                tidy: "tidy";
+            }>>;
+            text: z.ZodString;
+            command: z.ZodOptional<z.ZodString>;
+            commit: z.ZodOptional<z.ZodObject<{
+                sha: z.ZodString;
+                subject: z.ZodString;
+            }, z.core.$strip>>;
+            state: z.ZodEnum<{
+                dismissed: "dismissed";
+                open: "open";
+                resolved: "resolved";
+            }>;
+            settledAt: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        measuredAt: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>;
+export type MainlineStatus = z.infer<typeof MainlineStatusSchema>;
+export declare const MainlinePushDismissSchema: z.ZodObject<{
+    project: z.ZodString;
+    ids: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    restore: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>;
+export type MainlinePushDismiss = z.infer<typeof MainlinePushDismissSchema>;
+export declare const MainlinePushDismissResultSchema: z.ZodObject<{
+    changed: z.ZodNumber;
+}, z.core.$strip>;
+export declare const MainlinePushRecheckSchema: z.ZodObject<{
+    project: z.ZodString;
+}, z.core.$strip>;
+export declare const MainlinePushRecheckResultSchema: z.ZodObject<{
+    measured: z.ZodBoolean;
+    resolved: z.ZodNumber;
+    open: z.ZodNumber;
+}, z.core.$strip>;
+export type MainlinePushRecheckResult = z.infer<typeof MainlinePushRecheckResultSchema>;
+export declare const MainlinePushFixSchema: z.ZodObject<{
+    project: z.ZodString;
+    pick: z.ZodOptional<z.ZodObject<{
+        agent: z.ZodString;
+        model: z.ZodString;
+        account: z.ZodOptional<z.ZodString>;
+        harness: z.ZodOptional<z.ZodEnum<{
+            "claude-code": "claude-code";
+            native: "native";
+        }>>;
+        effort: z.ZodOptional<z.ZodString>;
+        thinking: z.ZodOptional<z.ZodBoolean>;
+        fast: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>>;
+    mode: z.ZodOptional<z.ZodEnum<{
+        continue: "continue";
+        "start-over": "start-over";
+    }>>;
+}, z.core.$strip>;
+export type MainlinePushFix = z.infer<typeof MainlinePushFixSchema>;
+export declare const MainlinePushFixResultSchema: z.ZodObject<{
+    conversationId: z.ZodString;
+}, z.core.$strip>;
+export declare const oldestOpenPush: (pushes: readonly MainlinePush[], project: string) => MainlinePush | undefined;
+export declare const pushFindingsFixBase: (pushes: readonly MainlinePush[], project: string) => string | undefined;
+//# sourceMappingURL=mainline.d.ts.map

package/dist/schemas/workspace/mainline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mainline.d.ts","sourceRoot":"","sources":["../../../src/schemas/workspace/mainline.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,eAAO,MAAM,kBAAkB;;;;iBAI7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAG9D,eAAO,MAAM,yBAAyB;;;;;;;;EAepC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;iBAQhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAGpE,eAAO,MAAM,sBAAsB,KAAK,CAAC;AAEzC,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAe5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAchC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAWpE,eAAO,MAAM,qBAAqB;;;;;;EAA8D,CAAC;AACjG,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,sBAAsB;;;;EAOjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;iBAgB5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAW7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAO/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,yBAAyB;;;;iBAIpC,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE5E,eAAO,MAAM,+BAA+B;;iBAE1C,CAAC;AAEH,eAAO,MAAM,yBAAyB;;iBAEpC,CAAC;AAEH,eAAO,MAAM,+BAA+B;;;;iBAI1C,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC;AAExF,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;iBAWhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,2BAA2B;;iBAEtC,CAAC;AAKH,eAAO,MAAM,cAAc,WAAY,SAAS,YAAY,EAAE,WAAW,MAAM,KAAG,YAAY,GAAG,SACmB,CAAC;AAIrH,eAAO,MAAM,mBAAmB,WAAY,SAAS,YAAY,EAAE,WAAW,MAAM,KAAG,MAAM,GAAG,SAG/F,CAAC"}

package/dist/schemas/workspace/mainline.js

@@ -0,0 +1,134 @@
+import { z } from "zod";
+import { pushFixConversationId } from "../../ids/conversation-ids.js";
+import { AgentRunPickSchema } from "../agent.js";
+export const MainlineLandSchema = z.object({
+    conversationId: z.string().describe("The conversation whose work landed."),
+    title: z.string().optional().describe("Its title when it landed."),
+    at: z.number().describe("When the land asked for the check, in milliseconds."),
+});
+export const MainlineRoutingKindSchema = z.enum([
+    "waiting",
+    "held",
+    "original",
+    "fix-up",
+    "reported",
+    "resolved",
+    "spent",
+]);
+export const MainlineRoutingSchema = z.object({
+    kind: MainlineRoutingKindSchema.describe("What became of the failures."),
+    conversationId: z
+        .string()
+        .optional()
+        .describe("The conversation working on them (the original or a fresh one), or the one still working that the repair waits for."),
+    at: z.number().describe("When that was decided, in milliseconds."),
+    detail: z.string().optional().describe("One sentence on why, in the sandbox's words."),
+});
+export const MAINLINE_FAILURES_KEPT = 30;
+export const MainlineRunSchema = z.object({
+    project: z.string().describe("Which project, by folder relative to the workspace. Empty is the workspace root."),
+    command: z.string().describe("What ran."),
+    status: z.enum(["green", "red"]).describe("How it ended."),
+    startedAt: z.number().describe("When it started, in milliseconds."),
+    at: z.number().describe("When it ended, in milliseconds."),
+    lands: z.array(MainlineLandSchema).describe("The lands it answered for, oldest first. Empty for a run no land asked for."),
+    failures: z.array(z.string()).describe(`The first failures it named, at most ${MAINLINE_FAILURES_KEPT}.`),
+    failureCount: z.number().describe("How many failures it named in all. Zero on a red run that wrote no list."),
+    attempt: z.number().describe("How many red runs in a row this is for the project; zero when green."),
+    suspects: z
+        .array(z.string())
+        .optional()
+        .describe("The conversations whose lands these failures were laid at, when any could be named."),
+    routing: MainlineRoutingSchema.optional().describe("What became of a red run's failures. Absent on green, and until it is decided."),
+});
+export const MainlineProjectSchema = z.object({
+    project: z.string().describe("Which project, by folder relative to the workspace. Empty is the workspace root."),
+    running: z
+        .object({
+        command: z.string().describe("What is running."),
+        startedAt: z.number().describe("When it started, in milliseconds."),
+        lands: z.array(MainlineLandSchema).describe("The lands it answers for."),
+        on: z.string().optional().describe("The runner it was sent to, on one of your machines. Absent when it runs in this sandbox."),
+    })
+        .optional()
+        .describe("The check running on it now, if any."),
+    queued: z.array(MainlineLandSchema).describe("Lands waiting for the next check, which will measure them together."),
+    last: MainlineRunSchema.optional().describe("Its most recent settled check."),
+    redSince: z.number().optional().describe("When its checks went red and stayed so, in milliseconds. Absent while green."),
+});
+export const PushFindingKindSchema = z.enum(["check", "lint", "ratchet", "lockstep", "rustfmt"]);
+export const PushFindingStateSchema = z.enum([
+    "open",
+    "resolved",
+    "dismissed",
+]);
+export const PushFindingSchema = z.object({
+    id: z.string().describe("Stable across pushes: the same problem found again is the same id."),
+    kind: PushFindingKindSchema.describe("What measured it."),
+    check: z.string().optional().describe("The check's own id, for a check's finding."),
+    gate: z
+        .enum(["code", "tidy"])
+        .optional()
+        .describe("For a check's finding: `code` means the tree fails the check whoever caused it; `tidy` means the push added this line."),
+    text: z.string().describe("The finding as the check printed it."),
+    command: z.string().optional().describe("The command that shows it again."),
+    commit: z
+        .object({ sha: z.string(), subject: z.string() })
+        .optional()
+        .describe("The newest pushed commit that touched the path the finding names, when it names one."),
+    state: PushFindingStateSchema,
+    settledAt: z.number().optional().describe("When it was resolved or dismissed, in milliseconds."),
+});
+export const MainlinePushSchema = z.object({
+    project: z.string().describe("Which project, by folder relative to the workspace. Empty is the workspace root."),
+    id: z.string().describe("The report's own id."),
+    at: z.number().describe("When the push check ran, in milliseconds."),
+    remote: z.string().optional().describe("The remote it was pushed to."),
+    branch: z.string().optional().describe("The branch it was pushed to."),
+    base: z.string().optional().describe("The commit the pushed range starts from; absent when the remote had nothing to compare with."),
+    head: z.string().describe("The commit that was pushed."),
+    commits: z.number().describe("How many commits the push carried."),
+    findings: z.array(PushFindingSchema).describe("What it found that this push brought in, open or not. Empty for a clean push."),
+    measuredAt: z.number().optional().describe("When its findings were last measured again, in milliseconds."),
+});
+export const MainlineStatusSchema = z.object({
+    projects: z.array(MainlineProjectSchema).describe("Every project a land has been checked in, or is waiting to be."),
+    recent: z.array(MainlineRunSchema).describe("The latest settled checks across every project, newest first."),
+    pushes: z
+        .array(MainlinePushSchema)
+        .optional()
+        .describe("The latest push checks across every project, newest first, with what each left behind. Absent from a daemon that records none."),
+});
+export const MainlinePushDismissSchema = z.object({
+    project: z.string().describe("Which project, by folder relative to the workspace."),
+    ids: z.array(z.string()).optional().describe("Which findings. Leave it out for every open one in the project."),
+    restore: z.boolean().optional().describe("Undo: open the named dismissed findings again."),
+});
+export const MainlinePushDismissResultSchema = z.object({
+    changed: z.number().describe("How many findings changed state."),
+});
+export const MainlinePushRecheckSchema = z.object({
+    project: z.string().describe("Which project, by folder relative to the workspace."),
+});
+export const MainlinePushRecheckResultSchema = z.object({
+    measured: z.boolean().describe("Whether the project could be measured at all; false leaves every finding as it was."),
+    resolved: z.number().describe("How many findings the measurement no longer saw."),
+    open: z.number().describe("How many are still open."),
+});
+export const MainlinePushFixSchema = z.object({
+    project: z.string().describe("Which project's open push findings to hand over, by folder relative to the workspace."),
+    pick: AgentRunPickSchema.describe("Which model to open the conversation on, when somebody chose one. Leave it out for the sandbox's own choice."),
+    mode: z
+        .enum(["continue", "start-over"])
+        .optional()
+        .describe("What to do about an attempt already made at these findings: `continue` carries on in it, `start-over` files it away and opens the next attempt. Leave it out for the plain press."),
+});
+export const MainlinePushFixResultSchema = z.object({
+    conversationId: z.string().describe("The conversation holding the findings. Open it to watch."),
+});
+export const oldestOpenPush = (pushes, project) => pushes.findLast((push) => push.project === project && push.findings.some((finding) => finding.state === "open"));
+export const pushFindingsFixBase = (pushes, project) => {
+    const oldest = oldestOpenPush(pushes, project);
+    return oldest === undefined ? undefined : pushFixConversationId(project === "" ? "workspace" : project, `left:${oldest.head}`);
+};
+//# sourceMappingURL=mainline.js.map

package/dist/schemas/workspace/mainline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mainline.js","sourceRoot":"","sources":["../../../src/schemas/workspace/mainline.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAMjD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IAC1E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IAClE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;CACjF,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,IAAI,CAAC;IAE5C,SAAS;IAET,MAAM;IAEN,UAAU;IAEV,QAAQ;IAER,UAAU;IAEV,UAAU;IAEV,OAAO;CACV,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,yBAAyB,CAAC,QAAQ,CAAC,8BAA8B,CAAC;IACxE,cAAc,EAAE,CAAC;SACZ,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,CAAC,qHAAqH,CAAC;IACpI,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;IAClE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;CACzF,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAEzC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kFAAkF,CAAC;IAChH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACzC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;IAC1D,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACnE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;IAC1D,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,6EAA6E,CAAC;IAC1H,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,wCAAwC,sBAAsB,GAAG,CAAC;IACzG,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0EAA0E,CAAC;IAC7G,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sEAAsE,CAAC;IACpG,QAAQ,EAAE,CAAC;SACN,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,qFAAqF,CAAC;IACpG,OAAO,EAAE,qBAAqB,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gFAAgF,CAAC;CACvI,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kFAAkF,CAAC;IAChH,OAAO,EAAE,CAAC;SACL,MAAM,CAAC;QACJ,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAChD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;QACnE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QACxE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,0FAA0F,CAAC;KACjI,CAAC;SACD,QAAQ,EAAE;SACV,QAAQ,CAAC,sCAAsC,CAAC;IACrD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,QAAQ,CAAC,qEAAqE,CAAC;IACnH,IAAI,EAAE,iBAAiB,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;IAC7E,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8EAA8E,CAAC;CAC3H,CAAC,CAAC;AAYH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAGjG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC;IAEzC,MAAM;IAEN,UAAU;IAEV,WAAW;CACd,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oEAAoE,CAAC;IAC7F,IAAI,EAAE,qBAAqB,CAAC,QAAQ,CAAC,mBAAmB,CAAC;IACzD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;IACnF,IAAI,EAAE,CAAC;SACF,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;SACtB,QAAQ,EAAE;SACV,QAAQ,CAAC,wHAAwH,CAAC;IACvI,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sCAAsC,CAAC;IACjE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;IAC3E,MAAM,EAAE,CAAC;SACJ,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;SAChD,QAAQ,EAAE;SACV,QAAQ,CAAC,sFAAsF,CAAC;IACrG,KAAK,EAAE,sBAAsB;IAC7B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;CACnG,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kFAAkF,CAAC;IAChH,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IAC/C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IACpE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC;IACtE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC;IACtE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8FAA8F,CAAC;IACpI,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IACxD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC;IAClE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,+EAA+E,CAAC;IAC9H,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8DAA8D,CAAC;CAC7G,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,gEAAgE,CAAC;IACnH,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,+DAA+D,CAAC;IAC5G,MAAM,EAAE,CAAC;SACJ,KAAK,CAAC,kBAAkB,CAAC;SACzB,QAAQ,EAAE;SACV,QAAQ,CAAC,gIAAgI,CAAC;CAClJ,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;IACnF,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iEAAiE,CAAC;IAC/G,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gDAAgD,CAAC;CAC7F,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;CACnE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;CACtF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,qFAAqF,CAAC;IACrH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;IACjF,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;CACxD,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uFAAuF,CAAC;IACrH,IAAI,EAAE,kBAAkB,CAAC,QAAQ,CAC7B,8GAA8G,CACjH;IACD,IAAI,EAAE,CAAC;SACF,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;SAChC,QAAQ,EAAE;SACV,QAAQ,CACL,mLAAmL,CACtL;CACR,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0DAA0D,CAAC;CAClG,CAAC,CAAC;AAKH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAA+B,EAAE,OAAe,EAA4B,EAAE,CACzG,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC;AAIrH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,MAA+B,EAAE,OAAe,EAAsB,EAAE;IACxG,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;AACnI,CAAC,CAAC"}

package/dist/schemas/workspace/workspace-tree.d.ts

@@ -29,8 +29,19 @@ export declare const WorkspaceTreeSchema: z.ZodObject<{
     tree: z.ZodArray<z.ZodType<WorkspaceTreeEntry, unknown, z.core.$ZodTypeInternals<WorkspaceTreeEntry, unknown>>>;
     hidden: z.ZodNumber;
     barren: z.ZodArray<z.ZodString>;
+    generation: z.ZodOptional<z.ZodNumber>;
 }, z.core.$strip>;
 export type WorkspaceTree = z.infer<typeof WorkspaceTreeSchema>;
+export declare const WorkspaceTreeDeltaSchema: z.ZodObject<{
+    from: z.ZodNumber;
+    generation: z.ZodNumber;
+    dirs: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        entries: z.ZodArray<z.ZodType<WorkspaceTreeEntry, unknown, z.core.$ZodTypeInternals<WorkspaceTreeEntry, unknown>>>;
+    }, z.core.$strip>>;
+    barren: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type WorkspaceTreeDelta = z.infer<typeof WorkspaceTreeDeltaSchema>;
 export declare const WorkspaceChildrenQuerySchema: z.ZodObject<{
     agent: z.ZodOptional<z.ZodString>;
     path: z.ZodString;
@@ -227,6 +238,18 @@ export declare const WorkspaceExtractSchema: z.ZodObject<{
     path: z.ZodString;
 }, z.core.$strip>;
 export type WorkspaceExtract = z.infer<typeof WorkspaceExtractSchema>;
+export declare const WorkspaceDeletedSchema: z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+    trashed: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type WorkspaceDeleted = z.infer<typeof WorkspaceDeletedSchema>;
+export declare const WorkspaceRestoreSchema: z.ZodObject<{
+    trashed: z.ZodString;
+}, z.core.$strip>;
+export declare const WorkspaceRestoredSchema: z.ZodObject<{
+    path: z.ZodString;
+}, z.core.$strip>;
+export type WorkspaceRestored = z.infer<typeof WorkspaceRestoredSchema>;
 export declare const WorkspaceBucketSchema: z.ZodEnum<{
     archives: "archives";
     documents: "documents";

package/dist/schemas/workspace/workspace-tree.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workspace-tree.d.ts","sourceRoot":"","sources":["../../../src/schemas/workspace/workspace-tree.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,oBAAoB;;iBAI/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAOlE,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;CACrD;AACD,eAAO,MAAM,mBAAmB;;;;;;iBAU9B,CAAC;AACH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAEnC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAEvC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAE1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,SAAS,CAAC;CACjE;AACD,eAAO,MAAM,wBAAwB,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAkBjE,CAAC;AACH,eAAO,MAAM,mBAAmB;;;;;iBAW9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAGhE,eAAO,MAAM,4BAA4B;;;;iBASvC,CAAC;AACH,eAAO,MAAM,uBAAuB;;;iBAOlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAGxE,eAAO,MAAM,wBAAwB;;iBAA6F,CAAC;AACnI,eAAO,MAAM,+BAA+B;;;iBAE1C,CAAC;AAGH,eAAO,MAAM,0BAA0B;;;iBAGrC,CAAC;AAGH,eAAO,MAAM,4BAA4B;;;;;iBAiBvC,CAAC;AAGH,eAAO,MAAM,0BAA0B;;;;;;;;iBAarC,CAAC;AAGH,eAAO,MAAM,yBAAyB;;;iBAOpC,CAAC;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;8BAA2F,CAAC;AAI5H,eAAO,MAAM,2BAA2B;;iBAKtC,CAAC;AAGH,eAAO,MAAM,mBAAmB;;;;;;;;iBAU9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAGhE,eAAO,MAAM,kBAAkB;;;;;;;EAA2E,CAAC;AAC3G,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAO9D,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoBxC,CAAC;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;iBAWvC,CAAC;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAAiG,CAAC;AACrI,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAGtE,eAAO,MAAM,2BAA2B;;;iBAQtC,CAAC;AACH,eAAO,MAAM,sBAAsB;;iBAEjC,CAAC;AAGH,eAAO,MAAM,kBAAkB;;iBAAoH,CAAC;AACpJ,eAAO,MAAM,mBAAmB;;;iBAG9B,CAAC;AAGH,eAAO,MAAM,sBAAsB;;iBAMjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAGtE,eAAO,MAAM,qBAAqB;;;;;;EAAsE,CAAC;AACzG,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACpE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;iBAYxC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC"}
+{"version":3,"file":"workspace-tree.d.ts","sourceRoot":"","sources":["../../../src/schemas/workspace/workspace-tree.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,eAAO,MAAM,oBAAoB;;iBAI/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAOlE,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;CACrD;AACD,eAAO,MAAM,mBAAmB;;;;;;iBAU9B,CAAC;AACH,MAAM,WAAW,kBAAkB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAEnC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAEvC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAE1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,SAAS,CAAC;CACjE;AACD,eAAO,MAAM,wBAAwB,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAkBjE,CAAC;AACH,eAAO,MAAM,mBAAmB;;;;;;iBAmB9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,eAAO,MAAM,wBAAwB;;;;;;;;iBAcnC,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAG1E,eAAO,MAAM,4BAA4B;;;;iBASvC,CAAC;AACH,eAAO,MAAM,uBAAuB;;;iBAOlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAGxE,eAAO,MAAM,wBAAwB;;iBAA6F,CAAC;AACnI,eAAO,MAAM,+BAA+B;;;iBAE1C,CAAC;AAGH,eAAO,MAAM,0BAA0B;;;iBAGrC,CAAC;AAGH,eAAO,MAAM,4BAA4B;;;;;iBAiBvC,CAAC;AAGH,eAAO,MAAM,0BAA0B;;;;;;;;iBAarC,CAAC;AAGH,eAAO,MAAM,yBAAyB;;;iBAOpC,CAAC;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;8BAA2F,CAAC;AAI5H,eAAO,MAAM,2BAA2B;;iBAKtC,CAAC;AAGH,eAAO,MAAM,mBAAmB;;;;;;;;iBAU9B,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAGhE,eAAO,MAAM,kBAAkB;;;;;;;EAA2E,CAAC;AAC3G,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAO9D,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoBxC,CAAC;AACH,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;iBAWvC,CAAC;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAAiG,CAAC;AACrI,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAGtE,eAAO,MAAM,2BAA2B;;;iBAQtC,CAAC;AACH,eAAO,MAAM,sBAAsB;;iBAEjC,CAAC;AAGH,eAAO,MAAM,kBAAkB;;iBAAoH,CAAC;AACpJ,eAAO,MAAM,mBAAmB;;;iBAG9B,CAAC;AAGH,eAAO,MAAM,sBAAsB;;iBAMjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,eAAO,MAAM,sBAAsB;;;iBAQjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AACtE,eAAO,MAAM,sBAAsB;;iBAEjC,CAAC;AACH,eAAO,MAAM,uBAAuB;;iBAMlC,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAC;AAGxE,eAAO,MAAM,qBAAqB;;;;;;EAAsE,CAAC;AACzG,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AACpE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;iBAYxC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC"}

package/dist/schemas/workspace/workspace-tree.js

@@ -36,6 +36,25 @@ export const WorkspaceTreeSchema = z.object({
     barren: z
         .array(z.string())
         .describe("Folders whose whole contents are empty folders, and nothing else. Complete for the workspace, however much of the tree above was listed, and ordered like the tree, so a parent comes before the branch below it."),
+    generation: z
+        .number()
+        .int()
+        .nonnegative()
+        .optional()
+        .describe("Which state of the shared tree this is; the changes that follow count from it. Absent for a conversation's own checkout, which is listed when asked and followed by no changes."),
+});
+export const WorkspaceTreeDeltaSchema = z.object({
+    from: z.number().int().nonnegative().describe("The generation this applies on top of. A reader holding any other fetches the tree afresh instead."),
+    generation: z.number().int().nonnegative().describe("The generation it leaves the tree at."),
+    dirs: z
+        .array(z.object({
+        path: z.string().describe("The folder, as a workspace path; empty for the workspace root."),
+        entries: z
+            .array(WorkspaceTreeEntrySchema)
+            .describe("Its entries now, without their contents: a folder whose own entries also changed comes as an item of its own."),
+    }))
+        .describe("Each folder that changed, parents before the folders inside them."),
+    barren: z.array(z.string()).optional().describe("The barren folders now, present only when that list moved."),
 });
 export const WorkspaceChildrenQuerySchema = WorkspaceScopeSchema.extend({
     path: z.string().min(1).describe("The folder to open, as a workspace path."),
@@ -165,6 +184,21 @@ export const WorkspaceExtractSchema = z.object({
         .string()
         .describe("Where the contents landed, as a workspace path: a new folder named after the archive, or the decompressed file itself when the archive held just one. Never an existing entry written over, so a name already taken lands beside it under a free one."),
 });
+export const WorkspaceDeletedSchema = z.object({
+    ok: z.literal(true).describe("Always true: the entry is gone from where it was, or was never there."),
+    trashed: z
+        .string()
+        .optional()
+        .describe("The trash id that brings it back through the restore call, for a day. Absent when there was nothing at that path to delete."),
+});
+export const WorkspaceRestoreSchema = z.object({
+    trashed: z.string().min(1).describe("The trash id a delete answered with."),
+});
+export const WorkspaceRestoredSchema = z.object({
+    path: z
+        .string()
+        .describe("Where it came back, as a workspace path: where it was deleted from, or beside that under a `(restored)` name when something new has taken the name since."),
+});
 export const WorkspaceBucketSchema = z.enum(["repositories", "documents", "media", "archives", "other"]);
 export const WorkspaceClassificationSchema = z.object({
     classifications: z