@tacuchi/agent-workflow-cli 25.2.0 → 25.3.0

package/dist/domain/reconciliation.js

@@ -1,3 +1,4 @@
+import { correspondingPlanItem, planHandoffItems } from "./obligation-correspondence.js";
 /**
  * Project what the composed contract still owes.
  *
@@ -5,46 +6,162 @@
  * 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) {
+export function reconciliationOf(contract, chain, planText) {
     const resumeOf = new Map(chain.map((note) => [note.id, note.resume_point]));
+    // Read once for the whole reconciliation: every legacy obligation of one plan
+    // is judged against one reading of that plan's own enumerated handoffs.
+    const items = planText === undefined ? [] : planHandoffItems(planText);
     const pending = [];
+    const handoffs = [];
     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({
+        const cited = obligation.declared ? null : correspondingPlanItem(obligation.text, items);
+        const entry = {
             text: obligation.text,
             by: obligation.by,
-            resume_point: resume ?? `${obligation.by} (nota ausente de la cadena)`,
-        });
+            index: obligation.index,
+            declared_point: resume ?? `${obligation.by} (nota ausente de la cadena)`,
+            // A declared class is the note's own word and is never second-guessed. An
+            // undeclared one reads as a handoff only when the plan itself enumerates
+            // that exact work; anything else keeps the safe reading.
+            kind: obligation.declared ? obligation.kind : cited === null ? "compensation" : "handoff",
+            legacy: !obligation.declared,
+            ...(cited === null ? {} : { corresponds_to: cited }),
+        };
+        (entry.kind === "handoff" ? handoffs : pending).push(entry);
     }
+    return { pending, handoffs, closable: pending.length === 0 };
+}
+/**
+ * WHAT A PLAN OWES AND HOW SOMEBODY GETS OUT OF IT — said once, for everybody.
+ *
+ * Three surfaces used to describe this one situation in three sets of words: the
+ * refusal that would not let the plan be sealed, the board's headline, and the
+ * action under the pipeline row. They drifted, as three texts about one fact
+ * always do — and the drift was not cosmetic. One of them sent the reader back
+ * to the point a note recorded at birth, one offered no command at all, and none
+ * of them mentioned the command that actually settles anything. So the exit is
+ * derived HERE, and each surface takes the part it renders.
+ *
+ * `null` means nothing is owed. Otherwise there is always a `command`: a refusal
+ * with no exit is a wall, and this whole phase exists because the board had one.
+ */
+export function obligationExit(reconciliation, context) {
+    const owed = whatIsOwed(reconciliation);
+    if (owed === null)
+        return null;
+    if (owed.repair !== undefined)
+        return unreadableExit(owed.text, owed.repair, context);
+    return owed.kind === "compensation"
+        ? compensationExit(owed.text, context)
+        : handoffExit(owed.text, context);
+}
+/**
+ * The first thing owed, and of which class — compensation before handoff.
+ *
+ * A plan owing both is held by the compensation, so that is what its exit has to
+ * be about; the handoff is still listed underneath. And "not closable with
+ * nothing named" is the composition refusing itself — reported as the shape it
+ * is, because falling through to the handoffs there would describe a plan that
+ * cannot be read as one that merely delegated some work.
+ */
+function whatIsOwed(reconciliation) {
+    const [compensation] = reconciliation.pending;
+    if (compensation !== undefined) {
+        return {
+            kind: "compensation",
+            text: named(compensation, reconciliation.pending.length),
+            ...(compensation.repair === undefined ? {} : { repair: compensation.repair }),
+        };
+    }
+    if (!reconciliation.closable) {
+        return { kind: "compensation", text: "el contrato efectivo no se puede componer" };
+    }
+    const [handoff] = reconciliation.handoffs;
+    if (handoff === undefined)
+        return null;
+    return { kind: "handoff", text: named(handoff, reconciliation.handoffs.length) };
+}
+/**
+ * How a surface says that a class is a READING, not the note's own word.
+ *
+ * One phrase for every surface that shows it, because two spellings of it is
+ * two answers to "did a person ratify this?" — and that question is the whole
+ * point of keeping the distinction.
+ */
+export function readingMark(kind) {
+    return `clase no declarada, leída ${kind === "handoff" ? "traspaso" : "compensación"}`;
+}
+/** `DEC-001 — revalidar F1 (+2 más)`: the cause, the work, and the rest of them. */
+function named(obligation, total) {
+    const more = total - 1;
+    const rest = more > 0 ? ` (+${more} más)` : "";
+    // A fabricated pending has no cause to keep: its `by` is a label the
+    // projection invented for a note nobody wrote, and printing it as the author
+    // of the work would be the second wrong text about the same fact.
+    const cause = obligation.repair === undefined ? `${obligation.by} — ` : "";
+    // And an undeclared class travels as what it is. The non-blocking reading is
+    // the one most worth flagging: a legacy handoff makes the plan closable, and a
+    // board asserting it as the note's own word hides that nobody ratified it.
+    const read = obligation.legacy ? ` (${readingMark(obligation.kind)})` : "";
+    return `${cause}${obligation.text}${read}${rest}`;
+}
+function compensationExit(owed, context) {
+    const settle = `aw settle prepare ${context.plan}`;
+    const run = context.run;
     return {
-        pending,
-        resume_point: pending[0]?.resume_point ?? null,
-        closable: pending.length === 0,
+        kind: "compensation",
+        owed,
+        point: context.current_point,
+        command: run === null ? settle : run.command,
+        // With a run open the settlement rows are inside it, and the hedge is not
+        // padding: the cursor only ever grows, so a run already past them cannot go
+        // back — and for that one the exit is the command, once its journey ends.
+        action: run === null
+            ? `no hay corrida abierta sobre '${context.plan}': leé y declará el saldo con '${settle}', y aplicalo con el digest que devuelve`
+            : `la sesión ${run.session} ${run.why}, y la frontera de saldo de una corrida es donde se declara la evidencia: si todavía no la pasó, seguila con '${run.command}'; si ya la pasó, la salida es '${settle}' cuando el recorrido termine`,
+        headline: `COMPENSACIÓN VIGENTE por ${owed}: retomá en ${context.current_point}, ni ejecutable ni cerrable tal cual`,
     };
 }
 /**
- * Whether this plan may be declared closed, and what to do when it may not.
+ * The exit of a lineage nobody can read — the repair, and nothing about phases.
  *
- * 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.
+ * `point` carries the plan's current point anyway, because a caller may still
+ * want to say where the plan stands; what changes is that no TEXT offers it,
+ * since a broken chain is not fixed by going back to a phase. The old board
+ * printed `retomá en <repair>` — the right instruction under the wrong label —
+ * and F4's rule that a declared point never reaches a surface would have dropped
+ * it altogether: the one actionable sentence in the whole situation.
  */
