self-bench 0.3.6 → 0.3.8

package/dist/temporal/activities/types.d.ts

@@ -0,0 +1,57 @@
+import type { ArtifactRef, AuthoredTask, AuthoredTaskDraft, AuthoringRoundResult, Candidate, Difficulty, DiscoveryResult, ReplayMaterial, ReplayRunRequest, RunRequest, VerifierRoundResult, VerifyOutcome, VerifyStage } from "../../contracts.js";
+export interface DiscoveryShardInput {
+    readonly run: RunRequest;
+    readonly wave: number;
+    readonly shardIndex: number;
+    readonly shardCount: number;
+    readonly targetCounts: Readonly<Record<Difficulty, number>>;
+    readonly excludedSourcePrs: readonly number[];
+}
+/** One authoring agent turn: a fresh session on round 1, a resumed session afterwards. */
+export interface AuthoringRoundInput {
+    readonly run: RunRequest;
+    readonly candidate: Candidate;
+    readonly round: number;
+    /** Previous round's pi session file; required for round > 1. */
+    readonly session?: ArtifactRef;
+    /** Previous round's stored VerifyReport JSON; required for round > 1. */
+    readonly report?: ArtifactRef;
+    /** In-session verify calls already spent in earlier rounds of this session. */
+    readonly verifyCallsUsed?: number;
+    /** Read-only verifier suggestions for the next authoring round. */
+    readonly feedback?: string;
+}
+/** Trusted compile + audit + Harbor build/smoke/nop/oracle for one submission. */
+export interface CompileAndVerifyInput {
+    readonly run: RunRequest;
+    readonly candidate: Candidate;
+    readonly task: AuthoredTaskDraft;
+    readonly stage: VerifyStage;
+    readonly round: number;
+}
+/** One verification agent turn over a green task and its latest report. */
+export interface VerifierRoundInput {
+    readonly run: RunRequest;
+    readonly candidate: Candidate;
+    readonly task: AuthoredTask;
+    readonly report: ArtifactRef;
+    readonly round: number;
+    readonly session?: ArtifactRef;
+    readonly verifyCallsUsed?: number;
+}
+export interface ExportInput {
+    readonly run: RunRequest;
+    readonly tasks: readonly AuthoredTask[];
+}
+export interface SelfBenchActivities {
+    collectRunProvenance(run: RunRequest): Promise<ArtifactRef>;
+    /** Source PRs processed by the listed earlier runs, for cross-run discovery exclusion. */
+    collectExcludedSourcePrs(runIds: readonly string[]): Promise<number[]>;
+    discoverCandidateShard(input: DiscoveryShardInput): Promise<DiscoveryResult>;
+    rebuildReplayCandidates(input: ReplayRunRequest): Promise<ReplayMaterial>;
+    runAuthoringRound(input: AuthoringRoundInput): Promise<AuthoringRoundResult>;
+    compileAndVerify(input: CompileAndVerifyInput): Promise<VerifyOutcome>;
+    runVerifierRound(input: VerifierRoundInput): Promise<VerifierRoundResult>;
+    buildExport(input: ExportInput): Promise<ArtifactRef>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/temporal/activities/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/temporal/activities/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EACX,YAAY,EACZ,iBAAiB,EACjB,oBAAoB,EACpB,SAAS,EACT,UAAU,EACV,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,mBAAmB,EACnB,aAAa,EACb,WAAW,EACZ,MAAM,oBAAoB,CAAC;AAE5B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,0FAA0F;AAC1F,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gEAAgE;IAChE,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,kFAAkF;AAClF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,2EAA2E;AAC3E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;CACzC;AAED,MAAM,WAAW,mBAAmB;IAClC,oBAAoB,CAAC,GAAG,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5D,0FAA0F;IAC1F,wBAAwB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,sBAAsB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7E,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1E,iBAAiB,CAAC,KAAK,EAAE,mBAAmB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC7E,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,OAAO,CAAC,aAAa,CAAC,CAAC;IACvE,gBAAgB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC1E,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;CACvD"}

package/dist/temporal/activities/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/temporal/activities/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/temporal/activities/types.ts"],"names":[],"mappings":""}

package/dist/temporal/activities/verifier-material.d.ts

@@ -0,0 +1,18 @@
+import type { ArtifactStore } from "../../artifacts.js";
+import { type AuthoredTask, type TaskDefinition } from "../../contracts.js";
+import { type CouplingEvidence } from "../../coupling.js";
+export interface VerifierMaterial {
+    readonly definition: TaskDefinition;
+    readonly instruction: string;
+    readonly testPatch: string;
+    readonly goldPatch: string;
+    readonly couplingEvidence: CouplingEvidence;
+    readonly heldOutPaths: readonly string[];
+}
+/**
+ * Everything the verification agent judges, gathered from the green bundle on the worker: the
+ * instruction, both patches, the environment contract, and the deterministic coupling evidence
+ * computed against the exact base snapshot.
+ */
+export declare function buildVerifierMaterial(store: ArtifactStore, task: AuthoredTask): Promise<VerifierMaterial>;
+//# sourceMappingURL=verifier-material.d.ts.map

package/dist/temporal/activities/verifier-material.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-material.d.ts","sourceRoot":"","sources":["../../../src/temporal/activities/verifier-material.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,cAAc,EAAwB,MAAM,oBAAoB,CAAC;AAClG,OAAO,EAEL,KAAK,gBAAgB,EAGtB,MAAM,mBAAmB,CAAC;AAK3B,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,YAAY,GACjB,OAAO,CAAC,gBAAgB,CAAC,CAwC3B"}

package/dist/temporal/activities/verifier-material.js

@@ -0,0 +1,49 @@
+import { mkdir, readFile } from "node:fs/promises";
+import { join } from "node:path";
+import { extractRegularArchive, REPOSITORY_SNAPSHOT_ARCHIVE_OPTIONS } from "../../archive.js";
+import { taskDefinitionSchema } from "../../contracts.js";
+import { buildCouplingEvidence, discoverContractArtifacts, scanBaseContractArtifacts, } from "../../coupling.js";
+import { repositoryRelativePath } from "../../harbor-task/paths.js";
+import { patchPaths } from "../../repair.js";
+import { withTaskBundle } from "./runtime.js";
+/**
+ * Everything the verification agent judges, gathered from the green bundle on the worker: the
+ * instruction, both patches, the environment contract, and the deterministic coupling evidence
+ * computed against the exact base snapshot.
+ */
+export async function buildVerifierMaterial(store, task) {
+    return await withTaskBundle(store, task, async (taskDirectory, root) => {
+        const [definitionBytes, instruction, testPatch, goldPatch] = await Promise.all([
+            store.get(task.definition),
+            readFile(join(taskDirectory, "instruction.md"), "utf8"),
+            readFile(join(taskDirectory, "tests/test.patch"), "utf8"),
+            readFile(join(taskDirectory, "solution/gold.patch"), "utf8"),
+        ]);
+        const definition = taskDefinitionSchema.parse(JSON.parse(Buffer.from(definitionBytes).toString("utf8")));
+        const baseDirectory = join(root, "verifier-base");
+        await mkdir(baseDirectory);
+        await extractRegularArchive(join(taskDirectory, "environment/repo.tar.gz"), baseDirectory, REPOSITORY_SNAPSHOT_ARCHIVE_OPTIONS);
+        const candidates = discoverContractArtifacts(testPatch);
+        const baseArtifacts = await scanBaseContractArtifacts(baseDirectory, root, candidates);
+        const couplingEvidence = buildCouplingEvidence({
+            prompt: definition.prompt,
+            testPatch,
+            goldPatch,
+            baseArtifacts,
+        });
+        return {
+            definition,
+            instruction,
+            testPatch,
+            goldPatch,
+            couplingEvidence,
+            heldOutPaths: [
+                ...new Set([
+                    ...patchPaths(testPatch),
+                    ...definition.testPaths.map((path) => repositoryRelativePath(definition, path)),
+                ]),
+            ],
+        };
+    });
+}
+//# sourceMappingURL=verifier-material.js.map

package/dist/temporal/activities/verifier-material.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-material.js","sourceRoot":"","sources":["../../../src/temporal/activities/verifier-material.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAAE,MAAM,kBAAkB,CAAC;AAE9F,OAAO,EAA0C,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAClG,OAAO,EACL,qBAAqB,EAErB,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAW9C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAoB,EACpB,IAAkB;IAElB,OAAO,MAAM,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE;QACrE,MAAM,CAAC,eAAe,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC7E,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC;YACvD,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,kBAAkB,CAAC,EAAE,MAAM,CAAC;YACzD,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,qBAAqB,CAAC,EAAE,MAAM,CAAC;SAC7D,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,oBAAoB,CAAC,KAAK,CAC3C,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAC1D,CAAC;QACF,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QAClD,MAAM,KAAK,CAAC,aAAa,CAAC,CAAC;QAC3B,MAAM,qBAAqB,CACzB,IAAI,CAAC,aAAa,EAAE,yBAAyB,CAAC,EAC9C,aAAa,EACb,mCAAmC,CACpC,CAAC;QACF,MAAM,UAAU,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,MAAM,yBAAyB,CAAC,aAAa,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QACvF,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;YAC7C,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,SAAS;YACT,SAAS;YACT,aAAa;SACd,CAAC,CAAC;QACH,OAAO;YACL,UAAU;YACV,WAAW;YACX,SAAS;YACT,SAAS;YACT,gBAAgB;YAChB,YAAY,EAAE;gBACZ,GAAG,IAAI,GAAG,CAAC;oBACT,GAAG,UAAU,CAAC,SAAS,CAAC;oBACxB,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,sBAAsB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;iBAChF,CAAC;aACH;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/temporal/activities/verifier-outcome.d.ts

@@ -0,0 +1,19 @@
+import type { ArtifactStore } from "../../artifacts.js";
+import type { VerifierRoundResult } from "../../contracts.js";
+import { type SandboxRoundResult } from "./round-outcome.js";
+import type { StoredPiSession } from "./runtime.js";
+import type { VerifierRoundInput } from "./types.js";
+export declare const VERDICT_PATH = "/work/verdict/verdict.json";
+export interface VerifierOutcomeInput {
+    readonly store: ArtifactStore;
+    readonly input: VerifierRoundInput;
+    readonly prefix: string;
+    /** `<prefix>/attempt-<n>`: where this attempt's pre-decision artifacts go. */
+    readonly attemptPrefix: string;
+    readonly result: SandboxRoundResult;
+    readonly session: StoredPiSession | undefined;
+    readonly logUri: string;
+}
+/** Archives a read-only verdict; never imports task modifications from the reviewer. */
+export declare function resolveVerifierOutcome(input: VerifierOutcomeInput): Promise<VerifierRoundResult>;
+//# sourceMappingURL=verifier-outcome.d.ts.map

package/dist/temporal/activities/verifier-outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-outcome.d.ts","sourceRoot":"","sources":["../../../src/temporal/activities/verifier-outcome.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,EAKL,KAAK,kBAAkB,EACxB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAErD,eAAO,MAAM,YAAY,+BAA+B,CAAC;AAezD,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,wFAAwF;AACxF,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,oBAAoB,GAC1B,OAAO,CAAC,mBAAmB,CAAC,CAsD9B"}

package/dist/temporal/activities/verifier-outcome.js

@@ -0,0 +1,70 @@
+import { z } from "zod";
+import { PI_SESSION_OUTPUT_PATH } from "../../pi-session.js";
+import { archiveSandboxResult, classifyRound, piExitCodeFrom, SandboxOutputError, } from "./round-outcome.js";
+export const VERDICT_PATH = "/work/verdict/verdict.json";
+const verdictSchema = z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("accepted"), reason: z.string().min(1) }).passthrough(),
+    z
+        .object({
+        kind: z.literal("suggestions"),
+        summary: z.string().min(1),
+        suggestions: z.string().min(1),
+    })
+        .passthrough(),
+    z.object({ kind: z.literal("rejected"), reason: z.string().min(1) }),
+    z.object({ kind: z.literal("none") }),
+]);
+/** Archives a read-only verdict; never imports task modifications from the reviewer. */
+export async function resolveVerifierOutcome(input) {
+    const { store, prefix, attemptPrefix, result, session, logUri } = input;
+    const { candidate, round } = input.input;
+    const reject = (reason) => ({
+        kind: "rejected",
+        candidateId: candidate.candidateId,
+        reason: `${reason}; log: ${logUri}`,
+    });
+    const verdictBytes = result.outputs[VERDICT_PATH];
+    const missing = await archiveSandboxResult(store, `${attemptPrefix}/sandbox-result.json`, result, [VERDICT_PATH, PI_SESSION_OUTPUT_PATH]);
+    const classified = classifyRound({
+        round,
+        exitCode: result.exitCode,
+        piExitCode: piExitCodeFrom(result.stdout),
+        missing: missing.filter((path) => path !== PI_SESSION_OUTPUT_PATH),
+        sessionCollected: session !== undefined,
+        toolCalls: session?.toolCalls ?? [],
+        finalMessage: session?.finalMessage,
+        providerError: session?.providerError,
+    });
+    if (classified.kind === "infrastructure") {
+        throw new SandboxOutputError(`verifier ${classified.reason}; log: ${logUri}`);
+    }
+    if (classified.kind === "rejected" || !verdictBytes || !session) {
+        return reject(`verifier ${classified.kind === "rejected" ? classified.reason : `round ${round} delivered no verdict`}`);
+    }
+    const verdict = verdictSchema.safeParse(JSON.parse(Buffer.from(verdictBytes).toString("utf8")));
+    if (!verdict.success) {
+        return reject(`verifier round ${round} produced an unreadable verdict`);
+    }
+    await store.put(`${prefix}/verdict.json`, verdictBytes, "application/json");
+    if (verdict.data.kind === "none") {
+        return reject(`verification agent declined the task${explanation(session)}`);
+    }
+    if (verdict.data.kind === "rejected")
+        return reject(verdict.data.reason);
+    if (verdict.data.kind === "accepted") {
+        return { kind: "accepted", session: session.ref, reason: verdict.data.reason };
+    }
+    if (verdict.data.kind === "suggestions") {
+        return {
+            kind: "suggestions",
+            session: session.ref,
+            summary: verdict.data.summary,
+            suggestions: verdict.data.suggestions,
+        };
+    }
+    return reject("unsupported verifier verdict");
+}
+function explanation(session) {
+    return session?.finalMessage ? `: ${session.finalMessage.slice(0, 1_000)}` : "";
+}
+//# sourceMappingURL=verifier-outcome.js.map

