@tacuchi/agent-workflow-cli 25.6.1 → 25.8.0

package/dist/application/flow/annul-service.js

@@ -0,0 +1,159 @@
+/**
+ * `aw flow annul` — reopen a mis-accredited batch and every later one.
+ *
+ * Kept apart from the engine's own service because it reads the plan document
+ * from the workspace root, which needs the environment the engine modules never
+ * read. What it shares with `restart` — the session guard and the re-adoption —
+ * it takes from `flow-service`.
+ */
+import { join } from "node:path";
+import { legacyRunNeedsAdoption, restartInvocation } from "../../domain/flow/run-state.js";
+import { sealProposal } from "../../domain/proposal.js";
+import { applyLocalProposal } from "../local-proposal.js";
+import { resolveWorkspaceRoot } from "../paths-service.js";
+import { preparePlanExecAnnulment } from "../plan-exec-batch-service.js";
+import { semanticDigest } from "../semantic-operation/protocol.js";
+import { reseat, writableSession, } from "./flow-service.js";
+import { locateRun, readRun } from "./run-state-service.js";
+/**
+ * Preview an annulment, writing nothing.
+ *
+ * Read from the LIVE registry: its batches are where the phases and tasks each
+ * close credited are recorded, so the preview names exactly what those closes
+ * did — not what the plan happens to show now. A run the CLI cannot read has no
+ * batches to trust; its way out is `aw flow restart`, and its phases are fixed in
+ * the plan by hand.
+ */
+export async function prepareAnnulment(fs, paths, input) {
+    // Without binding the conversation: a preview writes nothing at all.
+    const target = await writableSession(fs, paths, input, "anular", false);
+    if (!target.ok)
+        return target.result;
+    const prepared = await annulmentOf(fs, paths, target.session.folder, input);
+    return prepared.ok ? { ok: true, preview: prepared.preview } : prepared;
+}
+/**
+ * Apply the annulment the approval names, or nothing.
+ *
+ * The preview is recomputed and must still carry the approved digest; the plan
+ * is rewritten through the workspace-lock publication with its current bytes as
+ * the compare-and-swap base; then the run leaves through the same re-adoption as
+ * `restart`, with the annulment in its trace. Git is never touched.
+ */
+export async function applyAnnulment(fs, paths, input) {
+    const target = await writableSession(fs, paths, input, "anular");
+    if (!target.ok)
+        return target.result;
+    const prepared = await annulmentOf(fs, paths, target.session.folder, input);
+    if (!prepared.ok)
+        return prepared;
+    const { preview, proposal, root } = prepared;
+    if (input.approval.trim() !== preview.digest) {
+        return annulRefusal("FLOW_ANNUL_APPROVAL_MISMATCH", "lo aprobado no es lo que se anularía: el plan o la corrida cambiaron desde la vista previa", `volvé a correr 'aw flow annul --session ${preview.session} --from ${input.from}', leé la vista previa vigente y aprobá ese digest`);
+    }
+    const applied = await applyLocalProposal(fs, paths, {
+        root,
+        proposal,
+        approval: { digest: proposal.digest, granted: ["mutate_overwrite"] },
+        selfAuthorized: [],
+    });
+    if (!applied.ok)
+        return { ok: false, failure: applied.failure };
+    const ids = preview.batches.map((batch) => batch.id);
+    // Past this point the plan is already reopened. If the re-adoption fails, the
+    // way out is the same two commands again: the rewrite is then a no-op and the
+    // run is re-adopted with the annulment in its trace.
+    return reseat(fs, paths, target.session, input, {
+        cause: async () => `FLOW_ANNULLED: se anularon ${ids.join(", ")}`,
+        events: () => [
+            {
+                kind: "annulled",
+                transition: ANNUL_OPERATION,
+                operation: ANNUL_OPERATION,
+                batches: ids,
+                phases: preview.phases,
+                tasks: preview.tasks,
+                digest: preview.digest,
+            },
+        ],
+    });
+}
+const ANNUL_OPERATION = "flow.annul";
+/** The preview and the sealed plan rewrite behind it, recomputed from live state. */
+async function annulmentOf(fs, paths, session, input) {
+    const read = await readRun(fs, locateRun(paths, session));
+    if (!read.ok) {
+        return annulRefusal(read.failure.code, read.failure.message, read.failure.action);
+    }
+    const state = read.state;
+    if (legacyRunNeedsAdoption(state)) {
+        return annulRefusal("FLOW_ANNUL_NO_BATCHES", `la corrida v${state.version} de '${session}' no registra lotes que se puedan anular`, `anular sólo actúa sobre los lotes del registro vivo: sacá la corrida con '${restartInvocation(session)}' y corregí las fases del plan a mano`);
+    }
+    const closed = (state.batches ?? []).filter((batch) => batch.published_plan_digest !== undefined);
+    if (state.scope === null || closed.length === 0) {
+        return annulRefusal("FLOW_ANNUL_NO_BATCHES", `la corrida de '${session}' todavía no cerró ningún lote de un plan`, state.flow === "plan-exec"
+            ? "no hay nada que anular: seguí la corrida con 'aw flow advance' y anulá después de cerrar el lote que haga falta"
+            : `'${state.flow}' no ejecuta lotes de un plan: anular es sólo para corridas de plan-exec`);
+    }
+    const iteration = /^(?:batch-)?([1-9][0-9]*)$/i.exec(input.from.trim())?.[1];
+    const first = closed.find((batch) => String(batch.iteration) === iteration);
+    if (first === undefined) {
+        return annulRefusal("FLOW_ANNUL_BATCH_UNKNOWN", `'${input.from}' no es un lote cerrado de esta corrida`, `elegí uno de: ${closed.map((batch) => batch.id).join(", ") || "(ninguno cerrado todavía)"}`);
+    }
+    const annulled = closed.filter((batch) => batch.iteration >= first.iteration);
+    const phases = [...new Set(annulled.flatMap((batch) => batch.phases))].sort((a, b) => a - b);
+    const tasks = [...new Set(annulled.flatMap((batch) => batch.tasks))];
+    const root = await resolveWorkspaceRoot(fs, input.env, paths);
+    const plan = state.scope.plan;
+    let text;
+    try {
+        text = await fs.readText(join(root, plan));
+    }
+    catch {
+        return annulRefusal("FLOW_ANNUL_PLAN_UNREADABLE", `no se puede leer '${plan}'`, `restaurá '${plan}' antes de anular`);
+    }
+    const rewrite = preparePlanExecAnnulment(text, { plan, tasks, phases });
+    if (!rewrite.ok)
+        return { ok: false, failure: rewrite.failure };
+    const proposal = sealProposal({
+        operation: ANNUL_OPERATION,
+        artifacts: [{ path: plan, content: rewrite.prepared.content, overwrite: true }],
+        bases: [{ path: plan, digest: rewrite.prepared.before_digest }],
+        effects: ["mutate_overwrite"],
+        requiresApproval: ["mutate_overwrite"],
+    });
+    const digest = annulDigest(session, annulled.map((batch) => batch.id), proposal.digest);
+    return {
+        ok: true,
+        root,
+        proposal,
+        preview: {
+            session,
+            plan,
+            batches: annulled.map((batch) => ({
+                id: batch.id,
+                phases: batch.phases,
+                tasks: batch.tasks,
+            })),
+            phases,
+            tasks,
+            unseals_done: rewrite.prepared.unsealed,
+            digest,
+            next: `aw flow annul --session ${session} --from ${input.from} --approval ${digest}`,
+        },
+    };
+}
+/**
+ * What the person approves: this session, these batches, these plan bytes.
+ *
+ * The bytes alone would not do — two ranges can produce the same rewrite (every
+ * one is a no-op once the plan is already reopened), and a digest shown for
+ * `--from 4` must not apply `--from 3` and record batches nobody approved.
+ */
+function annulDigest(session, batches, proposal) {
+    return semanticDigest({ operation: ANNUL_OPERATION, session, batches, proposal });
+}
+function annulRefusal(code, message, action) {
+    return { ok: false, failure: { code, message, action } };
+}
+//# sourceMappingURL=annul-service.js.map

