harness-engineering-agent 0.1.0

package/dist/domain/evidence.d.ts

@@ -0,0 +1,97 @@
+import { z } from "zod";
+declare const RedactionSchema: z.ZodReadonly<z.ZodObject<{
+    applied: z.ZodBoolean;
+    ruleIds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+        credential: "credential";
+        prompt: "prompt";
+        source: "source";
+    }>>>;
+}, z.core.$strip>>;
+export declare const VerificationOutcomeSchema: z.ZodReadonly<z.ZodObject<{
+    status: z.ZodEnum<{
+        failed: "failed";
+        passed: "passed";
+        skipped: "skipped";
+    }>;
+    exitCode: z.ZodNumber;
+    durationMs: z.ZodNumber;
+    outputDigest: z.ZodString;
+    outputRef: z.ZodString;
+}, z.core.$strip>>;
+export declare const EvidenceSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    evidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    kind: z.ZodEnum<{
+        verification: "verification";
+        red: "red";
+        green: "green";
+        refactor: "refactor";
+        approval: "approval";
+        "artifact-summary": "artifact-summary";
+    }>;
+    summary: z.ZodString;
+    summaryDigest: z.ZodString;
+    redaction: z.ZodReadonly<z.ZodObject<{
+        applied: z.ZodBoolean;
+        ruleIds: z.ZodReadonly<z.ZodArray<z.ZodEnum<{
+            credential: "credential";
+            prompt: "prompt";
+            source: "source";
+        }>>>;
+    }, z.core.$strip>>;
+    verificationCommand: z.ZodReadonly<z.ZodObject<{
+        name: z.ZodString;
+        command: z.ZodString;
+        args: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+        workingDirectory: z.ZodString;
+        scope: z.ZodEnum<{
+            task: "task";
+            project: "project";
+            integration: "integration";
+        }>;
+        sideEffectLevel: z.ZodEnum<{
+            read_only: "read_only";
+            workspace_write: "workspace_write";
+            external_side_effect: "external_side_effect";
+        }>;
+        timeoutMs: z.ZodNumber;
+        origin: z.ZodOptional<z.ZodEnum<{
+            config: "config";
+            planner: "planner";
+            worker: "worker";
+            repair: "repair";
+        }>>;
+        requiresConfirmation: z.ZodOptional<z.ZodBoolean>;
+        confirmation: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
+            approvedBy: z.ZodString;
+            reason: z.ZodString;
+        }, z.core.$strip>>>;
+        allowedEnv: z.ZodOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
+    }, z.core.$strip>>;
+    changedPaths: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+    outcome: z.ZodReadonly<z.ZodObject<{
+        status: z.ZodEnum<{
+            failed: "failed";
+            passed: "passed";
+            skipped: "skipped";
+        }>;
+        exitCode: z.ZodNumber;
+        durationMs: z.ZodNumber;
+        outputDigest: z.ZodString;
+        outputRef: z.ZodString;
+    }, z.core.$strip>>;
+    relatedRequirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    relatedTaskIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+    acceptanceCriterionIds: z.ZodDefault<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+}, z.core.$strip>>>;
+export type VerificationOutcome = z.infer<typeof VerificationOutcomeSchema>;
+export type Evidence = z.infer<typeof EvidenceSchema>;
+export declare const redactEvidenceSummary: (value: string) => {
+    readonly summary: string;
+    readonly summaryDigest: string;
+    readonly redaction: z.infer<typeof RedactionSchema>;
+};
+export {};
+//# sourceMappingURL=evidence.d.ts.map

package/dist/domain/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/domain/evidence.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAgBvB,QAAA,MAAM,eAAe;;;;;;;kBAKR,CAAA;AAEb,eAAO,MAAM,yBAAyB;;;;;;;;;;kBAQzB,CAAA;AAiCb,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAoB1B,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,qBAAqB,GAChC,OAAO,MAAM,KACZ;IACD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAA;CAwCpD,CAAA"}

package/dist/domain/evidence.js