package/dist/temporal/activities/verifier-outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-outcome.js","sourceRoot":"","sources":["../../../src/temporal/activities/verifier-outcome.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,EACL,oBAAoB,EACpB,aAAa,EACb,cAAc,EACd,kBAAkB,GAEnB,MAAM,oBAAoB,CAAC;AAI5B,MAAM,CAAC,MAAM,YAAY,GAAG,4BAA4B,CAAC;AAEzD,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACjD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;IAClF,CAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC/B,CAAC;SACD,WAAW,EAAE;IAChB,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;CACtC,CAAC,CAAC;AAaH,wFAAwF;AACxF,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,KAA2B;IAE3B,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACxE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAuB,EAAE,CAAC,CAAC;QACvD,IAAI,EAAE,UAAU;QAChB,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,MAAM,EAAE,GAAG,MAAM,UAAU,MAAM,EAAE;KACpC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,MAAM,oBAAoB,CACxC,KAAK,EACL,GAAG,aAAa,sBAAsB,EACtC,MAAM,EACN,CAAC,YAAY,EAAE,sBAAsB,CAAC,CACvC,CAAC;IACF,MAAM,UAAU,GAAG,aAAa,CAAC;QAC/B,KAAK;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,UAAU,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC;QACzC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,sBAAsB,CAAC;QAClE,gBAAgB,EAAE,OAAO,KAAK,SAAS;QACvC,SAAS,EAAE,OAAO,EAAE,SAAS,IAAI,EAAE;QACnC,YAAY,EAAE,OAAO,EAAE,YAAY;QACnC,aAAa,EAAE,OAAO,EAAE,aAAa;KACtC,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACzC,MAAM,IAAI,kBAAkB,CAAC,YAAY,UAAU,CAAC,MAAM,UAAU,MAAM,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC;QAChE,OAAO,MAAM,CACX,YAAY,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,uBAAuB,EAAE,CACzG,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,kBAAkB,KAAK,iCAAiC,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,eAAe,EAAE,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,uCAAuC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzE,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,OAAO,CAAC,GAAG;YACpB,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO;YAC7B,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW;SACtC,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,8BAA8B,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,WAAW,CAAC,OAAoC;IACvD,OAAO,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAClF,CAAC"}

