harness-engineering-agent 0.1.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/domain/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAiCvB,QAAA,MAAM,oBAAoB;;;;;;;;;qBASb,CAAA;AAEb,QAAA,MAAM,cAAc;;;kBAKP,CAAA;AAEb,QAAA,MAAM,qBAAqB;;;;;;;;;kBAQd,CAAA;AAEb,QAAA,MAAM,qBAAqB;;;;;;;;;;kBASd,CAAA;AAEb,QAAA,MAAM,oBAAoB;;;;;;;;kBAOb,CAAA;AAEb,QAAA,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAaZ,CAAA;AAkDb,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAGrB,CAAA;AAED,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAA;AAC3C,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA;AACjE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAC/D,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

package/dist/domain/run.js

@@ -0,0 +1,129 @@
+import { z } from "zod";
+import { createDefaultRunWorkspace, RunWorkspaceSchema } from "../workspace/git-baseline.js";
+import { AgentResultSchema } from "./agent-result.js";
+import { EvidenceSchema } from "./evidence.js";
+import { FailureSchema } from "./failure.js";
+import { RequirementSchema } from "./requirement.js";
+import { RunIdSchema, SchemaVersionSchema } from "./shared.js";
+import { TaskGraphSchema } from "./task.js";
+const normalizeLegacyRun = (input) => {
+    if (typeof input !== "object" || input === null || Array.isArray(input)) {
+        return input;
+    }
+    const agentResults = Reflect.get(input, "agentResults");
+    const failures = Reflect.get(input, "failures");
+    return {
+        ...input,
+        ...(Array.isArray(agentResults) ? { agentResults } : {}),
+        ...(Array.isArray(failures) ? { failures } : {}),
+    };
+};
+const RunBudgetKindSchema = z.enum(["intake", "planner", "task", "repair", "overall"]);
+const RunBudgetCounterSchema = z
+    .object({
+    limit: z.number().int().positive(),
+    used: z.number().int().nonnegative(),
+})
+    .readonly();
+const RunBudgetStateSchema = z
+    .record(RunBudgetKindSchema, RunBudgetCounterSchema)
+    .default({
+    intake: { limit: 1, used: 0 },
+    planner: { limit: 1, used: 0 },
+    task: { limit: 1, used: 0 },
+    repair: { limit: 1, used: 0 },
+    overall: { limit: 1, used: 0 },
+})
+    .readonly();
+const RunActorSchema = z
+    .object({
+    id: z.string().trim().min(1),
+    type: z.literal("user"),
+})
+    .readonly();
+const RunAnswerRecordSchema = z
+    .object({
+    answerId: z.string().trim().min(1),
+    questionId: z.string().trim().min(1),
+    answer: z.string().trim().min(1),
+    actor: RunActorSchema,
+    answeredAt: z.string().trim().min(1),
+})
+    .readonly();
+const RunWaiverRecordSchema = z
+    .object({
+    waiverId: z.string().trim().min(1),
+    requirementId: z.string().trim().min(1),
+    actor: RunActorSchema,
+    reason: z.string().trim().min(1),
+    residualRisk: z.string().trim().min(1),
+    waivedAt: z.string().trim().min(1),
+})
+    .readonly();
+const RunPauseRecordSchema = z
+    .object({
+    pauseId: z.string().trim().min(1),
+    actor: RunActorSchema,
+    reason: z.string().trim().min(1),
+    pausedAt: z.string().trim().min(1),
+})
+    .readonly();
+const RunGovernanceSchema = z
+    .object({
+    blockingQuestionId: z.string().trim().min(1).nullable(),
+    answers: z.array(RunAnswerRecordSchema).readonly(),
+    waivers: z.array(RunWaiverRecordSchema).readonly(),
+    paused: RunPauseRecordSchema.nullable(),
+})
+    .default({
+    blockingQuestionId: null,
+    answers: [],
+    waivers: [],
+    paused: null,
+})
+    .readonly();
+const RunBaseSchema = {
+    schemaVersion: SchemaVersionSchema,
+    runId: RunIdSchema,
+    eventCursor: z.string().trim().min(1).optional(),
+    requirement: RequirementSchema,
+    evidence: z.array(EvidenceSchema).readonly(),
+    failures: z.array(FailureSchema).readonly(),
+    agentResults: z.array(AgentResultSchema).readonly(),
+    budgets: RunBudgetStateSchema,
+    governance: RunGovernanceSchema,
+    workspace: RunWorkspaceSchema.default(createDefaultRunWorkspace()),
+};
+const PrePlanRunStatusSchema = z.enum([
+    "created",
+    "analyzing",
+    "planning",
+    "clarification_required",
+    "cancelled",
+    "failed",
+]);
+const PostPlanRunStatusSchema = z.enum([
+    "plan_ready",
+    "executing",
+    "verifying",
+    "evidence_gap",
+    "paused",
+    "cancelled",
+    "failed",
+    "completed",
+]);
+const PrePlanRunSchema = z
+    .object({
+    ...RunBaseSchema,
+    status: PrePlanRunStatusSchema,
+})
+    .readonly();
+const PostPlanRunSchema = z
+    .object({
+    ...RunBaseSchema,
+    status: PostPlanRunStatusSchema,
+    taskGraph: TaskGraphSchema,
+})
+    .readonly();
+export const RunSchema = z.preprocess(normalizeLegacyRun, z.union([PostPlanRunSchema, PrePlanRunSchema]));
+//# sourceMappingURL=run.js.map

