@cleocode/contracts 2026.4.70 → 2026.4.73

package/dist/acceptance-gate.d.ts

@@ -72,14 +72,33 @@ export interface TestGate extends GateBase {
 /**
  * Assert properties of a file on disk. Multiple assertions are AND-ed:
  * all must hold for the gate to pass.
+ *
+ * Either `path` or `attachmentSha256` must be provided (not both).
+ * When `attachmentSha256` is set, the gate runner resolves the on-disk path
+ * via `AttachmentStore.get(sha256)` before running assertions.
  */
 export interface FileGate extends GateBase {
     kind: 'file';
     /**
      * Absolute or project-root-relative path. Globs are not supported here
      * — use one gate per path.
+     *
+     * Exactly one of `path` or `attachmentSha256` must be set.
      */
-    path: string;
+    path?: string;
+    /**
+     * SHA-256 hex digest of an attachment stored in the CLEO attachment store.
+     *
+     * When set, the gate runner resolves the attachment's on-disk blob path
+     * via `AttachmentStore.get(sha256)` and uses that path for all assertions.
+     * Mutually exclusive with `path`.
+     *
+     * @example
+     * ```json
+     * { "kind": "file", "attachmentSha256": "a1b2c3...", "assertions": [{ "type": "nonEmpty" }] }
+     * ```
+     */
+    attachmentSha256?: string;
     assertions: FileAssertion[];
 }
 /**
@@ -220,6 +239,65 @@ export interface ManualGate extends GateBase {
 export type AcceptanceGate = TestGate | FileGate | CommandGate | LintGate | HttpGate | ManualGate;
 /** All valid `kind` discriminants for `AcceptanceGate`. */
 export type AcceptanceGateKind = AcceptanceGate['kind'];
+/**
+ * Kind-specific detail payload for {@link AcceptanceGateResult}.
+ *
+ * Each variant is keyed by `kind` — the same discriminant used on
+ * {@link AcceptanceGate} — so callers can narrow `details` with a simple
+ * `if (result.details?.kind === 'test') { ... }` guard.
+ *
+ * @epic T760
+ * @task T802
+ */
+export type GateResultDetails = {
+    kind: 'test';
+    /** Exit code of the test process. */
+    exitCode: number;
+    /** Captured standard output (may be truncated). */
+    stdout: string;
+    /** Captured standard error (may be truncated). */
+    stderr: string;
+    /** Wall-clock duration in milliseconds. */
+    duration: number;
+} | {
+    kind: 'file';
+    /** The file path that was evaluated. */
+    path: string;
+    /** Assertions that passed. */
+    passedAssertions: string[];
+    /** Assertions that failed (empty on pass). */
+    failedAssertions: string[];
+} | {
+    kind: 'command';
+    /** The command that was run. */
+    cmd: string;
+    /** Exit code of the command process. */
+    exitCode: number;
+    /** Captured standard output (may be truncated). */
+    stdout: string;
+} | {
+    kind: 'lint';
+    /** Linting tool name (e.g. `"biome"`, `"tsc"`). */
+    tool: string;
+    /** Number of diagnostic warnings emitted. */
+    warnings: number;
+    /** Number of diagnostic errors emitted. */
+    errors: number;
+} | {
+    kind: 'http';
+    /** The URL that was probed. */
+    url: string;
+    /** HTTP status code returned by the server. */
+    status: number;
+    /** Response body (may be truncated). */
+    body: string;
+} | {
+    kind: 'manual';
+    /** The prompt shown to the reviewer. */
+    prompt: string;
+    /** Whether the reviewer accepted (`true`) or rejected (`false`) the gate. */
+    accepted: boolean;
+};
 /**
  * Result of running one acceptance gate.
  *
@@ -241,7 +319,26 @@ export interface AcceptanceGateResult {
     result: 'pass' | 'fail' | 'warn' | 'skipped' | 'error';
     /** Wall-clock duration of the gate execution in milliseconds. */
     durationMs: number;
-    /** Truncated stdout/stderr or file snippet shown in failure messages. */
+    /**
+     * Typed kind-specific detail payload.
+     *
+     * Replaces the untyped `evidence?: string` pattern. The `kind` discriminant
+     * matches the gate's `kind` so callers can narrow safely:
+     *
+     * ```ts
+     * if (r.details?.kind === 'test') {
+     *   console.log(r.details.exitCode, r.details.stdout);
+     * }
+     * ```
+     */
+    details?: GateResultDetails;
+    /**
+     * Short plain-text evidence snippet shown in failure messages.
+     *
+     * Kept for backward compatibility with existing persisted records and
+     * display code that reads this field as a truncated summary.
+     * New code should prefer {@link details}.
+     */
     evidence?: string;
     /** Error message when `result` is `"error"` (the gate runner itself crashed). */
     errorMessage?: string;

package/dist/acceptance-gate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"acceptance-gate.d.ts","sourceRoot":"","sources":["../src/acceptance-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,yCAAyC;AACzC,MAAM,WAAW,QAAQ;IACvB;;;;OAIG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IAEb;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAID;;;;GAIG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;OAGG;IACH,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IACzB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,aAAa,EAAE,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GACD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtC;;;GAGG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,8BAA8B;IAC9B,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;IACnE;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;OAGG;IACH,MAAM,EAAE,OAAO,GAAG,UAAU,CAAC;IAC7B,kDAAkD;IAClD,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,0DAA0D;IAC1D,MAAM,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,QAAQ,CAAC;IACpD,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kCAAkC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,mFAAmF;IACnF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,8EAA8E;IAC9E,MAAM,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CACzC;AAID;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;AAElG,2DAA2D;AAC3D,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;AAIxD;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,oDAAoD;IACpD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,IAAI,EAAE,kBAAkB,CAAC;IACzB,qCAAqC;IACrC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IACvD,iEAAiE;IACjE,UAAU,EAAE,MAAM,CAAC;IACnB,yEAAyE;IACzE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iFAAiF;IACjF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;CACnB"}
+{"version":3,"file":"acceptance-gate.d.ts","sourceRoot":"","sources":["../src/acceptance-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,yCAAyC;AACzC,MAAM,WAAW,QAAQ;IACvB;;;;OAIG;IACH,GAAG,CAAC,EAAE,MAAM,CAAC;IAEb;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAID;;;;GAIG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,2DAA2D;IAC3D,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;OAGG;IACH,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IACzB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;;;;;;;;OAWG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,aAAa,EAAE,CAAC;CAC7B;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnC;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,6CAA6C;IAC7C,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GACD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtC;;;GAGG;AACH,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,IAAI,EAAE,SAAS,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2CAA2C;IAC3C,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,kDAAkD;IAClD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,8BAA8B;IAC9B,IAAI,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,CAAC;IACnE;;;OAGG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB;;;OAGG;IACH,MAAM,EAAE,OAAO,GAAG,UAAU,CAAC;IAC7B,kDAAkD;IAClD,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,0DAA0D;IAC1D,MAAM,CAAC,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,QAAQ,CAAC;IACpD,iCAAiC;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kCAAkC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,mFAAmF;IACnF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAC;IACf,8EAA8E;IAC9E,MAAM,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CACzC;AAID;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;AAElG,2DAA2D;AAC3D,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;AAIxD;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GACzB;IACE,IAAI,EAAE,MAAM,CAAC;IACb,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,QAAQ,EAAE,MAAM,CAAC;CAClB,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,8BAA8B;IAC9B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,8CAA8C;IAC9C,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B,GACD;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,gCAAgC;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,MAAM,CAAC;IACb,+BAA+B;IAC/B,GAAG,EAAE,MAAM,CAAC;IACZ,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,wCAAwC;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,QAAQ,EAAE,OAAO,CAAC;CACnB,CAAC;AAIN;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,oDAAoD;IACpD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,IAAI,EAAE,kBAAkB,CAAC;IACzB,qCAAqC;IACrC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IACvD,iEAAiE;IACjE,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iFAAiF;IACjF,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,mEAAmE;IACnE,SAAS,EAAE,MAAM,CAAC;CACnB"}

package/dist/evidence-record-schema.d.ts

@@ -0,0 +1,202 @@
+/**
+ * Zod validation schemas for {@link EvidenceRecord} and its variants.
+ *
+ * Kept in a separate file from the plain TypeScript types so that consumers
+ * that do not need runtime validation (e.g. type-only imports) pay zero cost.
+ *
+ * All schemas are named `*RecordSchema` and derive their inferred types from
+ * the canonical TypeScript interfaces in `./evidence-record.ts`.
+ *
+ * The top-level {@link evidenceRecordSchema} is a `z.discriminatedUnion` on
+ * `"kind"` so Zod can route to the correct variant in O(1).
+ *
+ * @epic T810
+ * @task T816
+ */
+import { z } from 'zod';
+/**
+ * Zod schema for {@link ImplDiffRecord}.
+ *
+ * Validates that `filesChanged` is a non-empty array and that `linesAdded` /
+ * `linesRemoved` are non-negative integers.
+ */
+export declare const implDiffRecordSchema: z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"impl-diff">;
+    phase: z.ZodLiteral<"implement">;
+    filesChanged: z.ZodArray<z.ZodString>;
+    linesAdded: z.ZodNumber;
+    linesRemoved: z.ZodNumber;
+}, z.core.$strip>;
+/** Inferred TypeScript type from {@link implDiffRecordSchema}. */
+export type ImplDiffRecordInput = z.input<typeof implDiffRecordSchema>;
+/**
+ * Zod schema for {@link ValidateSpecCheckRecord}.
+ *
+ * Validates that `reqIdsChecked` is non-empty and `details` is non-blank.
+ */
+export declare const validateSpecCheckRecordSchema: z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"validate-spec-check">;
+    phase: z.ZodLiteral<"validate">;
+    reqIdsChecked: z.ZodArray<z.ZodString>;
+    passed: z.ZodBoolean;
+    details: z.ZodString;
+}, z.core.$strip>;
+/** Inferred TypeScript type from {@link validateSpecCheckRecordSchema}. */
+export type ValidateSpecCheckRecordInput = z.input<typeof validateSpecCheckRecordSchema>;
+/**
+ * Zod schema for {@link TestOutputRecord}.
+ *
+ * Validates that `command` is non-blank and test counts are non-negative.
+ */
+export declare const testOutputRecordSchema: z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"test-output">;
+    phase: z.ZodLiteral<"test">;
+    command: z.ZodString;
+    exitCode: z.ZodNumber;
+    testsPassed: z.ZodNumber;
+    testsFailed: z.ZodNumber;
+}, z.core.$strip>;
+/** Inferred TypeScript type from {@link testOutputRecordSchema}. */
+export type TestOutputRecordInput = z.input<typeof testOutputRecordSchema>;
+/**
+ * Zod schema for {@link LintReportRecord}.
+ *
+ * `phase` is restricted to `'implement' | 'test'`.
+ * `warnings` and `errors` are non-negative integers.
+ */
+export declare const lintReportRecordSchema: z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"lint-report">;
+    phase: z.ZodEnum<{
+        test: "test";
+        implement: "implement";
+    }>;
+    tool: z.ZodString;
+    passed: z.ZodBoolean;
+    warnings: z.ZodNumber;
+    errors: z.ZodNumber;
+}, z.core.$strip>;
+/** Inferred TypeScript type from {@link lintReportRecordSchema}. */
+export type LintReportRecordInput = z.input<typeof lintReportRecordSchema>;
+/**
+ * Zod schema for {@link CommandOutputRecord}.
+ *
+ * `phase` can be `'implement'`, `'validate'`, or `'test'`.
+ * `cmd` must be non-blank.
+ */
+export declare const commandOutputRecordSchema: z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"command-output">;
+    phase: z.ZodEnum<{
+        test: "test";
+        implement: "implement";
+        validate: "validate";
+    }>;
+    cmd: z.ZodString;
+    exitCode: z.ZodNumber;
+}, z.core.$strip>;
+/** Inferred TypeScript type from {@link commandOutputRecordSchema}. */
+export type CommandOutputRecordInput = z.input<typeof commandOutputRecordSchema>;
+/**
+ * Zod discriminated-union schema for {@link EvidenceRecord}.
+ *
+ * Uses `z.discriminatedUnion('kind', [...])` for O(1) variant lookup.
+ * Parse with `evidenceRecordSchema.parse(input)` or
+ * `evidenceRecordSchema.safeParse(input)`.
+ *
+ * @example
+ * ```ts
+ * const rec = evidenceRecordSchema.parse({
+ *   kind: 'test-output',
+ *   phase: 'test',
+ *   agentIdentity: 'T816-worker',
+ *   attachmentSha256: 'a'.repeat(64),
+ *   command: 'pnpm test',
+ *   exitCode: 0,
+ *   testsPassed: 10,
+ *   testsFailed: 0,
+ *   ranAt: '2026-04-16T00:00:00.000Z',
+ *   durationMs: 1234,
+ * });
+ * ```
+ */
+export declare const evidenceRecordSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"impl-diff">;
+    phase: z.ZodLiteral<"implement">;
+    filesChanged: z.ZodArray<z.ZodString>;
+    linesAdded: z.ZodNumber;
+    linesRemoved: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"validate-spec-check">;
+    phase: z.ZodLiteral<"validate">;
+    reqIdsChecked: z.ZodArray<z.ZodString>;
+    passed: z.ZodBoolean;
+    details: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"test-output">;
+    phase: z.ZodLiteral<"test">;
+    command: z.ZodString;
+    exitCode: z.ZodNumber;
+    testsPassed: z.ZodNumber;
+    testsFailed: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"lint-report">;
+    phase: z.ZodEnum<{
+        test: "test";
+        implement: "implement";
+    }>;
+    tool: z.ZodString;
+    passed: z.ZodBoolean;
+    warnings: z.ZodNumber;
+    errors: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    agentIdentity: z.ZodString;
+    attachmentSha256: z.ZodString;
+    ranAt: z.ZodString;
+    durationMs: z.ZodNumber;
+    kind: z.ZodLiteral<"command-output">;
+    phase: z.ZodEnum<{
+        test: "test";
+        implement: "implement";
+        validate: "validate";
+    }>;
+    cmd: z.ZodString;
+    exitCode: z.ZodNumber;
+}, z.core.$strip>], "kind">;
+/** Inferred TypeScript type from {@link evidenceRecordSchema}. */
+export type EvidenceRecordInput = z.input<typeof evidenceRecordSchema>;
+//# sourceMappingURL=evidence-record-schema.d.ts.map