-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`,
-        },
-    ];
+function unreadableExit(owed, repair, context) {
+    const settle = `aw settle prepare ${context.plan}`;
+    const run = context.run;
+    return {
+        kind: "compensation",
+        owed,
+        point: context.current_point,
+        command: run === null ? settle : run.command,
+        action: `${repair}. Después de eso el linaje vuelve a leerse${run === null
+            ? `, y la salida es '${settle}'`
+            : `, y la sesión ${run.session} —que ${run.why}— sigue con '${run.command}'`}`,
+        headline: `LINAJE ILEGIBLE por ${owed} — ${repair}: ni ejecutable ni cerrable tal cual`,
+    };
+}
+function handoffExit(owed, context) {
+    const settle = `aw settle prepare ${context.plan}`;
+    const run = context.run;
+    return {
+        kind: "handoff",
+        owed,
+        point: context.current_point,
+        command: run === null ? settle : run.command,
+        action: run === null
+            ? `el traspaso no bloquea nada: reconocelo con '${settle}', y saldalo ahí mismo cuando el trabajo de afuera esté hecho`
+            : `el traspaso no bloquea nada: la sesión ${run.session} ${run.why}, así que lo ve en la frontera de saldo de esa corrida; fuera de una corrida se reconoce con '${settle}'`,
+        headline: `TRASPASO VIGENTE por ${owed}: es trabajo de afuera y no bloquea el cierre; el plan está en ${context.current_point}`,
+    };
 }
 //# sourceMappingURL=reconciliation.js.map

package/dist/domain/reconciliation.js.map

@@ -1 +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"}
+{"version":3,"file":"reconciliation.js","sourceRoot":"","sources":["../../src/domain/reconciliation.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAuFzF;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAA2B,EAC3B,KAA8B,EAC9B,QAAiB;IAEjB,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,8EAA8E;IAC9E,wEAAwE;IACxE,MAAM,KAAK,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACvE,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IACzC,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,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzF,MAAM,KAAK,GAAsB;YAC/B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,cAAc,EAAE,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,8BAA8B;YACxE,0EAA0E;YAC1E,yEAAyE;YACzE,yDAAyD;YACzD,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;YACzF,MAAM,EAAE,CAAC,UAAU,CAAC,QAAQ;YAC5B,GAAG,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;SACrD,CAAC;QACF,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AAC/D,CAAC;AAgCD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAC5B,cAAkC,EAClC,OAAoB;IAEpB,MAAM,IAAI,GAAG,UAAU,CAAC,cAAc,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtF,OAAO,IAAI,CAAC,IAAI,KAAK,cAAc;QACjC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC;QACtC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AACtC,CAAC;AAkBD;;;;;;;;GAQG;AACH,SAAS,UAAU,CACjB,cAAkC;IAElC,MAAM,CAAC,YAAY,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC;IAC9C,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC;YACxD,GAAG,CAAC,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC;SAC9E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,2CAA2C,EAAE,CAAC;IACrF,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;AACnF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,IAAoB;IAC9C,OAAO,6BAA6B,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,EAAE,CAAC;AACzF,CAAC;AAED,oFAAoF;AACpF,SAAS,KAAK,CAAC,UAA6B,EAAE,KAAa;IACzD,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,qEAAqE;IACrE,6EAA6E;IAC7E,kEAAkE;IAClE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,6EAA6E;IAC7E,+EAA+E;IAC/E,2EAA2E;IAC3E,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,OAAO,GAAG,KAAK,GAAG,UAAU,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,OAAoB;IAC1D,MAAM,MAAM,GAAG,qBAAqB,OAAO,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,aAAa;QAC5B,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;QAC5C,0EAA0E;QAC1E,4EAA4E;QAC5E,0EAA0E;QAC1E,MAAM,EACJ,GAAG,KAAK,IAAI;YACV,CAAC,CAAC,iCAAiC,OAAO,CAAC,IAAI,kCAAkC,MAAM,0CAA0C;YACjI,CAAC,CAAC,aAAa,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,GAAG,iHAAiH,GAAG,CAAC,OAAO,mCAAmC,MAAM,+BAA+B;QAC7O,QAAQ,EAAE,4BAA4B,IAAI,eAAe,OAAO,CAAC,aAAa,sCAAsC;KACrH,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,cAAc,CAAC,IAAY,EAAE,MAAc,EAAE,OAAoB;IACxE,MAAM,MAAM,GAAG,qBAAqB,OAAO,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,cAAc;QACpB,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,aAAa;QAC5B,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;QAC5C,MAAM,EAAE,GAAG,MAAM,6CACf,GAAG,KAAK,IAAI;YACV,CAAC,CAAC,qBAAqB,MAAM,GAAG;YAChC,CAAC,CAAC,iBAAiB,GAAG,CAAC,OAAO,SAAS,GAAG,CAAC,GAAG,gBAAgB,GAAG,CAAC,OAAO,GAC7E,EAAE;QACF,QAAQ,EAAE,uBAAuB,IAAI,MAAM,MAAM,sCAAsC;KACxF,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,OAAoB;IACrD,MAAM,MAAM,GAAG,qBAAqB,OAAO,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,OAAO;QACL,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,KAAK,EAAE,OAAO,CAAC,aAAa;QAC5B,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO;QAC5C,MAAM,EACJ,GAAG,KAAK,IAAI;YACV,CAAC,CAAC,gDAAgD,MAAM,+DAA+D;YACvH,CAAC,CAAC,0CAA0C,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,GAAG,iGAAiG,MAAM,GAAG;QAChL,QAAQ,EAAE,wBAAwB,IAAI,kEAAkE,OAAO,CAAC,aAAa,EAAE;KAChI,CAAC;AACJ,CAAC"}

package/dist/domain/settlement.js

@@ -0,0 +1,129 @@
+/**
+ * The successor of one carrier note, or `null` when it would change nothing.
+ *
+ * Everything but the settled obligations crosses over: the decision, its reason,
+ * the assertions it amends, its scope, its consumers and its evidence. What the
+ * settlement adds is the evidence each discharge produced — evidence that still
+ * counts is exactly what `evidence_preserved` is for — and what it removes is
+ * the obligations somebody actually did.
+ *
+ * `null` and not an empty note: publishing a successor identical in force to its
+ * predecessor would grow the chain by one record per attempt and say nothing.
+ */
+export function deriveSettlementNote(carrier, settlements, at) {
+    const mine = settlements.filter((settlement) => settlement.note === carrier.id);
+    const failures = checkSettlements(carrier, mine);
+    if (failures.length > 0)
+        return { ok: false, failures };
+    const byIndex = new Map(mine.map((settlement) => [settlement.index, settlement]));
+    const kept = [];
+    const classified = [];
+    const settled = [];
+    const evidence = [];
+    for (const [index, obligation] of carrier.obligations.entries()) {
+        const settlement = byIndex.get(index);
+        if (settlement !== undefined && settlement.outcome === "settled") {
+            settled.push(obligation.text);
+            if (settlement.evidence !== undefined)
+                evidence.push(settlement.evidence);
+            continue;
+        }
+        const held = settlement?.outcome === "handoff" ? reclassified(obligation, "handoff") : obligation;
+        kept.push(held);
+        // Anything still unclassed leaves carrying the reading the board already
+        // reported FOR THAT POSITION — that is what "clasifica lo que queda" means,
+        // and without it the successor could not be appended at all. The position is
+        // the carrier's, never the survivors': dropping one shifts the rest.
+        classified.push(held.declared ? held : reclassified(held, at.resolved.get(index) ?? held.kind));
+    }
+    if (settled.length === 0 && sameObligations(carrier.obligations, classified)) {
+        return { ok: true, draft: null, settled: [] };
+    }
+    return {
+        ok: true,
+        settled,
+        draft: {
+            schema: carrier.schema,
+            lineage: {
+                spec: carrier.lineage.spec,
+                plan: carrier.lineage.plan,
+                // The settling run when there is one; the carrier's own when `aw settle`
+                // acts on a plan whose run is long closed. Either way it is a real
+                // session and a real phase, never a placeholder.
+                execution: { session: at.session, phase: at.phase },
+            },
+            decision: carrier.decision,
+            reason: carrier.reason,
+            supersedes_assertions: [...carrier.supersedes_assertions],
+            supersedes_note: carrier.id,
+            scope: carrier.scope,
+            consumers: [...carrier.consumers],
+            evidence_preserved: [...carrier.evidence_preserved, ...evidence],
+            evidence_invalidated: [...carrier.evidence_invalidated],
+            obligations: classified,
+            resume_point: carrier.resume_point,
+            date: at.date,
+        },
+    };
+}
+function reclassified(obligation, kind) {
+    return { text: obligation.text, kind, declared: true };
+}
+function sameObligations(before, after) {
+    return (before.length === after.length &&
+        before.every((obligation, index) => {
+            const other = after[index];
+            return (other !== undefined &&
+                other.text === obligation.text &&
+                other.kind === obligation.kind &&
+                other.declared === obligation.declared);
+        }));
+}
+/**
+ * Every way a settlement can fail to name real work, each with its own code.
+ *
+ * A settlement that points at an obligation the note does not carry, or that
+ * claims work is done without saying what proves it, is not a slightly worse
+ * settlement: it is a discharge nobody can audit, and the chain would record it
+ * as authoritative.
+ */
+function checkSettlements(carrier, settlements) {
+    const failures = [];
+    const seen = new Set();
+    for (const settlement of settlements) {
+        const obligation = carrier.obligations[settlement.index];
+        if (obligation === undefined) {
+            failures.push({
+                code: "SETTLEMENT_OBLIGATION_ABSENT",
+                message: `${carrier.id} no tiene una obligación en la posición ${settlement.index}`,
+                action: `esa nota carga ${carrier.obligations.length} obligación(es): saldá una que exista`,
+            });
+            continue;
+        }
+        if (seen.has(settlement.index)) {
+            failures.push({
+                code: "SETTLEMENT_OBLIGATION_REPEATED",
+                message: `${carrier.id} recibe dos saldos para la misma obligación: ${obligation.text}`,
+                action: "una obligación se salda una vez; decidí cuál de las dos lecturas vale",
+            });
+            continue;
+        }
+        seen.add(settlement.index);
+        if (settlement.outcome === "settled" && (settlement.evidence ?? "").trim().length === 0) {
+            failures.push({
+                code: "SETTLEMENT_EVIDENCE_MISSING",
+                message: `se declara cumplida '${obligation.text}' sin decir qué lo prueba`,
+                action: "declará la evidencia del saldo: un comando corrido, una prueba o una inspección; sin eso no es un saldo, es una afirmación",
+            });
+        }
+        if (settlement.outcome !== "settled" && settlement.evidence !== undefined) {
+            failures.push({
+                code: "SETTLEMENT_EVIDENCE_UNEXPECTED",
+                message: `'${obligation.text}' no se declara cumplida y aun así trae evidencia`,
+                action: "la evidencia acredita un saldo: sacala, o declará la obligación cumplida",
+            });
+        }
+    }
+    return failures;
+}
+//# sourceMappingURL=settlement.js.map

package/dist/domain/settlement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settlement.js","sourceRoot":"","sources":["../../src/domain/settlement.ts"],"names":[],"mappings":"AAgEA;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAqB,EACrB,WAA4C,EAC5C,EAAqB;IAErB,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAExD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,MAAM,UAAU,GAAqB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QAChE,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GACR,UAAU,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;QACvF,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,yEAAyE;QACzE,4EAA4E;QAC5E,6EAA6E;QAC7E,qEAAqE;QACrE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QAC7E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;IACD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,OAAO;QACP,KAAK,EAAE;YACL,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE;gBACP,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI;gBAC1B,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI;gBAC1B,yEAAyE;gBACzE,mEAAmE;gBACnE,iDAAiD;gBACjD,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE;aACpD;YACD,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,qBAAqB,EAAE,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC;YACzD,eAAe,EAAE,OAAO,CAAC,EAAE;YAC3B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC;YACjC,kBAAkB,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,EAAE,GAAG,QAAQ,CAAC;YAChE,oBAAoB,EAAE,CAAC,GAAG,OAAO,CAAC,oBAAoB,CAAC;YACvD,WAAW,EAAE,UAAU;YACvB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,IAAI,EAAE,EAAE,CAAC,IAAI;SACd;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,UAA0B,EAAE,IAAoB;IACpE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,eAAe,CACtB,MAAiC,EACjC,KAAgC;IAEhC,OAAO,CACL,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;YACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,OAAO,CACL,KAAK,KAAK,SAAS;gBACnB,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;gBAC9B,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;gBAC9B,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,QAAQ,CACvC,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CACvB,OAAqB,EACrB,WAA4C;IAE5C,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,8BAA8B;gBACpC,OAAO,EAAE,GAAG,OAAO,CAAC,EAAE,2CAA2C,UAAU,CAAC,KAAK,EAAE;gBACnF,MAAM,EAAE,kBAAkB,OAAO,CAAC,WAAW,CAAC,MAAM,uCAAuC;aAC5F,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,gCAAgC;gBACtC,OAAO,EAAE,GAAG,OAAO,CAAC,EAAE,gDAAgD,UAAU,CAAC,IAAI,EAAE;gBACvF,MAAM,EAAE,uEAAuE;aAChF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,wBAAwB,UAAU,CAAC,IAAI,2BAA2B;gBAC3E,MAAM,EACJ,4HAA4H;aAC/H,CAAC,CAAC;QACL,CAAC;QACD,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC1E,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,gCAAgC;gBACtC,OAAO,EAAE,IAAI,UAAU,CAAC,IAAI,mDAAmD;gBAC/E,MAAM,EAAE,0EAA0E;aACnF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tacuchi/agent-workflow-cli",
-  "version": "25.2.0",
+  "version": "25.3.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/commands/resume.md

@@ -32,10 +32,10 @@ No target → **every** pending item as `candidates` in the CLI's order, `propos
 
 ## What the CLI decides (do not re-derive)
 
