agentera 3.0.0-dev.3 → 3.0.0-dev.31

package/dist/state/write/operations.js

@@ -0,0 +1,375 @@
+import { loadTodoReadinessContract } from "../../registries/todoReadinessContract.js";
+export const WRITABLE_ARTIFACTS = ["progress", "decisions", "plan", "health", "objective", "experiments", "todo", "docs"];
+export const WRITE_VERBS = [
+    "append",
+    "update",
+    "amend",
+    "set-status",
+    "supersede",
+    "set-plan-status",
+    "record-evaluation",
+    "repair",
+    "archive",
+    "create",
+    "publish",
+    "resolve",
+    "explain",
+];
+const todoReadinessFields = [
+    { flag: "--capability", field: "readiness.capability", kind: "string", description: "Reviewer-approved capability that owns the next action." },
+    { flag: "--reason", field: "readiness.reason", kind: "string", description: "Durable intent explaining why the destination is correct." },
+    { flag: "--dependency", field: "readiness.dependencies", kind: "string_list", repeatable: true, description: "Bare ten-letter canonical TODO prerequisite ID; repeat for each dependency." },
+    { flag: "--blocked-reason", field: "readiness.blocked.reason", kind: "string", description: "Explicit blocker reason; requires --blocked-recovery." },
+    { flag: "--blocked-recovery", field: "readiness.blocked.recovery", kind: "string", description: "Bounded action that clears the declared blocker; requires --blocked-reason." },
+    { flag: "--gate-state", field: "readiness.gate.state", kind: "string", validValues: ["pending", "satisfied"], description: "Declared external or approval gate state." },
+    { flag: "--gate-reason", field: "readiness.gate.reason", kind: "string", description: "Reason for the declared gate." },
+    { flag: "--gate-recovery", field: "readiness.gate.recovery", kind: "string", description: "Bounded action for the declared gate." },
+    { flag: "--queue-rank", field: "readiness.queue_rank", kind: "integer", description: "Reviewer-assigned intent order within severity; lower values run first." },
+    { flag: "--order-reason", field: "readiness.order_reason", kind: "string", description: "Durable reason for the queue rank." },
+];
+/** Caller-selected existing decision number (update/amend). Never CLI-assigned. */
+const EXISTING_DECISION_NUMBER_DESCRIPTION = "Existing decision number to update or amend. Caller-selected: it must match a numbered decision in the active projection or numbered archive and is never assigned by the CLI.";
+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: "--id", field: "id", kind: "string" },
+    {
+        flag: "--number",
+        field: "number",
+        kind: "integer",
+        required: false,
+        description: EXISTING_DECISION_NUMBER_DESCRIPTION,
+    },
+    {
+        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" },
+];
+/**
+ * Amending decision content fields. `--number` is caller-selected (an existing
+ * decision). At least one amendable content field must be supplied; individual
+ * fields are optional so the writer can validate the union requirement.
+ * `--alternative-rejected` is repeatable and appends rejected alternatives.
+ * Confidence values must be current vocabulary (firm|provisional|exploratory).
+ * Amendment publication publishes a record-local revision document override
+ * with recovery; the decisions projection is never rewritten.
+ */
+const decisionAmend = [
+    { flag: "--id", field: "id", kind: "string" },
+    { flag: "--base-sha256", field: "base_sha256", kind: "string" },
+    {
+        flag: "--number",
+        field: "number",
+        kind: "integer",
+        required: false,
+        description: EXISTING_DECISION_NUMBER_DESCRIPTION,
+    },
+    { flag: "--question", field: "question", kind: "string", required: false },
+    { flag: "--context", field: "context", kind: "string", required: false },
+    { flag: "--alternative-chosen", field: "alternatives.chosen", kind: "string", required: false },
+    {
+        flag: "--alternative-rejected",
+        field: "alternatives.rejected",
+        kind: "string_list",
+        repeatable: true,
+        required: false,
+    },
+    { flag: "--choice", field: "choice", kind: "string", required: false },
+    { flag: "--reasoning", field: "reasoning", kind: "string", required: false },
+    {
+        flag: "--confidence",
+        field: "confidence",
+        kind: "string",
+        required: false,
+        validValues: ["firm", "provisional", "exploratory"],
+    },
+    { flag: "--feeds-into", field: "feeds_into", kind: "string", required: false },
+];
+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 planSupersedeFields = [
+    { flag: "--by", field: "superseded_by", kind: "string_list", required: true, repeatable: true, description: "Distinct completed replacement task IDs in the same plan." },
+    { flag: "--reason", field: "superseded_reason", kind: "string", required: true, description: "Required explanation, at most 500 characters." },
+];
+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: "decisions", verb: "amend", fields: decisionAmend },
+    { 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: "supersede", fields: planSupersedeFields },
+    {
+        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: "objective",
+        verb: "create",
+        fields: [],
+        inputRoot: "one objective document",
+        cliOwnedFields: ["id", "artifact", "header.id"],
+    },
+    {
+        artifact: "objective",
+        verb: "update",
+        fields: [{ flag: "--id", field: "id", kind: "string", required: true }],
+        inputRoot: "one objective document",
+        cliOwnedFields: ["id", "artifact", "header.id"],
+    },
+    {
+        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",
+                description: "Non-negative experiment number, including baseline 0.",
+            },
+            { flag: "--id", field: "id", kind: "string", description: "Existing immutable entity ID for exact replay in entity mode." },
+        ],
+        inputRoot: "one experiment entry",
+        cliOwnedFields: ["number"],
+        compacts: true,
+    },
+    {
+        artifact: "todo",
+        verb: "create",
+        fields: [
+            { flag: "--severity", field: "severity", kind: "string", required: true, validValues: ["critical", "degraded", "normal", "annoying"] },
+            { flag: "--description", field: "description", kind: "string", required: true },
+            ...todoReadinessFields,
+        ],
+    },
+    {
+        artifact: "todo",
+        verb: "update",
+        fields: [
+            { flag: "--id", field: "id", kind: "string", required: true, description: "Bare ten-letter TODO item ID returned by create or list." },
+            { flag: "--severity", field: "severity", kind: "string", required: false, validValues: ["critical", "degraded", "normal", "annoying"] },
+            { flag: "--description", field: "description", kind: "string", required: false },
+            ...todoReadinessFields,
+        ],
+    },
+    { artifact: "todo", verb: "resolve", fields: [{ flag: "--id", field: "id", kind: "string", required: true, description: "Bare ten-letter TODO item ID returned by create or list." }] },
+    { artifact: "docs", verb: "create", fields: [], inputRoot: "one documentation inventory entry", cliOwnedFields: ["id", "artifact"] },
+    {
+        artifact: "docs",
+        verb: "update",
+        fields: [{ flag: "--id", field: "id", kind: "string", required: true, description: "Bare ten-letter documentation inventory ID returned by create or list." }],
+        inputRoot: "one documentation inventory entry",
+        cliOwnedFields: ["id", "artifact"],
+    },
+];
+export function operationSpec(artifact, verb) {
+    const spec = SPECS.find((candidate) => candidate.artifact === artifact && candidate.verb === verb) ?? null;
+    if (!spec || artifact !== "todo" || !["create", "update"].includes(verb))
+        return spec;
+    const allowedDestinations = loadTodoReadinessContract().allowedDestinations;
+    return {
+        ...spec,
+        fields: spec.fields.map((field) => field.flag === "--capability" ? { ...field, validValues: allowedDestinations } : field),
+    };
+}
+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, projectRoot = process.cwd()) {
+    if (!isWritableArtifact(artifact))
+        return null;
+    void projectRoot;
+    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((target) => stateWriterArtifactContract(target))
+        .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) => stateWriterArtifactContract(target) === null),
+    };
+}
+//# sourceMappingURL=operations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"operations.js","sourceRoot":"","sources":["../../../../../../home/jgabor/git/agentera/packages/cli/src/state/write/operations.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AAEtF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AAGnI,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,YAAY;IACZ,WAAW;IACX,iBAAiB;IACjB,mBAAmB;IACnB,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;CACD,CAAC;AAyCX,MAAM,mBAAmB,GAAqB;IAC5C,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yDAAyD,EAAE;IAC/I,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,kBAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;IACzI,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,6EAA6E,EAAE;IAC5L,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,0BAA0B,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,uDAAuD,EAAE;IACrJ,EAAE,IAAI,EAAE,oBAAoB,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6EAA6E,EAAE;IAC/K,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,WAAW,EAAE,2CAA2C,EAAE;IACxK,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE;IACvH,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,uCAAuC,EAAE;IACnI,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,yEAAyE,EAAE;IAChK,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oCAAoC,EAAE;CAC/H,CAAC;AAEF,mFAAmF;AACnF,MAAM,oCAAoC,GACxC,gLAAgL,CAAC;AAEnL,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,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC7C;QACE,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,oCAAoC;KAClD;IACD;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;;;;;;;;GAQG;AACH,MAAM,aAAa,GAAqB;IACtC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC7C,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE;IAC/D;QACE,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,oCAAoC;KAClD;IACD,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC1E,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;IACxE,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC/F;QACE,IAAI,EAAE,wBAAwB;QAC9B,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,KAAK;KAChB;IACD,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;IACtE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;IAC5E;QACE,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,aAAa,CAAC;KACpD;IACD,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;CAC/E,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,mBAAmB,GAAqB;IAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,2DAA2D,EAAE;IACzK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,+CAA+C,EAAE;CAC/I,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,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE;IAC/D,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,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,mBAAmB,EAAE;IACpE;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,WAAW;QACrB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,EAAE;QACV,SAAS,EAAE,wBAAwB;QACnC,cAAc,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC;KAChD;IACD;QACE,QAAQ,EAAE,WAAW;QACrB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACvE,SAAS,EAAE,wBAAwB;QACnC,cAAc,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC;KAChD;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,WAAW,EAAE,uDAAuD;aACrE;YACD,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+DAA+D,EAAE;SAC5H;QACD,SAAS,EAAE,sBAAsB;QACjC,cAAc,EAAE,CAAC,QAAQ,CAAC;QAC1B,QAAQ,EAAE,IAAI;KACf;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE;YACtI,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;YAC/E,GAAG,mBAAmB;SACvB;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,0DAA0D,EAAE;YACtI,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE;YACvI,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;YAChF,GAAG,mBAAmB;SACvB;KACF;IACD,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,0DAA0D,EAAE,CAAC,EAAE;IACvL,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,mCAAmC,EAAE,cAAc,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE;IACpI;QACE,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,wEAAwE,EAAE,CAAC;QAC9J,SAAS,EAAE,mCAAmC;QAC9C,cAAc,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC;KACnC;CACF,CAAC;AAEF,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAY;IAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC;IAC3G,IAAI,CAAC,IAAI,IAAI,QAAQ,KAAK,MAAM,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtF,MAAM,mBAAmB,GAAG,yBAAyB,EAAE,CAAC,mBAAmB,CAAC;IAC5E,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;KAC3H,CAAC;AACJ,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,EAAE,WAAW,GAAG,OAAO,CAAC,GAAG,EAAE;IACvF,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,KAAK,WAAW,CAAC;IACjB,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,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;SACpD,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,2BAA2B,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;KACpG,CAAC;AACJ,CAAC"}