package/dist/evidence-record-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-record-schema.d.ts","sourceRoot":"","sources":["../src/evidence-record-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAuBxB;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;iBAM/B,CAAC;AAEH,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAEvE;;;;GAIG;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;iBAMxC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,MAAM,4BAA4B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAEzF;;;;GAIG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;iBAOjC,CAAC;AAEH,oEAAoE;AACpE,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAE3E;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;iBAOjC,CAAC;AAEH,oEAAoE;AACpE,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAE3E;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;iBAKpC,CAAC;AAEH,uEAAuE;AACvE,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAIjF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2BAM/B,CAAC;AAEH,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC"}

package/dist/evidence-record-schema.js

@@ -0,0 +1,130 @@
+/**
+ * Zod validation schemas for {@link EvidenceRecord} and its variants.
+ *
+ * Kept in a separate file from the plain TypeScript types so that consumers
+ * that do not need runtime validation (e.g. type-only imports) pay zero cost.
+ *
+ * All schemas are named `*RecordSchema` and derive their inferred types from
+ * the canonical TypeScript interfaces in `./evidence-record.ts`.
+ *
+ * The top-level {@link evidenceRecordSchema} is a `z.discriminatedUnion` on
+ * `"kind"` so Zod can route to the correct variant in O(1).
+ *
+ * @epic T810
+ * @task T816
+ */
+import { z } from 'zod';
+// ─── Shared base fields ───────────────────────────────────────────────────────
+/**
+ * Zod schema for the provenance fields shared by every EvidenceRecord variant.
+ *
+ * Not exported as a standalone validator; always composed into a full record
+ * schema via `.extend()`.
+ */
+const evidenceBaseSchema = z.object({
+    /** Identity string of the agent that produced this record. */
+    agentIdentity: z.string().min(1),
+    /** SHA-256 hex digest (64 chars) of the attached artifact. */
+    attachmentSha256: z.string().length(64),
+    /** ISO 8601 timestamp at which the action ran. */
+    ranAt: z.string().datetime(),
+    /** Wall-clock duration of the action in milliseconds. */
+    durationMs: z.number().nonnegative(),
+});
+// ─── Individual variant schemas ───────────────────────────────────────────────
+/**
+ * Zod schema for {@link ImplDiffRecord}.
+ *
+ * Validates that `filesChanged` is a non-empty array and that `linesAdded` /
+ * `linesRemoved` are non-negative integers.
+ */
+export const implDiffRecordSchema = evidenceBaseSchema.extend({
+    kind: z.literal('impl-diff'),
+    phase: z.literal('implement'),
+    filesChanged: z.array(z.string().min(1)).min(1),
+    linesAdded: z.number().int().nonnegative(),
+    linesRemoved: z.number().int().nonnegative(),
+});
+/**
+ * Zod schema for {@link ValidateSpecCheckRecord}.
+ *
+ * Validates that `reqIdsChecked` is non-empty and `details` is non-blank.
+ */
+export const validateSpecCheckRecordSchema = evidenceBaseSchema.extend({
+    kind: z.literal('validate-spec-check'),
+    phase: z.literal('validate'),
+    reqIdsChecked: z.array(z.string().min(1)).min(1),
+    passed: z.boolean(),
+    details: z.string().min(1),
+});
+/**
+ * Zod schema for {@link TestOutputRecord}.
+ *
+ * Validates that `command` is non-blank and test counts are non-negative.
+ */
+export const testOutputRecordSchema = evidenceBaseSchema.extend({
+    kind: z.literal('test-output'),
+    phase: z.literal('test'),
+    command: z.string().min(1),
+    exitCode: z.number().int(),
+    testsPassed: z.number().int().nonnegative(),
+    testsFailed: z.number().int().nonnegative(),
+});
+/**
+ * Zod schema for {@link LintReportRecord}.
+ *
+ * `phase` is restricted to `'implement' | 'test'`.
+ * `warnings` and `errors` are non-negative integers.
+ */
+export const lintReportRecordSchema = evidenceBaseSchema.extend({
+    kind: z.literal('lint-report'),
+    phase: z.enum(['implement', 'test']),
+    tool: z.string().min(1),
+    passed: z.boolean(),
+    warnings: z.number().int().nonnegative(),
+    errors: z.number().int().nonnegative(),
+});
+/**
+ * Zod schema for {@link CommandOutputRecord}.
+ *
+ * `phase` can be `'implement'`, `'validate'`, or `'test'`.
+ * `cmd` must be non-blank.
+ */
+export const commandOutputRecordSchema = evidenceBaseSchema.extend({
+    kind: z.literal('command-output'),
+    phase: z.enum(['implement', 'validate', 'test']),
+    cmd: z.string().min(1),
+    exitCode: z.number().int(),
+});
+// ─── Discriminated union ──────────────────────────────────────────────────────
+/**
+ * Zod discriminated-union schema for {@link EvidenceRecord}.
+ *
+ * Uses `z.discriminatedUnion('kind', [...])` for O(1) variant lookup.
+ * Parse with `evidenceRecordSchema.parse(input)` or
+ * `evidenceRecordSchema.safeParse(input)`.
+ *
+ * @example
+ * ```ts
+ * const rec = evidenceRecordSchema.parse({
+ *   kind: 'test-output',
+ *   phase: 'test',
+ *   agentIdentity: 'T816-worker',
+ *   attachmentSha256: 'a'.repeat(64),
+ *   command: 'pnpm test',
+ *   exitCode: 0,
+ *   testsPassed: 10,
+ *   testsFailed: 0,
+ *   ranAt: '2026-04-16T00:00:00.000Z',
+ *   durationMs: 1234,
+ * });
+ * ```
+ */
+export const evidenceRecordSchema = z.discriminatedUnion('kind', [
+    implDiffRecordSchema,
+    validateSpecCheckRecordSchema,
+    testOutputRecordSchema,
+    lintReportRecordSchema,
+    commandOutputRecordSchema,
+]);
+//# sourceMappingURL=evidence-record-schema.js.map

