synorch 0.2.0 → 0.4.0-beta.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"choice.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/choice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;GAKG;AAEH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oCAAoC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iEAAiE;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,yGAAyG;IACzG,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,gHAAgH;IAChH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;IACnC,qCAAqC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,oGAAoG;IACpG,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,gFAAgF;IAChF,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,uEAAuE;IACvE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,uFAAuF;IACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;CACzC;AAED,sFAAsF;AACtF,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACtG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,eAAO,MAAM,WAAW,gBAAW,CAAC;AAEpC,0CAA0C;AAC1C,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,CAMnE;AAED,+EAA+E;AAC/E,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAE7D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,EAAE,CAWtE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAelG;AAKD,eAAO,MAAM,mBAAmB;;;;;kBAK9B,CAAC;AAEH,eAAO,MAAM,qBAAqB;;;;;;;;;;kBAc9B,CAAC;AAEL,eAAO,MAAM,kBAAkB;;;;;;;;;;;;kBAO3B,CAAC;AACL,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAC9D,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC;CACxE;AAED,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,eAAe,GAAG,cAAc,CAe/E;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,MAAM,EAAE,GAAG,MAAM,CAEnF;AAED,oFAAoF;AACpF,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,MAAM,EAAE,YAAY,GAAG,SAAS,GAAG,MAAM,CAG9I;AAED,eAAO,MAAM,yBAAyB,iKAAiK,CAAC"}

package/dist/harness/contracts/choice.js

