@cat-factory/contracts 0.52.0 → 0.54.0

package/dist/snapshot.d.ts

@@ -175,7 +175,7 @@ export declare const workspaceSnapshotSchema: v.ObjectSchema<{
                 readonly phase: v.PicklistSchema<["testing", "fixing"], undefined>;
                 readonly attempts: v.NumberSchema<undefined>;
                 readonly maxAttempts: v.NumberSchema<undefined>;
-                readonly lastReport: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+                readonly lastReport: v.OptionalSchema<v.NullableSchema<v.SchemaWithPipe<readonly [v.ObjectSchema<{
                     readonly greenlight: v.BooleanSchema<undefined>;
                     readonly summary: v.StringSchema<undefined>;
                     readonly tested: v.ArraySchema<v.StringSchema<undefined>, undefined>;
@@ -198,6 +198,80 @@ export declare const workspaceSnapshotSchema: v.ObjectSchema<{
                         readonly height: v.OptionalSchema<v.NumberSchema<undefined>, undefined>;
                         readonly referenceArtifactId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
                     }, undefined>, undefined>, undefined>;
+                    readonly abort: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+                        readonly reason: v.StringSchema<undefined>;
+                    }, undefined>, undefined>, undefined>;
+                }, undefined>, v.TransformAction<{
+                    greenlight: boolean;
+                    summary: string;
+                    tested: string[];
+                    outcomes: {
+                        name: string;
+                        status: "failed" | "passed" | "skipped";
+                        detail?: string | undefined;
+                    }[];
+                    concerns: {
+                        title: string;
+                        detail: string;
+                        severity: "critical" | "high" | "low" | "medium";
+                    }[];
+                    environment?: "ephemeral" | "local" | undefined;
+                    screenshots?: {
+                        view: string;
+                        artifactId: string;
+                        hash?: string | undefined;
+                        width?: number | undefined;
+                        height?: number | undefined;
+                        referenceArtifactId?: string | undefined;
+                    }[] | undefined;
+                    abort?: {
+                        reason: string;
+                    } | null | undefined;
+                }, {
+                    greenlight: boolean;
+                    summary: string;
+                    tested: string[];
+                    outcomes: {
+                        name: string;
+                        status: "failed" | "passed" | "skipped";
+                        detail?: string | undefined;
+                    }[];
+                    concerns: {
+                        title: string;
+                        detail: string;
+                        severity: "critical" | "high" | "low" | "medium";
+                    }[];
+                    environment?: "ephemeral" | "local" | undefined;
+                    screenshots?: {
+                        view: string;
+                        artifactId: string;
+                        hash?: string | undefined;
+                        width?: number | undefined;
+                        height?: number | undefined;
+                        referenceArtifactId?: string | undefined;
+                    }[] | undefined;
+                    abort?: {
+                        reason: string;
+                    } | null | undefined;
+                }>]>, undefined>, undefined>;
+                readonly attemptLog: v.OptionalSchema<v.NullableSchema<v.ArraySchema<v.ObjectSchema<{
+                    readonly attempt: v.NumberSchema<undefined>;
+                    readonly at: v.NumberSchema<undefined>;
+                    readonly outcome: v.PicklistSchema<["completed", "failed"], undefined>;
+                    readonly summary: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                    readonly concerns: v.OptionalSchema<v.NullableSchema<v.ArraySchema<v.ObjectSchema<{
+                        readonly title: v.StringSchema<undefined>;
+                        readonly detail: v.StringSchema<undefined>;
+                        readonly severity: v.PicklistSchema<["low", "medium", "high", "critical"], undefined>;
+                    }, undefined>, undefined>, undefined>, undefined>;
+                }, undefined>, undefined>, undefined>, undefined>;
+                readonly infraSetup: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+                    readonly started: v.BooleanSchema<undefined>;
+                    readonly composePath: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                    readonly at: v.NumberSchema<undefined>;
+                    readonly durationMs: v.OptionalSchema<v.NullableSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+                    readonly logs: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                    readonly error: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
                 }, undefined>, undefined>, undefined>;
             }, undefined>, undefined>, undefined>;
             readonly humanTest: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
@@ -263,7 +337,12 @@ export declare const workspaceSnapshotSchema: v.ObjectSchema<{
                     readonly status: v.PicklistSchema<["pending", "in_progress", "completed"], undefined>;
                 }, undefined>, undefined>, undefined>;
             }, undefined>, undefined>;
