@intentic/sandbox-contract 1.317.0 → 1.319.0

package/dist/schemas/workspace/push-checks.js

@@ -1,97 +0,0 @@
-import { z } from "zod";
-import { pushFixConversationId } from "../../ids/conversation-ids.js";
-import { AgentRunPickSchema } from "../agent.js";
-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 RedDecisionKindSchema = z.enum([
-    "fix-up",
-    "reported",
-    "resolved",
-    "spent",
-    "dismissed",
-]);
-export const RedDecisionSchema = z.object({
-    kind: RedDecisionKindSchema.describe("What was decided."),
-    conversationId: z.string().optional().describe("The conversation working on it, when one is."),
-    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 RedSourceSchema = z.enum(["push", "ci"]);
-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."),
-    decisions: z.array(RedDecisionSchema).default([]).describe("What was decided about it, oldest first."),
-});
-export const PushCheckSchema = 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 PushChecksSchema = z.object({
-    pushed: z.array(PushCheckSchema).describe("The latest pushes the hook measured across every project, newest first, with what each brought in."),
-    reds: z.array(RedSchema).describe("What pushes left in each project and is still owed, one push Red per project, with every decision about it."),
-});
-export const PushDismissSchema = 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 PushDismissResultSchema = z.object({
-    changed: z.number().describe("How many findings changed state."),
-});
-export const PushRecheckSchema = z.object({
-    project: z.string().describe("Which project, by folder relative to the workspace."),
-});
-export const PushRecheckResultSchema = 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 PushFixSchema = 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 PushFixResultSchema = 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=push-checks.js.map

package/dist/schemas/workspace/push-checks.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"push-checks.js","sourceRoot":"","sources":["../../../src/schemas/workspace/push-checks.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;AAYjD,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,CACL,mIAAmI,CACtI;IACL,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;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAExC,QAAQ;IAER,UAAU;IAEV,UAAU;IAEV,OAAO;IAEP,WAAW;CACd,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,IAAI,EAAE,qBAAqB,CAAC,QAAQ,CAAC,mBAAmB,CAAC;IACzD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;IAC9F,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;AAMH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAGtD,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,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,0CAA0C,CAAC;CACzG,CAAC,CAAC;AAKH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,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,CACL,mIAAmI,CACtI;CACR,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,oGAAoG,CAAC;IAC/I,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,6GAA6G,CAAC;CACnJ,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,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,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;CACnE,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;CACtF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,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,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uFAAuF,CAAC;IACrH,IAAI,EAAE,kBAAkB,CAAC,QAAQ,CAAC,8GAA8G,CAAC;IACjJ,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,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,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/dist/state/red-streak.d.ts

@@ -1,7 +0,0 @@
-export interface Streak {
-    readonly since: number;
-    readonly count: number;
-}
-export declare const nextStreak: (previous: Streak | undefined, red: boolean, at: number, continues?: boolean) => Streak | undefined;
-export declare const headStreak: <T>(newestFirst: readonly T[], isRed: (item: T) => boolean) => T[];
-//# sourceMappingURL=red-streak.d.ts.map

package/dist/state/red-streak.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"red-streak.d.ts","sourceRoot":"","sources":["../../src/state/red-streak.ts"],"names":[],"mappings":"AAKA,MAAM,WAAW,MAAM;IAEnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAMD,eAAO,MAAM,UAAU,aAAc,MAAM,GAAG,SAAS,OAAO,OAAO,MAAM,MAAM,0BAAqB,MAAM,GAAG,SAK9G,CAAC;AAGF,eAAO,MAAM,UAAU,GAAI,CAAC,eAAe,SAAS,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC,KAAK,OAAO,KAAG,CAAC,EAGvF,CAAC"}

package/dist/state/red-streak.js

@@ -1,11 +0,0 @@
-export const nextStreak = (previous, red, at, continues = true) => {
-    if (!red) {
-        return undefined;
-    }
-    return previous !== undefined && continues ? { since: previous.since, count: previous.count + 1 } : { since: at, count: 1 };
-};
-export const headStreak = (newestFirst, isRed) => {
-    const end = newestFirst.findIndex((item) => !isRed(item));
-    return end === -1 ? [...newestFirst] : newestFirst.slice(0, end);
-};
-//# sourceMappingURL=red-streak.js.map