package/dist/temporal/activities/verifier-round.d.ts

@@ -0,0 +1,8 @@
+import type { ArtifactStore } from "../../artifacts.js";
+import type { SelfBenchConfig } from "../../config.js";
+import { type VerifierRoundResult } from "../../contracts.js";
+import type { SandboxExecutor } from "../../sandbox/index.js";
+import type { VerifierRoundInput } from "./types.js";
+/** Fresh read-only review of a mechanically green authoring revision. */
+export declare function runVerifierRound(store: ArtifactStore, sandbox: SandboxExecutor, _harborEnvironment: SelfBenchConfig["harborEnvironment"], input: VerifierRoundInput): Promise<VerifierRoundResult>;
+//# sourceMappingURL=verifier-round.d.ts.map

package/dist/temporal/activities/verifier-round.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-round.d.ts","sourceRoot":"","sources":["../../../src/temporal/activities/verifier-round.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAEvD,OAAO,EACL,KAAK,mBAAmB,EAGzB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,KAAK,EAAE,eAAe,EAAe,MAAM,wBAAwB,CAAC;AAc3E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAIrD,yEAAyE;AACzE,wBAAsB,gBAAgB,CACpC,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,eAAe,EACxB,kBAAkB,EAAE,eAAe,CAAC,mBAAmB,CAAC,EACxD,KAAK,EAAE,kBAAkB,GACxB,OAAO,CAAC,mBAAmB,CAAC,CA4G9B"}

