synorch 0.2.0 → 0.4.0-beta.0

package/dist/harness/contracts/evidence.d.ts

@@ -0,0 +1,286 @@
+import { z } from "zod";
+import { PROCESS_TERMINATIONS, type ToolResult } from "./tools.ts";
+/**
+ * Harness-computed evidence (ADR-18). The harness computes the truth (verification command
+ * results, the diff, which tool calls ran), the model supplies the narrative and pointers. Pointers
+ * are resolved tolerantly and every resolution is recorded with the method that matched.
+ */
+/**
+ * Short tool ref. Every tool result shown to a model starts with `[#n] `, where `n` is the call's
+ * ordinal among the tool calls of its attempt (of its session when there is no attempt), from 1, in
+ * `tool/call_proposed` order. The gateway assigns it and records it in `tool/call_proposed.ref`;
+ * `#n` maps back to exactly one `ToolCallId`. Models cite `#n` as evidence.
+ */
+export declare const toolRefOrdinalSchema: z.ZodInt;
+export declare function formatToolRef(ordinal: number): string;
+/** The ordinal of a leading `#n` / `[#n]` token (prose may follow it), or undefined. */
+export declare function parseToolRef(text: string): number | undefined;
+/**
+ * The model-visible text of a tool result: `[#n] ` (when a ref exists), then the tool's text, then
+ * `Error [<code>]: <message>` on its own line for an error. An empty successful result reads `ok`.
+ * This is the one rendering; adapters send it verbatim.
+ */
+export declare function renderToolResultText(ref: number | undefined, result: Pick<ToolResult, "text" | "error">): string;
+/**
+ * How a model-written evidence pointer was matched, in resolver order for `tool-call`, `test-run`
+ * and `file` pointers: exact harness `ToolCallId`, `#n` short ref, provider call id, tool name plus
+ * argument overlap (a leading `functions.` / `mcp__synorch__` prefix is ignored), then the first
+ * path-like token. `artifact-digest` and `event-ref` match their own syntaxes; `harness-record`
+ * resolves `harness-*` pointers; `harness-substitute` marks a criterion evidenced by harness facts
+ * after the model's pointers stayed unresolved through the correction round.
+ */
+export declare const EVIDENCE_RESOLUTION_METHODS: readonly ["tool-call-id", "short-ref", "provider-call-id", "tool-name-args", "path-token", "artifact-digest", "event-ref", "harness-record", "harness-substitute"];
+export type EvidenceResolutionMethod = (typeof EVIDENCE_RESOLUTION_METHODS)[number];
+/** The tolerant order for tool-call, test-run and file pointers; the first match wins. */
+export declare const TOOL_EVIDENCE_RESOLUTION_ORDER: readonly ["tool-call-id", "short-ref", "provider-call-id", "tool-name-args", "path-token"];
+/** One pointer's resolution, recorded in the completion or review packet. */
+export declare const evidenceResolutionSchema: z.ZodObject<{
+    criterion_id: z.ZodOptional<z.ZodString>;
+    kind: z.ZodEnum<{
+        file: "file";
+        artifact: "artifact";
+        event: "event";
+        "harness-verification": "harness-verification";
+        "harness-diff": "harness-diff";
+        "tool-call": "tool-call";
+        "test-run": "test-run";
+        review: "review";
+    }>;
+    ref: z.ZodString;
+    produced_by: z.ZodEnum<{
+        orchestrator: "orchestrator";
+        reviewer: "reviewer";
+        user: "user";
+        worker: "worker";
+        harness: "harness";
+    }>;
+    status: z.ZodEnum<{
+        resolved: "resolved";
+        unresolved: "unresolved";
+    }>;
+    method: z.ZodOptional<z.ZodEnum<{
+        "tool-call-id": "tool-call-id";
+        "short-ref": "short-ref";
+        "provider-call-id": "provider-call-id";
+        "tool-name-args": "tool-name-args";
+        "path-token": "path-token";
+        "artifact-digest": "artifact-digest";
+        "event-ref": "event-ref";
+        "harness-record": "harness-record";
+        "harness-substitute": "harness-substitute";
+    }>>;
+    tool_call_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "ToolCallId", "out">>;
+    path: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type EvidenceResolution = z.infer<typeof evidenceResolutionSchema>;
+/**
+ * Outcome of one harness-run verification command. `passed`: it ran and exited 0; `failed`: it ran
+ * (or was started) and did not exit 0; `not-run`: the harness could not run it (not expressible as
+ * argv, refused by policy, no sandbox) and `reason` says why.
+ */
+export declare const HARNESS_VERIFICATION_STATUSES: readonly ["passed", "failed", "not-run"];
+export type HarnessVerificationStatus = (typeof HARNESS_VERIFICATION_STATUSES)[number];
+interface VerificationShape {
+    readonly status: HarnessVerificationStatus;
+    readonly termination?: (typeof PROCESS_TERMINATIONS)[number] | undefined;
+    readonly exit_code: number | null;
+    readonly reason?: string | undefined;
+}
+/** Shared by `harnessVerificationSchema` and the `attempt/verification_ran` event. */
+export declare function checkVerificationOutcome(outcome: VerificationShape, context: z.RefinementCtx): void;
+/**
+ * What kind of check a verification command is, classified by the harness when it runs it:
+ * `build-test` (the vetted build/test allowlist, installs excluded), `read-only` (git
+ * status/diff/log/show, listing, viewing, search: always passes, proves nothing about behaviour)
+ * or `other`. Absent on records written before the classification existed (treated as `other`).
+ */
+export declare const VERIFICATION_COMMAND_CLASSES: readonly ["build-test", "read-only", "other"];
+export type VerificationCommandClass = (typeof VERIFICATION_COMMAND_CLASSES)[number];
+/**
+ * A harness verification result as the completion packet carries it. `evidence` is its pointer:
+ * kind `harness-verification`, produced by `harness`, `ref` = `<session_id>#<seq>` of the
+ * `attempt/verification_ran` event, `digest` = the output blob digest when output was stored.
+ */
+export declare const harnessVerificationSchema: z.ZodObject<{
+    ordinal: z.ZodInt;
+    command: z.ZodString;
+    command_class: z.ZodOptional<z.ZodEnum<{
+        other: "other";
+        "build-test": "build-test";
+        "read-only": "read-only";
+    }>>;
+    status: z.ZodEnum<{
+        failed: "failed";
+        passed: "passed";
+        "not-run": "not-run";
+    }>;
+    termination: z.ZodOptional<z.ZodEnum<{
+        cancelled: "cancelled";
+        timeout: "timeout";
+        exited: "exited";
+        "spawn-failed": "spawn-failed";
+    }>>;
+    exit_code: z.ZodNullable<z.ZodInt>;
+    reason: z.ZodOptional<z.ZodString>;
+    evidence: z.ZodObject<{
+        kind: z.ZodEnum<{
+            file: "file";
+            artifact: "artifact";
+            event: "event";
+            "harness-verification": "harness-verification";
+            "harness-diff": "harness-diff";
+            "tool-call": "tool-call";
+            "test-run": "test-run";
+            review: "review";
+        }>;
+        ref: z.ZodString;
+        digest: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "Digest", "out">>;
+        produced_by: z.ZodEnum<{
+            orchestrator: "orchestrator";
+            reviewer: "reviewer";
+            user: "user";
+            worker: "worker";
+            harness: "harness";
+        }>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type HarnessVerification = z.infer<typeof harnessVerificationSchema>;
+/** Whether a criterion statement names the verification command exactly (whitespace-insensitive). */
+export declare function criterionNamesCommand(statement: string, command: string): boolean;
+/**
+ * Whether a harness verification run proves a criterion (review R1/R2): it passed, it is not a
+ * read-only command, and it is either a build/test-class command or one the criterion statement
+ * names exactly. Without `statement`, only build/test-class runs qualify for every criterion.
+ */
+export declare function verificationProves(record: Pick<HarnessVerification, "status" | "command" | "command_class">, statement?: string): boolean;
+/**
+ * Everything the harness proved about an attempt without asking the model: the verification
+ * commands it ran after the worker's turn, and the pinned diff (`harness-diff`, `ref` = artifact
+ * digest, `changed_paths` = the real diff).
+ */
+export declare const harnessEvidenceSchema: z.ZodObject<{
+    verification: z.ZodArray<z.ZodObject<{
+        ordinal: z.ZodInt;
+        command: z.ZodString;
+        command_class: z.ZodOptional<z.ZodEnum<{
+            other: "other";
+            "build-test": "build-test";
+            "read-only": "read-only";
+        }>>;
+        status: z.ZodEnum<{
+            failed: "failed";
+            passed: "passed";
+            "not-run": "not-run";
+        }>;
+        termination: z.ZodOptional<z.ZodEnum<{
+            cancelled: "cancelled";
+            timeout: "timeout";
+            exited: "exited";
+            "spawn-failed": "spawn-failed";
+        }>>;
+        exit_code: z.ZodNullable<z.ZodInt>;
+        reason: z.ZodOptional<z.ZodString>;
+        evidence: z.ZodObject<{
+            kind: z.ZodEnum<{
+                file: "file";
+                artifact: "artifact";
+                event: "event";
+                "harness-verification": "harness-verification";
+                "harness-diff": "harness-diff";
+                "tool-call": "tool-call";
+                "test-run": "test-run";
+                review: "review";
+            }>;
+            ref: z.ZodString;
+            digest: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "Digest", "out">>;
+            produced_by: z.ZodEnum<{
+                orchestrator: "orchestrator";
+                reviewer: "reviewer";
+                user: "user";
+                worker: "worker";
+                harness: "harness";
+            }>;
+        }, z.core.$strict>;
+    }, z.core.$strict>>;
+    diff: z.ZodOptional<z.ZodObject<{
+        evidence: z.ZodObject<{
+            kind: z.ZodEnum<{
+                file: "file";
+                artifact: "artifact";
+                event: "event";
+                "harness-verification": "harness-verification";
+                "harness-diff": "harness-diff";
+                "tool-call": "tool-call";
+                "test-run": "test-run";
+                review: "review";
+            }>;
+            ref: z.ZodString;
+            digest: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "Digest", "out">>;
+            produced_by: z.ZodEnum<{
+                orchestrator: "orchestrator";
+                reviewer: "reviewer";
+                user: "user";
+                worker: "worker";
+                harness: "harness";
+            }>;
+        }, z.core.$strict>;
+        changed_paths: z.ZodArray<z.ZodPipe<z.ZodString, z.ZodTransform<string, string>>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type HarnessEvidence = z.infer<typeof harnessEvidenceSchema>;
+/**
+ * In-session repair rounds (ADR-18 D2) recorded as `attempt/repair_requested`. `evidence-repair`:
+ * the work stands but pointers stayed unresolved; `verification-repair`: a harness-run verification
+ * command failed. Both resume the *same* attempt session and keep its workspace; both consume the
+ * `evidence_repairs` budget. The one in-tool report correction is not a repair round.
+ */
+export declare const REPAIR_KINDS: readonly ["evidence-repair", "verification-repair"];
+export type RepairKind = (typeof REPAIR_KINDS)[number];
+/** A report tool rejected for unresolved evidence may be corrected this many times in the same session. */
+export declare const REPORT_CORRECTION_ROUNDS: 1;
+/** Repair accounting a completion or review packet carries. */
+export declare const repairCountsSchema: z.ZodObject<{
+    report_corrections: z.ZodInt;
+    evidence_repairs: z.ZodInt;
+    verification_repairs: z.ZodInt;
+}, z.core.$strict>;
+export type RepairCounts = z.infer<typeof repairCountsSchema>;
+/**
+ * Separate budgets per task (ADR-18 D2): fresh attempts after triage (`triage_retries`), in-session
+ * repairs (`evidence_repairs`, shared by evidence and verification repairs) and implementer
+ * revisions after a review (`review_revisions`). An exhausted budget consults the orchestrator
+ * (`task_triage`); it never fails the task on its own.
+ */
+export declare const orchestrationBudgetsSchema: z.ZodObject<{
+    triage_retries: z.ZodDefault<z.ZodInt>;
+    evidence_repairs: z.ZodDefault<z.ZodInt>;
+    review_revisions: z.ZodDefault<z.ZodInt>;
+}, z.core.$strict>;
+export type OrchestrationBudgets = z.infer<typeof orchestrationBudgetsSchema>;
+export declare const DEFAULT_ORCHESTRATION_BUDGETS: OrchestrationBudgets;
+/**
+ * A valid pointer the correction message offers the model: `#n`, the tool, a short summary of its
+ * arguments and outcome (e.g. `#5 exec node check.mjs -> exit 0`).
+ */
+export interface EvidenceCandidate {
+    readonly ref: number;
+    readonly toolName: string;
+    readonly summary: string;
+}
+/** Line-level problem of a rejected report, rendered into the `invalid_arguments` result. */
+export interface EvidenceProblem {
+    readonly criterionId: string | undefined;
+    readonly ref: string;
+    readonly reason: string;
+}
+/**
+ * The actionable correction text of a report tool rejected for evidence (ADR-18 D1): one line per
+ * problem, then the valid refs. It goes into the tool result `text` (bounded to 16 KiB); the error
+ * message stays a one-line summary.
+ */
+export declare function formatEvidenceCorrection(problems: readonly EvidenceProblem[], candidates: readonly EvidenceCandidate[], roundsLeft: number): string;
+/** Bounded, non-empty problem list of a repair request. */
+export declare const repairProblemsSchema: z.ZodArray<z.ZodString>;
+export {};
+//# sourceMappingURL=evidence.d.ts.map

package/dist/harness/contracts/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EAAE,oBAAoB,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAEnE;;;;GAIG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,UAA8B,CAAC;AAEhE,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAErD;AAID,wFAAwF;AACxF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAG7D;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,GAAG,MAAM,CAIhH;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,2BAA2B,oKAU9B,CAAC;AACX,MAAM,MAAM,wBAAwB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpF,0FAA0F;AAC1F,eAAO,MAAM,8BAA8B,4FAA2I,CAAC;AAEvL,6EAA6E;AAC7E,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAyBjC,CAAC;AACL,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAE1E;;;;GAIG;AACH,eAAO,MAAM,6BAA6B,0CAA2C,CAAC;AACtF,MAAM,MAAM,yBAAyB,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvF,UAAU,iBAAiB;IACzB,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IACzE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAED,sFAAsF;AACtF,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,iBAAiB,EAAE,OAAO,EAAE,CAAC,CAAC,aAAa,GAAG,IAAI,CAWnG;AAED;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,+CAAgD,CAAC;AAC1F,MAAM,MAAM,wBAAwB,GAAG,CAAC,OAAO,4BAA4B,CAAC,CAAC,MAAM,CAAC,CAAC;AAErF;;;;GAIG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAiBlC,CAAC;AACL,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAS5E,qGAAqG;AACrG,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAEjF;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,mBAAmB,EAAE,QAAQ,GAAG,SAAS,GAAG,eAAe,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAIzI;AAED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAmB9B,CAAC;AACL,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,YAAY,qDAAsD,CAAC;AAChF,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,2GAA2G;AAC3G,eAAO,MAAM,wBAAwB,EAAG,CAAU,CAAC;AAEnD,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB;;;;kBAS7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B;;;;kBAIrC,CAAC;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,eAAO,MAAM,6BAA6B,EAAE,oBAA2D,CAAC;AAExG;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,6FAA6F;AAC7F,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,EAAE,UAAU,EAAE,SAAS,iBAAiB,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAWnJ;AAED,2DAA2D;AAC3D,eAAO,MAAM,oBAAoB,yBAAuD,CAAC"}

package/dist/harness/contracts/evidence.js

@@ -0,0 +1,234 @@
+import { z } from "zod";
+import { EVIDENCE_KINDS, EVIDENCE_PRODUCERS, evidenceRefSchema, nonEmptyTextSchema } from "./common.js";
+import { acceptanceCriterionIdSchema, toolCallIdSchema } from "./ids.js";
+import { pathPatternSchema } from "./paths.js";
+import { PROCESS_TERMINATIONS } from "./tools.js";
+/**
+ * Harness-computed evidence (ADR-18). The harness computes the truth (verification command
+ * results, the diff, which tool calls ran), the model supplies the narrative and pointers. Pointers
+ * are resolved tolerantly and every resolution is recorded with the method that matched.
+ */
+/**
+ * Short tool ref. Every tool result shown to a model starts with `[#n] `, where `n` is the call's
+ * ordinal among the tool calls of its attempt (of its session when there is no attempt), from 1, in
+ * `tool/call_proposed` order. The gateway assigns it and records it in `tool/call_proposed.ref`;
+ * `#n` maps back to exactly one `ToolCallId`. Models cite `#n` as evidence.
+ */
+export const toolRefOrdinalSchema = z.int().min(1).max(999_999);
+export function formatToolRef(ordinal) {
+    return `#${ordinal}`;
+}
+const SHORT_REF = /^\s*`?\[?#([1-9]\d{0,5})\]?`?(?![0-9A-Za-z_])/;
+/** The ordinal of a leading `#n` / `[#n]` token (prose may follow it), or undefined. */
+export function parseToolRef(text) {
+    const match = SHORT_REF.exec(text);
+    return match === null ? undefined : Number(match[1]);
+}
+/**
+ * The model-visible text of a tool result: `[#n] ` (when a ref exists), then the tool's text, then
+ * `Error [<code>]: <message>` on its own line for an error. An empty successful result reads `ok`.
+ * This is the one rendering; adapters send it verbatim.
+ */
+export function renderToolResultText(ref, result) {
+    const error = result.error === undefined ? undefined : `Error [${result.error.code}]: ${result.error.message}`;
+    const body = error === undefined ? (result.text === "" ? "ok" : result.text) : result.text === "" ? error : `${result.text}\n${error}`;
+    return ref === undefined ? body : `[${formatToolRef(ref)}] ${body}`;
+}
+/**
+ * How a model-written evidence pointer was matched, in resolver order for `tool-call`, `test-run`
+ * and `file` pointers: exact harness `ToolCallId`, `#n` short ref, provider call id, tool name plus
+ * argument overlap (a leading `functions.` / `mcp__synorch__` prefix is ignored), then the first
+ * path-like token. `artifact-digest` and `event-ref` match their own syntaxes; `harness-record`
+ * resolves `harness-*` pointers; `harness-substitute` marks a criterion evidenced by harness facts
+ * after the model's pointers stayed unresolved through the correction round.
+ */
+export const EVIDENCE_RESOLUTION_METHODS = [
+    "tool-call-id",
+    "short-ref",
+    "provider-call-id",
+    "tool-name-args",
+    "path-token",
+    "artifact-digest",
+    "event-ref",
+    "harness-record",
+    "harness-substitute",
+];
+/** The tolerant order for tool-call, test-run and file pointers; the first match wins. */
+export const TOOL_EVIDENCE_RESOLUTION_ORDER = ["tool-call-id", "short-ref", "provider-call-id", "tool-name-args", "path-token"];
+/** One pointer's resolution, recorded in the completion or review packet. */
+export const evidenceResolutionSchema = z
+    .strictObject({
+    /** Absent for a `commands_run` pointer. */
+    criterion_id: acceptanceCriterionIdSchema.optional(),
+    kind: z.enum(EVIDENCE_KINDS),
+    /** The pointer exactly as the model wrote it (bounded). */
+    ref: z.string().min(1).max(2000),
+    produced_by: z.enum(EVIDENCE_PRODUCERS),
+    status: z.enum(["resolved", "unresolved"]),
+    method: z.enum(EVIDENCE_RESOLUTION_METHODS).optional(),
+    tool_call_id: toolCallIdSchema.optional(),
+    path: pathPatternSchema.optional(),
+    reason: z.string().min(1).max(500).optional(),
+})
+    .superRefine((resolution, context) => {
+    const resolved = resolution.status === "resolved";
+    if (resolved !== (resolution.method !== undefined)) {
+        context.addIssue({ code: "custom", path: ["method"], message: "a method is recorded exactly when the pointer resolved" });
+    }
+    if (resolved === (resolution.reason !== undefined)) {
+        context.addIssue({ code: "custom", path: ["reason"], message: "a reason is recorded exactly when the pointer did not resolve" });
+    }
+    if (!resolved && (resolution.tool_call_id !== undefined || resolution.path !== undefined)) {
+        context.addIssue({ code: "custom", path: ["status"], message: "an unresolved pointer names no target" });
+    }
+});
+/**
+ * Outcome of one harness-run verification command. `passed`: it ran and exited 0; `failed`: it ran
+ * (or was started) and did not exit 0; `not-run`: the harness could not run it (not expressible as
+ * argv, refused by policy, no sandbox) and `reason` says why.
+ */
+export const HARNESS_VERIFICATION_STATUSES = ["passed", "failed", "not-run"];
+/** Shared by `harnessVerificationSchema` and the `attempt/verification_ran` event. */
+export function checkVerificationOutcome(outcome, context) {
+    const passed = outcome.termination === "exited" && outcome.exit_code === 0;
+    if ((outcome.status === "passed") !== passed) {
+        context.addIssue({ code: "custom", path: ["status"], message: "passed means the command exited with code 0" });
+    }
+    if ((outcome.status === "not-run") !== (outcome.termination === undefined)) {
+        context.addIssue({ code: "custom", path: ["termination"], message: "a termination is recorded exactly when the command was started" });
+    }
+    if (outcome.status === "not-run" && (outcome.reason === undefined || outcome.exit_code !== null)) {
+        context.addIssue({ code: "custom", path: ["reason"], message: "a command that was not run has a reason and no exit code" });
+    }
+}
+/**
+ * What kind of check a verification command is, classified by the harness when it runs it:
+ * `build-test` (the vetted build/test allowlist, installs excluded), `read-only` (git
+ * status/diff/log/show, listing, viewing, search: always passes, proves nothing about behaviour)
+ * or `other`. Absent on records written before the classification existed (treated as `other`).
+ */
+export const VERIFICATION_COMMAND_CLASSES = ["build-test", "read-only", "other"];
+/**
+ * A harness verification result as the completion packet carries it. `evidence` is its pointer:
+ * kind `harness-verification`, produced by `harness`, `ref` = `<session_id>#<seq>` of the
+ * `attempt/verification_ran` event, `digest` = the output blob digest when output was stored.
+ */
+export const harnessVerificationSchema = z
+    .strictObject({
+    /** 1-based position of the command in the packet's `verification.commands`. */
+    ordinal: z.int().min(1).max(100),
+    command: z.string().min(1).max(4000),
+    command_class: z.enum(VERIFICATION_COMMAND_CLASSES).optional(),
+    status: z.enum(HARNESS_VERIFICATION_STATUSES),
+    termination: z.enum(PROCESS_TERMINATIONS).optional(),
+    exit_code: z.int().nullable(),
+    reason: z.string().min(1).max(500).optional(),
+    evidence: evidenceRefSchema,
+})
+    .superRefine((record, context) => {
+    checkVerificationOutcome(record, context);
+    if (record.evidence.kind !== "harness-verification") {
+        context.addIssue({ code: "custom", path: ["evidence", "kind"], message: "a verification record points at harness-verification evidence" });
+    }
+});
+function commandPattern(command) {
+    const words = command.trim().split(/\s+/).filter((word) => word !== "");
+    if (words.length === 0 || words.join(" ").length < 2)
+        return undefined;
+    const body = words.map((word) => word.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")).join("\\s+");
+    return new RegExp(`(^|[\\s\`'"(])${body}($|[\\s\`'".,;:)])`);
+}
+/** Whether a criterion statement names the verification command exactly (whitespace-insensitive). */
+export function criterionNamesCommand(statement, command) {
+    return commandPattern(command)?.test(statement) === true;
+}
+/**
+ * Whether a harness verification run proves a criterion (review R1/R2): it passed, it is not a
+ * read-only command, and it is either a build/test-class command or one the criterion statement
+ * names exactly. Without `statement`, only build/test-class runs qualify for every criterion.
+ */
+export function verificationProves(record, statement) {
+    if (record.status !== "passed" || record.command_class === "read-only")
+        return false;
+    if (record.command_class === "build-test")
+        return true;
+    return statement !== undefined && criterionNamesCommand(statement, record.command);
+}
+/**
+ * Everything the harness proved about an attempt without asking the model: the verification
+ * commands it ran after the worker's turn, and the pinned diff (`harness-diff`, `ref` = artifact
+ * digest, `changed_paths` = the real diff).
+ */
+export const harnessEvidenceSchema = z
+    .strictObject({
+    verification: z.array(harnessVerificationSchema).max(100),
+    diff: z
+        .strictObject({
+        evidence: evidenceRefSchema,
+        changed_paths: z.array(pathPatternSchema),
+    })
+        .optional(),
+})
+    .superRefine((harness, context) => {
+    if (harness.diff !== undefined && harness.diff.evidence.kind !== "harness-diff") {
+        context.addIssue({ code: "custom", path: ["diff", "evidence", "kind"], message: "the diff record points at harness-diff evidence" });
+    }
+    const ordinals = new Set();
+    for (const [index, record] of harness.verification.entries()) {
+        if (ordinals.has(record.ordinal))
+            context.addIssue({ code: "custom", path: ["verification", index, "ordinal"], message: "duplicate verification ordinal" });
+        ordinals.add(record.ordinal);
+    }
+});
+/**
+ * In-session repair rounds (ADR-18 D2) recorded as `attempt/repair_requested`. `evidence-repair`:
+ * the work stands but pointers stayed unresolved; `verification-repair`: a harness-run verification
+ * command failed. Both resume the *same* attempt session and keep its workspace; both consume the
+ * `evidence_repairs` budget. The one in-tool report correction is not a repair round.
+ */
+export const REPAIR_KINDS = ["evidence-repair", "verification-repair"];
+/** A report tool rejected for unresolved evidence may be corrected this many times in the same session. */
+export const REPORT_CORRECTION_ROUNDS = 1;
+/** Repair accounting a completion or review packet carries. */
+export const repairCountsSchema = z.strictObject({
+    /**
+     * In-tool report corrections used in the attempt's session. Counted per session, not per turn:
+     * the one correction round is spent once for the whole attempt and is not renewed by a later
+     * evidence or verification repair round.
+     */
+    report_corrections: z.int().min(0).max(REPORT_CORRECTION_ROUNDS),
+    evidence_repairs: z.int().min(0).max(10),
+    verification_repairs: z.int().min(0).max(10),
+});
+/**
+ * Separate budgets per task (ADR-18 D2): fresh attempts after triage (`triage_retries`), in-session
+ * repairs (`evidence_repairs`, shared by evidence and verification repairs) and implementer
+ * revisions after a review (`review_revisions`). An exhausted budget consults the orchestrator
+ * (`task_triage`); it never fails the task on its own.
+ */
+export const orchestrationBudgetsSchema = z.strictObject({
+    triage_retries: z.int().min(0).max(5).default(1),
+    evidence_repairs: z.int().min(0).max(5).default(2),
+    review_revisions: z.int().min(0).max(5).default(2),
+});
+export const DEFAULT_ORCHESTRATION_BUDGETS = orchestrationBudgetsSchema.parse({});
+/**
+ * The actionable correction text of a report tool rejected for evidence (ADR-18 D1): one line per
+ * problem, then the valid refs. It goes into the tool result `text` (bounded to 16 KiB); the error
+ * message stays a one-line summary.
+ */
+export function formatEvidenceCorrection(problems, candidates, roundsLeft) {
+    const lines = problems.map((problem) => `- ${problem.criterionId ?? "commands_run"}: '${problem.ref}' ${problem.reason}`);
+    const valid = candidates.map((candidate) => `  ${formatToolRef(candidate.ref)} ${candidate.toolName} ${candidate.summary}`);
+    const text = [
+        "Evidence pointers that do not resolve:",
+        ...lines,
+        valid.length === 0 ? "No tool call of this attempt can serve as evidence yet." : "Valid refs (cite as \"#n\"):",
+        ...valid,
+        roundsLeft > 0 ? `Call the report tool again with corrected refs (${roundsLeft} correction left).` : "No correction left; the harness records the report as it is.",
+    ].join("\n");
+    return text.length <= 16 * 1024 ? text : `${text.slice(0, 16 * 1024 - 20)}\n[truncated]`;
+}
+/** Bounded, non-empty problem list of a repair request. */
+export const repairProblemsSchema = z.array(nonEmptyTextSchema.max(2000)).min(1).max(50);
+//# sourceMappingURL=evidence.js.map

package/dist/harness/contracts/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/harness/contracts/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACxG,OAAO,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,oBAAoB,EAAmB,MAAM,YAAY,CAAC;AAEnE;;;;GAIG;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAEhE,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,OAAO,IAAI,OAAO,EAAE,CAAC;AACvB,CAAC;AAED,MAAM,SAAS,GAAG,+CAA+C,CAAC;AAElE,wFAAwF;AACxF,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAuB,EAAE,MAA0C;IACtG,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;IAC/G,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;IACvI,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,cAAc;IACd,WAAW;IACX,kBAAkB;IAClB,gBAAgB;IAChB,YAAY;IACZ,iBAAiB;IACjB,WAAW;IACX,gBAAgB;IAChB,oBAAoB;CACZ,CAAC;AAGX,0FAA0F;AAC1F,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,cAAc,EAAE,WAAW,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,YAAY,CAAwD,CAAC;AAEvL,6EAA6E;AAC7E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,YAAY,CAAC;IACZ,2CAA2C;IAC3C,YAAY,EAAE,2BAA2B,CAAC,QAAQ,EAAE;IACpD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;IAC5B,2DAA2D;IAC3D,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IAChC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC;IACvC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC1C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,QAAQ,EAAE;IACtD,YAAY,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IACzC,IAAI,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,WAAW,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE;IACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,KAAK,UAAU,CAAC;IAClD,IAAI,QAAQ,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;IAC5H,CAAC;IACD,IAAI,QAAQ,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,+DAA+D,EAAE,CAAC,CAAC;IACnI,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,YAAY,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1F,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAAC;IAC3G,CAAC;AACH,CAAC,CAAC,CAAC;AAGL;;;;GAIG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAUtF,sFAAsF;AACtF,MAAM,UAAU,wBAAwB,CAAC,OAA0B,EAAE,OAAwB;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,KAAK,QAAQ,IAAI,OAAO,CAAC,SAAS,KAAK,CAAC,CAAC;IAC3E,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,MAAM,EAAE,CAAC;QAC7C,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,gEAAgE,EAAE,CAAC,CAAC;IACzI,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,CAAC,EAAE,CAAC;QACjG,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,0DAA0D,EAAE,CAAC,CAAC;IAC9H,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,YAAY,EAAE,WAAW,EAAE,OAAO,CAAU,CAAC;AAG1F;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,YAAY,CAAC;IACZ,+EAA+E;IAC/E,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IACpC,aAAa,EAAE,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC,QAAQ,EAAE;IAC9D,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,6BAA6B,CAAC;IAC7C,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,QAAQ,EAAE;IACpD,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IAC7C,QAAQ,EAAE,iBAAiB;CAC5B,CAAC;KACD,WAAW,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;IAC/B,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QACpD,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,+DAA+D,EAAE,CAAC,CAAC;IAC7I,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3F,OAAO,IAAI,MAAM,CAAC,iBAAiB,IAAI,oBAAoB,CAAC,CAAC;AAC/D,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,qBAAqB,CAAC,SAAiB,EAAE,OAAe;IACtE,OAAO,cAAc,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAyE,EAAE,SAAkB;IAC9H,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IACrF,IAAI,MAAM,CAAC,aAAa,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO,SAAS,KAAK,SAAS,IAAI,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,YAAY,CAAC;IACZ,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACzD,IAAI,EAAE,CAAC;SACJ,YAAY,CAAC;QACZ,QAAQ,EAAE,iBAAiB;QAC3B,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;KAC1C,CAAC;SACD,QAAQ,EAAE;CACd,CAAC;KACD,WAAW,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE;IAChC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAChF,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,iDAAiD,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7D,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,cAAc,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,CAAC;QAC5J,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC,CAAC,CAAC;AAGL;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,iBAAiB,EAAE,qBAAqB,CAAU,CAAC;AAGhF,2GAA2G;AAC3G,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAU,CAAC;AAEnD,+DAA+D;AAC/D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/C;;;;OAIG;IACH,kBAAkB,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,wBAAwB,CAAC;IAChE,gBAAgB,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxC,oBAAoB,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;CAC7C,CAAC,CAAC;AAGH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,YAAY,CAAC;IACvD,cAAc,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,gBAAgB,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAClD,gBAAgB,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;CACnD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAyB,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAmBxG;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,QAAoC,EAAE,UAAwC,EAAE,UAAkB;IACzI,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,CAAC,WAAW,IAAI,cAAc,MAAM,OAAO,CAAC,GAAG,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1H,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,aAAa,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5H,MAAM,IAAI,GAAG;QACX,wCAAwC;QACxC,GAAG,KAAK;QACR,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,yDAAyD,CAAC,CAAC,CAAC,8BAA8B;QAC/G,GAAG,KAAK;QACR,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,mDAAmD,UAAU,oBAAoB,CAAC,CAAC,CAAC,8DAA8D;KACpK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC,eAAe,CAAC;AAC3F,CAAC;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC"}

package/dist/harness/contracts/ids.d.ts

@@ -0,0 +1,77 @@
+import { z } from "zod";
+export declare const ID_PREFIXES: {
+    readonly run: "run";
+    readonly plan: "plan";
+    readonly task: "task";
+    readonly attempt: "att";
+    readonly session: "ses";
+    readonly turn: "turn";
+    readonly step: "step";
+    readonly request: "req";
+    readonly toolCall: "call";
+    readonly approval: "apr";
+    readonly event: "evt";
+    readonly proposal: "prop";
+};
+export type IdKind = keyof typeof ID_PREFIXES;
+export declare const runIdSchema: z.core.$ZodBranded<z.ZodString, "RunId", "out">;
+export declare const planIdSchema: z.core.$ZodBranded<z.ZodString, "PlanId", "out">;
+export declare const taskIdSchema: z.core.$ZodBranded<z.ZodString, "TaskId", "out">;
+export declare const attemptIdSchema: z.core.$ZodBranded<z.ZodString, "AttemptId", "out">;
+export declare const sessionIdSchema: z.core.$ZodBranded<z.ZodString, "SessionId", "out">;
+export declare const turnIdSchema: z.core.$ZodBranded<z.ZodString, "TurnId", "out">;
+export declare const stepIdSchema: z.core.$ZodBranded<z.ZodString, "StepId", "out">;
+export declare const requestIdSchema: z.core.$ZodBranded<z.ZodString, "RequestId", "out">;
+export declare const toolCallIdSchema: z.core.$ZodBranded<z.ZodString, "ToolCallId", "out">;
+export declare const approvalIdSchema: z.core.$ZodBranded<z.ZodString, "ApprovalId", "out">;
+export declare const eventIdSchema: z.core.$ZodBranded<z.ZodString, "EventId", "out">;
+export declare const proposalIdSchema: z.core.$ZodBranded<z.ZodString, "ProposalId", "out">;
+export type RunId = z.infer<typeof runIdSchema>;
+export type PlanId = z.infer<typeof planIdSchema>;
+export type TaskId = z.infer<typeof taskIdSchema>;
+export type AttemptId = z.infer<typeof attemptIdSchema>;
+export type SessionId = z.infer<typeof sessionIdSchema>;
+export type TurnId = z.infer<typeof turnIdSchema>;
+export type StepId = z.infer<typeof stepIdSchema>;
+export type RequestId = z.infer<typeof requestIdSchema>;
+export type ToolCallId = z.infer<typeof toolCallIdSchema>;
+export type ApprovalId = z.infer<typeof approvalIdSchema>;
+export type EventId = z.infer<typeof eventIdSchema>;
+export type ProposalId = z.infer<typeof proposalIdSchema>;
+/** A provider is a service or local endpoint (`openai`, `anthropic`), never a model. */
+export declare const providerIdSchema: z.core.$ZodBranded<z.ZodString, "ProviderId", "out">;
+export type ProviderId = z.infer<typeof providerIdSchema>;
+/** The provider's real model id, verbatim; the runtime never rewrites it. */
+export declare const modelIdSchema: z.core.$ZodBranded<z.ZodString, "ModelId", "out">;
+export type ModelId = z.infer<typeof modelIdSchema>;
+/** Stable project identity used for per-user storage roots: `<slug>-<8 hex>`. */
+export declare const projectIdSchema: z.core.$ZodBranded<z.ZodString, "ProjectId", "out">;
+export type ProjectId = z.infer<typeof projectIdSchema>;
+/** Acceptance criteria are addressed as `AC-<n>` inside one packet or plan task. */
+export declare const acceptanceCriterionIdSchema: z.ZodString;
+declare const ID_SCHEMAS: {
+    readonly run: z.core.$ZodBranded<z.ZodString, "RunId", "out">;
+    readonly plan: z.core.$ZodBranded<z.ZodString, "PlanId", "out">;
+    readonly task: z.core.$ZodBranded<z.ZodString, "TaskId", "out">;
+    readonly attempt: z.core.$ZodBranded<z.ZodString, "AttemptId", "out">;
+    readonly session: z.core.$ZodBranded<z.ZodString, "SessionId", "out">;
+    readonly turn: z.core.$ZodBranded<z.ZodString, "TurnId", "out">;
+    readonly step: z.core.$ZodBranded<z.ZodString, "StepId", "out">;
+    readonly request: z.core.$ZodBranded<z.ZodString, "RequestId", "out">;
+    readonly toolCall: z.core.$ZodBranded<z.ZodString, "ToolCallId", "out">;
+    readonly approval: z.core.$ZodBranded<z.ZodString, "ApprovalId", "out">;
+    readonly event: z.core.$ZodBranded<z.ZodString, "EventId", "out">;
+    readonly proposal: z.core.$ZodBranded<z.ZodString, "ProposalId", "out">;
+};
+export type IdOf<K extends IdKind> = z.infer<(typeof ID_SCHEMAS)[K]>;
+/** Encode a 48-bit millisecond timestamp and 80 random bits as a 26-character Crockford ULID. */
+export declare function encodeUlid(timeMs: number, random: Uint8Array): string;
+export declare function createId<K extends IdKind>(kind: K, timeMs?: number, random?: Uint8Array): IdOf<K>;
+/**
+ * `<basename-slug>-<first 8 hex of sha256(root)>`. The root is the resolved workspace root; on
+ * Windows it is lower-cased first because the file system is case-insensitive there, so the same
+ * folder opened as `C:\Repo` and `c:\repo` maps to one project.
+ */
+export declare function deriveProjectId(workspaceRoot: string, platform: NodeJS.Platform): ProjectId;
+export {};
+//# sourceMappingURL=ids.d.ts.map

package/dist/harness/contracts/ids.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/ids.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB,eAAO,MAAM,WAAW;;;;;;;;;;;;;CAad,CAAC;AAEX,MAAM,MAAM,MAAM,GAAG,MAAM,OAAO,WAAW,CAAC;AAU9C,eAAO,MAAM,WAAW,iDAAmC,CAAC;AAC5D,eAAO,MAAM,YAAY,kDAAqC,CAAC;AAC/D,eAAO,MAAM,YAAY,kDAAqC,CAAC;AAC/D,eAAO,MAAM,eAAe,qDAA2C,CAAC;AACxE,eAAO,MAAM,eAAe,qDAA2C,CAAC;AACxE,eAAO,MAAM,YAAY,kDAAqC,CAAC;AAC/D,eAAO,MAAM,YAAY,kDAAqC,CAAC;AAC/D,eAAO,MAAM,eAAe,qDAA2C,CAAC;AACxE,eAAO,MAAM,gBAAgB,sDAA6C,CAAC;AAC3E,eAAO,MAAM,gBAAgB,sDAA6C,CAAC;AAC3E,eAAO,MAAM,aAAa,mDAAuC,CAAC;AAClE,eAAO,MAAM,gBAAgB,sDAA6C,CAAC;AAE3E,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAChD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AACxD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AACxD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AACxD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAC1D,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAC1D,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AACpD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAI1D,wFAAwF;AACxF,eAAO,MAAM,gBAAgB,sDAIL,CAAC;AACzB,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,6EAA6E;AAC7E,eAAO,MAAM,aAAa,mDAKL,CAAC;AACtB,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD,iFAAiF;AACjF,eAAO,MAAM,eAAe,qDAIL,CAAC;AACxB,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,oFAAoF;AACpF,eAAO,MAAM,2BAA2B,aAAsD,CAAC;AAE/F,QAAA,MAAM,UAAU;;;;;;;;;;;;;CAaN,CAAC;AAEX,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAErE,iGAAiG;AACjG,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,MAAM,CAqBrE;AAED,wBAAgB,QAAQ,CAAC,CAAC,SAAS,MAAM,EACvC,IAAI,EAAE,CAAC,EACP,MAAM,GAAE,MAAmB,EAC3B,MAAM,GAAE,UAA4B,GACnC,IAAI,CAAC,CAAC,CAAC,CAET;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,GAAG,SAAS,CAc3F"}