package/dist/state/red-streak.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"red-streak.js","sourceRoot":"","sources":["../../src/state/red-streak.ts"],"names":[],"mappings":"AAgBA,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAA4B,EAAE,GAAY,EAAE,EAAU,EAAE,SAAS,GAAG,IAAI,EAAsB,EAAE;IACvH,IAAI,CAAC,GAAG,EAAE,CAAC;QACP,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAChI,CAAC,CAAC;AAGF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAI,WAAyB,EAAE,KAA2B,EAAO,EAAE;IACzF,MAAM,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACrE,CAAC,CAAC"}

package/src/schemas/workspace/push-checks.test.ts

@@ -1,28 +0,0 @@
-import { pushFixConversationId } from "../../ids/conversation-ids.js";
-import { pushFixBase, pushRedOf, type Red, RedSchema } from "./push-checks.js";
-
-// What a push left is a Red like any other (source `push`, scope the project), and the hand-over's id is named by when
-// that red began, so the editor and the daemon find the same attempt whichever of them asks.
-
-const red = (over: Partial<Red>): Red => RedSchema.parse({ source: `push`, scope: `app`, since: 100, ...over });
-
-describe(`a project's push red`, () => {
-    test(`is the push red of that project, never a CI red of the same name or another project's`, () => {
-        const ci = red({ source: `ci` });
-        const other = red({ scope: `web` });
-        const mine = red({});
-        expect(pushRedOf([ci, other, mine], `app`)).toBe(mine);
-        expect(pushRedOf([ci, other], `app`)).toBeUndefined();
-        expect(pushRedOf(undefined, `app`)).toBeUndefined();
-    });
-
-    test(`names its hand-over by when it began, with the workspace root spelled as the workspace`, () => {
-        expect(pushFixBase(red({}))).toBe(pushFixConversationId(`app`, `red:100`));
-        expect(pushFixBase(red({ scope: `` }))).toBe(pushFixConversationId(`workspace`, `red:100`));
-        expect(pushFixBase(undefined)).toBeUndefined();
-    });
-
-    test(`that began later is a fresh attempt`, () => {
-        expect(pushFixBase(red({ since: 200 }))).toBe(pushFixConversationId(`app`, `red:200`));
-    });
-});

package/src/schemas/workspace/push-checks.ts