@@ -0,0 +1,85 @@
+import { createHash } from "node:crypto";
+import { z } from "zod";
+import { EvidenceIdSchema, EvidenceKindSchema, RequirementIdSchema, RunIdSchema, SchemaVersionSchema, TaskIdSchema, } from "./shared.js";
+import { VerificationCommandSchema } from "./task.js";
+const VerificationOutcomeStatusSchema = z.enum(["passed", "failed", "skipped"]);
+const AcceptanceCriterionIdSchema = z.string().regex(/^[a-z0-9]+(?:-[a-z0-9]+)*$/);
+const RedactionRuleIdSchema = z.enum(["credential", "prompt", "source"]);
+const RedactionSchema = z
+    .object({
+    applied: z.boolean(),
+    ruleIds: z.array(RedactionRuleIdSchema).readonly(),
+})
+    .readonly();
+export const VerificationOutcomeSchema = z
+    .object({
+    status: VerificationOutcomeStatusSchema,
+    exitCode: z.number().int(),
+    durationMs: z.number().int().nonnegative(),
+    outputDigest: z.string().trim().min(1),
+    outputRef: z.string().trim().min(1),
+})
+    .readonly();
+const normalizeLegacyEvidence = (input) => {
+    if (typeof input !== "object" || input === null || Array.isArray(input)) {
+        return input;
+    }
+    const source = input;
+    const summary = typeof source.summary === "string" ? source.summary : "legacy evidence";
+    const sanitized = redactEvidenceSummary(summary);
+    const explicitRedaction = RedactionSchema.safeParse(source.redaction);
+    const preserveExplicitMetadata = summary === sanitized.summary &&
+        source.summaryDigest === sanitized.summaryDigest &&
+        explicitRedaction.success;
+    return {
+        ...source,
+        summary: sanitized.summary,
+        summaryDigest: sanitized.summaryDigest,
+        redaction: preserveExplicitMetadata ? explicitRedaction.data : sanitized.redaction,
+        changedPaths: Array.isArray(source.changedPaths) ? source.changedPaths : [],
+        acceptanceCriterionIds: Array.isArray(source.acceptanceCriterionIds)
+            ? source.acceptanceCriterionIds
+            : [],
+    };
+};
+export const EvidenceSchema = z.preprocess(normalizeLegacyEvidence, z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    evidenceId: EvidenceIdSchema,
+    taskId: TaskIdSchema,
+    runId: RunIdSchema,
+    kind: EvidenceKindSchema,
+    summary: z.string().trim().min(1),
+    summaryDigest: z.string().regex(/^sha256:[a-f0-9]{64}$/),
+    redaction: RedactionSchema,
+    verificationCommand: VerificationCommandSchema,
+    changedPaths: z.array(z.string().trim().min(1)).readonly().default([]),
+    outcome: VerificationOutcomeSchema,
+    relatedRequirementIds: z.array(RequirementIdSchema).readonly(),
+    relatedTaskIds: z.array(TaskIdSchema).readonly(),
+    acceptanceCriterionIds: z.array(AcceptanceCriterionIdSchema).readonly().default([]),
+})
+    .readonly());
+export const redactEvidenceSummary = (value) => {
+    let summary = value.trim();
+    const ruleIds = new Set();
+    const redact = (pattern, replacement, ruleId) => {
+        const redacted = summary.replace(pattern, replacement);
+        if (redacted !== summary) {
+            summary = redacted;
+            ruleIds.add(ruleId);
+        }
+    };
+    redact(/\b(?:api[_ -]?key|token|password|secret)\s*[:=]\s*[^\s,;]+/gi, "credential=[REDACTED]", "credential");
+    redact(/\b(?:sk|pk)-[a-z0-9_-]{8,}\b/gi, "credential=[REDACTED]", "credential");
+    redact(/(?:full prompt|prompt)\s*:\s*.*?(?=\.|$)/gi, "prompt: [REDACTED]", "prompt");
+    redact(/(?:source sample|source code|code sample)\s*:\s*.*?(?=\.|$)/gi, "source: [REDACTED]", "source");
+    redact(/\b(?:const|let|var|function|class)\s+[a-z_$][\w$]*\s*=?.*?(?=\.|$)/gi, "source: [REDACTED]", "source");
+    const digest = createHash("sha256").update(summary, "utf8").digest("hex");
+    return {
+        summary: summary || "[REDACTED]",
+        summaryDigest: `sha256:${digest}`,
+        redaction: { applied: ruleIds.size > 0, ruleIds: [...ruleIds] },
+    };
+};
+//# sourceMappingURL=evidence.js.map