@@ -0,0 +1,115 @@
+import { z } from "zod";
+export const OTHER_LABEL = "Other…";
+/** The row the modal highlights first. */
+export function initialChoiceIndex(question) {
+    if (question.initialIndex !== undefined && question.initialIndex >= 0 && question.initialIndex < question.options.length)
+        return question.initialIndex;
+    const recommended = question.options.findIndex((option) => option.recommended === true && option.disabled === undefined);
+    if (recommended >= 0)
+        return recommended;
+    const enabled = question.options.findIndex((option) => option.disabled === undefined);
+    return Math.max(0, enabled);
+}
+/** The answer's text: the chosen labels joined with ", ", or the free text. */
+export function choiceAnswerText(answer) {
+    return answer.kind === "other" ? answer.text : answer.labels.join(", ");
+}
+/**
+ * Plain-mode lines for a question: the chip and question, one numbered row per option (with its
+ * description and the recommended tag), "Other" and how to answer.
+ */
+export function choiceQuestionLines(question) {
+    const lines = [`? ${question.header === undefined ? "" : `[${question.header}] `}${question.question}`];
+    question.options.forEach((option, index) => {
+        const tags = [option.recommended === true ? "recommended" : undefined, option.disabled].filter((tag) => tag !== undefined);
+        lines.push(`  ${index + 1}. ${option.label}${tags.length === 0 ? "" : ` (${tags.join(", ")})`}${option.description === undefined || option.description === "" ? "" : ` - ${option.description}`}`);
+    });
+    const other = question.allowOther !== false;
+    if (other)
+        lines.push(`  ${question.options.length + 1}. Other (type your own answer)`);
+    const how = question.multiSelect === true ? "type numbers separated by commas" : "type a number";
+    lines.push(`  ${how}${other ? " or your own answer" : ""} and press Enter`);
+    return lines;
+}
+/**
+ * Reads a typed plain-mode answer: a number (or comma-separated numbers for multi-select) picks
+ * options, a typed label picks that option, anything else is free text (when "Other" is allowed).
+ * Undefined when nothing usable was typed (empty, or text a closed question cannot take).
+ */
+export function parseTypedChoice(question, typed) {
+    const text = typed.trim();
+    if (text === "")
+        return undefined;
+    const selectable = (index) => question.options[index] !== undefined && question.options[index]?.disabled === undefined;
+    const numbers = /^\d+(\s*[,\s]\s*\d+)*$/.test(text) ? text.split(/[\s,]+/).map((part) => Number(part) - 1) : undefined;
+    if (numbers !== undefined) {
+        const picked = [...new Set(numbers)].filter(selectable);
+        const limited = question.multiSelect === true ? picked : picked.slice(0, 1);
+        if (limited.length > 0 && (question.multiSelect === true || numbers.length === 1)) {
+            return { kind: "selected", indices: limited, labels: limited.map((index) => question.options[index]?.label ?? "") };
+        }
+    }
+    const byLabel = question.options.findIndex((option) => option.label.toLowerCase() === text.toLowerCase());
+    if (byLabel >= 0 && selectable(byLabel))
+        return { kind: "selected", indices: [byLabel], labels: [question.options[byLabel]?.label ?? ""] };
+    return question.allowOther === false ? undefined : { kind: "other", text };
+}
+// ---------------------------------------------------------------------------------------------
+// The agent's `ask_user` tool (Claude Code's AskUserQuestion shape).
+export const askUserOptionSchema = z.strictObject({
+    label: z.string().trim().min(1).max(120),
+    description: z.string().max(500),
+    preview: z.string().max(4000).optional(),
+    recommended: z.boolean().optional(),
+});
+export const askUserQuestionSchema = z
+    .strictObject({
+    question: z.string().trim().min(1).max(2000),
+    /** A short chip, e.g. "Auth method". */
+    header: z.string().trim().min(1).max(30),
+    options: z.array(askUserOptionSchema).min(2).max(4),
+    multiSelect: z.boolean().optional(),
+})
+    .superRefine((question, context) => {
+    if (question.options.filter((option) => option.recommended === true).length > 1) {
+        context.addIssue({ code: "custom", path: ["options"], message: "at most one option may be recommended" });
+    }
+    const labels = question.options.map((option) => option.label.toLowerCase());
+    if (new Set(labels).size !== labels.length)
+        context.addIssue({ code: "custom", path: ["options"], message: "option labels must be unique" });
+});
+export const askUserInputSchema = z
+    .strictObject({
+    questions: z.array(askUserQuestionSchema).min(1).max(4),
+})
+    .superRefine((input, context) => {
+    const texts = input.questions.map((question) => question.question);
+    if (new Set(texts).size !== texts.length)
+        context.addIssue({ code: "custom", path: ["questions"], message: "question texts must be unique" });
+});
+export function askUserChoiceQuestion(question) {
+    return {
+        question: question.question,
+        header: question.header,
+        options: question.options.map((option) => ({
+            label: option.label,
+            ...(option.description === "" ? {} : { description: option.description }),
+            ...(option.preview === undefined ? {} : { preview: option.preview }),
+            ...(option.recommended === true || /\(recommended\)/i.test(option.label) ? { recommended: true } : {}),
+        })),
+        multiSelect: question.multiSelect === true,
+        allowOther: true,
+        escapeLabel: "skip",
+        tone: "attention",
+    };
+}
+export function askUserAnswerValue(answer) {
+    return answer.kind === "other" ? answer.text : [...answer.labels];
+}
+/** The one transcript line an answered question leaves: `? Auth method → OAuth`. */
+export function askUserSummaryLine(question, answer) {
+    const title = question.header ?? question.question;
+    return `? ${title} → ${answer === undefined ? "(skipped)" : choiceAnswerText(answer)}`;
+}
+export const ASK_USER_HEADLESS_MESSAGE = "no user available in this session (headless, JSONL or piped input); decide yourself using the recommended option (or the safest one) and say which you chose";
+//# sourceMappingURL=choice.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"choice.js","sourceRoot":"","sources":["../../../src/harness/contracts/choice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAmDxB,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;AAEpC,0CAA0C;AAC1C,MAAM,UAAU,kBAAkB,CAAC,QAAwB;IACzD,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,YAAY,IAAI,CAAC,IAAI,QAAQ,CAAC,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC,YAAY,CAAC;IACvJ,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACzH,IAAI,WAAW,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC;IACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;AAC9B,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,gBAAgB,CAAC,MAAoB;IACnD,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAwB;IAC1D,MAAM,KAAK,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACzC,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;QAC3H,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,MAAM,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACrM,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,QAAQ,CAAC,UAAU,KAAK,KAAK,CAAC;IAC5C,IAAI,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,gCAAgC,CAAC,CAAC;IACxF,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,eAAe,CAAC;IACjG,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC5E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAwB,EAAE,KAAa;IACtE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,KAAK,SAAS,CAAC;IACxI,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvH,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;YAClF,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACtH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC1G,IAAI,OAAO,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;IAC3I,OAAO,QAAQ,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC7E,CAAC;AAED,gGAAgG;AAChG,qEAAqE;AAErE,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,YAAY,CAAC;IAChD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IACxC,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,YAAY,CAAC;IACZ,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IAC5C,wCAAwC;IACxC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,WAAW,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;IACjC,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChF,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5E,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CAAC;AAC/I,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,YAAY,CAAC;IACZ,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACxD,CAAC;KACD,WAAW,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACnE,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAAC,CAAC;AAChJ,CAAC,CAAC,CAAC;AAYL,MAAM,UAAU,qBAAqB,CAAC,QAAyB;IAC7D,OAAO;QACL,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACzC,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;YACzE,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;YACpE,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,IAAI,IAAI,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvG,CAAC,CAAC;QACH,WAAW,EAAE,QAAQ,CAAC,WAAW,KAAK,IAAI;QAC1C,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,MAAM;QACnB,IAAI,EAAE,WAAW;KAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,OAAO,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,kBAAkB,CAAC,QAAiE,EAAE,MAAgC;IACpI,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC;IACnD,OAAO,KAAK,KAAK,MAAM,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;AACzF,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,8JAA8J,CAAC"}

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