package/dist/temporal/activities/verifier-round.js

@@ -0,0 +1,110 @@
+import { Context } from "@temporalio/activity";
+import { verifierRoundResultSchema, verifyReportSchema, } from "../../contracts.js";
+import { PI_SESSION_OUTPUT_PATH, sessionArtifactKey } from "../../pi-session.js";
+import { loadPiModelAuth } from "../../subscription-auth.js";
+import { renderVerifyReport } from "../../verify-report.js";
+import { withAgentFeed } from "./agent-feed.js";
+import { verifierRoundScript } from "./agent-scripts.js";
+import { AGENT_INACTIVITY_TIMEOUT_MS, VERIFIER_TIMEOUT_MS } from "./constants.js";
+import { verifierPrompt } from "./prompts-verifier.js";
+import { reconcileWrapperStatus, WRAPPER_STATUS_PATH } from "./round-outcome.js";
+import { readAsset, runSandboxWithFailureLog, storePiSession, withActivityHeartbeats, } from "./runtime.js";
+import { buildVerifierMaterial } from "./verifier-material.js";
+import { resolveVerifierOutcome, VERDICT_PATH } from "./verifier-outcome.js";
+/** Fresh read-only review of a mechanically green authoring revision. */
+export async function runVerifierRound(store, sandbox, _harborEnvironment, input) {
+    const { run, candidate, task, round } = input;
+    const prefix = `runs/${run.runId}/verification/${candidate.candidateId}/round-${round}`;
+    // Everything one attempt produces before the round is decided lives under attempt-<n>, so a
+    // Temporal retry never collides with the immutable artifacts of the attempt it replaces.
+    const attempt = Context.current().info.attempt;
+    const attemptPrefix = `${prefix}/attempt-${attempt}`;
+    const checkpoint = await store.getByKey(`${prefix}/result.json`);
+    if (checkpoint) {
+        return verifierRoundResultSchema.parse(JSON.parse(Buffer.from(checkpoint).toString("utf8")));
+    }
+    Context.current().heartbeat(`verifying ${task.taskId} round ${round}`);
+    const [reportBytes, extension, program, piAuth] = await Promise.all([
+        store.get(input.report),
+        readAsset("dist/extension-verifier.bundle.js"),
+        readAsset("dist/sandbox-verifier.bundle.js"),
+        loadPiModelAuth(),
+    ]);
+    const report = verifyReportSchema.parse(JSON.parse(Buffer.from(reportBytes).toString("utf8")));
+    if (!report.green)
+        throw new Error("Read-only verification requires green mechanical checks");
+    const material = await buildVerifierMaterial(store, task);
+    await store.put(`${attemptPrefix}/coupling-evidence.json`, Buffer.from(JSON.stringify(material.couplingEvidence)), "application/json");
+    const prompt = verifierPrompt({
+        taskId: task.taskId,
+        testSelection: material.definition.testSelection,
+        testResults: material.definition.testResults,
+        instruction: material.instruction,
+        renderedReport: renderVerifyReport(report),
+        couplingEvidence: material.couplingEvidence,
+        environment: material.definition.environment,
+        testPatch: material.testPatch,
+        goldPatch: material.goldPatch,
+        heldOutPaths: material.heldOutPaths,
+    });
+    await store.put(`${attemptPrefix}/prompt.md`, Buffer.from(prompt), "text/markdown");
+    const logKey = `${attemptPrefix}/sandbox.log`;
+    const sandboxResult = await withAgentFeed(store, attemptPrefix, [piAuth.apiKey ?? "", piAuth.authJson ?? ""], (onOutput) => runSandboxWithFailureLog(store, logKey, () => withActivityHeartbeats(`running verifier sandbox for ${task.taskId} round ${round}`, async (options) => sandbox.run({
+        runId: run.runId,
+        stage: `verify-${candidate.candidateId}-r${round}`,
+        timeoutMs: VERIFIER_TIMEOUT_MS,
+        inactivityTimeoutMs: AGENT_INACTIVITY_TIMEOUT_MS,
+        files: [
+            // The bundle (hundreds of MB) is pulled by the sandbox from a signed URL when the
+            // store can issue one; otherwise it is loaded inline, never held in a local.
+            await bundleFile(store, task.bundle),
+            { path: "/work/sandbox-verifier.js", contents: program },
+            { path: "/work/verifier.js", contents: extension },
+            { path: "/work/prompt.txt", contents: prompt },
+        ],
+        outputPaths: [VERDICT_PATH, PI_SESSION_OUTPUT_PATH, WRAPPER_STATUS_PATH],
+        secrets: {
+            ...(piAuth.apiKey ? { OPENAI_API_KEY: piAuth.apiKey } : {}),
+            ...(piAuth.authJson ? { SELFBENCH_PI_AUTH_JSON: piAuth.authJson } : {}),
+        },
+        environment: {
+            AUTHOR_MODEL: run.authoring.model,
+            AUTHOR_THINKING: run.authoring.reasoningEffort,
+            SELFBENCH_TASK_DIRECTORY: "/work/task/harbor-task",
+            SELFBENCH_REPO_DIRECTORY: "/work/repo",
+            SELFBENCH_VERDICT_OUTPUT: "/work/verdict",
+        },
+        command: ["bash", "-lc", verifierRoundScript(false)],
+    }, { ...options, onOutput }))));
+    const result = reconcileWrapperStatus(sandboxResult);
+    const log = await store.put(logKey, Buffer.from(`${result.stdout}\n${result.stderr}`), "text/plain");
+    const session = await storePiSession(store, sessionArtifactKey(run.runId, "verification", candidate.candidateId, round, attempt), result.outputs[PI_SESSION_OUTPUT_PATH]);
+    const outcome = await resolveVerifierOutcome({
+        store,
+        input,
+        prefix,
+        attemptPrefix,
+        result,
+        session,
+        logUri: log.uri,
+    });
+    await store.put(`${prefix}/result.json`, Buffer.from(`${JSON.stringify(outcome, null, 2)}\n`), "application/json");
+    return outcome;
+}
+const BUNDLE_URL_TTL_MS = 2 * 60 * 60_000;
+async function bundleFile(store, bundle) {
+    try {
+        const url = await store.signedReadUrl?.(bundle, BUNDLE_URL_TTL_MS);
+        if (url)
+            return { path: "/work/task.tar.gz", url, sha256: bundle.sha256 };
+    }
+    catch (error) {
+        // Some ADC credentials can read GCS but cannot sign URLs. Inline fallback keeps verification
+        // working; signed URLs remain the fast path for large bundles when a service account is present.
+        if (!(error instanceof Error) || !/client_email|sign data|credential/i.test(error.message)) {
+            throw error;
+        }
+    }
+    return { path: "/work/task.tar.gz", contents: await store.get(bundle) };
+}
+//# sourceMappingURL=verifier-round.js.map