-- **Priority**: unrefined spec → refined spec with no plan → plan not `done`; started first. A loose session is a notice, never a candidate.
+- **Priority**: unrefined spec → refined spec with no plan → plan not `done` → live handoff; started first. A loose session is a notice, never a candidate.
 - **Ties**: equal priority and progress → no single recommendation; date never splits.
 - **Spec→plan link**: `Derived from` or `## Origin`, never the slug; unproven stays unplanned.
-- **The route**: `/w:spec-refine`, `/w:plan-new`, `/w:plan-exec`, `aw session-resume --reopen`.
+- **The route**: `/w:spec-refine`, `/w:plan-new`, `/w:plan-exec`, `aw settle prepare`, `aw session-resume --reopen`.
 
 > A plan is not finished because its boxes are ticked: re-entry is the first phase not `validada`, a `bloqueada` phase with its declared reason, or — phases green, plan never closed — the final validation. One declaring `done` over open work comes back as inconsistent. An obligation leaving it neither runnable nor closable is said before its percentage.
 

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

@@ -151,6 +151,37 @@ run stops at it: declaring a deviation no longer carries on to the commit by its
 
 > **How an affirmation is addressed:** a decision note names the criteria it amends as `S{NNN}/AC-nn` — `NNN` from the spec file's number, `AC-nn` the label the criterion carries in the spec's checklist. The CLI **derives** that id from the label plus the file number, so the readable form the spec template writes is already addressable (a criterion that spells the full id is read the same way, never counted twice). A note amending a criterion the spec does not state **at all** is refused with `CONTRACT_ASSERTION_ABSENT`, and the exit is the spec stating it (`spec-refine`), never a second spelling of the id here.
 