package/dist/domain/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/domain/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,mBAAmB,EACnB,YAAY,GACb,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,yBAAyB,EAAE,MAAM,WAAW,CAAA;AAErD,MAAM,+BAA+B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;AAC/E,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAA;AAClF,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;AAExE,MAAM,eAAe,GAAG,CAAC;KACtB,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE;CACnD,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,MAAM,EAAE,+BAA+B;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC1C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACpC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,uBAAuB,GAAG,CAAC,KAAc,EAAW,EAAE;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,MAAM,GAAG,KAMd,CAAA;IACD,MAAM,OAAO,GAAG,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAA;IACvF,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAA;IAChD,MAAM,iBAAiB,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;IACrE,MAAM,wBAAwB,GAC5B,OAAO,KAAK,SAAS,CAAC,OAAO;QAC7B,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa;QAChD,iBAAiB,CAAC,OAAO,CAAA;IAE3B,OAAO;QACL,GAAG,MAAM;QACT,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,SAAS,EAAE,wBAAwB,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS;QAClF,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;QAC3E,sBAAsB,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,sBAAsB,CAAC;YAClE,CAAC,CAAC,MAAM,CAAC,sBAAsB;YAC/B,CAAC,CAAC,EAAE;KACP,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,UAAU,CACxC,uBAAuB,EACvB,CAAC;KACE,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,YAAY;IACpB,KAAK,EAAE,WAAW;IAClB,IAAI,EAAE,kBAAkB;IACxB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,uBAAuB,CAAC;IACxD,SAAS,EAAE,eAAe;IAC1B,mBAAmB,EAAE,yBAAyB;IAC9C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACtE,OAAO,EAAE,yBAAyB;IAClC,qBAAqB,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,QAAQ,EAAE;IAC9D,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE;IAChD,sBAAsB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;CACpF,CAAC;KACD,QAAQ,EAAE,CACd,CAAA;AAKD,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAa,EAKb,EAAE;IACF,IAAI,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAA;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyC,CAAA;IAChE,MAAM,MAAM,GAAG,CACb,OAAe,EACf,WAAmB,EACnB,MAA6C,EAC7C,EAAE;QACF,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;QACtD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;YACzB,OAAO,GAAG,QAAQ,CAAA;YAClB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACrB,CAAC;IACH,CAAC,CAAA;IAED,MAAM,CACJ,8DAA8D,EAC9D,uBAAuB,EACvB,YAAY,CACb,CAAA;IACD,MAAM,CAAC,gCAAgC,EAAE,uBAAuB,EAAE,YAAY,CAAC,CAAA;IAC/E,MAAM,CAAC,4CAA4C,EAAE,oBAAoB,EAAE,QAAQ,CAAC,CAAA;IACpF,MAAM,CACJ,+DAA+D,EAC/D,oBAAoB,EACpB,QAAQ,CACT,CAAA;IACD,MAAM,CACJ,sEAAsE,EACtE,oBAAoB,EACpB,QAAQ,CACT,CAAA;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACzE,OAAO;QACL,OAAO,EAAE,OAAO,IAAI,YAAY;QAChC,aAAa,EAAE,UAAU,MAAM,EAAE;QACjC,SAAS,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE;KAChE,CAAA;AACH,CAAC,CAAA"}

package/dist/domain/failure.d.ts

@@ -0,0 +1,121 @@
+import { z } from "zod";
+export declare const FailureSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"context-gap">;
+    missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"requirement-ambiguity">;
+    blockingQuestionId: z.ZodString;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"dependency-blocked">;
+    blockedDependency: z.ZodString;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"implementation-defect">;
+    failingEvidenceId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "EvidenceId">>;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"verification-environment">;
+    verificationCommandName: z.ZodString;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"scope-drift">;
+    driftedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"merge-conflict">;
+    conflictingPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"model-failure">;
+    provider: z.ZodString;
+}, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    failureId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    summary: z.ZodString;
+    detail: z.ZodString;
+    recoveryPlan: z.ZodString;
+    confidence: z.ZodNumber;
+    relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+    category: z.ZodLiteral<"acceptance-failure">;
+    failingEvidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+}, z.core.$strip>>]>>;
+export type Failure = z.infer<typeof FailureSchema>;
+//# sourceMappingURL=failure.d.ts.map

package/dist/domain/failure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure.d.ts","sourceRoot":"","sources":["../../src/domain/failure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAiFvB,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAazB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAA"}

package/dist/domain/failure.js