package/dist/state/write/planEvaluation.js

@@ -0,0 +1,121 @@
+import { localTimestamp } from "./assign.js";
+import { reject } from "./errors.js";
+function mapping(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value)
+        ? value
+        : {};
+}
+export function mutatePlanTaskEvaluation(task, inputValue, taskLabel) {
+    const input = mapping(inputValue);
+    const attemptId = String(input.attempt_id ?? "").trim();
+    const verdict = String(input.verdict ?? "");
+    const provenance = String(input.provenance ?? "").trim();
+    const failureEvidence = String(input.failure_evidence ?? "").trim();
+    if (!attemptId || !provenance)
+        reject({ class: "schema_violation", message: "evaluation requires non-empty --attempt-id and --provenance" });
+    if (verdict === "fail" && !failureEvidence)
+        reject({ class: "schema_violation", message: "a failed evaluation requires non-empty --failure-evidence" });
+    if (verdict === "pass" && failureEvidence)
+        reject({ class: "schema_violation", message: "--failure-evidence applies only to a failed evaluation" });
+    const prior = mapping(task.evaluation);
+    const priorProvenance = mapping(prior.provenance);
+    if (priorProvenance.attempt_id === attemptId) {
+        const replay = prior.last_verdict === verdict
+            && priorProvenance.source === provenance
+            && (verdict !== "fail" || prior.last_failure_evidence === failureEvidence);
+        if (!replay)
+            reject({ class: "conflict", message: `evaluation attempt '${attemptId}' already exists with different result data` });
+        return { replay: true, attemptCount: Number(prior.attempt_count ?? 0), failureCount: Number(prior.failure_count ?? 0) };
+    }
+    if (["complete", "blocked", "superseded"].includes(String(task.status ?? "")))
+        reject({ class: "conflict", message: `${taskLabel} is ${task.status} and cannot accept another evaluation` });
+    const attemptCount = Number(prior.attempt_count ?? 0);
+    const failureCount = Number(prior.failure_count ?? 0);
+    if (!Number.isInteger(attemptCount) || attemptCount < 0 || !Number.isInteger(failureCount) || failureCount < 0)
+        reject({ class: "schema_violation", message: `${taskLabel} has malformed evaluation state` });
+    if (verdict === "fail" && failureCount >= 2)
+        reject({ class: "conflict", message: `${taskLabel} has exhausted its evaluation retry budget` });
+    const nextFailureCount = failureCount + (verdict === "fail" ? 1 : 0);
+    task.evaluation = {
+        attempt_count: attemptCount + 1,
+        failure_count: nextFailureCount,
+        last_verdict: verdict,
+        last_failure_evidence: verdict === "fail" ? failureEvidence : prior.last_failure_evidence ?? null,
+        provenance: {
+            attempt_id: attemptId,
+            source: provenance,
+            recorded_at: localTimestamp(),
+            writer_command: "agentera state plan record-evaluation",
+        },
+    };
+    if (nextFailureCount >= 2)
+        task.status = "blocked";
+    return { replay: false, attemptCount: attemptCount + 1, failureCount: nextFailureCount };
+}
+export function planEvaluationMetadataViolations(value, prefix, taskStatus) {
+    if (value === undefined)
+        return [];
+    if (value === null || typeof value !== "object" || Array.isArray(value))
+        return [`plan: '${prefix}' must be a mapping`];
+    const evaluation = value;
+    const violations = [];
+    const allowed = new Set(["attempt_count", "failure_count", "last_verdict", "last_failure_evidence", "provenance"]);
+    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 evidence = evaluation.last_failure_evidence;
+    if (evidence !== null && typeof evidence !== "string")
+        violations.push(`plan: '${prefix}.last_failure_evidence' must be a string or null`);
+    if (verdict === "fail" && (typeof evidence !== "string" || !evidence.trim()))
+        violations.push(`plan: '${prefix}.last_failure_evidence' is required for a failed evaluation`);
+    const provenance = mapping(evaluation.provenance);
+    if (Object.keys(provenance).length === 0)
+        violations.push(`plan: '${prefix}.provenance' must be a mapping`);
+    else {
+        for (const field of ["attempt_id", "source", "recorded_at", "writer_command"])
+            if (typeof provenance[field] !== "string" || !String(provenance[field]).trim())
+                violations.push(`plan: '${prefix}.provenance.${field}' must be a non-empty string`);
+        if (provenance.writer_command !== "agentera state plan record-evaluation")
+            violations.push(`plan: '${prefix}.provenance.writer_command' must identify the evaluation writer`);
+    }
+    if (Number(failureCount) >= 2 && !["blocked", "superseded"].includes(String(taskStatus)))
+        violations.push(`plan: '${prefix}' with two failed evaluations requires task status blocked or superseded`);
+    return violations;
+}
+export function planTaskRecordViolations(task, prefix = "plan task") {
+    const violations = [];
+    if (typeof task.name !== "string" || !task.name.trim())
+        violations.push(`${prefix}: name must be a non-empty string`);
+    const status = String(task.status);
+    if (!["pending", "in_progress", "complete", "blocked", "superseded", "skipped"].includes(status))
+        violations.push(`${prefix}: status must be pending, in_progress, complete, blocked, superseded, or skipped`);
+    for (const field of ["depends_on", "acceptance"])
+        if (!Array.isArray(task[field]) || !task[field].every((value) => typeof value === "string"))
+            violations.push(`${prefix}: ${field} must be a string list`);
+    const hasSupersession = task.superseded_by !== undefined || task.superseded_reason !== undefined;
+    if (status !== "superseded" && hasSupersession)
+        violations.push(`${prefix}: superseded_by and superseded_reason are only valid when status is superseded`);
+    if (status === "superseded") {
+        const replacements = task.superseded_by;
+        if (!Array.isArray(replacements) || replacements.length === 0 || !replacements.every((value) => typeof value === "string" && /^[a-z]{10}$/.test(value)))
+            violations.push(`${prefix}: superseded_by must be a non-empty list of bare task IDs`);
+        else if (new Set(replacements).size !== replacements.length)
+            violations.push(`${prefix}: superseded_by must not contain duplicate task IDs`);
+        const reason = task.superseded_reason;
+        if (typeof reason !== "string" || !reason.trim() || reason.length > 500)
+            violations.push(`${prefix}: superseded_reason must be a non-empty explanation of at most 500 characters`);
+    }
+    return [...violations, ...planEvaluationMetadataViolations(task.evaluation, `${prefix}.evaluation`, task.status)];
+}
+//# sourceMappingURL=planEvaluation.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"planEvaluation.js","sourceRoot":"","sources":["../../../../../../home/jgabor/git/agentera/packages/cli/src/state/write/planEvaluation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,SAAS,OAAO,CAAC,KAAc;IAC7B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAC,KAAgC;QAClC,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,IAA6B,EAC7B,UAAmB,EACnB,SAAiB;IAEjB,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzD,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACpE,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU;QAC3B,MAAM,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,6DAA6D,EAAE,CAAC,CAAC;IAChH,IAAI,OAAO,KAAK,MAAM,IAAI,CAAC,eAAe;QACxC,MAAM,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,2DAA2D,EAAE,CAAC,CAAC;IAC9G,IAAI,OAAO,KAAK,MAAM,IAAI,eAAe;QACvC,MAAM,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;IAE3G,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,eAAe,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,eAAe,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,KAAK,OAAO;eACxC,eAAe,CAAC,MAAM,KAAK,UAAU;eACrC,CAAC,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,eAAe,CAAC,CAAC;QAC7E,IAAI,CAAC,MAAM;YACT,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,uBAAuB,SAAS,6CAA6C,EAAE,CAAC,CAAC;QACxH,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,EAAE,CAAC;IAC1H,CAAC;IACD,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,SAAS,OAAO,IAAI,CAAC,MAAM,uCAAuC,EAAE,CAAC,CAAC;IAChH,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,YAAY,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,YAAY,GAAG,CAAC;QAC5G,MAAM,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,OAAO,EAAE,GAAG,SAAS,iCAAiC,EAAE,CAAC,CAAC;IAChG,IAAI,OAAO,KAAK,MAAM,IAAI,YAAY,IAAI,CAAC;QACzC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,SAAS,4CAA4C,EAAE,CAAC,CAAC;IACnG,MAAM,gBAAgB,GAAG,YAAY,GAAG,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,UAAU,GAAG;QAChB,aAAa,EAAE,YAAY,GAAG,CAAC;QAC/B,aAAa,EAAE,gBAAgB;QAC/B,YAAY,EAAE,OAAO;QACrB,qBAAqB,EAAE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,qBAAqB,IAAI,IAAI;QACjG,UAAU,EAAE;YACV,UAAU,EAAE,SAAS;YACrB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,cAAc,EAAE;YAC7B,cAAc,EAAE,uCAAuC;SACxD;KACF,CAAC;IACF,IAAI,gBAAgB,IAAI,CAAC;QAAE,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;IACnD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,GAAG,CAAC,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC;AAC3F,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,KAAc,EAAE,MAAc,EAAE,UAAoB;IACnG,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrE,OAAO,CAAC,UAAU,MAAM,qBAAqB,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,KAAgC,CAAC;IACpD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,uBAAuB,EAAE,YAAY,CAAC,CAAC,CAAC;IACnH,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,4BAA4B,MAAM,IAAI,KAAK,GAAG,CAAC,CAAC;IAC3F,MAAM,YAAY,GAAG,UAAU,CAAC,aAAa,CAAC;IAC9C,MAAM,YAAY,GAAG,UAAU,CAAC,aAAa,CAAC;IAC9C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,4CAA4C,CAAC,CAAC;IAChF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,gDAAgD,CAAC,CAAC;IACpF,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC;QACjH,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,6CAA6C,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,CAAC;IACxC,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,MAAM;QAC1C,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,qCAAqC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,UAAU,CAAC,qBAAqB,CAAC;IAClD,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ;QACnD,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,kDAAkD,CAAC,CAAC;IACtF,IAAI,OAAO,KAAK,MAAM,IAAI,CAAC,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC1E,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,6DAA6D,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC;QACtC,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,gCAAgC,CAAC,CAAC;SAC/D,CAAC;QACJ,KAAK,MAAM,KAAK,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,gBAAgB,CAAC;YAC3E,IAAI,OAAO,UAAU,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;gBAC5E,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,eAAe,KAAK,8BAA8B,CAAC,CAAC;QACxF,IAAI,UAAU,CAAC,cAAc,KAAK,uCAAuC;YACvE,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,iEAAiE,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACtF,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,0EAA0E,CAAC,CAAC;IAC9G,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAA6B,EAAE,MAAM,GAAG,WAAW;IAC1F,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE;QAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,mCAAmC,CAAC,CAAC;IACtH,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC9F,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,kFAAkF,CAAC,CAAC;IAC/G,KAAK,MAAM,KAAK,IAAI,CAAC,YAAY,EAAE,YAAY,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAE,IAAI,CAAC,KAAK,CAAe,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;YACxG,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,KAAK,wBAAwB,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,iBAAiB,KAAK,SAAS,CAAC;IACjG,IAAI,MAAM,KAAK,YAAY,IAAI,eAAe;QAC5C,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,gFAAgF,CAAC,CAAC;IAC7G,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,aAAa,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrJ,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,2DAA2D,CAAC,CAAC;aACnF,IAAI,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,MAAM;YACzD,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,qDAAqD,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC;QACtC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG;YACrE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,+EAA+E,CAAC,CAAC;IAC9G,CAAC;IACD,OAAO,CAAC,GAAG,UAAU,EAAE,GAAG,gCAAgC,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,MAAM,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AACpH,CAAC"}