agentera 3.0.0-dev.2 → 3.0.0-dev.21

package/dist/state/write/lock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lock.js","sourceRoot":"","sources":["../../../src/state/write/lock.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAE7B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAEpC,SAAS,oBAAoB,CAAC,QAAgB;IAC5C,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,IAAI,uBAAuB,CAAC;IAC/E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB;IACnC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAqB,CAAC;QACjF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC;YAAE,OAAO,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACzE,IAAI,MAAM,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG;YAAE,OAAO,KAAK,CAAC;QAC7C,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAa,EAAE,CAAC,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC;QACf,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAQ,KAA+B,CAAC,IAAI,KAAK,OAAO,CAAC;QAC3D,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,SAAiB;IACtC,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC;QACH,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAOD,MAAM,UAAU,iBAAiB,CAAC,WAAmB,EAAE,SAAS,GAAG,IAAI;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAChD,sBAAsB,CAAC,WAAW,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACvC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IACxC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,EAAsB,CAAC;QAC3B,IAAI,WAAW,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC;YACH,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;YACjC,WAAW,GAAG,IAAI,CAAC;YACnB,EAAE,CAAC,aAAa,CACd,EAAE,EACF,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,IAAI,CAClF,CAAC;YACF,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACjB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACjB,EAAE,GAAG,SAAS,CAAC;YACf,aAAa,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,GAAG,EAAE;oBACZ,IAAI,QAAQ;wBAAE,OAAO;oBACrB,QAAQ,GAAG,IAAI,CAAC;oBAChB,IAAI,CAAC;wBACH,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;oBAC1B,CAAC;oBAAC,MAAM,CAAC;wBACP,sBAAsB;oBACxB,CAAC;oBACD,IAAI,CAAC;wBACH,aAAa,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;oBAAC,MAAM,CAAC;wBACP,qDAAqD;oBACvD,CAAC;oBACD,IAAI,UAAU,EAAE,CAAC;wBACf,IAAI,CAAC;4BACH,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;wBACpB,CAAC;wBAAC,MAAM,CAAC;4BACP,yDAAyD;wBAC3D,CAAC;oBACH,CAAC;gBACH,CAAC;aACF,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,IAAI,CAAC;oBACH,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBACnB,CAAC;gBAAC,MAAM,CAAC;oBACP,gCAAgC;gBAClC,CAAC;YACH,CAAC;YACD,IAAI,WAAW,EAAE,CAAC;gBAChB,IAAI,CAAC;oBACH,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAC1B,CAAC;gBAAC,MAAM,CAAC;oBACP,gCAAgC;gBAClC,CAAC;YACH,CAAC;YACD,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;YACpE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBACH,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBAC1B,CAAC;gBAAC,MAAM,CAAC;oBACP,+BAA+B;gBACjC,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ,EAAE,CAAC;gBAC3B,MAAM,CAAC;oBACL,KAAK,EAAE,UAAU;oBACjB,OAAO,EAAE,2BAA2B,QAAQ,uDAAuD;oBACnG,MAAM,EAAE,uDAAuD;oBAC/D,OAAO,EAAE,yDAAyD;iBACnE,CAAC,CAAC;YACL,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/state/write/mutation.js