package/dist/temporal/activities/verifier-round.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-round.js","sourceRoot":"","sources":["../../../src/temporal/activities/verifier-round.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAI/C,OAAO,EAEL,yBAAyB,EACzB,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,2BAA2B,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EACL,SAAS,EACT,wBAAwB,EACxB,cAAc,EACd,sBAAsB,GACvB,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,sBAAsB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAE7E,yEAAyE;AACzE,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,KAAoB,EACpB,OAAwB,EACxB,kBAAwD,EACxD,KAAyB;IAEzB,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC9C,MAAM,MAAM,GAAG,QAAQ,GAAG,CAAC,KAAK,iBAAiB,SAAS,CAAC,WAAW,UAAU,KAAK,EAAE,CAAC;IACxF,4FAA4F;IAC5F,yFAAyF;IACzF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;IAC/C,MAAM,aAAa,GAAG,GAAG,MAAM,YAAY,OAAO,EAAE,CAAC;IACrD,MAAM,UAAU,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,GAAG,MAAM,cAAc,CAAC,CAAC;IACjE,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,MAAM,UAAU,KAAK,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAClE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;QACvB,SAAS,CAAC,mCAAmC,CAAC;QAC9C,SAAS,CAAC,iCAAiC,CAAC;QAC5C,eAAe,EAAE;KAClB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/F,IAAI,CAAC,MAAM,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1D,MAAM,KAAK,CAAC,GAAG,CACb,GAAG,aAAa,yBAAyB,EACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,EACtD,kBAAkB,CACnB,CAAC;IACF,MAAM,MAAM,GAAG,cAAc,CAAC;QAC5B,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,aAAa,EAAE,QAAQ,CAAC,UAAU,CAAC,aAAa;QAChD,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,WAAW;QAC5C,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,cAAc,EAAE,kBAAkB,CAAC,MAAM,CAAC;QAC1C,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAC3C,WAAW,EAAE,QAAQ,CAAC,UAAU,CAAC,WAAW;QAC5C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,YAAY,EAAE,QAAQ,CAAC,YAAY;KACpC,CAAC,CAAC;IACH,MAAM,KAAK,CAAC,GAAG,CAAC,GAAG,aAAa,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,GAAG,aAAa,cAAc,CAAC;IAC9C,MAAM,aAAa,GAAG,MAAM,aAAa,CACvC,KAAK,EACL,aAAa,EACb,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,EAC5C,CAAC,QAAQ,EAAE,EAAE,CACX,wBAAwB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAC3C,sBAAsB,CACpB,gCAAgC,IAAI,CAAC,MAAM,UAAU,KAAK,EAAE,EAC5D,KAAK,EAAE,OAAO,EAAE,EAAE,CAChB,OAAO,CAAC,GAAG,CACT;QACE,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,KAAK,EAAE,UAAU,SAAS,CAAC,WAAW,KAAK,KAAK,EAAE;QAClD,SAAS,EAAE,mBAAmB;QAC9B,mBAAmB,EAAE,2BAA2B;QAChD,KAAK,EAAE;YACL,kFAAkF;YAClF,6EAA6E;YAC7E,MAAM,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC;YACpC,EAAE,IAAI,EAAE,2BAA2B,EAAE,QAAQ,EAAE,OAAO,EAAE;YACxD,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,SAAS,EAAE;YAClD,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,EAAE;SAC/C;QACD,WAAW,EAAE,CAAC,YAAY,EAAE,sBAAsB,EAAE,mBAAmB,CAAC;QACxE,OAAO,EAAE;YACP,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE;QACD,WAAW,EAAE;YACX,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK;YACjC,eAAe,EAAE,GAAG,CAAC,SAAS,CAAC,eAAe;YAC9C,wBAAwB,EAAE,wBAAwB;YAClD,wBAAwB,EAAE,YAAY;YACtC,wBAAwB,EAAE,eAAe;SAC1C;QACD,OAAO,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC;KACrD,EACD,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CACzB,CACJ,CACF,CACJ,CAAC;IACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,CACzB,MAAM,EACN,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,EACjD,YAAY,CACb,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,cAAc,CAClC,KAAK,EACL,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,CAAC,WAAW,EAAE,KAAK,EAAE,OAAO,CAAC,EACpF,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC;QAC3C,KAAK;QACL,KAAK;QACL,MAAM;QACN,aAAa;QACb,MAAM;QACN,OAAO;QACP,MAAM,EAAE,GAAG,CAAC,GAAG;KAChB,CAAC,CAAC;IACH,MAAM,KAAK,CAAC,GAAG,CACb,GAAG,MAAM,cAAc,EACvB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EACpD,kBAAkB,CACnB,CAAC;IACF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,iBAAiB,GAAG,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;AAE1C,KAAK,UAAU,UAAU,CAAC,KAAoB,EAAE,MAAmB;IACjE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;QACnE,IAAI,GAAG;YAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC5E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,6FAA6F;QAC7F,iGAAiG;QACjG,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3F,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;AAC1E,CAAC"}

