@intentic/sandbox-contract 1.315.0 → 1.316.0

package/dist/schemas/workspace/mainline.js

@@ -1,182 +0,0 @@
-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 MainlineLandRefSchema = z.object({
-    conversationId: z.string().describe("The conversation whose work landed."),
-    title: z.string().optional().describe("Its title when it landed."),
-});
-export const MainlineFailureSchema = z.object({
-    name: z.string().describe("What failed: a test by its own name, anything else (a type error, a whole task) as the check printed it."),
-    path: z.string().optional().describe("The repository path it failed in, when it names one."),
-});
-export const MainlineRoutingKindSchema = z.enum([
-    "waiting",
-    "held",
-    "original",
-    "fix-up",
-    "reported",
-    "resolved",
-    "spent",
-    "dismissed",
-]);
-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."),
-    findings: z
-        .array(z.string())
-        .optional()
-        .describe("The findings it was about, by id, when it was about some of a red's findings rather than the whole red."),
-});
-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."),
-    named: z
-        .boolean()
-        .optional()
-        .describe("Whether the failures were laid at the suspects by the paths they changed. False when nobody could be told apart (every land the run covered is a suspect) or nothing new failed in it (none is). Absent on green, and from a daemon that did not say."),
-    units: z
-        .array(MainlineFailureSchema)
-        .optional()
-        .describe("The same first failures, split into a name and the path they failed in. Absent from a daemon that does not split them."),
-    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."),
-    session: z
-        .string()
-        .optional()
-        .describe("The terminal session its check runs in, running or last, to attach to for the whole log. Absent from a daemon that does not say."),
-    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."),
-    red: z
-        .object({
-        since: z.number().describe("When its checks went red and stayed so, in milliseconds."),
-        cause: z
-            .array(MainlineLandRefSchema)
-            .describe("The work this red is laid at, oldest first: the lands its failures were laid at on the latest run of the streak that could name any. Empty when none could be."),
-        named: z.boolean().describe("Whether `cause` was narrowed by the paths the lands changed; false when it is every land the run covered."),
-        fixer: MainlineRoutingSchema.optional().describe("The latest decision about who has it. Absent until one is made."),
-    })
-        .optional()
-        .describe("The red streak it is in, as the sandbox laid it. Absent while green, and from a daemon that does not lay it."),
-});
-export const FindingSchema = z.object({
-    id: z.string().describe("Stable across measurements: the same problem found again is the same id."),
-    source: z.string().describe("What measured it, in the repository's own words: a check's id, `lint`, a hook."),
-    text: z.string().describe("The finding as it was printed."),
-    path: z.string().optional().describe("The repository path it is about, when it names one."),
-    command: z.string().optional().describe("The command that shows it again."),
-    recheckable: z
-        .boolean()
-        .describe("Whether a later measurement can find it gone. False for one about commits already made, which ends only when dismissed."),
-    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 change measured added this line."),
-    commit: z
-        .object({ sha: z.string(), subject: z.string() })
-        .optional()
-        .describe("The newest commit of the change measured that touched the path it names, when it names one."),
-});
-export const RedSourceSchema = z.enum(["land", "push", "ci"]);
-export const RED_POLICY = { land: "route", push: "owner", ci: "fix-agent" };
-export const RedSchema = z.object({
-    source: RedSourceSchema.describe("What went red."),
-    scope: z.string().describe("Where: a project's folder, or a repository and branch."),
-    since: z.number().describe("When the red streak began (state/red-streak.ts)."),
-    findings: z.array(FindingSchema).default([]).describe("What it owes, as the red's own measurement named it."),
-    suspects: z.array(z.string()).default([]).describe("The conversations it was laid at."),
-    named: z.boolean().default(false).describe("Whether the paths they changed narrowed it to them."),
-    decisions: z.array(MainlineRoutingSchema).default([]).describe("What was decided about it, oldest first."),
-});
-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(FindingSchema)
-        .describe("What it found that this push brought in, less what an earlier push had already left open. Empty for a clean push."),
-    refused: z
-        .boolean()
-        .optional()
-        .describe("True when the repository's own pre-push hook refused it, so nothing reached the remote and its one finding is what the hook said."),
-});
-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."),
-    pushed: z
-        .array(MainlinePushSchema)
-        .optional()
-        .describe("The latest pushes the hook measured across every project, newest first, with what each brought in. Absent from a daemon that records none."),
-    reds: z
-        .array(RedSchema)
-        .optional()
-        .describe("Every red the main line holds, one record whatever went red: each red project's land check and what pushes left in each project, with what each owes and every decision about it. Absent from a daemon that keeps 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 pushRedOf = (reds, project) => reds?.find((red) => red.source === "push" && red.scope === project);
-export const pushFixBase = (red) => red === undefined ? undefined : pushFixConversationId(red.scope === "" ? "workspace" : red.scope, `red:${red.since}`);
-//# sourceMappingURL=mainline.js.map

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

@@ -1 +0,0 @@
-{"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,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,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;CACrE,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0GAA0G,CAAC;IACrI,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,sDAAsD,CAAC;CAC/F,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;IAEP,WAAW;CACd,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;IACtF,QAAQ,EAAE,CAAC;SACN,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CAAC,yGAAyG,CAAC;CAC3H,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,KAAK,EAAE,CAAC;SACH,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,QAAQ,CACL,uPAAuP,CAC1P;IACL,KAAK,EAAE,CAAC;SACH,KAAK,CAAC,qBAAqB,CAAC;SAC5B,QAAQ,EAAE;SACV,QAAQ,CAAC,wHAAwH,CAAC;IACvI,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,OAAO,EAAE,CAAC;SACL,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,CAAC,kIAAkI,CAAC;IACjJ,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;IACxH,GAAG,EAAE,CAAC;SACD,MAAM,CAAC;QACJ,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0DAA0D,CAAC;QACtF,KAAK,EAAE,CAAC;aACH,KAAK,CAAC,qBAAqB,CAAC;aAC5B,QAAQ,CAAC,gKAAgK,CAAC;QAC/K,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,2GAA2G,CAAC;QACxI,KAAK,EAAE,qBAAqB,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iEAAiE,CAAC;KACtH,CAAC;SACD,QAAQ,EAAE;SACV,QAAQ,CAAC,8GAA8G,CAAC;CAChI,CAAC,CAAC;AAcH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0EAA0E,CAAC;IACnG,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gFAAgF,CAAC;IAC7G,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;IAC3D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;IAC3F,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;IAC3E,WAAW,EAAE,CAAC;SACT,OAAO,EAAE;SACT,QAAQ,CAAC,yHAAyH,CAAC;IACxI,IAAI,EAAE,CAAC;SACF,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;SACtB,QAAQ,EAAE;SACV,QAAQ,CAAC,mIAAmI,CAAC;IAClJ,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,6FAA6F,CAAC;CAC/G,CAAC,CAAC;AAMH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAM9D,MAAM,CAAC,MAAM,UAAU,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAwE,CAAC;AAElJ,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,gBAAgB,CAAC;IAClD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wDAAwD,CAAC;IACpF,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;IAC9E,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,sDAAsD,CAAC;IAC7G,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACvF,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,qDAAqD,CAAC;IACjG,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,0CAA0C,CAAC;CAC7G,CAAC,CAAC;AAKH,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;SACN,KAAK,CAAC,aAAa,CAAC;SACpB,QAAQ,CAAC,mHAAmH,CAAC;IAClI,OAAO,EAAE,CAAC;SACL,OAAO,EAAE;SACT,QAAQ,EAAE;SACV,QAAQ,CAAC,mIAAmI,CAAC;CACrJ,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,4IAA4I,CAAC;IAC3J,IAAI,EAAE,CAAC;SACF,KAAK,CAAC,SAAS,CAAC;SAChB,QAAQ,EAAE;SACV,QAAQ,CACL,yNAAyN,CAC5N;CACR,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;AAGH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAgC,EAAE,OAAe,EAAmB,EAAE,CAC5F,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;AAKxE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAA6C,EAAsB,EAAE,CAC7F,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC"}

package/src/schemas/workspace/mainline.ts

@@ -1,268 +0,0 @@
-// main-line checks: the whole-tree check the daemon runs after work lands, and what became of what it found
-import { z } from "zod";
-import { pushFixConversationId } from "../../ids/conversation-ids.js";
-import { AgentRunPickSchema } from "../agent.js";
-
-// Nothing is verified inside a conversation any more: a turn ends when the model says it is done, its work lands, and
-// the main tree's own check runs afterwards, off everyone's clock, one project at a time. This is that check as the
-// editor reads it: what is being measured, what is waiting, what the last run said, and who is working on a red one.
-
-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 type MainlineLand = z.infer<typeof MainlineLandSchema>;
-
-// A land a red is laid at, as a reader names it.
-export const MainlineLandRefSchema = z.object({
-    conversationId: z.string().describe("The conversation whose work landed."),
-    title: z.string().optional().describe("Its title when it landed."),
-});
-export type MainlineLandRef = z.infer<typeof MainlineLandRefSchema>;
-
-// One failure a run named, split the way a reader scans it.
-export const MainlineFailureSchema = z.object({
-    name: z.string().describe("What failed: a test by its own name, anything else (a type error, a whole task) as the check printed it."),
-    path: z.string().optional().describe("The repository path it failed in, when it names one."),
-});
-export type MainlineFailure = z.infer<typeof MainlineFailureSchema>;
-
-// What happened to a red verdict's failures, decided once the lands behind it had their own check.
-export const MainlineRoutingKindSchema = z.enum([
-    // More work landed while this ran; the check that measures it decides, so nobody is sent after a failure it may fix.
-    "waiting",
-    // A conversation still working touches what failed; nobody else is started until it stops.
-    "held",
-    // Sent back to the conversation that landed it, which still had the work in mind.
-    "original",
-    // A fresh conversation was started on it with the failures, the suspects' changes and where to read their sessions.
-    "fix-up",
-    // Nobody was sent: repairs are switched off, or no conversation could take it. An automation may.
-    "reported",
-    // Gone at the next check, before anybody was sent.
-    "resolved",
-    // The sends and fresh attempts a red streak allows are used up; it waits for a person.
-    "spent",
-    // A person set findings aside as not to be fixed (`findings` names which); what a push left is the owner's to dismiss.
-    "dismissed",
-]);
-export type MainlineRoutingKind = z.infer<typeof MainlineRoutingKindSchema>;
-
-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."),
-    findings: z
-        .array(z.string())
-        .optional()
-        .describe("The findings it was about, by id, when it was about some of a red's findings rather than the whole red."),
-});
-export type MainlineRouting = z.infer<typeof MainlineRoutingSchema>;
-
-// The first failures a run names; the whole list stays in its terminal.
-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."),
-    named: z
-        .boolean()
-        .optional()
-        .describe(
-            "Whether the failures were laid at the suspects by the paths they changed. False when nobody could be told apart (every land the run covered is a suspect) or nothing new failed in it (none is). Absent on green, and from a daemon that did not say.",
-        ),
-    units: z
-        .array(MainlineFailureSchema)
-        .optional()
-        .describe("The same first failures, split into a name and the path they failed in. Absent from a daemon that does not split them."),
-    routing: MainlineRoutingSchema.optional().describe("What became of a red run's failures. Absent on green, and until it is decided."),
-});
-export type MainlineRun = z.infer<typeof MainlineRunSchema>;
-
-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."),
-    session: z
-        .string()
-        .optional()
-        .describe("The terminal session its check runs in, running or last, to attach to for the whole log. Absent from a daemon that does not say."),
-    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."),
-    red: z
-        .object({
-            since: z.number().describe("When its checks went red and stayed so, in milliseconds."),
-            cause: z
-                .array(MainlineLandRefSchema)
-                .describe("The work this red is laid at, oldest first: the lands its failures were laid at on the latest run of the streak that could name any. Empty when none could be."),
-            named: z.boolean().describe("Whether `cause` was narrowed by the paths the lands changed; false when it is every land the run covered."),
-            fixer: MainlineRoutingSchema.optional().describe("The latest decision about who has it. Absent until one is made."),
-        })
-        .optional()
-        .describe("The red streak it is in, as the sandbox laid it. Absent while green, and from a daemon that does not lay it."),
-});
-export type MainlineProject = z.infer<typeof MainlineProjectSchema>;
-
-
-// WHAT A PUSH LEFT BEHIND. The pre-push hook never refuses (verify-push.mjs, `--advisory`): it measures, reports, and the
-// push goes. What it found used to vanish with the terminal it printed to. It now leaves a report in the repository's
-// git dir, the daemon files it once the push has actually reached the remote, and what it found is owed, as the
-// project's push Red, until a later measurement no longer prints it or somebody dismisses it. Nobody is sent after it:
-// acting on it is the owner's call (RED_POLICY).
-
-// ONE FINDING, whatever measured it: a check run's line as the repository's own tooling printed it, named by what
-// printed it (`source`, the repository's word: a check's id, `lint`, a hook), with the command that shows it again and
-// whether a later measurement can say it is gone. A push's findings are these; a land check's failures and a CI run's
-// failed jobs become them too.
-export const FindingSchema = z.object({
-    id: z.string().describe("Stable across measurements: the same problem found again is the same id."),
-    source: z.string().describe("What measured it, in the repository's own words: a check's id, `lint`, a hook."),
-    text: z.string().describe("The finding as it was printed."),
-    path: z.string().optional().describe("The repository path it is about, when it names one."),
-    command: z.string().optional().describe("The command that shows it again."),
-    recheckable: z
-        .boolean()
-        .describe("Whether a later measurement can find it gone. False for one about commits already made, which ends only when dismissed."),
-    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 change measured added this line."),
-    commit: z
-        .object({ sha: z.string(), subject: z.string() })
-        .optional()
-        .describe("The newest commit of the change measured that touched the path it names, when it names one."),
-});
-export type Finding = z.infer<typeof FindingSchema>;
-
-// ONE RED, whatever went red: a land check's project, what a push left in a project, main's CI on a branch. What it owes
-// (its findings), who it was laid at and whether that was narrowed, and every decision about it, oldest first. Each
-// source answers its own red by its own policy (RED_POLICY); the record is the same.
-export const RedSourceSchema = z.enum(["land", "push", "ci"]);
-export type RedSource = z.infer<typeof RedSourceSchema>;
-
-// Who answers a red: `route` sends it itself (the land check's router, conversations/land/land-breakage.ts), `owner`
-// waits for a person's press (what a push left, conversations/fix/push-fix.ts), `fix-agent` starts the source's own fix
-// agent once the red is main's standing word (CI, ci/repair-gate.ts).
-export const RED_POLICY = { land: "route", push: "owner", ci: "fix-agent" } as const satisfies Record<RedSource, "route" | "owner" | "fix-agent">;
-
-export const RedSchema = z.object({
-    source: RedSourceSchema.describe("What went red."),
-    scope: z.string().describe("Where: a project's folder, or a repository and branch."),
-    since: z.number().describe("When the red streak began (state/red-streak.ts)."),
-    findings: z.array(FindingSchema).default([]).describe("What it owes, as the red's own measurement named it."),
-    suspects: z.array(z.string()).default([]).describe("The conversations it was laid at."),
-    named: z.boolean().default(false).describe("Whether the paths they changed narrowed it to them."),
-    decisions: z.array(MainlineRoutingSchema).default([]).describe("What was decided about it, oldest first."),
-});
-export type Red = z.infer<typeof RedSchema>;
-
-// ONE PUSH THE HOOK MEASURED, as the record lists it: where it went and what it found that it brought in. What of that is
-// still owed is the project's push Red's to say (`findings`), never the push's.
-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(FindingSchema)
-        .describe("What it found that this push brought in, less what an earlier push had already left open. Empty for a clean push."),
-    refused: z
-        .boolean()
-        .optional()
-        .describe("True when the repository's own pre-push hook refused it, so nothing reached the remote and its one finding is what the hook said."),
-});
-export type MainlinePush = z.infer<typeof MainlinePushSchema>;
-
-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."),
-    pushed: z
-        .array(MainlinePushSchema)
-        .optional()
-        .describe("The latest pushes the hook measured across every project, newest first, with what each brought in. Absent from a daemon that records none."),
-    reds: z
-        .array(RedSchema)
-        .optional()
-        .describe(
-            "Every red the main line holds, one record whatever went red: each red project's land check and what pushes left in each project, with what each owes and every decision about it. Absent from a daemon that keeps none.",
-        ),
-});
-export type MainlineStatus = z.infer<typeof MainlineStatusSchema>;
-
-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 type MainlinePushDismiss = z.infer<typeof MainlinePushDismissSchema>;
-
-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 type MainlinePushRecheckResult = z.infer<typeof MainlinePushRecheckResultSchema>;
-
-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 type MainlinePushFix = z.infer<typeof MainlinePushFixSchema>;
-
-export const MainlinePushFixResultSchema = z.object({
-    conversationId: z.string().describe("The conversation holding the findings. Open it to watch."),
-});
-
-// What pushes left in `project`, as the reds name it; undefined while nothing is owed.
-export const pushRedOf = (reds: readonly Red[] | undefined, project: string): Red | undefined =>
-    reds?.find((red) => red.source === "push" && red.scope === project);
-
-// The conversation id a hand-over of a push red wears (attempt 1), derived from when the red began, so the editor and the
-// daemon agree on whether an agent is already on it: pressing again while anything is owed continues the same attempt,
-// and a red that begins after everything was handled starts a fresh one. Undefined when nothing is owed.
-export const pushFixBase = (red: Pick<Red, "scope" | "since"> | undefined): string | undefined =>
-    red === undefined ? undefined : pushFixConversationId(red.scope === "" ? "workspace" : red.scope, `red:${red.since}`);