@@ -0,0 +1,72 @@
+import { z } from "zod";
+import { EvidenceIdSchema, FailureIdSchema, PathSchema, RunIdSchema, SchemaVersionSchema, TaskIdSchema, } from "./shared.js";
+const normalizeLegacyFailure = (input) => {
+    if (typeof input !== "object" || input === null || Array.isArray(input)) {
+        return input;
+    }
+    const category = Reflect.get(input, "category");
+    if (typeof category === "string" && category.includes("_")) {
+        return { ...input, category: category.replaceAll("_", "-") };
+    }
+    return input;
+};
+const FailureBaseSchema = z.object({
+    schemaVersion: SchemaVersionSchema,
+    failureId: FailureIdSchema,
+    runId: RunIdSchema,
+    taskId: TaskIdSchema,
+    summary: z.string().trim().min(1),
+    detail: z.string().trim().min(1),
+    recoveryPlan: z.string().trim().min(1),
+    confidence: z.number().min(0).max(1),
+    relatedEvidenceIds: z.array(EvidenceIdSchema).readonly(),
+    rootCauseFingerprint: z.string().trim().min(1).optional(),
+});
+const ContextGapFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("context-gap"),
+    missingContext: z.array(z.string().trim().min(1)).min(1).readonly(),
+}).readonly();
+const RequirementAmbiguityFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("requirement-ambiguity"),
+    blockingQuestionId: z.string().trim().min(1),
+}).readonly();
+const DependencyBlockedFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("dependency-blocked"),
+    blockedDependency: z.string().trim().min(1),
+}).readonly();
+const ImplementationDefectFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("implementation-defect"),
+    failingEvidenceId: EvidenceIdSchema.optional(),
+}).readonly();
+const VerificationEnvironmentFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("verification-environment"),
+    verificationCommandName: z.string().trim().min(1),
+}).readonly();
+const ScopeDriftFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("scope-drift"),
+    driftedPaths: z.array(PathSchema).min(1).readonly(),
+}).readonly();
+const MergeConflictFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("merge-conflict"),
+    conflictingPaths: z.array(PathSchema).min(1).readonly(),
+}).readonly();
+const ModelFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("model-failure"),
+    provider: z.string().trim().min(1),
+}).readonly();
+const AcceptanceFailureSchema = FailureBaseSchema.extend({
+    category: z.literal("acceptance-failure"),
+    failingEvidenceId: EvidenceIdSchema,
+}).readonly();
+export const FailureSchema = z.preprocess(normalizeLegacyFailure, z.discriminatedUnion("category", [
+    ContextGapFailureSchema,
+    RequirementAmbiguityFailureSchema,
+    DependencyBlockedFailureSchema,
+    ImplementationDefectFailureSchema,
+    VerificationEnvironmentFailureSchema,
+    ScopeDriftFailureSchema,
+    MergeConflictFailureSchema,
+    ModelFailureSchema,
+    AcceptanceFailureSchema,
+]));
+//# sourceMappingURL=failure.js.map

package/dist/domain/failure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure.js","sourceRoot":"","sources":["../../src/domain/failure.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EACL,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,WAAW,EACX,mBAAmB,EACnB,YAAY,GACb,MAAM,aAAa,CAAA;AAEpB,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAW,EAAE;IACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC/C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAA;IAC9D,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,aAAa,EAAE,mBAAmB;IAClC,SAAS,EAAE,eAAe;IAC1B,KAAK,EAAE,WAAW;IAClB,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACxD,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC1D,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,iBAAiB,CAAC,MAAM,CAAC;IACvD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAClC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACpE,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,iCAAiC,GAAG,iBAAiB,CAAC,MAAM,CAAC;IACjE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC5C,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7C,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,8BAA8B,GAAG,iBAAiB,CAAC,MAAM,CAAC;IAC9D,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACzC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC5C,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,iCAAiC,GAAG,iBAAiB,CAAC,MAAM,CAAC;IACjE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC5C,iBAAiB,EAAE,gBAAgB,CAAC,QAAQ,EAAE;CAC/C,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,oCAAoC,GAAG,iBAAiB,CAAC,MAAM,CAAC;IACpE,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAC/C,uBAAuB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAClD,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,uBAAuB,GAAG,iBAAiB,CAAC,MAAM,CAAC;IACvD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAClC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACpD,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,0BAA0B,GAAG,iBAAiB,CAAC,MAAM,CAAC;IAC1D,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACrC,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CACxD,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC;IAClD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IACpC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACnC,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,uBAAuB,GAAG,iBAAiB,CAAC,MAAM,CAAC;IACvD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACzC,iBAAiB,EAAE,gBAAgB;CACpC,CAAC,CAAC,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,UAAU,CACvC,sBAAsB,EACtB,CAAC,CAAC,kBAAkB,CAAC,UAAU,EAAE;IAC/B,uBAAuB;IACvB,iCAAiC;IACjC,8BAA8B;IAC9B,iCAAiC;IACjC,oCAAoC;IACpC,uBAAuB;IACvB,0BAA0B;IAC1B,kBAAkB;IAClB,uBAAuB;CACxB,CAAC,CACH,CAAA"}

