self-bench 0.3.6 → 0.3.8

package/dist/contracts/task.js

@@ -0,0 +1,198 @@
+import { z } from "zod";
+import { assertPullRequestBelongsToRepository } from "../github.js";
+import { artifactRefSchema, commitSchema, difficultySchema, isGitHubRepository } from "./common.js";
+export const candidateSchema = z
+    .object({
+    candidateId: z.string().regex(/^[A-Za-z0-9][A-Za-z0-9._-]*$/),
+    difficulty: difficultySchema,
+    sourcePr: z.number().int().positive(),
+    sourceUrl: z.string().url(),
+    baseCommit: commitSchema,
+    completedCommit: commitSchema,
+    request: z.string().min(1),
+    provenance: artifactRefSchema,
+})
+    .superRefine((candidate, context) => {
+    if (!pullRequestNumberMatches(candidate.sourceUrl, candidate.sourcePr)) {
+        context.addIssue({
+            code: "custom",
+            path: ["sourceUrl"],
+            message: "sourceUrl must be a canonical GitHub pull request URL matching sourcePr",
+        });
+    }
+});
+const environmentVariableNameSchema = z.string().regex(/^[A-Za-z_][A-Za-z0-9_]*$/);
+const repositoryPathSchema = z
+    .string()
+    .min(1)
+    .refine((path) => !path.startsWith("/") &&
+    !path.includes("\\") &&
+    !path.includes("\0") &&
+    !path.split("/").some((part) => !part || part === "." || part === ".."), { message: "expected a normalized repository-relative path" });
+const environmentVariablesSchema = z.record(environmentVariableNameSchema, z.string());
+export const environmentServiceSchema = z
+    .object({
+    name: z
+        .string()
+        .regex(/^[a-z][a-z0-9_-]*$/)
+        .refine((name) => name !== "main", { message: 'service name "main" is reserved' }),
+    image: z.string().min(1),
+    environmentVariables: environmentVariablesSchema,
+    command: z.array(z.string()).optional(),
+    healthcheck: z
+        .object({
+        test: z.array(z.string().min(1)).min(1),
+        intervalSeconds: z.number().int().positive(),
+        timeoutSeconds: z.number().int().positive(),
+        retries: z.number().int().positive(),
+        startPeriodSeconds: z.number().int().nonnegative(),
+    })
+        .strict(),
+})
+    .strict();
+export const taskEnvironmentSchema = z
+    .object({
+    schemaVersion: z.literal(1),
+    baseImage: z.string().min(1),
+    rootSetupCommand: z.string().min(1),
+    setupCommand: z.string().min(1),
+    smokeCommand: z.string().min(1),
+    environmentVariables: environmentVariablesSchema,
+    services: z.array(environmentServiceSchema),
+    source: z.enum(["repository-dockerfile", "devcontainer", "ci-adapted", "generated"]),
+    evidence: z
+        .array(z
+        .object({
+        path: repositoryPathSchema,
+        reason: z.string().min(1),
+    })
+        .strict())
+        .min(1),
+})
+    .strict();
+export const taskDraftDefinitionSchema = z
+    .object({
+    schemaVersion: z.literal(2),
+    difficulty: difficultySchema,
+    taskId: z.string().regex(/^[A-Za-z0-9][A-Za-z0-9._-]*$/),
+    repo: z
+        .string()
+        .min(1)
+        .refine((value) => isGitHubRepository(value), "expected a GitHub repository"),
+    baseCommit: commitSchema,
+    workdir: repositoryPathSchema.or(z.literal(".")),
+    testCommand: z.string().refine((value) => value.split("{tests}").length === 2, {
+        message: 'testCommand must contain "{tests}" exactly once',
+    }),
+    failToPass: z.array(z.string().min(1)).min(1),
+    passToPass: z.array(z.string().min(1)),
+    testPaths: z.array(repositoryPathSchema).min(1),
+    testSelection: z
+        .object({
+        mode: z.enum(["reused", "augmented", "authored", "base-only"]),
+        reused: z.array(z.string().min(1)),
+        added: z.array(z.string().min(1)),
+        excluded: z.array(z.string().min(1)),
+        coverage: z.string().min(1),
+    })
+        .strict()
+        .optional(),
+    testResults: z
+        .object({
+        format: z.literal("junit"),
+        failToPass: z.array(z.string().min(1)).min(1),
+        passToPass: z.array(z.string().min(1)),
+    })
+        .strict()
+        .optional(),
+    sourcePr: z.number().int().positive(),
+    sourceUrl: z.string().url(),
+    prompt: z.string().min(1),
+    timeouts: z
+        .object({
+        setupSeconds: z.number().int().positive(),
+        agentSeconds: z.number().int().positive(),
+        testsSeconds: z.number().int().positive(),
+    })
+        .strict(),
+    resources: z
+        .object({
+        cpus: z.number().positive(),
+        memoryMb: z.number().int().positive(),
+        storageMb: z.number().int().positive(),
+    })
+        .strict(),
+})
+    .strict()
+    .superRefine((definition, context) => {
+    if (definition.testResults) {
+        const ids = [...definition.testResults.failToPass, ...definition.testResults.passToPass];
+        if (new Set(ids).size !== ids.length)
+            context.addIssue({
+                code: "custom",
+                path: ["testResults"],
+                message: "JUnit test IDs must be unique and disjoint",
+            });
+        if ((definition.passToPass.length === 0) !== (definition.testResults.passToPass.length === 0))
+            context.addIssue({
+                code: "custom",
+                path: ["testResults", "passToPass"],
+                message: "JUnit regression IDs and regression selectors must both be present or both empty",
+            });
+    }
+    if (definition.testSelection?.mode === "base-only" &&
+        (definition.testSelection.reused.length === 0 || definition.testSelection.added.length > 0))
+        context.addIssue({
+            code: "custom",
+            path: ["testSelection"],
+            message: "base-only requires reused tests and no added tests",
+        });
+    const testPaths = new Set(definition.testPaths);
+    if (testPaths.size !== definition.testPaths.length) {
+        context.addIssue({
+            code: "custom",
+            path: ["testPaths"],
+            message: "testPaths must be unique",
+        });
+    }
+    const passToPass = new Set(definition.passToPass);
+    const overlap = definition.failToPass.filter((test) => passToPass.has(test));
+    if (overlap.length > 0) {
+        context.addIssue({
+            code: "custom",
+            path: ["passToPass"],
+            message: "failToPass and passToPass must not overlap",
+        });
+    }
+    try {
+        assertPullRequestBelongsToRepository(definition.repo, definition.sourceUrl, definition.sourcePr);
+    }
+    catch (error) {
+        context.addIssue({
+            code: "custom",
+            path: ["sourceUrl"],
+            message: error instanceof Error ? error.message : "source pull request does not match repo",
+        });
+    }
+});
+export const taskDefinitionSchema = taskDraftDefinitionSchema.safeExtend({
+    environment: taskEnvironmentSchema,
+});
+export const authoredTaskDraftSchema = z.object({
+    candidateId: z.string().min(1),
+    taskId: z.string().min(1),
+    definition: artifactRefSchema,
+    sourceBundle: artifactRefSchema,
+});
+export const authoredTaskSchema = z.object({
+    candidateId: z.string().min(1),
+    taskId: z.string().min(1),
+    definition: artifactRefSchema,
+    sourceBundle: artifactRefSchema,
+    bundle: artifactRefSchema,
+});
+function pullRequestNumberMatches(url, sourcePr) {
+    const match = /^https:\/\/github\.com\/[^/]+\/[^/]+\/pull\/(\d+)\/?$/i.exec(url);
+    return match?.[1] !== undefined && Number(match[1]) === sourcePr;
+}
+//# sourceMappingURL=task.js.map