@@ -0,0 +1,190 @@
+import fs from "node:fs";
+import path from "node:path";
+import { publishImmutableFile, publishNumberedArchive, } from "../archivePublication.js";
+import { acquireWriterLock } from "./lock.js";
+export const MUTATION_FAILURE_BOUNDARIES = [
+    "staged-write",
+    "archive-directory-publication",
+    "archive-publication",
+    "backup-publication",
+    "projection-publication",
+    "directory-sync",
+];
+export class InjectedMutationFailure extends Error {
+    boundary;
+    constructor(boundary) {
+        super(`injected state mutation failure after ${boundary}`);
+        this.name = "InjectedMutationFailure";
+        this.boundary = boundary;
+    }
+}
+let stageSequence = 0;
+function fsyncDirectory(directory) {
+    const fd = fs.openSync(directory, "r");
+    try {
+        fs.fsyncSync(fd);
+    }
+    finally {
+        fs.closeSync(fd);
+    }
+}
+function stagePath(target) {
+    stageSequence += 1;
+    return path.join(path.dirname(target), `.${path.basename(target)}.writer.${process.pid}.${stageSequence}.tmp`);
+}
+function isMutationStage(name) {
+    return /\.writer\.\d+\.\d+\.tmp$/.test(name);
+}
+function removeStaleStages(directory) {
+    if (!fs.existsSync(directory))
+        return;
+    for (const entry of fs.readdirSync(directory, { withFileTypes: true })) {
+        const candidate = path.join(directory, entry.name);
+        if (entry.isDirectory() && !entry.isSymbolicLink()) {
+            removeStaleStages(candidate);
+            continue;
+        }
+        if (!entry.isFile() || !isMutationStage(entry.name))
+            continue;
+        try {
+            fs.unlinkSync(candidate);
+        }
+        catch (error) {
+            if (error.code !== "ENOENT")
+                throw error;
+        }
+    }
+}
+export class StateMutationTransaction {
+    projectRoot;
+    options;
+    stages = new Set();
+    failureInjected = false;
+    constructor(projectRoot, options = {}) {
+        this.projectRoot = projectRoot;
+        this.options = options;
+    }
+    stageProjection(target, bytes) {
+        const directory = path.dirname(target);
+        fs.mkdirSync(directory, { recursive: true });
+        removeStaleStages(directory);
+        const stage = stagePath(target);
+        let fd;
+        try {
+            fd = fs.openSync(stage, "wx");
+            fs.writeFileSync(fd, bytes, "utf8");
+            fs.fsyncSync(fd);
+            fs.closeSync(fd);
+            fd = undefined;
+            this.stages.add(stage);
+            return stage;
+        }
+        finally {
+            if (fd !== undefined)
+                fs.closeSync(fd);
+            if (!this.stages.has(stage)) {
+                try {
+                    fs.unlinkSync(stage);
+                }
+                catch {
+                    /* stage was never created or cleanup is already complete */
+                }
+            }
+        }
+    }
+    syncStaged(stage) {
+        const fd = fs.openSync(stage, "r");
+        try {
+            fs.fsyncSync(fd);
+        }
+        finally {
+            fs.closeSync(fd);
+        }
+        this.failAfter("staged-write");
+    }
+    publishArchive(artifact, entryNumber, record) {
+        const archive = publishNumberedArchive(this.projectRoot, artifact, entryNumber, record, {
+            afterDirectorySync: () => this.failAfter("directory-sync"),
+        });
+        this.failAfter("archive-publication");
+        return archive;
+    }
+    publishExperimentArchive(publication, onExisting) {
+        const published = publishImmutableFile(publication.target, publication.bytes, {
+            directoryDurabilityRoot: publication.directoryDurabilityRoot,
+            onExisting,
+            afterDirectoryEntrySync: () => this.failAfter("archive-directory-publication"),
+            afterDirectorySync: () => this.failAfter("directory-sync"),
+        });
+        this.failAfter("archive-publication");
+        return published;
+    }
+    publishBackup(target, bytes, onExisting) {
+        const published = publishImmutableFile(target, bytes, {
+            onExisting,
+            afterDirectorySync: () => this.failAfter("directory-sync"),
+        });
+        this.failAfter("backup-publication");
+        return published;
+    }
+    publishProjection(stage, target, expectedBytes) {
+        if (expectedBytes !== undefined) {
+            const currentBytes = fs.existsSync(target) ? fs.readFileSync(target, "utf8") : "";
+            if (currentBytes !== expectedBytes) {
+                throw new Error(`projection target '${target}' changed before publication; existing bytes were preserved`);
+            }
+        }
+        fs.renameSync(stage, target);
+        this.stages.delete(stage);
+        this.failAfter("projection-publication");
+        fsyncDirectory(path.dirname(target));
+        this.failAfter("directory-sync");
+    }
+    mutateProjection(target, mutation) {
+        const stage = this.stageProjection(target, fs.readFileSync(target, "utf8"));
+        try {
+            const result = mutation(stage);
+            if (result.changed) {
+                this.syncStaged(stage);
+                this.publishProjection(stage, target);
+            }
+            return result;
+        }
+        finally {
+            this.removeStage(stage);
+        }
+    }
+    removeStage(stage) {
+        this.stages.delete(stage);
+        try {
+            fs.unlinkSync(stage);
+        }
+        catch {
+            /* published or already removed */
+        }
+    }
+    cleanup() {
+        for (const stage of this.stages)
+            this.removeStage(stage);
+        this.stages.clear();
+    }
+    failAfter(boundary) {
+        if (this.failureInjected || this.options.failAfter !== boundary)
+            return;
+        this.failureInjected = true;
+        throw new InjectedMutationFailure(boundary);
+    }
+}
+export function withStateMutation(projectRoot, operation, options = {}) {
+    const lock = acquireWriterLock(projectRoot, options.lockTimeoutMs);
+    const transaction = new StateMutationTransaction(projectRoot, options);
+    try {
+        removeStaleStages(path.join(projectRoot, ".agentera"));
+        return operation(transaction);
+    }
+    finally {
+        transaction.cleanup();
+        lock.release();
+    }
+}
+//# sourceMappingURL=mutation.js.map