package/dist/domain/index.d.ts

@@ -0,0 +1,19 @@
+export type { GitWorkspaceState, NonGitWorkspaceState, RunWorkspace, WorkspaceGitState, } from "../workspace/index.js";
+export { createDefaultRunWorkspace, RunWorkspaceSchema, WorkspaceGitStateSchema, } from "../workspace/index.js";
+export type { AgentResult } from "./agent-result.js";
+export { AgentResultSchema } from "./agent-result.js";
+export type { Evidence, VerificationOutcome } from "./evidence.js";
+export { EvidenceSchema, redactEvidenceSummary } from "./evidence.js";
+export type { Failure } from "./failure.js";
+export { FailureSchema } from "./failure.js";
+export type { AcceptanceSummary, Report } from "./report.js";
+export { AcceptanceSummarySchema, ReportSchema } from "./report.js";
+export type { Requirement } from "./requirement.js";
+export { RequirementSchema } from "./requirement.js";
+export type { Run, RunActor, RunAnswerRecord, RunBudgetState, RunGovernance, RunPauseRecord, RunWaiverRecord, } from "./run.js";
+export { RunSchema } from "./run.js";
+export type { EvidenceId, RequirementId, RunId, TaskId } from "./shared.js";
+export { AgentRoleSchema, EvidenceIdSchema, EvidenceKindSchema, PathSchema, RequirementIdSchema, RunIdSchema, RunStatusSchema, SchemaVersionSchema, TaskIdSchema, TaskStatusSchema, } from "./shared.js";
+export type { RepairTask, RetryBudget, Task, TaskGraph, VerificationCommand, } from "./task.js";
+export { RepairTaskSchema, RepairVerificationPlanSchema, RetryBudgetSchema, TaskGraphSchema, TaskSchema, VerificationCommandSchema, } from "./task.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/domain/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,iBAAiB,EACjB,oBAAoB,EACpB,YAAY,EACZ,iBAAiB,GAClB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAA;AAClE,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AACrE,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,YAAY,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAC5D,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AACnE,YAAY,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,YAAY,EACV,GAAG,EACH,QAAQ,EACR,eAAe,EACf,cAAc,EACd,aAAa,EACb,cAAc,EACd,eAAe,GAChB,MAAM,UAAU,CAAA;AACjB,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AACpC,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAC3E,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,GACjB,MAAM,aAAa,CAAA;AACpB,YAAY,EACV,UAAU,EACV,WAAW,EACX,IAAI,EACJ,SAAS,EACT,mBAAmB,GACpB,MAAM,WAAW,CAAA;AAClB,OAAO,EACL,gBAAgB,EAChB,4BAA4B,EAC5B,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,yBAAyB,GAC1B,MAAM,WAAW,CAAA"}

package/dist/domain/index.js

@@ -0,0 +1,10 @@
+export { createDefaultRunWorkspace, RunWorkspaceSchema, WorkspaceGitStateSchema, } from "../workspace/index.js";
+export { AgentResultSchema } from "./agent-result.js";
+export { EvidenceSchema, redactEvidenceSummary } from "./evidence.js";
+export { FailureSchema } from "./failure.js";
+export { AcceptanceSummarySchema, ReportSchema } from "./report.js";
+export { RequirementSchema } from "./requirement.js";
+export { RunSchema } from "./run.js";
+export { AgentRoleSchema, EvidenceIdSchema, EvidenceKindSchema, PathSchema, RequirementIdSchema, RunIdSchema, RunStatusSchema, SchemaVersionSchema, TaskIdSchema, TaskStatusSchema, } from "./shared.js";
+export { RepairTaskSchema, RepairVerificationPlanSchema, RetryBudgetSchema, TaskGraphSchema, TaskSchema, VerificationCommandSchema, } from "./task.js";
+//# sourceMappingURL=index.js.map

package/dist/domain/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,uBAAuB,CAAA;AAE9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAErD,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AAErE,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAE5C,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAEnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAUpD,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAEpC,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,kBAAkB,EAClB,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,mBAAmB,EACnB,YAAY,EACZ,gBAAgB,GACjB,MAAM,aAAa,CAAA;AAQpB,OAAO,EACL,gBAAgB,EAChB,4BAA4B,EAC5B,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,yBAAyB,GAC1B,MAAM,WAAW,CAAA"}