package/dist/domain/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../../src/domain/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAA;AAC5F,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAA;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAE3C,MAAM,kBAAkB,GAAG,CAAC,KAAc,EAAW,EAAE;IACrD,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,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,CAAA;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAE/C,OAAO;QACL,GAAG,KAAK;QACR,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAA;AACH,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;AAEtF,MAAM,sBAAsB,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAClC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CACrC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,oBAAoB,GAAG,CAAC;KAC3B,MAAM,CAAC,mBAAmB,EAAE,sBAAsB,CAAC;KACnD,OAAO,CAAC;IACP,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;IAC7B,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;IAC9B,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;IAC3B,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;IAC7B,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;CAC/B,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,cAAc,GAAG,CAAC;KACrB,MAAM,CAAC;IACN,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;CACxB,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,qBAAqB,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,KAAK,EAAE,cAAc;IACrB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,qBAAqB,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,KAAK,EAAE,cAAc;IACrB,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,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACnC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,oBAAoB,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACnC,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,mBAAmB,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE;IAClD,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE;IAClD,MAAM,EAAE,oBAAoB,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,OAAO,CAAC;IACP,kBAAkB,EAAE,IAAI;IACxB,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,IAAI;CACb,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,aAAa,GAAG;IACpB,aAAa,EAAE,mBAAmB;IAClC,KAAK,EAAE,WAAW;IAClB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,WAAW,EAAE,iBAAiB;IAC9B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;IAC5C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;IAC3C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE;IACnD,OAAO,EAAE,oBAAoB;IAC7B,UAAU,EAAE,mBAAmB;IAC/B,SAAS,EAAE,kBAAkB,CAAC,OAAO,CAAC,yBAAyB,EAAE,CAAC;CAClC,CAAA;AAElC,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,SAAS;IACT,WAAW;IACX,UAAU;IACV,wBAAwB;IACxB,WAAW;IACX,QAAQ;CACT,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,CAAC,CAAC,IAAI,CAAC;IACrC,YAAY;IACZ,WAAW;IACX,WAAW;IACX,cAAc;IACd,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,WAAW;CACZ,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,GAAG,aAAa;IAChB,MAAM,EAAE,sBAAsB;CAC/B,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,iBAAiB,GAAG,CAAC;KACxB,MAAM,CAAC;IACN,GAAG,aAAa;IAChB,MAAM,EAAE,uBAAuB;IAC/B,SAAS,EAAE,eAAe;CAC3B,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CACnC,kBAAkB,EAClB,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,CAAC,CAC/C,CAAA"}

package/dist/domain/shared.d.ts