package/dist/application/flow/annul-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"annul-service.js","sourceRoot":"","sources":["../../../src/application/flow/annul-service.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EAAsB,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAG5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAqB,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAGL,MAAM,EACN,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AA8B5D;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,EAAkB,EAClB,KAAmB,EACnB,KAAqB;IAErB,qEAAqE;IACrE,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC,MAAiB,CAAC;IAChD,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5E,OAAO,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1E,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,EAAkB,EAClB,KAAmB,EACnB,KAA4C;IAE5C,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5E,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC;IAC7C,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7C,OAAO,YAAY,CACjB,8BAA8B,EAC9B,4FAA4F,EAC5F,2CAA2C,OAAO,CAAC,OAAO,WAAW,KAAK,CAAC,IAAI,oDAAoD,CACpI,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,KAAK,EAAE;QAClD,IAAI;QACJ,QAAQ;QACR,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,kBAAkB,CAAC,EAAE;QACpE,cAAc,EAAE,EAAE;KACnB,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAChE,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrD,8EAA8E;IAC9E,8EAA8E;IAC9E,qDAAqD;IACrD,OAAO,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE;QAC9C,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC,8BAA8B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACjE,MAAM,EAAE,GAAG,EAAE,CAAC;YACZ;gBACE,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,eAAe;gBAC3B,SAAS,EAAE,eAAe;gBAC1B,OAAO,EAAE,GAAG;gBACZ,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB;SACF;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,eAAe,GAAG,YAAY,CAAC;AAErC,qFAAqF;AACrF,KAAK,UAAU,WAAW,CACxB,EAAkB,EAClB,KAAmB,EACnB,OAAe,EACf,KAAqB;IAErB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,IAAI,sBAAsB,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,YAAY,CACjB,uBAAuB,EACvB,eAAe,KAAK,CAAC,OAAO,QAAQ,OAAO,0CAA0C,EACrF,6EAA6E,iBAAiB,CAAC,OAAO,CAAC,uCAAuC,CAC/I,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC;IAClG,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,YAAY,CACjB,uBAAuB,EACvB,kBAAkB,OAAO,2CAA2C,EACpE,KAAK,CAAC,IAAI,KAAK,WAAW;YACxB,CAAC,CAAC,iHAAiH;YACnH,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,0EAA0E,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC;IAC5E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,YAAY,CACjB,0BAA0B,EAC1B,IAAI,KAAK,CAAC,IAAI,yCAAyC,EACvD,iBAAiB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,2BAA2B,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7F,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,YAAY,CACjB,4BAA4B,EAC5B,qBAAqB,IAAI,GAAG,EAC5B,aAAa,IAAI,mBAAmB,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,wBAAwB,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAChE,MAAM,QAAQ,GAAG,YAAY,CAAC;QAC5B,SAAS,EAAE,eAAe;QAC1B,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAC/E,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC/D,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC7B,gBAAgB,EAAE,CAAC,kBAAkB,CAAC;KACvC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,WAAW,CACxB,OAAO,EACP,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EACjC,QAAQ,CAAC,MAAM,CAChB,CAAC;IACF,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI;QACJ,QAAQ;QACR,OAAO,EAAE;YACP,OAAO;YACP,IAAI;YACJ,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAChC,EAAE,EAAE,KAAK,CAAC,EAAE;gBACZ,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;aACnB,CAAC,CAAC;YACH,MAAM;YACN,KAAK;YACL,YAAY,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ;YACvC,MAAM;YACN,IAAI,EAAE,2BAA2B,OAAO,WAAW,KAAK,CAAC,IAAI,eAAe,MAAM,EAAE;SACrF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,OAAe,EAAE,OAA0B,EAAE,QAAgB;IAChF,OAAO,cAAc,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,OAAe,EAAE,MAAc;IACjE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC;AAC3D,CAAC"}