package/dist/contracts/task.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task.js","sourceRoot":"","sources":["../../src/contracts/task.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,oCAAoC,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEpG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC;IAC7D,UAAU,EAAE,gBAAgB;IAC5B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE;IAC3B,UAAU,EAAE,YAAY;IACxB,eAAe,EAAE,YAAY;IAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,iBAAiB;CAC9B,CAAC;KACD,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IAClC,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,WAAW,CAAC;YACnB,OAAO,EAAE,yEAAyE;SACnF,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAIL,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;AACnF,MAAM,oBAAoB,GAAG,CAAC;KAC3B,MAAM,EAAE;KACR,GAAG,CAAC,CAAC,CAAC;KACN,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;IACrB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACpB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACpB,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,EACzE,EAAE,OAAO,EAAE,gDAAgD,EAAE,CAC9D,CAAC;AAEJ,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC,6BAA6B,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AAEvF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC;SACJ,MAAM,EAAE;SACR,KAAK,CAAC,oBAAoB,CAAC;SAC3B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC;IACpF,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,oBAAoB,EAAE,0BAA0B;IAChD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACvC,WAAW,EAAE,CAAC;SACX,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC5C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QAC3C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACpC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;KACnD,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,oBAAoB,EAAE,0BAA0B;IAChD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,uBAAuB,EAAE,cAAc,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;IACpF,QAAQ,EAAE,CAAC;SACR,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC1B,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;CACV,CAAC;KACD,MAAM,EAAE,CAAC;AAIZ,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3B,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,8BAA8B,CAAC;IACxD,IAAI,EAAE,CAAC;SACJ,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,8BAA8B,CAAC;IAC/E,UAAU,EAAE,YAAY;IACxB,OAAO,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;QAC7E,OAAO,EAAE,iDAAiD;KAC3D,CAAC;IACF,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,aAAa,EAAE,CAAC;SACb,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC9D,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC5B,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,WAAW,EAAE,CAAC;SACX,MAAM,CAAC;QACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KACvC,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE;IAC3B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,QAAQ,EAAE,CAAC;SACR,MAAM,CAAC;QACN,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACzC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACzC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;KAC1C,CAAC;SACD,MAAM,EAAE;IACX,SAAS,EAAE,CAAC;SACT,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC3B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;KACvC,CAAC;SACD,MAAM,EAAE;CACZ,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE;IACnC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACzF,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM;YAClC,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,aAAa,CAAC;gBACrB,OAAO,EAAE,4CAA4C;aACtD,CAAC,CAAC;QACL,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;YAC3F,OAAO,CAAC,QAAQ,CAAC;gBACf,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,aAAa,EAAE,YAAY,CAAC;gBACnC,OAAO,EACL,kFAAkF;aACrF,CAAC,CAAC;IACP,CAAC;IACD,IACE,UAAU,CAAC,aAAa,EAAE,IAAI,KAAK,WAAW;QAC9C,CAAC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAE3F,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,eAAe,CAAC;YACvB,OAAO,EAAE,oDAAoD;SAC9D,CAAC,CAAC;IACL,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QACnD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,WAAW,CAAC;YACnB,OAAO,EAAE,0BAA0B;SACpC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,YAAY,CAAC;YACpB,OAAO,EAAE,4CAA4C;SACtD,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC;QACH,oCAAoC,CAClC,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,SAAS,EACpB,UAAU,CAAC,QAAQ,CACpB,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,WAAW,CAAC;YACnB,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,yCAAyC;SAC5F,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAIL,MAAM,CAAC,MAAM,oBAAoB,GAAG,yBAAyB,CAAC,UAAU,CAAC;IACvE,WAAW,EAAE,qBAAqB;CACnC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,iBAAiB;IAC7B,YAAY,EAAE,iBAAiB;CAChC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,iBAAiB;IAC7B,YAAY,EAAE,iBAAiB;IAC/B,MAAM,EAAE,iBAAiB;CAC1B,CAAC,CAAC;AAIH,SAAS,wBAAwB,CAAC,GAAW,EAAE,QAAgB;IAC7D,MAAM,KAAK,GAAG,wDAAwD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjF,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC;AACnE,CAAC"}