package/dist/state/write/mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../../src/state/write/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAI7B,OAAO,EACL,oBAAoB,EACpB,sBAAsB,GAEvB,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,cAAc;IACd,+BAA+B;IAC/B,qBAAqB;IACrB,oBAAoB;IACpB,wBAAwB;IACxB,gBAAgB;CACR,CAAC;AASX,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACvC,QAAQ,CAA0B;IAE3C,YAAY,QAAiC;QAC3C,KAAK,CAAC,yCAAyC,QAAQ,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED,IAAI,aAAa,GAAG,CAAC,CAAC;AAEtB,SAAS,cAAc,CAAC,SAAiB;IACvC,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC;QACH,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAC/B,aAAa,IAAI,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC,IAAI,CACd,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EACpB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,OAAO,CAAC,GAAG,IAAI,aAAa,MAAM,CACvE,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAiB;IAC1C,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;QAAE,OAAO;IACtC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACvE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,CAAC;YACnD,iBAAiB,CAAC,SAAS,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9D,IAAI,CAAC;YACH,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,KAAK,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,OAAO,wBAAwB;IAKxB;IACQ;IALF,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,eAAe,GAAG,KAAK,CAAC;IAEhC,YACW,WAAmB,EACX,UAAgC,EAAE;QAD1C,gBAAW,GAAX,WAAW,CAAQ;QACX,YAAO,GAAP,OAAO,CAA2B;IAClD,CAAC;IAEJ,eAAe,CAAC,MAAc,EAAE,KAAa;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7C,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,EAAsB,CAAC;QAC3B,IAAI,CAAC;YACH,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9B,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YACpC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACjB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACjB,EAAE,GAAG,SAAS,CAAC;YACf,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvB,OAAO,KAAK,CAAC;QACf,CAAC;gBAAS,CAAC;YACT,IAAI,EAAE,KAAK,SAAS;gBAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC;oBACH,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACvB,CAAC;gBAAC,MAAM,CAAC;oBACP,4DAA4D;gBAC9D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC;YACH,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;gBAAS,CAAC;YACT,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACjC,CAAC;IAED,cAAc,CACZ,QAA0B,EAC1B,WAAmB,EACnB,MAAkB;QAElB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE;YACtF,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACtC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,wBAAwB,CACtB,WAAyC,EACzC,UAAsB;QAEtB,MAAM,SAAS,GAAG,oBAAoB,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,EAAE;YAC5E,uBAAuB,EAAE,WAAW,CAAC,uBAAuB;YAC5D,UAAU;YACV,uBAAuB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,+BAA+B,CAAC;YAC9E,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,aAAa,CAAC,MAAc,EAAE,KAAa,EAAE,UAAuB;QAClE,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE;YACpD,UAAU;YACV,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC;SAC3D,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QACrC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,iBAAiB,CAAC,KAAa,EAAE,MAAc,EAAE,aAAsB;QACrE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,YAAY,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClF,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;gBACnC,MAAM,IAAI,KAAK,CACb,sBAAsB,MAAM,6DAA6D,CAC1F,CAAC;YACJ,CAAC;QACH,CAAC;QACD,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QACzC,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACnC,CAAC;IAED,gBAAgB,CACd,MAAc,EACd,QAA8B;QAE9B,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5E,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACvB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACxC,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,WAAW,CAAC,KAAa;QACvB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC;YACH,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QAAC,MAAM,CAAC;YACP,kCAAkC;QACpC,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAEO,SAAS,CAAC,QAAiC;QACjD,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,QAAQ;YAAE,OAAO;QACxE,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;QAC5B,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;CACF;AAED,MAAM,UAAU,iBAAiB,CAC/B,WAAmB,EACnB,SAAuD,EACvD,UAAgC,EAAE;IAElC,MAAM,IAAI,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,IAAI,wBAAwB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IACvE,IAAI,CAAC;QACH,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;QACvD,OAAO,SAAS,CAAC,WAAW,CAAC,CAAC;IAChC,CAAC;YAAS,CAAC;QACT,WAAW,CAAC,OAAO,EAAE,CAAC;QACtB,IAAI,CAAC,OAAO,EAAE,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/state/write/operations.js

