@tacuchi/agent-workflow-cli 22.0.0 → 22.1.0

package/dist/domain/lineage.js

@@ -0,0 +1,190 @@
+import { CORRELATIVE_SOURCE } from "./correlative.js";
+import { CRITERION_GLOBAL, isDigest } from "./design/identity.js";
+import { baseDigest } from "./proposal.js";
+const BASELINE_LABEL = /^\s*>\s*Baseline:\s*(.+?)\s*$/i;
+/** `<spec path>@sha256:<64 hex>` — the path is the hint, the digest is the seal. */
+const BASELINE_VALUE = /^(\S+?)@(sha256:[0-9a-fA-F]+)$/;
+/**
+ * The digest of a spec's bytes, in the ONE form this system writes.
+ *
+ * `sha256:`-prefixed because that is what `isDigest` accepts and what every
+ * design baseline already publishes. A bare-hex second spelling would be a
+ * comparison that fails for a reason nobody can see — the exact failure
+ * `baseDigest` exists to prevent, one level up.
+ */
+export function specBaselineDigest(specText) {
+    return `sha256:${baseDigest(specText)}`;
+}
+/** The line a publication writes into the plan's header blockquote. */
+export function formatSpecBaseline(baseline) {
+    return `> Baseline: ${baseline.path}@${baseline.digest}`;
+}
+/**
+ * Read the seal from a plan's header blockquote.
+ *
+ * Bounded to the block between the title and the first `##` section, exactly
+ * like `Derived from`: a plan that quotes the marker inside its own prose is
+ * describing the contract, not declaring its own lineage.
+ */
+export function parsePlanBaseline(lines, fenced, end, specDir) {
+    for (let i = 0; i < end; i += 1) {
+        const line = lines[i];
+        if (line === undefined || fenced[i] === true)
+            continue;
+        const labelled = BASELINE_LABEL.exec(line);
+        if (labelled === null)
+            continue;
+        return readBaselineValue(labelled[1] ?? "", specDir);
+    }
+    return { status: "absent" };
+}
+function readBaselineValue(raw, specDir) {
+    const value = raw.replace(/^`|`$/g, "").trim();
+    const parts = BASELINE_VALUE.exec(value);
+    if (parts === null) {
+        return {
+            status: "malformed",
+            raw: value,
+            why: "no tiene la forma '<ruta de la spec>@sha256:<64 hex>'",
+            action: `escribí '> Baseline: ${specDir}/NNN-spec-<slug>.md@sha256:<64 hex>'`,
+        };
+    }
+    const path = parts[1];
+    const digest = parts[2].toLowerCase();
+    if (!isDigest(digest)) {
+        return {
+            status: "malformed",
+            raw: value,
+            why: "el digest no es 'sha256:' seguido de 64 hex",
+            action: "volvé a sellar el plan desde la spec que consumió",
+        };
+    }
+    const number = correlativeOfSpecPath(path, specDir);
+    if (number === null) {
+        return {
+            status: "malformed",
+            raw: value,
+            why: `la ruta no es una spec bajo '${specDir}/'`,
+            action: `apuntá el baseline a un documento de '${specDir}/'`,
+        };
+    }
+    return { status: "sealed", baseline: { path, number, digest } };
+}
+function correlativeOfSpecPath(path, specDir) {
+    const escaped = specDir.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    const re = new RegExp(`^${escaped}/(${CORRELATIVE_SOURCE})-spec[^\\s]*\\.md$`);
+    return re.exec(path)?.[1] ?? null;
+}
+/**
+ * The plan text with its baseline sealed — inserted when absent, corrected when
+ * it says anything else.
+ *
+ * The seal is written by PUBLICATION, not by whoever authored the document: a
+ * digest is not something an author can be asked to compute by hand, and a
+ * baseline that is optional in practice is a baseline that drifts. Returning the
+ * text (rather than writing it) is what keeps it inside the SAME proposal that
+ * publishes the plan — the stamped bytes are the ones previewed, approved and
+ * written, so no reader ever sees a published plan whose seal landed separately.
+ *
+ * The line goes into the header blockquote, right after `Derived from`: the two
+ * belong together — one names the spec, the other pins its version.
+ */
+export function withSpecBaseline(planText, baseline) {
+    const line = formatSpecBaseline(baseline);
+    const lines = planText.split("\n");
+    const end = headerBlockEnd(lines);
+    let lastQuote = -1;
+    let derivedAt = -1;
+    for (let i = 0; i < end; i += 1) {
+        const raw = lines[i];
+        if (raw === undefined)
+            continue;
+        if (!/^\s*>/.test(raw))
+            continue;
+        lastQuote = i;
+        if (BASELINE_LABEL.test(raw)) {
+            if (raw === line)
+                return planText;
+            lines[i] = line;
+            return lines.join("\n");
+        }
+        if (/derived from/i.test(raw))
+            derivedAt = i;
+    }
+    const at = derivedAt >= 0 ? derivedAt + 1 : lastQuote + 1;
+    // No blockquote at all: the document does not have the header this seal lives
+    // in, and inventing one would restructure somebody's plan to fit a field.
+    if (lastQuote < 0)
+        return planText;
+    lines.splice(at, 0, line);
+    return lines.join("\n");
+}
+/** Index of the first `##` section, or the end — the header block's bound. */
+function headerBlockEnd(lines) {
+    let fenced = false;
+    for (const [index, raw] of lines.entries()) {
+        if (raw === undefined)
+            continue;
+        if (/^\s*```/.test(raw)) {
+            fenced = !fenced;
+            continue;
+        }
+        if (!fenced && /^##\s/.test(raw))
+            return index;
+    }
+    return lines.length;
+}
+/**
+ * The seal against the spec as it reads NOW.
+ *
+ * `specText` is `null` when the workspace holds no such spec: that is
+ * `unresolved`, not `divergent` — a document that is not there did not change,
+ * and saying it did would send whoever reads it to diff against nothing.
+ */
+export function alignSpecBaseline(seal, specText) {
+    if (seal.status === "absent")
+        return { status: "unsealed" };
+    if (seal.status === "malformed") {
+        return { status: "malformed", why: seal.why, action: seal.action };
+    }
+    if (specText === null) {
+        return { status: "unresolved", reason: "spec-not-found", path: seal.baseline.path };
+    }
+    const current = specBaselineDigest(specText);
+    if (current === seal.baseline.digest)
+        return { status: "aligned", digest: current };
+    return {
+        status: "divergent",
+        sealed_digest: seal.baseline.digest,
+        current_digest: current,
+    };
+}
+/**
+ * The acceptance criteria a spec states, in document order and without
+ * duplicates.
+ *
+ * The grammar is NOT a second one: it is `CRITERION_GLOBAL`, the same closed
+ * form the design subsystem already harvests (`S033/AC-01`, `S013/AC-SEM-11`).
+ * A note that has to say WHICH assertion it replaces addresses it with this and
+ * nothing else — inventing a parallel syntax is how two ids for one criterion
+ * start disagreeing.
+ */
+export function specCriteria(lines, fenced) {
+    const seen = new Set();
+    const out = [];
+    for (const [index, line] of lines.entries()) {
+        if (line === undefined || fenced[index] === true)
+            continue;
+        // Fresh instance per line: the shared literal carries /g, whose lastIndex
+        // would otherwise leak between lines.
+        for (const match of line.matchAll(new RegExp(CRITERION_GLOBAL.source, CRITERION_GLOBAL.flags))) {
+            const id = match[0];
+            if (seen.has(id))
+                continue;
+            seen.add(id);
+            out.push(id);
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=lineage.js.map

package/dist/domain/lineage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lineage.js","sourceRoot":"","sources":["../../src/domain/lineage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAuD3C,MAAM,cAAc,GAAG,gCAAgC,CAAC;AAExD,oFAAoF;AACpF,MAAM,cAAc,GAAG,gCAAgC,CAAC;AAExD;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,kBAAkB,CAAC,QAAsB;IACvD,OAAO,eAAe,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAwB,EACxB,MAA0B,EAC1B,GAAW,EACX,OAAe;IAEf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,SAAS;QACvD,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,IAAI;YAAE,SAAS;QAChC,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,OAAe;IACrD,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,GAAG,EAAE,KAAK;YACV,GAAG,EAAE,uDAAuD;YAC5D,MAAM,EAAE,wBAAwB,OAAO,sCAAsC;SAC9E,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;IAChC,MAAM,MAAM,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC,WAAW,EAAE,CAAC;IAClD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,GAAG,EAAE,KAAK;YACV,GAAG,EAAE,6CAA6C;YAClD,MAAM,EAAE,mDAAmD;SAC5D,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO;YACL,MAAM,EAAE,WAAW;YACnB,GAAG,EAAE,KAAK;YACV,GAAG,EAAE,gCAAgC,OAAO,IAAI;YAChD,MAAM,EAAE,yCAAyC,OAAO,IAAI;SAC7D,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;AAClE,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY,EAAE,OAAe;IAC1D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,IAAI,OAAO,KAAK,kBAAkB,qBAAqB,CAAC,CAAC;IAC/E,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACpC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAgB,EAAE,QAAsB;IACvE,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS;QACjC,SAAS,GAAG,CAAC,CAAC;QACd,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,QAAQ,CAAC;YAClC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;YAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS,GAAG,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,EAAE,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;IAC1D,8EAA8E;IAC9E,0EAA0E;IAC1E,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IACnC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,8EAA8E;AAC9E,SAAS,cAAc,CAAC,KAAwB;IAC9C,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,CAAC,MAAM,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC;AACtB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAsB,EACtB,QAAuB;IAEvB,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAChC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IACrE,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACtF,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,OAAO,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACpF,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM;QACnC,cAAc,EAAE,OAAO;KACxB,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,KAAwB,EAAE,MAA0B;IAC/E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,SAAS;QAC3D,0EAA0E;QAC1E,sCAAsC;QACtC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAC/B,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,CAAC,CAC5D,EAAE,CAAC;YACF,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;YAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/domain/proposal.js

@@ -88,4 +88,22 @@ export function proposalDigest(body) {
 export function destinationsOf(proposal) {
     return [...new Set(proposal.artifacts.map((a) => a.path))].sort();
 }
+/**
+ * What publishing these artifacts really exercises — observed, never declared.
+ *
+ * One rule, one place. Whoever seals a proposal has to answer "does this
+ * overwrite anything?", and two callers answering it separately is how a preview
+ * comes to say "creates" about a write the authorization then classifies as a
+ * replacement. Callers that know a destination is theirs already (a slot the run
+ * reserved to hold a number, and never published into) pass `overwrite: false`
+ * for it: nobody's content is lost, which is the only thing the classes measure.
+ */
+export function observedEffects(artifacts) {
+    const effects = [];
+    if (artifacts.some((a) => !a.overwrite))
+        effects.push("local_additive");
+    if (artifacts.some((a) => a.overwrite))
+        effects.push("mutate_overwrite");
+    return effects;
+}
 //# sourceMappingURL=proposal.js.map

package/dist/domain/proposal.js.map

@@ -1 +1 @@
-{"version":3,"file":"proposal.js","sourceRoot":"","sources":["../../src/domain/proposal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AAoB/E;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AA8CD,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;KACvB,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAG;QACX,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS;QACT,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC;QAC7B,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC/B,KAAK,EAAE;YACL,iBAAiB,EAAE,KAAK,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI;YAC1D,cAAc,EAAE,KAAK,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI;SACrD;QACD,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAC3B,iBAAiB,EAAE,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC;KAC/C,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,SAAsC;IAC9D,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC;QAC3C,SAAS,EAAE,CAAC,CAAC,SAAS;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmC;IAChE,OAAO,cAAc,CAAC;QACpB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;aAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC;YACzC,SAAS,EAAE,CAAC,CAAC,SAAS;SACvB,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnE,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACjC,iBAAiB,EAAE,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE;KACtD,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,QAAuB;IACpD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACpE,CAAC"}
+{"version":3,"file":"proposal.js","sourceRoot":"","sources":["../../src/domain/proposal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AAoB/E;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AA8CD,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,SAAS,EAAE,CAAC,CAAC,SAAS;KACvB,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAG;QACX,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS;QACT,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC;QAC7B,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAC/B,KAAK,EAAE;YACL,iBAAiB,EAAE,KAAK,CAAC,KAAK,EAAE,iBAAiB,KAAK,IAAI;YAC1D,cAAc,EAAE,KAAK,CAAC,KAAK,EAAE,cAAc,KAAK,IAAI;SACrD;QACD,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC;QAC3B,iBAAiB,EAAE,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC;KAC/C,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,SAAsC;IAC9D,OAAO,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC;QAC3C,SAAS,EAAE,CAAC,CAAC,SAAS;KACvB,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmC;IAChE,OAAO,cAAc,CAAC;QACpB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;aAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC;YACzC,SAAS,EAAE,CAAC,CAAC,SAAS;SACvB,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnE,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QACjC,iBAAiB,EAAE,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE;KACtD,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,QAAuB;IACpD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACpE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,SAA4C;IAC1E,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACxE,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACzE,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/domain/reconciliation.js

@@ -0,0 +1,50 @@
+/**
+ * Project what the composed contract still owes.
+ *
+ * Reads the contract's obligations rather than the chain's, because the contract
+ * is the one place that already decided which notes are in force. Walking the
+ * chain again here would be a second answer to that question.
+ */
+export function reconciliationOf(contract, chain) {
+    const resumeOf = new Map(chain.map((note) => [note.id, note.resume_point]));
+    const pending = [];
+    for (const obligation of contract.obligations) {
+        const resume = resumeOf.get(obligation.by);
+        // An obligation whose note is not in the chain handed over cannot say where
+        // to resume, and inventing a point would send the run somewhere nobody
+        // decided. It stays pending — which is the safe half — and names its note.
+        pending.push({
+            text: obligation.text,
+            by: obligation.by,
+            resume_point: resume ?? `${obligation.by} (nota ausente de la cadena)`,
+        });
+    }
+    return {
+        pending,
+        resume_point: pending[0]?.resume_point ?? null,
+        closable: pending.length === 0,
+    };
+}
+/**
+ * Whether this plan may be declared closed, and what to do when it may not.
+ *
+ * The refusal is the point of the whole phase: a validated result stops counting
+ * as sufficient proof of a contract it no longer satisfies. Letting the plan
+ * close anyway would file the compensatory work as finished by the very run that
+ * created it.
+ */
+export function checkClosable(reconciliation) {
+    if (reconciliation.closable)
+        return [];
+    const owed = reconciliation.pending
+        .map((obligation) => `${obligation.by}: ${obligation.text}`)
+        .join("; ");
+    return [
+        {
+            code: "RECONCILIATION_PENDING",
+            message: `el plan tiene compensación abierta y no se puede declarar cerrado — ${owed}`,
+            action: `resolvé el trabajo compensatorio desde ${reconciliation.resume_point} y publicá una nota que sustituya a la que lo creó sin volver a arrastrarlo: así se salda una obligación en una cadena append-only`,
+        },
+    ];
+}
+//# sourceMappingURL=reconciliation.js.map

package/dist/domain/reconciliation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconciliation.js","sourceRoot":"","sources":["../../src/domain/reconciliation.ts"],"names":[],"mappings":"AAgDA;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA2B,EAC3B,KAA8B;IAE9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC3C,4EAA4E;QAC5E,uEAAuE;QACvE,2EAA2E;QAC3E,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,YAAY,EAAE,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,8BAA8B;SACvE,CAAC,CAAC;IACL,CAAC;IACD,OAAO;QACL,OAAO;QACP,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,IAAI,IAAI;QAC9C,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,cAAkC;IAC9D,IAAI,cAAc,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO;SAChC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;SAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;QACL;YACE,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,uEAAuE,IAAI,EAAE;YACtF,MAAM,EAAE,0CAA0C,cAAc,CAAC,YAAY,oIAAoI;SAClN;KACF,CAAC;AACJ,CAAC"}

package/dist/domain/sealed-record.js

@@ -0,0 +1,19 @@
+import { createHash } from "node:crypto";
+import { canonicalJson } from "../application/semantic-operation/protocol.js";
+/**
+ * A sealed record's own digest, over its canonical JSON WITHOUT `digest`.
+ *
+ * Extracted so the two kinds of record that need it — a design governance
+ * record and a decision note — seal by the SAME code and not merely by the same
+ * described rule. Two implementations of "hash this record" drift the day one of
+ * them changes, and the failure is silent: both sides keep producing a digest
+ * and only their comparison stops matching.
+ *
+ * Dropping `digest` is not a detail: a value cannot contain its own hash, so a
+ * record that included it would be unverifiable by construction.
+ */
+export function sealedRecordDigest(record) {
+    const { digest: _drop, ...rest } = record;
+    return `sha256:${createHash("sha256").update(canonicalJson(rest), "utf8").digest("hex")}`;
+}
+//# sourceMappingURL=sealed-record.js.map

package/dist/domain/sealed-record.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sealed-record.js","sourceRoot":"","sources":["../../src/domain/sealed-record.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,+CAA+C,CAAC;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAyC;IAC1E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IAC1C,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AAC5F,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tacuchi/agent-workflow-cli",
-  "version": "22.0.0",
+  "version": "22.1.0",
   "description": "Runtime CLI for Workline — the stages + loops + artifacts system for agent work. Bundles the universal `w` skill set under `skills/w/` (slash commands `/w:*`: spec-new/spec-refine, plan-new/plan-exec, quick, persist, workspace-init, export-*); `self install --target <host>` copies SKILL + commands + hooks into the host. Pluggable capability skills resolve through `.workflow/skills.toml`. Namespace auto-detected from any `.<ns>/sessions/` dir in CWD; default `workflow`.",
   "type": "module",
   "bin": {

package/skills/w/context/MANIFEST.json

@@ -32,6 +32,8 @@
     "quick.deliverable-is-analysis": "what the task produces is an analysis or a design, so its criterion is a rubric a person ratifies",
     "spec.functional-ambiguity": "a functional ambiguity with two readings that would change what gets built is blocking this spec",
     "spec.solution-space-unexplored": "a trigger of the ideation gate fires: the spec settled on its first idea and the alternatives would change the outcome",
+    "spec.escalation-adopted": "this refine consumed the escalation package an execution handed over, instead of re-deriving its diagnosis",
+    "spec.escalation-absent": "no escalation package reached this refine, so it starts from the spec alone",
     "spec.independent-outcomes": "the prompt holds outcomes each worth delivering on its own",
     "spec.enumerated-features": "the prompt enumerates distinct features explicitly",
     "spec.distinct-moments": "the parts are requested for different moments or in a stated order",
@@ -50,6 +52,14 @@
     "plan.entry-gap-structural": "phases, contracts or journey are missing, or temporary behavior leaves its boundary undeclared",
     "plan.deviation-structural": "the change that appeared while implementing touches a contract, the participating components, the phase order or the simulation boundary",
     "plan.deviation-functional": "the change that appeared while implementing touches the expected result, the scope, a business rule or an acceptance criterion",
+    "plan.deviation-composable": "the change keeps the functional lineage and can be reconciled forward as a durable decision note instead of returning to a refine",
+    "plan.deviation-escalation": "what was found does not compose against this lineage and belongs to a spec of its own",
+    "plan.closure-lineage": "the divergence stays inside the same functional lineage: it amends how the promise is met, not who promised it",
+    "plan.closure-intent": "the intent behind the divergence is settled, so nothing further has to be elicited before deciding",
+    "plan.closure-impact": "the transitive impact can be enumerated: every consumer the decision reaches is nameable",
+    "plan.closure-recoverable": "the result can be sealed and recovered: an identical retry gives the same outcome and a failure leaves nothing half-written",
+    "plan.escalation-adopted": "this refine consumed the escalation package an execution handed over, instead of re-deriving its diagnosis",
+    "plan.escalation-absent": "no escalation package reached this refine, so it starts from the document alone",
     "chassis.context-pressure": "a fresh reader would need the CHECKPOINT to continue this run",
     "plan.tasks-to-mark": "at least one task of the batch finished its local work and its checkbox is still open",
     "plan.plan-closable": "every phase of the plan will be validated once this batch closes, so the plan can be sealed done",

package/skills/w/loops/plan-exec-loop/LOOP.md

@@ -139,22 +139,47 @@ reconciliation** in `CHECKPOINT`, never reported as published.
 
 ## Deviation gate
 
-Execution resolves **detail**, never **redesign**. This gate lives **only** in this loop — the chassis does not carry it.
+Execution resolves **detail**, never **redesign** — and between those two there is a third thing: a
+divergence that keeps the functional lineage and can be reconciled **forward**.
+This gate lives **only** in this loop — the chassis does not carry it. It has **four** exits, and the
+run stops at it: declaring a deviation no longer carries on to the commit by itself.
 
-- **Local decision — `plan-exec` continues.** A class or method name; a local helper; internal code layout; imports; a choice between equivalent APIs already allowed; a fix needed to compile; a minor refactor that does not move the journey; one extra focused test for a risk found while implementing. Recorded in `DECISION` only when it is not obvious.
+- **Local decision — `plan-exec` continues.** A class or method name; a local helper; internal code layout; imports; a choice between equivalent APIs already allowed; a fix needed to compile; a minor refactor that does not move the journey; one extra focused test for a risk found while implementing. Declares **no signal** — the gate is not raised — and is recorded in `DECISION` only when it is not obvious.
+- **Composable decision — a note is registered and execution continues.** The change amends how the promise is met without changing who promised it. It is the only exit that writes a **decision note**, and it is available **only** when all four closures hold (below). The spec and the plan stay byte-exact.
 - **Structural deviation — stop and return to `plan-refine`.** Stop when the change touches: an input or output; an observable state; a relevant endpoint or public contract; the set of participating components or repositories; the phase order; the simulation boundary; the integration strategy; a material dependency; the main persistence mechanism; a phase already `validada`; the evidence needed to demonstrate the result. A decision that substantially expands or shrinks the work counts too.
 - **Functional change — return to `spec-refine`.** Stop when the change touches: the expected result; the functional scope; a business rule; an acceptance criterion; the actor or consumer; or a product decision.
 
-On either return path: `CHECKPOINT` records the state reached and the trigger, the phase keeps the state it really has (`en ejecución` or `bloqueada`, never `validada`), the working tree is left committed or acknowledged (Delta 2), and the human is told through a structured-choice which command to run. Resuming later over the corrected plan is a normal `create_or_resume`.
-
-| Finding | `plan-exec` | `plan-refine` | `spec-refine` |
-|---|---|---|---|
-| Rename a helper · internal implementation · test for a local risk | continues | — | — |
-| Change the public DTO | stops | yes | yes, if behavior changes |
-| Add a participating repository | stops | yes | — |
-| Move the simulation to another boundary | stops | yes | — |
-| Change the phase order | stops | yes | — |
-| Add a functional rule · change an acceptance criterion | stops | — | yes |
+**Eligibility is closure, never size.** The composable exit opens only when the four close: the
+divergence stays in the **same functional lineage**; its **intent is settled**, so nothing further has
+to be elicited; its **transitive impact can be enumerated**, every consumer nameable; and its
+**result can be sealed and recovered**, so an identical retry gives the same outcome and a failure
+leaves nothing half-written. Counts — of criteria, phases or repositories — are reported and decide
+nothing: a divergence touching one criterion that closes three of the four is not composable, and one
+touching nine that closes all four is.
+
+> **Which exit the run takes is the person's, and which are offered is not this document's call:** the deterministic steps below are decided by the CLI (`aw flow advance`), not by this document. Recognizing the divergence and closing its eligibility are judgment; counting the closures and raising the choice are a rule.
+
+On any exit that leaves the phase: `CHECKPOINT` records the state reached and the trigger, the phase
+keeps the state it really has (`en ejecución` or `bloqueada`, never `validada`), and the working tree
+is left committed or acknowledged (Delta 2). On the two return paths and on an escalation, the
+**escalation package** travels with it — diagnosis, decisions already taken, evidence gathered and the
+return point — and the destination **declares that it consumed it**, so returning never costs redoing
+the analysis execution had already done. Resuming later over the corrected plan is a normal
+`create_or_resume`.
+
+**More than one divergence may appear in a run, and every one is kept.** A later recognition never
+erases an earlier one.
+
+| Finding | `plan-exec` | note | `plan-refine` | `spec-refine` |
+|---|---|---|---|---|
+| Rename a helper · internal implementation · test for a local risk | continues | — | — | — |
+| Same promise, different route, four closures held | continues | yes | — | — |
+| Change the public DTO | stops | — | yes | yes, if behavior changes |
+| Add a participating repository | stops | — | yes | — |
+| Move the simulation to another boundary | stops | — | yes | — |
+| Change the phase order | stops | — | yes | — |
+| Add a functional rule · change an acceptance criterion | stops | — | — | yes |
+| Does not compose against this lineage at all | stops | — | — | a spec of its own |
 
 ## Delta 2 — Git policy: **safe branch + proposed commits**