package/dist/temporal/activities/verify-harbor.d.ts

@@ -0,0 +1,15 @@
+import type { ArtifactStore } from "../../artifacts.js";
+import type { SelfBenchConfig } from "../../config.js";
+import type { AuthoredTask, VerifyReport } from "../../contracts.js";
+export type HarborGates = Pick<VerifyReport, "build" | "smoke" | "nop" | "oracle">;
+export declare function notRunGates(): HarborGates;
+/**
+ * Builds the task images and measures smoke, nop, and oracle on Harbor. The first run replaces the
+ * verifier script with one that runs the smoke command and then the real nop split, preserving the
+ * nop rewards under `nop_*` keys; the second run is the unchanged oracle. Harbor infrastructure
+ * failures are reported as a red build flagged `infrastructure` instead of failing the activity.
+ */
+export declare function runHarborGates(store: ArtifactStore, task: AuthoredTask, harborEnvironment: SelfBenchConfig["harborEnvironment"], prefix: string): Promise<HarborGates>;
+/** Verifier script for the smoke+nop run; nop rewards are re-emitted under `nop_*` keys. */
+export declare function smokeAndNopScript(): string;
+//# sourceMappingURL=verify-harbor.d.ts.map

package/dist/temporal/activities/verify-harbor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-harbor.d.ts","sourceRoot":"","sources":["../../../src/temporal/activities/verify-harbor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,YAAY,EAAiB,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAepF,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,OAAO,GAAG,OAAO,GAAG,KAAK,GAAG,QAAQ,CAAC,CAAC;AAgBnF,wBAAgB,WAAW,IAAI,WAAW,CAQzC;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAClC,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,YAAY,EAClB,iBAAiB,EAAE,eAAe,CAAC,mBAAmB,CAAC,EACvD,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,WAAW,CAAC,CA2EtB;AAyGD,4FAA4F;AAC5F,wBAAgB,iBAAiB,IAAI,MAAM,CA8B1C"}

package/dist/temporal/activities/verify-harbor.js