@@ -0,0 +1,254 @@
+export const WRITABLE_ARTIFACTS = ["progress", "decisions", "plan", "health", "experiments"];
+export const WRITE_VERBS = [
+    "append",
+    "update",
+    "set-status",
+    "set-plan-status",
+    "record-evaluation",
+    "repair",
+    "archive",
+    "create",
+    "publish",
+    "explain",
+];
+const progressAppend = [
+    {
+        flag: "--type",
+        field: "type",
+        kind: "string",
+        required: true,
+        validValues: ["feat", "fix", "docs", "refactor", "chore", "test"],
+    },
+    {
+        flag: "--phase",
+        field: "phase",
+        kind: "string",
+        required: true,
+        validValues: ["envision", "deliberate", "plan", "build", "audit"],
+    },
+    { flag: "--what", field: "what", kind: "string", required: true },
+    { flag: "--intent", field: "context.intent", kind: "string", required: true },
+    { flag: "--timestamp", field: "timestamp", kind: "datetime", required: false },
+    { flag: "--inspiration", field: "inspiration", kind: "string" },
+    { flag: "--discovered", field: "discovered", kind: "string" },
+    { flag: "--verified", field: "verified", kind: "string" },
+    { flag: "--next", field: "next", kind: "string" },
+    { flag: "--constraints", field: "context.constraints", kind: "string" },
+    { flag: "--unknowns", field: "context.unknowns", kind: "string" },
+    { flag: "--scope", field: "context.scope", kind: "string" },
+];
+const decisionAppend = [
+    { flag: "--question", field: "question", kind: "string", required: true },
+    { flag: "--context", field: "context", kind: "string", required: true },
+    { flag: "--alternative-chosen", field: "alternatives.chosen", kind: "string", required: true },
+    {
+        flag: "--alternative-rejected",
+        field: "alternatives.rejected",
+        kind: "string_list",
+        repeatable: true,
+    },
+    { flag: "--choice", field: "choice", kind: "string", required: true },
+    { flag: "--reasoning", field: "reasoning", kind: "string", required: true },
+    {
+        flag: "--confidence",
+        field: "confidence",
+        kind: "string",
+        required: true,
+        validValues: ["firm", "provisional", "exploratory"],
+    },
+    { flag: "--feeds-into", field: "feeds_into", kind: "string" },
+    { flag: "--date", field: "date", kind: "date", required: false },
+];
+const decisionUpdate = [
+    { flag: "--number", field: "number", kind: "integer", required: true },
+    {
+        flag: "--satisfaction-state",
+        field: "satisfaction.state",
+        kind: "string",
+        required: true,
+        validValues: ["open", "provisionally_satisfied", "user_confirmed_satisfied"],
+    },
+    { flag: "--satisfaction-evidence", field: "satisfaction.evidence", kind: "string" },
+    { flag: "--confirmed-by", field: "satisfaction.user_confirmation.confirmed_by", kind: "string" },
+    { flag: "--confirmed-at", field: "satisfaction.user_confirmation.confirmed_at", kind: "string" },
+];
+const planTaskFields = [
+    { flag: "--name", field: "name", kind: "string", required: true },
+    { flag: "--depends-on", field: "depends_on", kind: "integer_list", repeatable: true },
+    { flag: "--acceptance", field: "acceptance", kind: "string_list", repeatable: true },
+    {
+        flag: "--status",
+        field: "status",
+        kind: "string",
+        required: false,
+        validValues: ["complete", "in_progress", "pending", "blocked"],
+        description: "Task execution status. Does not change the plan lifecycle.",
+    },
+];
+const planEvaluationFields = [
+    { flag: "--task", field: "task", kind: "integer", required: true },
+    { flag: "--attempt-id", field: "evaluation.attempt_id", kind: "string", required: true },
+    {
+        flag: "--verdict",
+        field: "evaluation.verdict",
+        kind: "string",
+        required: true,
+        validValues: ["pass", "fail"],
+        description: "Evaluator verdict for this idempotent attempt.",
+    },
+    { flag: "--failure-evidence", field: "evaluation.failure_evidence", kind: "string" },
+    {
+        flag: "--provenance",
+        field: "evaluation.provenance",
+        kind: "string",
+        required: true,
+        description: "Stable source reference for the evaluator result.",
+    },
+];
+const SPECS = [
+    { artifact: "progress", verb: "append", fields: progressAppend, compacts: true },
+    { artifact: "decisions", verb: "append", fields: decisionAppend, compacts: true },
+    { artifact: "decisions", verb: "update", fields: decisionUpdate },
+    { artifact: "plan", verb: "append", fields: planTaskFields },
+    {
+        artifact: "plan",
+        verb: "update",
+        fields: [
+            { flag: "--task", field: "task", kind: "integer", required: true },
+            ...planTaskFields
+                .filter((field) => field.field !== "status")
+                .map((field) => ({ ...field, required: false })),
+            { flag: "--evidence", field: "evidence", kind: "string" },
+            { flag: "--blocked-reason", field: "blocked_reason", kind: "string" },
+            { flag: "--surprise", field: "surprise", kind: "string" },
+        ],
+    },
+    {
+        artifact: "plan",
+        verb: "set-status",
+        fields: [
+            { flag: "--task", field: "task", kind: "integer", required: true },
+            {
+                flag: "--status",
+                field: "status",
+                kind: "string",
+                required: true,
+                validValues: ["complete", "in_progress", "pending", "blocked"],
+                description: "Task execution status. Does not change the plan lifecycle.",
+            },
+        ],
+    },
+    {
+        artifact: "plan",
+        verb: "set-plan-status",
+        fields: [
+            {
+                flag: "--status",
+                field: "status",
+                kind: "string",
+                required: true,
+                validValues: ["open", "complete"],
+                description: "Plan lifecycle status. Positional activity is derived from location.",
+            },
+        ],
+    },
+    { artifact: "plan", verb: "record-evaluation", fields: planEvaluationFields },
+    { artifact: "plan", verb: "archive", fields: [], allowForce: true },
+    {
+        artifact: "plan",
+        verb: "create",
+        fields: [],
+        inputRoot: "complete plan document",
+        cliOwnedFields: ["header.id", "previous_plan_archived"],
+        allowForce: true,
+    },
+    {
+        artifact: "health",
+        verb: "append",
+        fields: [],
+        inputRoot: "one audit entry",
+        cliOwnedFields: ["number"],
+        compacts: true,
+    },
+    {
+        artifact: "health",
+        verb: "repair",
+        fields: [
+            { flag: "--number", field: "number", kind: "integer", required: true },
+            { flag: "--keep", field: "keep", kind: "string", required: false, validValues: ["first", "last"] },
+        ],
+        allowForce: true,
+    },
+    {
+        artifact: "experiments",
+        verb: "publish",
+        fields: [
+            {
+                flag: "--objective",
+                field: "objective",
+                kind: "string",
+                required: true,
+                description: "Stable objective identity owning the experiment.",
+            },
+            {
+                flag: "--number",
+                field: "number",
+                kind: "integer",
+                required: true,
+                description: "Non-negative experiment number, including baseline 0.",
+            },
+        ],
+        inputRoot: "one experiment entry",
+        cliOwnedFields: ["number"],
+        compacts: true,
+    },
+];
+export function operationSpec(artifact, verb) {
+    return SPECS.find((spec) => spec.artifact === artifact && spec.verb === verb) ?? null;
+}
+export function verbsForArtifact(artifact) {
+    if (!WRITABLE_ARTIFACTS.includes(artifact))
+        return [];
+    return [
+        ...SPECS.filter((spec) => spec.artifact === artifact).map((spec) => spec.verb),
+        "explain",
+    ];
+}
+export function isWriteVerb(value) {
+    return Boolean(value && WRITE_VERBS.includes(value));
+}
+export function isWritableArtifact(value) {
+    return WRITABLE_ARTIFACTS.includes(value);
+}
+export function stateWriterArtifactContract(artifact) {
+    if (!isWritableArtifact(artifact))
+        return null;
+    const verbs = verbsForArtifact(artifact);
+    const mutations = verbs.filter((verb) => verb !== "explain");
+    return {
+        artifact,
+        mutations,
+        explain_command: `agentera state ${artifact} explain --format json`,
+        explain_by_verb: Object.fromEntries(mutations.map((verb) => [
+            verb,
+            `agentera state ${artifact} explain --verb ${verb} --format json`,
+        ])),
+        supports_dry_run: true,
+    };
+}
+export function stateWriterContract(targets = WRITABLE_ARTIFACTS) {
+    const uniqueTargets = [...new Set(targets)];
+    const artifacts = uniqueTargets
+        .map(stateWriterArtifactContract)
+        .filter((entry) => entry !== null);
+    return {
+        schemaVersion: "agentera.stateWriterDiscovery.v1",
+        namespace: "agentera state",
+        policy: "Use the state writer for supported artifact mutations; do not hand-edit those artifacts during normal capability execution.",
+        authority: "runtime operation registry",
+        discovery_command: "agentera schema --format json",
+        artifacts,
+        unsupported_targets: uniqueTargets.filter((target) => !isWritableArtifact(target)),
+    };
+}
+//# sourceMappingURL=operations.js.map