@@ -0,0 +1,60 @@
+import { z } from "zod";
+export declare const SchemaVersionSchema: z.ZodLiteral<"1.0.0">;
+export declare const RunIdSchema: z.core.$ZodBranded<z.ZodString, "RunId">;
+export declare const TaskIdSchema: z.core.$ZodBranded<z.ZodString, "TaskId">;
+export declare const EvidenceIdSchema: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
+export declare const DomainEntityIdSchema: z.ZodString;
+export declare const RequirementIdSchema: z.ZodString;
+export declare const GraphIdSchema: z.ZodString;
+export declare const FailureIdSchema: z.ZodString;
+export declare const ResultIdSchema: z.ZodString;
+export declare const PathSchema: z.ZodString;
+export declare const RunStatusValues: readonly ["created", "analyzing", "planning", "plan_ready", "executing", "verifying", "evidence_gap", "clarification_required", "paused", "cancelled", "failed", "completed"];
+export declare const TaskStatusValues: readonly ["planned", "ready", "in_progress", "blocked", "paused", "failed", "completed"];
+export declare const AgentRoleValues: readonly ["intake", "planner", "worker", "verifier", "failure-analyzer", "repair-worker", "acceptance"];
+export declare const EvidenceKindValues: readonly ["verification", "red", "green", "refactor", "approval", "artifact-summary"];
+export declare const RunStatusSchema: z.ZodEnum<{
+    paused: "paused";
+    created: "created";
+    failed: "failed";
+    analyzing: "analyzing";
+    planning: "planning";
+    plan_ready: "plan_ready";
+    executing: "executing";
+    verifying: "verifying";
+    evidence_gap: "evidence_gap";
+    clarification_required: "clarification_required";
+    cancelled: "cancelled";
+    completed: "completed";
+}>;
+export declare const TaskStatusSchema: z.ZodEnum<{
+    paused: "paused";
+    failed: "failed";
+    completed: "completed";
+    planned: "planned";
+    ready: "ready";
+    in_progress: "in_progress";
+    blocked: "blocked";
+}>;
+export declare const AgentRoleSchema: z.ZodEnum<{
+    intake: "intake";
+    planner: "planner";
+    worker: "worker";
+    verifier: "verifier";
+    "failure-analyzer": "failure-analyzer";
+    "repair-worker": "repair-worker";
+    acceptance: "acceptance";
+}>;
+export declare const EvidenceKindSchema: z.ZodEnum<{
+    verification: "verification";
+    red: "red";
+    green: "green";
+    refactor: "refactor";
+    approval: "approval";
+    "artifact-summary": "artifact-summary";
+}>;
+export type RunId = z.infer<typeof RunIdSchema>;
+export type TaskId = z.infer<typeof TaskIdSchema>;
+export type EvidenceId = z.infer<typeof EvidenceIdSchema>;
+export type RequirementId = z.infer<typeof RequirementIdSchema>;
+//# sourceMappingURL=shared.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/domain/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAcvB,eAAO,MAAM,mBAAmB,uBAAqB,CAAA;AAErD,eAAO,MAAM,WAAW,0CAAiC,CAAA;AACzD,eAAO,MAAM,YAAY,2CAAkC,CAAA;AAC3D,eAAO,MAAM,gBAAgB,+CAAsC,CAAA;AAEnE,eAAO,MAAM,oBAAoB,aAE/B,CAAA;AAEF,eAAO,MAAM,mBAAmB,aAAuB,CAAA;AACvD,eAAO,MAAM,aAAa,aAAuB,CAAA;AACjD,eAAO,MAAM,eAAe,aAAuB,CAAA;AACnD,eAAO,MAAM,cAAc,aAAuB,CAAA;AAElD,eAAO,MAAM,UAAU,aAAuB,CAAA;AAE9C,eAAO,MAAM,eAAe,+KAalB,CAAA;AAEV,eAAO,MAAM,gBAAgB,0FAQnB,CAAA;AAEV,eAAO,MAAM,eAAe,yGAQlB,CAAA;AAEV,eAAO,MAAM,kBAAkB,uFAOrB,CAAA;AAEV,eAAO,MAAM,eAAe;;;;;;;;;;;;;EAA0B,CAAA;AACtD,eAAO,MAAM,gBAAgB;;;;;;;;EAA2B,CAAA;AACxD,eAAO,MAAM,eAAe;;;;;;;;EAA0B,CAAA;AACtD,eAAO,MAAM,kBAAkB;;;;;;;EAA6B,CAAA;AAE5D,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAA;AAC/C,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAA;AACjD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAA;AACzD,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAA"}

package/dist/domain/shared.js

