@tacuchi/agent-workflow-cli 21.0.0 → 21.3.0

package/dist/domain/capability/effects.js

@@ -0,0 +1,90 @@
+/**
+ * What an operation is allowed to DO, said as a closed taxonomy.
+ *
+ * The six classes are ordered by how much trust they need, and the order is the
+ * point: the first two are what an invocation may authorize by itself, and
+ * everything below them needs a preflight the human can see before it happens.
+ * A descriptor that declares an operation `read_only` and then writes is a lie
+ * the runtime can catch, which is only possible because the declaration exists.
+ *
+ * `class` alone is not enough to decide, so each declaration also carries
+ * whether repeating it is safe (`idempotent`), who grants it (`authorization`)
+ * and whether a human sees it first (`approval`). Those three are what the
+ * authorization policy reads; the class is what makes them comparable across
+ * capabilities that share no code.
+ */
+export const EFFECT_CLASSES = [
+    /** Reads declared, non-sensitive sources and returns. Persists nothing. */
+    "read_only",
+    /** Creates something new INSIDE the requested target. Overwrites nothing. */
+    "local_additive",
+    /** Rewrites or replaces something that already exists. */
+    "mutate_overwrite",
+    /** Runs code — a build, a renderer, a subprocess. */
+    "execute",
+    /** Leaves the machine: network, or a third-party provider. */
+    "network_external",
+    /** Removes or invalidates something a later run cannot reconstruct. */
+    "destructive",
+];
+const CLASS_SET = new Set(EFFECT_CLASSES);
+export function isEffectClass(value) {
+    return typeof value === "string" && CLASS_SET.has(value);
+}
+/**
+ * The only two classes an invocation may grant itself, and even then not always.
+ *
+ * Reading declared, non-sensitive sources and creating something new inside the
+ * target the caller already named are the two effects where asking would be
+ * ceremony: the caller asked for exactly that. Everything else — rewriting,
+ * running code, leaving the machine, destroying — is a decision someone has to
+ * see before it happens, and the ordering of `EFFECT_CLASSES` says which is
+ * which.
+ */
+export const SELF_AUTHORIZABLE_CLASSES = ["read_only", "local_additive"];
+export const OPEN_EFFECT_POLICY = { denied: [], preflight: [] };
+/**
+ * Decide, for one operation, what the invocation may do by itself and what has
+ * to be shown first.
+ *
+ * Four gates, and a class has to clear all of them to be self-authorized: the
+ * taxonomy allows it, the descriptor asked for `invocation` rather than
+ * `preflight`, the host does not demand a preflight, and the concrete context
+ * has not turned it into something bigger — reading SENSITIVE sources is not the
+ * `read_only` the caller authorized, and writing OUTSIDE the named target is not
+ * the `local_additive` they asked for.
+ */
+export function authorizeEffects(effects, context, policy = OPEN_EFFECT_POLICY, annotations = []) {
+    const planned = [];
+    const selfAuthorized = [];
+    const needsPreflight = [];
+    const denied = [];
+    for (const effect of effects) {
+        planned.push(effect.class);
+        if (policy.denied.includes(effect.class)) {
+            denied.push({
+                class: effect.class,
+                why: "la política del host no admite esta clase de efecto",
+            });
+            continue;
+        }
+        if (selfAuthorizes(effect, context, policy)) {
+            selfAuthorized.push(effect.class);
+            continue;
+        }
+        needsPreflight.push(effect.class);
+    }
+    return { planned, selfAuthorized, needsPreflight, denied, annotations: [...annotations] };
+}
+function selfAuthorizes(effect, context, policy) {
+    if (!SELF_AUTHORIZABLE_CLASSES.includes(effect.class))
+        return false;
+    if (effect.authorization !== "invocation" || effect.approval !== "none")
+        return false;
+    if (policy.preflight.includes(effect.class))
+        return false;
+    if (effect.class === "read_only")
+        return !context.sensitiveSources;
+    return !context.scopeExpanded;
+}
+//# sourceMappingURL=effects.js.map

package/dist/domain/capability/effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.js","sourceRoot":"","sources":["../../../src/domain/capability/effects.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,2EAA2E;IAC3E,WAAW;IACX,6EAA6E;IAC7E,gBAAgB;IAChB,0DAA0D;IAC1D,kBAAkB;IAClB,qDAAqD;IACrD,SAAS;IACT,8DAA8D;IAC9D,kBAAkB;IAClB,uEAAuE;IACvE,aAAa;CACL,CAAC;AAkBX,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;AAE/D,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAA2B,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;AAgBjG,MAAM,CAAC,MAAM,kBAAkB,GAAiB,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;AAsC9E;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAqC,EACrC,OAAsB,EACtB,SAAuB,kBAAkB,EACzC,cAA2C,EAAE;IAE7C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,cAAc,GAAkB,EAAE,CAAC;IACzC,MAAM,cAAc,GAAkB,EAAE,CAAC;IACzC,MAAM,MAAM,GAAmB,EAAE,CAAC;IAElC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,GAAG,EAAE,qDAAqD;aAC3D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5C,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC;AAC5F,CAAC;AAED,SAAS,cAAc,CACrB,MAAyB,EACzB,OAAsB,EACtB,MAAoB;IAEpB,IAAI,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,IAAI,MAAM,CAAC,aAAa,KAAK,YAAY,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACtF,IAAI,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1D,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW;QAAE,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC;IACnE,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC;AAChC,CAAC"}