-            readonly startingContainer: v.OptionalSchema<v.BooleanSchema<undefined>, undefined>;
+            readonly container: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+                readonly status: v.PicklistSchema<["starting", "up", "errored", "destroyed"], undefined>;
+                readonly phase: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                readonly id: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+                readonly url: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+            }, undefined>, undefined>, undefined>;
             readonly decision: v.NullableSchema<v.ObjectSchema<{
                 readonly id: v.StringSchema<undefined>;
                 readonly question: v.StringSchema<undefined>;

package/dist/snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../src/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AA0B5B,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlC;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEH;;;OAGG;;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEH;;;OAGG;;;;;;;;;;;;;;;;IAEH;;;;;;OAMG;;;;;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;IAEH;;;;;;;;OAQG;;;;;IAOH;;;OAGG;;;;IAEH;;;;OAIG;;;;;;;;;;;;;;;;;;;;;IAEH;;;OAGG;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;IAGH;;;;OAIG;;;;;;;;;;;;;;IAEH;;;;;;OAMG;;;;;;;;;;;;;IAEH;;;;;;;OAOG;;aAEH,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../src/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AA0B5B,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlC;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEH;;;OAGG;;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAEH;;;OAGG;;;;;;;;;;;;;;;;IAEH;;;;;;OAMG;;;;;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;IAEH;;;;;;;;OAQG;;;;;IAOH;;;OAGG;;;;IAEH;;;;OAIG;;;;;;;;;;;;;;;;;;;;;IAEH;;;OAGG;;;;;;;;;IAEH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;IAGH;;;;OAIG;;;;;;;;;;;;;;IAEH;;;;;;OAMG;;;;;;;;;;;;;IAEH;;;;;;;OAOG;;aAEH,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/testing.d.ts

@@ -52,13 +52,13 @@ export declare const testScreenshotSchema: v.ObjectSchema<{
 }, undefined>;
 export type TestScreenshot = v.InferOutput<typeof testScreenshotSchema>;
 /**
- * A Tester's structured report. `greenlight` is the gate's verdict: true means the
- * change is safe to release (no blocking concerns); false routes the run through
- * the `fixer`. `tested` lists what the Tester decided to cover (this task's
- * requirements plus best-judgement regression of related ones); `outcomes` are the
- * per-area results; `concerns` are the bugs/risks to fix before re-testing.
+ * Enforce the `abort ⇒ greenlight === false` invariant at the schema boundary so it can't
+ * depend on every caller getting the ordering right: a report that signals `abort` is never
+ * release-ready, so normalise `greenlight` to false whenever an `abort` reason is present.
+ * (The container executor's `coerceTestReport` already forces this on the dispatch path; the
+ * transform makes it hold for every parse — e.g. re-validating persisted step state too.)
  */
-export declare const testReportSchema: v.ObjectSchema<{
+export declare const testReportSchema: v.SchemaWithPipe<readonly [v.ObjectSchema<{
     /** The gate verdict: release-ready (true) or needs fixing (false). */
     readonly greenlight: v.BooleanSchema<undefined>;
     /** Plain-prose overall summary of the testing session. */
@@ -106,8 +106,102 @@ export declare const testReportSchema: v.ObjectSchema<{
         /** The matching reference design image's artifact id, when one was supplied. */
         readonly referenceArtifactId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
     }, undefined>, undefined>, undefined>;
-}, undefined>;
+    /**
+     * Set when the Tester could NOT run a meaningful test at all and the run must STOP for a
+     * human rather than loop the fixer — e.g. the ephemeral environment it was configured to
+     * use never came up, a required dependency was unavailable, or the change simply can't be
+     * exercised in this setup. The engine then blocks the task (retryable) and raises a
+     * notification WITHOUT dispatching the `fixer` (which can't fix missing infrastructure).
+     * This is distinct from a withheld greenlight (bugs were found → loop the fixer); when
+     * `abort` is set, `greenlight` MUST be false. The `reason` is shown to the human verbatim.
+     */
+    readonly abort: v.OptionalSchema<v.NullableSchema<v.ObjectSchema<{
+        readonly reason: v.StringSchema<undefined>;
+    }, undefined>, undefined>, undefined>;
+}, undefined>, v.TransformAction<{
+    greenlight: boolean;
+    summary: string;
+    tested: string[];
+    outcomes: {
+        name: string;
+        status: "failed" | "passed" | "skipped";
+        detail?: string | undefined;
+    }[];
+    concerns: {
+        title: string;
+        detail: string;
+        severity: "critical" | "high" | "low" | "medium";
+    }[];
+    environment?: "ephemeral" | "local" | undefined;
+    screenshots?: {
+        view: string;
+        artifactId: string;
+        hash?: string | undefined;
+        width?: number | undefined;
+        height?: number | undefined;
+        referenceArtifactId?: string | undefined;
+    }[] | undefined;
+    abort?: {
+        reason: string;
+    } | null | undefined;
+}, {
+    greenlight: boolean;
+    summary: string;
+    tested: string[];
+    outcomes: {
+        name: string;
+        status: "failed" | "passed" | "skipped";
+        detail?: string | undefined;
+    }[];
+    concerns: {
+        title: string;
+        detail: string;
+        severity: "critical" | "high" | "low" | "medium";
+    }[];
+    environment?: "ephemeral" | "local" | undefined;
+    screenshots?: {
+        view: string;
+        artifactId: string;
+        hash?: string | undefined;
+        width?: number | undefined;
+        height?: number | undefined;
+        referenceArtifactId?: string | undefined;
+    }[] | undefined;
+    abort?: {
+        reason: string;
+    } | null | undefined;
+}>]>;
 export type TestReport = v.InferOutput<typeof testReportSchema>;
 /** Parse-or-throw a test report payload an agent returned (the engine validates it). */
 export declare function parseTestReport(value: unknown): TestReport;
+/**
+ * The record of standing the service's docker-compose dependencies up before a `local`
+ * tester run. The stand-up happens INSIDE the executor container (`docker compose up
+ * --wait`), so its output never reaches the orchestrator-side provisioning-log store
+ * (which records only the backend's container/env spin-up). The harness captures it
+ * (redacted + tail-bounded) and the engine persists it on the Tester step, so the test
+ * window can show WHY the dependencies failed to come up — the single highest-signal
+ * artifact for a local-infra Tester failure, previously trapped in the harness's own logs.
+ */
+export declare const testerInfraSetupSchema: v.ObjectSchema<{
+    /** Whether `docker compose up --wait` succeeded (the dependencies are up). */
+    readonly started: v.BooleanSchema<undefined>;
+    /** The repo-relative compose file that was stood up, when known. */
+    readonly composePath: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+    /** Epoch ms the stand-up attempt finished. */
+    readonly at: v.NumberSchema<undefined>;
+    /** Wall-clock of the stand-up attempt, ms. */
+    readonly durationMs: v.OptionalSchema<v.NullableSchema<v.NumberSchema<undefined>, undefined>, undefined>;
+    /** Captured (redacted, tail-bounded) stdout+stderr of the stand-up command. */
+    readonly logs: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+    /** The verbatim (redacted) failure message when stand-up failed, else null. */
+    readonly error: v.OptionalSchema<v.NullableSchema<v.StringSchema<undefined>, undefined>, undefined>;
+}, undefined>;
+export type TesterInfraSetup = v.InferOutput<typeof testerInfraSetupSchema>;
+/**
+ * Parse a tester infra-setup record the harness reported, or null when absent/malformed.
+ * The data is harness-produced (deterministic, not LLM), but it crosses the container→
+ * backend HTTP boundary, so the engine validates it defensively before persisting.
+ */
+export declare function parseTesterInfraSetup(value: unknown): TesterInfraSetup | null;
 //# sourceMappingURL=testing.d.ts.map

package/dist/testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAgB5B;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,qDAAqC,CAAA;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,oDAAoD;AACpD,eAAO,MAAM,yBAAyB,oEAAoD,CAAA;AAC1F,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAEjF,yFAAyF;AACzF,eAAO,MAAM,iBAAiB;IAC5B,oCAAoC;;IAEpC,oDAAoD;;IAEpD,uDAAuD;;aAEvD,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAEjE,8DAA8D;AAC9D,eAAO,MAAM,iBAAiB;IAC5B,4DAA4D;;IAE5D,sDAAsD;;IAEtD,uEAAuE;;aAEvE,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAEjE;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB;IAC/B,gFAAgF;;IAEhF,kFAAkF;;IAElF,gFAAgF;;;;IAIhF,gFAAgF;;aAEhF,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEvE;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB;IAC3B,sEAAsE;;IAEtE,0DAA0D;;IAE1D,2EAA2E;;IAE3E,wBAAwB;;QA7CxB,4DAA4D;;QAE5D,sDAAsD;;QAEtD,uEAAuE;;;IA2CvE;;;;OAIG;;QA9DH,oCAAoC;;QAEpC,oDAAoD;;QAEpD,uDAAuD;;;IA4DvD,kEAAkE;;IAElE;;;;OAIG;;QAzCH,gFAAgF;;QAEhF,kFAAkF;;QAElF,gFAAgF;;;;QAIhF,gFAAgF;;;aAmChF,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,wFAAwF;AACxF,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAE1D"}
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAgB5B;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,qDAAqC,CAAA;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEzE,oDAAoD;AACpD,eAAO,MAAM,yBAAyB,oEAAoD,CAAA;AAC1F,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAEjF,yFAAyF;AACzF,eAAO,MAAM,iBAAiB;IAC5B,oCAAoC;;IAEpC,oDAAoD;;IAEpD,uDAAuD;;aAEvD,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAEjE,8DAA8D;AAC9D,eAAO,MAAM,iBAAiB;IAC5B,4DAA4D;;IAE5D,sDAAsD;;IAEtD,uEAAuE;;aAEvE,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAEjE;;;;;;;GAOG;AACH,eAAO,MAAM,oBAAoB;IAC/B,gFAAgF;;IAEhF,kFAAkF;;IAElF,gFAAgF;;;;IAIhF,gFAAgF;;aAEhF,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,oBAAoB,CAAC,CAAA;AA4CvE;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB;IAzC3B,sEAAsE;;IAEtE,0DAA0D;;IAE1D,2EAA2E;;IAE3E,wBAAwB;;QA7CxB,4DAA4D;;QAE5D,sDAAsD;;QAEtD,uEAAuE;;;IA2CvE;;;;OAIG;;QA9DH,oCAAoC;;QAEpC,oDAAoD;;QAEpD,uDAAuD;;;IA4DvD,kEAAkE;;IAElE;;;;OAIG;;QAzCH,gFAAgF;;QAEhF,kFAAkF;;QAElF,gFAAgF;;;;QAIhF,gFAAgF;;;IAmChF;;;;;;;;OAQG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAcJ,CAAA;AACD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,wFAAwF;AACxF,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAE1D;AAED;;;;;;;;GAQG;AACH,eAAO,MAAM,sBAAsB;IACjC,8EAA8E;;IAE9E,oEAAoE;;IAEpE,8CAA8C;;IAE9C,8CAA8C;;IAE9C,+EAA+E;;IAE/E,+EAA+E;;aAE/E,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,WAAW,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAE3E;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,GAAG,IAAI,CAG7E"}

package/dist/testing.js

@@ -66,7 +66,7 @@ export const testScreenshotSchema = v.object({
  * requirements plus best-judgement regression of related ones); `outcomes` are the
  * per-area results; `concerns` are the bugs/risks to fix before re-testing.
  */
-export const testReportSchema = v.object({
+const testReportObjectSchema = v.object({
     /** The gate verdict: release-ready (true) or needs fixing (false). */
     greenlight: v.boolean(),
     /** Plain-prose overall summary of the testing session. */
@@ -89,9 +89,59 @@ export const testReportSchema = v.object({
      * the visual-confirmation gate's actual-vs-reference review.
      */
     screenshots: v.optional(v.array(testScreenshotSchema)),
+    /**
+     * Set when the Tester could NOT run a meaningful test at all and the run must STOP for a
+     * human rather than loop the fixer — e.g. the ephemeral environment it was configured to
+     * use never came up, a required dependency was unavailable, or the change simply can't be
+     * exercised in this setup. The engine then blocks the task (retryable) and raises a
+     * notification WITHOUT dispatching the `fixer` (which can't fix missing infrastructure).
+     * This is distinct from a withheld greenlight (bugs were found → loop the fixer); when
+     * `abort` is set, `greenlight` MUST be false. The `reason` is shown to the human verbatim.
+     */
+    abort: v.optional(v.nullable(v.object({ reason: v.string() }))),
 });
+/**
+ * Enforce the `abort ⇒ greenlight === false` invariant at the schema boundary so it can't
+ * depend on every caller getting the ordering right: a report that signals `abort` is never
+ * release-ready, so normalise `greenlight` to false whenever an `abort` reason is present.
+ * (The container executor's `coerceTestReport` already forces this on the dispatch path; the
+ * transform makes it hold for every parse — e.g. re-validating persisted step state too.)
+ */
+export const testReportSchema = v.pipe(testReportObjectSchema, v.transform((report) => (report.abort?.reason ? { ...report, greenlight: false } : report)));
 /** Parse-or-throw a test report payload an agent returned (the engine validates it). */
 export function parseTestReport(value) {
     return v.parse(testReportSchema, value);
 }
+/**
+ * The record of standing the service's docker-compose dependencies up before a `local`
+ * tester run. The stand-up happens INSIDE the executor container (`docker compose up
+ * --wait`), so its output never reaches the orchestrator-side provisioning-log store
+ * (which records only the backend's container/env spin-up). The harness captures it
+ * (redacted + tail-bounded) and the engine persists it on the Tester step, so the test
+ * window can show WHY the dependencies failed to come up — the single highest-signal
+ * artifact for a local-infra Tester failure, previously trapped in the harness's own logs.
+ */
+export const testerInfraSetupSchema = v.object({
+    /** Whether `docker compose up --wait` succeeded (the dependencies are up). */
+    started: v.boolean(),
+    /** The repo-relative compose file that was stood up, when known. */
+    composePath: v.optional(v.nullable(v.string())),
+    /** Epoch ms the stand-up attempt finished. */
+    at: v.number(),
+    /** Wall-clock of the stand-up attempt, ms. */
+    durationMs: v.optional(v.nullable(v.number())),
+    /** Captured (redacted, tail-bounded) stdout+stderr of the stand-up command. */
+    logs: v.optional(v.nullable(v.string())),
+    /** The verbatim (redacted) failure message when stand-up failed, else null. */
+    error: v.optional(v.nullable(v.string())),
+});
+/**
+ * Parse a tester infra-setup record the harness reported, or null when absent/malformed.
+ * The data is harness-produced (deterministic, not LLM), but it crosses the container→
+ * backend HTTP boundary, so the engine validates it defensively before persisting.
+ */
+export function parseTesterInfraSetup(value) {
+    const result = v.safeParse(testerInfraSetupSchema, value);
+    return result.success ? result.output : null;
+}
 //# sourceMappingURL=testing.js.map

package/dist/testing.js.map

@@ -1 +1 @@
-{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAE5B,8EAA8E;AAC9E,iCAAiC;AACjC,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,kFAAkF;AAClF,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,gFAAgF;AAChF,iFAAiF;AACjF,mDAAmD;AACnD,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;AAGvE,oDAAoD;AACpD,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;AAG1F,yFAAyF;AACzF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,oCAAoC;IACpC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,oDAAoD;IACpD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,uDAAuD;IACvD,QAAQ,EAAE,yBAAyB;CACpC,CAAC,CAAA;AAGF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,4DAA4D;IAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,sDAAsD;IACtD,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnD,uEAAuE;IACvE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC/B,CAAC,CAAA;AAGF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,gFAAgF;IAChF,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,kFAAkF;IAClF,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,gFAAgF;IAChF,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9B,gFAAgF;IAChF,mBAAmB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAGF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,sEAAsE;IACtE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;IACvB,0DAA0D;IAC1D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,2EAA2E;IAC3E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC3B,wBAAwB;IACxB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpC;;;;OAIG;IACH,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpC,kEAAkE;IAClE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAC9C;;;;OAIG;IACH,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;CACvD,CAAC,CAAA;AAGF,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAA;AACzC,CAAC"}
+{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,SAAS,CAAA;AAE5B,8EAA8E;AAC9E,iCAAiC;AACjC,EAAE;AACF,6EAA6E;AAC7E,gFAAgF;AAChF,kFAAkF;AAClF,6EAA6E;AAC7E,2EAA2E;AAC3E,+EAA+E;AAC/E,gFAAgF;AAChF,iFAAiF;AACjF,mDAAmD;AACnD,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAA;AAGvE,oDAAoD;AACpD,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;AAG1F,yFAAyF;AACzF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,oCAAoC;IACpC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,oDAAoD;IACpD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,uDAAuD;IACvD,QAAQ,EAAE,yBAAyB;CACpC,CAAC,CAAA;AAGF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,4DAA4D;IAC5D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,sDAAsD;IACtD,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnD,uEAAuE;IACvE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC/B,CAAC,CAAA;AAGF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,gFAAgF;IAChF,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,kFAAkF;IAClF,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,gFAAgF;IAChF,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC9B,gFAAgF;IAChF,mBAAmB,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAGF;;;;;;GAMG;AACH,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC,sEAAsE;IACtE,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;IACvB,0DAA0D;IAC1D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,2EAA2E;IAC3E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC3B,wBAAwB;IACxB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpC;;;;OAIG;IACH,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACpC,kEAAkE;IAClE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAC9C;;;;OAIG;IACH,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACtD;;;;;;;;OAQG;IACH,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;CAChE,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CACpC,sBAAsB,EACtB,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC5F,CAAA;AAGD,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,CAAC,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,8EAA8E;IAC9E,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,oEAAoE;IACpE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,8CAA8C;IAC9C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,8CAA8C;IAC9C,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9C,+EAA+E;IAC/E,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,+EAA+E;IAC/E,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAA;AAGF;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,EAAE,KAAK,CAAC,CAAA;IACzD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAA;AAC9C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cat-factory/contracts",
-  "version": "0.52.0",
+  "version": "0.54.0",
   "description": "Valibot wire contract shared between the Agent Architecture Board frontend and backend.",
   "repository": {
     "type": "git",