open-multi-agent-kit 0.96.0 → 0.96.2

package/dist/core/durable-goal-checkpoint.js

@@ -0,0 +1,195 @@
+import { createHash } from "node:crypto";
+import { computeDurableGoalGeneration, DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION, DurableGoalError, freshDurableGoalEvidence, } from "./durable-goal.js";
+import { redactSensitiveTextForced } from "./redaction.js";
+import { isExactRecord } from "./strict-record.js";
+const MAX_LIST_ITEMS = 12;
+const MAX_ITEM_CHARS = 512;
+const MAX_NEXT_CHARS = 1_024;
+const DIGEST_PATTERN = /^[0-9a-f]{64}$/u;
+export function createDurableGoalCheckpoint(goal, input, now) {
+    const capturedAt = timestamp(input.capturedAt, "checkpoint capturedAt");
+    if (Date.parse(capturedAt) < Date.parse(goal.generationStartedAt) || Date.parse(capturedAt) > Date.parse(now)) {
+        throw new DurableGoalError("invalid-input", "checkpoint timestamp is outside current goal generation");
+    }
+    const verifiedEvidenceIds = evidenceIds(input.verifiedEvidenceIds, "invalid-input");
+    const freshEvidence = freshDurableGoalEvidence(goal);
+    if (verifiedEvidenceIds.some((id) => {
+        const evidence = freshEvidence.find((candidate) => candidate.id === id);
+        return !evidence || Date.parse(evidence.capturedAt) > Date.parse(capturedAt);
+    })) {
+        throw new DurableGoalError("invalid-input", "checkpoint evidence must reference fresh goal evidence");
+    }
+    return seal({
+        schemaVersion: DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION,
+        goalGeneration: computeDurableGoalGeneration(goal),
+        core: textList(input.core, "checkpoint core", "invalid-input"),
+        verifiedEvidenceIds,
+        open: textList(input.open, "checkpoint open", "invalid-input"),
+        next: text(input.next, MAX_NEXT_CHARS, "checkpoint next", "invalid-input"),
+        capturedAt,
+    });
+}
+export function parseDurableGoalCheckpoint(value, goal) {
+    if (!isExactRecord(value, [
+        "schemaVersion",
+        "goalGeneration",
+        "core",
+        "verifiedEvidenceIds",
+        "open",
+        "next",
+        "capturedAt",
+        "digest",
+    ])) {
+        throw invalidStore();
+    }
+    if (value.schemaVersion !== DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION ||
+        !DIGEST_PATTERN.test(stringValue(value.goalGeneration))) {
+        throw invalidStore();
+    }
+    const capturedAt = persistedTimestamp(value.capturedAt);
+    if (Date.parse(capturedAt) < Date.parse(goal.createdAt) || Date.parse(capturedAt) > Date.parse(goal.updatedAt)) {
+        throw invalidStore();
+    }
+    const material = {
+        schemaVersion: DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION,
+        goalGeneration: stringValue(value.goalGeneration),
+        core: persistedTextList(value.core),
+        verifiedEvidenceIds: persistedEvidenceIds(value.verifiedEvidenceIds),
+        open: persistedTextList(value.open),
+        next: persistedText(value.next, MAX_NEXT_CHARS),
+        capturedAt,
+    };
+    const checkpoint = seal(material);
+    if (checkpoint.digest !== value.digest)
+        throw invalidStore();
+    for (const id of checkpoint.verifiedEvidenceIds) {
+        const evidence = goal.evidence.find((candidate) => candidate.id === id && candidate.goalGeneration === checkpoint.goalGeneration);
+        if (!evidence || Date.parse(evidence.capturedAt) > Date.parse(checkpoint.capturedAt))
+            throw invalidStore();
+    }
+    return checkpoint;
+}
+export function formatDurableGoalCheckpoint(goal) {
+    const checkpoint = goal.checkpoint;
+    if (!checkpoint)
+        return `Goal: ${goal.objective}\nCheckpoint: none`;
+    return [
+        `Goal: ${goal.objective}`,
+        section("Core", checkpoint.core),
+        section("Verified", checkpoint.verifiedEvidenceIds),
+        section("Open", checkpoint.open),
+        `Next: ${checkpoint.next}`,
+    ].join("\n");
+}
+export function parseDurableGoalCheckpointCommand(payload, capturedAt) {
+    if (typeof payload !== "string" || payload.length === 0 || payload.length > 16_384) {
+        throw new DurableGoalError("invalid-input", "checkpoint JSON is invalid");
+    }
+    let value;
+    try {
+        value = JSON.parse(payload);
+    }
+    catch {
+        throw new DurableGoalError("invalid-input", "checkpoint JSON is invalid");
+    }
+    if (!isExactRecord(value, ["core", "verified", "open", "next"]) ||
+        !isStringArray(value.core) ||
+        !isStringArray(value.verified) ||
+        !isStringArray(value.open) ||
+        typeof value.next !== "string" ||
+        !isCanonicalTimestamp(capturedAt)) {
+        throw new DurableGoalError("invalid-input", "checkpoint JSON is invalid");
+    }
+    return {
+        core: value.core,
+        verifiedEvidenceIds: value.verified,
+        open: value.open,
+        next: value.next,
+        capturedAt,
+    };
+}
+function seal(material) {
+    return { ...material, digest: createHash("sha256").update(JSON.stringify(material)).digest("hex") };
+}
+function textList(value, label, code) {
+    if (!Array.isArray(value) || value.length > MAX_LIST_ITEMS)
+        throw goalError(code, `${label} is invalid`);
+    const items = value.map((item) => text(item, MAX_ITEM_CHARS, label, code));
+    if (new Set(items).size !== items.length)
+        throw goalError(code, `${label} contains duplicates`);
+    return items;
+}
+function evidenceIds(value, code) {
+    const ids = textList(value, "checkpoint verified evidence", code);
+    if (ids.some((id) => redactSensitiveTextForced(id) !== id)) {
+        throw goalError(code, "checkpoint evidence id contains credential-shaped text");
+    }
+    return ids;
+}
+function text(value, maxChars, label, code) {
+    if (typeof value !== "string")
+        throw goalError(code, `${label} must be text`);
+    const redacted = redactSensitiveTextForced(value).trim();
+    if (redacted.length === 0 || redacted.length > maxChars)
+        throw goalError(code, `${label} is invalid`);
+    return redacted;
+}
+function timestamp(value, label) {
+    if (!isCanonicalTimestamp(value)) {
+        throw new DurableGoalError("invalid-input", `${label} must be an ISO timestamp`);
+    }
+    return value;
+}
+function persistedTextList(value) {
+    if (!Array.isArray(value) || value.some((item) => typeof item !== "string"))
+        throw invalidStore();
+    const items = textList(value, "checkpoint text", "invalid-store");
+    if (items.some((item, index) => item !== value[index]))
+        throw invalidStore();
+    return items;
+}
+function persistedEvidenceIds(value) {
+    if (!Array.isArray(value) || value.some((item) => typeof item !== "string"))
+        throw invalidStore();
+    const ids = evidenceIds(value, "invalid-store");
+    if (ids.some((id, index) => id !== value[index]))
+        throw invalidStore();
+    return ids;
+}
+function persistedText(value, maxChars) {
+    if (typeof value !== "string")
+        throw invalidStore();
+    const parsed = text(value, maxChars, "checkpoint text", "invalid-store");
+    if (parsed !== value)
+        throw invalidStore();
+    return parsed;
+}
+function persistedTimestamp(value) {
+    if (!isCanonicalTimestamp(value))
+        throw invalidStore();
+    return value;
+}
+function isCanonicalTimestamp(value) {
+    if (typeof value !== "string" || value.length === 0)
+        return false;
+    const timestamp = Date.parse(value);
+    return !Number.isNaN(timestamp) && new Date(timestamp).toISOString() === value;
+}
+function section(label, values) {
+    return values.length === 0 ? `${label}: (none)` : `${label}: ${values.join(" | ")}`;
+}
+function stringValue(value) {
+    if (typeof value !== "string")
+        throw invalidStore();
+    return value;
+}
+function isStringArray(value) {
+    return Array.isArray(value) && value.every((item) => typeof item === "string");
+}
+function goalError(code, message) {
+    return code === "invalid-store" ? invalidStore() : new DurableGoalError(code, message);
+}
+function invalidStore() {
+    return new DurableGoalError("invalid-store", "durable goal journal is invalid");
+}
+//# sourceMappingURL=durable-goal-checkpoint.js.map