package/dist/application/flow/checkout-observation.js

@@ -10,6 +10,7 @@
  * publish the root where no git port is available; the expensive half lives in
  * {@link observeCheckout}.
  */
+import { isAbsolute, relative } from "node:path";
 import { unitPath, workspaceKey } from "../../domain/isolation-unit.js";
 import { SOURCE_BOUNDED_EVIDENCE } from "../../domain/source-boundary.js";
 import { readWorkspaceBlock } from "../parsers/project-block.js";
@@ -102,6 +103,54 @@ export async function observeCheckout(fs, git, identity) {
         return null;
     }
 }
+/**
+ * The scoped fingerprint of every source a run declared, by alias — what a batch
+ * is compared against to know whether it changed anything of its own.
+ *
+ * Measured over the same roots the proofs are: the documentary root for
+ * `workspace`, this session's unit for every other alias. The CLI's own runtime
+ * folder is left out whether or not `.gitignore` covers it, so writing a
+ * CHECKPOINT, a lock or the run's state never counts as work. `null` is a source
+ * that is not an observable repository at all; a repository git fails to measure
+ * is a refusal instead, because sealing it as unobservable would keep that
+ * source from ever showing a change.
+ */
+export async function observeScopedFingerprints(fs, git, paths, session, sources) {
+    const candidates = await resolveCheckoutCandidates(fs, paths, session);
+    const runtime = paths.cwdRoot();
+    const base = {};
+    for (const source of sources) {
+        const root = candidates.find((candidate) => candidate.source === source)?.root;
+        if (root === undefined || !(await isObservableRepo(fs, git, root))) {
+            base[source] = null;
+            continue;
+        }
+        const inside = relative(root, runtime);
+        const excluded = inside.length > 0 && !inside.startsWith("..") && !isAbsolute(inside) ? [inside] : [];
+        try {
+            base[source] = await git.scopedFingerprint(root, excluded);
+        }
+        catch (error) {
+            return {
+                ok: false,
+                failure: {
+                    code: "WORKLINE_CHECKOUT_UNOBSERVABLE",
+                    message: `no se pudo medir '${source}' en ${root}: ${error instanceof Error ? error.message : String(error)}`,
+                    action: "resolvé lo que git reporta en ese checkout y volvé a correr 'aw flow advance'",
+                },
+            };
+        }
+    }
+    return { ok: true, base };
+}
+async function isObservableRepo(fs, git, root) {
+    try {
+        return (await fs.exists(root)) && (await git.isGitRepo(root));
+    }
+    catch {
+        return false;
+    }
+}
 /**
  * Publish the observed roots on a directive whose evidence demands a proof.
  *

package/dist/application/flow/checkout-observation.js.map

@@ -1 +1 @@
-{"version":3,"file":"checkout-observation.js","sourceRoot":"","sources":["../../../src/application/flow/checkout-observation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAyB,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAGjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAqB,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAsB,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAElF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,EAAkB,EAClB,KAAmB,EACnB,OAAe;IAEf,IAAI,IAAY,CAAC;IACjB,IAAI,KAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,wBAAwB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACjD,KAAK,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,UAAU,GAAuB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;YAC/C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBAClF,2EAA2E;gBAC3E,wEAAwE;gBACxE,2EAA2E;gBAC3E,2DAA2D;gBAC3D,IAAI,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;YACzE,4EAA4E;QAC9E,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,EAAkB,EAClB,GAAY,EACZ,QAA0B;IAE1B,IAAI,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5F,+EAA+E;QAC/E,mEAAmE;QACnE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACvB,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1B,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtC,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC;SACvC,CAAC,CAAC;QACH,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,MAAM,EAAE,cAAc,CAAC;gBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,IAAI;gBACJ,KAAK;gBACL,aAAa,EAAE,OAAO;gBACtB,oBAAoB,EAAE,WAAW;aAClC,CAAC;YACF,YAAY,EAAE,WAAW,KAAK,UAAU;YACxC,8EAA8E;YAC9E,oEAAoE;YACpE,IAAI,EAAE,QAAQ,CAAC,IAAI;SACpB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,SAAwB,EACxB,SAAsC;IAEtC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAAE,OAAO,SAAS,CAAC;IACzE,OAAO,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,EAAkB,EAClB,KAAmB,EACnB,OAAe,EACf,GAAwB,EACxB,SAAwB;IAExB,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5F,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,MAAM,yBAAyB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,MAAM,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AACpD,CAAC"}
+{"version":3,"file":"checkout-observation.js","sourceRoot":"","sources":["../../../src/application/flow/checkout-observation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAGjD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAyB,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAGjG,OAAO,EAAE,kBAAkB,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAqB,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAsB,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAElF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,EAAkB,EAClB,KAAmB,EACnB,OAAe;IAEf,IAAI,IAAY,CAAC;IACjB,IAAI,KAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,wBAAwB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACjD,KAAK,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IACnE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,UAAU,GAAuB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;YAC/C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;gBAClF,2EAA2E;gBAC3E,wEAAwE;gBACxE,2EAA2E;gBAC3E,2DAA2D;gBAC3D,IAAI,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;YACzE,4EAA4E;QAC9E,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,EAAkB,EAClB,GAAY,EACZ,QAA0B;IAE1B,IAAI,CAAC;QACH,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5F,+EAA+E;QAC/E,mEAAmE;QACnE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACxE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACvB,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1B,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC/B,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtC,GAAG,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC;SACvC,CAAC,CAAC;QACH,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,MAAM,EAAE,cAAc,CAAC;gBACrB,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,IAAI;gBACJ,KAAK;gBACL,aAAa,EAAE,OAAO;gBACtB,oBAAoB,EAAE,WAAW;aAClC,CAAC;YACF,YAAY,EAAE,WAAW,KAAK,UAAU;YACxC,8EAA8E;YAC9E,oEAAoE;YACpE,IAAI,EAAE,QAAQ,CAAC,IAAI;SACpB,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,EAAkB,EAClB,GAAY,EACZ,KAAmB,EACnB,OAAe,EACf,OAA0B;IAI1B,MAAM,UAAU,GAAG,MAAM,yBAAyB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAChC,MAAM,IAAI,GAAkC,EAAE,CAAC;IAC/C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC;QAC/E,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;YACnE,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;YACpB,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,QAAQ,GACZ,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,IAAI,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE;oBACP,IAAI,EAAE,gCAAgC;oBACtC,OAAO,EAAE,qBAAqB,MAAM,QAAQ,IAAI,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;oBAC7G,MAAM,EAAE,+EAA+E;iBACxF;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,KAAK,UAAU,gBAAgB,CAAC,EAAkB,EAAE,GAAY,EAAE,IAAY;IAC5E,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACnC,SAAwB,EACxB,SAAsC;IAEtC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,MAAM,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAChE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAAE,OAAO,SAAS,CAAC;IACzE,OAAO,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,EAAkB,EAClB,KAAmB,EACnB,OAAe,EACf,GAAwB,EACxB,SAAwB;IAExB,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC;IAChC,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5F,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,MAAM,yBAAyB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5E,IAAI,CAAC,MAAM,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,qBAAqB,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AACpD,CAAC"}

package/dist/application/flow/close-at-boundary.js

@@ -0,0 +1,144 @@
+/**
+ * Closing a session whose run is still walking: the run ends in a `finalize`
+ * placed at the boundary it stood on (052 AC-13).
+ *
+ * Three steps, each its own call, because the driver never holds the run's lock
+ * across an operation: record the intention under the run lock, close the session
+ * without it, then settle the applied `finalize` under the lock again. A close
+ * that cannot happen takes the intention back, so a refusal leaves nothing half
+ * done.
+ */
+import { occurrenceAt } from "../../domain/flow/authority.js";
+import { applyTransition, iterationOf, withBoundary, withEvent, withPendingAction, withReentry, withoutLastReentry, } from "../../domain/flow/run-state.js";
+import { semanticDigest } from "../semantic-operation/protocol.js";
+import { effectsOfTransition } from "./advance.js";
+import { journeyForRun } from "./run-journey.js";
+import { applyUnderLock, readRun } from "./run-state-service.js";
+const FINALIZE = "chassis.finalize";
+const EVIDENCE = "chassis.sesion-cerrada";
+/** Unreachable while `allowAbsent` is off: the lock refuses a missing run first. */
+const ABSENT = {
+    code: "FLOW_RUN_ABSENT",
+    message: "la sesión no tiene corrida",
+    action: "no hay corrida que cerrar en frontera",
+};
+/** Whether the run stands on a `finalize` — the one a close placed, or its own. */
+function standingOnFinalize(state) {
+    return journeyForRun(state)[state.applied.length]?.id === FINALIZE;
+}
+/** Whether the run stands on the `finalize` a close intention placed. */
+function standingOnClose(state) {
+    return state.reentries?.at(-1)?.kind === "close" && standingOnFinalize(state);
+}
+/** A finished journey or a live handoff: there is nothing left to close at. */
+function finished(state) {
+    const handedOff = state.handoff !== null && state.handoff !== undefined;
+    return handedOff || journeyForRun(state)[state.applied.length] === undefined;
+}
+/**
+ * Step 1: record, under the run lock, the intention to close at the boundary in
+ * force. A run that is finished, handed off or absent is left alone — read first,
+ * without the lock, so a legacy registry that is already over closes as before.
+ * One standing on a `finalize` (its own, or a close's after a failed attempt)
+ * needs no intention: settling applies that very row, so re-running the close is
+ * the retry.
+ */
+export async function markCloseAtBoundary(fs, location) {
+    const read = await readRun(fs, location);
+    if (!read.ok) {
+        return read.failure.code === ABSENT.code
+            ? { kind: "none" }
+            : { kind: "failed", failure: read.failure };
+    }
+    if (finished(read.state))
+        return { kind: "none" };
+    const marked = await applyUnderLock(fs, location, (state) => {
+        if (state === null)
+            return { ok: false, failure: ABSENT };
+        if (finished(state))
+            return { ok: true, state, value: { kind: "none" }, persist: false };
+        if (standingOnFinalize(state)) {
+            const boundary = standingOnClose(state) ? closedAt(state) : FINALIZE;
+            return { ok: true, state, value: { kind: "marked", boundary, wrote: false }, persist: false };
+        }
+        const journey = journeyForRun(state);
+        const position = state.applied.length;
+        const boundary = journey[position]?.id ?? FINALIZE;
+        const closing = withBoundary(withReentry(state, {
+            kind: "close",
+            transition: boundary,
+            occurrence: occurrenceAt(journey, position),
+            from: null,
+        }), FINALIZE);
+        // A close this journey cannot place would report a finalize nobody applied.
+        if (!standingOnClose(closing)) {
+            return { ok: false, failure: unplaceable(boundary, location.session) };
+        }
+        return { ok: true, state: closing, value: { kind: "marked", boundary, wrote: true } };
+    });
+    if (marked.ok)
+        return marked.value;
+    // The run vanished between the read and the lock: there is nothing to close.
+    if (marked.failure.code === ABSENT.code)
+        return { kind: "none" };
+    return { kind: "failed", failure: marked.failure };
+}
+function closedAt(state) {
+    return state.reentries?.at(-1)?.transition ?? FINALIZE;
+}
+function unplaceable(boundary, session) {
+    return {
+        code: "FLOW_CLOSE_UNPLACEABLE",
+        message: `el recorrido de la corrida no puede terminar en '${boundary}'`,
+        action: `avanzá la corrida con 'aw flow advance --session ${session}' y volvé a cerrar`,
+    };
+}
+/** Undo step 1 when the close itself did not happen; a no-op once anything moved. */
+export async function withdrawCloseAtBoundary(fs, location) {
+    const withdrawn = await applyUnderLock(fs, location, (state) => {
+        if (state === null)
+            return { ok: false, failure: ABSENT };
+        if (!standingOnClose(state))
+            return { ok: true, state, value: null, persist: false };
+        const restored = withoutLastReentry(state);
+        const boundary = journeyForRun(restored)[restored.applied.length]?.id ?? null;
+        return { ok: true, state: withBoundary(restored, boundary), value: null };
+    });
+    return withdrawn.ok ? null : withdrawn.failure;
+}
+/**
+ * Step 3: settle the `finalize` the close just performed, under the run lock.
+ * It records what the close really did — the same material trace an internal
+ * `session.close` leaves — and ends the run's journey there. Already settled (a
+ * concurrent advance applied it) is fine; not standing on a finalize is not.
+ */
+export async function settleCloseAtBoundary(fs, location, closed) {
+    const settled = await applyUnderLock(fs, location, (state) => {
+        if (state === null)
+            return { ok: false, failure: ABSENT };
+        const row = journeyForRun(state)[state.applied.length];
+        if (row?.id !== FINALIZE) {
+            if (state.applied.at(-1) === FINALIZE) {
+                return { ok: true, state, value: null, persist: false };
+            }
+            return { ok: false, failure: unplaceable(closedAt(state), location.session) };
+        }
+        const traced = withEvent(withPendingAction(state, null), {
+            kind: "executed",
+            transition: FINALIZE,
+            ...iterationOf(state, FINALIZE),
+            operation: "session.close",
+            summary: `sesión ${closed.folder} cerrada en la frontera '${closedAt(state)}'`,
+            output_digest: semanticDigest({ output: closed }),
+            // What the close really did; the transition applies the row's own effects,
+            // the same ones whichever path closes it.
+            effects: ["local_additive", "mutate_overwrite"],
+            evidence: [EVIDENCE],
+        });
+        const applied = applyTransition(traced, FINALIZE, effectsOfTransition(state, row));
+        const next = journeyForRun(applied)[applied.applied.length]?.id ?? null;
+        return { ok: true, state: withBoundary(applied, next), value: null };
+    });
+    return settled.ok ? null : settled.failure;
+}
+//# sourceMappingURL=close-at-boundary.js.map

