@tacuchi/agent-workflow-cli 25.1.2 → 25.3.0

package/dist/application/settle-service.js

@@ -0,0 +1,442 @@
+/**
+ * `aw settle`: saldar las obligaciones de un plan que ya no tiene recorrido abierto.
+ *
+ * The closure of a `plan-exec` run settles its own obligations, and that is the
+ * ordinary path. This is the other half: a plan blocked TODAY, in a workspace
+ * where the run that created the obligation closed months ago. Before this, the
+ * only way out was writing `docs/decisions/` by hand — the exact surgery the
+ * scaffolding exists to make unnecessary.
+ *
+ * CROSS-CUTTING, like `reseal` and the retirement pair: it opens no flow and
+ * creates no session. And it has `reseal`'s two steps for `reseal`'s reason —
+ * a person ASSERTS something between them: that the compensatory work was done,
+ * or that it was somebody else's all along. `prepare` shows what each settlement
+ * would publish and the digest that authorizes it; `apply` re-derives everything
+ * from the live workspace, demands that digest back, and publishes under the
+ * lock. Two steps, and never one more: `list` is the same reading without a seal.
+ *
+ * What it never does is compete with a run. A `plan-exec` run holding this plan
+ * owns its closure, and settling underneath it would publish a note the run's
+ * own boundary is about to derive. So the command refuses and names the run.
+ */
+import { basename, join } from "node:path";
+import { composeEffectiveContract } from "../domain/effective-contract.js";
+import { specBaselineDigest } from "../domain/lineage.js";
+import { reconciliationOf } from "../domain/reconciliation.js";
+import { deriveSettlementNote } from "../domain/settlement.js";
+import { noteIndexPath, readNoteIndex } from "./decision-note-service.js";
+import { DEFAULT_DOCS_CANON, resolveCoreDocsCanon } from "./docs-canon-service.js";
+import { functionalSpecDigest } from "./parsers/spec-functional.js";
+import { parseDerivedFromPath, parseSpecCriteria, parseSpecRelation, } from "./parsers/spec-relation.js";
+import { resolveWorkspaceRoot } from "./paths-service.js";
+import { currentResumePoint } from "./plan-current-point.js";
+import { settlePlanExecObligations } from "./plan-exec-decision-service.js";
+import { locatePlanDocument } from "./plan-locator.js";
+import { holdingRunOf, readHoldingRuns } from "./plan-open-run.js";
+import { semanticDigest } from "./semantic-operation/protocol.js";
+function fail(code, message, action) {
+    return { status: "failed", failure: { code, message, action } };
+}
+/**
+ * What a plan still owes, read and reported without writing anything.
+ *
+ * Read-only so it is safe to run on the wrong plan — which is what somebody
+ * about to assert "this work was done" needs. It is also the first half of both
+ * other verbs: the listing a person reads, the successors they approve and the
+ * notes `apply` publishes are three views of ONE derivation.
+ */
+export async function listSettle(fs, env, paths, target) {
+    const read = await readLineage(fs, env, paths, target);
+    if ("failure" in read)
+        return read;
+    return { status: "listed", listing: read.listing };
+}
+/**
+ * Derive every successor and seal what approving them authorizes.
+ *
+ * With no declarations it is `list` with another name, and that is deliberate:
+ * the first thing anybody does is look, and making them approve a seal in order
+ * to see what they owe would be a confirmation over nothing.
+ */
+export async function prepareSettle(fs, env, paths, target, declarations) {
+    const read = await readLineage(fs, env, paths, target);
+    if ("failure" in read)
+        return read;
+    const { listing, chain, baseline, planText } = read;
+    // La misma lectura que el tablero proyecta: si dos superficies contestaran por
+    // su cuenta «hay una corrida sobre este plan», una de las dos se equivocaría.
+    const open = holdingRunOf(await readHoldingRuns(fs, paths), listing.plan);
+    if (open !== null) {
+        return fail("SETTLE_RUN_OPEN", `la sesión ${open.session} ${open.why}`, `seguí esa corrida con '${open.command}'; 'aw settle' es la salida cuando NO hay recorrido abierto`);
+    }
+    const declared = parseDeclarations(declarations, listing);
+    if ("failure" in declared)
+        return declared;
+    // With nothing declared this IS `list`, whatever the plan owes: making
+    // somebody approve a seal in order to see what they owe would be a
+    // confirmation over nothing, and failing when they owe nothing would make the
+    // two verbs disagree about the same plan.
+    if (declared.value.length === 0)
+        return { status: "listed", listing };
+    const planned = plannedFor(chain, declared.value, listing);
+    if ("failure" in planned)
+        return planned;
+    // The seal covers WHAT WAS SHOWN and the bytes it was read from: the plan, the
+    // chain and every successor. Any of the three moving makes the approval stop
+    // fitting, which is what keeps a `plan-exec` publication in flight from being
+    // overwritten by a yes given over an older reading.
+    const sealed = semanticDigest({
+        operation: "settle.obligations",
+        plan: listing.plan,
+        plan_digest: specBaselineDigest(planText),
+        spec_digest: baseline.digest,
+        chain: chain.map((note) => note.digest),
+        planned: planned.value,
+    });
+    return {
+        status: "prepared",
+        listing,
+        planned: planned.value,
+        digest: sealed,
+        next: applyCommand(listing.plan, declarations, sealed),
+    };
+}
+/**
+ * Publish exactly what was previewed, or nothing at all.
+ *
+ * The preparation runs AGAIN from the live workspace and the approval is
+ * compared against what THAT produces — never against the digest a preview
+ * handed back, which may describe a workspace that no longer exists. What
+ * publishes is `settlePlanExecObligations`, the same path the closure of a run
+ * takes, so the two cannot disagree about what a settlement writes.
+ */
+export async function applySettle(fs, env, paths, input) {
+    const prepared = await prepareSettle(fs, env, paths, input.target, input.declarations);
+    if (prepared.status === "failed")
+        return prepared;
+    if (prepared.status === "listed") {
+        return fail("SETTLE_DECLARATION_INVALID", "no se declaró ningún saldo: no hay nada que aplicar", `corré 'aw settle prepare ${prepared.listing.plan}' con --settle, --handoff o --pending y aprobá el digest que muestra`);
+    }
+    if (input.approval.trim() !== prepared.digest) {
+        return fail("SETTLE_APPROVAL_MISMATCH", "lo aprobado no es lo que se publicaría: el plan, su spec o su cadena cambiaron desde la vista previa", `volvé a correr 'aw settle prepare ${prepared.listing.plan}' con las mismas declaraciones, leé la vista previa vigente y aprobá ese digest`);
+    }
+    const root = await resolveWorkspaceRoot(fs, env, paths);
+    const declared = parseDeclarations(input.declarations, prepared.listing);
+    if ("failure" in declared)
+        return declared;
+    const settled = await settlePlanExecObligations(fs, paths, {
+        root,
+        // No run acts here, so each successor records the lineage of the note it
+        // supersedes: a real session and a real phase, never a placeholder and never
+        // another carrier's.
+        execution: (carrier) => ({
+            session: carrier.lineage.execution.session,
+            phase: carrier.lineage.execution.phase,
+        }),
+        plan: prepared.listing.plan,
+        date: new Date().toISOString().slice(0, 10),
+        declarations: declared.value,
+    });
+    if (!settled.ok) {
+        return {
+            status: "failed",
+            failure: {
+                code: settled.failure.code,
+                message: settled.failure.message,
+                action: settled.failure.action,
+            },
+        };
+    }
+    return {
+        status: "applied",
+        listing: prepared.listing,
+        published: settled.published.map((note) => note.id),
+        settled: settled.settled,
+        reconciliation: settled.reconciliation,
+    };
+}
+async function readLineage(fs, env, paths, target) {
+    const root = await resolveWorkspaceRoot(fs, env, paths);
+    const canon = await resolveCoreDocsCanon(fs, paths);
+    if (!canon.ok) {
+        return fail("SETTLE_DOCS_CANON_INVALID", `no se puede ubicar el plan: ${canon.error}`, "corregí [docs] para conservar el layout canónico y volvé a leer las obligaciones");
+    }
+    const located = await locatePlanDocument(fs, root, canon.canon.plan, target, {
+        outside: "un saldo se lee y se publica sobre un plan, y sobre nada más",
+        ambiguous: "pasá la ruta exacta del plan cuyas obligaciones querés saldar",
+    });
+    if (!located.ok) {
+        const code = located.reason === "absent"
+            ? "SETTLE_PLAN_ABSENT"
+            : located.reason === "ambiguous"
+                ? "SETTLE_TARGET_AMBIGUOUS"
+                : "SETTLE_TARGET_INVALID";
+        return fail(code, located.message, located.action);
+    }
+    const planPath = located.path;
+    const documents = await readDocuments(fs, root, planPath, canon.canon.plan);
+    if ("failure" in documents)
+        return documents;
+    const { planText, specPath, specText, relation } = documents;
+    const slug = specSlug(specPath, relation.number);
+    if (slug === null) {
+        // Degrading to an index path that cannot exist would answer "this plan owes
+        // nothing" — a clean bill of health on the exact question the command
+        // answers — over a chain that is sitting right there under another name.
+        return fail("SETTLE_PLAN_LINEAGE_UNDECLARED", `'${specPath}' no expone el slug de la spec: no se puede ubicar su cadena de decisiones`, "normalizá el nombre de la spec a 'NNN-spec-<slug>.md' y volvé a leer las obligaciones");
+    }
+    const baseline = {
+        path: specPath,
+        number: relation.number,
+        digest: functionalSpecDigest(specText),
+        legacy_digest: specBaselineDigest(specText),
+        criteria: parseSpecCriteria(specText, relation.number),
+    };
+    const chain = await readNoteIndex(fs, root, noteIndexPath(DEFAULT_DOCS_CANON.decision, relation.number, slug), { path: specPath, number: relation.number });
+    if (!chain.ok)
+        return verbatim(chain.failures[0], "la cadena de decisiones no se puede leer");
+    const composed = composeEffectiveContract(baseline, chain.read.index.notes);
+    if (composed.status === "blocked") {
+        return verbatim(composed.failures[0], "el contrato efectivo no compone");
+    }
+    const reading = reconciliationOf(composed.contract, chain.read.index.notes, planText);
+    // THE CHAIN IS PER SPEC, AND A SPEC MAY HAVE SEVERAL PLANS. So the obligations
+    // of this plan are the ones whose note pinned THIS plan, and nobody else's.
+    // Without the filter, naming any plan of the lineage settled its siblings'
+    // obligations — under a live run holding one of them, because the open-run
+    // guard only ever compares the plan that was named — and it read their class
+    // against a handoff section they never had.
+    const mine = new Set(chain.read.index.notes
+        .filter((note) => note.lineage.plan.path === planPath)
+        .map((note) => note.id));
+    const project = (obligations) => obligations
+        .filter((obligation) => mine.has(obligation.by))
+        .map((obligation) => ({
+        note: obligation.by,
+        index: obligation.index,
+        text: obligation.text,
+        kind: obligation.kind,
+        legacy: obligation.legacy,
+        corresponds_to: obligation.corresponds_to ?? null,
+        declared_point: obligation.declared_point,
+    }));
+    return {
+        chain: chain.read.index.notes,
+        baseline,
+        planText,
+        listing: {
+            plan: planPath,
+            spec: specPath,
+            compensations: project(reading.pending),
+            handoffs: project(reading.handoffs),
+            closable: reading.closable,
+            current_point: currentResumePoint(planText),
+        },
+    };
+}
+// ── the declarations ─────────────────────────────────────────────────────────
+const REFERENCE = /^(DEC-(?:[0-9]{3}|[1-9][0-9]{3,}))\[(\d+)\]$/;
+/**
+ * Parse `DEC-001[0]` and `DEC-001[0]=<evidencia>` into settlements.
+ *
+ * Every reference is checked against what the plan REALLY owes, and a reference
+ * that names something else is refused rather than ignored: a settlement silently
+ * dropped would report success over work nobody discharged.
+ */
+function parseDeclarations(declarations, listing) {
+    const out = [];
+    const seen = new Set();
+    const entries = [
+        ["settled", declarations.settle],
+        ["handoff", declarations.handoff],
+        ["pending", declarations.pending],
+    ];
+    for (const [outcome, raw] of entries) {
+        for (const item of raw) {
+            const parsed = parseDeclaration(item, outcome, listing, seen);
+            if ("failure" in parsed)
+                return parsed;
+            seen.add(`${parsed.value.note}[${parsed.value.index}]`);
+            out.push(parsed.value);
+        }
+    }
+    return { value: out };
+}
+/** One `DEC-NNN[i]` or `DEC-NNN[i]=<evidencia>`, checked against what is owed. */
+function parseDeclaration(item, outcome, listing, seen) {
+    const [reference, ...rest] = item.split("=");
+    const evidence = rest.join("=").trim();
+    const match = REFERENCE.exec((reference ?? "").trim());
+    if (match === null) {
+        return fail("SETTLE_DECLARATION_INVALID", `'${item}' no nombra una obligación: se escribe DEC-NNN[posición]${outcome === "settled" ? "=<evidencia>" : ""}`, `'aw settle list ${listing.plan}' enumera las obligaciones vigentes con su nota y su posición`);
+    }
+    const note = match[1];
+    const index = Number(match[2]);
+    const key = `${note}[${index}]`;
+    if (seen.has(key)) {
+        return fail("SETTLE_DECLARATION_INVALID", `${key} se declara dos veces`, "una obligación se salda una vez: decidí cuál de las dos lecturas vale");
+    }
+    const owed = [...listing.compensations, ...listing.handoffs];
+    if (!owed.some((obligation) => obligation.note === note && obligation.index === index)) {
+        return fail("SETTLE_OBLIGATION_UNKNOWN", `${key} no es una obligación vigente de '${listing.plan}'`, `'aw settle list ${listing.plan}' enumera las que sí lo son. Si un 'apply' anterior alcanzó a publicar parte de sus sucesores, esas obligaciones ya están saldadas: volvé a preparar con las que queden`);
+    }
+    if (outcome === "settled" && evidence.length === 0) {
+        return fail("SETTLE_DECLARATION_INVALID", `se declara cumplida ${key} sin decir qué lo prueba`, `escribí --settle '${key}=<la salida real de lo que lo prueba>': sin evidencia no es un saldo, es una afirmación`);
+    }
+    return {
+        value: { note, index, outcome, ...(outcome === "settled" ? { evidence } : {}) },
+    };
+}
+/** What each carrier's successor would say, derived and never authored. */
+function plannedFor(chain, declarations, listing) {
+    const resolved = new Map();
+    for (const obligation of [...listing.compensations, ...listing.handoffs]) {
+        const perNote = resolved.get(obligation.note) ?? new Map();
+        perNote.set(obligation.index, obligation.kind);
+        resolved.set(obligation.note, perNote);
+    }
+    const out = [];
+    for (const carrierId of [...new Set(declarations.map((entry) => entry.note))]) {
+        const carrier = chain.find((note) => note.id === carrierId);
+        if (carrier === undefined) {
+            return fail("SETTLE_OBLIGATION_UNKNOWN", `${carrierId} no está en la cadena de '${listing.plan}'`, `'aw settle list ${listing.plan}' enumera las obligaciones vigentes con su nota`);
+        }
+        // Every obligation of this carrier whose class NOBODY declared needs a
+        // reading from the person, and it needs it here. The successor has to state
+        // a class for everything it carries forward — a note being minted may not
+        // leave one unclassed — so an obligation left unnamed would be stamped
+        // `declared` with the CLI's own inference and never be questioned again.
+        // That reading is a person's: F2 built a whole boundary for it.
+        const unread = unreadLegacy(carrier, declarations, listing);
+        if (unread.length > 0) {
+            return fail("SETTLE_DECLARATION_INVALID", `${carrierId} carga obligaciones cuya clase nadie declaró y que no declaraste: ${unread.join("; ")}`, "el sucesor tiene que decir la clase de todo lo que arrastra, así que la lectura de cada una es tuya: declarala con --settle '<ref>=<evidencia>' o con --handoff '<ref>'");
+        }
+        const execution = {
+            session: carrier.lineage.execution.session,
+            phase: carrier.lineage.execution.phase,
+        };
+        const derived = deriveSettlementNote(carrier, declarations, {
+            ...execution,
+            date: new Date().toISOString().slice(0, 10),
+            resolved: resolved.get(carrierId) ?? new Map(),
+        });
+        if (!derived.ok)
+            return verbatim(derived.failures[0], "el saldo no se puede derivar");
+        if (derived.draft === null)
+            continue;
+        const evidenceOf = new Map(declarations
+            .filter((entry) => entry.note === carrierId && entry.evidence !== undefined)
+            .map((entry) => [carrier.obligations[entry.index]?.text ?? "", entry.evidence]));
+        out.push({
+            note: carrierId,
+            settled: derived.settled.map((text) => ({ text, evidence: evidenceOf.get(text) ?? "" })),
+            keeps: derived.draft.obligations.map((obligation) => ({
+                text: obligation.text,
+                kind: obligation.kind,
+                declared: obligation.declared,
+            })),
+            execution,
+        });
+    }
+    if (out.length === 0) {
+        return fail("SETTLE_DECLARATION_INVALID", "ninguna declaración cambia la cadena: dejar todo pendiente no publica nada", "declará al menos una obligación cumplida con su evidencia o reconocida como traspaso");
+    }
+    return { value: out };
+}
+/**
+ * Obligations of this carrier whose class nobody declared and nobody read.
+ *
+ * Only the ones this settlement would carry FORWARD matter: one being discharged
+ * leaves the chain, so its class stops being anybody's claim.
+ */
+function unreadLegacy(carrier, declarations, listing) {
+    const owed = [...listing.compensations, ...listing.handoffs];
+    const out = [];
+    for (const [index, obligation] of carrier.obligations.entries()) {
+        if (obligation.declared)
+            continue;
+        // Not in force any more: superseded reasoning already left it behind.
+        if (!owed.some((entry) => entry.note === carrier.id && entry.index === index))
+            continue;
+        const declared = declarations.find((entry) => entry.note === carrier.id && entry.index === index);
+        if (declared !== undefined && declared.outcome !== "pending")
+            continue;
+        out.push(`${carrier.id}[${index}] ${obligation.text}`);
+    }
+    return out;
+}
+function specSlug(path, number) {
+    const prefix = `${number}-spec-`;
+    const file = basename(path);
+    if (!file.startsWith(prefix) || !file.endsWith(".md"))
+        return null;
+    const slug = file.slice(prefix.length, -".md".length);
+    return slug.length > 0 ? slug : null;
+}
+/** The exact command that applies exactly this — flags and all, never a shape. */
+function applyCommand(plan, declarations, digest) {
+    const flags = [
+        ...declarations.settle.map((item) => `--settle ${quoted(item)}`),
+        ...declarations.handoff.map((item) => `--handoff ${quoted(item)}`),
+        ...declarations.pending.map((item) => `--pending ${quoted(item)}`),
+    ];
+    return `aw settle apply ${plan} ${flags.join(" ")} --approval ${digest}`;
+}
+/**
+ * One shell argument, quoted so that pasting it back yields the SAME string.
+ *
+ * Evidence is prose somebody typed and prose contains apostrophes. Wrapping it
+ * naively produced a command that re-split into a different declaration — and a
+ * different declaration that still matched the approval, which is the one thing
+ * the two-step exists to make impossible.
+ */
+function quoted(value) {
+    return `'${value.split("'").join(`'\\''`)}'`;
+}
+/**
+ * A refusal from the chain or the composition, carried VERBATIM.
+ *
+ * Re-coding it would hide which guarantee stopped the settlement behind a word
+ * invented at this layer, and the action a person reads would stop matching what
+ * actually happened.
+ */
+function verbatim(failure, fallback) {
+    // A refusal always comes with at least one failure — every producer pushes
+    // before returning — so the fallback is the shape TypeScript needs for an
+    // index access, not a case anybody can reach.
+    return {
+        status: "failed",
+        failure: failure ?? {
+            code: "SETTLE_DECLARATION_INVALID",
+            message: fallback,
+            action: "corregí la cadena antes de saldar nada",
+        },
+    };
+}
+/** The plan, the spec it derives from, and the relation that ties them. */
+async function readDocuments(fs, root, planPath, planDir) {
+    let planText;
+    try {
+        planText = await fs.readText(join(root, planPath));
+    }
+    catch {
+        return fail("SETTLE_PLAN_ABSENT", `'${planPath}' no se puede leer: no hay plan cuyas obligaciones saldar`, `verificá la ruta del plan bajo '${planDir}/' o su correlativo`);
+    }
+    const relation = parseSpecRelation(planText);
+    const specPath = parseDerivedFromPath(planText);
+    if (relation.status !== "declared" || specPath === null) {
+        return fail("SETTLE_PLAN_LINEAGE_UNDECLARED", `'${planPath}' no declara una única spec de origen: sin linaje no hay cadena de decisiones`, "abrí el plan con /w:plan-refine y declarale un único '> Derived from docs/specs/NNN-spec-…'; un plan sin spec registra sus decisiones en el DECISION.md de su sesión");
+    }
+    try {
+        return {
+            planText,
+            specPath,
+            specText: await fs.readText(join(root, specPath)),
+            relation: { number: relation.number },
+        };
+    }
+    catch {
+        return fail("SETTLE_SPEC_UNREADABLE", `'${specPath}' no se puede leer: no hay contrato contra el que componer la cadena`, "restaurá la spec de origen del plan y volvé a leer las obligaciones");
+    }
+}
+//# sourceMappingURL=settle-service.js.map

package/dist/application/settle-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"settle-service.js","sourceRoot":"","sources":["../../src/application/settle-service.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAsB,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC/F,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAA2B,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACxF,OAAO,EAA6B,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAG1F,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EACL,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAqB,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAC5E,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAgHlE,SAAS,IAAI,CAAC,IAAgB,EAAE,OAAe,EAAE,MAAc;IAC7D,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC;AAClE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,EAAkB,EAClB,GAAY,EACZ,KAAmB,EACnB,MAAc;IAEd,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,IAAI,SAAS,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,EAAkB,EAClB,GAAY,EACZ,KAAmB,EACnB,MAAc,EACd,YAAgC;IAEhC,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,IAAI,SAAS,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC;IAEpD,+EAA+E;IAC/E,8EAA8E;IAC9E,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,OAAO,IAAI,CACT,iBAAiB,EACjB,aAAa,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,EACvC,0BAA0B,IAAI,CAAC,OAAO,6DAA6D,CACpG,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,iBAAiB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1D,IAAI,SAAS,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC3C,uEAAuE;IACvE,mEAAmE;IACnE,8EAA8E;IAC9E,0CAA0C;IAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAEtE,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D,IAAI,SAAS,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC;IAEzC,+EAA+E;IAC/E,6EAA6E;IAC7E,8EAA8E;IAC9E,oDAAoD;IACpD,MAAM,MAAM,GAAG,cAAc,CAAC;QAC5B,SAAS,EAAE,oBAAoB;QAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,WAAW,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,MAAM;QAC5B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,OAAO,EAAE,OAAO,CAAC,KAAK;KACvB,CAAC,CAAC;IACH,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,OAAO;QACP,OAAO,EAAE,OAAO,CAAC,KAAK;QACtB,MAAM,EAAE,MAAM;QACd,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,CAAC;KACvD,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,EAAkB,EAClB,GAAY,EACZ,KAAmB,EACnB,KAA6E;IAE7E,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAClD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,IAAI,CACT,4BAA4B,EAC5B,qDAAqD,EACrD,4BAA4B,QAAQ,CAAC,OAAO,CAAC,IAAI,sEAAsE,CACxH,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC9C,OAAO,IAAI,CACT,0BAA0B,EAC1B,sGAAsG,EACtG,qCAAqC,QAAQ,CAAC,OAAO,CAAC,IAAI,iFAAiF,CAC5I,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IACzE,IAAI,SAAS,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,yBAAyB,CAAC,EAAE,EAAE,KAAK,EAAE;QACzD,IAAI;QACJ,yEAAyE;QACzE,6EAA6E;QAC7E,qBAAqB;QACrB,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACvB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO;YAC1C,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK;SACvC,CAAC;QACF,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;QAC3B,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAC3C,YAAY,EAAE,QAAQ,CAAC,KAAK;KAC7B,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE;gBACP,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI;gBAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO;gBAChC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;aAC/B;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,cAAc,EAAE,OAAO,CAAC,cAAc;KACvC,CAAC;AACJ,CAAC;AAoBD,KAAK,UAAU,WAAW,CACxB,EAAkB,EAClB,GAAY,EACZ,KAAmB,EACnB,MAAc;IAEd,MAAM,IAAI,GAAG,MAAM,oBAAoB,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,oBAAoB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QACd,OAAO,IAAI,CACT,2BAA2B,EAC3B,+BAA+B,KAAK,CAAC,KAAK,EAAE,EAC5C,kFAAkF,CACnF,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE;QAC3E,OAAO,EAAE,8DAA8D;QACvE,SAAS,EAAE,+DAA+D;KAC3E,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAChB,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,KAAK,QAAQ;YACzB,CAAC,CAAC,oBAAoB;YACtB,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,WAAW;gBAC9B,CAAC,CAAC,yBAAyB;gBAC3B,CAAC,CAAC,uBAAuB,CAAC;QAChC,OAAO,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAE9B,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5E,IAAI,SAAS,IAAI,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAC;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,4EAA4E;QAC5E,sEAAsE;QACtE,yEAAyE;QACzE,OAAO,IAAI,CACT,gCAAgC,EAChC,IAAI,QAAQ,4EAA4E,EACxF,uFAAuF,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,MAAM,EAAE,oBAAoB,CAAC,QAAQ,CAAC;QACtC,aAAa,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QAC3C,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;KACvD,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,aAAa,CAC/B,EAAE,EACF,IAAI,EACJ,aAAa,CAAC,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,EACjE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAC5C,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,0CAA0C,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,wBAAwB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5E,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,iCAAiC,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtF,+EAA+E;IAC/E,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,6EAA6E;IAC7E,4CAA4C;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;SACrD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAC1B,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,WAA0C,EAAsB,EAAE,CACjF,WAAW;SACR,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;SAC/C,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACpB,IAAI,EAAE,UAAU,CAAC,EAAE;QACnB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,cAAc,EAAE,UAAU,CAAC,cAAc,IAAI,IAAI;QACjD,cAAc,EAAE,UAAU,CAAC,cAAc;KAC1C,CAAC,CAAC,CAAC;IACR,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK;QAC7B,QAAQ;QACR,QAAQ;QACR,OAAO,EAAE;YACP,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;YACvC,QAAQ,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC;YACnC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,aAAa,EAAE,kBAAkB,CAAC,QAAQ,CAAC;SAC5C;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF,MAAM,SAAS,GAAG,8CAA8C,CAAC;AAEjE;;;;;;GAMG;AACH,SAAS,iBAAiB,CACxB,YAAgC,EAChC,OAAsB;IAEtB,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAgE;QAC3E,CAAC,SAAS,EAAE,YAAY,CAAC,MAAM,CAAC;QAChC,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC;QACjC,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC;KAClC,CAAC;IACF,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAC9D,IAAI,SAAS,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;YACvC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;YACxD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxB,CAAC;AAED,kFAAkF;AAClF,SAAS,gBAAgB,CACvB,IAAY,EACZ,OAAwC,EACxC,OAAsB,EACtB,IAAyB;IAEzB,MAAM,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,IAAI,CACT,4BAA4B,EAC5B,IAAI,IAAI,2DAA2D,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,EAChH,mBAAmB,OAAO,CAAC,IAAI,+DAA+D,CAC/F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;IAChC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO,IAAI,CACT,4BAA4B,EAC5B,GAAG,GAAG,uBAAuB,EAC7B,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,KAAK,KAAK,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CACT,2BAA2B,EAC3B,GAAG,GAAG,qCAAqC,OAAO,CAAC,IAAI,GAAG,EAC1D,mBAAmB,OAAO,CAAC,IAAI,yKAAyK,CACzM,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CACT,4BAA4B,EAC5B,uBAAuB,GAAG,0BAA0B,EACpD,qBAAqB,GAAG,yFAAyF,CAClH,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAChF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,SAAS,UAAU,CACjB,KAA8B,EAC9B,YAA6C,EAC7C,OAAsB;IAEtB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuC,CAAC;IAChE,KAAK,MAAM,UAAU,IAAI,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAA0B,CAAC;QACnF,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/C,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9E,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,IAAI,CACT,2BAA2B,EAC3B,GAAG,SAAS,6BAA6B,OAAO,CAAC,IAAI,GAAG,EACxD,mBAAmB,OAAO,CAAC,IAAI,iDAAiD,CACjF,CAAC;QACJ,CAAC;QACD,uEAAuE;QACvE,4EAA4E;QAC5E,0EAA0E;QAC1E,uEAAuE;QACvE,yEAAyE;QACzE,gEAAgE;QAChE,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CACT,4BAA4B,EAC5B,GAAG,SAAS,qEAAqE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACpG,yKAAyK,CAC1K,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GAAG;YAChB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO;YAC1C,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK;SACvC,CAAC;QACF,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,EAAE;YAC1D,GAAG,SAAS;YACZ,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC3C,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,EAAE;SAC/C,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,CAAC,EAAE;YAAE,OAAO,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC;QACtF,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,SAAS;QACrC,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,YAAY;aACT,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC;aAC3E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,KAAK,CAAC,QAAkB,CAAC,CAAC,CAC5F,CAAC;QACF,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACxF,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACpD,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;aAC9B,CAAC,CAAC;YACH,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CACT,4BAA4B,EAC5B,4EAA4E,EAC5E,sFAAsF,CACvF,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CACnB,OAAqB,EACrB,YAA6C,EAC7C,OAAsB;IAEtB,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,aAAa,EAAE,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QAChE,IAAI,UAAU,CAAC,QAAQ;YAAE,SAAS;QAClC,sEAAsE;QACtE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC;YAAE,SAAS;QACxF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,CAC9D,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;YAAE,SAAS;QACvE,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,EAAE,IAAI,KAAK,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,MAAc;IAC5C,MAAM,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC;IACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,IAAY,EAAE,YAAgC,EAAE,MAAc;IAClF,MAAM,KAAK,GAAG;QACZ,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClE,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;KACnE,CAAC;IACF,OAAO,mBAAmB,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,MAAM,EAAE,CAAC;AAC3E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,KAAa;IAC3B,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;AAC/C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,OAAgC,EAAE,QAAgB;IAClE,2EAA2E;IAC3E,0EAA0E;IAC1E,8CAA8C;IAC9C,OAAO;QACL,MAAM,EAAE,QAAQ;QAChB,OAAO,EAAE,OAAO,IAAI;YAClB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,wCAAwC;SACjD;KACF,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,KAAK,UAAU,aAAa,CAC1B,EAAkB,EAClB,IAAY,EACZ,QAAgB,EAChB,OAAe;IAIf,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CACT,oBAAoB,EACpB,IAAI,QAAQ,2DAA2D,EACvE,mCAAmC,OAAO,qBAAqB,CAChE,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxD,OAAO,IAAI,CACT,gCAAgC,EAChC,IAAI,QAAQ,+EAA+E,EAC3F,sKAAsK,CACvK,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,OAAO;YACL,QAAQ;YACR,QAAQ;YACR,QAAQ,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;SACtC,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CACT,wBAAwB,EACxB,IAAI,QAAQ,sEAAsE,EAClF,qEAAqE,CACtE,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/application/source-boundary-policy.js

@@ -23,10 +23,37 @@ const REMOTE_LOCATOR = /(?:\b[A-Za-z][A-Za-z0-9+.-]{0,31}:\/\/[^\s<>()]+|\b[A-Za
 // `remote-read` is the discriminant of RemoteContextSnapshot, not a prose term.
 // Seeing that typed context in a closure clause is invalid by construction.
 const REMOTE_CONTEXT_DISCRIMINANT = /\bkind\s*:\s*["'`]?remote-read\b/i;