package/dist/core/durable-goal-checkpoint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-goal-checkpoint.js","sourceRoot":"","sources":["../../src/core/durable-goal-checkpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACN,4BAA4B,EAC5B,sCAAsC,EAGtC,gBAAgB,EAEhB,wBAAwB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,MAAM,cAAc,GAAG,EAAE,CAAC;AAC1B,MAAM,cAAc,GAAG,GAAG,CAAC;AAC3B,MAAM,cAAc,GAAG,KAAK,CAAC;AAC7B,MAAM,cAAc,GAAG,iBAAiB,CAAC;AAEzC,MAAM,UAAU,2BAA2B,CAC1C,IAAyB,EACzB,KAAiC,EACjC,GAAW,EACa;IACxB,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAC;IACxE,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/G,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,yDAAyD,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,mBAAmB,GAAG,WAAW,CAAC,KAAK,CAAC,mBAAmB,EAAE,eAAe,CAAC,CAAC;IACpF,MAAM,aAAa,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACrD,IACC,mBAAmB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAAA,CAC7E,CAAC,EACD,CAAC;QACF,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,wDAAwD,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,IAAI,CAAC;QACX,aAAa,EAAE,sCAAsC;QACrD,cAAc,EAAE,4BAA4B,CAAC,IAAI,CAAC;QAClD,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,EAAE,eAAe,CAAC;QAC9D,mBAAmB;QACnB,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,iBAAiB,EAAE,eAAe,CAAC;QAC9D,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,CAAC;QAC1E,UAAU;KACV,CAAC,CAAC;AAAA,CACH;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAc,EAAE,IAAyB,EAAyB;IAC5G,IACC,CAAC,aAAa,CAAC,KAAK,EAAE;QACrB,eAAe;QACf,gBAAgB;QAChB,MAAM;QACN,qBAAqB;QACrB,MAAM;QACN,MAAM;QACN,YAAY;QACZ,QAAQ;KACR,CAAC,EACD,CAAC;QACF,MAAM,YAAY,EAAE,CAAC;IACtB,CAAC;IACD,IACC,KAAK,CAAC,aAAa,KAAK,sCAAsC;QAC9D,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EACtD,CAAC;QACF,MAAM,YAAY,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAChH,MAAM,YAAY,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG;QAChB,aAAa,EAAE,sCAAsC;QACrD,cAAc,EAAE,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC;QACjD,IAAI,EAAE,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,mBAAmB,EAAE,oBAAoB,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACpE,IAAI,EAAE,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC;QAC/C,UAAU;KACV,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,YAAY,EAAE,CAAC;IAC7D,KAAK,MAAM,EAAE,IAAI,UAAU,CAAC,mBAAmB,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAClC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,SAAS,CAAC,cAAc,KAAK,UAAU,CAAC,cAAc,CAC5F,CAAC;QACF,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;YAAE,MAAM,YAAY,EAAE,CAAC;IAC5G,CAAC;IACD,OAAO,UAAU,CAAC;AAAA,CAClB;AAED,MAAM,UAAU,2BAA2B,CAAC,IAAyB,EAAU;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,IAAI,CAAC,SAAS,oBAAoB,CAAC;IACpE,OAAO;QACN,SAAS,IAAI,CAAC,SAAS,EAAE;QACzB,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;QAChC,OAAO,CAAC,UAAU,EAAE,UAAU,CAAC,mBAAmB,CAAC;QACnD,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC;QAChC,SAAS,UAAU,CAAC,IAAI,EAAE;KAC1B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb;AAED,MAAM,UAAU,iCAAiC,CAAC,OAAe,EAAE,UAAkB,EAA8B;IAClH,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC;QACpF,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,4BAA4B,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACJ,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACR,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,4BAA4B,CAAC,CAAC;IAC3E,CAAC;IACD,IACC,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3D,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1B,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC9B,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1B,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAChC,CAAC;QACF,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,4BAA4B,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,mBAAmB,EAAE,KAAK,CAAC,QAAQ;QACnC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,UAAU;KACV,CAAC;AAAA,CACF;AAED,SAAS,IAAI,CAAC,QAA+C,EAAyB;IACrF,OAAO,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAAA,CACpG;AAED,SAAS,QAAQ,CAAC,KAAwB,EAAE,KAAa,EAAE,IAAuC,EAAqB;IACtH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,cAAc;QAAE,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;IACzG,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM;QAAE,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,sBAAsB,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,WAAW,CAAC,KAAwB,EAAE,IAAuC,EAAqB;IAC1G,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,8BAA8B,EAAE,IAAI,CAAC,CAAC;IAClE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5D,MAAM,SAAS,CAAC,IAAI,EAAE,wDAAwD,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,GAAG,CAAC;AAAA,CACX;AAED,SAAS,IAAI,CAAC,KAAa,EAAE,QAAgB,EAAE,KAAa,EAAE,IAAuC,EAAU;IAC9G,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,eAAe,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,QAAQ;QAAE,MAAM,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;IACtG,OAAO,QAAQ,CAAC;AAAA,CAChB;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa,EAAU;IACxD,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,GAAG,KAAK,2BAA2B,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,iBAAiB,CAAC,KAAc,EAAqB;IAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAClG,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,eAAe,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAC7E,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAqB;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAClG,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;IAChD,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACvE,OAAO,GAAG,CAAC;AAAA,CACX;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,QAAgB,EAAU;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,YAAY,EAAE,CAAC;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAE,eAAe,CAAC,CAAC;IACzE,IAAI,MAAM,KAAK,KAAK;QAAE,MAAM,YAAY,EAAE,CAAC;IAC3C,OAAO,MAAM,CAAC;AAAA,CACd;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAU;IACnD,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACvD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAmB;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC;AAAA,CAC/E;AAED,SAAS,OAAO,CAAC,KAAa,EAAE,MAAyB,EAAU;IAClE,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;AAAA,CACpF;AAED,SAAS,WAAW,CAAC,KAAc,EAAU;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,MAAM,YAAY,EAAE,CAAC;IACpD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,aAAa,CAAC,KAAc,EAA8B;IAClE,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;AAAA,CAC/E;AAED,SAAS,SAAS,CAAC,IAAuC,EAAE,OAAe,EAAoB;IAC9F,OAAO,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAAA,CACvF;AAED,SAAS,YAAY,GAAqB;IACzC,OAAO,IAAI,gBAAgB,CAAC,eAAe,EAAE,iCAAiC,CAAC,CAAC;AAAA,CAChF","sourcesContent":["import { createHash } from \"node:crypto\";\nimport {\n\tcomputeDurableGoalGeneration,\n\tDURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION,\n\ttype DurableGoalCheckpoint,\n\ttype DurableGoalCheckpointInput,\n\tDurableGoalError,\n\ttype DurableGoalSnapshot,\n\tfreshDurableGoalEvidence,\n} from \"./durable-goal.ts\";\nimport { redactSensitiveTextForced } from \"./redaction.ts\";\nimport { isExactRecord } from \"./strict-record.ts\";\n\nconst MAX_LIST_ITEMS = 12;\nconst MAX_ITEM_CHARS = 512;\nconst MAX_NEXT_CHARS = 1_024;\nconst DIGEST_PATTERN = /^[0-9a-f]{64}$/u;\n\nexport function createDurableGoalCheckpoint(\n\tgoal: DurableGoalSnapshot,\n\tinput: DurableGoalCheckpointInput,\n\tnow: string,\n): DurableGoalCheckpoint {\n\tconst capturedAt = timestamp(input.capturedAt, \"checkpoint capturedAt\");\n\tif (Date.parse(capturedAt) < Date.parse(goal.generationStartedAt) || Date.parse(capturedAt) > Date.parse(now)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"checkpoint timestamp is outside current goal generation\");\n\t}\n\tconst verifiedEvidenceIds = evidenceIds(input.verifiedEvidenceIds, \"invalid-input\");\n\tconst freshEvidence = freshDurableGoalEvidence(goal);\n\tif (\n\t\tverifiedEvidenceIds.some((id) => {\n\t\t\tconst evidence = freshEvidence.find((candidate) => candidate.id === id);\n\t\t\treturn !evidence || Date.parse(evidence.capturedAt) > Date.parse(capturedAt);\n\t\t})\n\t) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"checkpoint evidence must reference fresh goal evidence\");\n\t}\n\treturn seal({\n\t\tschemaVersion: DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION,\n\t\tgoalGeneration: computeDurableGoalGeneration(goal),\n\t\tcore: textList(input.core, \"checkpoint core\", \"invalid-input\"),\n\t\tverifiedEvidenceIds,\n\t\topen: textList(input.open, \"checkpoint open\", \"invalid-input\"),\n\t\tnext: text(input.next, MAX_NEXT_CHARS, \"checkpoint next\", \"invalid-input\"),\n\t\tcapturedAt,\n\t});\n}\n\nexport function parseDurableGoalCheckpoint(value: unknown, goal: DurableGoalSnapshot): DurableGoalCheckpoint {\n\tif (\n\t\t!isExactRecord(value, [\n\t\t\t\"schemaVersion\",\n\t\t\t\"goalGeneration\",\n\t\t\t\"core\",\n\t\t\t\"verifiedEvidenceIds\",\n\t\t\t\"open\",\n\t\t\t\"next\",\n\t\t\t\"capturedAt\",\n\t\t\t\"digest\",\n\t\t])\n\t) {\n\t\tthrow invalidStore();\n\t}\n\tif (\n\t\tvalue.schemaVersion !== DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION ||\n\t\t!DIGEST_PATTERN.test(stringValue(value.goalGeneration))\n\t) {\n\t\tthrow invalidStore();\n\t}\n\tconst capturedAt = persistedTimestamp(value.capturedAt);\n\tif (Date.parse(capturedAt) < Date.parse(goal.createdAt) || Date.parse(capturedAt) > Date.parse(goal.updatedAt)) {\n\t\tthrow invalidStore();\n\t}\n\tconst material = {\n\t\tschemaVersion: DURABLE_GOAL_CHECKPOINT_SCHEMA_VERSION,\n\t\tgoalGeneration: stringValue(value.goalGeneration),\n\t\tcore: persistedTextList(value.core),\n\t\tverifiedEvidenceIds: persistedEvidenceIds(value.verifiedEvidenceIds),\n\t\topen: persistedTextList(value.open),\n\t\tnext: persistedText(value.next, MAX_NEXT_CHARS),\n\t\tcapturedAt,\n\t};\n\tconst checkpoint = seal(material);\n\tif (checkpoint.digest !== value.digest) throw invalidStore();\n\tfor (const id of checkpoint.verifiedEvidenceIds) {\n\t\tconst evidence = goal.evidence.find(\n\t\t\t(candidate) => candidate.id === id && candidate.goalGeneration === checkpoint.goalGeneration,\n\t\t);\n\t\tif (!evidence || Date.parse(evidence.capturedAt) > Date.parse(checkpoint.capturedAt)) throw invalidStore();\n\t}\n\treturn checkpoint;\n}\n\nexport function formatDurableGoalCheckpoint(goal: DurableGoalSnapshot): string {\n\tconst checkpoint = goal.checkpoint;\n\tif (!checkpoint) return `Goal: ${goal.objective}\\nCheckpoint: none`;\n\treturn [\n\t\t`Goal: ${goal.objective}`,\n\t\tsection(\"Core\", checkpoint.core),\n\t\tsection(\"Verified\", checkpoint.verifiedEvidenceIds),\n\t\tsection(\"Open\", checkpoint.open),\n\t\t`Next: ${checkpoint.next}`,\n\t].join(\"\\n\");\n}\n\nexport function parseDurableGoalCheckpointCommand(payload: string, capturedAt: string): DurableGoalCheckpointInput {\n\tif (typeof payload !== \"string\" || payload.length === 0 || payload.length > 16_384) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"checkpoint JSON is invalid\");\n\t}\n\tlet value: unknown;\n\ttry {\n\t\tvalue = JSON.parse(payload);\n\t} catch {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"checkpoint JSON is invalid\");\n\t}\n\tif (\n\t\t!isExactRecord(value, [\"core\", \"verified\", \"open\", \"next\"]) ||\n\t\t!isStringArray(value.core) ||\n\t\t!isStringArray(value.verified) ||\n\t\t!isStringArray(value.open) ||\n\t\ttypeof value.next !== \"string\" ||\n\t\t!isCanonicalTimestamp(capturedAt)\n\t) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"checkpoint JSON is invalid\");\n\t}\n\treturn {\n\t\tcore: value.core,\n\t\tverifiedEvidenceIds: value.verified,\n\t\topen: value.open,\n\t\tnext: value.next,\n\t\tcapturedAt,\n\t};\n}\n\nfunction seal(material: Omit<DurableGoalCheckpoint, \"digest\">): DurableGoalCheckpoint {\n\treturn { ...material, digest: createHash(\"sha256\").update(JSON.stringify(material)).digest(\"hex\") };\n}\n\nfunction textList(value: readonly string[], label: string, code: \"invalid-input\" | \"invalid-store\"): readonly string[] {\n\tif (!Array.isArray(value) || value.length > MAX_LIST_ITEMS) throw goalError(code, `${label} is invalid`);\n\tconst items = value.map((item) => text(item, MAX_ITEM_CHARS, label, code));\n\tif (new Set(items).size !== items.length) throw goalError(code, `${label} contains duplicates`);\n\treturn items;\n}\n\nfunction evidenceIds(value: readonly string[], code: \"invalid-input\" | \"invalid-store\"): readonly string[] {\n\tconst ids = textList(value, \"checkpoint verified evidence\", code);\n\tif (ids.some((id) => redactSensitiveTextForced(id) !== id)) {\n\t\tthrow goalError(code, \"checkpoint evidence id contains credential-shaped text\");\n\t}\n\treturn ids;\n}\n\nfunction text(value: string, maxChars: number, label: string, code: \"invalid-input\" | \"invalid-store\"): string {\n\tif (typeof value !== \"string\") throw goalError(code, `${label} must be text`);\n\tconst redacted = redactSensitiveTextForced(value).trim();\n\tif (redacted.length === 0 || redacted.length > maxChars) throw goalError(code, `${label} is invalid`);\n\treturn redacted;\n}\n\nfunction timestamp(value: string, label: string): string {\n\tif (!isCanonicalTimestamp(value)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", `${label} must be an ISO timestamp`);\n\t}\n\treturn value;\n}\n\nfunction persistedTextList(value: unknown): readonly string[] {\n\tif (!Array.isArray(value) || value.some((item) => typeof item !== \"string\")) throw invalidStore();\n\tconst items = textList(value, \"checkpoint text\", \"invalid-store\");\n\tif (items.some((item, index) => item !== value[index])) throw invalidStore();\n\treturn items;\n}\n\nfunction persistedEvidenceIds(value: unknown): readonly string[] {\n\tif (!Array.isArray(value) || value.some((item) => typeof item !== \"string\")) throw invalidStore();\n\tconst ids = evidenceIds(value, \"invalid-store\");\n\tif (ids.some((id, index) => id !== value[index])) throw invalidStore();\n\treturn ids;\n}\n\nfunction persistedText(value: unknown, maxChars: number): string {\n\tif (typeof value !== \"string\") throw invalidStore();\n\tconst parsed = text(value, maxChars, \"checkpoint text\", \"invalid-store\");\n\tif (parsed !== value) throw invalidStore();\n\treturn parsed;\n}\n\nfunction persistedTimestamp(value: unknown): string {\n\tif (!isCanonicalTimestamp(value)) throw invalidStore();\n\treturn value;\n}\n\nfunction isCanonicalTimestamp(value: unknown): value is string {\n\tif (typeof value !== \"string\" || value.length === 0) return false;\n\tconst timestamp = Date.parse(value);\n\treturn !Number.isNaN(timestamp) && new Date(timestamp).toISOString() === value;\n}\n\nfunction section(label: string, values: readonly string[]): string {\n\treturn values.length === 0 ? `${label}: (none)` : `${label}: ${values.join(\" | \")}`;\n}\n\nfunction stringValue(value: unknown): string {\n\tif (typeof value !== \"string\") throw invalidStore();\n\treturn value;\n}\n\nfunction isStringArray(value: unknown): value is readonly string[] {\n\treturn Array.isArray(value) && value.every((item) => typeof item === \"string\");\n}\n\nfunction goalError(code: \"invalid-input\" | \"invalid-store\", message: string): DurableGoalError {\n\treturn code === \"invalid-store\" ? invalidStore() : new DurableGoalError(code, message);\n}\n\nfunction invalidStore(): DurableGoalError {\n\treturn new DurableGoalError(\"invalid-store\", \"durable goal journal is invalid\");\n}\n"]}

package/dist/core/durable-goal-parse.d.ts

@@ -0,0 +1,3 @@
+import { type DurableGoalSnapshot } from "./durable-goal.ts";
+export declare function parseDurableGoalSnapshot(value: unknown): DurableGoalSnapshot;
+//# sourceMappingURL=durable-goal-parse.d.ts.map

package/dist/core/durable-goal-parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-goal-parse.d.ts","sourceRoot":"","sources":["../../src/core/durable-goal-parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAKN,KAAK,mBAAmB,EAGxB,MAAM,mBAAmB,CAAC;AAG3B,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,CAiC5E","sourcesContent":["import {\n\tDURABLE_GOAL_SCHEMA_VERSION,\n\tDURABLE_GOAL_STATUS_VALUES,\n\tDurableGoalError,\n\ttype DurableGoalEvidence,\n\ttype DurableGoalSnapshot,\n\ttype DurableGoalStatus,\n\tfreshDurableGoalEvidence,\n} from \"./durable-goal.ts\";\nimport { parseDurableGoalCheckpoint } from \"./durable-goal-checkpoint.ts\";\n\nexport function parseDurableGoalSnapshot(value: unknown): DurableGoalSnapshot {\n\tif (!isRecord(value) || value.schemaVersion !== DURABLE_GOAL_SCHEMA_VERSION || !isRecord(value.ref)) {\n\t\tthrow invalidStore();\n\t}\n\tconst status = value.status;\n\tif (!isGoalStatus(status) || !Array.isArray(value.evidence)) throw invalidStore();\n\tconst base: DurableGoalSnapshot = {\n\t\tschemaVersion: DURABLE_GOAL_SCHEMA_VERSION,\n\t\tref: { id: requireText(value.ref.id), revision: requirePositiveInteger(value.ref.revision) },\n\t\tobjective: requireText(value.objective),\n\t\tstatus,\n\t\tmaxRounds: requirePositiveInteger(value.maxRounds),\n\t\tcompletedRounds: requireNonNegativeInteger(value.completedRounds),\n\t\tevidence: value.evidence.map(parseEvidence),\n\t\tcreatedAt: requireTimestamp(value.createdAt),\n\t\tgenerationStartedAt: requireTimestamp(value.generationStartedAt),\n\t\tupdatedAt: requireTimestamp(value.updatedAt),\n\t\t...(value.blockedReason === undefined ? {} : { blockedReason: requireText(value.blockedReason) }),\n\t\t...(value.terminalAt === undefined ? {} : { terminalAt: requireTimestamp(value.terminalAt) }),\n\t};\n\tconst snapshot: DurableGoalSnapshot =\n\t\tvalue.checkpoint === undefined\n\t\t\t? base\n\t\t\t: { ...base, checkpoint: parseDurableGoalCheckpoint(value.checkpoint, base) };\n\tif (snapshot.completedRounds > snapshot.maxRounds) throw invalidStore();\n\tif (Date.parse(snapshot.generationStartedAt) < Date.parse(snapshot.createdAt)) throw invalidStore();\n\tif (Date.parse(snapshot.generationStartedAt) > Date.parse(snapshot.updatedAt)) throw invalidStore();\n\tif ((snapshot.status === \"blocked\") !== (snapshot.blockedReason !== undefined)) throw invalidStore();\n\tif ((snapshot.status === \"completed\" || snapshot.status === \"cleared\") !== (snapshot.terminalAt !== undefined)) {\n\t\tthrow invalidStore();\n\t}\n\tif (snapshot.status === \"completed\" && freshDurableGoalEvidence(snapshot).length === 0) throw invalidStore();\n\treturn snapshot;\n}\n\nfunction parseEvidence(value: unknown): DurableGoalEvidence {\n\tif (!isRecord(value)) throw invalidStore();\n\treturn {\n\t\tid: requireText(value.id),\n\t\tdigest: requireDigest(value.digest),\n\t\tcapturedAt: requireTimestamp(value.capturedAt),\n\t\tgoalGeneration: requireDigest(value.goalGeneration),\n\t};\n}\n\nfunction requireText(value: unknown): string {\n\tif (typeof value !== \"string\" || value.trim().length === 0) throw invalidStore();\n\treturn value;\n}\n\nfunction requirePositiveInteger(value: unknown): number {\n\tif (typeof value !== \"number\" || !Number.isSafeInteger(value) || value < 1) throw invalidStore();\n\treturn value;\n}\n\nfunction requireNonNegativeInteger(value: unknown): number {\n\tif (typeof value !== \"number\" || !Number.isSafeInteger(value) || value < 0) throw invalidStore();\n\treturn value;\n}\n\nfunction requireTimestamp(value: unknown): string {\n\tif (typeof value !== \"string\" || value.length === 0 || Number.isNaN(Date.parse(value))) throw invalidStore();\n\treturn value;\n}\n\nfunction requireDigest(value: unknown): string {\n\tif (typeof value !== \"string\" || !/^[0-9a-f]{64}$/u.test(value)) throw invalidStore();\n\treturn value;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction isGoalStatus(value: unknown): value is DurableGoalStatus {\n\treturn typeof value === \"string\" && DURABLE_GOAL_STATUS_VALUES.some((status) => status === value);\n}\n\nfunction invalidStore(): DurableGoalError {\n\treturn new DurableGoalError(\"invalid-store\", \"durable goal journal is invalid\");\n}\n"]}

