@tacuchi/agent-workflow-cli 21.8.0 → 21.9.0

package/dist/application/retirement/attribution.js

@@ -0,0 +1,395 @@
+/**
+ * Which git effects a retired session may take with it — and which it may not.
+ *
+ * Attribution never reads a commit message, an author or a timestamp. It reads
+ * two things: the session's sealed baseline, and the receipts of what it did. That
+ * is the whole difference between "these changes are probably ours" and "these
+ * changes are ours", and only the second one may be discarded.
+ *
+ * Two shapes of ownership, and the rule follows the shape rather than the other
+ * way round:
+ *
+ * - **An exclusive unit.** The session works in its own worktree on its own
+ *   branch. Everything uncommitted there is its own by construction, and every
+ *   commit its receipts name is too.
+ * - **A shared checkout.** Anything already dirty at baseline belongs to somebody
+ *   else, so only paths that are unambiguously the session's can be dropped — and
+ *   when even one of them is not, the operation refuses rather than picking.
+ *
+ * Everything the reverts need is REHEARSED before anybody is asked: the commit is
+ * built in a temporary detached worktree, so "this would conflict" is an answer the
+ * preview can carry instead of a surprise the apply discovers. And the whole git
+ * side converges on ONE commit point, because two refs cannot be moved as one
+ * operation — a scope that would need two is refused while it is still a proposal.
+ */
+import { join } from "node:path";
+import { attributableCommits } from "../../domain/session/custody.js";
+/**
+ * What one session's git footprint is, per source it recorded.
+ *
+ * A source whose repository cannot be read at all becomes a BLOCK and never an
+ * empty answer: "no changes to discard" and "we could not look" are the same
+ * output only if nobody cares which of the two it was.
+ */
+export async function attributeGitEffects(git, custody, options) {
+    const dirty = [];
+    const reverts = [];
+    const blocks = [];
+    const publications = [];
+    for (const source of custody.sources) {
+        const tree = source.unit_path ?? source.path;
+        // The operation state comes FIRST: a repository in the middle of something has
+        // an index and a HEAD mid-transition, so nothing read from it is a baseline —
+        // including the changes below. Reading them first and then discarding them
+        // would be computing an attribution from a state we already decided not to
+        // trust.
+        const state = await git.operationState(tree);
+        if (state !== "clean") {
+            blocks.push({
+                alias: source.alias,
+                reason: `'${source.alias}' tiene una operación git en curso (${state})`,
+                contested: [],
+                action: `terminá o abortá ese ${state} y reintentá: no se prepara un retiro sobre un índice a medio camino`,
+            });
+            continue;
+        }
+        let changes;
+        try {
+            changes = await git.localChanges(tree);
+        }
+        catch (err) {
+            blocks.push({
+                alias: source.alias,
+                reason: `no se pudo leer el estado de '${tree}': ${message(err)}`,
+                contested: [],
+                action: "verificá que la fuente siga siendo un repositorio legible y reintentá",
+            });
+            continue;
+        }
+        const change = dirtyChangeOf(source, tree, changes, blocks);
+        if (change !== null)
+            dirty.push(change);
+        const commits = attributableCommits(custody, source.alias);
+        if (commits.length === 0)
+            continue;
+        const prepared = await prepareReverts(git, source, tree, custody, commits, options, blocks);
+        if (prepared === null)
+            continue;
+        reverts.push(...prepared.reverts);
+        publications.push(prepared.publication);
+    }
+    // ONE commit point or none. Two refs cannot be swapped as a single operation,
+    // and compensating the second with another commit would change history somebody
+    // can already see — so the topology is refused here, before anything mutates.
+    if (publications.length > 1) {
+        blocks.push({
+            alias: publications.map((p) => p.alias).join(", "),
+            reason: `el alcance tocaría ${publications.length} unidades de publicación Git y no hay un único punto de commit que las cubra`,
+            contested: publications.map((p) => `${p.alias}:${p.ref}`),
+            action: "retirá por separado el trabajo de cada fuente: ampliar esa topología necesita otro contrato, no una limpieza parcial",
+        });
+    }
+    return {
+        dirty,
+        reverts,
+        publication: publications.length === 1 ? publications[0] : null,
+        blocks,
+    };
+}
+/**
+ * The uncommitted delta this session may drop, or a block.
+ *
+ * In an exclusive unit the delta IS the session's — every shape of it: a rename is
+ * two paths and both go, a deletion is restored, an untracked file is removed, a
+ * mode flip and a symlink are changes like any other. In a shared checkout the
+ * paths that were already dirty at baseline are somebody else's, and a path that
+ * carries both authors' work cannot be separated by any per-file decision.
+ */
+function dirtyChangeOf(source, tree, changes, blocks) {
+    if (changes.length === 0)
+        return null;
+    // A rename is two paths in the working tree, and dropping one of them would
+    // leave the other half applied.
+    const paths = [
+        ...new Set(changes.flatMap((c) => (c.from === null ? [c.path] : [c.path, c.from]))),
+    ]
+        .sort()
+        .filter((p) => p.length > 0);
+    if (source.unit_path !== null) {
+        return {
+            alias: source.alias,
+            tree,
+            paths,
+            baseline: source.baseline_head,
+            exclusive_unit: true,
+        };
+    }
+    const contested = paths.filter((path) => source.dirty_paths.includes(path));
+    if (contested.length > 0) {
+        blocks.push({
+            alias: source.alias,
+            reason: `en el checkout compartido de '${source.alias}' hay cambios que ya estaban sin commitear antes de esta sesión`,
+            contested,
+            action: "commiteá o guardá esos cambios ajenos y reintentá: el retiro no descarta un archivo que contiene trabajo de dos",
+        });
+        return null;
+    }
+    return {
+        alias: source.alias,
+        tree,
+        paths,
+        baseline: source.baseline_head,
+        exclusive_unit: false,
+    };
+}
+/**
+ * The reverts for one source, rehearsed, plus the single ref they land on.
+ *
+ * Order is reverse topology and it is material: undoing an ancestor before the
+ * descendant that builds on it conflicts. It comes from `isAncestor` and not from
+ * the order the receipts happen to be in, because a session can commit on top of
+ * work it did not do.
+ */
+async function prepareReverts(git, source, 
+/** The working tree that has the moving ref checked out. */
+tree, custody, commits, options, blocks) {
+    const repo = source.path;
+    const ref = refOf(source);
+    const expectedOld = await git.refValue(repo, ref);
+    if (expectedOld === null) {
+        blocks.push({
+            alias: source.alias,
+            reason: `'${ref}' no existe en ${source.alias}: no hay punto de commit al que aplicar los reverts`,
+            contested: [ref],
+            action: "revisá la rama de la unidad de esta sesión antes de retirar sus commits",
+        });
+        return null;
+    }
+    const ordered = await reverseTopology(git, repo, commits);
+    const external = await externalDescendants(git, repo, ordered, expectedOld);
+    if (external.length > 0) {
+        blocks.push({
+            alias: source.alias,
+            reason: `hay commits que dependen de los de esta sesión y quedan fuera del alcance en ${source.alias}`,
+            contested: external,
+            action: "esos commits no son de esta sesión: revertí o retirá primero ese trabajo, o dejá el alcance como está",
+        });
+        return null;
+    }
+    const rehearsal = await rehearse(git, repo, tree, ref, expectedOld, ordered, custody, source, options);
+    if ("reason" in rehearsal) {
+        blocks.push({ alias: source.alias, ...rehearsal });
+        return null;
+    }
+    return rehearsal;
+}
+/** The ref a session's commits live on: its unit's branch, else the source's. */
+function refOf(source) {
+    return `refs/heads/${source.unit_branch ?? source.branch}`;
+}
+async function reverseTopology(git, repo, commits) {
+    const ordered = [...commits];
+    // A small insertion sort over `isAncestor`: the sets here are a session's own
+    // commits, so this is a handful of comparisons and not a graph walk.
+    const isBefore = new Map();
+    for (const a of ordered) {
+        const set = new Set();
+        for (const b of ordered) {
+            if (a !== b && (await git.isAncestor(repo, a, b)))
+                set.add(b);
+        }
+        isBefore.set(a, set);
+    }
+    // Descendants first: `a` comes before `b` when `b` is an ancestor of `a`.
+    return ordered.sort((a, b) => {
+        if (isBefore.get(b)?.has(a) === true)
+            return -1;
+        if (isBefore.get(a)?.has(b) === true)
+            return 1;
+        return a < b ? -1 : 1;
+    });
+}
+/**
+ * Commits that descend from what we are reverting and are NOT ours.
+ *
+ * Reverting under them is legitimate git — the revert is a new commit on top — but
+ * it silently undoes the ground somebody else's work stands on. So it blocks, and
+ * it names them.
+ */
+async function externalDescendants(git, repo, commits, tip) {
+    const ours = new Set(commits);
+    const found = [];
+    for (const commit of commits) {
+        if (commit === tip || ours.has(tip))
+            continue;
+        // The tip descends from one of ours and is not one of ours: whatever sits
+        // between them belongs to somebody else.
+        if (await git.isAncestor(repo, commit, tip))
+            found.push(tip);
+    }
+    return [...new Set(found)];
+}
+/**
+ * Build the revert commits for real, in a throwaway detached worktree.
+ *
+ * Detached and temporary because a rehearsal must not be able to move a ref or
+ * leave a branch behind, and REAL because a simulation that only guessed whether
+ * the revert applies would be exactly the unverified claim the seal exists to
+ * prevent. What comes back is the tip the commit point will publish and the tree
+ * it must produce.
+ */
+async function rehearse(git, repo, 
+/** Where the moving ref is checked out: the tree the result has to land in. */
+tree, ref, expectedOld, ordered, custody, source, options) {
+    const worktree = join(options.scratchDir, `rehearsal-${options.opId}-${source.alias}`);
+    try {
+        await git.worktreeAddDetached(repo, worktree, expectedOld);
+    }
+    catch (err) {
+        return {
+            reason: `no se pudo preparar un árbol temporal para ensayar los reverts: ${message(err)}`,
+            contested: [],
+            action: "liberá espacio o revisá el repositorio y reintentá; nada se aplicó",
+        };
+    }
+    try {
+        const reverts = [];
+        for (const commit of ordered) {
+            const one = await rehearseOne(git, repo, ref, worktree, commit, custody, source);
+            if ("reason" in one)
+                return one;
+            reverts.push(one.revert);
+        }
+        const preparedTip = await git.refValue(worktree, "HEAD");
+        if (preparedTip === null || reverts.length === 0) {
+            return {
+                reason: `el ensayo de los reverts de ${source.alias} no produjo un commit`,
+                contested: [],
+                action: "revisá los receipts de la sesión: sin un tip preparado no hay punto de commit",
+            };
+        }
+        // THE precondition the probe found: the compare-and-swap moves the ref and not
+        // the working tree, so if syncing that tree can refuse, it has to refuse now.
+        // After the swap there is no way back that is not a rewrite.
+        //
+        // Asked against the tree that HAS the moving ref checked out — which for a
+        // session with its own unit is the unit, not the source's main checkout. Asking
+        // the wrong tree is the same as not asking: the main checkout sits on another
+        // branch and would answer yes to a question about somebody else's tree.
+        const syncable = await git.canSyncTree(tree, preparedTip);
+        if (!syncable.ok) {
+            return {
+                reason: `el árbol de trabajo de ${source.alias} no se puede llevar al resultado sin pisar cambios locales`,
+                contested: [],
+                action: "commiteá o guardá esos cambios y reintentá: la sincronización se comprueba antes del punto de commit, nunca después",
+            };
+        }
+        // The half the dry run cannot see: a path the result would CREATE where an
+        // untracked file already sits. `read-tree -n` has no working tree to look at,
+        // and the version that does (`-u`) would be performing the switch — which
+        // after the commit point is exactly the partial success this precondition
+        // exists to prevent.
+        const collisions = await untrackedCollisions(git, tree, preparedTip);
+        if (collisions.length > 0) {
+            return {
+                reason: `en ${source.alias} hay archivos sin trackear donde el resultado crearía los suyos`,
+                contested: collisions,
+                action: "movelos, borralos o commitealos y reintentá: el retiro no sobrescribe un archivo que nadie versionó",
+            };
+        }
+        const expectedTree = await git.treeOf(worktree, preparedTip);
+        if (expectedTree === null) {
+            return {
+                reason: `no se pudo leer el árbol resultante del ensayo en ${source.alias}`,
+                contested: [],
+                action: "revisá el repositorio y volvé a preparar; nada se aplicó",
+            };
+        }
+        return {
+            reverts,
+            publication: {
+                alias: source.alias,
+                repo,
+                ref,
+                expected_old: expectedOld,
+                expected_tree: expectedTree,
+                revert_count: reverts.length,
+            },
+        };
+    }
+    finally {
+        // The rehearsal leaves nothing behind, whichever way it went. Its commits stay
+        // reachable through the private ref the coordinator sets, never through a tree.
+        try {
+            await git.worktreeRemove(repo, worktree);
+        }
+        catch {
+            // Best-effort: a tree that cannot be removed is reported by `worktree list`
+            // as an orphan, which is a visible state and not a silent one.
+        }
+    }
+}
+/**
+ * One commit's revert, rehearsed and committed in the temporary tree.
+ *
+ * Two ways it can refuse and they mean different things: a conflict is work that
+ * cannot be undone cleanly, and an EMPTY result means the commit's effect is not
+ * in this branch at all — a receipt pointing at an abandoned side branch. Both
+ * stop the operation, and saying which one it was is what makes the refusal
+ * actionable.
+ */
+async function rehearseOne(git, repo, ref, worktree, commit, custody, source) {
+    const receipt = receiptFor(custody, source.alias, commit);
+    const parents = receipt?.parents ?? [];
+    // A merge needs its mainline, and the recorded parents are what name it: the
+    // first parent is the side the branch was on, so that is the one kept.
+    const mainline = parents.length > 1 ? 1 : null;
+    const attempt = await git.rehearseRevert(worktree, commit, mainline);
+    if (!attempt.ok) {
+        return {
+            reason: `el revert de ${commit.slice(0, 12)} no aplica limpio en ${source.alias}`,
+            contested: attempt.conflicted.length > 0 ? attempt.conflicted : [commit],
+            action: "resolvé ese conflicto por fuera o dejá el alcance como está: el retiro no commitea un revert en conflicto",
+        };
+    }
+    try {
+        await git.commitIn(worktree, `revert ${commit.slice(0, 12)} (aw retiro)`);
+    }
+    catch {
+        return {
+            reason: `el revert de ${commit.slice(0, 12)} no aplica limpio en ${source.alias}: su efecto no está en ${ref}`,
+            contested: [commit],
+            action: "el receipt apunta a una rama que ya no contiene ese commit: no commitea un revert en conflicto ni uno vacío; revisá la unidad de esa sesión",
+        };
+    }
+    const refs = await git.refsContaining(repo, commit);
+    return {
+        revert: {
+            alias: source.alias,
+            commit,
+            parents,
+            ref,
+            // Published means "some remote already has it": the revert stays a new local
+            // commit either way, and the result declares the push as somebody else's step.
+            published: refs.some((name) => name.startsWith("refs/remotes/")),
+            mainline,
+        },
+    };
+}
+/** Untracked paths the result's tree would overwrite. Empty is the normal case. */
+async function untrackedCollisions(git, tree, preparedTip) {
+    const untracked = (await git.localChanges(tree)).filter((c) => c.untracked).map((c) => c.path);
+    if (untracked.length === 0)
+        return [];
+    const inResult = new Set(await git.treePaths(tree, preparedTip));
+    return untracked.filter((path) => inResult.has(path)).sort();
+}
+function receiptFor(custody, alias, commit) {
+    return custody.effects.find((e) => e.alias === alias &&
+        e.after === commit &&
+        (e.kind === "commit" || e.kind === "unit_integrated"));
+}
+function message(err) {
+    return err instanceof Error ? err.message : String(err);
+}
+//# sourceMappingURL=attribution.js.map