-// A close is allowed only when it names one of the local proof forms Workline
-// can reproduce. This is an allowlist of evidence *semantics*, not a list of
-// remote products/hosts to forbid. Relative checkout artifacts are evidence too.
-const LOCAL_PROOF = /\b(?:checkout|checkoutproof|fixture|ephemeral|test(?:s)?|prueba(?:s)?|inspecci[oó]n|inspection|lint|typecheck|build|golden(?:s)?|diff)\b|\bnpm\s+(?:run\s+)?(?:test|lint|typecheck|build|pack)\b|(?:^|[\s`(])(?:\.?\/?(?:src|tests|fixtures|docs|scripts)\/)/i;
+// COMPATIBILITY PATH, NOT THE CRITERION.
+//
+// This is the term allowlist that judged closure evidence before the referent
+// rule below existed. It is kept so that no plan already written changes
+// verdict: the criterion is the UNION of the two, which is strictly more
+// permissive than either, so there is no migration and no grace period.
+//
+// Its path branch is exactly why the rule had to change: it accepted a relative
+// path only under `src/`, `tests/`, `fixtures/`, `docs/` or `scripts/` — the
+// directories of THIS repo — so a plan validating over `migraciones/` or `db/`
+// was rejected for naming its own, while describing a perfectly local check.
+const LOCAL_PROOF_TERMS_COMPAT = /\b(?:checkout|checkoutproof|fixture|ephemeral|test(?:s)?|prueba(?:s)?|inspecci[oó]n|inspection|lint|typecheck|build|golden(?:s)?|diff)\b|\bnpm\s+(?:run\s+)?(?:test|lint|typecheck|build|pack)\b|(?:^|[\s`(])(?:\.?\/?(?:src|tests|fixtures|docs|scripts)\/)/i;
+// THE CRITERION: a closing clause is local when it names a REFERENT the checkout
+// can produce — never when it happens to use a word from a list. Two structural
+// forms, both about the shape of the reference and neither about vocabulary:
+//
+//   · an invocation written as inline code — `npm run test`, `psql -f db/seed.sql`;
+//   · a relative path of ANY shape — `migraciones/001_init.sql`, `db/seeds/`.
+//
+// A remote locator never reaches this side: `remoteSurfaceOf` rejects the clause
+// first, which is what lets the positive rule stay ignorant of surfaces. The
+// policy is pure and touches no disk, so it judges whether the clause POINTS at
+// the checkout, never whether the file is there — that is the checkout proof's
+// job at execution time.
+const INLINE_CODE_SPAN = /`([^`\n]+)`/g;
+// A path is RELATIVE by grammar: it starts at a delimiter, never after another
+// separator, so `/etc/passwd` and `~/scripts/x.sh` — local to a machine but
+// outside the checkout — are not referents while `migraciones/001.sql` is.
+const RELATIVE_PATH = /(?:^|[\s`("'[<])((?:\.{1,2}\/)?[\w.@+-]+(?:\/[\w.@+-]+)*\/[\w.@+-]*)/g;
+const FILE_NAME = /\.[A-Za-z0-9]{1,8}$/;
+const PROGRAM_NAME = /^(?:\.{1,2}\/)?[A-Za-z_][\w.+-]*$/;
 /**
  * Reads the structural source declarations from a plan without interpreting its
  * business prose. The source policy therefore has one seam for every caller:
@@ -183,16 +210,31 @@ export function validateSourceBoundedSemantics(text) {
             continue;
         }
         if ((clause.kind === "phase-validation" || clause.kind === "plan-validation") &&
-            !LOCAL_PROOF.test(clause.text)) {
+            !namesCheckoutReferent(clause.text) &&
+            !LOCAL_PROOF_TERMS_COMPAT.test(clause.text)) {
             failures.push({
                 code: "PLAN_SOURCE_LOCAL_PROOF_MISSING",
                 line: clause.line,
-                message: `${semanticClauseLabel(clause)} no nombra una prueba local de checkout`,
+                message: `${semanticClauseLabel(clause)} no nombra ninguna comprobación observable en el checkout: nombrá el comando, el archivo o la ruta que la produce`,
             });
         }
     }
     return failures;
 }
+/**
+ * The closing clauses of a document, by kind and text — the gate's own reading.
+ *
+ * Exported so a guard that must refuse a change to the closure path uses the
+ * SAME extraction the gate judges with, instead of a second parser that could
+ * disagree about what a closing clause even is. Line numbers are deliberately
+ * dropped: they move with any edit above them, and an editorial fix three
+ * sections up is not a change to a clause.
+ */
+export function closingClausesOf(text) {
+    return sourceBoundedClauses(text)
+        .filter((clause) => clause.kind !== "task")
+        .map((clause) => ({ kind: clause.kind, text: clause.text }));
+}
 function sourceBoundedClauses(text) {
     const clauses = [];
     const markdown = scanMarkdown(text);
@@ -259,6 +301,45 @@ function sourceBoundedClauses(text) {
     }
     return clauses;
 }
+/**
+ * Does the clause name something the checkout can produce?
+ *
+ * Two forms. A relative path is a referent when its last segment is a file name
+ * or it ends in a separator — which is what keeps `N/A` and `60/40` from reading
+ * as evidence while `migraciones/001.sql` and `db/seeds/` do. An inline-code
+ * span whose first of two or more tokens has the shape of a program is an
+ * invocation, so `make verificar-catalogo` accredits without naming any path.
+ */
+function namesCheckoutReferent(text) {
+    if (namesRelativePath(text))
+        return true;
+    for (const match of text.matchAll(INLINE_CODE_SPAN)) {
+        const tokens = (match[1] ?? "")
+            .trim()
+            .split(/\s+/)
+            .filter((token) => token.length > 0);
+        if (tokens.length >= 2 && PROGRAM_NAME.test(tokens[0] ?? ""))
+            return true;
+    }
+    return false;
+}
+/**
+ * One path predicate for the whole rule, inside code spans and in prose alike.
+ *
+ * Backticks are not part of a path's grammar, so scanning the clause once
+ * covers `` `migraciones/003.sql` `` and the same path written bare — and keeps
+ * a code span from accrediting `N/A` merely for carrying a slash.
+ */
+function namesRelativePath(text) {
+    for (const match of text.matchAll(RELATIVE_PATH)) {
+        const path = match[1] ?? "";
+        if (path.endsWith("/"))
+            return true;
+        if (FILE_NAME.test(path.slice(path.lastIndexOf("/") + 1)))
+            return true;
+    }
+    return false;
+}
 function remoteSurfaceOf(text) {
     const locator = REMOTE_LOCATOR.exec(text)?.[0];
     if (locator !== undefined)