synorch 0.2.0 → 0.4.0-beta.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"jsonl.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/jsonl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB;;;;;GAKG;AAEH,eAAO,MAAM,cAAc,EAAG,eAAwB,CAAC;AACvD,eAAO,MAAM,oBAAoB,EAAG,CAAU,CAAC;AAY/C,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BA8B3B,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,CAE1D;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAI3G;AAED,oGAAoG;AACpG,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,MAAM,EAAE,CAYtF"}

package/dist/harness/contracts/jsonl.js

@@ -0,0 +1,87 @@
+import { z } from "zod";
+import { timestampSchema } from "./common.js";
+import { EXIT_CODES, harnessErrorSchema } from "./errors.js";
+import { runIdSchema, sessionIdSchema, taskIdSchema } from "./ids.js";
+import { sessionEventSchema } from "./events.js";
+import { modelStreamEventSchema, usageSchema } from "./model.js";
+import { policyModeSchema } from "./policy.js";
+import { TASK_STATES } from "./state.js";
+/**
+ * Machine mode (`--mode jsonl`, alias `--json` on runtime commands). stdout carries only these
+ * frames, one per line, separated by a single LF; everything human goes to stderr. The first frame
+ * is `hello`, the last is exactly one `result` or `error`. Frames are one-way: approvals and steering
+ * over stdin belong to a separate RPC mode that is out of scope for v1.
+ */
+export const JSONL_PROTOCOL = "synorch.jsonl";
+export const JSONL_SCHEMA_VERSION = 1;
+const exitCodeValues = Object.values(EXIT_CODES);
+const exitCodeSchema = z.int().refine((value) => exitCodeValues.includes(value), "unknown exit code");
+const frameBase = {
+    schema_version: z.literal(JSONL_SCHEMA_VERSION),
+    run_id: runIdSchema,
+    seq: z.int().min(1),
+    timestamp: timestampSchema,
+};
+export const jsonlFrameSchema = z.discriminatedUnion("type", [
+    z.strictObject({
+        ...frameBase,
+        type: z.literal("hello"),
+        data: z.strictObject({
+            protocol: z.literal(JSONL_PROTOCOL),
+            harness_version: z.string().min(1),
+            session_id: sessionIdSchema,
+            policy_mode: policyModeSchema,
+            stream_deltas: z.boolean(),
+        }),
+    }),
+    z.strictObject({ ...frameBase, type: z.literal("event"), data: sessionEventSchema }),
+    z.strictObject({ ...frameBase, type: z.literal("delta"), data: modelStreamEventSchema }),
+    z.strictObject({
+        ...frameBase,
+        type: z.literal("result"),
+        data: z.strictObject({
+            status: z.enum(["succeeded", "failed", "cancelled", "rejected"]),
+            exit_code: exitCodeSchema,
+            summary: z.string().min(1),
+            tasks: z.array(z.strictObject({ task_id: taskIdSchema, state: z.enum(TASK_STATES) })),
+            usage: usageSchema.optional(),
+        }),
+    }),
+    z.strictObject({
+        ...frameBase,
+        type: z.literal("error"),
+        data: harnessErrorSchema.extend({ exit_code: exitCodeSchema }),
+    }),
+]);
+export function encodeJsonlFrame(frame) {
+    return `${JSON.stringify(frame)}\n`;
+}
+/**
+ * Splits a stream on LF only. `readline` is unsuitable because it also breaks on U+2028/U+2029,
+ * which JSON strings may contain unescaped. A trailing CR is tolerated for Windows pipes.
+ */
+export function splitJsonlLines(chunk) {
+    const parts = chunk.split("\n");
+    const rest = parts.pop() ?? "";
+    return { lines: parts.map((line) => line.replace(/\r$/, "")).filter((line) => line.length > 0), rest };
+}
+/** Checks the stream-level invariants: hello first, dense seq, exactly one terminal frame, last. */
+export function validateFrameSequence(frames) {
+    const problems = [];
+    if (frames[0]?.type !== "hello")
+        problems.push("the first frame must be hello");
+    const terminal = frames.filter((frame) => frame.type === "result" || frame.type === "error");
+    if (terminal.length !== 1)
+        problems.push("exactly one result or error frame is required");
+    const last = frames.at(-1);
+    if (last !== undefined && last.type !== "result" && last.type !== "error")
+        problems.push("the terminal frame must be last");
+    frames.forEach((frame, index) => {
+        if (frame.seq !== index + 1)
+            problems.push(`frame ${index} has seq ${frame.seq}, expected ${index + 1}`);
+        if (frame.run_id !== frames[0]?.run_id)
+            problems.push(`frame ${index} belongs to another run`);
+    });
+    return problems;
+}
+//# sourceMappingURL=jsonl.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"jsonl.js","sourceRoot":"","sources":["../../../src/harness/contracts/jsonl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC;;;;;GAKG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG,eAAwB,CAAC;AACvD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAU,CAAC;AAE/C,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,UAAU,CAA0B,CAAC;AAC1E,MAAM,cAAc,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,mBAAmB,CAAC,CAAC;AAEtG,MAAM,SAAS,GAAG;IAChB,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAC/C,MAAM,EAAE,WAAW;IACnB,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnB,SAAS,EAAE,eAAe;CAC3B,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC3D,CAAC,CAAC,YAAY,CAAC;QACb,GAAG,SAAS;QACZ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;YACnB,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;YACnC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAClC,UAAU,EAAE,eAAe;YAC3B,WAAW,EAAE,gBAAgB;YAC7B,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;SAC3B,CAAC;KACH,CAAC;IACF,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;IACpF,CAAC,CAAC,YAAY,CAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC;IACxF,CAAC,CAAC,YAAY,CAAC;QACb,GAAG,SAAS;QACZ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC;YACnB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;YAChE,SAAS,EAAE,cAAc;YACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YACrF,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE;SAC9B,CAAC;KACH,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,GAAG,SAAS;QACZ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC;KAC/D,CAAC;CACH,CAAC,CAAC;AAGH,MAAM,UAAU,gBAAgB,CAAC,KAAiB;IAChD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAC/B,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;AACzG,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,qBAAqB,CAAC,MAA6B;IACjE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC7F,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC5H,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC9B,IAAI,KAAK,CAAC,GAAG,KAAK,KAAK,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,KAAK,YAAY,KAAK,CAAC,GAAG,cAAc,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACzG,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,KAAK,yBAAyB,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,271 @@
+import { z } from "zod";
+import { digestSchema } from "./digest.ts";
+import type { SessionEventOf } from "./events.ts";
+import { proposalIdSchema, type RunId } from "./ids.ts";
+/**
+ * Markdown memory store (ADR-16/17). Notes are plain Markdown with YAML frontmatter under
+ * `~/.synorch/memory/<project-id>/` by default; Obsidian is an optional viewer. The session event
+ * log stays the source of evidence; a note is a reviewable projection that points back to it.
+ */
+export declare const MEMORY_KINDS: readonly ["project", "decision", "assumption", "question", "evidence", "concept", "preference"];
+export type MemoryKind = (typeof MEMORY_KINDS)[number];
+export declare const MEMORY_ID_PREFIXES: {
+    readonly [K in MemoryKind]: string;
+};
+export declare const MEMORY_STATUSES: {
+    readonly [K in MemoryKind]: readonly [string, ...string[]];
+};
+/** Written without review (ADR-17). Their statuses are non-authoritative by construction. */
+export declare const AUTO_PERSIST_KINDS: readonly ["evidence", "concept", "assumption", "question"];
+/** Enter the review queue first; the orchestrator may accept them in autonomous mode (audited). */
+export declare const REVIEW_REQUIRED_KINDS: readonly ["decision", "preference"];
+export declare const MEMORY_RELATION_TYPES: readonly ["supports", "contradicts", "depends_on", "supersedes", "affects", "originated_from"];
+export type MemoryRelationType = (typeof MEMORY_RELATION_TYPES)[number];
+export declare const memoryIdSchema: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+export type MemoryId = z.infer<typeof memoryIdSchema>;
+export declare const memoryRelationSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        supersedes: "supersedes";
+        supports: "supports";
+        contradicts: "contradicts";
+        depends_on: "depends_on";
+        affects: "affects";
+        originated_from: "originated_from";
+    }>;
+    target: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+}, z.core.$strict>;
+export type MemoryRelation = z.infer<typeof memoryRelationSchema>;
+export declare const memoryNoteFrontmatterSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    id: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+    kind: z.ZodEnum<{
+        evidence: "evidence";
+        project: "project";
+        question: "question";
+        decision: "decision";
+        assumption: "assumption";
+        concept: "concept";
+        preference: "preference";
+    }>;
+    project_id: z.core.$ZodBranded<z.ZodString, "ProjectId", "out">;
+    scope: z.ZodEnum<{
+        project: "project";
+        user: "user";
+        branch: "branch";
+    }>;
+    branch: z.ZodOptional<z.ZodString>;
+    status: z.ZodString;
+    created_at: z.ZodISODate;
+    updated_at: z.ZodOptional<z.ZodISODate>;
+    reviewed_at: z.ZodOptional<z.ZodISODate>;
+    source_run: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "RunId", "out">>;
+    source_task: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId", "out">>;
+    source_ref: z.ZodOptional<z.ZodString>;
+    source_digest: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "Digest", "out">>;
+    confidence: z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+    }>;
+    owner: z.ZodEnum<{
+        synorch: "synorch";
+        human: "human";
+    }>;
+    relations: z.ZodArray<z.ZodObject<{
+        type: z.ZodEnum<{
+            supersedes: "supersedes";
+            supports: "supports";
+            contradicts: "contradicts";
+            depends_on: "depends_on";
+            affects: "affects";
+            originated_from: "originated_from";
+        }>;
+        target: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+    }, z.core.$strict>>;
+    tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+export type MemoryNoteFrontmatter = z.infer<typeof memoryNoteFrontmatterSchema>;
+export declare const PROPOSAL_KINDS: readonly ["note", "relation", "contradiction", "status-change"];
+export declare const memoryProposalSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    proposal_id: z.core.$ZodBranded<z.ZodString, "ProposalId", "out">;
+    kind: z.ZodEnum<{
+        note: "note";
+        relation: "relation";
+        contradiction: "contradiction";
+        "status-change": "status-change";
+    }>;
+    note: z.ZodOptional<z.ZodObject<{
+        schema_version: z.ZodLiteral<1>;
+        id: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+        kind: z.ZodEnum<{
+            evidence: "evidence";
+            project: "project";
+            question: "question";
+            decision: "decision";
+            assumption: "assumption";
+            concept: "concept";
+            preference: "preference";
+        }>;
+        project_id: z.core.$ZodBranded<z.ZodString, "ProjectId", "out">;
+        scope: z.ZodEnum<{
+            project: "project";
+            user: "user";
+            branch: "branch";
+        }>;
+        branch: z.ZodOptional<z.ZodString>;
+        status: z.ZodString;
+        created_at: z.ZodISODate;
+        updated_at: z.ZodOptional<z.ZodISODate>;
+        reviewed_at: z.ZodOptional<z.ZodISODate>;
+        source_run: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "RunId", "out">>;
+        source_task: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId", "out">>;
+        source_ref: z.ZodOptional<z.ZodString>;
+        source_digest: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "Digest", "out">>;
+        confidence: z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+        }>;
+        owner: z.ZodEnum<{
+            synorch: "synorch";
+            human: "human";
+        }>;
+        relations: z.ZodArray<z.ZodObject<{
+            type: z.ZodEnum<{
+                supersedes: "supersedes";
+                supports: "supports";
+                contradicts: "contradicts";
+                depends_on: "depends_on";
+                affects: "affects";
+                originated_from: "originated_from";
+            }>;
+            target: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+        }, z.core.$strict>>;
+        tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    body: z.ZodOptional<z.ZodString>;
+    target: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "MemoryId", "out">>;
+    relation: z.ZodOptional<z.ZodObject<{
+        type: z.ZodEnum<{
+            supersedes: "supersedes";
+            supports: "supports";
+            contradicts: "contradicts";
+            depends_on: "depends_on";
+            affects: "affects";
+            originated_from: "originated_from";
+        }>;
+        target: z.core.$ZodBranded<z.ZodString, "MemoryId", "out">;
+    }, z.core.$strict>>;
+    new_status: z.ZodOptional<z.ZodString>;
+    rationale: z.ZodString;
+    evidence: z.ZodArray<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>>;
+    created_by: z.ZodObject<{
+        run_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "RunId", "out">>;
+        task_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "TaskId", "out">>;
+        role: z.ZodOptional<z.ZodEnum<{
+            orchestrator: "orchestrator";
+            reviewer: "reviewer";
+            session: "session";
+            worker: "worker";
+        }>>;
+    }, z.core.$strict>;
+    created_at: z.ZodISODateTime;
+    state: z.ZodEnum<{
+        rejected: "rejected";
+        accepted: "accepted";
+        pending: "pending";
+        deferred: "deferred";
+    }>;
+    decision: z.ZodOptional<z.ZodObject<{
+        by: z.ZodEnum<{
+            orchestrator: "orchestrator";
+            user: "user";
+        }>;
+        at: z.ZodISODateTime;
+        reason: z.ZodString;
+        run_id: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "RunId", "out">>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type MemoryProposal = z.infer<typeof memoryProposalSchema>;
+/** Where personal memory lives unless overridden: `~/<segments>/<project-id>/`. */
+export declare const DEFAULT_MEMORY_ROOT_SEGMENTS: readonly [".synorch", "memory"];
+/**
+ * The `memory` configuration section (ADR-16). `root` replaces the personal vault root for this
+ * project (`~` expands to home, relative paths resolve against home); `team_root` names a shared
+ * team vault, which is reserved: v1 accepts it but neither reads nor writes it.
+ */
+export declare const memoryConfigSchema: z.ZodObject<{
+    root: z.ZodOptional<z.ZodString>;
+    team_root: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>;
+export type MemoryConfig = z.infer<typeof memoryConfigSchema>;
+export interface MemoryQuery {
+    readonly projectId: string;
+    readonly branch: string | undefined;
+    readonly text: string | undefined;
+    readonly kinds: readonly MemoryKind[] | undefined;
+    readonly includeInactive: boolean;
+    readonly limit: number;
+}
+export interface MemoryNote {
+    readonly frontmatter: MemoryNoteFrontmatter;
+    readonly title: string;
+    readonly body: string;
+    readonly path: string;
+    readonly digest: z.infer<typeof digestSchema>;
+}
+export interface RecalledMemory {
+    readonly note: MemoryNote;
+    /** Why this note was selected: shown to the user and to the model next to the claim. */
+    readonly reason: string;
+    readonly stale: boolean;
+}
+/** The audit trail of one decision, as `memory/proposal_decided` and `memory/persisted` payloads. */
+export interface MemoryDecisionOutcome {
+    readonly proposal: MemoryProposal;
+    readonly decided: SessionEventOf<"memory/proposal_decided">["data"];
+    /** The note an accepted proposal created or changed; absent for rejected/deferred. */
+    readonly persisted: SessionEventOf<"memory/persisted">["data"] | undefined;
+    /** Set when the orchestrator decided: the run accountable for it (the event's `run_id`). */
+    readonly runId: RunId | undefined;
+}
+export interface MemoryStore {
+    readonly root: string;
+    get(id: MemoryId): Promise<MemoryNote | undefined>;
+    search(query: MemoryQuery): Promise<readonly RecalledMemory[]>;
+    /** Writes only auto-persist kinds; fails with a conflict if the file changed since `expectedDigest`. */
+    persist(note: Omit<MemoryNote, "path" | "digest">, expectedDigest: string | undefined): Promise<MemoryNote>;
+    propose(proposal: MemoryProposal): Promise<void>;
+    pending(): Promise<readonly MemoryProposal[]>;
+    /**
+     * Applies a decision and returns what the caller must append to the session log: the store
+     * persists notes, it never writes events itself.
+     */
+    decide(proposalId: z.infer<typeof proposalIdSchema>, decision: NonNullable<MemoryProposal["decision"]>, state: "accepted" | "rejected" | "deferred"): Promise<MemoryDecisionOutcome>;
+    reindex(): Promise<{
+        readonly notes: number;
+        readonly broken_links: number;
+    }>;
+}
+//# sourceMappingURL=memory.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../../src/harness/contracts/memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAmB,gBAAgB,EAA6B,KAAK,KAAK,EAAE,MAAM,UAAU,CAAC;AAEpG;;;;GAIG;AAEH,eAAO,MAAM,YAAY,iGAAkG,CAAC;AAC5H,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,eAAO,MAAM,kBAAkB,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,MAAM;CAQpE,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;CAQzF,CAAC;AAEF,6FAA6F;AAC7F,eAAO,MAAM,kBAAkB,4DAA6D,CAAC;AAC7F,mGAAmG;AACnG,eAAO,MAAM,qBAAqB,qCAAsC,CAAC;AAEzE,eAAO,MAAM,qBAAqB,gGAAiG,CAAC;AACpI,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE,eAAO,MAAM,cAAc,oDAGL,CAAC;AACvB,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD,eAAO,MAAM,oBAAoB;;;;;;;;;;kBAG/B,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAkDpC,CAAC;AACL,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,cAAc,iEAAkE,CAAC;AAE9F,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA+C7B,CAAC;AACL,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,mFAAmF;AACnF,eAAO,MAAM,4BAA4B,iCAAkC,CAAC;AAE5E;;;;GAIG;AACH,eAAO,MAAM,kBAAkB;;;kBAG7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;CAC/C;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED,qGAAqG;AACrG,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC;IACpE,sFAAsF;IACtF,QAAQ,CAAC,SAAS,EAAE,cAAc,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAC3E,4FAA4F;IAC5F,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,GAAG,CAAC,EAAE,EAAE,QAAQ,GAAG,OAAO,CAAC,UAAU,GAAG,SAAS,CAAC,CAAC;IACnD,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;IAC/D,wGAAwG;IACxG,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,CAAC,EAAE,cAAc,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5G,OAAO,CAAC,QAAQ,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,OAAO,IAAI,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CAAC;IAC9C;;;OAGG;IACH,MAAM,CACJ,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,EAC5C,QAAQ,EAAE,WAAW,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,EACjD,KAAK,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,GAC1C,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAClC,OAAO,IAAI,OAAO,CAAC;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CAC/E"}

package/dist/harness/contracts/memory.js

@@ -0,0 +1,152 @@
+import { z } from "zod";
+import { calendarDateSchema, evidenceRefSchema, nonEmptyTextSchema, timestampSchema } from "./common.js";
+import { digestSchema } from "./digest.js";
+import { projectIdSchema, proposalIdSchema, runIdSchema, taskIdSchema } from "./ids.js";
+/**
+ * Markdown memory store (ADR-16/17). Notes are plain Markdown with YAML frontmatter under
+ * `~/.synorch/memory/<project-id>/` by default; Obsidian is an optional viewer. The session event
+ * log stays the source of evidence; a note is a reviewable projection that points back to it.
+ */
+export const MEMORY_KINDS = ["project", "decision", "assumption", "question", "evidence", "concept", "preference"];
+export const MEMORY_ID_PREFIXES = {
+    project: "prj",
+    decision: "dec",
+    assumption: "asm",
+    question: "que",
+    evidence: "evd",
+    concept: "cpt",
+    preference: "prf",
+};
+export const MEMORY_STATUSES = {
+    project: ["active", "archived"],
+    decision: ["proposed", "accepted", "superseded", "rejected"],
+    assumption: ["open", "verified", "invalidated"],
+    question: ["open", "resolved"],
+    evidence: ["current", "stale", "unavailable"],
+    concept: ["active", "deprecated"],
+    preference: ["active", "revoked"],
+};
+/** Written without review (ADR-17). Their statuses are non-authoritative by construction. */
+export const AUTO_PERSIST_KINDS = ["evidence", "concept", "assumption", "question"];
+/** Enter the review queue first; the orchestrator may accept them in autonomous mode (audited). */
+export const REVIEW_REQUIRED_KINDS = ["decision", "preference"];
+export const MEMORY_RELATION_TYPES = ["supports", "contradicts", "depends_on", "supersedes", "affects", "originated_from"];
+export const memoryIdSchema = z
+    .string()
+    .regex(/^(prj|dec|asm|que|evd|cpt|prf)-[0-9a-z][0-9a-z-]{2,62}$/, "memory id must be <kind-prefix>-<slug>")
+    .brand();
+export const memoryRelationSchema = z.strictObject({
+    type: z.enum(MEMORY_RELATION_TYPES),
+    target: memoryIdSchema,
+});
+export const memoryNoteFrontmatterSchema = z
+    .strictObject({
+    schema_version: z.literal(1),
+    id: memoryIdSchema,
+    kind: z.enum(MEMORY_KINDS),
+    project_id: projectIdSchema,
+    scope: z.enum(["project", "branch", "user"]),
+    branch: z.string().min(1).max(255).optional(),
+    status: z.string().min(1),
+    created_at: calendarDateSchema,
+    updated_at: calendarDateSchema.optional(),
+    reviewed_at: calendarDateSchema.optional(),
+    source_run: runIdSchema.optional(),
+    source_task: taskIdSchema.optional(),
+    source_ref: z.string().min(1).max(1024).optional(),
+    source_digest: digestSchema.optional(),
+    confidence: z.enum(["high", "medium", "low"]),
+    owner: z.enum(["human", "synorch"]),
+    relations: z.array(memoryRelationSchema),
+    tags: z.array(z.string().regex(/^[a-z0-9][a-z0-9/_-]*$/, "tags are lower-case")).optional(),
+})
+    .superRefine((note, context) => {
+    if (!note.id.startsWith(`${MEMORY_ID_PREFIXES[note.kind]}-`)) {
+        context.addIssue({ code: "custom", path: ["id"], message: `a ${note.kind} id starts with ${MEMORY_ID_PREFIXES[note.kind]}-` });
+    }
+    if (!MEMORY_STATUSES[note.kind].includes(note.status)) {
+        context.addIssue({
+            code: "custom",
+            path: ["status"],
+            message: `${note.kind} status must be one of ${MEMORY_STATUSES[note.kind].join(", ")}`,
+        });
+    }
+    if ((note.scope === "branch") !== (note.branch !== undefined)) {
+        context.addIssue({ code: "custom", path: ["branch"], message: "branch is required exactly for branch scope" });
+    }
+    if (note.kind === "evidence" && (note.source_ref === undefined || note.source_digest === undefined)) {
+        context.addIssue({ code: "custom", path: ["source_ref"], message: "evidence needs source_ref and source_digest" });
+    }
+    const authoritative = (note.kind === "decision" && note.status === "accepted") || (note.kind === "preference" && note.status === "active");
+    if (authoritative && note.owner === "synorch" && note.reviewed_at === undefined) {
+        context.addIssue({
+            code: "custom",
+            path: ["reviewed_at"],
+            message: "an authoritative decision or preference written by Synorch must record the review that accepted it",
+        });
+    }
+    if (note.relations.some((relation) => relation.target === note.id)) {
+        context.addIssue({ code: "custom", path: ["relations"], message: "a note cannot relate to itself" });
+    }
+});
+export const PROPOSAL_KINDS = ["note", "relation", "contradiction", "status-change"];
+export const memoryProposalSchema = z
+    .strictObject({
+    schema_version: z.literal(1),
+    proposal_id: proposalIdSchema,
+    kind: z.enum(PROPOSAL_KINDS),
+    note: memoryNoteFrontmatterSchema.optional(),
+    body: z.string().optional(),
+    target: memoryIdSchema.optional(),
+    relation: memoryRelationSchema.optional(),
+    new_status: z.string().min(1).optional(),
+    rationale: nonEmptyTextSchema,
+    evidence: z.array(evidenceRefSchema).min(1),
+    /** The run (orchestration) or, for a conversation turn outside any run, just the role (`session`) that proposed it. */
+    created_by: z.strictObject({ run_id: runIdSchema.optional(), task_id: taskIdSchema.optional(), role: z.enum(["orchestrator", "session", "worker", "reviewer"]).optional() }),
+    created_at: timestampSchema,
+    state: z.enum(["pending", "accepted", "rejected", "deferred"]),
+    decision: z
+        .strictObject({
+        by: z.enum(["user", "orchestrator"]),
+        at: timestampSchema,
+        reason: nonEmptyTextSchema,
+        run_id: runIdSchema.optional(),
+    })
+        .optional(),
+})
+    .superRefine((proposal, context) => {
+    const need = (field, when) => {
+        if (when && proposal[field] === undefined) {
+            context.addIssue({ code: "custom", path: [field], message: `${proposal.kind} proposals require ${field}` });
+        }
+    };
+    need("note", proposal.kind === "note");
+    need("target", proposal.kind !== "note");
+    need("relation", proposal.kind === "relation" || proposal.kind === "contradiction");
+    need("new_status", proposal.kind === "status-change");
+    if (proposal.kind === "contradiction" && proposal.relation !== undefined && proposal.relation.type !== "contradicts") {
+        context.addIssue({ code: "custom", path: ["relation", "type"], message: "a contradiction proposal carries a contradicts relation" });
+    }
+    if ((proposal.state === "pending") !== (proposal.decision === undefined)) {
+        context.addIssue({ code: "custom", path: ["decision"], message: "a decision is present exactly when the proposal is no longer pending" });
+    }
+    if (proposal.created_by.run_id === undefined && proposal.created_by.role === undefined) {
+        context.addIssue({ code: "custom", path: ["created_by"], message: "a proposal records the run or the role that created it" });
+    }
+    if (proposal.decision?.by === "orchestrator" && proposal.decision.run_id === undefined) {
+        context.addIssue({ code: "custom", path: ["decision", "run_id"], message: "an orchestrator decision records the run that made it" });
+    }
+});
+/** Where personal memory lives unless overridden: `~/<segments>/<project-id>/`. */
+export const DEFAULT_MEMORY_ROOT_SEGMENTS = [".synorch", "memory"];
+/**
+ * The `memory` configuration section (ADR-16). `root` replaces the personal vault root for this
+ * project (`~` expands to home, relative paths resolve against home); `team_root` names a shared
+ * team vault, which is reserved: v1 accepts it but neither reads nor writes it.
+ */
+export const memoryConfigSchema = z.strictObject({
+    root: z.string().trim().min(1).max(1024).optional(),
+    team_root: z.string().trim().min(1).max(1024).optional(),
+});
+//# sourceMappingURL=memory.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"memory.js","sourceRoot":"","sources":["../../../src/harness/contracts/memory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,WAAW,EAAE,YAAY,EAAc,MAAM,UAAU,CAAC;AAEpG;;;;GAIG;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,CAAU,CAAC;AAG5H,MAAM,CAAC,MAAM,kBAAkB,GAA2C;IACxE,OAAO,EAAE,KAAK;IACd,QAAQ,EAAE,KAAK;IACf,UAAU,EAAE,KAAK;IACjB,QAAQ,EAAE,KAAK;IACf,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,UAAU,EAAE,KAAK;CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAmE;IAC7F,OAAO,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC/B,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC;IAC5D,UAAU,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,aAAa,CAAC;IAC/C,QAAQ,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;IAC9B,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,CAAC;IAC7C,OAAO,EAAE,CAAC,QAAQ,EAAE,YAAY,CAAC;IACjC,UAAU,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;CAClC,CAAC;AAEF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAU,CAAC;AAC7F,mGAAmG;AACnG,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,UAAU,EAAE,YAAY,CAAU,CAAC;AAEzE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE,SAAS,EAAE,iBAAiB,CAAU,CAAC;AAGpI,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,EAAE;KACR,KAAK,CAAC,yDAAyD,EAAE,wCAAwC,CAAC;KAC1G,KAAK,EAAc,CAAC;AAGvB,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC;IACnC,MAAM,EAAE,cAAc;CACvB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC;KACzC,YAAY,CAAC;IACZ,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5B,EAAE,EAAE,cAAc;IAClB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC;IAC1B,UAAU,EAAE,eAAe;IAC3B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;IAC7C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,kBAAkB;IAC9B,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACzC,WAAW,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC1C,UAAU,EAAE,WAAW,CAAC,QAAQ,EAAE;IAClC,WAAW,EAAE,YAAY,CAAC,QAAQ,EAAE;IACpC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAClD,aAAa,EAAE,YAAY,CAAC,QAAQ,EAAE;IACtC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7C,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACnC,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,wBAAwB,EAAE,qBAAqB,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC5F,CAAC;KACD,WAAW,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;IAC7B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,IAAI,CAAC,IAAI,mBAAmB,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACjI,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,0BAA0B,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACvF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9D,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,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,CAAC,EAAE,CAAC;QACpG,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAC;IACrH,CAAC;IACD,MAAM,aAAa,GACjB,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACvH,IAAI,aAAa,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAChF,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,aAAa,CAAC;YACrB,OAAO,EAAE,oGAAoG;SAC9G,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACnE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,gCAAgC,EAAE,CAAC,CAAC;IACvG,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,eAAe,CAAU,CAAC;AAE9F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,YAAY,CAAC;IACZ,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5B,WAAW,EAAE,gBAAgB;IAC7B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC;IAC5B,IAAI,EAAE,2BAA2B,CAAC,QAAQ,EAAE;IAC5C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE;IACjC,QAAQ,EAAE,oBAAoB,CAAC,QAAQ,EAAE;IACzC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxC,SAAS,EAAE,kBAAkB;IAC7B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,uHAAuH;IACvH,UAAU,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC5K,UAAU,EAAE,eAAe;IAC3B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC9D,QAAQ,EAAE,CAAC;SACR,YAAY,CAAC;QACZ,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;QACpC,EAAE,EAAE,eAAe;QACnB,MAAM,EAAE,kBAAkB;QAC1B,MAAM,EAAE,WAAW,CAAC,QAAQ,EAAE;KAC/B,CAAC;SACD,QAAQ,EAAE;CACd,CAAC;KACD,WAAW,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;IACjC,MAAM,IAAI,GAAG,CAAC,KAAoD,EAAE,IAAa,EAAQ,EAAE;QACzF,IAAI,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,sBAAsB,KAAK,EAAE,EAAE,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACvC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IACpF,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IACtD,IAAI,QAAQ,CAAC,IAAI,KAAK,eAAe,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACrH,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,yDAAyD,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,sEAAsE,EAAE,CAAC,CAAC;IAC5I,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvF,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;IAChI,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,EAAE,EAAE,KAAK,cAAc,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvF,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,uDAAuD,EAAE,CAAC,CAAC;IACvI,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,mFAAmF;AACnF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAU,CAAC;AAE5E;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC/C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IACnD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACzD,CAAC,CAAC"}