package/dist/core/durable-goal-parse.js

@@ -0,0 +1,86 @@
+import { DURABLE_GOAL_SCHEMA_VERSION, DURABLE_GOAL_STATUS_VALUES, DurableGoalError, freshDurableGoalEvidence, } from "./durable-goal.js";
+import { parseDurableGoalCheckpoint } from "./durable-goal-checkpoint.js";
+export function parseDurableGoalSnapshot(value) {
+    if (!isRecord(value) || value.schemaVersion !== DURABLE_GOAL_SCHEMA_VERSION || !isRecord(value.ref)) {
+        throw invalidStore();
+    }
+    const status = value.status;
+    if (!isGoalStatus(status) || !Array.isArray(value.evidence))
+        throw invalidStore();
+    const base = {
+        schemaVersion: DURABLE_GOAL_SCHEMA_VERSION,
+        ref: { id: requireText(value.ref.id), revision: requirePositiveInteger(value.ref.revision) },
+        objective: requireText(value.objective),
+        status,
+        maxRounds: requirePositiveInteger(value.maxRounds),
+        completedRounds: requireNonNegativeInteger(value.completedRounds),
+        evidence: value.evidence.map(parseEvidence),
+        createdAt: requireTimestamp(value.createdAt),
+        generationStartedAt: requireTimestamp(value.generationStartedAt),
+        updatedAt: requireTimestamp(value.updatedAt),
+        ...(value.blockedReason === undefined ? {} : { blockedReason: requireText(value.blockedReason) }),
+        ...(value.terminalAt === undefined ? {} : { terminalAt: requireTimestamp(value.terminalAt) }),
+    };
+    const snapshot = value.checkpoint === undefined
+        ? base
+        : { ...base, checkpoint: parseDurableGoalCheckpoint(value.checkpoint, base) };
+    if (snapshot.completedRounds > snapshot.maxRounds)
+        throw invalidStore();
+    if (Date.parse(snapshot.generationStartedAt) < Date.parse(snapshot.createdAt))
+        throw invalidStore();
+    if (Date.parse(snapshot.generationStartedAt) > Date.parse(snapshot.updatedAt))
+        throw invalidStore();
+    if ((snapshot.status === "blocked") !== (snapshot.blockedReason !== undefined))
+        throw invalidStore();
+    if ((snapshot.status === "completed" || snapshot.status === "cleared") !== (snapshot.terminalAt !== undefined)) {
+        throw invalidStore();
+    }
+    if (snapshot.status === "completed" && freshDurableGoalEvidence(snapshot).length === 0)
+        throw invalidStore();
+    return snapshot;
+}
+function parseEvidence(value) {
+    if (!isRecord(value))
+        throw invalidStore();
+    return {
+        id: requireText(value.id),
+        digest: requireDigest(value.digest),
+        capturedAt: requireTimestamp(value.capturedAt),
+        goalGeneration: requireDigest(value.goalGeneration),
+    };
+}
+function requireText(value) {
+    if (typeof value !== "string" || value.trim().length === 0)
+        throw invalidStore();
+    return value;
+}
+function requirePositiveInteger(value) {
+    if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 1)
+        throw invalidStore();
+    return value;
+}
+function requireNonNegativeInteger(value) {
+    if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 0)
+        throw invalidStore();
+    return value;
+}
+function requireTimestamp(value) {
+    if (typeof value !== "string" || value.length === 0 || Number.isNaN(Date.parse(value)))
+        throw invalidStore();
+    return value;
+}
+function requireDigest(value) {
+    if (typeof value !== "string" || !/^[0-9a-f]{64}$/u.test(value))
+        throw invalidStore();
+    return value;
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function isGoalStatus(value) {
+    return typeof value === "string" && DURABLE_GOAL_STATUS_VALUES.some((status) => status === value);
+}
+function invalidStore() {
+    return new DurableGoalError("invalid-store", "durable goal journal is invalid");
+}
+//# sourceMappingURL=durable-goal-parse.js.map

package/dist/core/durable-goal-parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-goal-parse.js","sourceRoot":"","sources":["../../src/core/durable-goal-parse.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,2BAA2B,EAC3B,0BAA0B,EAC1B,gBAAgB,EAIhB,wBAAwB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAE1E,MAAM,UAAU,wBAAwB,CAAC,KAAc,EAAuB;IAC7E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,KAAK,2BAA2B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACrG,MAAM,YAAY,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAClF,MAAM,IAAI,GAAwB;QACjC,aAAa,EAAE,2BAA2B;QAC1C,GAAG,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;QAC5F,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC;QACvC,MAAM;QACN,SAAS,EAAE,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC;QAClD,eAAe,EAAE,yBAAyB,CAAC,KAAK,CAAC,eAAe,CAAC;QACjE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC;QAC3C,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,SAAS,CAAC;QAC5C,mBAAmB,EAAE,gBAAgB,CAAC,KAAK,CAAC,mBAAmB,CAAC;QAChE,SAAS,EAAE,gBAAgB,CAAC,KAAK,CAAC,SAAS,CAAC;QAC5C,GAAG,CAAC,KAAK,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QACjG,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;KAC7F,CAAC;IACF,MAAM,QAAQ,GACb,KAAK,CAAC,UAAU,KAAK,SAAS;QAC7B,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,IAAI,QAAQ,CAAC,eAAe,GAAG,QAAQ,CAAC,SAAS;QAAE,MAAM,YAAY,EAAE,CAAC;IACxE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACpG,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACpG,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACrG,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,WAAW,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,EAAE,CAAC;QAChH,MAAM,YAAY,EAAE,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,WAAW,IAAI,wBAAwB,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAC7G,OAAO,QAAQ,CAAC;AAAA,CAChB;AAED,SAAS,aAAa,CAAC,KAAc,EAAuB;IAC3D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAC3C,OAAO;QACN,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;QACnC,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC9C,cAAc,EAAE,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC;KACnD,CAAC;AAAA,CACF;AAED,SAAS,WAAW,CAAC,KAAc,EAAU;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACjF,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAU;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACjG,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,yBAAyB,CAAC,KAAc,EAAU;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACjG,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAU;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IAC7G,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,aAAa,CAAC,KAAc,EAAU;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,YAAY,EAAE,CAAC;IACtF,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,QAAQ,CAAC,KAAc,EAAoC;IACnE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CAC5E;AAED,SAAS,YAAY,CAAC,KAAc,EAA8B;IACjE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,0BAA0B,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;AAAA,CAClG;AAED,SAAS,YAAY,GAAqB;IACzC,OAAO,IAAI,gBAAgB,CAAC,eAAe,EAAE,iCAAiC,CAAC,CAAC;AAAA,CAChF","sourcesContent":["import {\n\tDURABLE_GOAL_SCHEMA_VERSION,\n\tDURABLE_GOAL_STATUS_VALUES,\n\tDurableGoalError,\n\ttype DurableGoalEvidence,\n\ttype DurableGoalSnapshot,\n\ttype DurableGoalStatus,\n\tfreshDurableGoalEvidence,\n} from \"./durable-goal.ts\";\nimport { parseDurableGoalCheckpoint } from \"./durable-goal-checkpoint.ts\";\n\nexport function parseDurableGoalSnapshot(value: unknown): DurableGoalSnapshot {\n\tif (!isRecord(value) || value.schemaVersion !== DURABLE_GOAL_SCHEMA_VERSION || !isRecord(value.ref)) {\n\t\tthrow invalidStore();\n\t}\n\tconst status = value.status;\n\tif (!isGoalStatus(status) || !Array.isArray(value.evidence)) throw invalidStore();\n\tconst base: DurableGoalSnapshot = {\n\t\tschemaVersion: DURABLE_GOAL_SCHEMA_VERSION,\n\t\tref: { id: requireText(value.ref.id), revision: requirePositiveInteger(value.ref.revision) },\n\t\tobjective: requireText(value.objective),\n\t\tstatus,\n\t\tmaxRounds: requirePositiveInteger(value.maxRounds),\n\t\tcompletedRounds: requireNonNegativeInteger(value.completedRounds),\n\t\tevidence: value.evidence.map(parseEvidence),\n\t\tcreatedAt: requireTimestamp(value.createdAt),\n\t\tgenerationStartedAt: requireTimestamp(value.generationStartedAt),\n\t\tupdatedAt: requireTimestamp(value.updatedAt),\n\t\t...(value.blockedReason === undefined ? {} : { blockedReason: requireText(value.blockedReason) }),\n\t\t...(value.terminalAt === undefined ? {} : { terminalAt: requireTimestamp(value.terminalAt) }),\n\t};\n\tconst snapshot: DurableGoalSnapshot =\n\t\tvalue.checkpoint === undefined\n\t\t\t? base\n\t\t\t: { ...base, checkpoint: parseDurableGoalCheckpoint(value.checkpoint, base) };\n\tif (snapshot.completedRounds > snapshot.maxRounds) throw invalidStore();\n\tif (Date.parse(snapshot.generationStartedAt) < Date.parse(snapshot.createdAt)) throw invalidStore();\n\tif (Date.parse(snapshot.generationStartedAt) > Date.parse(snapshot.updatedAt)) throw invalidStore();\n\tif ((snapshot.status === \"blocked\") !== (snapshot.blockedReason !== undefined)) throw invalidStore();\n\tif ((snapshot.status === \"completed\" || snapshot.status === \"cleared\") !== (snapshot.terminalAt !== undefined)) {\n\t\tthrow invalidStore();\n\t}\n\tif (snapshot.status === \"completed\" && freshDurableGoalEvidence(snapshot).length === 0) throw invalidStore();\n\treturn snapshot;\n}\n\nfunction parseEvidence(value: unknown): DurableGoalEvidence {\n\tif (!isRecord(value)) throw invalidStore();\n\treturn {\n\t\tid: requireText(value.id),\n\t\tdigest: requireDigest(value.digest),\n\t\tcapturedAt: requireTimestamp(value.capturedAt),\n\t\tgoalGeneration: requireDigest(value.goalGeneration),\n\t};\n}\n\nfunction requireText(value: unknown): string {\n\tif (typeof value !== \"string\" || value.trim().length === 0) throw invalidStore();\n\treturn value;\n}\n\nfunction requirePositiveInteger(value: unknown): number {\n\tif (typeof value !== \"number\" || !Number.isSafeInteger(value) || value < 1) throw invalidStore();\n\treturn value;\n}\n\nfunction requireNonNegativeInteger(value: unknown): number {\n\tif (typeof value !== \"number\" || !Number.isSafeInteger(value) || value < 0) throw invalidStore();\n\treturn value;\n}\n\nfunction requireTimestamp(value: unknown): string {\n\tif (typeof value !== \"string\" || value.length === 0 || Number.isNaN(Date.parse(value))) throw invalidStore();\n\treturn value;\n}\n\nfunction requireDigest(value: unknown): string {\n\tif (typeof value !== \"string\" || !/^[0-9a-f]{64}$/u.test(value)) throw invalidStore();\n\treturn value;\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction isGoalStatus(value: unknown): value is DurableGoalStatus {\n\treturn typeof value === \"string\" && DURABLE_GOAL_STATUS_VALUES.some((status) => status === value);\n}\n\nfunction invalidStore(): DurableGoalError {\n\treturn new DurableGoalError(\"invalid-store\", \"durable goal journal is invalid\");\n}\n"]}