package/dist/evidence-record-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-record-schema.js","sourceRoot":"","sources":["../src/evidence-record-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC,8DAA8D;IAC9D,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,8DAA8D;IAC9D,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACvC,kDAAkD;IAClD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,yDAAyD;IACzD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;CACrC,CAAC,CAAC;AAEH,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,kBAAkB,CAAC,MAAM,CAAC;IAC5D,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC5B,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC7B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC1C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC7C,CAAC,CAAC;AAKH;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACrE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACtC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC5B,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3B,CAAC,CAAC;AAKH;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,kBAAkB,CAAC,MAAM,CAAC;IAC9D,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACxB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE;IAC1B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC5C,CAAC,CAAC;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,kBAAkB,CAAC,MAAM,CAAC;IAC9D,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACxC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CACvC,CAAC,CAAC;AAKH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC,MAAM,CAAC;IACjE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACjC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAChD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE;CAC3B,CAAC,CAAC;AAKH,iFAAiF;AAEjF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC/D,oBAAoB;IACpB,6BAA6B;IAC7B,sBAAsB;IACtB,sBAAsB;IACtB,yBAAyB;CAC1B,CAAC,CAAC"}

package/dist/evidence-record.d.ts

@@ -0,0 +1,167 @@
+/**
+ * EvidenceRecord discriminated union — typed proof artifacts produced by IVTR agents.
+ *
+ * Each variant represents a specific kind of evidence that an IVTR-phase agent
+ * (implement, validate, test) can emit. All variants share a common set of
+ * provenance fields (`agentIdentity`, `attachmentSha256`, `ranAt`, `durationMs`)
+ * so that evidence rows can be queried, correlated, and archived uniformly.
+ *
+ * Five kinds are defined:
+ * - `impl-diff`         — a code change produced by an implement-phase agent
+ * - `validate-spec-check` — a spec-requirements check by a validate-phase agent
+ * - `test-output`       — the output of a test command run by a test-phase agent
+ * - `lint-report`       — a static-analysis run (biome, tsc, etc.)
+ * - `command-output`    — a generic CLI command invocation with exit code
+ *
+ * @epic T810
+ * @task T816
+ * @see {@link EvidenceRecordKind} for all discriminant values
+ */
+/**
+ * Evidence that an implement-phase agent produced a code diff.
+ *
+ * `filesChanged` lists the relative paths of every modified file.
+ * `attachmentSha256` is the SHA-256 hex digest of the serialised diff attachment.
+ */
+export interface ImplDiffRecord {
+    kind: 'impl-diff';
+    /** RCASD lifecycle phase that produced this record. */
+    phase: 'implement';
+    /** Identity string of the agent that ran this action (e.g. `"T816-worker"`). */
+    agentIdentity: string;
+    /** SHA-256 hex digest (64 chars) of the attached diff blob. */
+    attachmentSha256: string;
+    /** Relative paths of every file the diff touches. */
+    filesChanged: string[];
+    /** Net lines added across all changed files. */
+    linesAdded: number;
+    /** Net lines removed across all changed files. */
+    linesRemoved: number;
+    /** ISO 8601 timestamp at which the diff was captured. */
+    ranAt: string;
+    /** Wall-clock duration of the implement action in milliseconds. */
+    durationMs: number;
+}
+/**
+ * Evidence that a validate-phase agent checked one or more REQ-IDs against
+ * the implementation and recorded a pass/fail verdict.
+ */
+export interface ValidateSpecCheckRecord {
+    kind: 'validate-spec-check';
+    /** RCASD lifecycle phase that produced this record. */
+    phase: 'validate';
+    /** Identity string of the agent that ran this action. */
+    agentIdentity: string;
+    /** SHA-256 hex digest (64 chars) of the spec-check report attachment. */
+    attachmentSha256: string;
+    /** REQ-IDs checked in this run (e.g. `["IVTR-01", "IVTR-02"]`). */
+    reqIdsChecked: string[];
+    /** `true` when all checked REQ-IDs passed; `false` if any failed. */
+    passed: boolean;
+    /** Human-readable summary of results per REQ-ID. */
+    details: string;
+    /** ISO 8601 timestamp at which the check ran. */
+    ranAt: string;
+    /** Wall-clock duration of the validation check in milliseconds. */
+    durationMs: number;
+}
+/**
+ * Evidence that a test-phase agent ran a test command and recorded counts.
+ */
+export interface TestOutputRecord {
+    kind: 'test-output';
+    /** RCASD lifecycle phase that produced this record. */
+    phase: 'test';
+    /** Identity string of the agent that ran this action. */
+    agentIdentity: string;
+    /** SHA-256 hex digest (64 chars) of the test-output attachment. */
+    attachmentSha256: string;
+    /** The full test command that was executed (e.g. `"pnpm --filter @cleocode/contracts run test"`). */
+    command: string;
+    /** Exit code returned by the test command. */
+    exitCode: number;
+    /** Number of individual test cases that passed. */
+    testsPassed: number;
+    /** Number of individual test cases that failed. */
+    testsFailed: number;
+    /** ISO 8601 timestamp at which the test command started. */
+    ranAt: string;
+    /** Wall-clock duration of the full test run in milliseconds. */
+    durationMs: number;
+}
+/**
+ * Evidence that a lint / static-analysis tool was run.
+ *
+ * The `phase` field is `'implement' | 'test'` because lint is commonly run
+ * after a code change (implement) or as part of a test suite (test).
+ */
+export interface LintReportRecord {
+    kind: 'lint-report';
+    /** RCASD lifecycle phase that produced this record. */
+    phase: 'implement' | 'test';
+    /** Identity string of the agent that ran this action. */
+    agentIdentity: string;
+    /** SHA-256 hex digest (64 chars) of the lint-output attachment. */
+    attachmentSha256: string;
+    /** Name of the lint tool that was invoked (e.g. `"biome"`, `"tsc"`). */
+    tool: string;
+    /** `true` when the lint run produced zero errors. */
+    passed: boolean;
+    /** Number of warnings emitted (may be > 0 even when `passed` is `true`). */
+    warnings: number;
+    /** Number of errors emitted. Non-zero means `passed` is `false`. */
+    errors: number;
+    /** ISO 8601 timestamp at which the lint tool was invoked. */
+    ranAt: string;
+    /** Wall-clock duration of the lint run in milliseconds. */
+    durationMs: number;
+}
+/**
+ * Evidence that an agent ran an arbitrary CLI command and recorded its exit code.
+ *
+ * Use this as the catch-all when none of the other variants fit.
+ */
+export interface CommandOutputRecord {
+    kind: 'command-output';
+    /** RCASD lifecycle phase that produced this record. */
+    phase: 'implement' | 'validate' | 'test';
+    /** Identity string of the agent that ran this action. */
+    agentIdentity: string;
+    /** SHA-256 hex digest (64 chars) of the command-output attachment. */
+    attachmentSha256: string;
+    /** The CLI command that was executed. */
+    cmd: string;
+    /** Exit code returned by the command. */
+    exitCode: number;
+    /** ISO 8601 timestamp at which the command was invoked. */
+    ranAt: string;
+    /** Wall-clock duration of the command in milliseconds. */
+    durationMs: number;
+}
+/**
+ * A typed evidence record produced by an IVTR-phase agent.
+ *
+ * The `kind` discriminant selects the variant. All variants carry
+ * `agentIdentity`, `attachmentSha256`, `ranAt`, and `durationMs` for
+ * uniform provenance tracking.
+ *
+ * @example
+ * ```ts
+ * const rec: EvidenceRecord = {
+ *   kind: 'test-output',
+ *   phase: 'test',
+ *   agentIdentity: 'T816-worker',
+ *   attachmentSha256: 'a'.repeat(64),
+ *   command: 'pnpm --filter @cleocode/contracts run test',
+ *   exitCode: 0,
+ *   testsPassed: 10,
+ *   testsFailed: 0,
+ *   ranAt: '2026-04-16T00:00:00.000Z',
+ *   durationMs: 1234,
+ * };
+ * ```
+ */
+export type EvidenceRecord = ImplDiffRecord | ValidateSpecCheckRecord | TestOutputRecord | LintReportRecord | CommandOutputRecord;
+/** All valid `kind` discriminants for {@link EvidenceRecord}. */
+export type EvidenceRecordKind = EvidenceRecord['kind'];
+//# sourceMappingURL=evidence-record.d.ts.map