@@ -0,0 +1,119 @@
+import { z } from "zod";
+/** Wire format version shared by events, frames and packets unless a contract says otherwise. */
+export declare const HARNESS_SCHEMA_VERSION: 1;
+/**
+ * `session` is the conversation-first main agent (ADR-21): the one the user talks to in `syn agent`.
+ * It is neither a worker nor read-only; the orchestrator keeps planning and never writes product files.
+ */
+export declare const AGENT_ROLES: readonly ["orchestrator", "explorer", "implementer", "debugger", "reviewer", "session"];
+export declare const WORKER_ROLES: readonly ["explorer", "implementer", "debugger", "reviewer"];
+/** Roles that never own product paths for writing. */
+export declare const READ_ONLY_ROLES: readonly ["explorer", "reviewer"];
+export declare const agentRoleSchema: z.ZodEnum<{
+    orchestrator: "orchestrator";
+    explorer: "explorer";
+    implementer: "implementer";
+    debugger: "debugger";
+    reviewer: "reviewer";
+    session: "session";
+}>;
+export declare const workerRoleSchema: z.ZodEnum<{
+    explorer: "explorer";
+    implementer: "implementer";
+    debugger: "debugger";
+    reviewer: "reviewer";
+}>;
+export type AgentRole = (typeof AGENT_ROLES)[number];
+export type WorkerRole = (typeof WORKER_ROLES)[number];
+/** The canonical manifest tiers minus `any`: the tier a plan task (packet) may name. */
+export declare const taskModelTierSchema: z.ZodEnum<{
+    orchestrator: "orchestrator";
+    complex_worker: "complex_worker";
+    fast_worker: "fast_worker";
+}>;
+export type TaskModelTier = z.infer<typeof taskModelTierSchema>;
+/**
+ * Route tiers: the task tiers plus `session`, the conversation agent's own tier (ADR-21). When no
+ * route maps `session`, the conversation uses the `orchestrator` route; a plan task never names it.
+ */
+export declare const MODEL_TIERS: readonly [...("orchestrator" | "complex_worker" | "fast_worker")[], "session"];
+export declare const modelTierSchema: z.ZodEnum<{
+    orchestrator: "orchestrator";
+    complex_worker: "complex_worker";
+    fast_worker: "fast_worker";
+    session: "session";
+}>;
+export type ModelTier = z.infer<typeof modelTierSchema>;
+export declare const RISK_CLASSES: readonly ["trivial", "standard", "high-risk"];
+export declare const riskClassSchema: z.ZodEnum<{
+    trivial: "trivial";
+    standard: "standard";
+    "high-risk": "high-risk";
+}>;
+export type RiskClass = (typeof RISK_CLASSES)[number];
+export declare const timestampSchema: z.ZodISODateTime;
+export declare const calendarDateSchema: z.ZodISODate;
+export declare const nonEmptyTextSchema: z.ZodString;
+/** `agent` is the conversation agent (role `session`, ADR-21). */
+export declare const ACTOR_KINDS: readonly ["user", "orchestrator", "worker", "system", "policy", "provider", "agent"];
+export declare const actorSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        orchestrator: "orchestrator";
+        provider: "provider";
+        agent: "agent";
+        user: "user";
+        worker: "worker";
+        system: "system";
+        policy: "policy";
+    }>;
+    role: z.ZodOptional<z.ZodEnum<{
+        orchestrator: "orchestrator";
+        explorer: "explorer";
+        implementer: "implementer";
+        debugger: "debugger";
+        reviewer: "reviewer";
+        session: "session";
+    }>>;
+    attempt_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "AttemptId", "out">>;
+}, z.core.$strict>;
+export type Actor = z.infer<typeof actorSchema>;
+export declare const blobRefSchema: z.ZodObject<{
+    digest: z.core.$ZodBranded<z.ZodString, "Digest", "out">;
+    size_bytes: z.ZodInt;
+    media_type: z.ZodString;
+}, z.core.$strict>;
+export type BlobRef = z.infer<typeof blobRefSchema>;
+/**
+ * Evidence kinds. The `harness-*` kinds are facts the harness computed itself (ADR-18): the result
+ * of running the packet's verification commands in the attempt workspace, and the pinned diff.
+ */
+export declare const HARNESS_EVIDENCE_KINDS: readonly ["harness-verification", "harness-diff"];
+export declare const EVIDENCE_KINDS: readonly ["tool-call", "test-run", "artifact", "file", "event", "review", "harness-verification", "harness-diff"];
+export declare const EVIDENCE_PRODUCERS: readonly ["worker", "reviewer", "orchestrator", "user", "harness"];
+/**
+ * A pointer to proof. Evidence is never free text: it names something the event log can resolve.
+ * `harness-*` kinds are produced by the harness and nothing else; the harness produces no other kind.
+ */
+export declare const evidenceRefSchema: 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>;
+export type EvidenceRef = z.infer<typeof evidenceRefSchema>;
+//# sourceMappingURL=common.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/common.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,iGAAiG;AACjG,eAAO,MAAM,sBAAsB,EAAG,CAAU,CAAC;AAEjD;;;GAGG;AACH,eAAO,MAAM,WAAW,yFAA0F,CAAC;AACnH,eAAO,MAAM,YAAY,8DAA+D,CAAC;AACzF,sDAAsD;AACtD,eAAO,MAAM,eAAe,mCAAoC,CAAC;AAEjE,eAAO,MAAM,eAAe;;;;;;;EAAsB,CAAC;AACnD,eAAO,MAAM,gBAAgB;;;;;EAAuB,CAAC;AACrD,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AACrD,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,wFAAwF;AACxF,eAAO,MAAM,mBAAmB;;;;EAA6C,CAAC;AAC9E,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE;;;GAGG;AACH,eAAO,MAAM,WAAW,gFAAuD,CAAC;AAChF,eAAO,MAAM,eAAe;;;;;EAAsB,CAAC;AACnD,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,YAAY,+CAAgD,CAAC;AAC1E,eAAO,MAAM,eAAe;;;;EAAuB,CAAC;AACpD,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtD,eAAO,MAAM,eAAe,kBAAmC,CAAC;AAChE,eAAO,MAAM,kBAAkB,cAAe,CAAC;AAE/C,eAAO,MAAM,kBAAkB,aAA2B,CAAC;AAE3D,kEAAkE;AAClE,eAAO,MAAM,WAAW,sFAAuF,CAAC;AAEhH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;kBAItB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEhD,eAAO,MAAM,aAAa;;;;kBAIxB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;GAGG;AACH,eAAO,MAAM,sBAAsB,mDAAoD,CAAC;AACxF,eAAO,MAAM,cAAc,mHAAuG,CAAC;AACnI,eAAO,MAAM,kBAAkB,oEAAqE,CAAC;AAErG;;;GAGG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;kBAY1B,CAAC;AACL,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}