package/dist/domain/capability/protocol.js

@@ -0,0 +1,494 @@
+/**
+ * One attempt at one operation, described the same way from both routes.
+ *
+ * The direct wrapper and a composing flow build this envelope with the SAME
+ * builder. That is the whole mechanism behind "the two routes share a contract":
+ * not a promise in Markdown, but a single function neither caller can bypass
+ * without the difference showing up in a digest.
+ *
+ * **Attempts, not a fourth stage.** `prepare → validate → apply` is the durable
+ * handshake for previewing, approving and writing; it is not a conversation.
+ * When an operation needs more information it answers `needs_input` and the
+ * reply becomes a NEW request: same `invocation_id`, `attempt + 1`, and
+ * `parent_request_digest` pointing at the one it answers. Reusing the parent
+ * request instead would let a stale envelope be re-submitted against a world
+ * that moved, and would make a retry indistinguishable from a new attempt.
+ *
+ * **Two digests, because two questions.** `request_digest` seals the whole
+ * envelope — route, caller, authorizations, everything — and answers "is this
+ * the exact attempt I saw?". `semantic_inputs_digest` seals only the normalized
+ * semantic entry and answers "is this the same work?". They must be separate:
+ * the direct route and a flow legitimately differ in caller and route while
+ * asking for identical work, and a single digest would make that equality
+ * unprovable.
+ *
+ * **Nothing invisible.** Every input arrives declared, with provenance. There is
+ * no field here for a private prompt or ambient state, and that absence is
+ * enforced by a guard: semantics the caller cannot see are semantics the caller
+ * cannot audit.
+ */
+import { randomUUID } from "node:crypto";
+import { semanticDigest } from "../../application/semantic-operation/protocol.js";
+import { findOperation } from "./descriptor.js";
+export const CAPABILITY_PROTOCOL_VERSION = 1;
+const INVOCATION_ID_RE = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/;
+export function newInvocationId() {
+    return randomUUID();
+}
+/**
+ * THE builder. Both routes go through it, and it refuses anything the
+ * descriptor does not declare — an unknown operation, a route the operation does
+ * not answer on, an undeclared input, a missing required one, or an attempt
+ * number that does not line up with its parent.
+ */
+export function buildCapabilityRequest(input) {
+    const gate = checkEnvelope(input);
+    if (gate !== null)
+        return { ok: false, failure: gate };
+    const operation = findOperation(input.descriptor, input.operation);
+    const inputs = [...input.inputs].sort((a, b) => (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+    const seed = {
+        protocol_version: CAPABILITY_PROTOCOL_VERSION,
+        invocation_id: input.invocationId,
+        attempt: input.attempt,
+        capability: input.descriptor.name,
+        contract_version: input.descriptor.contract_version,
+        operation: input.operation,
+        caller: input.caller,
+        context: input.context,
+        inputs,
+        policy: input.policy,
+        authorizations: [...input.authorizations].sort(),
+        parent_request_digest: input.parentRequestDigest,
+    };
+    return {
+        ok: true,
+        operation,
+        request: {
+            ...seed,
+            request_digest: semanticDigest(seed),
+            semantic_inputs_digest: semanticInputsDigest(seed),
+        },
+    };
+}
+/**
+ * The seal over WHAT WAS ASKED, deliberately blind to WHO ASKED.
+ *
+ * Route, host, flow and the authorizations a preflight granted are all excluded:
+ * they are properties of the call, not of the work. That exclusion is what lets
+ * a conformance test prove the direct wrapper and a flow asked for the same
+ * thing without demanding byte equality the contract never promised.
+ */
+function semanticInputsDigest(seed) {
+    return semanticDigest({
+        capability: seed.capability,
+        operation: seed.operation,
+        target: seed.context.target,
+        base: seed.context.base,
+        profile: seed.context.profile,
+        inputs: seed.inputs.map((i) => ({ name: i.name, value: i.value })),
+    });
+}
+function checkEnvelope(input) {
+    if (!INVOCATION_ID_RE.test(input.invocationId)) {
+        return {
+            code: "CAPABILITY_INVOCATION_ID_INVALID",
+            message: `'${input.invocationId}' no es un invocation id`,
+            action: "generá el id con newInvocationId() y conservalo durante toda la conversación",
+        };
+    }
+    if (!Number.isInteger(input.attempt) || input.attempt < 1) {
+        return {
+            code: "CAPABILITY_ATTEMPT_INVALID",
+            message: `attempt inválido: ${String(input.attempt)}`,
+            action: "el primer intento es 1 y cada continuación suma exactamente 1",
+        };
+    }
+    // The first attempt answers nothing and a continuation always answers
+    // something: either mismatch means the chain is not what it claims to be.
+    if (input.attempt === 1 && input.parentRequestDigest !== null) {
+        return {
+            code: "CAPABILITY_PARENT_UNEXPECTED",
+            message: "el primer intento declara un request padre",
+            action: "dejá 'parent_request_digest' en null para attempt = 1",
+        };
+    }
+    if (input.attempt > 1 && input.parentRequestDigest === null) {
+        return {
+            code: "CAPABILITY_PARENT_MISSING",
+            message: `attempt ${input.attempt} no declara el request padre que contesta`,
+            action: "pasá el 'request_digest' del intento anterior como parent_request_digest",
+        };
+    }
+    const operation = findOperation(input.descriptor, input.operation);
+    if (operation === null) {
+        return {
+            code: "CAPABILITY_OPERATION_UNKNOWN",
+            message: `'${input.descriptor.name}' no declara la operación '${input.operation}'`,
+            action: `usá una de: ${input.descriptor.operations.map((o) => o.name).join(", ")}`,
+        };
+    }
+    if (!operation.exposure.includes(input.caller.route)) {
+        return {
+            code: "CAPABILITY_ROUTE_UNSUPPORTED",
+            message: `'${input.operation}' no se expone por la ruta '${input.caller.route}'`,
+            action: `invocala por: ${operation.exposure.join(", ")}`,
+        };
+    }
+    return checkInputs(operation, input);
+}
+function checkInputs(operation, input) {
+    const declared = new Map(operation.inputs.map((i) => [i.name, i]));
+    const seen = new Set();
+    for (const given of input.inputs) {
+        const spec = declared.get(given.name);
+        if (spec === undefined) {
+            return {
+                code: "CAPABILITY_INPUT_UNDECLARED",
+                message: `'${operation.name}' no declara el input '${given.name}'`,
+                action: `pasá solo: ${operation.inputs.map((i) => i.name).join(", ") || "(ninguno)"}`,
+            };
+        }
+        if (seen.has(given.name)) {
+            return {
+                code: "CAPABILITY_INPUT_REPEATED",
+                message: `el input '${given.name}' viene dos veces`,
+                action: "pasá cada input una sola vez",
+            };
+        }
+        seen.add(given.name);
+        // Provenance is not decoration: without it the receipt cannot say what the
+        // output was derived from, which is the only auditable claim it makes.
+        if (given.provenance.origin.trim().length === 0) {
+            return {
+                code: "CAPABILITY_INPUT_PROVENANCE_MISSING",
+                message: `el input '${given.name}' no declara de dónde salió`,
+                action: "declará 'origin' con el locator o la fuente que produjo el valor",
+            };
+        }
+        if (given.provenance.sensitivity === "sensitive" && !input.policy.sensitive_sources) {
+            return {
+                code: "CAPABILITY_SENSITIVE_INPUT_UNAUTHORIZED",
+                message: `el input '${given.name}' es sensible y la política de la invocación no lo permite`,
+                action: "pedí aprobación para fuentes sensibles o quitá el input",
+            };
+        }
+    }
+    for (const spec of operation.inputs) {
+        if (spec.required && !seen.has(spec.name)) {
+            return {
+                code: "CAPABILITY_INPUT_REQUIRED_MISSING",
+                message: `'${operation.name}' exige el input '${spec.name}'`,
+                action: `pasá '${spec.name}' con su proveniencia`,
+            };
+        }
+    }
+    return null;
+}
+export function checkWorkspaceRequirement(operation, context) {
+    if (operation.workspace !== "required" || context.workspace !== null) {
+        return { ok: true, requirement: operation.workspace };
+    }
+    return {
+        ok: false,
+        failure: {
+            code: "CAPABILITY_WORKSPACE_REQUIRED",
+            message: `'${operation.name}' necesita un workspace Workline y no hay ninguno acá`,
+            action: "corré la operación dentro de un workspace, o inicializá uno con 'aw workspace-init'",
+        },
+    };
+}
+/**
+ * Build the attempt that answers a `needs_input`.
+ *
+ * The parent is re-sealed before anything else: a caller can hand back an
+ * envelope it edited, and the digest is the only thing that notices. Everything
+ * downstream — the pinned selection, the receipt chain — trusts that link.
+ */
+export function continueInvocation(input) {
+    const { parent } = input;
+    const resealed = semanticDigest(withoutDigests(parent));
+    if (resealed !== parent.request_digest) {
+        return {
+            ok: false,
+            failure: {
+                code: "CAPABILITY_PARENT_ALTERED",
+                message: "el request padre no coincide con su propio digest",
+                action: "reenviá el request padre tal como lo devolvió el intento anterior",
+            },
+        };
+    }
+    return buildCapabilityRequest({
+        invocationId: parent.invocation_id,
+        attempt: parent.attempt + 1,
+        descriptor: input.descriptor,
+        operation: parent.operation,
+        caller: input.caller,
+        context: input.context,
+        inputs: input.inputs,
+        policy: input.policy,
+        authorizations: input.authorizations,
+        parentRequestDigest: parent.request_digest,
+    });
+}
+/** The envelope minus its own two seals — what `request_digest` is computed over. */
+function withoutDigests(request) {
+    const { request_digest: _seal, semantic_inputs_digest: _semantic, ...rest } = request;
+    return rest;
+}
+export class AttemptLedger {
+    seen = new Map();
+    record(request) {
+        const attempts = this.seen.get(request.invocation_id) ?? new Map();
+        const known = attempts.get(request.attempt);
+        if (known !== undefined) {
+            if (known === request.request_digest)
+                return { ok: true, kind: "retry" };
+            return {
+                ok: false,
+                failure: {
+                    code: "CAPABILITY_ATTEMPT_DIVERGED",
+                    message: `el intento ${request.attempt} ya existe con otro contenido`,
+                    action: "para pedir algo distinto usá el attempt siguiente, no el mismo número",
+                },
+            };
+        }
+        const highest = Math.max(0, ...attempts.keys());
+        if (request.attempt !== highest + 1) {
+            return {
+                ok: false,
+                failure: {
+                    code: "CAPABILITY_ATTEMPT_OUT_OF_SEQUENCE",
+                    message: `llegó el intento ${request.attempt} y el anterior registrado es ${highest}`,
+                    action: `enviá el intento ${highest + 1}`,
+                },
+            };
+        }
+        if (request.attempt > 1) {
+            const parentDigest = attempts.get(request.attempt - 1);
+            if (parentDigest !== request.parent_request_digest) {
+                return {
+                    ok: false,
+                    failure: {
+                        code: "CAPABILITY_PARENT_NOT_IMMEDIATE",
+                        message: "el request padre no es el intento inmediatamente anterior",
+                        action: `enlazá el intento ${request.attempt} con el digest del intento ${request.attempt - 1}`,
+                    },
+                };
+            }
+        }
+        attempts.set(request.attempt, request.request_digest);
+        this.seen.set(request.invocation_id, attempts);
+        return { ok: true, kind: "new" };
+    }
+}
+/**
+ * How an attempt ended — five values, and none of them means "roughly fine".
+ *
+ * `completed` is the only success. The other four are distinct on purpose:
+ * `needs_input` is a question, `blocked` is a precondition nobody in this run
+ * can clear, `failed` is something that broke, and `cancelled` is a human
+ * changing their mind. Collapsing them would turn "I need the target directory"
+ * and "the provider rejected the payload" into the same word, and the next
+ * action for those two has nothing in common.
+ */
+export const CAPABILITY_OUTCOMES = [
+    "completed",
+    "needs_input",
+    "blocked",
+    "failed",
+    "cancelled",
+];
+/**
+ * Build the receipt, refusing the combinations that would let a run lie.
+ *
+ * Every rule here exists because its absence produces a specific lie: a
+ * `completed` with nothing to show, a `failed` that names no error, a
+ * `needs_input` that asks for nothing, applied effects nobody planned, a
+ * degradation whose cause the contract never declared, or an attribution to an
+ * instance the resolution could not identify.
+ */
+export function buildReceipt(input) {
+    const effects = {
+        planned: [...(input.effects?.planned ?? [])],
+        approved: [...(input.effects?.approved ?? [])],
+        applied: [...(input.effects?.applied ?? [])],
+    };
+    const receipt = {
+        protocol_version: CAPABILITY_PROTOCOL_VERSION,
+        invocation_id: input.request.invocation_id,
+        attempt: input.request.attempt,
+        capability: input.request.capability,
+        operation: input.request.operation,
+        request_digest: input.request.request_digest,
+        semantic_inputs_digest: input.request.semantic_inputs_digest,
+        parent_request_digest: input.request.parent_request_digest,
+        outcome: input.outcome,
+        floor: input.floor,
+        selection: [...(input.selection ?? [])],
+        inputs: [...input.inputs],
+        output: input.output ?? null,
+        validations: [...(input.validations ?? [])],
+        effects,
+        degradations: [...(input.degradations ?? [])],
+        gaps: [...(input.gaps ?? [])],
+        error: input.error ?? null,
+        next_action: input.nextAction,
+    };
+    const failure = checkReceipt(receipt, input.descriptor);
+    return failure === null ? { ok: true, receipt } : { ok: false, failure };
+}
+function reject(code, message, action) {
+    return { code, message, action };
+}
+function checkNextAction(receipt) {
+    if (receipt.next_action.trim().length > 0)
+        return null;
+    return reject("CAPABILITY_RECEIPT_NO_NEXT_ACTION", "el receipt no dice qué hacer después", "declará una próxima acción: un receipt sin salida es un callejón");
+}
+function checkCompleted(receipt) {
+    if (receipt.outcome !== "completed")
+        return null;
+    if (receipt.output === null || receipt.output.completeness === null) {
+        return reject("CAPABILITY_COMPLETED_WITHOUT_OUTPUT", "un intento 'completed' no trae output con completitud declarada", "declará el output y su completitud, o devolvé el outcome que corresponde");
+    }
+    if (receipt.error !== null) {
+        return reject("CAPABILITY_COMPLETED_WITH_ERROR", "un intento 'completed' declara un error", "un fallo nunca se reporta como éxito: usá 'failed', 'blocked' o 'cancelled'");
+    }
+    return null;
+}
+function checkUnfinished(receipt) {
+    const broke = receipt.outcome === "failed" || receipt.outcome === "blocked";
+    if (broke && receipt.error === null) {
+        return reject("CAPABILITY_FAILURE_WITHOUT_ERROR", `un intento '${receipt.outcome}' no dice qué falló`, "declará el error con código, mensaje y acción");
+    }
+    if (receipt.outcome === "needs_input" && receipt.gaps.length === 0) {
+        return reject("CAPABILITY_NEEDS_INPUT_WITHOUT_GAPS", "un intento 'needs_input' no enumera qué falta", "declará los requisitos que la continuación tiene que traer");
+    }
+    if (receipt.outcome !== "needs_input" && receipt.gaps.length > 0) {
+        return reject("CAPABILITY_GAPS_WITHOUT_NEEDS_INPUT", `un intento '${receipt.outcome}' enumera requisitos pendientes`, "si falta información el outcome es 'needs_input'");
+    }
+    return null;
+}
+function checkInputDispositions(receipt) {
+    for (const disposition of receipt.inputs) {
+        if (disposition.used || (disposition.reason ?? "").trim().length > 0)
+            continue;
+        return reject("CAPABILITY_INPUT_DISCARDED_SILENTLY", `el input '${disposition.name}' no se usó y el receipt no dice por qué`, "declará el motivo: un input ignorado en silencio es una decisión invisible");
+    }
+    return null;
+}
+function checkEffectLedger(receipt) {
+    const planned = new Set(receipt.effects.planned);
+    const stages = [
+        [receipt.effects.applied, "aplicó"],
+        [receipt.effects.approved, "aprobó"],
+    ];
+    for (const [effects, verb] of stages) {
+        for (const effect of effects) {
+            if (planned.has(effect))
+                continue;
+            return reject("CAPABILITY_EFFECT_UNPLANNED", `se ${verb} un efecto '${effect}' que no estaba planeado`, "declará cada efecto antes de ejercerlo");
+        }
+    }
+    return null;
+}
+function checkDegradations(receipt, descriptor) {
+    const declared = new Set(descriptor.degradations.map((d) => d.cause));
+    for (const degradation of receipt.degradations) {
+        if (!declared.has(degradation.cause)) {
+            return reject("CAPABILITY_DEGRADATION_UNDECLARED", `'${degradation.cause}' no está entre las degradaciones que el contrato declara`, "agregá la causa al descriptor o reportá el intento como fallido");
+        }
+        if (degradation.loss.trim().length === 0) {
+            return reject("CAPABILITY_DEGRADATION_WITHOUT_LOSS", `la degradación '${degradation.cause}' no dice qué se perdió`, "declará la pérdida observable");
+        }
+    }
+    return null;
+}
+/**
+ * Running the floor means no improvement contributed. Listing contributors
+ * anyway is the invented attribution the contract forbids outright.
+ */
+function checkAttribution(receipt) {
+    if (!receipt.floor || receipt.selection.length === 0)
+        return null;
+    return reject("CAPABILITY_FLOOR_WITH_SELECTION", "el receipt dice que corrió el floor y a la vez atribuye contribuyentes", "si corrió el floor, la selección va vacía: no se atribuye lo que no contribuyó");
+}
+const RECEIPT_CHECKS = [
+    checkNextAction,
+    checkCompleted,
+    checkUnfinished,
+    checkInputDispositions,
+    checkEffectLedger,
+    checkDegradations,
+    checkAttribution,
+];
+function checkReceipt(receipt, descriptor) {
+    for (const check of RECEIPT_CHECKS) {
+        const failure = check(receipt, descriptor);
+        if (failure !== null)
+            return failure;
+    }
+    return null;
+}
+/**
+ * The completeness gate, as one predicate everybody shares.
+ *
+ * A gate that demands completeness cannot accept a `partial` output, and the
+ * reason is not pedantry: `partial` means the requested profile is not covered,
+ * so accepting it would let an incomplete package satisfy the very check that
+ * exists to notice incompleteness.
+ */
+export function satisfiesCompletenessGate(receipt) {
+    return receipt.outcome === "completed" && receipt.output?.completeness === "complete";
+}
+/**
+ * Read-only returns and writes nothing. Anything durable or external keeps its
+ * receipt in the registry that ALREADY owns that lifecycle — the governance
+ * record, the session — rather than growing a second store next to it.
+ */
+export function receiptPersistence(receipt) {
+    const touchesTheWorld = receipt.effects.applied.some((e) => e !== "read_only");
+    const durable = receipt.output?.reference != null;
+    return touchesTheWorld || durable ? "registry" : "none";
+}
+/**
+ * The human synthesis — DERIVED, never authored beside the data.
+ *
+ * Every line reads a field of the receipt it was given. That is the same rule
+ * `renderHumanError` already follows for command failures, and it is what makes
+ * "the prose cannot contradict the structured form" a property instead of a
+ * hope: there is no second source for it to disagree with.
+ */
+export function renderReceiptHuman(receipt) {
+    const lines = [
+        `${receipt.capability}.${receipt.operation} — ${receipt.outcome} (intento ${receipt.attempt})`,
+    ];
+    if (receipt.output?.completeness != null) {
+        lines.push(`completitud: ${receipt.output.completeness}`);
+    }
+    if (receipt.output?.reference != null) {
+        const ref = receipt.output.reference;
+        const revision = ref.revision === null ? "" : `@r${ref.revision}`;
+        lines.push(`salida: ${ref.id}${revision} (${ref.digest}) en ${ref.locator}`);
+    }
+    lines.push(receipt.floor
+        ? "ejecutó el floor incorporado"
+        : `contribuyentes: ${receipt.selection.map((s) => `${s.order}. ${s.name}@${s.digest}`).join(", ") || "ninguno"}`);
+    for (const degradation of receipt.degradations) {
+        lines.push(`degradación (${degradation.cause}): ${degradation.loss}`);
+    }
+    for (const validation of receipt.validations) {
+        lines.push(`validación ${validation.id}: ${validation.passed ? "ok" : "falla"}`);
+    }
+    if (receipt.effects.applied.length > 0) {
+        lines.push(`efectos aplicados: ${receipt.effects.applied.join(", ")}`);
+    }
+    for (const gap of receipt.gaps)
+        lines.push(`falta: ${gap}`);
+    if (receipt.error !== null)
+        lines.push(`error ${receipt.error.code}: ${receipt.error.message}`);
+    lines.push(`siguiente: ${receipt.next_action}`);
+    return lines.join("\n");
+}
+//# sourceMappingURL=protocol.js.map

package/dist/domain/capability/protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../../src/domain/capability/protocol.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,kDAAkD,CAAC;AAWlF,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAGhD,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAY7C,MAAM,gBAAgB,GAAG,gEAAgE,CAAC;AAE1F,MAAM,UAAU,eAAe;IAC7B,OAAO,UAAU,EAAE,CAAC;AACtB,CAAC;AAuFD;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAkC;IACvE,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAEvD,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,CAAwB,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAElG,MAAM,IAAI,GAAG;QACX,gBAAgB,EAAE,2BAA2B;QAC7C,aAAa,EAAE,KAAK,CAAC,YAAY;QACjC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI;QACjC,gBAAgB,EAAE,KAAK,CAAC,UAAU,CAAC,gBAAgB;QACnD,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM;QACN,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,CAAC,GAAG,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,EAAE;QAChD,qBAAqB,EAAE,KAAK,CAAC,mBAAmB;KACjD,CAAC;IAEF,OAAO;QACL,EAAE,EAAE,IAAI;QACR,SAAS;QACT,OAAO,EAAE;YACP,GAAG,IAAI;YACP,cAAc,EAAE,cAAc,CAAC,IAAI,CAAC;YACpC,sBAAsB,EAAE,oBAAoB,CAAC,IAAI,CAAC;SACnD;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,IAK7B;IACC,OAAO,cAAc,CAAC;QACpB,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;QAC3B,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI;QACvB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO;QAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;KACnE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAAkC;IACvD,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/C,OAAO;YACL,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,IAAI,KAAK,CAAC,YAAY,0BAA0B;YACzD,MAAM,EAAE,8EAA8E;SACvF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO;YACL,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,qBAAqB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;YACrD,MAAM,EAAE,+DAA+D;SACxE,CAAC;IACJ,CAAC;IACD,sEAAsE;IACtE,0EAA0E;IAC1E,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;QAC9D,OAAO;YACL,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,4CAA4C;YACrD,MAAM,EAAE,uDAAuD;SAChE,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,CAAC,mBAAmB,KAAK,IAAI,EAAE,CAAC;QAC5D,OAAO;YACL,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,WAAW,KAAK,CAAC,OAAO,2CAA2C;YAC5E,MAAM,EAAE,0EAA0E;SACnF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnE,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,8BAA8B,KAAK,CAAC,SAAS,GAAG;YAClF,MAAM,EAAE,eAAe,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,IAAI,KAAK,CAAC,SAAS,+BAA+B,KAAK,CAAC,MAAM,CAAC,KAAK,GAAG;YAChF,MAAM,EAAE,iBAAiB,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACzD,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,WAAW,CAClB,SAA8B,EAC9B,KAAkC;IAElC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,OAAO;gBACL,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,IAAI,SAAS,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,GAAG;gBAClE,MAAM,EAAE,cAAc,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE;aACtF,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,aAAa,KAAK,CAAC,IAAI,mBAAmB;gBACnD,MAAM,EAAE,8BAA8B;aACvC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAErB,2EAA2E;QAC3E,uEAAuE;QACvE,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,qCAAqC;gBAC3C,OAAO,EAAE,aAAa,KAAK,CAAC,IAAI,6BAA6B;gBAC7D,MAAM,EAAE,kEAAkE;aAC3E,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,CAAC,WAAW,KAAK,WAAW,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACpF,OAAO;gBACL,IAAI,EAAE,yCAAyC;gBAC/C,OAAO,EAAE,aAAa,KAAK,CAAC,IAAI,4DAA4D;gBAC5F,MAAM,EAAE,yDAAyD;aAClE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,OAAO;gBACL,IAAI,EAAE,mCAAmC;gBACzC,OAAO,EAAE,IAAI,SAAS,CAAC,IAAI,qBAAqB,IAAI,CAAC,IAAI,GAAG;gBAC5D,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,uBAAuB;aAClD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAcD,MAAM,UAAU,yBAAyB,CACvC,SAA8B,EAC9B,OAA0B;IAE1B,IAAI,SAAS,CAAC,SAAS,KAAK,UAAU,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACrE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;IACxD,CAAC;IACD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,OAAO,EAAE;YACP,IAAI,EAAE,+BAA+B;YACrC,OAAO,EAAE,IAAI,SAAS,CAAC,IAAI,uDAAuD;YAClF,MAAM,EAAE,qFAAqF;SAC9F;KACF,CAAC;AACJ,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAwB;IACzD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,IAAI,QAAQ,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC;QACvC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,mDAAmD;gBAC5D,MAAM,EAAE,mEAAmE;aAC5E;SACF,CAAC;IACJ,CAAC;IACD,OAAO,sBAAsB,CAAC;QAC5B,YAAY,EAAE,MAAM,CAAC,aAAa;QAClC,OAAO,EAAE,MAAM,CAAC,OAAO,GAAG,CAAC;QAC3B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,mBAAmB,EAAE,MAAM,CAAC,cAAc;KAC3C,CAAC,CAAC;AACL,CAAC;AAED,qFAAqF;AACrF,SAAS,cAAc,CAAC,OAA0B;IAChD,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,sBAAsB,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IACtF,OAAO,IAAI,CAAC;AACd,CAAC;AAgCD,MAAM,OAAO,aAAa;IACP,IAAI,GAAG,IAAI,GAAG,EAA+B,CAAC;IAE/D,MAAM,CAAC,OAAwB;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;QACnF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAE5C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,KAAK,KAAK,OAAO,CAAC,cAAc;gBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YACzE,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE;oBACP,IAAI,EAAE,6BAA6B;oBACnC,OAAO,EAAE,cAAc,OAAO,CAAC,OAAO,+BAA+B;oBACrE,MAAM,EAAE,uEAAuE;iBAChF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI,OAAO,CAAC,OAAO,KAAK,OAAO,GAAG,CAAC,EAAE,CAAC;YACpC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE;oBACP,IAAI,EAAE,oCAAoC;oBAC1C,OAAO,EAAE,oBAAoB,OAAO,CAAC,OAAO,gCAAgC,OAAO,EAAE;oBACrF,MAAM,EAAE,oBAAoB,OAAO,GAAG,CAAC,EAAE;iBAC1C;aACF,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;YACvD,IAAI,YAAY,KAAK,OAAO,CAAC,qBAAqB,EAAE,CAAC;gBACnD,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE;wBACP,IAAI,EAAE,iCAAiC;wBACvC,OAAO,EAAE,2DAA2D;wBACpE,MAAM,EAAE,qBAAqB,OAAO,CAAC,OAAO,8BAA8B,OAAO,CAAC,OAAO,GAAG,CAAC,EAAE;qBAChG;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACnC,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,WAAW;IACX,aAAa;IACb,SAAS;IACT,QAAQ;IACR,WAAW;CACH,CAAC;AA8HX;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,OAAO,GAAiB;QAC5B,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;QAC5C,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;QAC9C,OAAO,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;KAC7C,CAAC;IACF,MAAM,OAAO,GAAsB;QACjC,gBAAgB,EAAE,2BAA2B;QAC7C,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;QAC9B,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU;QACpC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS;QAClC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,cAAc;QAC5C,sBAAsB,EAAE,KAAK,CAAC,OAAO,CAAC,sBAAsB;QAC5D,qBAAqB,EAAE,KAAK,CAAC,OAAO,CAAC,qBAAqB;QAC1D,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,SAAS,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACvC,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;QAC5B,WAAW,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC3C,OAAO;QACP,YAAY,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QAC7C,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC7B,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,IAAI;QAC1B,WAAW,EAAE,KAAK,CAAC,UAAU;KAC9B,CAAC;IAEF,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACxD,OAAO,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC3E,CAAC;AAiBD,SAAS,MAAM,CAAC,IAAY,EAAE,OAAe,EAAE,MAAc;IAC3D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,OAAO,MAAM,CACX,mCAAmC,EACnC,sCAAsC,EACtC,kEAAkE,CACnE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAA0B;IAChD,IAAI,OAAO,CAAC,OAAO,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACpE,OAAO,MAAM,CACX,qCAAqC,EACrC,iEAAiE,EACjE,0EAA0E,CAC3E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,MAAM,CACX,iCAAiC,EACjC,yCAAyC,EACzC,6EAA6E,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;IAC5E,IAAI,KAAK,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACpC,OAAO,MAAM,CACX,kCAAkC,EAClC,eAAe,OAAO,CAAC,OAAO,qBAAqB,EACnD,+CAA+C,CAChD,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,MAAM,CACX,qCAAqC,EACrC,+CAA+C,EAC/C,4DAA4D,CAC7D,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,aAAa,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjE,OAAO,MAAM,CACX,qCAAqC,EACrC,eAAe,OAAO,CAAC,OAAO,iCAAiC,EAC/D,kDAAkD,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,sBAAsB,CAAC,OAA0B;IACxD,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/E,OAAO,MAAM,CACX,qCAAqC,EACrC,aAAa,WAAW,CAAC,IAAI,0CAA0C,EACvE,4EAA4E,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,OAA0B;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACjD,MAAM,MAAM,GAA4C;QACtD,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC;QACnC,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC;KACrC,CAAC;IACF,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;QACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,SAAS;YAClC,OAAO,MAAM,CACX,6BAA6B,EAC7B,MAAM,IAAI,eAAe,MAAM,0BAA0B,EACzD,wCAAwC,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,OAA0B,EAC1B,UAAgC;IAEhC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,OAAO,MAAM,CACX,mCAAmC,EACnC,IAAI,WAAW,CAAC,KAAK,2DAA2D,EAChF,iEAAiE,CAClE,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,OAAO,MAAM,CACX,qCAAqC,EACrC,mBAAmB,WAAW,CAAC,KAAK,yBAAyB,EAC7D,+BAA+B,CAChC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,OAA0B;IAClD,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,MAAM,CACX,iCAAiC,EACjC,wEAAwE,EACxE,gFAAgF,CACjF,CAAC;AACJ,CAAC;AAED,MAAM,cAAc,GAA4B;IAC9C,eAAe;IACf,cAAc;IACd,eAAe;IACf,sBAAsB;IACtB,iBAAiB;IACjB,iBAAiB;IACjB,gBAAgB;CACjB,CAAC;AAEF,SAAS,YAAY,CACnB,OAA0B,EAC1B,UAAgC;IAEhC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAA0B;IAClE,OAAO,OAAO,CAAC,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,MAAM,EAAE,YAAY,KAAK,UAAU,CAAC;AACxF,CAAC;AAKD;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA0B;IAC3D,MAAM,eAAe,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,IAAI,IAAI,CAAC;IAClD,OAAO,eAAe,IAAI,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA0B;IAC3D,MAAM,KAAK,GAAG;QACZ,GAAG,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,SAAS,MAAM,OAAO,CAAC,OAAO,aAAa,OAAO,CAAC,OAAO,GAAG;KAC/F,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,EAAE,YAAY,IAAI,IAAI,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,EAAE,SAAS,IAAI,IAAI,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;QACrC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,EAAE,GAAG,QAAQ,KAAK,GAAG,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,CAAC,IAAI,CACR,OAAO,CAAC,KAAK;QACX,CAAC,CAAC,8BAA8B;QAChC,CAAC,CAAC,mBAAmB,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,EAAE,CACnH,CAAC;IACF,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,gBAAgB,WAAW,CAAC,KAAK,MAAM,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,cAAc,UAAU,CAAC,EAAE,KAAK,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,sBAAsB,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAChG,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC;IAChD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}