package/dist/state/write/operations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operations.js","sourceRoot":"","sources":["../../../src/state/write/operations.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAU,CAAC;AAGtG,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,iBAAiB;IACjB,mBAAmB;IACnB,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;CACD,CAAC;AAyBX,MAAM,cAAc,GAAqB;IACvC;QACE,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,MAAM;QACb,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC;KAClE;IACD;QACE,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,CAAC,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC;KAClE;IACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IACjE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC7E,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC9E,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC/D,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC7D,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;IACzD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE;IACjD,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE;IACvE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE;IACjE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;CAC5D,CAAC;AAEF,MAAM,cAAc,GAAqB;IACvC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IACzE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IACvE,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC9F;QACE,IAAI,EAAE,wBAAwB;QAC9B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,IAAI;KACjB;IACD,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IACrE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IAC3E;QACE,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,aAAa,CAAC;KACpD;IACD,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC7D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE;CACjE,CAAC;AAEF,MAAM,cAAc,GAAqB;IACvC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;IACtE;QACE,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,CAAC,MAAM,EAAE,yBAAyB,EAAE,0BAA0B,CAAC;KAC7E;IACD,EAAE,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,QAAQ,EAAE;IACnF,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,6CAA6C,EAAE,IAAI,EAAE,QAAQ,EAAE;IAChG,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,6CAA6C,EAAE,IAAI,EAAE,QAAQ,EAAE;CACjG,CAAC;AAEF,MAAM,cAAc,GAAqB;IACvC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IACjE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,IAAI,EAAE;IACrF,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE;IACpF;QACE,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC;QAC9D,WAAW,EAAE,4DAA4D;KAC1E;CACF,CAAC;AAEF,MAAM,oBAAoB,GAAqB;IAC7C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;IAClE,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;IACxF;QACE,IAAI,EAAE,WAAW;QACjB,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QAC7B,WAAW,EAAE,gDAAgD;KAC9D;IACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,6BAA6B,EAAE,IAAI,EAAE,QAAQ,EAAE;IACpF;QACE,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,mDAAmD;KACjE;CACF,CAAC;AAEF,MAAM,KAAK,GAAoB;IAC7B,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE;IAChF,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE;IACjF,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE;IACjE,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE;IAC5D;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;YAClE,GAAG,cAAc;iBACd,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC;iBAC3C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAClD,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzD,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;YACrE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC1D;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;YAClE;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,CAAC;gBAC9D,WAAW,EAAE,4DAA4D;aAC1E;SACF;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,iBAAiB;QACvB,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,CAAC,MAAM,EAAE,UAAU,CAAC;gBACjC,WAAW,EAAE,sEAAsE;aACpF;SACF;KACF;IACD,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,EAAE,oBAAoB,EAAE;IAC7E,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE;IACnE;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,wBAAwB;QACnC,cAAc,EAAE,CAAC,WAAW,EAAE,wBAAwB,CAAC;QACvD,UAAU,EAAE,IAAI;KACjB;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,iBAAiB;QAC5B,cAAc,EAAE,CAAC,QAAQ,CAAC;QAC1B,QAAQ,EAAE,IAAI;KACf;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE;YACtE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE;SACnG;QACD,UAAU,EAAE,IAAI;KACjB;IACD;QACE,QAAQ,EAAE,aAAa;QACvB,IAAI,EAAE,SAAS;QACf,MAAM,EAAE;YACN;gBACE,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,WAAW;gBAClB,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,kDAAkD;aAChE;YACD;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,uDAAuD;aACrE;SACF;QACD,SAAS,EAAE,sBAAsB;QACjC,cAAc,EAAE,CAAC,QAAQ,CAAC;QAC1B,QAAQ,EAAE,IAAI;KACf;CACF,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAY;IAC1D,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC/C,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,QAA4B,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1E,OAAO;QACL,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9E,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAyB;IACnD,OAAO,OAAO,CAAC,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,KAAkB,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAa;IAC9C,OAAO,kBAAkB,CAAC,QAAQ,CAAC,KAAyB,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,QAAgB;IAC1D,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC7D,OAAO;QACL,QAAQ;QACR,SAAS;QACT,eAAe,EAAE,kBAAkB,QAAQ,wBAAwB;QACnE,eAAe,EAAE,MAAM,CAAC,WAAW,CACjC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACtB,IAAI;YACJ,kBAAkB,QAAQ,mBAAmB,IAAI,gBAAgB;SAClE,CAAC,CACH;QACD,gBAAgB,EAAE,IAAI;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAA6B,kBAAkB;IAE/C,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAG,aAAa;SAC5B,GAAG,CAAC,2BAA2B,CAAC;SAChC,MAAM,CAAC,CAAC,KAAK,EAAuB,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IAC1D,OAAO;QACL,aAAa,EAAE,kCAAkC;QACjD,SAAS,EAAE,gBAAgB;QAC3B,MAAM,EACJ,6HAA6H;QAC/H,SAAS,EAAE,4BAA4B;QACvC,iBAAiB,EAAE,+BAA+B;QAClD,SAAS;QACT,mBAAmB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;KACnF,CAAC;AACJ,CAAC"}