package/dist/harness/contracts/common.js

@@ -0,0 +1,66 @@
+import { z } from "zod";
+import { AGENT_MODEL_TIERS } from "../../domain/canonical-contracts.js";
+import { digestSchema } from "./digest.js";
+import { attemptIdSchema } from "./ids.js";
+/** Wire format version shared by events, frames and packets unless a contract says otherwise. */
+export const HARNESS_SCHEMA_VERSION = 1;
+/**
+ * `session` is the conversation-first main agent (ADR-21): the one the user talks to in `syn agent`.
+ * It is neither a worker nor read-only; the orchestrator keeps planning and never writes product files.
+ */
+export const AGENT_ROLES = ["orchestrator", "explorer", "implementer", "debugger", "reviewer", "session"];
+export const WORKER_ROLES = ["explorer", "implementer", "debugger", "reviewer"];
+/** Roles that never own product paths for writing. */
+export const READ_ONLY_ROLES = ["explorer", "reviewer"];
+export const agentRoleSchema = z.enum(AGENT_ROLES);
+export const workerRoleSchema = z.enum(WORKER_ROLES);
+/** The canonical manifest tiers minus `any`: the tier a plan task (packet) may name. */
+export const taskModelTierSchema = z.enum(AGENT_MODEL_TIERS).exclude(["any"]);
+/**
+ * Route tiers: the task tiers plus `session`, the conversation agent's own tier (ADR-21). When no
+ * route maps `session`, the conversation uses the `orchestrator` route; a plan task never names it.
+ */
+export const MODEL_TIERS = [...taskModelTierSchema.options, "session"];
+export const modelTierSchema = z.enum(MODEL_TIERS);
+export const RISK_CLASSES = ["trivial", "standard", "high-risk"];
+export const riskClassSchema = z.enum(RISK_CLASSES);
+export const timestampSchema = z.iso.datetime({ offset: true });
+export const calendarDateSchema = z.iso.date();
+export const nonEmptyTextSchema = z.string().trim().min(1);
+/** `agent` is the conversation agent (role `session`, ADR-21). */
+export const ACTOR_KINDS = ["user", "orchestrator", "worker", "system", "policy", "provider", "agent"];
+export const actorSchema = z.strictObject({
+    kind: z.enum(ACTOR_KINDS),
+    role: agentRoleSchema.optional(),
+    attempt_id: attemptIdSchema.optional(),
+});
+export const blobRefSchema = z.strictObject({
+    digest: digestSchema,
+    size_bytes: z.int().min(0),
+    media_type: z.string().min(1).max(127),
+});
+/**
+ * Evidence kinds. The `harness-*` kinds are facts the harness computed itself (ADR-18): the result
+ * of running the packet's verification commands in the attempt workspace, and the pinned diff.
+ */
+export const HARNESS_EVIDENCE_KINDS = ["harness-verification", "harness-diff"];
+export const EVIDENCE_KINDS = ["tool-call", "test-run", "artifact", "file", "event", "review", ...HARNESS_EVIDENCE_KINDS];
+export const EVIDENCE_PRODUCERS = ["worker", "reviewer", "orchestrator", "user", "harness"];
+/**
+ * A pointer to proof. Evidence is never free text: it names something the event log can resolve.
+ * `harness-*` kinds are produced by the harness and nothing else; the harness produces no other kind.
+ */
+export const evidenceRefSchema = z
+    .strictObject({
+    kind: z.enum(EVIDENCE_KINDS),
+    ref: nonEmptyTextSchema,
+    digest: digestSchema.optional(),
+    produced_by: z.enum(EVIDENCE_PRODUCERS),
+})
+    .superRefine((evidence, context) => {
+    const harnessKind = HARNESS_EVIDENCE_KINDS.includes(evidence.kind);
+    if (harnessKind !== (evidence.produced_by === "harness")) {
+        context.addIssue({ code: "custom", path: ["produced_by"], message: "harness-* evidence is produced by the harness, and only by it" });
+    }
+});
+//# sourceMappingURL=common.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"common.js","sourceRoot":"","sources":["../../../src/harness/contracts/common.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,qCAAqC,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAE3C,iGAAiG;AACjG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAU,CAAC;AAEjD;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,CAAU,CAAC;AACnH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AACzF,sDAAsD;AACtD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,UAAU,EAAE,UAAU,CAAU,CAAC;AAEjE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AACnD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAIrD,wFAAwF;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAG9E;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAG,mBAAmB,CAAC,OAAO,EAAE,SAAS,CAAU,CAAC;AAChF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AAGnD,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,CAAU,CAAC;AAC1E,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAGpD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AAE/C,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAE3D,kEAAkE;AAClE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAU,CAAC;AAEhH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,YAAY,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;IACzB,IAAI,EAAE,eAAe,CAAC,QAAQ,EAAE;IAChC,UAAU,EAAE,eAAe,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1C,MAAM,EAAE,YAAY;IACpB,UAAU,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;CACvC,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,sBAAsB,EAAE,cAAc,CAAU,CAAC;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAAU,CAAC;AACnI,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,CAAU,CAAC;AAErG;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,YAAY,CAAC;IACZ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;IAC5B,GAAG,EAAE,kBAAkB;IACvB,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC/B,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC;CACxC,CAAC;KACD,WAAW,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;IACjC,MAAM,WAAW,GAAI,sBAA4C,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1F,IAAI,WAAW,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,EAAE,CAAC;QACzD,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,+DAA+D,EAAE,CAAC,CAAC;IACxI,CAAC;AACH,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,59 @@
+import { z } from "zod";
+/**
+ * Runtime digests are always the full `sha256:<64 hex>`. The shortened prefixes the static
+ * observation ledger tolerates are not accepted here: a runtime digest proves freshness and
+ * binds approvals, so it is never truncated.
+ */
+export declare const digestSchema: z.core.$ZodBranded<z.ZodString, "Digest", "out">;
+export type Digest = z.infer<typeof digestSchema>;
+export declare function sha256(data: string | Uint8Array): Digest;
+/**
+ * Text digested with line endings normalized to `\n`, matching the static observation ledger and
+ * memory `source_digest`. It is **not** a workspace file digest (ADR-19): it decodes as UTF-8 and
+ * folds CRLF, so it cannot prove the bytes a tool is about to overwrite. Packets written before
+ * ADR-19 (`context.digest_scheme` absent or `text-lf-v1`) cite sources with it.
+ */
+export declare function digestText(text: string): Digest;
+/**
+ * Digest schemes a packet's `context.sources` can be computed with. `workspace-raw-v1` is the one
+ * workspace digest (ADR-19): `workspaceDigest` of the file's bytes as they exist in the attempt's
+ * own workspace after isolation. `text-lf-v1` is the pre-ADR-19 `digestText` scheme, read only.
+ */
+export declare const SOURCE_DIGEST_SCHEMES: readonly ["text-lf-v1", "workspace-raw-v1"];
+export type SourceDigestScheme = (typeof SOURCE_DIGEST_SCHEMES)[number];
+/**
+ * The single workspace file digest (ADR-19): SHA-256 over the file's raw bytes exactly as they are
+ * on disk in one workspace root, with no decoding, EOL folding, BOM stripping or filter. Every
+ * model-facing digest (packet sources and known facts, `read_file`, `write_file`/`apply_patch`
+ * preconditions, changed-path before/after) uses it, and each one is computed in the workspace the
+ * model is working in, so a digest the model reads is always a valid precondition there. Digests
+ * from two different trees are never compared with each other; that is `ContentIdentity`'s job.
+ */
+export declare function workspaceDigest(bytes: Uint8Array): Digest;
+/**
+ * Cross-tree content identity, used only where the same path is compared across two trees that
+ * may store it differently (worktree vs main tree: EOL conversion, smudge/clean filters, LFS).
+ * `git-blob`: the object id git would store for the file (`git hash-object --path=<p>` over the
+ * working-tree bytes, i.e. the clean filter and EOL conversion of *that* tree's attributes and
+ * config), so an unchanged checkout equals the `HEAD` blob in every tree. `workspace`:
+ * `workspaceDigest`, for files git does not track (untracked, ignored, or no repository). Never
+ * shown to a model and never written into a packet.
+ */
+export type ContentIdentity = {
+    readonly scheme: "git-blob";
+    readonly oid: string;
+} | {
+    readonly scheme: "workspace";
+    readonly digest: Digest;
+};
+/** Equal only within one scheme; identities of different schemes never compare equal. */
+export declare function sameContent(left: ContentIdentity, right: ContentIdentity): boolean;
+/**
+ * Deterministic JSON: object keys sorted by code point, `undefined` members dropped, arrays kept
+ * in order. Non-finite numbers, bigints, functions and symbols are rejected rather than silently
+ * coerced, because a digest over a lossy encoding would bind two different values.
+ */
+export declare function canonicalJson(value: unknown): string;
+/** The digest every plan, packet, action and envelope is bound by. */
+export declare function digestOf(value: unknown): Digest;
+//# sourceMappingURL=digest.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"digest.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/digest.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;GAIG;AACH,eAAO,MAAM,YAAY,kDAGL,CAAC;AACrB,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAElD,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAExD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,6CAA8C,CAAC;AACjF,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAEzD;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9D,yFAAyF;AACzF,wBAAgB,WAAW,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,GAAG,OAAO,CAIlF;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEpD;AAED,sEAAsE;AACtE,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAE/C"}