package/dist/application/retirement/attribution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attribution.js","sourceRoot":"","sources":["../../../src/application/retirement/attribution.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAOjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AA4BtE;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,GAAY,EACZ,OAAuB,EACvB,OAA2B;IAE3B,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,MAAM,YAAY,GAA4B,EAAE,CAAC;IAEjD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC;QAE7C,+EAA+E;QAC/E,8EAA8E;QAC9E,2EAA2E;QAC3E,2EAA2E;QAC3E,SAAS;QACT,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,IAAI,MAAM,CAAC,KAAK,uCAAuC,KAAK,GAAG;gBACvE,SAAS,EAAE,EAAE;gBACb,MAAM,EAAE,wBAAwB,KAAK,sEAAsE;aAC5G,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,OAAsB,CAAC;QAC3B,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,MAAM,EAAE,iCAAiC,IAAI,MAAM,OAAO,CAAC,GAAG,CAAC,EAAE;gBACjE,SAAS,EAAE,EAAE;gBACb,MAAM,EAAE,uEAAuE;aAChF,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAExC,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,MAAM,QAAQ,GAAG,MAAM,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC5F,IAAI,QAAQ,KAAK,IAAI;YAAE,SAAS;QAChC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QAClC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC;IAED,8EAA8E;IAC9E,gFAAgF;IAChF,8EAA8E;IAC9E,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAClD,MAAM,EAAE,sBAAsB,YAAY,CAAC,MAAM,8EAA8E;YAC/H,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;YACzD,MAAM,EACJ,sHAAsH;SACzH,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,KAAK;QACL,OAAO;QACP,WAAW,EAAE,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAE,YAAY,CAAC,CAAC,CAA2B,CAAC,CAAC,CAAC,IAAI;QAC1F,MAAM;KACP,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa,CACpB,MAAqB,EACrB,IAAY,EACZ,OAA+B,EAC/B,MAA0B;IAE1B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,4EAA4E;IAC5E,gCAAgC;IAChC,MAAM,KAAK,GAAG;QACZ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KACpF;SACE,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAE/B,IAAI,MAAM,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC9B,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,IAAI;YACJ,KAAK;YACL,QAAQ,EAAE,MAAM,CAAC,aAAa;YAC9B,cAAc,EAAE,IAAI;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5E,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,iCAAiC,MAAM,CAAC,KAAK,iEAAiE;YACtH,SAAS;YACT,MAAM,EACJ,iHAAiH;SACpH,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,IAAI;QACJ,KAAK;QACL,QAAQ,EAAE,MAAM,CAAC,aAAa;QAC9B,cAAc,EAAE,KAAK;KACtB,CAAC;AACJ,CAAC;AAOD;;;;;;;GAOG;AACH,KAAK,UAAU,cAAc,CAC3B,GAAY,EACZ,MAAqB;AACrB,4DAA4D;AAC5D,IAAY,EACZ,OAAuB,EACvB,OAA0B,EAC1B,OAA2B,EAC3B,MAA0B;IAE1B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,IAAI,GAAG,kBAAkB,MAAM,CAAC,KAAK,qDAAqD;YAClG,SAAS,EAAE,CAAC,GAAG,CAAC;YAChB,MAAM,EAAE,yEAAyE;SAClF,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IAC5E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC;YACV,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM,EAAE,gFAAgF,MAAM,CAAC,KAAK,EAAE;YACtG,SAAS,EAAE,QAAQ;YACnB,MAAM,EACJ,uGAAuG;SAC1G,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,QAAQ,CAC9B,GAAG,EACH,IAAI,EACJ,IAAI,EACJ,GAAG,EACH,WAAW,EACX,OAAO,EACP,OAAO,EACP,MAAM,EACN,OAAO,CACR,CAAC;IACF,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iFAAiF;AACjF,SAAS,KAAK,CAAC,MAAqB;IAClC,OAAO,cAAc,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;AAC7D,CAAC;AAED,KAAK,UAAU,eAAe,CAC5B,GAAY,EACZ,IAAY,EACZ,OAA0B;IAE1B,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC7B,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,0EAA0E;IAC1E,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC3B,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,mBAAmB,CAChC,GAAY,EACZ,IAAY,EACZ,OAA0B,EAC1B,GAAW;IAEX,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9C,0EAA0E;QAC1E,yCAAyC;QACzC,IAAI,MAAM,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7B,CAAC;AAID;;;;;;;;GAQG;AACH,KAAK,UAAU,QAAQ,CACrB,GAAY,EACZ,IAAY;AACZ,+EAA+E;AAC/E,IAAY,EACZ,GAAW,EACX,WAAmB,EACnB,OAA0B,EAC1B,OAAuB,EACvB,MAAqB,EACrB,OAA2B;IAE3B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IACvF,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,mEAAmE,OAAO,CAAC,GAAG,CAAC,EAAE;YACzF,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,oEAAoE;SAC7E,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,MAAM,OAAO,GAAuB,EAAE,CAAC;QACvC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YACjF,IAAI,QAAQ,IAAI,GAAG;gBAAE,OAAO,GAAG,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC3B,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACzD,IAAI,WAAW,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,OAAO;gBACL,MAAM,EAAE,+BAA+B,MAAM,CAAC,KAAK,uBAAuB;gBAC1E,SAAS,EAAE,EAAE;gBACb,MAAM,EAAE,+EAA+E;aACxF,CAAC;QACJ,CAAC;QAED,+EAA+E;QAC/E,8EAA8E;QAC9E,6DAA6D;QAC7D,EAAE;QACF,2EAA2E;QAC3E,gFAAgF;QAChF,8EAA8E;QAC9E,wEAAwE;QACxE,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,0BAA0B,MAAM,CAAC,KAAK,4DAA4D;gBAC1G,SAAS,EAAE,EAAE;gBACb,MAAM,EACJ,qHAAqH;aACxH,CAAC;QACJ,CAAC;QACD,2EAA2E;QAC3E,8EAA8E;QAC9E,0EAA0E;QAC1E,0EAA0E;QAC1E,qBAAqB;QACrB,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,MAAM,EAAE,MAAM,MAAM,CAAC,KAAK,iEAAiE;gBAC3F,SAAS,EAAE,UAAU;gBACrB,MAAM,EACJ,qGAAqG;aACxG,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC7D,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,OAAO;gBACL,MAAM,EAAE,qDAAqD,MAAM,CAAC,KAAK,EAAE;gBAC3E,SAAS,EAAE,EAAE;gBACb,MAAM,EAAE,0DAA0D;aACnE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,OAAO;YACP,WAAW,EAAE;gBACX,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,IAAI;gBACJ,GAAG;gBACH,YAAY,EAAE,WAAW;gBACzB,aAAa,EAAE,YAAY;gBAC3B,YAAY,EAAE,OAAO,CAAC,MAAM;aAC7B;SACF,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,+EAA+E;QAC/E,gFAAgF;QAChF,IAAI,CAAC;YACH,MAAM,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;QAAC,MAAM,CAAC;YACP,4EAA4E;YAC5E,+DAA+D;QACjE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,KAAK,UAAU,WAAW,CACxB,GAAY,EACZ,IAAY,EACZ,GAAW,EACX,QAAgB,EAChB,MAAc,EACd,OAAuB,EACvB,MAAqB;IAErB,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC;IACvC,6EAA6E;IAC7E,uEAAuE;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,gBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,MAAM,CAAC,KAAK,EAAE;YACjF,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxE,MAAM,EACJ,2GAA2G;SAC9G,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO;YACL,MAAM,EAAE,gBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,wBAAwB,MAAM,CAAC,KAAK,0BAA0B,GAAG,EAAE;YAC9G,SAAS,EAAE,CAAC,MAAM,CAAC;YACnB,MAAM,EACJ,6IAA6I;SAChJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpD,OAAO;QACL,MAAM,EAAE;YACN,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,MAAM;YACN,OAAO;YACP,GAAG;YACH,6EAA6E;YAC7E,+EAA+E;YAC/E,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YAChE,QAAQ;SACT;KACF,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,KAAK,UAAU,mBAAmB,CAChC,GAAY,EACZ,IAAY,EACZ,WAAmB;IAEnB,MAAM,SAAS,GAAG,CAAC,MAAM,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IACjE,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,UAAU,CAAC,OAAuB,EAAE,KAAa,EAAE,MAAc;IACxE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,KAAK;QACjB,CAAC,CAAC,KAAK,KAAK,MAAM;QAClB,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CACxD,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,GAAY;IAC3B,OAAO,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC"}

