harness-engineering-agent 0.1.0

package/dist/controller/task-agent-schemas.js

@@ -0,0 +1,171 @@
+import { z } from "zod";
+import { EvidenceIdSchema, EvidenceKindSchema, PathSchema, RepairTaskSchema, SchemaVersionSchema, } from "../domain/index.js";
+const AgentSuggestionBaseSchema = z.object({
+    schemaVersion: SchemaVersionSchema,
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+});
+export const WorkerOutputSchema = z
+    .discriminatedUnion("status", [
+    AgentSuggestionBaseSchema.extend({
+        role: z.literal("worker"),
+        status: z.literal("completed"),
+        changedPaths: z.array(PathSchema).min(1).readonly(),
+    })
+        .strict()
+        .readonly(),
+    AgentSuggestionBaseSchema.extend({
+        role: z.literal("worker"),
+        status: z.literal("blocked"),
+        blockingReason: z.string().trim().min(1),
+    })
+        .strict()
+        .readonly(),
+    AgentSuggestionBaseSchema.extend({
+        role: z.literal("worker"),
+        status: z.literal("evidence_gap"),
+        missingEvidenceKinds: z.array(EvidenceKindSchema).min(1).readonly(),
+    })
+        .strict()
+        .readonly(),
+    AgentSuggestionBaseSchema.extend({
+        role: z.literal("worker"),
+        status: z.literal("failed"),
+        failureId: z.string().trim().min(1),
+    })
+        .strict()
+        .readonly(),
+])
+    .readonly();
+export const VerifierOutputSchema = z
+    .discriminatedUnion("status", [
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("verifier"),
+        status: z.literal("passed"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("verifier"),
+        status: z.literal("failed"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("verifier"),
+        status: z.literal("evidence_gap"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+        missingEvidenceKinds: z.array(EvidenceKindSchema).min(1).readonly(),
+    })
+        .strict()
+        .readonly(),
+])
+    .readonly();
+export const AcceptanceOutputSchema = z
+    .discriminatedUnion("status", [
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("acceptance"),
+        status: z.literal("accepted"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("acceptance"),
+        status: z.literal("failed"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("acceptance"),
+        status: z.literal("evidence_gap"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+        missingEvidenceKinds: z.array(EvidenceKindSchema).min(1).readonly(),
+    })
+        .strict()
+        .readonly(),
+])
+    .readonly();
+export const FailureAnalyzerOutputSchema = z
+    .discriminatedUnion("action", [
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("failure-analyzer"),
+        action: z.literal("repair"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+        category: z.literal("implementation-defect"),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("failure-analyzer"),
+        action: z.literal("clarify"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+        category: z.enum(["context-gap", "requirement-ambiguity"]),
+        missingContext: z.array(z.string().trim().min(1)).min(1).readonly(),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("failure-analyzer"),
+        action: z.literal("wait"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+        category: z.literal("dependency-blocked"),
+        blockedDependency: z.string().trim().min(1),
+    })
+        .strict()
+        .readonly(),
+    z
+        .object({
+        schemaVersion: SchemaVersionSchema,
+        role: z.literal("failure-analyzer"),
+        action: z.literal("terminate"),
+        summary: z.string().trim().min(1),
+        evidenceIds: z.array(EvidenceIdSchema).readonly(),
+        category: z.enum(["verification-environment", "model-failure"]),
+    })
+        .strict()
+        .readonly(),
+])
+    .readonly();
+export const RepairWorkerOutputSchema = z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    role: z.literal("repair-worker"),
+    status: z.literal("planned"),
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    repairTask: RepairTaskSchema,
+})
+    .strict()
+    .readonly();
+//# sourceMappingURL=task-agent-schemas.js.map

package/dist/controller/task-agent-schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-agent-schemas.js","sourceRoot":"","sources":["../../src/controller/task-agent-schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,UAAU,EACV,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,oBAAoB,CAAA;AAE3B,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,mBAAmB;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;CAClD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,kBAAkB,CAAC,QAAQ,EAAE;IAC5B,yBAAyB,CAAC,MAAM,CAAC;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC9B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACpD,CAAC;SACC,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,yBAAyB,CAAC,MAAM,CAAC;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC5B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACzC,CAAC;SACC,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,yBAAyB,CAAC,MAAM,CAAC;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QACjC,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACpE,CAAC;SACC,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,yBAAyB,CAAC,MAAM,CAAC;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACpC,CAAC;SACC,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,kBAAkB,CAAC,QAAQ,EAAE;IAC5B,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;KAClD,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;KAClD,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC3B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;QACjD,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACpE,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,kBAAkB,CAAC,QAAQ,EAAE;IAC5B,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;QAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;KAClD,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;KAClD,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QAC7B,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;QACjD,oBAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KACpE,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC;KACzC,kBAAkB,CAAC,QAAQ,EAAE;IAC5B,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;QACjD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;KAC7C,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;QACjD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,uBAAuB,CAAC,CAAC;QAC1D,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;KACpE,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;QACjD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;QACzC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KAC5C,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;IACb,CAAC;SACE,MAAM,CAAC;QACN,aAAa,EAAE,mBAAmB;QAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;QACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;QACjD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,0BAA0B,EAAE,eAAe,CAAC,CAAC;KAChE,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACjD,UAAU,EAAE,gBAAgB;CAC7B,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA"}

package/dist/controller/task-executor.d.ts

@@ -0,0 +1,15 @@
+import { type Run } from "../domain/index.js";
+import type { AgentSessionRuntime } from "./agent-session.js";
+import type { CreateRunControllerOptions } from "./contracts.js";
+import type { RunPersistence } from "./run-persistence.js";
+import type { PlannedRun } from "./run-state.js";
+type ExecutorDependencies = {
+    readonly options: CreateRunControllerOptions;
+    readonly runtime: AgentSessionRuntime;
+    readonly writer: RunPersistence;
+};
+export declare const createTaskExecutor: (input: ExecutorDependencies) => {
+    runTasks: (run: PlannedRun) => Promise<Run>;
+};
+export {};
+//# sourceMappingURL=task-executor.d.ts.map

package/dist/controller/task-executor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-executor.d.ts","sourceRoot":"","sources":["../../src/controller/task-executor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmC,KAAK,GAAG,EAAa,MAAM,oBAAoB,CAAA;AAGzF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AAC7D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAchE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAmBhD,KAAK,oBAAoB,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;IAC5C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;CAChC,CAAA;AAQD,eAAO,MAAM,kBAAkB,GAAI,OAAO,oBAAoB;oBAuoB/B,UAAU,KAAG,OAAO,CAAC,GAAG,CAAC;CA+OvD,CAAA"}