package/dist/harness/contracts/digest.js

@@ -0,0 +1,88 @@
+import { createHash } from "node:crypto";
+import { z } from "zod";
+/**
+ * Runtime digests are always the full `sha256:<64 hex>`. The shortened prefixes the static
+ * observation ledger tolerates are not accepted here: a runtime digest proves freshness and
+ * binds approvals, so it is never truncated.
+ */
+export const digestSchema = z
+    .string()
+    .regex(/^sha256:[0-9a-f]{64}$/, "must be sha256:<64 hex>")
+    .brand();
+export function sha256(data) {
+    return digestSchema.parse(`sha256:${createHash("sha256").update(data).digest("hex")}`);
+}
+/**
+ * Text digested with line endings normalized to `\n`, matching the static observation ledger and
+ * memory `source_digest`. It is **not** a workspace file digest (ADR-19): it decodes as UTF-8 and
+ * folds CRLF, so it cannot prove the bytes a tool is about to overwrite. Packets written before
+ * ADR-19 (`context.digest_scheme` absent or `text-lf-v1`) cite sources with it.
+ */
+export function digestText(text) {
+    return sha256(text.replace(/\r\n?/g, "\n"));
+}
+/**
+ * Digest schemes a packet's `context.sources` can be computed with. `workspace-raw-v1` is the one
+ * workspace digest (ADR-19): `workspaceDigest` of the file's bytes as they exist in the attempt's
+ * own workspace after isolation. `text-lf-v1` is the pre-ADR-19 `digestText` scheme, read only.
+ */
+export const SOURCE_DIGEST_SCHEMES = ["text-lf-v1", "workspace-raw-v1"];
+/**
+ * The single workspace file digest (ADR-19): SHA-256 over the file's raw bytes exactly as they are
+ * on disk in one workspace root, with no decoding, EOL folding, BOM stripping or filter. Every
+ * model-facing digest (packet sources and known facts, `read_file`, `write_file`/`apply_patch`
+ * preconditions, changed-path before/after) uses it, and each one is computed in the workspace the
+ * model is working in, so a digest the model reads is always a valid precondition there. Digests
+ * from two different trees are never compared with each other; that is `ContentIdentity`'s job.
+ */
+export function workspaceDigest(bytes) {
+    return sha256(bytes);
+}
+/** Equal only within one scheme; identities of different schemes never compare equal. */
+export function sameContent(left, right) {
+    if (left.scheme === "git-blob" && right.scheme === "git-blob")
+        return left.oid === right.oid;
+    if (left.scheme === "workspace" && right.scheme === "workspace")
+        return left.digest === right.digest;
+    return false;
+}
+/**
+ * Deterministic JSON: object keys sorted by code point, `undefined` members dropped, arrays kept
+ * in order. Non-finite numbers, bigints, functions and symbols are rejected rather than silently
+ * coerced, because a digest over a lossy encoding would bind two different values.
+ */
+export function canonicalJson(value) {
+    return encode(value, []);
+}
+/** The digest every plan, packet, action and envelope is bound by. */
+export function digestOf(value) {
+    return sha256(canonicalJson(value));
+}
+function encode(value, trail) {
+    if (value === null)
+        return "null";
+    switch (typeof value) {
+        case "string":
+        case "boolean":
+            return JSON.stringify(value);
+        case "number":
+            if (!Number.isFinite(value))
+                throw new TypeError(`non-finite number at ${where(trail)}`);
+            return JSON.stringify(value);
+        case "object":
+            break;
+        default:
+            throw new TypeError(`cannot canonicalize ${typeof value} at ${where(trail)}`);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map((item, index) => encode(item === undefined ? null : item, [...trail, String(index)])).join(",")}]`;
+    }
+    const entries = Object.entries(value)
+        .filter(([, member]) => member !== undefined)
+        .sort(([left], [right]) => (left < right ? -1 : left > right ? 1 : 0));
+    return `{${entries.map(([key, member]) => `${JSON.stringify(key)}:${encode(member, [...trail, key])}`).join(",")}}`;
+}
+function where(trail) {
+    return trail.length === 0 ? "<root>" : trail.join(".");
+}
+//# sourceMappingURL=digest.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"digest.js","sourceRoot":"","sources":["../../../src/harness/contracts/digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC;KAC1B,MAAM,EAAE;KACR,KAAK,CAAC,uBAAuB,EAAE,yBAAyB,CAAC;KACzD,KAAK,EAAY,CAAC;AAGrB,MAAM,UAAU,MAAM,CAAC,IAAyB;IAC9C,OAAO,YAAY,CAAC,KAAK,CAAC,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACzF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,YAAY,EAAE,kBAAkB,CAAU,CAAC;AAGjF;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,KAAiB;IAC/C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAeD,yFAAyF;AACzF,MAAM,UAAU,WAAW,CAAC,IAAqB,EAAE,KAAsB;IACvE,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,CAAC;IAC7F,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC;IACrG,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAwB;IACtD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACzF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,MAAM;QACR;YACE,MAAM,IAAI,SAAS,CAAC,uBAAuB,OAAO,KAAK,OAAO,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1H,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;SAC7D,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACtH,CAAC;AAED,SAAS,KAAK,CAAC,KAAwB;IACrC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzD,CAAC"}

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

@@ -0,0 +1,70 @@
+import { z } from "zod";
+/**
+ * Harness error taxonomy and process exit codes. Codes 0-2 keep the meaning they already have for
+ * `syn inspect/init/sync/doctor` (success, error, usage); the rest are new and exclusive to runtime
+ * commands. The mapping is total: every harness error code has exactly one exit code.
+ */
+export declare const EXIT_CODES: {
+    readonly success: 0;
+    readonly internal: 1;
+    readonly usage: 2;
+    readonly approval: 3;
+    readonly provider: 4;
+    readonly verification: 5;
+    readonly policy: 6;
+    readonly auth: 7;
+    readonly session_locked: 8;
+    readonly budget: 9;
+    readonly cancelled: 130;
+};
+export type ExitCodeName = keyof typeof EXIT_CODES;
+export type ExitCode = (typeof EXIT_CODES)[ExitCodeName];
+export declare const HARNESS_ERROR_CODES: readonly ["usage_invalid", "config_invalid", "auth_required", "auth_expired", "provider_failed", "tool_failed", "policy_denied", "sandbox_insufficient", "approval_rejected", "approval_unavailable", "verification_failed", "review_blocked", "budget_exceeded", "session_locked", "session_corrupt", "store_write_failed", "stale_packet", "cancelled", "internal"];
+export type HarnessErrorCode = (typeof HARNESS_ERROR_CODES)[number];
+export declare const HARNESS_ERROR_EXIT: {
+    readonly [C in HarnessErrorCode]: ExitCodeName;
+};
+export declare function exitCodeFor(code: HarnessErrorCode): ExitCode;
+/**
+ * The user-facing error standard: what happened, which step/id, the workspace effect, whether a
+ * retry is safe and the next command. Secrets and raw prompts never appear in any field.
+ */
+export declare const harnessErrorSchema: z.ZodObject<{
+    code: z.ZodEnum<{
+        internal: "internal";
+        session_locked: "session_locked";
+        cancelled: "cancelled";
+        usage_invalid: "usage_invalid";
+        config_invalid: "config_invalid";
+        auth_required: "auth_required";
+        auth_expired: "auth_expired";
+        provider_failed: "provider_failed";
+        tool_failed: "tool_failed";
+        policy_denied: "policy_denied";
+        sandbox_insufficient: "sandbox_insufficient";
+        approval_rejected: "approval_rejected";
+        approval_unavailable: "approval_unavailable";
+        verification_failed: "verification_failed";
+        review_blocked: "review_blocked";
+        budget_exceeded: "budget_exceeded";
+        session_corrupt: "session_corrupt";
+        store_write_failed: "store_write_failed";
+        stale_packet: "stale_packet";
+    }>;
+    message: z.ZodString;
+    ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    workspace_effect: z.ZodEnum<{
+        unknown: "unknown";
+        none: "none";
+        partial: "partial";
+    }>;
+    retry_safe: z.ZodBoolean;
+    next_command: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type HarnessErrorInfo = z.infer<typeof harnessErrorSchema>;
+export declare class HarnessError extends Error {
+    readonly info: HarnessErrorInfo;
+    readonly exitCode: ExitCode;
+    constructor(info: HarnessErrorInfo);
+}
+//# sourceMappingURL=errors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;GAIG;AAEH,eAAO,MAAM,UAAU;;;;;;;;;;;;CAYb,CAAC;AACX,MAAM,MAAM,YAAY,GAAG,MAAM,OAAO,UAAU,CAAC;AACnD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC;AAEzD,eAAO,MAAM,mBAAmB,uWAoBtB,CAAC;AACX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpE,eAAO,MAAM,kBAAkB,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,gBAAgB,GAAG,YAAY;CAoBhF,CAAC;AAEF,wBAAgB,WAAW,CAAC,IAAI,EAAE,gBAAgB,GAAG,QAAQ,CAE5D;AAED;;;GAGG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAO7B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAElE,qBAAa,YAAa,SAAQ,KAAK;IACrC,SAAgB,IAAI,EAAE,gBAAgB,CAAC;IACvC,SAAgB,QAAQ,EAAE,QAAQ,CAAC;gBAEhB,IAAI,EAAE,gBAAgB;CAM1C"}