@@ -0,0 +1,66 @@
+import { z } from "zod";
+const DOMAIN_ID_PATTERN = /^[a-z0-9]+(?:-[a-z0-9]+)*$/;
+const NonEmptyStringSchema = z.string().trim().min(1);
+const createBrandedIdSchema = (label) => z
+    .string()
+    .regex(DOMAIN_ID_PATTERN, {
+    message: `${label} must use lowercase kebab-case`,
+})
+    .brand();
+export const SchemaVersionSchema = z.literal("1.0.0");
+export const RunIdSchema = createBrandedIdSchema("RunId");
+export const TaskIdSchema = createBrandedIdSchema("TaskId");
+export const EvidenceIdSchema = createBrandedIdSchema("EvidenceId");
+export const DomainEntityIdSchema = z.string().regex(DOMAIN_ID_PATTERN, {
+    message: "Domain IDs must use lowercase kebab-case",
+});
+export const RequirementIdSchema = DomainEntityIdSchema;
+export const GraphIdSchema = DomainEntityIdSchema;
+export const FailureIdSchema = DomainEntityIdSchema;
+export const ResultIdSchema = DomainEntityIdSchema;
+export const PathSchema = NonEmptyStringSchema;
+export const RunStatusValues = [
+    "created",
+    "analyzing",
+    "planning",
+    "plan_ready",
+    "executing",
+    "verifying",
+    "evidence_gap",
+    "clarification_required",
+    "paused",
+    "cancelled",
+    "failed",
+    "completed",
+];
+export const TaskStatusValues = [
+    "planned",
+    "ready",
+    "in_progress",
+    "blocked",
+    "paused",
+    "failed",
+    "completed",
+];
+export const AgentRoleValues = [
+    "intake",
+    "planner",
+    "worker",
+    "verifier",
+    "failure-analyzer",
+    "repair-worker",
+    "acceptance",
+];
+export const EvidenceKindValues = [
+    "verification",
+    "red",
+    "green",
+    "refactor",
+    "approval",
+    "artifact-summary",
+];
+export const RunStatusSchema = z.enum(RunStatusValues);
+export const TaskStatusSchema = z.enum(TaskStatusValues);
+export const AgentRoleSchema = z.enum(AgentRoleValues);
+export const EvidenceKindSchema = z.enum(EvidenceKindValues);
+//# sourceMappingURL=shared.js.map

package/dist/domain/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../src/domain/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,MAAM,iBAAiB,GAAG,4BAA4B,CAAA;AAEtD,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAErD,MAAM,qBAAqB,GAAG,CAAwB,KAAa,EAAE,EAAE,CACrE,CAAC;KACE,MAAM,EAAE;KACR,KAAK,CAAC,iBAAiB,EAAE;IACxB,OAAO,EAAE,GAAG,KAAK,gCAAgC;CAClD,CAAC;KACD,KAAK,EAAU,CAAA;AAEpB,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;AAErD,MAAM,CAAC,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAA;AACzD,MAAM,CAAC,MAAM,YAAY,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAA;AAC3D,MAAM,CAAC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,YAAY,CAAC,CAAA;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,EAAE;IACtE,OAAO,EAAE,0CAA0C;CACpD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,oBAAoB,CAAA;AACvD,MAAM,CAAC,MAAM,aAAa,GAAG,oBAAoB,CAAA;AACjD,MAAM,CAAC,MAAM,eAAe,GAAG,oBAAoB,CAAA;AACnD,MAAM,CAAC,MAAM,cAAc,GAAG,oBAAoB,CAAA;AAElD,MAAM,CAAC,MAAM,UAAU,GAAG,oBAAoB,CAAA;AAE9C,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,SAAS;IACT,WAAW;IACX,UAAU;IACV,YAAY;IACZ,WAAW;IACX,WAAW;IACX,cAAc;IACd,wBAAwB;IACxB,QAAQ;IACR,WAAW;IACX,QAAQ;IACR,WAAW;CACH,CAAA;AAEV,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,SAAS;IACT,OAAO;IACP,aAAa;IACb,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,WAAW;CACH,CAAA;AAEV,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,UAAU;IACV,kBAAkB;IAClB,eAAe;IACf,YAAY;CACJ,CAAA;AAEV,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,cAAc;IACd,KAAK;IACL,OAAO;IACP,UAAU;IACV,UAAU;IACV,kBAAkB;CACV,CAAA;AAEV,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;AACtD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;AACxD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA"}

package/dist/domain/task.d.ts