package/dist/core/durable-goal-reducer.d.ts

@@ -0,0 +1,3 @@
+import { type DurableGoalCommand, type DurableGoalSnapshot } from "./durable-goal.ts";
+export declare function applyDurableGoalCommand(current: DurableGoalSnapshot, command: DurableGoalCommand, now: string): DurableGoalSnapshot;
+//# sourceMappingURL=durable-goal-reducer.d.ts.map

package/dist/core/durable-goal-reducer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-goal-reducer.d.ts","sourceRoot":"","sources":["../../src/core/durable-goal-reducer.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,KAAK,kBAAkB,EAIvB,KAAK,mBAAmB,EAGxB,MAAM,mBAAmB,CAAC;AAG3B,wBAAgB,uBAAuB,CACtC,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,kBAAkB,EAC3B,GAAG,EAAE,MAAM,GACT,mBAAmB,CAkCrB","sourcesContent":["import {\n\tcomputeDurableGoalGeneration,\n\ttype DurableGoalCheckpoint,\n\ttype DurableGoalCommand,\n\tDurableGoalError,\n\ttype DurableGoalEvidence,\n\ttype DurableGoalRef,\n\ttype DurableGoalSnapshot,\n\ttype DurableGoalStatus,\n\tfreshDurableGoalEvidence,\n} from \"./durable-goal.ts\";\nimport { createDurableGoalCheckpoint } from \"./durable-goal-checkpoint.ts\";\n\nexport function applyDurableGoalCommand(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: DurableGoalCommand,\n\tnow: string,\n): DurableGoalSnapshot {\n\trequireCurrentRef(current, command.ref);\n\trequireMonotonicTimestamp(current, now);\n\tif (current.status === \"cleared\") throw illegal(current.status, command.kind);\n\n\tswitch (command.kind) {\n\t\tcase \"edit\":\n\t\t\treturn editGoal(current, command, now);\n\t\tcase \"pause\":\n\t\t\tif (current.status !== \"active\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, { status: \"paused\" });\n\t\tcase \"resume\":\n\t\t\tif (current.status !== \"paused\" && current.status !== \"blocked\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, { status: \"active\", clearBlocked: true });\n\t\tcase \"block\":\n\t\t\tif (current.status !== \"active\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, {\n\t\t\t\tstatus: \"blocked\",\n\t\t\t\tblockedReason: requireText(command.reason, \"blocked reason\"),\n\t\t\t});\n\t\tcase \"advance-round\":\n\t\t\treturn advanceRound(current, now);\n\t\tcase \"record-checkpoint\":\n\t\t\tif (current.status === \"completed\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, { checkpoint: createDurableGoalCheckpoint(current, command.checkpoint, now) });\n\t\tcase \"attach-evidence\":\n\t\t\treturn attachEvidence(current, command, now);\n\t\tcase \"complete\":\n\t\t\treturn completeGoal(current, command.kind, now);\n\t\tcase \"clear\":\n\t\t\treturn revise(current, now, { status: \"cleared\", clearBlocked: true, terminalAt: now });\n\t\tdefault:\n\t\t\treturn assertNever(command);\n\t}\n}\n\nfunction editGoal(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: Extract<DurableGoalCommand, { readonly kind: \"edit\" }>,\n\tnow: string,\n): DurableGoalSnapshot {\n\tif (current.status === \"completed\") throw illegal(current.status, command.kind);\n\tif (command.objective === undefined && command.maxRounds === undefined) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"edit requires objective or maxRounds\");\n\t}\n\tconst objective =\n\t\tcommand.objective === undefined ? current.objective : requireText(command.objective, \"goal objective\");\n\tconst maxRounds =\n\t\tcommand.maxRounds === undefined ? current.maxRounds : requirePositiveInteger(command.maxRounds, \"maxRounds\");\n\tif (maxRounds < current.completedRounds) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"maxRounds cannot be below completedRounds\");\n\t}\n\tconst generationChanged = objective !== current.objective || maxRounds !== current.maxRounds;\n\tif (generationChanged) requireGenerationAdvance(current, now);\n\treturn revise(current, now, {\n\t\tobjective,\n\t\tmaxRounds,\n\t\t...(generationChanged ? { generationStartedAt: now, clearCheckpoint: true } : {}),\n\t});\n}\n\nfunction advanceRound(current: DurableGoalSnapshot, now: string): DurableGoalSnapshot {\n\tif (current.status !== \"active\") throw illegal(current.status, \"advance-round\");\n\tif (current.completedRounds >= current.maxRounds) {\n\t\tthrow new DurableGoalError(\"round-limit\", \"goal round limit reached\");\n\t}\n\trequireGenerationAdvance(current, now);\n\treturn revise(current, now, { completedRounds: current.completedRounds + 1, generationStartedAt: now });\n}\n\nfunction attachEvidence(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: Extract<DurableGoalCommand, { readonly kind: \"attach-evidence\" }>,\n\tnow: string,\n): DurableGoalSnapshot {\n\tif (current.status === \"completed\") throw illegal(current.status, command.kind);\n\tconst capturedAt = requireTimestamp(command.evidence.capturedAt, \"capturedAt\");\n\tif (Date.parse(capturedAt) < Date.parse(current.generationStartedAt) || Date.parse(capturedAt) > Date.parse(now)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"evidence timestamp is outside current goal generation\");\n\t}\n\tconst evidence: DurableGoalEvidence = {\n\t\tid: requireText(command.evidence.id, \"evidence id\"),\n\t\tdigest: requireDigest(command.evidence.digest),\n\t\tcapturedAt,\n\t\tgoalGeneration: computeDurableGoalGeneration(current),\n\t};\n\treturn revise(current, now, { evidence: [...current.evidence, evidence] });\n}\n\nfunction completeGoal(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: Extract<DurableGoalCommand, { readonly kind: \"complete\" }>[\"kind\"],\n\tnow: string,\n): DurableGoalSnapshot {\n\tif (current.status !== \"active\" && current.status !== \"blocked\") throw illegal(current.status, command);\n\tif (freshDurableGoalEvidence(current).length === 0) {\n\t\tthrow new DurableGoalError(\"evidence-required\", \"fresh goal evidence is required\");\n\t}\n\treturn revise(current, now, { status: \"completed\", clearBlocked: true, terminalAt: now });\n}\n\ninterface RevisionPatch {\n\treadonly objective?: string;\n\treadonly status?: DurableGoalStatus;\n\treadonly maxRounds?: number;\n\treadonly completedRounds?: number;\n\treadonly evidence?: readonly DurableGoalEvidence[];\n\treadonly checkpoint?: DurableGoalCheckpoint;\n\treadonly clearCheckpoint?: boolean;\n\treadonly generationStartedAt?: string;\n\treadonly blockedReason?: string;\n\treadonly clearBlocked?: boolean;\n\treadonly terminalAt?: string;\n}\n\nfunction revise(current: DurableGoalSnapshot, now: string, patch: RevisionPatch): DurableGoalSnapshot {\n\treturn {\n\t\tschemaVersion: current.schemaVersion,\n\t\tref: { id: current.ref.id, revision: current.ref.revision + 1 },\n\t\tobjective: patch.objective ?? current.objective,\n\t\tstatus: patch.status ?? current.status,\n\t\tmaxRounds: patch.maxRounds ?? current.maxRounds,\n\t\tcompletedRounds: patch.completedRounds ?? current.completedRounds,\n\t\tevidence: patch.evidence ?? current.evidence,\n\t\t...checkpointFields(current, patch),\n\t\tcreatedAt: current.createdAt,\n\t\tgenerationStartedAt: patch.generationStartedAt ?? current.generationStartedAt,\n\t\tupdatedAt: now,\n\t\t...blockedFields(current, patch),\n\t\t...terminalFields(current, patch),\n\t};\n}\n\nfunction checkpointFields(\n\tcurrent: DurableGoalSnapshot,\n\tpatch: RevisionPatch,\n): { readonly checkpoint?: DurableGoalCheckpoint } {\n\tif (patch.clearCheckpoint) return {};\n\tif (patch.checkpoint) return { checkpoint: patch.checkpoint };\n\treturn current.checkpoint ? { checkpoint: current.checkpoint } : {};\n}\n\nfunction blockedFields(current: DurableGoalSnapshot, patch: RevisionPatch): { readonly blockedReason?: string } {\n\tif (patch.clearBlocked) return {};\n\tif (patch.blockedReason) return { blockedReason: patch.blockedReason };\n\treturn current.blockedReason ? { blockedReason: current.blockedReason } : {};\n}\n\nfunction terminalFields(current: DurableGoalSnapshot, patch: RevisionPatch): { readonly terminalAt?: string } {\n\tif (patch.terminalAt) return { terminalAt: patch.terminalAt };\n\treturn current.terminalAt ? { terminalAt: current.terminalAt } : {};\n}\n\nfunction requireCurrentRef(current: DurableGoalSnapshot, ref: DurableGoalRef): void {\n\tif (current.ref.id !== ref.id || current.ref.revision !== ref.revision) {\n\t\tthrow new DurableGoalError(\"stale-ref\", \"goal reference is stale\");\n\t}\n}\n\nfunction requireMonotonicTimestamp(current: DurableGoalSnapshot, now: string): void {\n\trequireTimestamp(now, \"now\");\n\tif (Date.parse(now) < Date.parse(current.updatedAt)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"goal timestamps must be monotonic\");\n\t}\n}\n\nfunction requireGenerationAdvance(current: DurableGoalSnapshot, now: string): void {\n\tif (Date.parse(now) <= Date.parse(current.generationStartedAt)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"goal generation timestamp must advance\");\n\t}\n}\n\nfunction requireText(value: string, label: string): string {\n\tconst normalized = value.trim();\n\tif (normalized.length === 0) throw new DurableGoalError(\"invalid-input\", `${label} must not be empty`);\n\treturn normalized;\n}\n\nfunction requirePositiveInteger(value: number, label: string): number {\n\tif (!Number.isSafeInteger(value) || value < 1)\n\t\tthrow new DurableGoalError(\"invalid-input\", `${label} must be a positive integer`);\n\treturn value;\n}\n\nfunction requireTimestamp(value: string, label: string): string {\n\tif (value.length === 0 || Number.isNaN(Date.parse(value))) {\n\t\tthrow new DurableGoalError(\"invalid-input\", `${label} must be an ISO timestamp`);\n\t}\n\treturn value;\n}\n\nfunction requireDigest(value: string): string {\n\tif (!/^[0-9a-f]{64}$/u.test(value)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"evidence digest must be lowercase SHA-256\");\n\t}\n\treturn value;\n}\n\nfunction illegal(status: DurableGoalStatus, command: DurableGoalCommand[\"kind\"]): DurableGoalError {\n\treturn new DurableGoalError(\"illegal-transition\", `cannot ${command} a ${status} goal`);\n}\n\nfunction assertNever(value: never): never {\n\tthrow new DurableGoalError(\"invalid-input\", `unsupported goal command: ${String(value)}`);\n}\n"]}