@@ -0,0 +1,193 @@
+import { copyFile, writeFile } from "node:fs/promises";
+import { join } from "node:path";
+import { CancelledFailure } from "@temporalio/activity";
+import { nopGatePassed, oracleGatePassed } from "../../verify-report.js";
+import { composeDiagnostics, isUnhealthyServiceFailure, storeGateLog } from "./gate-logs.js";
+import { boundedTail, exception, isHarborInfrastructureApplicationFailure, rewards, runHarborGate, verifierOutput, } from "./harbor.js";
+import { modalBuildLogTail } from "./modal-build-log.js";
+import { withActivityHeartbeats, withTaskBundle } from "./runtime.js";
+const NOP_REWARD_KEYS = [
+    "structured_results",
+    "patch_applied",
+    "fail_to_pass",
+    "pass_to_pass",
+    "deterministic",
+    "setup_completed",
+    "fail_to_pass_exit_code",
+    "fail_to_pass_repeat_exit_code",
+    "pass_to_pass_exit_code",
+];
+const SMOKE_MARKER = "--- selfbench smoke ---";
+const NOP_MARKER = "--- selfbench nop ---";
+export function notRunGates() {
+    const gate = { ran: false, ok: false, logTail: "" };
+    return {
+        build: { ...gate, infrastructure: false },
+        smoke: gate,
+        nop: { ...gate, rewards: {} },
+        oracle: { ...gate, rewards: {} },
+    };
+}
+/**
+ * Builds the task images and measures smoke, nop, and oracle on Harbor. The first run replaces the
+ * verifier script with one that runs the smoke command and then the real nop split, preserving the
+ * nop rewards under `nop_*` keys; the second run is the unchanged oracle. Harbor infrastructure
+ * failures are reported as a red build flagged `infrastructure` instead of failing the activity.
+ */
+export async function runHarborGates(store, task, harborEnvironment, prefix) {
+    return await withTaskBundle(store, task, async (taskDirectory, root) => {
+        const gates = notRunGates();
+        await writeFile(join(taskDirectory, "tests/test.sh"), smokeAndNopScript(), { mode: 0o755 });
+        const first = await harborRun(taskDirectory, root, task.taskId, "nop", harborEnvironment);
+        if ("infrastructure" in first) {
+            const log = await storeGateLog(store, `${prefix}/build.log`, first.infrastructure);
+            return { ...gates, build: { ran: true, ok: false, infrastructure: true, ...log } };
+        }
+        await storeHarborResult(store, `${prefix}/smoke-nop`, first);
+        const trialError = exceptionMessage(first.trial);
+        if (trialError !== undefined) {
+            const log = await storeGateLog(store, `${prefix}/build.log`, await failureLog(trialError, first, harborEnvironment));
+            return { ...gates, build: { ran: true, ok: false, infrastructure: false, ...log } };
+        }
+        const firstRewards = rewards(first.trial);
+        const output = verifierOutput(first) ?? "";
+        const smokeOk = numberOf(firstRewards.smoke_exit_code) === 0;
+        gates.build = { ran: true, ok: true, infrastructure: false, logTail: "" };
+        gates.smoke = {
+            ran: true,
+            ok: smokeOk,
+            ...(await storeGateLog(store, `${prefix}/smoke.log`, section(output, SMOKE_MARKER, NOP_MARKER))),
+        };
+        if (!smokeOk) {
+            return gates;
+        }
+        const nopRewards = nopRewardsFrom(firstRewards);
+        gates.nop = {
+            ran: true,
+            ok: nopGatePassed(nopRewards),
+            rewards: nopRewards,
+            ...(await storeGateLog(store, `${prefix}/nop.log`, section(output, NOP_MARKER))),
+        };
+        if (!gates.nop.ok) {
+            return gates;
+        }
+        await copyFile(join(taskDirectory, "tests/task-test.sh"), join(taskDirectory, "tests/test.sh"));
+        const oracle = await harborRun(taskDirectory, root, task.taskId, "oracle", harborEnvironment);
+        if ("infrastructure" in oracle) {
+            const log = await storeGateLog(store, `${prefix}/oracle-build.log`, `during oracle run: ${oracle.infrastructure}`);
+            return { ...gates, build: { ran: true, ok: false, infrastructure: true, ...log } };
+        }
+        await storeHarborResult(store, `${prefix}/oracle`, oracle);
+        const oracleError = exceptionMessage(oracle.trial);
+        if (oracleError !== undefined) {
+            const log = await storeGateLog(store, `${prefix}/oracle.log`, await failureLog(oracleError, oracle, harborEnvironment));
+            gates.oracle = { ran: true, ok: false, rewards: {}, ...log };
+            return gates;
+        }
+        const oracleRewards = numericRewards(rewards(oracle.trial));
+        gates.oracle = {
+            ran: true,
+            ok: oracleGatePassed(oracleRewards),
+            rewards: oracleRewards,
+            ...(await storeGateLog(store, `${prefix}/oracle.log`, verifierOutput(oracle) ?? "")),
+        };
+        return gates;
+    });
+}
+/** Raw failure log: the trial exception, Harbor's trial.log, and compose diagnostics when relevant. */
+async function failureLog(message, result, harborEnvironment) {
+    const parts = [message, result.trialLog ?? "", verifierOutput(result) ?? ""];
+    if (isUnhealthyServiceFailure(`${message}\n${result.trialLog ?? ""}`)) {
+        parts.push(await composeDiagnostics(result.trial, harborEnvironment));
+    }
+    return parts.filter((part) => part.trim().length > 0).join("\n\n");
+}
+async function harborRun(taskDirectory, root, taskId, agent, harborEnvironment) {
+    try {
+        return await withActivityHeartbeats(`running Harbor ${agent} for ${taskId}`, (options) => runHarborGate(taskDirectory, join(root, "jobs"), agent, taskId, harborEnvironment, options.signal, false));
+    }
+    catch (error) {
+        if (error instanceof CancelledFailure || !isHarborInfrastructureApplicationFailure(error)) {
+            throw error;
+        }
+        const message = error instanceof Error ? error.message : String(error);
+        const buildLog = await modalBuildLogTail(message);
+        return {
+            infrastructure: buildLog ? `${boundedTail(message)}\n\n${buildLog}` : boundedTail(message),
+        };
+    }
+}
+async function storeHarborResult(store, prefix, result) {
+    const output = verifierOutput(result);
+    await Promise.all([
+        store.put(`${prefix}.json`, Buffer.from(`${JSON.stringify({ job: result.job, trial: result.trial }, null, 2)}\n`), "application/json"),
+        output ? store.put(`${prefix}-verifier.log`, Buffer.from(output), "text/plain") : undefined,
+    ]);
+}
+function exceptionMessage(trial) {
+    const info = exception(trial);
+    if (info === undefined || info === null) {
+        return undefined;
+    }
+    if (typeof info === "object" && "exception_message" in info) {
+        const record = info;
+        return `${typeof record.exception_type === "string" ? `${record.exception_type}: ` : ""}${String(record.exception_message ?? "")}`;
+    }
+    return JSON.stringify(info);
+}
+function nopRewardsFrom(raw) {
+    const mapped = {};
+    for (const key of NOP_REWARD_KEYS) {
+        const value = raw[`nop_${key}`];
+        if (typeof value === "number") {
+            mapped[key] = value;
+        }
+    }
+    return mapped;
+}
+function numericRewards(raw) {
+    return Object.fromEntries(Object.entries(raw).filter((entry) => typeof entry[1] === "number"));
+}
+function numberOf(value) {
+    return typeof value === "number" ? value : Number.NaN;
+}
+function section(output, start, end) {
+    const from = output.indexOf(start);
+    if (from < 0) {
+        return output;
+    }
+    const body = output.slice(from + start.length);
+    const to = end ? body.indexOf(end) : -1;
+    return (to >= 0 ? body.slice(0, to) : body).trim();
+}
+/** Verifier script for the smoke+nop run; nop rewards are re-emitted under `nop_*` keys. */
+export function smokeAndNopScript() {
+    const fields = NOP_REWARD_KEYS.map((key) => `printf ', "nop_${key}": %s' "$(field ${key} ${key.endsWith("_code") ? "-1" : "0"})"`).join("\n");
+    return `#!/bin/bash
+set -uo pipefail
+mkdir -p /logs/verifier
+# Image post-processing after our Dockerfile (Modal runs as root with HOME=/home/verifier) can leave
+# root-owned files in the verifier's caches; the runtime user must own its home before it runs.
+chown -R verifier:verifier /home/verifier 2>/dev/null || true
+echo '${SMOKE_MARKER}'
+smoke_status=0
+runuser -u verifier --preserve-environment -- env -u XDG_CACHE_HOME HOME=/home/verifier /opt/selfbench-environment/smoke.sh 2>&1 || smoke_status=$?
+echo "smoke exit code: $smoke_status"
+nop_ran=0
+nop_rewards='{}'
+if [ "$smoke_status" -eq 0 ]; then
+  echo '${NOP_MARKER}'
+  nop_ran=1
+  /tests/task-test.sh 2>&1 || true
+  nop_rewards="$(cat /logs/verifier/reward.json 2>/dev/null || printf '{}')"
+fi
+field() { printf '%s' "$nop_rewards" | sed -n 's/.*"'"$1"'": *\\(-\\{0,1\\}[0-9]\\{1,\\}\\).*/\\1/p' | head -n 1 | grep . || printf '%s' "$2"; }
+{
+  printf '{"reward": 0, "smoke_exit_code": %s, "nop_ran": %s' "$smoke_status" "$nop_ran"
+${fields}
+  printf '}\\n'
+} > /logs/verifier/reward.json
+exit 0
+`;
+}
+//# sourceMappingURL=verify-harbor.js.map