package/dist/application/retirement/graph.js

@@ -0,0 +1,196 @@
+/**
+ * The provenance and ownership graph a retirement reads before it deletes
+ * anything.
+ *
+ * Three readings feed it and each one carries its own strength, which is the
+ * whole point of building a graph rather than a list: a plan's `Derived from`
+ * line and a session's sealed custody are PROVABLE, while a session's free-text
+ * `## Origin` is a hint. A closure computed over hints would delete work whose
+ * ownership nobody can demonstrate, so the hint is recorded as such and it is what
+ * makes the operation refuse instead of guessing.
+ *
+ * Nothing here decides anything. It answers "who descends from whom, and how do
+ * we know" — the resolver is what turns that into a closure, and the two are kept
+ * apart so the evidence can be inspected on its own.
+ */
+import { join, relative } from "node:path";
+import { custodyCompleteness } from "../../domain/session/custody.js";
+import { formatNodeId, isProvable, nodeFromDocPath, } from "../../domain/workline-node.js";
+import { locateRun, readRun } from "../flow/run-state-service.js";
+import { readCustody } from "../session-custody-service.js";
+import { buildWorklineIndex, } from "../workline-index-service.js";
+export class RetirementGraph {
+    nodes = new Map();
+    edges = [];
+    add(node) {
+        this.nodes.set(formatNodeId(node.id), node);
+    }
+    addEdge(from, to, evidence) {
+        this.edges.push({ from, to, evidence });
+    }
+    get(id) {
+        return this.nodes.get(formatNodeId(id));
+    }
+    all() {
+        return [...this.nodes.values()];
+    }
+    /** Nodes that declare `id` as a parent, whatever the evidence. */
+    childrenOf(id) {
+        const key = formatNodeId(id);
+        return this.edges.filter((e) => formatNodeId(e.to) === key);
+    }
+    /** What `id` declares it descends from. */
+    parentsOf(id) {
+        const key = formatNodeId(id);
+        return this.edges.filter((e) => formatNodeId(e.from) === key);
+    }
+    /** Every session whose custody or origin points at this node. */
+    sessionsOf(id) {
+        return this.childrenOf(id)
+            .map((e) => this.get(e.from))
+            .filter((n) => n !== undefined && n.kind === "session");
+    }
+    /** Edges nobody can prove — the ones a destructive closure must refuse. */
+    unprovableInto(id) {
+        return this.childrenOf(id).filter((e) => !isProvable(e.evidence));
+    }
+}
+export async function buildRetirementGraph(deps) {
+    const index = await buildWorklineIndex(deps.fs, deps.env, deps.paths, {
+        ...(deps.git !== undefined ? { git: deps.git } : {}),
+    });
+    const graph = new RetirementGraph();
+    const root = deps.paths.workspaceDir();
+    for (const spec of index.specs)
+        addDoc(graph, root, "spec", spec);
+    for (const plan of index.plans)
+        addDoc(graph, root, "plan", plan);
+    for (const plan of index.plans) {
+        // The plan's own `Derived from` line, resolved against the real inventory.
+        // `ambiguous` and `unknown` contribute NO edge: an unproven provenance must
+        // not become a deletion path.
+        if (plan.spec.status !== "resolved")
+            continue;
+        graph.addEdge({ kind: "plan", key: plan.number }, { kind: "spec", key: plan.spec.number }, "derived-from");
+    }
+    for (const session of index.sessions) {
+        const node = await sessionNode(deps, root, session);
+        graph.add(node);
+        linkSession(graph, node, session);
+    }
+    return { graph, index };
+}
+function addDoc(graph, root, kind, doc) {
+    graph.add({
+        id: { kind, key: doc.number },
+        kind,
+        path: doc.file,
+        absolute_path: join(root, doc.file),
+        session: null,
+    });
+}
+/**
+ * A session's edges: its custody first, and the prose only when custody has
+ * nothing to say.
+ *
+ * The order matters and the fallback is deliberately weaker. A session sealed
+ * with typed parents states its provenance; one that only mentions a document in
+ * `## Origin` merely mentions it, and recording that as `origin-prose` is what
+ * lets the closure stop rather than treat the two as equivalent.
+ */
+function linkSession(graph, node, session) {
+    const custody = node.session?.custody ?? null;
+    if (custody !== null && custody.parents.length > 0) {
+        for (const parent of custody.parents)
+            graph.addEdge(node.id, parent, "custody");
+        return;
+    }
+    if (session.linked_doc === null)
+        return;
+    const linked = nodeFromDocPath(session.linked_doc);
+    if (linked !== null)
+        graph.addEdge(node.id, linked, "origin-prose");
+}
+async function sessionNode(deps, root, session) {
+    const read = await readCustody(deps.fs, session.path);
+    const facts = {
+        folder: session.folder,
+        state: session.state,
+        type: session.type,
+        completion: await completionOf(deps, session, read),
+        custody: read.status === "present" ? read.custody : null,
+        custody_gap: custodyGap(read),
+        units: session.units,
+    };
+    return {
+        id: { kind: "session", key: session.folder },
+        kind: "session",
+        path: relative(root, session.path).split("\\").join("/"),
+        absolute_path: session.path,
+        session: facts,
+    };
+}
+function custodyGap(read) {
+    if (read.status === "absent") {
+        return "la sesión no tiene custodia: nació antes de que existiera el registro";
+    }
+    if (read.status === "unreadable")
+        return read.reason;
+    const verdict = custodyCompleteness(read.custody);
+    if (verdict.complete)
+        return null;
+    return verdict.gaps.map((g) => `${g.what}: ${g.why}`).join("; ");
+}
+/**
+ * Whether a session converged, from the only two things that can say so.
+ *
+ * The run state is the direct answer: a journey with no boundary pending has
+ * nothing left to do. The artifact is the indirect one, and it is needed because a
+ * session may have run without a flow: a plan that reads `done` was carried to its
+ * end by SOMETHING, and treating the session that did it as resettable would undo
+ * delivered work. `.closed` is deliberately NOT consulted — a session closed with
+ * work pending is exactly the case reset exists for.
+ */
+async function completionOf(deps, session, read) {
+    const run = await readRun(deps.fs, locateRun(deps.paths, session.folder));
+    if (run.ok)
+        return run.state.boundary === null ? "converged" : "incomplete";
+    if (read.status !== "present")
+        return "unknown";
+    return (await artifactConverged(deps, read.custody)) ? "converged" : "incomplete";
+}
+/**
+ * Whether the document this session was working on already reached its end.
+ *
+ * Read from the document itself rather than from the board's summary, because
+ * this is the guard that decides a destructive question and it should not depend
+ * on a projection that may have been built for another purpose.
+ */
+async function artifactConverged(deps, custody) {
+    for (const parent of custody.parents) {
+        const path = docPathOf(deps, custody, parent);
+        if (path === null)
+            continue;
+        let text;
+        try {
+            text = await deps.fs.readText(path);
+        }
+        catch {
+            continue;
+        }
+        if (parent.kind === "plan" && /^>\s*Estado:\s*done\s*$/m.test(text))
+            return true;
+        if (parent.kind === "spec" && /^status:\s*ready-for-plan\s*$/m.test(text))
+            return true;
+    }
+    return false;
+}
+/** The absolute path of a parent document, as the custody itself recorded it. */
+function docPathOf(deps, custody, parent) {
+    const artifact = custody.artifacts.find((a) => {
+        const node = nodeFromDocPath(a.path);
+        return node !== null && node.kind === parent.kind && node.key === parent.key;
+    });
+    return artifact === undefined ? null : join(deps.paths.workspaceDir(), artifact.path);
+}
+//# sourceMappingURL=graph.js.map