@@ -1,155 +0,0 @@
-// what the pre-push hook let through, and the one record every red keeps, whatever went red
-import { z } from "zod";
-import { pushFixConversationId } from "../../ids/conversation-ids.js";
-import { AgentRunPickSchema } from "../agent.js";
-
-// Nothing checks work inside a conversation or after it lands: CI checks what the owner pushes (ci/main-fixer.ts puts
-// one fix agent on main's red), and the pre-push hook measures the push on the way out without ever refusing it
-// (verify-push.mjs, `--advisory`). What the hook 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.
-
-// 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 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>;
-
-// What was decided about a red, in the order it was decided.
-export const RedDecisionKindSchema = z.enum([
-    // A fix agent was put on it: pressed for by a person, or started by the sandbox on main's red CI.
-    "fix-up",
-    // Nobody was sent: repairs are switched off, or nothing could take it.
-    "reported",
-    // A later measurement no longer found it (`findings` names which).
-    "resolved",
-    // The fix agent had its turns, or stopped without a fix: it waits for a person.
-    "spent",
-    // A person set findings aside as not to be fixed (`findings` names which).
-    "dismissed",
-]);
-export type RedDecisionKind = z.infer<typeof RedDecisionKindSchema>;
-
-export const RedDecisionSchema = z.object({
-    kind: RedDecisionKindSchema.describe("What was decided."),
-    conversationId: z.string().optional().describe("The conversation working on it, when one is."),
-    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 RedDecision = z.infer<typeof RedDecisionSchema>;
-
-// ONE RED, whatever went red: what a push left in a project, main's CI on a branch. What it owes (its findings) and every
-// decision about it, oldest first. A push's red waits for the owner's press (conversations/fix/push-fix.ts); main's CI
-// red gets one fix agent by itself (ci/main-fixer.ts). The record is the same.
-export const RedSourceSchema = z.enum(["push", "ci"]);
-export type RedSource = z.infer<typeof RedSourceSchema>;
-
-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."),
-    decisions: z.array(RedDecisionSchema).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 PushCheckSchema = 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 PushCheck = z.infer<typeof PushCheckSchema>;
-
-export const PushChecksSchema = z.object({
-    pushed: z.array(PushCheckSchema).describe("The latest pushes the hook measured across every project, newest first, with what each brought in."),
-    reds: z.array(RedSchema).describe("What pushes left in each project and is still owed, one push Red per project, with every decision about it."),
-});
-export type PushChecks = z.infer<typeof PushChecksSchema>;
-
-export const PushDismissSchema = 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 PushDismiss = z.infer<typeof PushDismissSchema>;
-
-export const PushDismissResultSchema = z.object({
-    changed: z.number().describe("How many findings changed state."),
-});
-
-export const PushRecheckSchema = z.object({
-    project: z.string().describe("Which project, by folder relative to the workspace."),
-});
-
-export const PushRecheckResultSchema = 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 PushRecheckResult = z.infer<typeof PushRecheckResultSchema>;
-
-export const PushFixSchema = 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 PushFix = z.infer<typeof PushFixSchema>;
-
-export const PushFixResultSchema = 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}`);

package/src/state/red-streak.test.ts

@@ -1,28 +0,0 @@
-import { headStreak, nextStreak } from "./red-streak.js";
-
-// The five places that asked "is this still the same red" asked it five ways; these are the two answers they share.
-
-describe(`a streak followed one observation at a time`, () => {
-    test(`begins at the first red, keeps that start through every red after it, and ends at anything else`, () => {
-        const first = nextStreak(undefined, true, 10);
-        expect(first).toEqual({ since: 10, count: 1 });
-        const second = nextStreak(first, true, 20);
-        expect(second).toEqual({ since: 10, count: 2 });
-        expect(nextStreak(second, false, 30)).toBeUndefined();
-        expect(nextStreak(undefined, false, 30)).toBeUndefined();
-    });
-
-    test(`begins again when the red is a different failure`, () => {
-        expect(nextStreak({ since: 10, count: 3 }, true, 40, false)).toEqual({ since: 40, count: 1 });
-    });
-});
-
-describe(`a streak read off a history`, () => {
-    test(`is the unbroken run of red at the head, newest first`, () => {
-        const history = [`red-3`, `red-2`, `green-1`, `red-0`];
-        expect(headStreak(history, (item) => item.startsWith(`red`))).toEqual([`red-3`, `red-2`]);
-        expect(headStreak([`green`, `red`], (item) => item === `red`)).toEqual([]);
-        expect(headStreak([`red`, `red`], (item) => item === `red`)).toEqual([`red`, `red`]);
-        expect(headStreak([], () => true)).toEqual([]);
-    });
-});

package/src/state/red-streak.ts

@@ -1,28 +0,0 @@
-// ONE DEFINITION OF A RED STREAK, for every source that goes red: what a project's pushes left (push-checks-store.ts)
-// and a pipeline branch on the board (the pipelines extension's ciStreaks.ts). A streak is the unbroken run of red at
-// the head: a red extends it, anything else ends it, and `since` is where it began, which is what names one failure
-// across every red that continues it.
-
-export interface Streak {
-    // When (or at which run) the streak began: the first red of the unbroken run.
-    readonly since: number;
-    // How many reds in a row it holds.
-    readonly count: number;
-}
-
-/**
- * One observation's effect on the streak before it. A red continues it, unless `continues` says this red is a different
- * failure (CI: no failed job repeats), which begins one of its own; anything else ends it.
- */
-export const nextStreak = (previous: Streak | undefined, red: boolean, at: number, continues = true): Streak | undefined => {
-    if (!red) {
-        return undefined;
-    }
-    return previous !== undefined && continues ? { since: previous.since, count: previous.count + 1 } : { since: at, count: 1 };
-};
-
-/** The streak a newest-first history stands on: its unbroken run of red at the head, newest first; empty when the head is not red. */
-export const headStreak = <T>(newestFirst: readonly T[], isRed: (item: T) => boolean): T[] => {
-    const end = newestFirst.findIndex((item) => !isRed(item));
-    return end === -1 ? [...newestFirst] : newestFirst.slice(0, end);
-};