package/dist/contracts/verify.d.ts

@@ -0,0 +1,331 @@
+import { z } from "zod";
+import { type ArtifactRef } from "./common.js";
+import { type AuthoredTask } from "./task.js";
+export declare const verifyStageSchema: z.ZodEnum<{
+    authoring: "authoring";
+    verification: "verification";
+}>;
+export type VerifyStage = z.infer<typeof verifyStageSchema>;
+export declare const MAX_AUTHORING_ROUNDS = 3;
+export declare const MAX_VERIFIER_ROUNDS = 3;
+/** In-session `verify` calls per agent session (carried across fallback rounds). */
+export declare const AUTHOR_VERIFY_BUDGET = 5;
+export declare const VERIFIER_VERIFY_BUDGET = 2;
+export declare const harborRewardsSchema: z.ZodRecord<z.ZodString, z.ZodNumber>;
+export type HarborRewards = z.infer<typeof harborRewardsSchema>;
+/**
+ * One round's mechanical verdict on a submitted task: trusted compile (schema, policy, evidence),
+ * static audit, Harbor image build, smoke command, and the nop/oracle split. Rendered as markdown
+ * for the agent and stored as JSON per round.
+ */
+export declare const verifyReportSchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<1>;
+    stage: z.ZodEnum<{
+        authoring: "authoring";
+        verification: "verification";
+    }>;
+    round: z.ZodNumber;
+    taskId: z.ZodString;
+    compile: z.ZodObject<{
+        ok: z.ZodBoolean;
+        errors: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+    audit: z.ZodObject<{
+        ok: z.ZodBoolean;
+        blockers: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>;
+    build: z.ZodObject<{
+        ran: z.ZodBoolean;
+        ok: z.ZodBoolean;
+        logTail: z.ZodString;
+        log: z.ZodOptional<z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>>;
+        infrastructure: z.ZodBoolean;
+    }, z.core.$strip>;
+    smoke: z.ZodObject<{
+        ran: z.ZodBoolean;
+        ok: z.ZodBoolean;
+        logTail: z.ZodString;
+        log: z.ZodOptional<z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    nop: z.ZodObject<{
+        ran: z.ZodBoolean;
+        ok: z.ZodBoolean;
+        logTail: z.ZodString;
+        log: z.ZodOptional<z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>>;
+        rewards: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, z.core.$strip>;
+    oracle: z.ZodObject<{
+        ran: z.ZodBoolean;
+        ok: z.ZodBoolean;
+        logTail: z.ZodString;
+        log: z.ZodOptional<z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>>;
+        rewards: z.ZodRecord<z.ZodString, z.ZodNumber>;
+    }, z.core.$strip>;
+    green: z.ZodBoolean;
+}, z.core.$strict>;
+export type VerifyReport = z.infer<typeof verifyReportSchema>;
+export declare const verifyOutcomeSchema: z.ZodObject<{
+    report: z.ZodObject<{
+        schemaVersion: z.ZodLiteral<1>;
+        stage: z.ZodEnum<{
+            authoring: "authoring";
+            verification: "verification";
+        }>;
+        round: z.ZodNumber;
+        taskId: z.ZodString;
+        compile: z.ZodObject<{
+            ok: z.ZodBoolean;
+            errors: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>;
+        audit: z.ZodObject<{
+            ok: z.ZodBoolean;
+            blockers: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>;
+        build: z.ZodObject<{
+            ran: z.ZodBoolean;
+            ok: z.ZodBoolean;
+            logTail: z.ZodString;
+            log: z.ZodOptional<z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>>;
+            infrastructure: z.ZodBoolean;
+        }, z.core.$strip>;
+        smoke: z.ZodObject<{
+            ran: z.ZodBoolean;
+            ok: z.ZodBoolean;
+            logTail: z.ZodString;
+            log: z.ZodOptional<z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>;
+        nop: z.ZodObject<{
+            ran: z.ZodBoolean;
+            ok: z.ZodBoolean;
+            logTail: z.ZodString;
+            log: z.ZodOptional<z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>>;
+            rewards: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        }, z.core.$strip>;
+        oracle: z.ZodObject<{
+            ran: z.ZodBoolean;
+            ok: z.ZodBoolean;
+            logTail: z.ZodString;
+            log: z.ZodOptional<z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>>;
+            rewards: z.ZodRecord<z.ZodString, z.ZodNumber>;
+        }, z.core.$strip>;
+        green: z.ZodBoolean;
+    }, z.core.$strict>;
+    reportRef: z.ZodObject<{
+        uri: z.ZodString;
+        sha256: z.ZodString;
+        sizeBytes: z.ZodNumber;
+        contentType: z.ZodString;
+    }, z.core.$strip>;
+    task: z.ZodOptional<z.ZodObject<{
+        candidateId: z.ZodString;
+        taskId: z.ZodString;
+        definition: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+        sourceBundle: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+        bundle: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export interface VerifyOutcome {
+    readonly report: VerifyReport;
+    /** Stored JSON report for this round. */
+    readonly reportRef: ArtifactRef;
+    /** The compiled Harbor bundle; absent when compilation failed. */
+    readonly task?: AuthoredTask;
+}
+export declare const authoringRoundResultSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"submitted">;
+    task: z.ZodObject<{
+        candidateId: z.ZodString;
+        taskId: z.ZodString;
+        definition: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+        sourceBundle: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    session: z.ZodObject<{
+        uri: z.ZodString;
+        sha256: z.ZodString;
+        sizeBytes: z.ZodNumber;
+        contentType: z.ZodString;
+    }, z.core.$strip>;
+    verifyCalls: z.ZodOptional<z.ZodNumber>;
+    verified: z.ZodOptional<z.ZodObject<{
+        report: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+        task: z.ZodObject<{
+            candidateId: z.ZodString;
+            taskId: z.ZodString;
+            definition: z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>;
+            sourceBundle: z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>;
+            bundle: z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"rejected">;
+    candidateId: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strip>], "kind">;
+export type AuthoringRoundResult = z.infer<typeof authoringRoundResultSchema>;
+export declare const verifierRoundResultSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"accepted">;
+    session: z.ZodObject<{
+        uri: z.ZodString;
+        sha256: z.ZodString;
+        sizeBytes: z.ZodNumber;
+        contentType: z.ZodString;
+    }, z.core.$strip>;
+    reason: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"suggestions">;
+    session: z.ZodObject<{
+        uri: z.ZodString;
+        sha256: z.ZodString;
+        sizeBytes: z.ZodNumber;
+        contentType: z.ZodString;
+    }, z.core.$strip>;
+    summary: z.ZodString;
+    suggestions: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"fixed">;
+    task: z.ZodObject<{
+        candidateId: z.ZodString;
+        taskId: z.ZodString;
+        definition: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+        sourceBundle: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    session: z.ZodObject<{
+        uri: z.ZodString;
+        sha256: z.ZodString;
+        sizeBytes: z.ZodNumber;
+        contentType: z.ZodString;
+    }, z.core.$strip>;
+    summary: z.ZodString;
+    verifyCalls: z.ZodOptional<z.ZodNumber>;
+    verified: z.ZodOptional<z.ZodObject<{
+        report: z.ZodObject<{
+            uri: z.ZodString;
+            sha256: z.ZodString;
+            sizeBytes: z.ZodNumber;
+            contentType: z.ZodString;
+        }, z.core.$strip>;
+        task: z.ZodObject<{
+            candidateId: z.ZodString;
+            taskId: z.ZodString;
+            definition: z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>;
+            sourceBundle: z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>;
+            bundle: z.ZodObject<{
+                uri: z.ZodString;
+                sha256: z.ZodString;
+                sizeBytes: z.ZodNumber;
+                contentType: z.ZodString;
+            }, z.core.$strip>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"rejected">;
+    candidateId: z.ZodString;
+    reason: z.ZodString;
+}, z.core.$strip>], "kind">;
+export type VerifierRoundResult = z.infer<typeof verifierRoundResultSchema>;
+//# sourceMappingURL=verify.d.ts.map

package/dist/contracts/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,aAAa,CAAC;AAClE,OAAO,EAAE,KAAK,YAAY,EAA+C,MAAM,WAAW,CAAC;AAE3F,eAAO,MAAM,iBAAiB;;;EAAwC,CAAC;AACvE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,eAAO,MAAM,mBAAmB,IAAI,CAAC;AACrC,oFAAoF;AACpF,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAExC,eAAO,MAAM,mBAAmB,uCAAmC,CAAC;AACpE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAahE;;;;GAIG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAcpB,CAAC;AAEZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAI9B,CAAC;AAEH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,yCAAyC;IACzC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,kEAAkE;IAClE,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAcD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BASrC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAE9E,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAkBpC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}

package/dist/contracts/verify.js

@@ -0,0 +1,84 @@
+import { z } from "zod";
+import { artifactRefSchema } from "./common.js";
+import { authoredTaskDraftSchema, authoredTaskSchema } from "./task.js";
+export const verifyStageSchema = z.enum(["authoring", "verification"]);
+export const MAX_AUTHORING_ROUNDS = 3;
+export const MAX_VERIFIER_ROUNDS = 3;
+/** In-session `verify` calls per agent session (carried across fallback rounds). */
+export const AUTHOR_VERIFY_BUDGET = 5;
+export const VERIFIER_VERIFY_BUDGET = 2;
+export const harborRewardsSchema = z.record(z.string(), z.number());
+const gateSchema = z.object({
+    ran: z.boolean(),
+    ok: z.boolean(),
+    /** Actionable excerpt: error lines with context, compose diagnostics, filtered tail. */
+    logTail: z.string(),
+    /** The complete raw log stored next to the report. */
+    log: artifactRefSchema.optional(),
+});
+const rewardGateSchema = gateSchema.extend({ rewards: harborRewardsSchema });
+/**
+ * One round's mechanical verdict on a submitted task: trusted compile (schema, policy, evidence),
+ * static audit, Harbor image build, smoke command, and the nop/oracle split. Rendered as markdown
+ * for the agent and stored as JSON per round.
+ */
+export const verifyReportSchema = z
+    .object({
+    schemaVersion: z.literal(1),
+    stage: verifyStageSchema,
+    round: z.number().int().positive(),
+    taskId: z.string().min(1),
+    compile: z.object({ ok: z.boolean(), errors: z.array(z.string()) }),
+    audit: z.object({ ok: z.boolean(), blockers: z.array(z.string()) }),
+    build: gateSchema.extend({ infrastructure: z.boolean() }),
+    smoke: gateSchema,
+    nop: rewardGateSchema,
+    oracle: rewardGateSchema,
+    green: z.boolean(),
+})
+    .strict();
+export const verifyOutcomeSchema = z.object({
+    report: verifyReportSchema,
+    reportRef: artifactRefSchema,
+    task: authoredTaskDraftSchema.extend({ bundle: artifactRefSchema }).optional(),
+});
+/** A green in-session verify whose payload equals the final submission; the worker reuses it. */
+const verifiedSubmissionSchema = z.object({
+    report: artifactRefSchema,
+    task: authoredTaskSchema,
+});
+const rejectedRoundSchema = z.object({
+    kind: z.literal("rejected"),
+    candidateId: z.string().min(1),
+    reason: z.string().min(1),
+});
+export const authoringRoundResultSchema = z.discriminatedUnion("kind", [
+    z.object({
+        kind: z.literal("submitted"),
+        task: authoredTaskDraftSchema,
+        session: artifactRefSchema,
+        verifyCalls: z.number().int().nonnegative().optional(),
+        verified: verifiedSubmissionSchema.optional(),
+    }),
+    rejectedRoundSchema,
+]);
+export const verifierRoundResultSchema = z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("accepted"), session: artifactRefSchema, reason: z.string().min(1) }),
+    z.object({
+        kind: z.literal("suggestions"),
+        session: artifactRefSchema,
+        summary: z.string().min(1),
+        suggestions: z.string().min(1),
+    }),
+    // Historical compatibility; new verifier sessions cannot produce this variant.
+    z.object({
+        kind: z.literal("fixed"),
+        task: authoredTaskDraftSchema,
+        session: artifactRefSchema,
+        summary: z.string().min(1),
+        verifyCalls: z.number().int().nonnegative().optional(),
+        verified: verifiedSubmissionSchema.optional(),
+    }),
+    rejectedRoundSchema,
+]);
+//# sourceMappingURL=verify.js.map

package/dist/contracts/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/contracts/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAoB,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,EAAqB,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAE3F,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;AAGvE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AACtC,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AACrC,oFAAoF;AACpF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AACtC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AAGpE,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1B,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE;IAChB,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE;IACf,wFAAwF;IACxF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,sDAAsD;IACtD,GAAG,EAAE,iBAAiB,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,iBAAiB;IACxB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;IACnE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;IACnE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IACzD,KAAK,EAAE,UAAU;IACjB,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,gBAAgB;IACxB,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;CACnB,CAAC;KACD,MAAM,EAAE,CAAC;AAIZ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,kBAAkB;IAC1B,SAAS,EAAE,iBAAiB;IAC5B,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC/E,CAAC,CAAC;AAUH,iGAAiG;AACjG,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,iBAAiB;IACzB,IAAI,EAAE,kBAAkB;CACzB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC3B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACrE,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC5B,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE,iBAAiB;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;QACtD,QAAQ,EAAE,wBAAwB,CAAC,QAAQ,EAAE;KAC9C,CAAC;IACF,mBAAmB;CACpB,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACpE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,iBAAiB;QAC1B,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;IACF,+EAA+E;IAC/E,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,IAAI,EAAE,uBAAuB;QAC7B,OAAO,EAAE,iBAAiB;QAC1B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;QACtD,QAAQ,EAAE,wBAAwB,CAAC,QAAQ,EAAE;KAC9C,CAAC;IACF,mBAAmB;CACpB,CAAC,CAAC"}