package/dist/core/durable-goal-reducer.js

@@ -0,0 +1,175 @@
+import { computeDurableGoalGeneration, DurableGoalError, freshDurableGoalEvidence, } from "./durable-goal.js";
+import { createDurableGoalCheckpoint } from "./durable-goal-checkpoint.js";
+export function applyDurableGoalCommand(current, command, now) {
+    requireCurrentRef(current, command.ref);
+    requireMonotonicTimestamp(current, now);
+    if (current.status === "cleared")
+        throw illegal(current.status, command.kind);
+    switch (command.kind) {
+        case "edit":
+            return editGoal(current, command, now);
+        case "pause":
+            if (current.status !== "active")
+                throw illegal(current.status, command.kind);
+            return revise(current, now, { status: "paused" });
+        case "resume":
+            if (current.status !== "paused" && current.status !== "blocked")
+                throw illegal(current.status, command.kind);
+            return revise(current, now, { status: "active", clearBlocked: true });
+        case "block":
+            if (current.status !== "active")
+                throw illegal(current.status, command.kind);
+            return revise(current, now, {
+                status: "blocked",
+                blockedReason: requireText(command.reason, "blocked reason"),
+            });
+        case "advance-round":
+            return advanceRound(current, now);
+        case "record-checkpoint":
+            if (current.status === "completed")
+                throw illegal(current.status, command.kind);
+            return revise(current, now, { checkpoint: createDurableGoalCheckpoint(current, command.checkpoint, now) });
+        case "attach-evidence":
+            return attachEvidence(current, command, now);
+        case "complete":
+            return completeGoal(current, command.kind, now);
+        case "clear":
+            return revise(current, now, { status: "cleared", clearBlocked: true, terminalAt: now });
+        default:
+            return assertNever(command);
+    }
+}
+function editGoal(current, command, now) {
+    if (current.status === "completed")
+        throw illegal(current.status, command.kind);
+    if (command.objective === undefined && command.maxRounds === undefined) {
+        throw new DurableGoalError("invalid-input", "edit requires objective or maxRounds");
+    }
+    const objective = command.objective === undefined ? current.objective : requireText(command.objective, "goal objective");
+    const maxRounds = command.maxRounds === undefined ? current.maxRounds : requirePositiveInteger(command.maxRounds, "maxRounds");
+    if (maxRounds < current.completedRounds) {
+        throw new DurableGoalError("invalid-input", "maxRounds cannot be below completedRounds");
+    }
+    const generationChanged = objective !== current.objective || maxRounds !== current.maxRounds;
+    if (generationChanged)
+        requireGenerationAdvance(current, now);
+    return revise(current, now, {
+        objective,
+        maxRounds,
+        ...(generationChanged ? { generationStartedAt: now, clearCheckpoint: true } : {}),
+    });
+}
+function advanceRound(current, now) {
+    if (current.status !== "active")
+        throw illegal(current.status, "advance-round");
+    if (current.completedRounds >= current.maxRounds) {
+        throw new DurableGoalError("round-limit", "goal round limit reached");
+    }
+    requireGenerationAdvance(current, now);
+    return revise(current, now, { completedRounds: current.completedRounds + 1, generationStartedAt: now });
+}
+function attachEvidence(current, command, now) {
+    if (current.status === "completed")
+        throw illegal(current.status, command.kind);
+    const capturedAt = requireTimestamp(command.evidence.capturedAt, "capturedAt");
+    if (Date.parse(capturedAt) < Date.parse(current.generationStartedAt) || Date.parse(capturedAt) > Date.parse(now)) {
+        throw new DurableGoalError("invalid-input", "evidence timestamp is outside current goal generation");
+    }
+    const evidence = {
+        id: requireText(command.evidence.id, "evidence id"),
+        digest: requireDigest(command.evidence.digest),
+        capturedAt,
+        goalGeneration: computeDurableGoalGeneration(current),
+    };
+    return revise(current, now, { evidence: [...current.evidence, evidence] });
+}
+function completeGoal(current, command, now) {
+    if (current.status !== "active" && current.status !== "blocked")
+        throw illegal(current.status, command);
+    if (freshDurableGoalEvidence(current).length === 0) {
+        throw new DurableGoalError("evidence-required", "fresh goal evidence is required");
+    }
+    return revise(current, now, { status: "completed", clearBlocked: true, terminalAt: now });
+}
+function revise(current, now, patch) {
+    return {
+        schemaVersion: current.schemaVersion,
+        ref: { id: current.ref.id, revision: current.ref.revision + 1 },
+        objective: patch.objective ?? current.objective,
+        status: patch.status ?? current.status,
+        maxRounds: patch.maxRounds ?? current.maxRounds,
+        completedRounds: patch.completedRounds ?? current.completedRounds,
+        evidence: patch.evidence ?? current.evidence,
+        ...checkpointFields(current, patch),
+        createdAt: current.createdAt,
+        generationStartedAt: patch.generationStartedAt ?? current.generationStartedAt,
+        updatedAt: now,
+        ...blockedFields(current, patch),
+        ...terminalFields(current, patch),
+    };
+}
+function checkpointFields(current, patch) {
+    if (patch.clearCheckpoint)
+        return {};
+    if (patch.checkpoint)
+        return { checkpoint: patch.checkpoint };
+    return current.checkpoint ? { checkpoint: current.checkpoint } : {};
+}
+function blockedFields(current, patch) {
+    if (patch.clearBlocked)
+        return {};
+    if (patch.blockedReason)
+        return { blockedReason: patch.blockedReason };
+    return current.blockedReason ? { blockedReason: current.blockedReason } : {};
+}
+function terminalFields(current, patch) {
+    if (patch.terminalAt)
+        return { terminalAt: patch.terminalAt };
+    return current.terminalAt ? { terminalAt: current.terminalAt } : {};
+}
+function requireCurrentRef(current, ref) {
+    if (current.ref.id !== ref.id || current.ref.revision !== ref.revision) {
+        throw new DurableGoalError("stale-ref", "goal reference is stale");
+    }
+}
+function requireMonotonicTimestamp(current, now) {
+    requireTimestamp(now, "now");
+    if (Date.parse(now) < Date.parse(current.updatedAt)) {
+        throw new DurableGoalError("invalid-input", "goal timestamps must be monotonic");
+    }
+}
+function requireGenerationAdvance(current, now) {
+    if (Date.parse(now) <= Date.parse(current.generationStartedAt)) {
+        throw new DurableGoalError("invalid-input", "goal generation timestamp must advance");
+    }
+}
+function requireText(value, label) {
+    const normalized = value.trim();
+    if (normalized.length === 0)
+        throw new DurableGoalError("invalid-input", `${label} must not be empty`);
+    return normalized;
+}
+function requirePositiveInteger(value, label) {
+    if (!Number.isSafeInteger(value) || value < 1)
+        throw new DurableGoalError("invalid-input", `${label} must be a positive integer`);
+    return value;
+}
+function requireTimestamp(value, label) {
+    if (value.length === 0 || Number.isNaN(Date.parse(value))) {
+        throw new DurableGoalError("invalid-input", `${label} must be an ISO timestamp`);
+    }
+    return value;
+}
+function requireDigest(value) {
+    if (!/^[0-9a-f]{64}$/u.test(value)) {
+        throw new DurableGoalError("invalid-input", "evidence digest must be lowercase SHA-256");
+    }
+    return value;
+}
+function illegal(status, command) {
+    return new DurableGoalError("illegal-transition", `cannot ${command} a ${status} goal`);
+}
+function assertNever(value) {
+    throw new DurableGoalError("invalid-input", `unsupported goal command: ${String(value)}`);
+}
+//# sourceMappingURL=durable-goal-reducer.js.map