package/dist/application/retirement/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../../src/application/retirement/graph.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAKL,YAAY,EACZ,UAAU,EACV,eAAe,GAChB,MAAM,+BAA+B,CAAC;AAIvC,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAElE,OAAO,EAAoB,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAKL,kBAAkB,GACnB,MAAM,8BAA8B,CAAC;AAiCtC,MAAM,OAAO,eAAe;IACT,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,KAAK,GAAmB,EAAE,CAAC;IAEpC,GAAG,CAAC,IAAe;QACjB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,CAAC,IAAoB,EAAE,EAAkB,EAAE,QAAsB;QACtE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,GAAG,CAAC,EAAkB;QACpB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,GAAG;QACD,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAClC,CAAC;IAED,kEAAkE;IAClE,UAAU,CAAC,EAAkB;QAC3B,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;IAC9D,CAAC;IAED,2CAA2C;IAC3C,SAAS,CAAC,EAAkB;QAC1B,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IAChE,CAAC;IAED,iEAAiE;IACjE,UAAU,CAAC,EAAkB;QAC3B,OAAO,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;aACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC5E,CAAC;IAED,2EAA2E;IAC3E,cAAc,CAAC,EAAkB;QAC/B,OAAO,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpE,CAAC;CACF;AAcD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,IAAe;IACxD,MAAM,KAAK,GAAG,MAAM,kBAAkB,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE;QACpE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrD,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,eAAe,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,2EAA2E;QAC3E,4EAA4E;QAC5E,8BAA8B;QAC9B,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAC9C,KAAK,CAAC,OAAO,CACX,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,EAClC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EACvC,cAAc,CACf,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACpD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED,SAAS,MAAM,CACb,KAAsB,EACtB,IAAY,EACZ,IAAqB,EACrB,GAA8B;IAE9B,KAAK,CAAC,GAAG,CAAC;QACR,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE;QAC7B,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,aAAa,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;QACnC,OAAO,EAAE,IAAI;KACd,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,KAAsB,EAAE,IAAe,EAAE,OAAuB;IACnF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;IAC9C,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO;YAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QAChF,OAAO;IACT,CAAC;IACD,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO;IACxC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,IAAI;QAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;AACtE,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,IAAe,EACf,IAAY,EACZ,OAAuB;IAEvB,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,KAAK,GAAqB;QAC9B,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,UAAU,EAAE,MAAM,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC;QACnD,OAAO,EAAE,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QACxD,WAAW,EAAE,UAAU,CAAC,IAAI,CAAC;QAC7B,KAAK,EAAE,OAAO,CAAC,KAAK;KACrB,CAAC;IACF,OAAO;QACL,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;QAC5C,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACxD,aAAa,EAAE,OAAO,CAAC,IAAI;QAC3B,OAAO,EAAE,KAAK;KACf,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAiB;IACnC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,uEAAuE,CAAC;IACjF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IACrD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClC,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,YAAY,CACzB,IAAe,EACf,OAAuB,EACvB,IAAiB;IAEjB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1E,IAAI,GAAG,CAAC,EAAE;QAAE,OAAO,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;IAC5E,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,CAAC,MAAM,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;AACpF,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,iBAAiB,CAAC,IAAe,EAAE,OAAuB;IACvE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,IAAI;YAAE,SAAS;QAC5B,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACjF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACzF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,SAAS,SAAS,CAChB,IAAe,EACf,OAAuB,EACvB,MAAsB;IAEtB,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;QAC5C,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,MAAM,CAAC,GAAG,CAAC;IAC/E,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;AACxF,CAAC"}