package/dist/evidence-record.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-record.d.ts","sourceRoot":"","sources":["../src/evidence-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,WAAW,CAAC;IAClB,uDAAuD;IACvD,KAAK,EAAE,WAAW,CAAC;IACnB,gFAAgF;IAChF,aAAa,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,gBAAgB,EAAE,MAAM,CAAC;IACzB,qDAAqD;IACrD,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,gDAAgD;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,kDAAkD;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,uDAAuD;IACvD,KAAK,EAAE,UAAU,CAAC;IAClB,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,gBAAgB,EAAE,MAAM,CAAC;IACzB,mEAAmE;IACnE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,qEAAqE;IACrE,MAAM,EAAE,OAAO,CAAC;IAChB,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,uDAAuD;IACvD,KAAK,EAAE,MAAM,CAAC;IACd,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,gBAAgB,EAAE,MAAM,CAAC;IACzB,qGAAqG;IACrG,OAAO,EAAE,MAAM,CAAC;IAChB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,4DAA4D;IAC5D,KAAK,EAAE,MAAM,CAAC;IACd,gEAAgE;IAChE,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,aAAa,CAAC;IACpB,uDAAuD;IACvD,KAAK,EAAE,WAAW,GAAG,MAAM,CAAC;IAC5B,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,mEAAmE;IACnE,gBAAgB,EAAE,MAAM,CAAC;IACzB,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAC;IACb,qDAAqD;IACrD,MAAM,EAAE,OAAO,CAAC;IAChB,4EAA4E;IAC5E,QAAQ,EAAE,MAAM,CAAC;IACjB,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;IACf,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd,2DAA2D;IAC3D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,gBAAgB,CAAC;IACvB,uDAAuD;IACvD,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,MAAM,CAAC;IACzC,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,sEAAsE;IACtE,gBAAgB,EAAE,MAAM,CAAC;IACzB,yCAAyC;IACzC,GAAG,EAAE,MAAM,CAAC;IACZ,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,UAAU,EAAE,MAAM,CAAC;CACpB;AAID;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,cAAc,GACtB,cAAc,GACd,uBAAuB,GACvB,gBAAgB,GAChB,gBAAgB,GAChB,mBAAmB,CAAC;AAExB,iEAAiE;AACjE,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC"}