self-bench 0.3.5 → 0.3.8

package/dist/extension-verifier.bundle.js

@@ -0,0 +1,73 @@
+// src/extensions/verifier.ts
+import { existsSync, mkdirSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { Type } from "@sinclair/typebox";
+function writeVerdict(verdict) {
+  const root = requiredEnvironment("SELFBENCH_VERDICT_OUTPUT");
+  mkdirSync(root, { recursive: true });
+  const path = join(root, "verdict.json");
+  if (existsSync(path))
+    throw new Error("a verdict was already submitted this round");
+  writeFileSync(path, `${JSON.stringify(verdict, null, 2)}
+`, { flag: "wx" });
+}
+function requiredEnvironment(name) {
+  const value = process.env[name];
+  if (!value)
+    throw new Error(`${name} is required`);
+  return value;
+}
+function verifierExtension(pi) {
+  pi.registerTool({
+    name: "accept_task",
+    label: "Accept SelfBench task",
+    description: "Accept a fair task after the latest report is GREEN.",
+    parameters: Type.Object({
+      reason: Type.String({ minLength: 1 }),
+      findings: Type.Array(Type.Object({
+        artifact: Type.String({ minLength: 1 }),
+        disposition: Type.Union([
+          Type.Literal("base_contract"),
+          Type.Literal("prompt_contract"),
+          Type.Literal("external_contract"),
+          Type.Literal("not_contract")
+        ]),
+        evidence: Type.String({ minLength: 1 })
+      }, { additionalProperties: false })),
+      counterexample: Type.String({ minLength: 1 })
+    }, { additionalProperties: false }),
+    async execute(_toolCallId, input) {
+      writeVerdict({ kind: "accepted", ...input });
+      return { content: [{ type: "text", text: "Recorded the acceptance verdict." }], details: {} };
+    }
+  });
+  pi.registerTool({
+    name: "submit_suggestions",
+    label: "Submit authoring suggestions",
+    description: "Submit concise, actionable suggestions for the next authoring agent. This verifier is read-only and must not edit task files.",
+    parameters: Type.Object({
+      summary: Type.String({ minLength: 1 }),
+      suggestions: Type.String({ minLength: 1 })
+    }, { additionalProperties: false }),
+    async execute(_toolCallId, input) {
+      writeVerdict({ kind: "suggestions", ...input });
+      return {
+        content: [{ type: "text", text: "Recorded suggestions for the next authoring round." }],
+        details: {}
+      };
+    }
+  });
+  pi.registerTool({
+    name: "reject_task",
+    label: "Reject SelfBench task",
+    description: "Reject a task that cannot be made fair within the authoring workflow.",
+    parameters: Type.Object({ reason: Type.String({ minLength: 1 }) }, { additionalProperties: false }),
+    async execute(_toolCallId, input) {
+      writeVerdict({ kind: "rejected", ...input });
+      return { content: [{ type: "text", text: "Recorded the rejection verdict." }], details: {} };
+    }
+  });
+}
+export {
+  verifierExtension as default
+};

package/dist/extensions/authoring.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../src/extensions/authoring.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AA4CpE,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CAuCjE"}
+{"version":3,"file":"authoring.d.ts","sourceRoot":"","sources":["../../src/extensions/authoring.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAkBpE,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CA4EjE"}

package/dist/extensions/authoring.js

@@ -1,71 +1,82 @@
-import { mkdirSync, writeFileSync } from "node:fs";
+import { cpSync, mkdirSync } from "node:fs";
 import { join } from "node:path";
 import { Type } from "@sinclair/typebox";
-const taskDefinition = Type.Object({
-    schemaVersion: Type.Literal(1),
-    difficulty: Type.Union([Type.Literal("easy"), Type.Literal("medium"), Type.Literal("hard")]),
-    taskId: Type.String({ pattern: "^[A-Za-z0-9][A-Za-z0-9._-]*$" }),
-    repo: Type.String({ minLength: 1 }),
-    baseCommit: Type.String({ pattern: "^[0-9a-fA-F]{40}$" }),
-    workdir: Type.String({ minLength: 1 }),
-    setupCommand: Type.String({ minLength: 1 }),
-    testCommand: Type.String({ minLength: 1 }),
-    failToPass: Type.Array(Type.String({ minLength: 1 }), { minItems: 1 }),
-    passToPass: Type.Array(Type.String({ minLength: 1 })),
-    testPaths: Type.Array(Type.String({ minLength: 1 }), { minItems: 1 }),
-    toolchains: Type.Array(Type.Union([
-        Type.Literal("uv"),
-        Type.Literal("bun"),
-        Type.Literal("go"),
-        Type.Literal("node"),
-        Type.Literal("python"),
-        Type.Literal("rust"),
-    ]), { minItems: 1 }),
-    sourcePr: Type.Integer({ minimum: 1 }),
-    sourceUrl: Type.String({ minLength: 1 }),
-    prompt: Type.String({ minLength: 1 }),
-    timeouts: Type.Object({
-        setupSeconds: Type.Integer({ minimum: 1 }),
-        agentSeconds: Type.Integer({ minimum: 1 }),
-        testsSeconds: Type.Integer({ minimum: 1 }),
-    }),
-    resources: Type.Object({
-        cpus: Type.Number({ exclusiveMinimum: 0 }),
-        memoryMb: Type.Integer({ minimum: 1 }),
-        storageMb: Type.Integer({ minimum: 1 }),
-    }),
-}, { additionalProperties: false });
+import { loadTaskDeliverable } from "./shared/deliverable.js";
+import { VerifyClient, verifyOutcomeText } from "./shared/mailbox.js";
+import { requiredEnvironment, runStaticCheck, stageSubmission, staticCheckFailure, } from "./shared/static-check.js";
+const noArguments = Type.Object({}, { additionalProperties: false });
+/** The clean base tree the patches must apply to: /work/repo at the definition's base commit. */
+function applyTarget(definition) {
+    return { base: typeof definition.baseCommit === "string" ? definition.baseCommit : "HEAD" };
+}
 export default function authoringExtension(pi) {
+    const client = new VerifyClient();
+    const deliverable = () => process.env.SELFBENCH_DELIVERABLE ?? "/work/task";
     pi.registerTool({
-        name: "submit_task",
-        label: "Submit SelfBench task",
-        description: "Submit exactly one complete task at the assigned difficulty.",
-        parameters: Type.Object({
-            definition: taskDefinition,
-            testPatch: Type.String({ minLength: 1 }),
-            goldPatch: Type.String({ minLength: 1 }),
-        }, { additionalProperties: false }),
-        async execute(_toolCallId, input) {
-            const root = process.env.SELFBENCH_TASK_OUTPUT;
-            if (!root) {
-                throw new Error("SELFBENCH_TASK_OUTPUT is not configured");
+        name: "verify",
+        label: "Verify SelfBench task",
+        description: "Takes no arguments. Reads the deliverable in /work/task (definition.json, instruction.md, test.patch, gold.patch), runs the static check, then the harness's real verification: trusted compile, audit, image build, smoke, nop, and oracle. Blocks until the report is back (can take up to an hour). Budget-limited per session; the result says how many calls remain.",
+        parameters: noArguments,
+        async execute() {
+            const loaded = loadTaskDeliverable(deliverable());
+            if ("isError" in loaded) {
+                return loaded;
             }
-            const { definition, testPatch, goldPatch } = input;
-            if (!definition?.taskId || typeof testPatch !== "string" || typeof goldPatch !== "string") {
-                throw new Error("submit_task received an incomplete task");
+            const staging = stageSubmission(loaded.definition, loaded.testPatch, loaded.goldPatch, "selfbench-verify-");
+            try {
+                const verdict = runStaticCheck(staging.directory, [], applyTarget(loaded.definition));
+                if (!verdict.ok) {
+                    return staticCheckFailure(verdict, "task");
+                }
             }
-            const directory = join(root, definition.taskId);
-            mkdirSync(directory, { recursive: false });
-            writeFileSync(join(directory, "definition.json"), `${JSON.stringify(definition, null, 2)}\n`, {
-                flag: "wx",
-            });
-            writeFileSync(join(directory, "test.patch"), testPatch, { flag: "wx" });
-            writeFileSync(join(directory, "gold.patch"), goldPatch, { flag: "wx" });
+            finally {
+                staging.dispose();
+            }
+            const outcome = await client.verify("task", loaded);
             return {
-                content: [{ type: "text", text: `Submitted ${definition.taskId}.` }],
-                details: { taskId: definition.taskId },
+                content: [{ type: "text", text: verifyOutcomeText(outcome, "submit_task") }],
+                details: { kind: outcome.kind, remaining: client.remaining },
+                ...(outcome.kind === "exhausted" ? { isError: true } : {}),
             };
         },
     });
+    pi.registerTool({
+        name: "submit_task",
+        label: "Submit SelfBench task",
+        description: "Takes no arguments. Reads the deliverable in /work/task, runs the static check, and records the task; a passing submission ends the session. Run verify first and submit only what verify reported green.",
+        parameters: noArguments,
+        async execute() {
+            const root = requiredEnvironment("SELFBENCH_TASK_OUTPUT");
+            const loaded = loadTaskDeliverable(deliverable());
+            if ("isError" in loaded) {
+                return loaded;
+            }
+            const taskId = String(loaded.definition.taskId ?? "");
+            const staging = stageSubmission(loaded.definition, loaded.testPatch, loaded.goldPatch);
+            try {
+                const verdict = runStaticCheck(staging.directory, [], applyTarget(loaded.definition));
+                if (!verdict.ok) {
+                    return staticCheckFailure(verdict, "submission");
+                }
+                const directory = join(root, taskId);
+                mkdirSync(root, { recursive: true });
+                mkdirSync(directory, { recursive: false });
+                cpSync(staging.directory, directory, { recursive: true });
+                const verified = client.verifiedGreen(loaded);
+                return {
+                    content: [
+                        {
+                            type: "text",
+                            text: `Submitted ${taskId}; the static check passed and the Harbor tree is dry-rendered under ${verdict.renderedDirectory ?? "/work/rendered"}. ${verified ? "This deliverable matches your last green verify, so the worker reuses that report." : "This deliverable was not verified green in this session, so the worker verifies it now and a round is spent if it fails."} Stop here and wait.`,
+                        },
+                    ],
+                    details: { taskId, verified },
+                };
+            }
+            finally {
+                staging.dispose();
+            }
+        },
+    });
 }
 //# sourceMappingURL=authoring.js.map

package/dist/extensions/authoring.js.map

@@ -1 +1 @@
-{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../src/extensions/authoring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAChC;IACE,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5F,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC;IAChE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACnC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;IACzD,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACtC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC3C,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACtE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACrD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACrE,UAAU,EAAE,IAAI,CAAC,KAAK,CACpB,IAAI,CAAC,KAAK,CAAC;QACT,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;KACrB,CAAC,EACF,EAAE,QAAQ,EAAE,CAAC,EAAE,CAChB;IACD,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QACpB,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC1C,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QAC1C,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;KAC3C,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACrB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;QAC1C,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACtC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;KACxC,CAAC;CACH,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC,CAAC;AAEF,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAgB;IACzD,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EAAE,8DAA8D;QAC3E,UAAU,EAAE,IAAI,CAAC,MAAM,CACrB;YACE,UAAU,EAAE,cAAc;YAC1B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;YACxC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;SACzC,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC;QACD,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC;YAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;YACnD,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAC1F,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;YAChD,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3C,aAAa,CACX,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,EAClC,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAC1C;gBACE,IAAI,EAAE,IAAI;aACX,CACF,CAAC;YACF,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,OAAO;gBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,UAAU,CAAC,MAAM,GAAG,EAAE,CAAC;gBACpE,OAAO,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE;aACvC,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"authoring.js","sourceRoot":"","sources":["../../src/extensions/authoring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,kBAAkB,GACnB,MAAM,0BAA0B,CAAC;AAElC,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;AAErE,iGAAiG;AACjG,SAAS,WAAW,CAAC,UAAmC;IACtD,OAAO,EAAE,IAAI,EAAE,OAAO,UAAU,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAgB;IACzD,MAAM,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;IAClC,MAAM,WAAW,GAAG,GAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,qBAAqB,IAAI,YAAY,CAAC;IAEpF,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EACT,2WAA2W;QAC7W,UAAU,EAAE,WAAW;QACvB,KAAK,CAAC,OAAO;YACX,MAAM,MAAM,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,CAAC;YAClD,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,OAAO,GAAG,eAAe,CAC7B,MAAM,CAAC,UAAU,EACjB,MAAM,CAAC,SAAS,EAChB,MAAM,CAAC,SAAS,EAChB,mBAAmB,CACpB,CAAC;YACF,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;gBACtF,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;oBAChB,OAAO,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC7C,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACpD,OAAO;gBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;gBAC5E,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE;gBAC5D,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC3D,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,uBAAuB;QAC9B,WAAW,EACT,2MAA2M;QAC7M,UAAU,EAAE,WAAW;QACvB,KAAK,CAAC,OAAO;YACX,MAAM,IAAI,GAAG,mBAAmB,CAAC,uBAAuB,CAAC,CAAC;YAC1D,MAAM,MAAM,GAAG,mBAAmB,CAAC,WAAW,EAAE,CAAC,CAAC;YAClD,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;YACvF,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;gBACtF,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;oBAChB,OAAO,kBAAkB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;gBACnD,CAAC;gBACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACrC,SAAS,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3C,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1D,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;gBAC9C,OAAO;oBACL,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,aAAa,MAAM,uEAAuE,OAAO,CAAC,iBAAiB,IAAI,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,oFAAoF,CAAC,CAAC,CAAC,0HAA0H,sBAAsB;yBACrY;qBACF;oBACD,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;iBAC9B,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,OAAO,EAAE,CAAC;YACpB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}

package/dist/extensions/discovery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/extensions/discovery.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGpE,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CAwDjE"}
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../src/extensions/discovery.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGpE,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CAiEjE"}

package/dist/extensions/discovery.js

@@ -1,4 +1,4 @@
-import { writeFileSync } from "node:fs";
+import { readFileSync, writeFileSync } from "node:fs";
 import { Type } from "@sinclair/typebox";
 export default function discoveryExtension(pi) {
     pi.registerTool({
@@ -17,7 +17,6 @@ export default function discoveryExtension(pi) {
                 sourceUrl: Type.String({ minLength: 1 }),
                 baseCommit: Type.String({ pattern: "^[0-9a-fA-F]{40}$" }),
                 completedCommit: Type.String({ pattern: "^[0-9a-fA-F]{40}$" }),
-                request: Type.String({ minLength: 1 }),
                 provenance: Type.Object({
                     sourceType: Type.Union([
                         Type.Literal("pi"),
@@ -40,10 +39,18 @@ export default function discoveryExtension(pi) {
             if (!candidates) {
                 throw new Error("submit_discovery received no candidates");
             }
-            writeFileSync(output, `${JSON.stringify({ candidates }, null, 2)}\n`, { flag: "wx" });
+            const exclusionsPath = process.env.SELFBENCH_DISCOVERY_EXCLUSIONS;
+            if (!exclusionsPath) {
+                throw new Error("SELFBENCH_DISCOVERY_EXCLUSIONS is not configured");
+            }
+            const excluded = new Set(JSON.parse(readFileSync(exclusionsPath, "utf8")));
+            const accepted = candidates.filter(({ sourcePr }) => sourcePr !== undefined && !excluded.has(sourcePr));
+            writeFileSync(output, `${JSON.stringify({ candidates: accepted }, null, 2)}\n`, {
+                flag: "wx",
+            });
             return {
-                content: [{ type: "text", text: `Submitted ${candidates.length} candidates.` }],
-                details: { candidates },
+                content: [{ type: "text", text: `Submitted ${accepted.length} new candidates.` }],
+                details: { candidates: accepted },
             };
         },
     });

package/dist/extensions/discovery.js.map

@@ -1 +1 @@
-{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../../src/extensions/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAgB;IACzD,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,4BAA4B;QACnC,WAAW,EAAE,6DAA6D;QAC1E,UAAU,EAAE,IAAI,CAAC,MAAM,CACrB;YACE,UAAU,EAAE,IAAI,CAAC,KAAK,CACpB,IAAI,CAAC,MAAM,CACT;gBACE,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;gBAC1C,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;oBACrB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;oBACpB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;oBACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;iBACrB,CAAC;gBACF,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;gBACxC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;gBACzD,eAAe,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;gBAC9D,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;gBACtC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;oBACtB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;wBACrB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;wBAClB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;wBAC3B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;wBACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;wBACvB,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;qBACpC,CAAC;oBACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;oBACxC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;iBAC3C,CAAC;aACH,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC,EACD,EAAE,QAAQ,EAAE,GAAG,EAAE,CAClB;SACF,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC;QACD,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC;YACtD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAClE,CAAC;YACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,aAAa,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACtF,OAAO;gBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,UAAU,CAAC,MAAM,cAAc,EAAE,CAAC;gBAC/E,OAAO,EAAE,EAAE,UAAU,EAAE;aACxB,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../../src/extensions/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAEtD,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,MAAM,CAAC,OAAO,UAAU,kBAAkB,CAAC,EAAgB;IACzD,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,4BAA4B;QACnC,WAAW,EAAE,6DAA6D;QAC1E,UAAU,EAAE,IAAI,CAAC,MAAM,CACrB;YACE,UAAU,EAAE,IAAI,CAAC,KAAK,CACpB,IAAI,CAAC,MAAM,CACT;gBACE,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;gBAC1C,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;oBACrB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;oBACpB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;oBACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;iBACrB,CAAC;gBACF,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;gBACtC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;gBACxC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;gBACzD,eAAe,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;gBAC9D,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;oBACtB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC;wBACrB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;wBAClB,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;wBAC3B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;wBACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;wBACvB,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;qBACpC,CAAC;oBACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;oBACxC,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;iBAC3C,CAAC;aACH,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC,EACD,EAAE,QAAQ,EAAE,GAAG,EAAE,CAClB;SACF,EACD,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAChC;QACD,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK;YAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC;YACtD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAClE,CAAC;YACD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;YACpC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YACD,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC;YAClE,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACtE,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAChC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CACpE,CAAC;YACF,aAAa,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;gBAC9E,IAAI,EAAE,IAAI;aACX,CAAC,CAAC;YACH,OAAO;gBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,QAAQ,CAAC,MAAM,kBAAkB,EAAE,CAAC;gBACjF,OAAO,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE;aAClC,CAAC;QACJ,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}

package/dist/extensions/shared/deliverable.d.ts

@@ -0,0 +1,33 @@
+import { type ToolFailure } from "./static-check.js";
+export interface TaskDeliverable {
+    readonly definition: Record<string, unknown>;
+    readonly testPatch: string;
+    readonly goldPatch: string;
+}
+export declare const TASK_DELIVERABLE_FILES: readonly ["definition.json", "instruction.md", "test.patch", "gold.patch"];
+/**
+ * Authoring deliverable: `<root>/definition.json` (schema 2 with the environment contract),
+ * `instruction.md`, `test.patch`, `gold.patch`. instruction.md is authoritative for the prompt:
+ * `definition.prompt` is derived from it and must match when present.
+ */
+export declare function loadTaskDeliverable(root: string): TaskDeliverable | ToolFailure;
+export interface FixDeliverable {
+    readonly definition: Record<string, unknown>;
+    readonly testPatch: string;
+    readonly goldPatch: string;
+    readonly testPatchSource: "file" | "working-tree";
+    readonly original: {
+        definition: string;
+        testPatch: string;
+        goldPatch: string;
+    };
+}
+/**
+ * Verifier deliverable: `<fixRoot>/definition.json` (optional; only environment, testCommand,
+ * failToPass, passToPass, testPaths, timeouts, resources are read and merged onto the compiled
+ * task's definition) and `<fixRoot>/test.patch` (optional; regenerated with `git diff` from the
+ * repository working tree when absent).
+ */
+export declare function loadFixDeliverable(fixRoot: string, taskDirectory: string, repository: string): FixDeliverable | ToolFailure;
+export declare function workingTreePatch(repository: string): string;
+//# sourceMappingURL=deliverable.d.ts.map

package/dist/extensions/shared/deliverable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deliverable.d.ts","sourceRoot":"","sources":["../../../src/extensions/shared/deliverable.ts"],"names":[],"mappings":"AAIA,OAAO,EAAW,KAAK,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,eAAO,MAAM,sBAAsB,4EAKzB,CAAC;AAEX;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,WAAW,CA0C/E;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,cAAc,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC;CACjF;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,GACjB,cAAc,GAAG,WAAW,CAyC9B;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAiB3D"}

package/dist/extensions/shared/deliverable.js

@@ -0,0 +1,123 @@
+import { spawnSync } from "node:child_process";
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { FIX_FIELDS } from "./schemas.js";
+import { failure } from "./static-check.js";
+export const TASK_DELIVERABLE_FILES = [
+    "definition.json",
+    "instruction.md",
+    "test.patch",
+    "gold.patch",
+];
+/**
+ * Authoring deliverable: `<root>/definition.json` (schema 2 with the environment contract),
+ * `instruction.md`, `test.patch`, `gold.patch`. instruction.md is authoritative for the prompt:
+ * `definition.prompt` is derived from it and must match when present.
+ */
+export function loadTaskDeliverable(root) {
+    const missing = TASK_DELIVERABLE_FILES.filter((name) => !existsSync(join(root, name)));
+    if (missing.length > 0) {
+        return deliverableFailure(root, missing.map((name) => `${name} is missing`));
+    }
+    let definition;
+    try {
+        const parsed = JSON.parse(readFileSync(join(root, "definition.json"), "utf8"));
+        if (typeof parsed !== "object" || parsed === null || Array.isArray(parsed)) {
+            throw new Error("must be a JSON object");
+        }
+        definition = parsed;
+    }
+    catch (error) {
+        return deliverableFailure(root, [
+            `definition.json is not valid JSON: ${error instanceof Error ? error.message : String(error)}`,
+        ]);
+    }
+    const instruction = readFileSync(join(root, "instruction.md"), "utf8").trim();
+    const testPatch = readFileSync(join(root, "test.patch"), "utf8");
+    const goldPatch = readFileSync(join(root, "gold.patch"), "utf8");
+    const problems = [];
+    if (!instruction) {
+        problems.push("instruction.md is empty");
+    }
+    if (typeof definition.prompt === "string" && definition.prompt.trim() !== instruction) {
+        problems.push("definition.json prompt differs from instruction.md; remove prompt or make them identical");
+    }
+    if (!testPatch.trim()) {
+        problems.push("test.patch is empty");
+    }
+    if (!goldPatch.trim()) {
+        problems.push("gold.patch is empty");
+    }
+    if (problems.length > 0) {
+        return deliverableFailure(root, problems);
+    }
+    return { definition: { ...definition, prompt: instruction }, testPatch, goldPatch };
+}
+/**
+ * Verifier deliverable: `<fixRoot>/definition.json` (optional; only environment, testCommand,
+ * failToPass, passToPass, testPaths, timeouts, resources are read and merged onto the compiled
+ * task's definition) and `<fixRoot>/test.patch` (optional; regenerated with `git diff` from the
+ * repository working tree when absent).
+ */
+export function loadFixDeliverable(fixRoot, taskDirectory, repository) {
+    const originalDefinition = join(taskDirectory, "definition.json");
+    const definition = JSON.parse(readFileSync(originalDefinition, "utf8"));
+    const fixDefinitionPath = join(fixRoot, "definition.json");
+    if (existsSync(fixDefinitionPath)) {
+        let fix;
+        try {
+            fix = JSON.parse(readFileSync(fixDefinitionPath, "utf8"));
+        }
+        catch (error) {
+            return deliverableFailure(fixRoot, [
+                `definition.json is not valid JSON: ${error instanceof Error ? error.message : String(error)}`,
+            ]);
+        }
+        for (const field of FIX_FIELDS) {
+            if (fix[field] !== undefined) {
+                definition[field] = fix[field];
+            }
+        }
+    }
+    const testPatchPath = join(fixRoot, "test.patch");
+    const fromFile = existsSync(testPatchPath);
+    const testPatch = fromFile ? readFileSync(testPatchPath, "utf8") : workingTreePatch(repository);
+    if (!testPatch.trim()) {
+        return deliverableFailure(fixRoot, [
+            fromFile ? "test.patch is empty" : "test.patch is absent and /work/repo has no changes",
+        ]);
+    }
+    return {
+        definition,
+        testPatch,
+        goldPatch: readFileSync(join(taskDirectory, "solution/gold.patch"), "utf8"),
+        testPatchSource: fromFile ? "file" : "working-tree",
+        original: {
+            definition: originalDefinition,
+            testPatch: join(taskDirectory, "tests/test.patch"),
+            goldPatch: join(taskDirectory, "solution/gold.patch"),
+        },
+    };
+}
+export function workingTreePatch(repository) {
+    for (const args of [
+        ["add", "-N", "--all"],
+        ["diff", "--binary", "HEAD"],
+    ]) {
+        const result = spawnSync("git", ["-C", repository, ...args], {
+            encoding: "utf8",
+            maxBuffer: 256 * 1024 * 1024,
+        });
+        if (result.status !== 0) {
+            throw new Error(`git ${args[0]} failed: ${result.stderr.slice(-2_000)}`);
+        }
+        if (args[0] === "diff") {
+            return result.stdout;
+        }
+    }
+    return "";
+}
+function deliverableFailure(root, problems) {
+    return failure(`The deliverable in ${root} is incomplete; nothing was recorded. Fix every item and call the tool again:\n${problems.map((problem) => `- [files] ${problem}`).join("\n")}`);
+}
+//# sourceMappingURL=deliverable.js.map

package/dist/extensions/shared/deliverable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deliverable.js","sourceRoot":"","sources":["../../../src/extensions/shared/deliverable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAoB,MAAM,mBAAmB,CAAC;AAQ9D,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,iBAAiB;IACjB,gBAAgB;IAChB,YAAY;IACZ,YAAY;CACJ,CAAC;AAEX;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACvF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,kBAAkB,CACvB,IAAI,EACJ,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,aAAa,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,IAAI,UAAmC,CAAC;IACxC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAY,CAAC;QAC1F,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,UAAU,GAAG,MAAiC,CAAC;IACjD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,kBAAkB,CAAC,IAAI,EAAE;YAC9B,sCAAsC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SAC/F,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9E,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,MAAM,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC3C,CAAC;IACD,IAAI,OAAO,UAAU,CAAC,MAAM,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,WAAW,EAAE,CAAC;QACtF,QAAQ,CAAC,IAAI,CACX,0FAA0F,CAC3F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;AACtF,CAAC;AAUD;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAe,EACf,aAAqB,EACrB,UAAkB;IAElB,MAAM,kBAAkB,GAAG,IAAI,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAGrE,CAAC;IACF,MAAM,iBAAiB,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IAC3D,IAAI,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAClC,IAAI,GAA4B,CAAC;QACjC,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAA4B,CAAC;QACvF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,kBAAkB,CAAC,OAAO,EAAE;gBACjC,sCAAsC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aAC/F,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC7B,UAAU,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,aAAa,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAChG,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QACtB,OAAO,kBAAkB,CAAC,OAAO,EAAE;YACjC,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,oDAAoD;SACxF,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,UAAU;QACV,SAAS;QACT,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,aAAa,EAAE,qBAAqB,CAAC,EAAE,MAAM,CAAC;QAC3E,eAAe,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc;QACnD,QAAQ,EAAE;YACR,UAAU,EAAE,kBAAkB;YAC9B,SAAS,EAAE,IAAI,CAAC,aAAa,EAAE,kBAAkB,CAAC;YAClD,SAAS,EAAE,IAAI,CAAC,aAAa,EAAE,qBAAqB,CAAC;SACtD;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,KAAK,MAAM,IAAI,IAAI;QACjB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC;QACtB,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC;KAC7B,EAAE,CAAC;QACF,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,EAAE;YAC3D,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;SAC7B,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC,MAAM,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,QAA2B;IACnE,OAAO,OAAO,CACZ,sBAAsB,IAAI,kFAAkF,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC3K,CAAC;AACJ,CAAC"}

package/dist/extensions/shared/mailbox.d.ts

@@ -0,0 +1,33 @@
+export interface VerifyPayload {
+    readonly definition: unknown;
+    readonly testPatch: string;
+    readonly goldPatch: string;
+}
+export type VerifyOutcome = {
+    readonly kind: "report";
+    readonly green: boolean;
+    readonly summary: string;
+    readonly rendered: string;
+    readonly remaining: number;
+} | {
+    readonly kind: "error";
+    readonly message: string;
+} | {
+    readonly kind: "exhausted";
+};
+/** Same formula as src/submission-hash.ts on the worker. */
+export declare function payloadHash(payload: VerifyPayload): string;
+/**
+ * Sandbox side of the worker mailbox: writes a verify request the supervising activity picks up,
+ * then blocks until the response arrives. Reports consume the per-session budget; worker errors
+ * and budget exhaustion do not.
+ */
+export declare class VerifyClient {
+    #private;
+    get remaining(): number;
+    /** Whether this exact payload was verified green in this session. */
+    verifiedGreen(payload: VerifyPayload): boolean;
+    verify(kind: "task" | "fix", payload: VerifyPayload): Promise<VerifyOutcome>;
+}
+export declare function verifyOutcomeText(outcome: VerifyOutcome, submitTool: string): string;
+//# sourceMappingURL=mailbox.d.ts.map

package/dist/extensions/shared/mailbox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mailbox.d.ts","sourceRoot":"","sources":["../../../src/extensions/shared/mailbox.ts"],"names":[],"mappings":"AAQA,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,MAAM,aAAa,GACrB;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AAEnC,4DAA4D;AAC5D,wBAAgB,WAAW,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAI1D;AAED;;;;GAIG;AACH,qBAAa,YAAY;;IAWvB,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED,qEAAqE;IACrE,aAAa,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO;IAIxC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,EAAE,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;CAyDnF;AAED,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAWpF"}

package/dist/extensions/shared/mailbox.js

@@ -0,0 +1,102 @@
+import { createHash } from "node:crypto";
+import { existsSync, mkdirSync, readFileSync, renameSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+const DEFAULT_MAILBOX = "/work/mailbox";
+const DEFAULT_POLL_MS = 2_000;
+const DEFAULT_TIMEOUT_MS = 60 * 60 * 1_000;
+/** Same formula as src/submission-hash.ts on the worker. */
+export function payloadHash(payload) {
+    return createHash("sha256")
+        .update(`${JSON.stringify(payload.definition)}\0${payload.testPatch}\0${payload.goldPatch}`)
+        .digest("hex");
+}
+/**
+ * Sandbox side of the worker mailbox: writes a verify request the supervising activity picks up,
+ * then blocks until the response arrives. Reports consume the per-session budget; worker errors
+ * and budget exhaustion do not.
+ */
+export class VerifyClient {
+    #mailbox = process.env.SELFBENCH_MAILBOX ?? DEFAULT_MAILBOX;
+    #budget = Number(process.env.SELFBENCH_VERIFY_BUDGET ?? "0");
+    #pollMs = Number(process.env.SELFBENCH_VERIFY_POLL_MS ?? String(DEFAULT_POLL_MS));
+    #timeoutMs = Number(process.env.SELFBENCH_VERIFY_TIMEOUT_MS ?? String(DEFAULT_TIMEOUT_MS));
+    #used = 0;
+    #sequence = 0;
+    #lastGreenHash;
+    get remaining() {
+        return Math.max(0, this.#budget - this.#used);
+    }
+    /** Whether this exact payload was verified green in this session. */
+    verifiedGreen(payload) {
+        return this.#lastGreenHash !== undefined && this.#lastGreenHash === payloadHash(payload);
+    }
+    async verify(kind, payload) {
+        if (this.remaining === 0) {
+            return { kind: "exhausted" };
+        }
+        const requests = join(this.#mailbox, "requests");
+        const responses = join(this.#mailbox, "responses");
+        mkdirSync(requests, { recursive: true });
+        mkdirSync(responses, { recursive: true });
+        this.#sequence += 1;
+        const id = `${Date.now()}-${this.#sequence}`;
+        const request = join(requests, `${id}.json`);
+        writeFileSync(`${request}.tmp`, `${JSON.stringify({ id, kind, ...payload })}\n`);
+        renameSync(`${request}.tmp`, request);
+        const response = join(responses, `${id}.json`);
+        const deadline = Date.now() + this.#timeoutMs;
+        while (Date.now() < deadline) {
+            if (existsSync(response)) {
+                let parsed;
+                try {
+                    parsed = JSON.parse(readFileSync(response, "utf8"));
+                }
+                catch {
+                    parsed = undefined;
+                }
+                if (parsed && typeof parsed === "object") {
+                    return this.#record(parsed, payload);
+                }
+            }
+            await new Promise((resolve) => setTimeout(resolve, this.#pollMs));
+        }
+        this.#used += 1;
+        return {
+            kind: "error",
+            message: `verify timed out after ${Math.round(this.#timeoutMs / 60_000)} minutes; the worker may still be building. ${this.remaining} verify call(s) remain.`,
+        };
+    }
+    #record(response, payload) {
+        if (response.kind !== "report") {
+            return {
+                kind: "error",
+                message: typeof response.message === "string" ? response.message : "verify failed on the worker",
+            };
+        }
+        this.#used += 1;
+        const green = response.green === true;
+        if (green) {
+            this.#lastGreenHash = payloadHash(payload);
+        }
+        return {
+            kind: "report",
+            green,
+            summary: typeof response.summary === "string" ? response.summary : "",
+            rendered: typeof response.rendered === "string" ? response.rendered : "",
+            remaining: this.remaining,
+        };
+    }
+}
+export function verifyOutcomeText(outcome, submitTool) {
+    if (outcome.kind === "exhausted") {
+        return `No verify calls remain in this session. Call ${submitTool} with your best task or explain in your final message why it cannot be made fair.`;
+    }
+    if (outcome.kind === "error") {
+        return `verify could not complete: ${outcome.message}`;
+    }
+    const next = outcome.green
+        ? `Call ${submitTool} with exactly this payload to record it; the worker will reuse this report.`
+        : `Fix the red gates and call verify again, or ${submitTool} if you must (the worker verifies again and a round is spent if it fails).`;
+    return `${outcome.rendered.trim()}\n\nverify result: green=${outcome.green}. ${outcome.remaining} verify call(s) remain in this session. ${next}`;
+}
+//# sourceMappingURL=mailbox.js.map

package/dist/extensions/shared/mailbox.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mailbox.js","sourceRoot":"","sources":["../../../src/extensions/shared/mailbox.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACzF,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,eAAe,GAAG,eAAe,CAAC;AACxC,MAAM,eAAe,GAAG,KAAK,CAAC;AAC9B,MAAM,kBAAkB,GAAG,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;AAmB3C,4DAA4D;AAC5D,MAAM,UAAU,WAAW,CAAC,OAAsB;IAChD,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;SAC3F,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,YAAY;IACd,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,eAAe,CAAC;IAC5D,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,uBAAuB,IAAI,GAAG,CAAC,CAAC;IAC7D,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC;IAClF,UAAU,GAAG,MAAM,CAC1B,OAAO,CAAC,GAAG,CAAC,2BAA2B,IAAI,MAAM,CAAC,kBAAkB,CAAC,CACtE,CAAC;IACF,KAAK,GAAG,CAAC,CAAC;IACV,SAAS,GAAG,CAAC,CAAC;IACd,cAAc,CAAqB;IAEnC,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC;IAED,qEAAqE;IACrE,aAAa,CAAC,OAAsB;QAClC,OAAO,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,KAAK,WAAW,CAAC,OAAO,CAAC,CAAC;IAC3F,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,IAAoB,EAAE,OAAsB;QACvD,IAAI,IAAI,CAAC,SAAS,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;QAC/B,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QACjD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACnD,SAAS,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1C,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC7C,aAAa,CAAC,GAAG,OAAO,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QACjF,UAAU,CAAC,GAAG,OAAO,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC;QAC9C,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;YAC7B,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,IAAI,MAAe,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;gBACtD,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,GAAG,SAAS,CAAC;gBACrB,CAAC;gBACD,IAAI,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACzC,OAAO,IAAI,CAAC,OAAO,CAAC,MAAiC,EAAE,OAAO,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;YACD,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAChB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,0BAA0B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,+CAA+C,IAAI,CAAC,SAAS,yBAAyB;SAC9J,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,QAAiC,EAAE,OAAsB;QAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,OAAO,EACL,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B;aAC1F,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC;QACtC,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,CAAC,cAAc,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,OAAO,EAAE,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;YACrE,QAAQ,EAAE,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YACxE,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC;IACJ,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAsB,EAAE,UAAkB;IAC1E,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,gDAAgD,UAAU,mFAAmF,CAAC;IACvJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7B,OAAO,8BAA8B,OAAO,CAAC,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK;QACxB,CAAC,CAAC,QAAQ,UAAU,6EAA6E;QACjG,CAAC,CAAC,+CAA+C,UAAU,4EAA4E,CAAC;IAC1I,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,4BAA4B,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,SAAS,2CAA2C,IAAI,EAAE,CAAC;AACpJ,CAAC"}