package/dist/temporal/activities/verify-harbor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-harbor.js","sourceRoot":"","sources":["../../../src/temporal/activities/verify-harbor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAKxD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC7F,OAAO,EACL,WAAW,EACX,SAAS,EACT,wCAAwC,EACxC,OAAO,EACP,aAAa,EACb,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAItE,MAAM,eAAe,GAAG;IACtB,oBAAoB;IACpB,eAAe;IACf,cAAc;IACd,cAAc;IACd,eAAe;IACf,iBAAiB;IACjB,wBAAwB;IACxB,+BAA+B;IAC/B,wBAAwB;CAChB,CAAC;AACX,MAAM,YAAY,GAAG,yBAAyB,CAAC;AAC/C,MAAM,UAAU,GAAG,uBAAuB,CAAC;AAE3C,MAAM,UAAU,WAAW;IACzB,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACpD,OAAO;QACL,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE;QACzC,KAAK,EAAE,IAAI;QACX,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;QAC7B,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;KACjC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAAoB,EACpB,IAAkB,EAClB,iBAAuD,EACvD,MAAc;IAEd,OAAO,MAAM,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE;QACrE,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;QAC5B,MAAM,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,EAAE,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5F,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAC1F,IAAI,gBAAgB,IAAI,KAAK,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,YAAY,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;YACnF,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,GAAG,EAAE,EAAE,CAAC;QACrF,CAAC;QACD,MAAM,iBAAiB,CAAC,KAAK,EAAE,GAAG,MAAM,YAAY,EAAE,KAAK,CAAC,CAAC;QAC7D,MAAM,UAAU,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,YAAY,CAC5B,KAAK,EACL,GAAG,MAAM,YAAY,EACrB,MAAM,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,iBAAiB,CAAC,CACvD,CAAC;YACF,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,GAAG,EAAE,EAAE,CAAC;QACtF,CAAC;QACD,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,CAAC,KAAK,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAC1E,KAAK,CAAC,KAAK,GAAG;YACZ,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,OAAO;YACX,GAAG,CAAC,MAAM,YAAY,CACpB,KAAK,EACL,GAAG,MAAM,YAAY,EACrB,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,CAC1C,CAAC;SACH,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,UAAU,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;QAChD,KAAK,CAAC,GAAG,GAAG;YACV,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,aAAa,CAAC,UAAU,CAAC;YAC7B,OAAO,EAAE,UAAU;YACnB,GAAG,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,UAAU,EAAE,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;SACjF,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YAClB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,oBAAoB,CAAC,EAAE,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,aAAa,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QAC9F,IAAI,gBAAgB,IAAI,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,MAAM,YAAY,CAC5B,KAAK,EACL,GAAG,MAAM,mBAAmB,EAC5B,sBAAsB,MAAM,CAAC,cAAc,EAAE,CAC9C,CAAC;YACF,OAAO,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,GAAG,EAAE,EAAE,CAAC;QACrF,CAAC;QACD,MAAM,iBAAiB,CAAC,KAAK,EAAE,GAAG,MAAM,SAAS,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,MAAM,YAAY,CAC5B,KAAK,EACL,GAAG,MAAM,aAAa,EACtB,MAAM,UAAU,CAAC,WAAW,EAAE,MAAM,EAAE,iBAAiB,CAAC,CACzD,CAAC;YACF,KAAK,CAAC,MAAM,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,GAAG,EAAE,CAAC;YAC7D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,aAAa,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,KAAK,CAAC,MAAM,GAAG;YACb,GAAG,EAAE,IAAI;YACT,EAAE,EAAE,gBAAgB,CAAC,aAAa,CAAC;YACnC,OAAO,EAAE,aAAa;YACtB,GAAG,CAAC,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,MAAM,aAAa,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;SACrF,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,UAAU,CACvB,OAAe,EACf,MAAuB,EACvB,iBAAuD;IAEvD,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7E,IAAI,yBAAyB,CAAC,GAAG,OAAO,KAAK,MAAM,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,IAAI,CAAC,MAAM,kBAAkB,CAAC,MAAM,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACrE,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,aAAqB,EACrB,IAAY,EACZ,MAAc,EACd,KAAuB,EACvB,iBAAuD;IAEvD,IAAI,CAAC;QACH,OAAO,MAAM,sBAAsB,CAAC,kBAAkB,KAAK,QAAQ,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CACvF,aAAa,CACX,aAAa,EACb,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,EAClB,KAAK,EACL,MAAM,EACN,iBAAiB,EACjB,OAAO,CAAC,MAAM,EACd,KAAK,CACN,CACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gBAAgB,IAAI,CAAC,wCAAwC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1F,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAClD,OAAO;YACL,cAAc,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,OAAO,QAAQ,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC;SAC3F,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,KAAoB,EACpB,MAAc,EACd,MAAuB;IAEvB,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,OAAO,CAAC,GAAG,CAAC;QAChB,KAAK,CAAC,GAAG,CACP,GAAG,MAAM,OAAO,EAChB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EACrF,kBAAkB,CACnB;QACD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS;KAC5F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,mBAAmB,IAAI,IAAI,EAAE,CAAC;QAC5D,MAAM,MAAM,GAAG,IAAiE,CAAC;QACjF,OAAO,GAAG,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;IACrI,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B;IAClD,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;QAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CAAC,GAA4B;IAClD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAA6B,EAAE,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAC/F,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;AACxD,CAAC;AAED,SAAS,OAAO,CAAC,MAAc,EAAE,KAAa,EAAE,GAAY;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;QACb,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,iBAAiB;IAC/B,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAChC,CAAC,GAAG,EAAE,EAAE,CAAC,kBAAkB,GAAG,mBAAmB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAC/F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO;;;;;;QAMD,YAAY;;;;;;;UAOV,UAAU;;;;;;;;EAQlB,MAAM;;;;CAIP,CAAC;AACF,CAAC"}