package/dist/core/durable-goal-reducer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-goal-reducer.js","sourceRoot":"","sources":["../../src/core/durable-goal-reducer.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,4BAA4B,EAG5B,gBAAgB,EAKhB,wBAAwB,GACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAE3E,MAAM,UAAU,uBAAuB,CACtC,OAA4B,EAC5B,OAA2B,EAC3B,GAAW,EACW;IACtB,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,yBAAyB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACV,OAAO,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,OAAO;YACX,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7E,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACnD,KAAK,QAAQ;YACZ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;gBAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7G,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,KAAK,OAAO;YACX,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7E,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE;gBAC3B,MAAM,EAAE,SAAS;gBACjB,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC;aAC5D,CAAC,CAAC;QACJ,KAAK,eAAe;YACnB,OAAO,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnC,KAAK,mBAAmB;YACvB,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;gBAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAChF,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,2BAA2B,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5G,KAAK,iBAAiB;YACrB,OAAO,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QAC9C,KAAK,UAAU;YACd,OAAO,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,KAAK,OAAO;YACX,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF;YACC,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;AAAA,CACD;AAED,SAAS,QAAQ,CAChB,OAA4B,EAC5B,OAA+D,EAC/D,GAAW,EACW;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;QAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,sCAAsC,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,SAAS,GACd,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACxG,MAAM,SAAS,GACd,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC9G,IAAI,SAAS,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC;QACzC,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,2CAA2C,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,iBAAiB,GAAG,SAAS,KAAK,OAAO,CAAC,SAAS,IAAI,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC;IAC7F,IAAI,iBAAiB;QAAE,wBAAwB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE;QAC3B,SAAS;QACT,SAAS;QACT,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,GAAG,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjF,CAAC,CAAC;AAAA,CACH;AAED,SAAS,YAAY,CAAC,OAA4B,EAAE,GAAW,EAAuB;IACrF,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QAClD,MAAM,IAAI,gBAAgB,CAAC,aAAa,EAAE,0BAA0B,CAAC,CAAC;IACvE,CAAC;IACD,wBAAwB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,GAAG,CAAC,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC,CAAC;AAAA,CACxG;AAED,SAAS,cAAc,CACtB,OAA4B,EAC5B,OAA0E,EAC1E,GAAW,EACW;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW;QAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClH,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,uDAAuD,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,QAAQ,GAAwB;QACrC,EAAE,EAAE,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC;QACnD,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC9C,UAAU;QACV,cAAc,EAAE,4BAA4B,CAAC,OAAO,CAAC;KACrD,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;AAAA,CAC3E;AAED,SAAS,YAAY,CACpB,OAA4B,EAC5B,OAA2E,EAC3E,GAAW,EACW;IACtB,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxG,IAAI,wBAAwB,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,gBAAgB,CAAC,mBAAmB,EAAE,iCAAiC,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;AAAA,CAC1F;AAgBD,SAAS,MAAM,CAAC,OAA4B,EAAE,GAAW,EAAE,KAAoB,EAAuB;IACrG,OAAO;QACN,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,GAAG,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,EAAE;QAC/D,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS;QAC/C,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM;QACtC,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS;QAC/C,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,OAAO,CAAC,eAAe;QACjE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ;QAC5C,GAAG,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC;QACnC,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,mBAAmB,EAAE,KAAK,CAAC,mBAAmB,IAAI,OAAO,CAAC,mBAAmB;QAC7E,SAAS,EAAE,GAAG;QACd,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC;QAChC,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC;KACjC,CAAC;AAAA,CACF;AAED,SAAS,gBAAgB,CACxB,OAA4B,EAC5B,KAAoB,EAC8B;IAClD,IAAI,KAAK,CAAC,eAAe;QAAE,OAAO,EAAE,CAAC;IACrC,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IAC9D,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAAA,CACpE;AAED,SAAS,aAAa,CAAC,OAA4B,EAAE,KAAoB,EAAuC;IAC/G,IAAI,KAAK,CAAC,YAAY;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC;IACvE,OAAO,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAAA,CAC7E;AAED,SAAS,cAAc,CAAC,OAA4B,EAAE,KAAoB,EAAoC;IAC7G,IAAI,KAAK,CAAC,UAAU;QAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IAC9D,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAAA,CACpE;AAED,SAAS,iBAAiB,CAAC,OAA4B,EAAE,GAAmB,EAAQ;IACnF,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;QACxE,MAAM,IAAI,gBAAgB,CAAC,WAAW,EAAE,yBAAyB,CAAC,CAAC;IACpE,CAAC;AAAA,CACD;AAED,SAAS,yBAAyB,CAAC,OAA4B,EAAE,GAAW,EAAQ;IACnF,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,mCAAmC,CAAC,CAAC;IAClF,CAAC;AAAA,CACD;AAED,SAAS,wBAAwB,CAAC,OAA4B,EAAE,GAAW,EAAQ;IAClF,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,wCAAwC,CAAC,CAAC;IACvF,CAAC;AAAA,CACD;AAED,SAAS,WAAW,CAAC,KAAa,EAAE,KAAa,EAAU;IAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACvG,OAAO,UAAU,CAAC;AAAA,CAClB;AAED,SAAS,sBAAsB,CAAC,KAAa,EAAE,KAAa,EAAU;IACrE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAC5C,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,GAAG,KAAK,6BAA6B,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,KAAa,EAAU;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,GAAG,KAAK,2BAA2B,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,aAAa,CAAC,KAAa,EAAU;IAC7C,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,2CAA2C,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,OAAO,CAAC,MAAyB,EAAE,OAAmC,EAAoB;IAClG,OAAO,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,UAAU,OAAO,MAAM,MAAM,OAAO,CAAC,CAAC;AAAA,CACxF;AAED,SAAS,WAAW,CAAC,KAAY,EAAS;IACzC,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,6BAA6B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAAA,CAC1F","sourcesContent":["import {\n\tcomputeDurableGoalGeneration,\n\ttype DurableGoalCheckpoint,\n\ttype DurableGoalCommand,\n\tDurableGoalError,\n\ttype DurableGoalEvidence,\n\ttype DurableGoalRef,\n\ttype DurableGoalSnapshot,\n\ttype DurableGoalStatus,\n\tfreshDurableGoalEvidence,\n} from \"./durable-goal.ts\";\nimport { createDurableGoalCheckpoint } from \"./durable-goal-checkpoint.ts\";\n\nexport function applyDurableGoalCommand(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: DurableGoalCommand,\n\tnow: string,\n): DurableGoalSnapshot {\n\trequireCurrentRef(current, command.ref);\n\trequireMonotonicTimestamp(current, now);\n\tif (current.status === \"cleared\") throw illegal(current.status, command.kind);\n\n\tswitch (command.kind) {\n\t\tcase \"edit\":\n\t\t\treturn editGoal(current, command, now);\n\t\tcase \"pause\":\n\t\t\tif (current.status !== \"active\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, { status: \"paused\" });\n\t\tcase \"resume\":\n\t\t\tif (current.status !== \"paused\" && current.status !== \"blocked\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, { status: \"active\", clearBlocked: true });\n\t\tcase \"block\":\n\t\t\tif (current.status !== \"active\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, {\n\t\t\t\tstatus: \"blocked\",\n\t\t\t\tblockedReason: requireText(command.reason, \"blocked reason\"),\n\t\t\t});\n\t\tcase \"advance-round\":\n\t\t\treturn advanceRound(current, now);\n\t\tcase \"record-checkpoint\":\n\t\t\tif (current.status === \"completed\") throw illegal(current.status, command.kind);\n\t\t\treturn revise(current, now, { checkpoint: createDurableGoalCheckpoint(current, command.checkpoint, now) });\n\t\tcase \"attach-evidence\":\n\t\t\treturn attachEvidence(current, command, now);\n\t\tcase \"complete\":\n\t\t\treturn completeGoal(current, command.kind, now);\n\t\tcase \"clear\":\n\t\t\treturn revise(current, now, { status: \"cleared\", clearBlocked: true, terminalAt: now });\n\t\tdefault:\n\t\t\treturn assertNever(command);\n\t}\n}\n\nfunction editGoal(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: Extract<DurableGoalCommand, { readonly kind: \"edit\" }>,\n\tnow: string,\n): DurableGoalSnapshot {\n\tif (current.status === \"completed\") throw illegal(current.status, command.kind);\n\tif (command.objective === undefined && command.maxRounds === undefined) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"edit requires objective or maxRounds\");\n\t}\n\tconst objective =\n\t\tcommand.objective === undefined ? current.objective : requireText(command.objective, \"goal objective\");\n\tconst maxRounds =\n\t\tcommand.maxRounds === undefined ? current.maxRounds : requirePositiveInteger(command.maxRounds, \"maxRounds\");\n\tif (maxRounds < current.completedRounds) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"maxRounds cannot be below completedRounds\");\n\t}\n\tconst generationChanged = objective !== current.objective || maxRounds !== current.maxRounds;\n\tif (generationChanged) requireGenerationAdvance(current, now);\n\treturn revise(current, now, {\n\t\tobjective,\n\t\tmaxRounds,\n\t\t...(generationChanged ? { generationStartedAt: now, clearCheckpoint: true } : {}),\n\t});\n}\n\nfunction advanceRound(current: DurableGoalSnapshot, now: string): DurableGoalSnapshot {\n\tif (current.status !== \"active\") throw illegal(current.status, \"advance-round\");\n\tif (current.completedRounds >= current.maxRounds) {\n\t\tthrow new DurableGoalError(\"round-limit\", \"goal round limit reached\");\n\t}\n\trequireGenerationAdvance(current, now);\n\treturn revise(current, now, { completedRounds: current.completedRounds + 1, generationStartedAt: now });\n}\n\nfunction attachEvidence(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: Extract<DurableGoalCommand, { readonly kind: \"attach-evidence\" }>,\n\tnow: string,\n): DurableGoalSnapshot {\n\tif (current.status === \"completed\") throw illegal(current.status, command.kind);\n\tconst capturedAt = requireTimestamp(command.evidence.capturedAt, \"capturedAt\");\n\tif (Date.parse(capturedAt) < Date.parse(current.generationStartedAt) || Date.parse(capturedAt) > Date.parse(now)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"evidence timestamp is outside current goal generation\");\n\t}\n\tconst evidence: DurableGoalEvidence = {\n\t\tid: requireText(command.evidence.id, \"evidence id\"),\n\t\tdigest: requireDigest(command.evidence.digest),\n\t\tcapturedAt,\n\t\tgoalGeneration: computeDurableGoalGeneration(current),\n\t};\n\treturn revise(current, now, { evidence: [...current.evidence, evidence] });\n}\n\nfunction completeGoal(\n\tcurrent: DurableGoalSnapshot,\n\tcommand: Extract<DurableGoalCommand, { readonly kind: \"complete\" }>[\"kind\"],\n\tnow: string,\n): DurableGoalSnapshot {\n\tif (current.status !== \"active\" && current.status !== \"blocked\") throw illegal(current.status, command);\n\tif (freshDurableGoalEvidence(current).length === 0) {\n\t\tthrow new DurableGoalError(\"evidence-required\", \"fresh goal evidence is required\");\n\t}\n\treturn revise(current, now, { status: \"completed\", clearBlocked: true, terminalAt: now });\n}\n\ninterface RevisionPatch {\n\treadonly objective?: string;\n\treadonly status?: DurableGoalStatus;\n\treadonly maxRounds?: number;\n\treadonly completedRounds?: number;\n\treadonly evidence?: readonly DurableGoalEvidence[];\n\treadonly checkpoint?: DurableGoalCheckpoint;\n\treadonly clearCheckpoint?: boolean;\n\treadonly generationStartedAt?: string;\n\treadonly blockedReason?: string;\n\treadonly clearBlocked?: boolean;\n\treadonly terminalAt?: string;\n}\n\nfunction revise(current: DurableGoalSnapshot, now: string, patch: RevisionPatch): DurableGoalSnapshot {\n\treturn {\n\t\tschemaVersion: current.schemaVersion,\n\t\tref: { id: current.ref.id, revision: current.ref.revision + 1 },\n\t\tobjective: patch.objective ?? current.objective,\n\t\tstatus: patch.status ?? current.status,\n\t\tmaxRounds: patch.maxRounds ?? current.maxRounds,\n\t\tcompletedRounds: patch.completedRounds ?? current.completedRounds,\n\t\tevidence: patch.evidence ?? current.evidence,\n\t\t...checkpointFields(current, patch),\n\t\tcreatedAt: current.createdAt,\n\t\tgenerationStartedAt: patch.generationStartedAt ?? current.generationStartedAt,\n\t\tupdatedAt: now,\n\t\t...blockedFields(current, patch),\n\t\t...terminalFields(current, patch),\n\t};\n}\n\nfunction checkpointFields(\n\tcurrent: DurableGoalSnapshot,\n\tpatch: RevisionPatch,\n): { readonly checkpoint?: DurableGoalCheckpoint } {\n\tif (patch.clearCheckpoint) return {};\n\tif (patch.checkpoint) return { checkpoint: patch.checkpoint };\n\treturn current.checkpoint ? { checkpoint: current.checkpoint } : {};\n}\n\nfunction blockedFields(current: DurableGoalSnapshot, patch: RevisionPatch): { readonly blockedReason?: string } {\n\tif (patch.clearBlocked) return {};\n\tif (patch.blockedReason) return { blockedReason: patch.blockedReason };\n\treturn current.blockedReason ? { blockedReason: current.blockedReason } : {};\n}\n\nfunction terminalFields(current: DurableGoalSnapshot, patch: RevisionPatch): { readonly terminalAt?: string } {\n\tif (patch.terminalAt) return { terminalAt: patch.terminalAt };\n\treturn current.terminalAt ? { terminalAt: current.terminalAt } : {};\n}\n\nfunction requireCurrentRef(current: DurableGoalSnapshot, ref: DurableGoalRef): void {\n\tif (current.ref.id !== ref.id || current.ref.revision !== ref.revision) {\n\t\tthrow new DurableGoalError(\"stale-ref\", \"goal reference is stale\");\n\t}\n}\n\nfunction requireMonotonicTimestamp(current: DurableGoalSnapshot, now: string): void {\n\trequireTimestamp(now, \"now\");\n\tif (Date.parse(now) < Date.parse(current.updatedAt)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"goal timestamps must be monotonic\");\n\t}\n}\n\nfunction requireGenerationAdvance(current: DurableGoalSnapshot, now: string): void {\n\tif (Date.parse(now) <= Date.parse(current.generationStartedAt)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"goal generation timestamp must advance\");\n\t}\n}\n\nfunction requireText(value: string, label: string): string {\n\tconst normalized = value.trim();\n\tif (normalized.length === 0) throw new DurableGoalError(\"invalid-input\", `${label} must not be empty`);\n\treturn normalized;\n}\n\nfunction requirePositiveInteger(value: number, label: string): number {\n\tif (!Number.isSafeInteger(value) || value < 1)\n\t\tthrow new DurableGoalError(\"invalid-input\", `${label} must be a positive integer`);\n\treturn value;\n}\n\nfunction requireTimestamp(value: string, label: string): string {\n\tif (value.length === 0 || Number.isNaN(Date.parse(value))) {\n\t\tthrow new DurableGoalError(\"invalid-input\", `${label} must be an ISO timestamp`);\n\t}\n\treturn value;\n}\n\nfunction requireDigest(value: string): string {\n\tif (!/^[0-9a-f]{64}$/u.test(value)) {\n\t\tthrow new DurableGoalError(\"invalid-input\", \"evidence digest must be lowercase SHA-256\");\n\t}\n\treturn value;\n}\n\nfunction illegal(status: DurableGoalStatus, command: DurableGoalCommand[\"kind\"]): DurableGoalError {\n\treturn new DurableGoalError(\"illegal-transition\", `cannot ${command} a ${status} goal`);\n}\n\nfunction assertNever(value: never): never {\n\tthrow new DurableGoalError(\"invalid-input\", `unsupported goal command: ${String(value)}`);\n}\n"]}

