@tacuchi/agent-workflow-cli 22.0.1 → 22.2.0

package/dist/cli/commands/status.js

@@ -17,17 +17,28 @@ export const statusCommand = {
         const data = result.data;
         if (data === undefined)
             return "";
-        const lines = [`${data.workspace.name} · ${data.workspace.path}`, ""];
-        if (data.pipeline.length === 0) {
-            lines.push("Sin pipeline pendiente.");
-        }
-        else {
-            lines.push(...renderPipeline(data.pipeline));
-        }
+        const header = `${data.workspace.name} · ${data.workspace.path}`;
+        const lines = [header, ""];
+        lines.push(...renderPipeline(data.pipeline));
         // A broken design reference is PENDING work, not history: it stays in the
         // default view for the same reason an open plan does. Valid references and
         // orphaned packages are inventory and wait for `--detail`.
         lines.push(...renderDesignAlerts(data, lines.at(-1)));
+        lines.push(...renderLooseSessions(data, lines.at(-1)));
+        // Nothing rendered, and the two reasons for that are not the same answer: a
+        // folder nobody initialized has an empty pipeline because no workspace is
+        // tracking it, and reporting peace there sends someone looking for work that
+        // was never registered. One line either way, and no empty section under it.
+        if (lines.length === 2) {
+            return data.workspace.initialized
+                ? `${header} — sin pendientes\n`
+                : `${header} — sin workspace de Workline: creá uno con /w:workspace-init\n`;
+        }
+        // With something to show, the same fact is a notice: the documents are real
+        // and worth listing, and they are still outside a workspace.
+        if (!data.workspace.initialized) {
+            lines.push(...(lines.at(-1) === "" ? [] : [""]), "Aviso: este directorio no es un workspace de Workline — creá uno con /w:workspace-init");
+        }
         if (context.detail)
             lines.push("", ...renderDetail(data));
         return `${lines.join("\n").trimEnd()}\n`;
@@ -37,8 +48,29 @@ const GROUP_TITLES = {
     "spec-unrefined": "Specs sin refinar",
     "spec-unplanned": "Specs sin plan",
     "plan-open": "Planes abiertos",
+    // Kept because the model keeps the class: a loose checkpoint is reported as a
+    // notice now, so nothing reaches this row — and the day something does, it is
+    // titled rather than rendered as a blank group.
     "checkpoint-orphan": "Checkpoints sueltos",
 };
+/** `plan` · `spec` · `sesión` — how an item names itself when its detail leads. */
+const KIND_NOUNS = {
+    "spec-unrefined": "spec",
+    "spec-unplanned": "spec",
+    "plan-open": "plan",
+    "checkpoint-orphan": "sesión",
+};
+/**
+ * Each pending item over three lines: what it is, what it still owes, and the
+ * command that continues it.
+ *
+ * The middle line is the whole point — a board that listed only the title and the
+ * command could say `plan 031 — 100%, fases 6/6` about a plan whose final
+ * validation had never run. When what it owes is an OBLIGATION that leaves it
+ * neither runnable nor closable, that obligation takes the headline and the
+ * percentage drops below it: read in the other order, the number is the part
+ * people believe.
+ */
 function renderPipeline(pipeline) {
     const lines = [];
     for (const kind of Object.keys(GROUP_TITLES)) {
@@ -47,13 +79,30 @@ function renderPipeline(pipeline) {
             continue;
         lines.push(`${GROUP_TITLES[kind]} (${items.length})`);
         for (const item of items) {
-            lines.push(`  ${item.summary}`);
+            const { next, progress, obligation } = item.detail;
+            lines.push(obligation ? `  ${KIND_NOUNS[item.kind]} ${item.number} — ${next}` : `  ${item.summary}`);
+            lines.push(`    ${obligation ? progress : next}`);
             lines.push(`    ${item.command}`);
         }
         lines.push("");
     }
     return lines;
 }
+/**
+ * Loose sessions, as a notice with its count and how to look.
+ *
+ * The folders stay out of the default view on purpose: what a person needs here
+ * is to know the work exists and that nothing on this board accounts for it.
+ * Retiring one is another job, and this read does not do it.
+ */
+function renderLooseSessions(data, before) {
+    const count = data.loose_sessions.length;
+    if (count === 0)
+        return [];
+    const lines = before === "" ? [] : [""];
+    lines.push(`Aviso: ${count} sesión(es) con trabajo y sin documento asociado — vela con 'aw status --detail'`);
+    return lines;
+}
 /**
  * Only what needs a hand: a reference that moved, and one that no longer
  * resolves. `before` keeps the block one blank line away from whatever came

package/dist/cli/commands/status.js.map

@@ -1 +1 @@
-{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/cli/commands/status.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,GACjB,MAAM,qCAAqC,CAAC;AAM7C,MAAM,CAAC,MAAM,aAAa,GAA6B;IACrD,IAAI,EAAE,QAAQ;IACd,QAAQ,EACN,uGAAuG;QACvG,oDAAoD;IAEtD,KAAK,CAAC,OAAO,CAAC,KAAiB,EAAE,GAAe;QAC9C,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;QAClF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzC,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,MAAmC,EAAE,OAA2B;QAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAElC,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/C,CAAC;QACD,0EAA0E;QAC1E,2EAA2E;QAC3E,2DAA2D;QAC3D,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC;IAC3C,CAAC;CACF,CAAC;AAEF,MAAM,YAAY,GAAyC;IACzD,gBAAgB,EAAE,mBAAmB;IACrC,gBAAgB,EAAE,gBAAgB;IAClC,WAAW,EAAE,iBAAiB;IAC9B,mBAAmB,EAAE,qBAAqB;CAC3C,CAAC;AAEF,SAAS,cAAc,CAAC,QAAwB;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAgC,EAAE,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAkB,EAAE,MAA0B;IACxE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,qCAAqC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAClE,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,MAAM,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC/E,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;IAC3B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5E,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACzD,MAAM,KAAK,GAAG;QACZ,WAAW,KAAK,CAAC,QAAQ,CAAC,MAAM,iBAAiB,KAAK,eAAe,KAAK,WAAW,OAAO,aAAa,QAAQ,cAAc;KAChI,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,GAAG,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC;QACpD,KAAK,CAAC,IAAI,CACR,OAAO,GAAG,CAAC,EAAE,IAAI,iBAAiB,IAAI,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,IAAI,MAAM,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC;QACjF,0EAA0E;QAC1E,mEAAmE;QACnE,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,IAAkB;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG;QACZ,cAAc,IAAI,CAAC,MAAM,qBAAqB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;QACjE,aAAa,IAAI,CAAC,MAAM,CAAC,eAAe,eAAe,IAAI,CAAC,MAAM,CAAC,eAAe,aAAa;KAChG,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC/E,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACxE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,+BAA+B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/cli/commands/status.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,gBAAgB,GACjB,MAAM,qCAAqC,CAAC;AAM7C,MAAM,CAAC,MAAM,aAAa,GAA6B;IACrD,IAAI,EAAE,QAAQ;IACd,QAAQ,EACN,uGAAuG;QACvG,oDAAoD;IAEtD,KAAK,CAAC,OAAO,CAAC,KAAiB,EAAE,GAAe;QAC9C,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;QAClF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzC,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,MAAmC,EAAE,OAA2B;QAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAElC,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7C,0EAA0E;QAC1E,2EAA2E;QAC3E,2DAA2D;QAC3D,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,4EAA4E;QAC5E,0EAA0E;QAC1E,6EAA6E;QAC7E,4EAA4E;QAC5E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,SAAS,CAAC,WAAW;gBAC/B,CAAC,CAAC,GAAG,MAAM,qBAAqB;gBAChC,CAAC,CAAC,GAAG,MAAM,gEAAgE,CAAC;QAChF,CAAC;QACD,4EAA4E;QAC5E,6DAA6D;QAC7D,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EACpC,wFAAwF,CACzF,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC;IAC3C,CAAC;CACF,CAAC;AAEF,MAAM,YAAY,GAAyC;IACzD,gBAAgB,EAAE,mBAAmB;IACrC,gBAAgB,EAAE,gBAAgB;IAClC,WAAW,EAAE,iBAAiB;IAC9B,8EAA8E;IAC9E,8EAA8E;IAC9E,gDAAgD;IAChD,mBAAmB,EAAE,qBAAqB;CAC3C,CAAC;AAEF,mFAAmF;AACnF,MAAM,UAAU,GAAyC;IACvD,gBAAgB,EAAE,MAAM;IACxB,gBAAgB,EAAE,MAAM;IACxB,WAAW,EAAE,MAAM;IACnB,mBAAmB,EAAE,QAAQ;CAC9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,SAAS,cAAc,CAAC,QAAwB;IAC9C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAgC,EAAE,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC5D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;YACnD,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,EAAE,CACzF,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,IAAkB,EAAE,MAA0B;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;IACzC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CACR,UAAU,KAAK,kFAAkF,CAClG,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAkB,EAAE,MAA0B;IACxE,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,qCAAqC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAClE,KAAK,MAAM,SAAS,IAAI,MAAM,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,MAAM,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC/E,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;IAC3B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5E,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACzD,MAAM,KAAK,GAAG;QACZ,WAAW,KAAK,CAAC,QAAQ,CAAC,MAAM,iBAAiB,KAAK,eAAe,KAAK,WAAW,OAAO,aAAa,QAAQ,cAAc;KAChI,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,GAAG,CAAC,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,sBAAsB,CAAC;QACpD,KAAK,CAAC,IAAI,CACR,OAAO,GAAG,CAAC,EAAE,IAAI,iBAAiB,IAAI,QAAQ,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,IAAI,MAAM,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,KAAK,GAAG,CAAC,CAAC;QACjF,0EAA0E;QAC1E,mEAAmE;QACnE,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,IAAkB;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG;QACZ,cAAc,IAAI,CAAC,MAAM,qBAAqB,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;QACjE,aAAa,IAAI,CAAC,MAAM,CAAC,eAAe,eAAe,IAAI,CAAC,MAAM,CAAC,eAAe,aAAa;KAChG,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,MAAM,MAAM,OAAO,CAAC,OAAO,KAAK,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAC/E,2EAA2E;QAC3E,2EAA2E;QAC3E,iEAAiE;QACjE,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IACxE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,+BAA+B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IACvC,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/domain/decision-choice.js

@@ -0,0 +1,71 @@
+/**
+ * Decide who answers: the evidence, a note already published, or the person.
+ *
+ * `unresolvable` is a real outcome and not a defensive branch. A question whose
+ * evidence left zero behaviours has not become a preference — it has outgrown
+ * the gate, and handing it to a person as if it were a choice would offer a menu
+ * with nothing on it. It leaves through the escalation package instead.
+ */
+export function resolveDecision(question, contract, chain) {
+    if (question.assertions.length === 0) {
+        return {
+            kind: "unresolvable",
+            why: "la pregunta no nombra ninguna afirmación del contrato",
+            action: "direccioná las afirmaciones en juego como S033/AC-05: una decisión que no dice sobre qué decide no se puede componer",
+        };
+    }
+    if (question.behaviors.length === 0) {
+        return {
+            kind: "unresolvable",
+            why: "la evidencia descartó todas las conductas válidas",
+            action: "escalá con el paquete: no queda ninguna alternativa que ofrecer, así que esto ya no es una preferencia",
+        };
+    }
+    // Evidence first, and only over facts: one behaviour standing means there is
+    // nothing to prefer. Reaching for a prior note here would let a recorded
+    // preference override a fact the evidence just established.
+    const [only] = question.behaviors;
+    if (question.behaviors.length === 1 && only !== undefined) {
+        return { kind: "settled", behavior: only };
+    }
+    const inForce = new Set(contract.applied);
+    const asked = new Set(question.assertions);
+    const touching = chain.filter((note) => inForce.has(note.id) && note.supersedes_assertions.some((id) => asked.has(id)));
+    const [candidate] = touching;
+    if (touching.length === 1 &&
+        candidate !== undefined &&
+        coversQuestion(candidate, question.assertions)) {
+        return { kind: "reused", note: candidate.id, decision: candidate.decision };
+    }
+    return { kind: "ask", behaviors: question.behaviors, why: whyAsk(touching) };
+}
+/**
+ * The three different reasons a preference still belongs to the person.
+ *
+ * They are kept apart because they send whoever reads them somewhere else:
+ * nothing to reuse means decide; one partial note means decide the remainder and
+ * say so; several notes means the question spans decisions that were taken
+ * separately, and the answer has to reconcile them rather than pick one.
+ */
+function whyAsk(touching) {
+    if (touching.length === 0) {
+        return "quedan varias conductas válidas y ninguna decisión durable previa las cubre";
+    }
+    if (touching.length === 1) {
+        return `${touching[0]?.id} decide sobre parte de estas afirmaciones y deja el resto sin decidir`;
+    }
+    return `${touching.map((note) => note.id).join(" y ")} deciden sobre partes distintas de estas afirmaciones y ninguna responde la pregunta entera`;
+}
+/**
+ * Whether one note answers the WHOLE question.
+ *
+ * Partial coverage is not reuse: a note that superseded two of the three
+ * assertions in play leaves the third undecided, and treating it as an answer
+ * would decide that third one by silence — exactly the preference-from-evidence
+ * this function exists to prevent, only harder to see.
+ */
+function coversQuestion(note, assertions) {
+    const superseded = new Set(note.supersedes_assertions);
+    return assertions.every((id) => superseded.has(id));
+}
+//# sourceMappingURL=decision-choice.js.map

package/dist/domain/decision-choice.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-choice.js","sourceRoot":"","sources":["../../src/domain/decision-choice.ts"],"names":[],"mappings":"AAmDA;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,QAA0B,EAC1B,QAA2B,EAC3B,KAA8B;IAE9B,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,GAAG,EAAE,uDAAuD;YAC5D,MAAM,EACJ,sHAAsH;SACzH,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,GAAG,EAAE,mDAAmD;YACxD,MAAM,EACJ,wGAAwG;SAC3G,CAAC;IACJ,CAAC;IACD,6EAA6E;IAC7E,yEAAyE;IACzE,4DAA4D;IAC5D,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC;IAClC,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC7C,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAC3B,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CACzF,CAAC;IACF,MAAM,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAC;IAC7B,IACE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,SAAS,KAAK,SAAS;QACvB,cAAc,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,EAC9C,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;AAC/E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,QAAiC;IAC/C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,6EAA6E,CAAC;IACvF,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,uEAAuE,CAAC;IACnG,CAAC;IACD,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,6FAA6F,CAAC;AACrJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,IAAkB,EAAE,UAA6B;IACvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACvD,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACtD,CAAC"}

package/dist/domain/decision-note.js

@@ -0,0 +1,235 @@
+import { CRITERION_GLOBAL, isDigest } from "./design/identity.js";
+import { sealedRecordDigest } from "./sealed-record.js";
+export const NOTE_SCHEMA = "workline.decision-note/v1";
+const NOTE_ID_RE = /^DEC-(?:[0-9]{3}|[1-9][0-9]{3,})$/;
+const CALENDAR_DATE_RE = /^\d{4}-\d{2}-\d{2}$/;
+const CRITERION_RE = new RegExp(`^${CRITERION_GLOBAL.source}$`);
+/** The note's own digest, by the SAME code every sealed record uses. */
+export function computeNoteDigest(note) {
+    return sealedRecordDigest(note);
+}
+/**
+ * Read a note, refusing anything incomplete under its own code.
+ *
+ * The codes are per-field on purpose. "La nota es inválida" sends whoever wrote
+ * it to re-read the whole record; `NOTE_RESUME_POINT_MISSING` sends them to the
+ * one line that is missing.
+ */
+export function validateDecisionNote(raw) {
+    const failures = [];
+    const fail = (code, message, action) => {
+        failures.push({ code, message, action });
+    };
+    if (!isRecord(raw)) {
+        fail("NOTE_NOT_OBJECT", "la nota de decisión no es un objeto JSON", "una nota es un record sellado con su propio digest");
+        return { ok: false, value: null, failures };
+    }
+    if (raw.schema !== NOTE_SCHEMA) {
+        // El gate de versión corre solo y primero: leer campos de un formato que no
+        // conocemos reporta sinsentidos derivados y manda a arreglar un campo cuando
+        // lo que falta es actualizar.
+        fail("NOTE_SCHEMA_UNKNOWN", `versión de formato no soportada: ${JSON.stringify(raw.schema)}`, `este Workline entiende ${NOTE_SCHEMA}`);
+        return { ok: false, value: null, failures };
+    }
+    if (typeof raw.id !== "string" || !NOTE_ID_RE.test(raw.id)) {
+        fail("NOTE_ID_INVALID", "'id' debe ser DEC-NNN", "numerá la nota como DEC-001");
+    }
+    const lineage = readLineage(raw.lineage, fail);
+    requireText(raw.decision, "decision", "NOTE_DECISION_MISSING", "qué se decidió, en una frase", fail);
+    requireText(raw.reason, "reason", "NOTE_REASON_MISSING", "por qué se decidió eso y no otra cosa", fail);
+    const assertions = readAssertions(raw.supersedes_assertions, fail);
+    const supersedesNote = readSupersedesNote(raw.supersedes_note, fail);
+    const scope = readScope(raw.scope, fail);
+    const consumers = requireList(raw.consumers, "consumers", "NOTE_CONSUMERS_MISSING", "enumerá los planes alcanzados; [] si no alcanza a ninguno", fail);
+    const preserved = requireList(raw.evidence_preserved, "evidence_preserved", "NOTE_EVIDENCE_PRESERVED_MISSING", "enumerá la evidencia que sigue valiendo; [] si ninguna", fail);
+    const invalidated = requireList(raw.evidence_invalidated, "evidence_invalidated", "NOTE_EVIDENCE_INVALIDATED_MISSING", "enumerá la evidencia que dejó de valer; [] si ninguna", fail);
+    const obligations = requireList(raw.obligations, "obligations", "NOTE_OBLIGATIONS_MISSING", "enumerá el trabajo compensatorio que nace; [] si ninguno", fail);
+    requireText(raw.resume_point, "resume_point", "NOTE_RESUME_POINT_MISSING", "decí desde dónde sigue la ejecución", fail);
+    if (typeof raw.date !== "string" || !CALENDAR_DATE_RE.test(raw.date)) {
+        fail("NOTE_DATE_INVALID", "'date' debe ser una fecha AAAA-MM-DD", "la cadena se ordena por fecha e id: sin fecha válida el orden es una opinión");
+    }
+    if (failures.length > 0)
+        return { ok: false, value: null, failures };
+    const value = {
+        schema: NOTE_SCHEMA,
+        id: raw.id,
+        lineage: lineage,
+        decision: raw.decision,
+        reason: raw.reason,
+        supersedes_assertions: assertions,
+        supersedes_note: supersedesNote,
+        scope: scope,
+        consumers: consumers,
+        evidence_preserved: preserved,
+        evidence_invalidated: invalidated,
+        obligations: obligations,
+        resume_point: raw.resume_point,
+        date: raw.date,
+        digest: "",
+    };
+    const expected = computeNoteDigest(stripDigest(value));
+    if (typeof raw.digest !== "string" || raw.digest.length === 0) {
+        fail("NOTE_DIGEST_MISSING", "'digest' es obligatorio", `sellá la nota con ${expected}`);
+        return { ok: false, value: null, failures };
+    }
+    if (raw.digest !== expected) {
+        fail("NOTE_DIGEST_MISMATCH", "el 'digest' no corresponde al contenido de la nota", `una nota publicada no se reescribe: el sello de este contenido es ${expected}`);
+        return { ok: false, value: null, failures };
+    }
+    return { ok: true, value: { ...value, digest: raw.digest }, failures };
+}
+function stripDigest(note) {
+    const { digest: _drop, ...rest } = note;
+    return rest;
+}
+/**
+ * The chain of notes for one lineage, in a deterministic order.
+ *
+ * Date first, id second. Two notes written the same day still have exactly one
+ * order, and it is the order they were minted in — which is what makes "apply
+ * them in order" a fact rather than whatever the filesystem returned.
+ */
+export function orderNotes(notes) {
+    return [...notes].sort((a, b) => a.date === b.date ? compareNoteIds(a.id, b.id) : a.date < b.date ? -1 : 1);
+}
+function compareNoteIds(a, b) {
+    const na = Number(a.slice(4));
+    const nb = Number(b.slice(4));
+    return na === nb ? (a < b ? -1 : a > b ? 1 : 0) : na - nb;
+}
+/**
+ * Whether appending this note to an existing chain keeps it append-only.
+ *
+ * Two refusals, and both are the same rule seen from different sides: an id
+ * already in the chain would REWRITE a published note, and a `supersedes_note`
+ * pointing at nothing would claim to correct a decision that was never taken.
+ */
+export function checkAppendOnly(chain, incoming) {
+    const failures = [];
+    const byId = new Map(chain.map((note) => [note.id, note]));
+    if (byId.has(incoming.id)) {
+        failures.push({
+            code: "NOTE_ALREADY_PUBLISHED",
+            message: `${incoming.id} ya está publicada en este linaje`,
+            action: "corregir una nota es publicar OTRA que la sustituya por referencia, nunca reescribirla",
+        });
+    }
+    if (incoming.supersedes_note !== null && !byId.has(incoming.supersedes_note)) {
+        failures.push({
+            code: "NOTE_SUPERSEDES_ABSENT",
+            message: `${incoming.id} dice sustituir a ${incoming.supersedes_note}, que no está en el linaje`,
+            action: "una sustitución nombra una nota publicada de la misma cadena",
+        });
+    }
+    return failures;
+}
+/**
+ * Whether two notes record the SAME decision, ignoring which correlative it got.
+ *
+ * This is what makes "an identical retry recovers the same result without
+ * deciding again" a property of content. The id cannot take part: a retry mints
+ * the next number off a chain that already holds the first attempt, so comparing
+ * sealed digests would call every retry a new decision and append a duplicate —
+ * the chain would grow one indistinguishable note per interrupted run, and the
+ * composition would then report an overlap nobody caused.
+ *
+ * Everything else does take part, including the fields that look like prose. Two
+ * notes that supersede the same assertions for different stated reasons are two
+ * decisions, and treating the second as a repeat of the first would drop the
+ * reason the chain exists to preserve.
+ */
+export function sameDecision(a, b) {
+    return canonicalDecision(a) === canonicalDecision(b);
+}
+function canonicalDecision(note) {
+    const { id: _id, digest: _digest, ...rest } = note;
+    return sealedRecordDigest(rest);
+}
+/** The notes still in force: every one nobody later superseded. */
+export function effectiveNotes(chain) {
+    const superseded = new Set(chain.map((note) => note.supersedes_note).filter((id) => id !== null));
+    return orderNotes(chain).filter((note) => !superseded.has(note.id));
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function requireText(value, field, code, action, fail) {
+    if (typeof value !== "string" || value.trim().length === 0) {
+        fail(code, `'${field}' es obligatorio y no puede estar vacío`, action);
+    }
+}
+function requireList(value, field, code, action, fail) {
+    if (!Array.isArray(value) || !value.every((v) => typeof v === "string" && v.length > 0)) {
+        fail(code, `'${field}' es obligatorio y debe ser una lista de strings`, action);
+        return null;
+    }
+    return value;
+}
+function readScope(value, fail) {
+    if (value !== "functional" && value !== "plan-only") {
+        fail("NOTE_SCOPE_INVALID", "'scope' debe ser 'functional' o 'plan-only'", "decí si la decisión cambia lo prometido o sólo el camino para llegar");
+        return null;
+    }
+    return value;
+}
+function readSupersedesNote(value, fail) {
+    if (value === null)
+        return null;
+    if (typeof value !== "string" || !NOTE_ID_RE.test(value)) {
+        fail("NOTE_SUPERSEDES_INVALID", "'supersedes_note' debe ser un DEC-NNN o null", "usá null si esta nota no corrige ninguna anterior");
+        return null;
+    }
+    return value;
+}
+function readAssertions(value, fail) {
+    const list = requireList(value, "supersedes_assertions", "NOTE_ASSERTIONS_MISSING", "enumerá las afirmaciones que sustituye como S033/AC-05; [] si no sustituye ninguna", fail);
+    if (list === null)
+        return null;
+    const wrong = list.filter((id) => !CRITERION_RE.test(id));
+    if (wrong.length > 0) {
+        fail("NOTE_ASSERTIONS_INVALID", `'supersedes_assertions' no usa la gramática de criterio en: ${wrong.join(", ")}`, "direccioná cada afirmación como S033/AC-05 — es la misma gramática que ya existe, no una segunda");
+        return null;
+    }
+    if (new Set(list).size !== list.length) {
+        fail("NOTE_ASSERTIONS_DUPLICATE", "'supersedes_assertions' repite una afirmación", "nombrar dos veces la misma afirmación no la sustituye dos veces");
+        return null;
+    }
+    return list;
+}
+function readAnchor(value, side, fail) {
+    if (!isRecord(value)) {
+        fail("NOTE_LINEAGE_MISSING", `'lineage.${side}' es obligatorio`, `anclá el ${side} con su ruta, su correlativo y su digest exacto`);
+        return null;
+    }
+    const { path, number, digest } = value;
+    if (typeof path !== "string" || path.length === 0 || typeof number !== "string") {
+        fail("NOTE_LINEAGE_INVALID", `'lineage.${side}' necesita 'path' y 'number'`, "el linaje nombra documentos reales del workspace");
+        return null;
+    }
+    if (!isDigest(digest)) {
+        fail("NOTE_LINEAGE_DIGEST_INVALID", `'lineage.${side}.digest' debe ser el sha256 exacto de ese documento`, "sin el digest la nota decide sobre un nombre, no sobre unos bytes");
+        return null;
+    }
+    return { path, number, digest };
+}
+function readLineage(value, fail) {
+    if (!isRecord(value)) {
+        fail("NOTE_LINEAGE_MISSING", "'lineage' es obligatorio", "una nota sin linaje no se puede componer sobre ningún baseline");
+        return null;
+    }
+    const spec = readAnchor(value.spec, "spec", fail);
+    const plan = readAnchor(value.plan, "plan", fail);
+    const execution = value.execution;
+    if (!isRecord(execution) ||
+        typeof execution.session !== "string" ||
+        execution.session.length === 0 ||
+        typeof execution.phase !== "string" ||
+        execution.phase.length === 0) {
+        fail("NOTE_EXECUTION_STATE_MISSING", "'lineage.execution' necesita 'session' y 'phase'", "registrá desde qué sesión y en qué fase apareció la divergencia");
+        return null;
+    }
+    if (spec === null || plan === null)
+        return null;
+    return { spec, plan, execution: { session: execution.session, phase: execution.phase } };
+}
+//# sourceMappingURL=decision-note.js.map

package/dist/domain/decision-note.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-note.js","sourceRoot":"","sources":["../../src/domain/decision-note.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AA8ExD,MAAM,CAAC,MAAM,WAAW,GAAG,2BAA2B,CAAC;AAEvD,MAAM,UAAU,GAAG,mCAAmC,CAAC;AACvD,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;AAC/C,MAAM,YAAY,GAAG,IAAI,MAAM,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;AAchE,wEAAwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,IAAkC;IAClE,OAAO,kBAAkB,CAAC,IAA0C,CAAC,CAAC;AACxE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAY;IAC/C,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,MAAc,EAAQ,EAAE;QACnE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,CACF,iBAAiB,EACjB,0CAA0C,EAC1C,oDAAoD,CACrD,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAC/B,4EAA4E;QAC5E,6EAA6E;QAC7E,8BAA8B;QAC9B,IAAI,CACF,qBAAqB,EACrB,oCAAoC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAChE,0BAA0B,WAAW,EAAE,CACxC,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,iBAAiB,EAAE,uBAAuB,EAAE,6BAA6B,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,WAAW,CACT,GAAG,CAAC,QAAQ,EACZ,UAAU,EACV,uBAAuB,EACvB,8BAA8B,EAC9B,IAAI,CACL,CAAC;IACF,WAAW,CACT,GAAG,CAAC,MAAM,EACV,QAAQ,EACR,qBAAqB,EACrB,uCAAuC,EACvC,IAAI,CACL,CAAC;IACF,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,qBAAqB,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,cAAc,GAAG,kBAAkB,CAAC,GAAG,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,WAAW,CAC3B,GAAG,CAAC,SAAS,EACb,WAAW,EACX,wBAAwB,EACxB,2DAA2D,EAC3D,IAAI,CACL,CAAC;IACF,MAAM,SAAS,GAAG,WAAW,CAC3B,GAAG,CAAC,kBAAkB,EACtB,oBAAoB,EACpB,iCAAiC,EACjC,wDAAwD,EACxD,IAAI,CACL,CAAC;IACF,MAAM,WAAW,GAAG,WAAW,CAC7B,GAAG,CAAC,oBAAoB,EACxB,sBAAsB,EACtB,mCAAmC,EACnC,uDAAuD,EACvD,IAAI,CACL,CAAC;IACF,MAAM,WAAW,GAAG,WAAW,CAC7B,GAAG,CAAC,WAAW,EACf,aAAa,EACb,0BAA0B,EAC1B,0DAA0D,EAC1D,IAAI,CACL,CAAC;IACF,WAAW,CACT,GAAG,CAAC,YAAY,EAChB,cAAc,EACd,2BAA2B,EAC3B,qCAAqC,EACrC,IAAI,CACL,CAAC;IACF,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,IAAI,CACF,mBAAmB,EACnB,sCAAsC,EACtC,8EAA8E,CAC/E,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAErE,MAAM,KAAK,GAAiB;QAC1B,MAAM,EAAE,WAAW;QACnB,EAAE,EAAE,GAAG,CAAC,EAAY;QACpB,OAAO,EAAE,OAAsB;QAC/B,QAAQ,EAAE,GAAG,CAAC,QAAkB;QAChC,MAAM,EAAE,GAAG,CAAC,MAAgB;QAC5B,qBAAqB,EAAE,UAAsB;QAC7C,eAAe,EAAE,cAAc;QAC/B,KAAK,EAAE,KAAkB;QACzB,SAAS,EAAE,SAAqB;QAChC,kBAAkB,EAAE,SAAqB;QACzC,oBAAoB,EAAE,WAAuB;QAC7C,WAAW,EAAE,WAAuB;QACpC,YAAY,EAAE,GAAG,CAAC,YAAsB;QACxC,IAAI,EAAE,GAAG,CAAC,IAAc;QACxB,MAAM,EAAE,EAAE;KACX,CAAC;IACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,IAAI,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,qBAAqB,QAAQ,EAAE,CAAC,CAAC;QACxF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,CACF,sBAAsB,EACtB,oDAAoD,EACpD,qEAAqE,QAAQ,EAAE,CAChF,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,WAAW,CAAC,IAAkB;IACrC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAA8B;IACvD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9B,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,CAAS,EAAE,CAAS;IAC1C,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAA8B,EAC9B,QAAsB;IAEtB,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,mCAAmC;YAC1D,MAAM,EACJ,wFAAwF;SAC3F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,CAAC,eAAe,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC7E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,GAAG,QAAQ,CAAC,EAAE,qBAAqB,QAAQ,CAAC,eAAe,4BAA4B;YAChG,MAAM,EAAE,8DAA8D;SACvE,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,YAAY,CAAC,CAAe,EAAE,CAAe;IAC3D,OAAO,iBAAiB,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAkB;IAC3C,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACnD,OAAO,kBAAkB,CAAC,IAA0C,CAAC,CAAC;AACxE,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAAC,KAA8B;IAC3D,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAgB,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,CACpF,CAAC;IACF,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AACtE,CAAC;AAMD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,KAAa,EACb,IAAY,EACZ,MAAc,EACd,IAAU;IAEV,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,yCAAyC,EAAE,MAAM,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,KAAc,EACd,KAAa,EACb,IAAY,EACZ,MAAc,EACd,IAAU;IAEV,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACxF,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,kDAAkD,EAAE,MAAM,CAAC,CAAC;QAChF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAiB,CAAC;AAC3B,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAU;IAC3C,IAAI,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;QACpD,IAAI,CACF,oBAAoB,EACpB,6CAA6C,EAC7C,sEAAsE,CACvE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc,EAAE,IAAU;IACpD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,IAAI,CACF,yBAAyB,EACzB,8CAA8C,EAC9C,mDAAmD,CACpD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAU;IAChD,MAAM,IAAI,GAAG,WAAW,CACtB,KAAK,EACL,uBAAuB,EACvB,yBAAyB,EACzB,oFAAoF,EACpF,IAAI,CACL,CAAC;IACF,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,IAAI,CACF,yBAAyB,EACzB,+DAA+D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACjF,kGAAkG,CACnG,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACvC,IAAI,CACF,2BAA2B,EAC3B,+CAA+C,EAC/C,iEAAiE,CAClE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,IAAqB,EAAE,IAAU;IACnE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,CACF,sBAAsB,EACtB,YAAY,IAAI,kBAAkB,EAClC,YAAY,IAAI,iDAAiD,CAClE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACvC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChF,IAAI,CACF,sBAAsB,EACtB,YAAY,IAAI,8BAA8B,EAC9C,kDAAkD,CACnD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,IAAI,CACF,6BAA6B,EAC7B,YAAY,IAAI,qDAAqD,EACrE,mEAAmE,CACpE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,IAAU;IAC7C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,IAAI,CACF,sBAAsB,EACtB,0BAA0B,EAC1B,gEAAgE,CACjE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IAClC,IACE,CAAC,QAAQ,CAAC,SAAS,CAAC;QACpB,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ;QACrC,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAC9B,OAAO,SAAS,CAAC,KAAK,KAAK,QAAQ;QACnC,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAC5B,CAAC;QACD,IAAI,CACF,8BAA8B,EAC9B,kDAAkD,EAClD,iEAAiE,CAClE,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC;AAC3F,CAAC"}

package/dist/domain/decision-preview.js

@@ -0,0 +1,159 @@
+import { SELF_AUTHORIZABLE_CLASSES } from "./capability/effects.js";
+import { destinationsOf, observedEffects, sealProposal } from "./proposal.js";
+/**
+ * WHAT THE PERSON SEES, once, before deciding — and the seal their single
+ * "yes" is given over.
+ *
+ * The eight sections are not a report format. They are the eight things somebody
+ * needs in order to be responsible for the answer: what is being decided over,
+ * what actually changes, who else is reached, how far it goes, which evidence
+ * survives and which stops counting, what work the decision creates, where
+ * execution comes back, and exactly which bytes land where. A preview missing
+ * any of them asks for consent to something that was not shown.
+ *
+ * Every one of them is DERIVED from the composed contract and the sealed note.
+ * That is the load-bearing part: a preview authored beside the change is a second
+ * description of it, and the moment the two disagree the person is approving the
+ * pleasant one. Here, changing anything material changes the proposal's digest,
+ * so the grant given over the old seal stops covering the new bytes by
+ * construction rather than by anybody remembering to re-check.
+ *
+ * And it is ONE authorization. Choosing an alternative registers the note and
+ * authorizes exactly the previewed effects; there is no second confirmation
+ * asking the same question in other words, because {@link grantFor} is derived
+ * from the very seal that was shown. What that grant can never carry is the two
+ * classes below — a decision note is a document, and a path that wanted to
+ * destroy something or leave the machine to register one is not this path.
+ */
+/**
+ * The classes registering a decision may ever exercise.
+ *
+ * Publishing a note writes a JSON document beside the spec it amends: it creates
+ * or it replaces, and nothing else. `destructive` and `network_external` are
+ * absent by intent and not by omission — no reachable combination of a note and
+ * an index produces them, so their appearance means the artifacts are not the
+ * ones this path is for, and the preview refuses instead of asking somebody to
+ * authorize them under a decision's name.
+ */
+export const DECISION_EFFECT_CLASSES = [
+    "local_additive",
+    "mutate_overwrite",
+];
+/**
+ * Build the preview, or refuse to show one.
+ *
+ * It blocks rather than trims. A preview that dropped a section it could not
+ * fill would be indistinguishable from one where that section was genuinely
+ * empty — "no compensatory work" and "we did not work out the compensatory work"
+ * look identical on screen and mean opposite things to whoever says yes.
+ */
+export function buildDecisionPreview(input) {
+    const failures = [];
+    if (input.artifacts.length === 0) {
+        failures.push({
+            code: "PREVIEW_NO_ARTIFACTS",
+            message: "la vista previa no tiene ningún destino que mostrar",
+            action: "una decisión sin efectos no se registra: prepará el índice de decisiones antes de previsualizar",
+        });
+    }
+    if (input.note.lineage.spec.digest !== input.contract.spec.digest) {
+        failures.push({
+            code: "PREVIEW_BASELINE_DRIFTED",
+            message: `la nota decide sobre ${input.note.lineage.spec.digest} y el contrato compone sobre ${input.contract.spec.digest}`,
+            action: "recomponé el contrato sobre la spec vigente y volvé a sellar la nota: previsualizar sobre dos baselines distintos muestra una decisión que nadie tomó",
+        });
+    }
+    if (!input.contract.applied.includes(input.note.id)) {
+        failures.push({
+            code: "PREVIEW_NOTE_NOT_COMPOSED",
+            message: `${input.note.id} no está entre las notas aplicadas del contrato que se muestra`,
+            action: "componé el contrato incluyendo esta nota: la vista previa enseña el efecto real, no el que tendría si compusiera",
+        });
+    }
+    // The seal has to cover the note that was SHOWN, and the note's own digest is
+    // what proves it does. Without this, six of the eight sections are read off a
+    // record the proposal never carries: a preview could show one resume point and
+    // seal bytes holding another, and the approval would be over the pleasant one.
+    // A substring is enough because the digest seals every field of the note — the
+    // published record can only carry it by being this record.
+    if (!input.artifacts.some((artifact) => artifact.content.includes(input.note.digest))) {
+        failures.push({
+            code: "PREVIEW_NOTE_NOT_SEALED",
+            message: `ningún destino de la propuesta contiene ${input.note.id}`,
+            action: "publicá la nota dentro de la propuesta que se aprueba: mostrar una decisión y sellar otros bytes es pedir consentimiento sobre algo que no se enseñó",
+        });
+    }
+    const classes = observedEffects(input.artifacts);
+    const beyond = classes.filter((effect) => !DECISION_EFFECT_CLASSES.includes(effect));
+    if (beyond.length > 0) {
+        failures.push({
+            code: "PREVIEW_EFFECT_FORBIDDEN",
+            message: `registrar una decisión ejercería ${beyond.join(", ")}`,
+            action: `una nota sólo escribe su índice: proponé sólo efectos de ${DECISION_EFFECT_CLASSES.join(", ")}`,
+        });
+    }
+    if (failures.length > 0)
+        return { status: "blocked", failures };
+    const proposal = sealProposal({
+        operation: input.operation,
+        artifacts: input.artifacts,
+        bases: input.bases,
+        effects: classes,
+        requiresApproval: classes.filter((effect) => !SELF_AUTHORIZABLE_CLASSES.includes(effect)),
+    });
+    return {
+        status: "previewed",
+        preview: {
+            baseline: input.contract.spec,
+            effective_change: changesOf(input.contract, input.note),
+            consumers: [...input.note.consumers],
+            impact: {
+                scope: input.note.scope,
+                assertions: input.note.supersedes_assertions.length,
+                consumers: input.note.consumers.length,
+            },
+            evidence: {
+                preserved: [...input.note.evidence_preserved],
+                invalidated: [...input.note.evidence_invalidated],
+            },
+            obligations: [...input.note.obligations],
+            resume_point: input.note.resume_point,
+            effects: { classes, entries: proposal.preview },
+            proposal,
+        },
+    };
+}
+/**
+ * The assertions THIS note moves, read off the composed contract.
+ *
+ * `from` comes from the contract's attribution rather than from the note: an
+ * assertion another note already amended is not going from `baseline`, and
+ * saying so would overstate what this decision costs.
+ */
+function changesOf(contract, note) {
+    const mine = new Set(note.supersedes_assertions);
+    return contract.assertions
+        .filter((assertion) => mine.has(assertion.id))
+        .map((assertion) => ({
+        assertion: assertion.id,
+        from: assertion.by === note.id ? "baseline" : "amended",
+        to: "amended",
+        by: note.id,
+    }));
+}
+/**
+ * The grant one explicit choice gives — over this seal, and nothing wider.
+ *
+ * Derived from the preview instead of assembled beside it, so "authorize exactly
+ * what was shown" is arithmetic. A grant naming a different digest covers
+ * nothing, which is what makes a material change between the preview and the
+ * write fail closed rather than sail through on a yes that was about other bytes.
+ */
+export function grantFor(preview) {
+    return {
+        digest: preview.proposal.digest,
+        destinations: destinationsOf(preview.proposal),
+        classes: [...preview.proposal.requires_approval],
+    };
+}
+//# sourceMappingURL=decision-preview.js.map

package/dist/domain/decision-preview.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision-preview.js","sourceRoot":"","sources":["../../src/domain/decision-preview.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAC;AAKpE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC7D,gBAAgB;IAChB,kBAAkB;CACnB,CAAC;AAsDF;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,qDAAqD;YAC9D,MAAM,EACJ,iGAAiG;SACpG,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAClE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,wBAAwB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,gCAAgC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE;YAC3H,MAAM,EACJ,uJAAuJ;SAC1J,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,gEAAgE;YACzF,MAAM,EACJ,kHAAkH;SACrH,CAAC,CAAC;IACL,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,+EAA+E;IAC/E,+EAA+E;IAC/E,+EAA+E;IAC/E,2DAA2D;IAC3D,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACtF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,yBAAyB;YAC/B,OAAO,EAAE,2CAA2C,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE;YACnE,MAAM,EACJ,sJAAsJ;SACzJ,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IACrF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,oCAAoC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAChE,MAAM,EAAE,4DAA4D,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACzG,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IAEhE,MAAM,QAAQ,GAAG,YAAY,CAAC;QAC5B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,OAAO,EAAE,OAAO;QAChB,gBAAgB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;KAC1F,CAAC,CAAC;IAEH,OAAO;QACL,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;YAC7B,gBAAgB,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC;YACvD,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;YACpC,MAAM,EAAE;gBACN,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;gBACvB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,MAAM;gBACnD,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM;aACvC;YACD,QAAQ,EAAE;gBACR,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC;gBAC7C,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC;aAClD;YACD,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;YACxC,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY;YACrC,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;YAC/C,QAAQ;SACT;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,QAA2B,EAAE,IAAkB;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjD,OAAO,QAAQ,CAAC,UAAU;SACvB,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;SAC7C,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACnB,SAAS,EAAE,SAAS,CAAC,EAAE;QACvB,IAAI,EAAE,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAE,UAAoB,CAAC,CAAC,CAAE,SAAmB;QAC7E,EAAE,EAAE,SAAkB;QACtB,EAAE,EAAE,IAAI,CAAC,EAAE;KACZ,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,OAAwB;IAC/C,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;QAC/B,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9C,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAC;KACjD,CAAC;AACJ,CAAC"}

package/dist/domain/design/governance.js

@@ -1,5 +1,4 @@
-import { createHash } from "node:crypto";
-import { canonicalJson } from "../../application/semantic-operation/protocol.js";
+import { sealedRecordDigest } from "../sealed-record.js";
 import { isCalendarDate } from "./baseline.js";
 import { CANONICAL_SCHEMAS } from "./capability.js";
 import { isDigest, parseBaselineRef } from "./identity.js";
@@ -28,8 +27,7 @@ const DECISIONS = new Set(["proposed", "approved", "rejected"]);
  * unverifiable — you cannot hash a value that contains its own hash.
  */
 export function computeRecordDigest(record) {
-    const { digest: _drop, ...rest } = record;
-    return `sha256:${createHash("sha256").update(canonicalJson(rest), "utf8").digest("hex")}`;
+    return sealedRecordDigest(record);
 }
 export function validateDesignReview(raw, artifact) {
     const r = new Reader(REVIEW_ALLOWED_KEYS);