+### Obligations — the two classes, and how each one is settled
+
+A note may leave work behind, and it declares **which of two classes** each piece is. A
+**compensation** is work this lineage owes: it holds the plan's closure shut until it is settled. A
+**handoff** is work somebody outside the run took on: it stays listed, it stays visible after the plan
+closes, and it blocks nothing — a run that cannot discharge it could never close. Nothing historical
+moves: the boxes and the phase states record what happened, and the obligation is new work of the
+effective contract.
+
+The class is the agent's to state while drafting the note, and the person sees it in the sealed
+preview before registering it; a new note leaving work without saying which class is refused. A note
+published before the class existed is read tolerantly — an undeclared obligation is a **compensation**
+unless the plan itself enumerates that exact work as a handoff — and every surface marks that as a
+reading somebody supplied, never as the note's own word. The class is revocable: the
+settlement boundary may declare a live compensation a handoff after all. So **when in doubt,
+compensation** — the only error a later boundary still catches.
+
+Settling one is publishing a note that **supersedes** the one carrying it without carrying it forward;
+there is no second ledger of discharged obligations: one recorded outside the chain
+could disagree with it. The closure does this by itself: between the last `batch-close` and
+the final validation the run declares, per compensation, whether it is done and with what evidence,
+and the CLI derives and publishes the settlement note. A compensation still pending leaves that
+boundary open with an executable action and costs the run no attempt. With **no** open run — a plan
+blocked today whose run closed long ago — the exit is `aw settle`: it lists what is owed, previews the
+note, and publishes it against an approval.
+
+**The split between scaffolding and content**, in three lines. A gap with a **single** reading is
+repaired by the run itself, and the repair is recorded. A gap with **more than one** reading is asked
+**once for all of them**, with the run's own reading offered as the recommendation. Everything else
+is **content**, and content is the person's.
+
 **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