package/dist/state/write/planPublication.js

@@ -0,0 +1,172 @@
+import { dumpYamlMapping, loadYamlMapping } from "../../core/yaml.js";
+import { lintFullArtifactPayload } from "../../cli/commands/lint.js";
+import { reject } from "./errors.js";
+import { validateArtifactBytes } from "./validate.js";
+function isRecord(value) {
+    return Boolean(value && typeof value === "object" && !Array.isArray(value));
+}
+export function validatePlanCreateInput(input) {
+    const header = isRecord(input.header) ? input.header : {};
+    if (header.id !== undefined) {
+        reject({
+            class: "schema_violation",
+            message: "plan create header.id is CLI-owned and must be omitted",
+            violations: ["header.id is assigned by the validated plan writer"],
+        });
+    }
+    const tasks = Array.isArray(input.tasks) ? input.tasks.filter(isRecord) : [];
+    const numbers = tasks.map((task) => Number(task.number));
+    const expected = tasks.map((_, index) => index + 1);
+    if (numbers.some((number, index) => number !== expected[index])) {
+        reject({
+            class: "schema_violation",
+            message: "plan create task numbers must be unique and sequential starting from 1",
+            violations: ["PV1: task numbers must equal 1..N"],
+        });
+    }
+    if (header.status === "complete" && tasks.some((task) => task.status !== "complete")) {
+        reject({
+            class: "schema_violation",
+            message: "a complete plan cannot contain incomplete tasks",
+            violations: ["header.status complete requires every task complete"],
+        });
+    }
+}
+export function planEvaluationViolations(doc) {
+    const tasks = Array.isArray(doc.tasks) ? doc.tasks : [];
+    const violations = [];
+    const allowed = new Set([
+        "attempt_count",
+        "failure_count",
+        "last_verdict",
+        "last_failure_evidence",
+        "provenance",
+    ]);
+    tasks.forEach((task, index) => {
+        if (!isRecord(task) || task.evaluation === undefined)
+            return;
+        const prefix = `tasks[${index}].evaluation`;
+        if (!isRecord(task.evaluation)) {
+            violations.push(`plan: '${prefix}' must be a mapping`);
+            return;
+        }
+        const evaluation = task.evaluation;
+        for (const field of Object.keys(evaluation)) {
+            if (!allowed.has(field))
+                violations.push(`plan: unsupported field '${prefix}.${field}'`);
+        }
+        const attemptCount = evaluation.attempt_count;
+        const failureCount = evaluation.failure_count;
+        if (!Number.isInteger(attemptCount) || Number(attemptCount) < 1)
+            violations.push(`plan: '${prefix}.attempt_count' must be a positive integer`);
+        if (!Number.isInteger(failureCount) || Number(failureCount) < 0)
+            violations.push(`plan: '${prefix}.failure_count' must be a non-negative integer`);
+        if (Number.isInteger(attemptCount) &&
+            Number.isInteger(failureCount) &&
+            Number(failureCount) > Number(attemptCount))
+            violations.push(`plan: '${prefix}.failure_count' cannot exceed attempt_count`);
+        const verdict = evaluation.last_verdict;
+        if (verdict !== "pass" && verdict !== "fail")
+            violations.push(`plan: '${prefix}.last_verdict' must be pass or fail`);
+        const failureEvidence = evaluation.last_failure_evidence;
+        if (failureEvidence !== null && typeof failureEvidence !== "string")
+            violations.push(`plan: '${prefix}.last_failure_evidence' must be a string or null`);
+        if (verdict === "fail" && (typeof failureEvidence !== "string" || !failureEvidence.trim()))
+            violations.push(`plan: '${prefix}.last_failure_evidence' is required for a failed evaluation`);
+        if (!isRecord(evaluation.provenance)) {
+            violations.push(`plan: '${prefix}.provenance' must be a mapping`);
+        }
+        else {
+            for (const field of ["attempt_id", "source", "recorded_at", "writer_command"]) {
+                const value = evaluation.provenance[field];
+                if (typeof value !== "string" || !value.trim())
+                    violations.push(`plan: '${prefix}.provenance.${field}' must be a non-empty string`);
+            }
+            if (evaluation.provenance.writer_command !== "agentera state plan record-evaluation")
+                violations.push(`plan: '${prefix}.provenance.writer_command' must identify the evaluation writer`);
+        }
+        if (Number(failureCount) >= 2 && task.status !== "blocked")
+            violations.push(`plan: '${prefix}' with two failed evaluations requires task status blocked`);
+    });
+    return violations;
+}
+function withoutCliOwnedPlanLifecycleFields(doc) {
+    const candidate = structuredClone(doc);
+    delete candidate.previous_plan_archived;
+    const tasks = Array.isArray(candidate.tasks) ? candidate.tasks : [];
+    for (const task of tasks) {
+        if (isRecord(task))
+            delete task.evaluation;
+    }
+    return candidate;
+}
+function classifyHistoricalPlanBudgetOverflow(bytes) {
+    const lint = lintFullArtifactPayload("plan", bytes);
+    const failures = lint.checks.filter((check) => check.status === "fail");
+    if (failures.length === 0)
+        return { eligible: false, reason: "the predecessor does not have a full-file budget failure" };
+    if (failures.some((check) => check.name !== "verbosity"))
+        return { eligible: false, reason: "the predecessor has strict lint failures beyond full-file verbosity" };
+    let doc;
+    try {
+        doc = loadYamlMapping(bytes);
+    }
+    catch {
+        return { eligible: false, reason: "the predecessor YAML is malformed" };
+    }
+    const tasks = Array.isArray(doc.tasks) ? doc.tasks : [];
+    const hasOwnedMetadata = Object.prototype.hasOwnProperty.call(doc, "previous_plan_archived") ||
+        tasks.some((task) => isRecord(task) && Object.prototype.hasOwnProperty.call(task, "evaluation"));
+    if (!hasOwnedMetadata)
+        return { eligible: false, reason: "the full-file overflow is not attributable to CLI-owned plan metadata" };
+    const evaluationViolations = planEvaluationViolations(doc);
+    if (evaluationViolations.length > 0)
+        return { eligible: false, reason: `CLI-owned evaluation metadata is malformed: ${evaluationViolations[0]}` };
+    const stripped = dumpYamlMapping(withoutCliOwnedPlanLifecycleFields(doc));
+    const strippedLint = lintFullArtifactPayload("plan", stripped);
+    if (strippedLint.status !== "pass")
+        return { eligible: false, reason: "user-authored plan content still exceeds the full-file budget" };
+    return {
+        eligible: true,
+        reason: "full-file overflow is attributable only to CLI-owned plan lineage/evaluation metadata",
+    };
+}
+export function validatePlanPublicationCandidate(bytes, options = {}) {
+    const lint = lintFullArtifactPayload("plan", bytes);
+    const lintViolations = lint.checks
+        .filter((check) => check.status === "fail")
+        .map((check) => `strict prose lint ${check.name}: ${check.detail}; action: ${check.action}`);
+    const schemaViolations = validateArtifactBytes("plan", bytes).map((violation) => `schema validation: ${violation}`);
+    let document = {};
+    try {
+        document = loadYamlMapping(bytes);
+    }
+    catch {
+        // The schema validator owns malformed-YAML diagnostics.
+    }
+    const evaluationViolations = planEvaluationViolations(document).map((violation) => `schema validation: ${violation}`);
+    let historical = null;
+    if (options.allowHistoricalBudgetOverflow && lintViolations.length > 0) {
+        historical = classifyHistoricalPlanBudgetOverflow(bytes);
+        if (!historical.eligible)
+            lintViolations.push(`historical predecessor exception rejected: ${historical.reason}`);
+    }
+    const effectiveLintViolations = historical?.eligible
+        ? lintViolations.filter((violation) => !violation.startsWith("strict prose lint verbosity"))
+        : lintViolations;
+    const effectiveViolations = [...effectiveLintViolations, ...schemaViolations, ...evaluationViolations];
+    if (effectiveViolations.length === 0)
+        return {
+            diagnostics: historical?.eligible
+                ? [`historical predecessor accepted: ${historical.reason}; exact predecessor bytes preserved`]
+                : [],
+        };
+    reject({
+        class: "schema_violation",
+        message: "plan publication candidate failed strict prose lint or schema validation; correct the reported violations and retry",
+        violations: effectiveViolations,
+        syntax: "agentera state plan create --input plan.yaml --format json",
+        example: "agentera state plan create --input plan.yaml --format json",
+    });
+}
+//# sourceMappingURL=planPublication.js.map