package/dist/core/durable-goal-store.d.ts

@@ -0,0 +1,19 @@
+import { type DurableGoalCommand, type DurableGoalSnapshot } from "./durable-goal.ts";
+export declare const DURABLE_GOAL_JOURNAL_SCHEMA_VERSION: "omk.goal.journal.v1";
+export interface DurableGoalJournal {
+    readonly schemaVersion: typeof DURABLE_GOAL_JOURNAL_SCHEMA_VERSION;
+    readonly goalId: string;
+    readonly revisions: readonly DurableGoalSnapshot[];
+}
+export declare class DurableGoalStore {
+    readonly filePath: string;
+    constructor(filePath: string);
+    readJournal(): Promise<DurableGoalJournal | null>;
+    current(): Promise<DurableGoalSnapshot | null>;
+    create(goal: DurableGoalSnapshot): Promise<DurableGoalSnapshot>;
+    transition(command: DurableGoalCommand, now: string): Promise<DurableGoalSnapshot>;
+    private withLock;
+    private readUnlocked;
+    private writeUnlocked;
+}
+//# sourceMappingURL=durable-goal-store.d.ts.map

package/dist/core/durable-goal-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"durable-goal-store.d.ts","sourceRoot":"","sources":["../../src/core/durable-goal-store.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,kBAAkB,EAAoB,KAAK,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAIxG,eAAO,MAAM,mCAAmC,uBAAiC,CAAC;AAElF,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,aAAa,EAAE,OAAO,mCAAmC,CAAC;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACnD;AAED,qBAAa,gBAAgB;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAE1B,YAAY,QAAQ,EAAE,MAAM,EAG3B;IAEK,WAAW,IAAI,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAEtD;IAEK,OAAO,IAAI,OAAO,CAAC,mBAAmB,GAAG,IAAI,CAAC,CAGnD;IAEK,MAAM,CAAC,IAAI,EAAE,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAwBpE;IAEK,UAAU,CAAC,OAAO,EAAE,kBAAkB,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CASvF;YAEa,QAAQ;YAcR,YAAY;YAgBZ,aAAa;CAU3B","sourcesContent":["import { randomUUID } from \"node:crypto\";\nimport { mkdir, readFile, rename, rm, writeFile } from \"node:fs/promises\";\nimport { dirname, join } from \"node:path\";\nimport lockfile from \"proper-lockfile\";\nimport { type DurableGoalCommand, DurableGoalError, type DurableGoalSnapshot } from \"./durable-goal.ts\";\nimport { parseDurableGoalSnapshot } from \"./durable-goal-parse.ts\";\nimport { applyDurableGoalCommand } from \"./durable-goal-reducer.ts\";\n\nexport const DURABLE_GOAL_JOURNAL_SCHEMA_VERSION = \"omk.goal.journal.v1\" as const;\n\nexport interface DurableGoalJournal {\n\treadonly schemaVersion: typeof DURABLE_GOAL_JOURNAL_SCHEMA_VERSION;\n\treadonly goalId: string;\n\treadonly revisions: readonly DurableGoalSnapshot[];\n}\n\nexport class DurableGoalStore {\n\treadonly filePath: string;\n\n\tconstructor(filePath: string) {\n\t\tif (filePath.trim().length === 0) throw new DurableGoalError(\"invalid-input\", \"goal file path must not be empty\");\n\t\tthis.filePath = filePath;\n\t}\n\n\tasync readJournal(): Promise<DurableGoalJournal | null> {\n\t\treturn this.readUnlocked();\n\t}\n\n\tasync current(): Promise<DurableGoalSnapshot | null> {\n\t\tconst journal = await this.readUnlocked();\n\t\treturn journal?.revisions.at(-1) ?? null;\n\t}\n\n\tasync create(goal: DurableGoalSnapshot): Promise<DurableGoalSnapshot> {\n\t\treturn this.withLock(async () => {\n\t\t\tif ((await this.readUnlocked()) !== null) {\n\t\t\t\tthrow new DurableGoalError(\"store-exists\", \"durable goal already exists\");\n\t\t\t}\n\t\t\tconst initial = parseDurableGoalSnapshot(goal);\n\t\t\tif (\n\t\t\t\tinitial.ref.revision !== 1 ||\n\t\t\t\tinitial.status !== \"active\" ||\n\t\t\t\tinitial.completedRounds !== 0 ||\n\t\t\t\tinitial.evidence.length !== 0 ||\n\t\t\t\tinitial.checkpoint !== undefined ||\n\t\t\t\tinitial.createdAt !== initial.updatedAt ||\n\t\t\t\tinitial.createdAt !== initial.generationStartedAt\n\t\t\t) {\n\t\t\t\tthrow invalidStore();\n\t\t\t}\n\t\t\tawait this.writeUnlocked({\n\t\t\t\tschemaVersion: DURABLE_GOAL_JOURNAL_SCHEMA_VERSION,\n\t\t\t\tgoalId: initial.ref.id,\n\t\t\t\trevisions: [initial],\n\t\t\t});\n\t\t\treturn initial;\n\t\t});\n\t}\n\n\tasync transition(command: DurableGoalCommand, now: string): Promise<DurableGoalSnapshot> {\n\t\treturn this.withLock(async () => {\n\t\t\tconst journal = await this.readUnlocked();\n\t\t\tconst current = journal?.revisions.at(-1);\n\t\t\tif (!journal || !current) throw new DurableGoalError(\"store-missing\", \"durable goal does not exist\");\n\t\t\tconst next = applyDurableGoalCommand(current, command, now);\n\t\t\tawait this.writeUnlocked({ ...journal, revisions: [...journal.revisions, next] });\n\t\t\treturn next;\n\t\t});\n\t}\n\n\tprivate async withLock<T>(operation: () => Promise<T>): Promise<T> {\n\t\tconst directory = dirname(this.filePath);\n\t\tawait mkdir(directory, { recursive: true });\n\t\tconst release = await lockfile.lock(this.filePath, {\n\t\t\trealpath: false,\n\t\t\tretries: { retries: 5, factor: 1, minTimeout: 5, maxTimeout: 25 },\n\t\t});\n\t\ttry {\n\t\t\treturn await operation();\n\t\t} finally {\n\t\t\tawait release();\n\t\t}\n\t}\n\n\tprivate async readUnlocked(): Promise<DurableGoalJournal | null> {\n\t\tlet raw: string;\n\t\ttry {\n\t\t\traw = await readFile(this.filePath, \"utf8\");\n\t\t} catch (error) {\n\t\t\tif (isFileSystemError(error, \"ENOENT\")) return null;\n\t\t\tthrow error;\n\t\t}\n\t\ttry {\n\t\t\treturn parseJournal(JSON.parse(raw));\n\t\t} catch (error) {\n\t\t\tif (error instanceof DurableGoalError && error.code === \"invalid-store\") throw error;\n\t\t\tthrow new DurableGoalError(\"invalid-store\", \"durable goal journal is invalid\");\n\t\t}\n\t}\n\n\tprivate async writeUnlocked(journal: DurableGoalJournal): Promise<void> {\n\t\tconst tempPath = join(dirname(this.filePath), `.goal-${randomUUID()}.tmp`);\n\t\ttry {\n\t\t\tawait writeFile(tempPath, `${JSON.stringify(journal, null, 2)}\\n`, \"utf8\");\n\t\t\tawait rename(tempPath, this.filePath);\n\t\t} catch (error) {\n\t\t\tawait rm(tempPath, { force: true });\n\t\t\tthrow error;\n\t\t}\n\t}\n}\n\nfunction parseJournal(value: unknown): DurableGoalJournal {\n\tif (!isRecord(value) || value.schemaVersion !== DURABLE_GOAL_JOURNAL_SCHEMA_VERSION) throw invalidStore();\n\tif (typeof value.goalId !== \"string\" || value.goalId.length === 0 || !Array.isArray(value.revisions)) {\n\t\tthrow invalidStore();\n\t}\n\tconst revisions = value.revisions.map(parseDurableGoalSnapshot);\n\tif (revisions.length === 0) throw invalidStore();\n\tfor (const [index, revision] of revisions.entries()) {\n\t\tif (revision.ref.id !== value.goalId || revision.ref.revision !== index + 1) throw invalidStore();\n\t}\n\treturn { schemaVersion: DURABLE_GOAL_JOURNAL_SCHEMA_VERSION, goalId: value.goalId, revisions };\n}\n\nfunction isRecord(value: unknown): value is Record<string, unknown> {\n\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction isFileSystemError(error: unknown, code: string): boolean {\n\treturn error instanceof Error && \"code\" in error && error.code === code;\n}\n\nfunction invalidStore(): DurableGoalError {\n\treturn new DurableGoalError(\"invalid-store\", \"durable goal journal is invalid\");\n}\n"]}