package/dist/application/flow/close-at-boundary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"close-at-boundary.js","sourceRoot":"","sources":["../../../src/application/flow/close-at-boundary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,EAEL,eAAe,EACf,WAAW,EACX,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,WAAW,EACX,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAEnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAwB,cAAc,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAEvF,MAAM,QAAQ,GAAG,kBAAkB,CAAC;AACpC,MAAM,QAAQ,GAAG,wBAAwB,CAAC;AAE1C,oFAAoF;AACpF,MAAM,MAAM,GAAsB;IAChC,IAAI,EAAE,iBAAiB;IACvB,OAAO,EAAE,4BAA4B;IACrC,MAAM,EAAE,uCAAuC;CAChD,CAAC;AAYF,mFAAmF;AACnF,SAAS,kBAAkB,CAAC,KAAmB;IAC7C,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,QAAQ,CAAC;AACrE,CAAC;AAED,yEAAyE;AACzE,SAAS,eAAe,CAAC,KAAmB;IAC1C,OAAO,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,+EAA+E;AAC/E,SAAS,QAAQ,CAAC,KAAmB;IACnC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;IACxE,OAAO,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC;AAC/E,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,EAAkB,EAClB,QAAyB;IAEzB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YACtC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;YAClB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC;IACD,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClD,MAAM,MAAM,GAAG,MAAM,cAAc,CAAc,EAAE,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;QACvE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC1D,IAAI,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACzF,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;YACrE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAChG,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,QAAQ,CAAC;QACnD,MAAM,OAAO,GAAG,YAAY,CAC1B,WAAW,CAAC,KAAK,EAAE;YACjB,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,QAAQ;YACpB,UAAU,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC;YAC3C,IAAI,EAAE,IAAI;SACX,CAAC,EACF,QAAQ,CACT,CAAC;QACF,4EAA4E;QAC5E,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;IACxF,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC;IACnC,6EAA6E;IAC7E,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAmB;IACnC,OAAO,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,QAAQ,CAAC;AACzD,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,OAAe;IACpD,OAAO;QACL,IAAI,EAAE,wBAAwB;QAC9B,OAAO,EAAE,oDAAoD,QAAQ,GAAG;QACxE,MAAM,EAAE,oDAAoD,OAAO,oBAAoB;KACxF,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,EAAkB,EAClB,QAAyB;IAEzB,MAAM,SAAS,GAAG,MAAM,cAAc,CAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;QACnE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC1D,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACrF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC;QAC9E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5E,CAAC,CAAC,CAAC;IACH,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC;AACjD,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,EAAkB,EAClB,QAAyB,EACzB,MAA0B;IAE1B,MAAM,OAAO,GAAG,MAAM,cAAc,CAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE;QACjE,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvD,IAAI,GAAG,EAAE,EAAE,KAAK,QAAQ,EAAE,CAAC;YACzB,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACtC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAC1D,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChF,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE;YACvD,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,QAAQ;YACpB,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC;YAC/B,SAAS,EAAE,eAAe;YAC1B,OAAO,EAAE,UAAU,MAAM,CAAC,MAAM,4BAA4B,QAAQ,CAAC,KAAK,CAAC,GAAG;YAC9E,aAAa,EAAE,cAAc,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;YACjD,2EAA2E;YAC3E,0CAA0C;YAC1C,OAAO,EAAE,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;YAC/C,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACnF,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC;QACxE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;AAC7C,CAAC"}