@@ -0,0 +1,316 @@
+import { z } from "zod";
+export declare const VerificationCommandSchema: 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>>;
+export declare const RetryBudgetSchema: z.ZodReadonly<z.ZodObject<{
+    maxAttempts: z.ZodNumber;
+    maxRepairAttempts: z.ZodNumber;
+}, z.core.$strip>>;
+export declare const RepairVerificationPlanSchema: z.ZodReadonly<z.ZodObject<{
+    minimalFailureSet: z.ZodReadonly<z.ZodArray<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>>>>;
+    fullVerification: z.ZodReadonly<z.ZodArray<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>>>>;
+}, z.core.$strip>>;
+export declare const RepairTaskSchema: z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    repairTaskId: z.ZodString;
+    version: z.ZodNumber;
+    sourceTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    sourceFailureId: z.ZodString;
+    rootCauseFingerprint: z.ZodString;
+    summary: z.ZodString;
+    allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    retryBudget: z.ZodReadonly<z.ZodObject<{
+        maxAttempts: z.ZodNumber;
+        maxRepairAttempts: z.ZodNumber;
+    }, z.core.$strip>>;
+    failureEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    verificationPlan: z.ZodReadonly<z.ZodObject<{
+        minimalFailureSet: z.ZodReadonly<z.ZodArray<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>>>>;
+        fullVerification: z.ZodReadonly<z.ZodArray<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>>>>;
+    }, z.core.$strip>>;
+    phaseEvidenceKinds: z.ZodTuple<[z.ZodLiteral<"red">, z.ZodLiteral<"green">, z.ZodLiteral<"refactor">], null>;
+}, z.core.$strip>>;
+export declare const TaskSchema: z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    requirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    title: z.ZodString;
+    summary: z.ZodString;
+    status: z.ZodEnum<{
+        paused: "paused";
+        failed: "failed";
+        completed: "completed";
+        planned: "planned";
+        ready: "ready";
+        in_progress: "in_progress";
+        blocked: "blocked";
+    }>;
+    allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+    verificationPlan: z.ZodReadonly<z.ZodArray<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>>>>;
+    retryBudget: z.ZodReadonly<z.ZodObject<{
+        maxAttempts: z.ZodNumber;
+        maxRepairAttempts: z.ZodNumber;
+    }, z.core.$strip>>;
+    dependencies: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+    evidenceRefs: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    repairEnabled: z.ZodDefault<z.ZodBoolean>;
+    assignedAgentRole: z.ZodEnum<{
+        intake: "intake";
+        planner: "planner";
+        worker: "worker";
+        verifier: "verifier";
+        "failure-analyzer": "failure-analyzer";
+        "repair-worker": "repair-worker";
+        acceptance: "acceptance";
+    }>;
+}, z.core.$strip>>;
+export declare const TaskDependencyEdgeSchema: z.ZodReadonly<z.ZodObject<{
+    fromTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    toTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+}, z.core.$strip>>;
+export declare const TaskGraphSchema: z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    graphId: z.ZodString;
+    runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+    version: z.ZodNumber;
+    tasks: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        schemaVersion: z.ZodLiteral<"1.0.0">;
+        taskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        runId: z.core.$ZodBranded<z.ZodString, "RunId">;
+        requirementIds: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        title: z.ZodString;
+        summary: z.ZodString;
+        status: z.ZodEnum<{
+            paused: "paused";
+            failed: "failed";
+            completed: "completed";
+            planned: "planned";
+            ready: "ready";
+            in_progress: "in_progress";
+            blocked: "blocked";
+        }>;
+        allowedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+        verificationPlan: z.ZodReadonly<z.ZodArray<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>>>>;
+        retryBudget: z.ZodReadonly<z.ZodObject<{
+            maxAttempts: z.ZodNumber;
+            maxRepairAttempts: z.ZodNumber;
+        }, z.core.$strip>>;
+        dependencies: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "TaskId">>>;
+        evidenceRefs: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+        repairEnabled: z.ZodDefault<z.ZodBoolean>;
+        assignedAgentRole: z.ZodEnum<{
+            intake: "intake";
+            planner: "planner";
+            worker: "worker";
+            verifier: "verifier";
+            "failure-analyzer": "failure-analyzer";
+            "repair-worker": "repair-worker";
+            acceptance: "acceptance";
+        }>;
+    }, z.core.$strip>>>>;
+    edges: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        fromTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+        toTaskId: z.core.$ZodBranded<z.ZodString, "TaskId">;
+    }, z.core.$strip>>>>;
+}, z.core.$strip>>;
+export type VerificationCommand = z.infer<typeof VerificationCommandSchema>;
+export type RetryBudget = z.infer<typeof RetryBudgetSchema>;
+export type RepairTask = z.infer<typeof RepairTaskSchema>;
+export type Task = z.infer<typeof TaskSchema>;
+export type TaskGraph = z.infer<typeof TaskGraphSchema>;
+//# sourceMappingURL=task.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"task.d.ts","sourceRoot":"","sources":["../../src/domain/task.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAyCvB,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAczB,CAAA;AAEb,eAAO,MAAM,iBAAiB;;;kBAKjB,CAAA;AAEb,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAK5B,CAAA;AAEb,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAehB,CAAA;AAEb,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAiBV,CAAA;AAEb,eAAO,MAAM,wBAAwB;;;kBAKxB,CAAA;AAEb,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA4Bf,CAAA;AAEb,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAC3D,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAA;AAC7C,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAA"}