@jantstack/adonis-authz 2.4.0-alpha.9 → 2.5.0-alpha.2

package/build/src/relations/reconcile.js

@@ -19,23 +19,31 @@
  * puerto (`../types.js`), los errores y la config de relaciones. NO importa
  * `manager` ni `drivers/*`: los drivers concretos los inyecta el llamante (la
  * plataforma), como `manager.reconcile` recibe el destino por su clave.
+ *
+ * **Es un PRIMITIVO PRIVADO** (cierre del auditor de alpha.10 · R1): no sabe
+ * cuál es el driver activo ni toma la ventana durable, así que ya no sale de la
+ * raíz del paquete. La vía pública es `runRelationsReconcile`
+ * (`commands/authz_relations_reconcile.ts`), que resuelve origen y destino por
+ * clave, niega la dirección rancia y congela; la guardia de superficie de
+ * `command_flags.spec.ts` impide re-exportarlo por ningún subpath.
  */
-import { AuthorizationConfigError, MassReconcileRefusedError, RelationTypeUnknownError, RelationUnknownError, UnsupportedOperationError, } from '../errors.js';
+import { AuthorizationConfigError, InvalidIdentityError, MassReconcileRefusedError, RelationTypeUnknownError, RelationUnknownError, RelationUsersetUnsupportedError, UnsupportedOperationError, } from '../errors.js';
 import { systemClock } from '../clock.js';
 import { isActiveExpiry, sameInstant } from '../expiry.js';
+import { assertPartition, scopeKey } from '../identity.js';
 import { isRelUserset } from '../types.js';
-/** La clave estable de una tupla de relación (partición + objeto + relación + sujeto). */
-function subjectKey(subject) {
-    if (isRelUserset(subject))
-        return `${subject.object.type}:${subject.object.id}#${subject.relation}`;
-    return `${subject.type}:${subject.uuid}`;
-}
-function scopeKeyOf(scope) {
-    return scope.type === 'app' ? 'app' : `${scope.type}|${scope.uuid}`;
-}
-function tupleKey(tuple) {
-    return `${scopeKeyOf(tuple.partition)}|${tuple.object.type}:${tuple.object.id}#${tuple.relation}@${subjectKey(tuple.subject)}`;
-}
+import { assertRelationDeclared, assertSupportedUserset } from './define_relations_config.js';
+import { relationTupleKey } from './tuple_key.js';
+/**
+ * La clave con la que se casan origen y destino es `relationTupleKey` (plan
+ * 2.5 · lote A, P3-4): la MISMA función pura y exportada que un consumidor
+ * usa para indexar sus metadatos, con `kind` desde el primer día (hoy todo
+ * lo que un driver enumera es `allow`; el lote D lo trae en `RelationTuple`
+ * y el `kind` explícito de aquí desaparece). Este módulo no define clave
+ * propia ni copia `scopeKey`
+ * (`tests/relation_tuple_key.spec.ts` lo vigila por fuente).
+ */
+const tupleKey = relationTupleKey;
 /**
  * Enumera TODAS las tuplas de las particiones pedidas, repartidas por clave de
  * partición. UNA pasada con `enumerateRelationsMany` si el driver lo trae
@@ -51,10 +59,10 @@ async function enumerateAllMany(driver, partitions, role) {
     }
     const out = new Map();
     for (const partition of partitions)
-        out.set(scopeKeyOf(partition), []);
+        out.set(scopeKey(partition), []);
     const collect = (tuples) => {
         for (const tuple of tuples) {
-            const bucket = out.get(scopeKeyOf(tuple.partition));
+            const bucket = out.get(scopeKey(tuple.partition));
             // Una tupla de una partición que no se pidió no es de esta pasada: el
             // puerto promete «solo las pedidas», y si un driver de terceros trae de
             // más, no se migra lo ajeno.
@@ -101,12 +109,13 @@ export async function reconcileRelations(options) {
     // seguro que salte en la partición 3 no deja las dos primeras a medias.
     const plans = [];
     for (const partition of partitions) {
-        const enumerated = enumeratedByKey.get(scopeKeyOf(partition)) ?? [];
-        const destTuples = destByKeyAll.get(scopeKeyOf(partition)) ?? [];
+        const enumerated = enumeratedByKey.get(scopeKey(partition)) ?? [];
+        const destTuples = destByKeyAll.get(scopeKey(partition)) ?? [];
         plans.push(planPartition(partition, enumerated, destTuples, { now, prune, toConfig }));
     }
     const report = {
         dryRun,
+        prune,
         written: 0,
         updated: 0,
         deleted: 0,
@@ -114,7 +123,9 @@ export async function reconcileRelations(options) {
         extra: 0,
         modelDrift: [],
         massDelete: false,
-        skipped: { expired: 0, undeclared: 0 },
+        allowMassDelete,
+        skipped: { expired: 0, undeclared: 0, invalid: 0, usersetUnsupported: 0 },
+        details: [],
     };
     for (const plan of plans) {
         // **El seguro de borrado masivo** (R-17, paridad con `authz:reconcile` de
@@ -126,10 +137,8 @@ export async function reconcileRelations(options) {
         // recoge no migran, así que no cuentan como respaldo).
         if (plan.massDelete && !dryRun && !allowMassDelete) {
             throw new MassReconcileRefusedError(`authz:relations:reconcile --prune borraría ${plan.toDelete.length} tupla(s) de relación del destino` +
-                `${partitions.length > 1 ? ` (partición ${scopeKeyOf(plan.partition)})` : ''} y el ` +
-                `ORIGEN no ha aportado NI UNA utilizable (${plan.enumerated} leídas` +
-                `${toConfig ? ', todas de tipos que el destino no declara' : ''}` +
-                `${plan.skipped.expired ? `, ${plan.skipped.expired} caducada(s)` : ''}). Eso es la firma de un --from ` +
+                `${partitions.length > 1 ? ` (partición ${scopeKey(plan.partition)})` : ''} y el ` +
+                `ORIGEN no ha aportado NI UNA utilizable (${plan.enumerated} leídas${describeSkipped(plan.skipped)}). Eso es la firma de un --from ` +
                 `equivocado o de un store vacío, no de un destino que sobra: esta pasada dejaría la partición sin ` +
                 `una sola relación. Comprueba el --from y el store; si de verdad quieres vaciarlo, --allow-mass-delete.` +
                 `${partitions.length > 1 ? ' No se ha escrito nada en ninguna partición.' : ''}`);
@@ -137,6 +146,8 @@ export async function reconcileRelations(options) {
         report.massDelete ||= plan.massDelete;
         report.skipped.expired += plan.skipped.expired;
         report.skipped.undeclared += plan.skipped.undeclared;
+        report.skipped.invalid += plan.skipped.invalid;
+        report.skipped.usersetUnsupported += plan.skipped.usersetUnsupported;
         for (const type of plan.modelDrift)
             if (!report.modelDrift.includes(type))
                 report.modelDrift.push(type);
@@ -164,26 +175,170 @@ export async function reconcileRelations(options) {
                 report.skipped.undeclared += 1;
                 updated -= 1;
             }
-            if (prune) {
-                for (const tuple of plan.toDelete) {
-                    await to.unrelate(tuple.subject, tuple.relation, tuple.object, tuple.partition);
-                }
+        }
+        // ⚪ R2 + cierre 1 y cierre 2 del lote B (🟡 N3, una regla, no dos): lo
+        // enumerado fuera de la gramática (`invalid-identity`) y el residuo pre-2.5
+        // de B3 (`userset-unsupported`) se LISTAN siempre, en los dos lados; con
+        // `prune` el del destino lleva `pruned: false` desde el plan — también en
+        // `--dry-run`—, porque NADIE lo borra: ni `toDelete` lo contiene ni el driver
+        // lo ve (hasta el cierre 2 `invalid-identity` se le pedía al driver y los dos
+        // del paquete lo rechazaban por el puerto, R-16). Cuenta en `extra` (abajo)
+        // y es deriva en los cuatro modos.
+        for (const invalid of plan.invalid) {
+            const detail = {
+                side: invalid.side,
+                reason: 'invalid-identity',
+                tuple: invalid.tuple,
+                message: invalid.message,
+            };
+            if (invalid.side === 'destino' && prune)
+                detail.pruned = false;
+            report.details.push(detail);
+        }
+        for (const residue of plan.usersetResidue) {
+            const detail = {
+                side: residue.side,
+                reason: 'userset-unsupported',
+                tuple: residue.tuple,
+                message: residue.message,
+            };
+            if (residue.side === 'destino' && prune)
+                detail.pruned = false;
+            report.details.push(detail);
+        }
+        // Cierre 3 del lote B · 🟠 N9, capa 1: la fila del DESTINO cuya relación o
+        // tipo `toConfig` no declara (una relación RETIRADA con filas vivas) se
+        // clasifica en el PLAN con la MISMA regla que los otros dos motivos: `extra`
+        // + `details`, `pruned: false` bajo `prune` (también en `--dry-run`), nunca
+        // en `toDelete` — `unrelate` la rechazaría por F-05 y hasta el cierre 3 ese
+        // 422 tumbaba la pasada a mitad, después de escribir.
+        for (const residue of plan.undeclaredResidue) {
+            const detail = { side: 'destino', reason: 'undeclared', tuple: residue.tuple, message: residue.message };
+            if (prune)
+                detail.pruned = false;
+            report.details.push(detail);
+        }
+        let deleted = prune ? plan.toDelete.length : 0;
+        let refused = 0;
+        if (!dryRun && prune) {
+            // Todo lo que hay en `toDelete` pasó la gramática Y, con `toConfig`, F-05
+            // del destino: un 422 del driver aquí es el driver diciendo otra cosa que
+            // el plan — o el plan sin `toConfig`, que no pudo anticipar F-05 (🟠 N9,
+            // capa 2). **La poda NUNCA lanza por un 422 de la familia de relaciones**:
+            // se clasifica por `code` con la MISMA regla (`extra` + `details`,
+            // `pruned: false`, deriva), se sigue con las demás filas y el comando sale
+            // ≠ 0 con la línea «sobra (<motivo>) destino:». Un 422 de OTRA familia o
+            // cualquier otro error sigue propagándose: eso sí es una contradicción que
+            // el reporte no sabe contar (R2-5: el plan clasifica, el driver no absorbe
+            // lo que no es suyo).
+            for (const tuple of plan.toDelete) {
+                const refusal = await unrelateOrClassify(to, tuple);
+                if (refusal === null)
+                    continue;
+                report.details.push({ side: 'destino', reason: refusal.reason, tuple: describeTuple(tuple), message: refusal.message, pruned: false });
+                refused += 1;
+                deleted -= 1;
             }
         }
         report.written += written;
         report.updated += updated;
-        report.deleted += prune ? plan.toDelete.length : 0;
+        report.deleted += deleted;
         report.unchanged += plan.unchanged;
-        report.extra += prune ? 0 : plan.toDelete.length;
+        // El residuo del destino (los tres motivos) sobra SIEMPRE, con o sin `prune`:
+        // no está en `toDelete`, así que se suma aparte — más lo que el driver
+        // rechazó con un 422 de la familia en la pasada real (capa 2 de N9).
+        report.extra += (prune ? 0 : plan.toDelete.length) + plan.destResidue + refused;
     }
     return report;
 }
+/**
+ * ⚪ N8 (cierre 2 del lote B): el desglose del seguro R-17, cada motivo POR SU
+ * NOMBRE y solo si cuenta (> 0). Hasta el cierre decía «todas de tipos que el
+ * destino no declara» siempre que había `toConfig`, también cuando el único
+ * aporte era residuo B3 — y sin `toConfig` no nombraba nada.
+ */
+function describeSkipped(skipped) {
+    const parts = [];
+    if (skipped.undeclared)
+        parts.push(`${skipped.undeclared} de tipo o relación que el destino no declara (skipped.undeclared)`);
+    if (skipped.usersetUnsupported)
+        parts.push(`${skipped.usersetUnsupported} con sujeto userset no admitido (B3, skipped.usersetUnsupported)`);
+    if (skipped.invalid)
+        parts.push(`${skipped.invalid} con identidad fuera de la gramática (skipped.invalid)`);
+    if (skipped.expired)
+        parts.push(`${skipped.expired} caducada(s)`);
+    return parts.length ? `: ${parts.join(', ')}` : '';
+}
+/** Una tupla enumerada, legible, para la línea del reporte (sin validar nada: puede estar fuera de la gramática). */
+function describeTuple(tuple) {
+    const s = tuple?.subject;
+    const subject = isRelUserset(s) ? `${s.object?.type}:${s.object?.id}#${s.relation}` : `${s?.type}:${s?.uuid}`;
+    const p = tuple?.partition;
+    const partition = p?.type === 'app' ? 'app' : `${p?.type}|${p?.uuid}`;
+    return `${partition} ${tuple?.object?.type}:${tuple?.object?.id}#${tuple?.relation}@${subject}`;
+}
+/** `tupleKey` de una tupla ENUMERADA: la clave, o el motivo por el que su identidad no entra en la gramática (⚪ R2). */
+function enumeratedKey(tuple) {
+    try {
+        return { key: tupleKey({ ...tuple, kind: 'allow' }) };
+    }
+    catch (error) {
+        if (error instanceof InvalidIdentityError)
+            return { message: error.message };
+        throw error;
+    }
+}
+/**
+ * **El sujeto de una tupla ENUMERADA, clasificado** (cierre 1 del lote B · 🟠 2;
+ * cierre 2 · 🟡 N2): `ok`, `userset-unsupported` (B3: userset ≠ `group#member`,
+ * con o sin config — `assertSupportedUserset` no necesita F-05), o `undeclared`
+ * (solo con `toConfig`: un `group#member` cuyo tipo/relación el destino no
+ * declara — F-05 del par; sin config esa cara la embuda el 422 del driver, como
+ * la del objeto). **La FORMA se juzga ANTES que F-05** (N2; decisión 3 del
+ * cierre 1 rechazada): un residuo B3 es inadmisible con cualquier config, así
+ * que un userset `folder#viewer` o `document#reader` que `toConfig` no declara
+ * es residuo con receta, nunca `undeclared` con el consejo falso «decláralo en
+ * el destino» (declarado, la pasada siguiente lo reclasificaba como residuo).
+ * Mutante «F-05 primero» ⇒ rojo. Nunca lanza por un dato del store
+ * (invariante 5).
+ */
+function classifySubject(tuple, toConfig) {
+    const subject = tuple?.subject;
+    if (!isRelUserset(subject))
+        return { kind: 'ok' };
+    try {
+        assertSupportedUserset(subject);
+        if (toConfig)
+            assertRelationDeclared(toConfig, subject.object, subject.relation);
+        return { kind: 'ok' };
+    }
+    catch (error) {
+        if (error instanceof RelationUsersetUnsupportedError)
+            return { kind: 'userset-unsupported', message: error.message };
+        if (error instanceof RelationTypeUnknownError || error instanceof RelationUnknownError)
+            return { kind: 'undeclared' };
+        throw error;
+    }
+}
 /** Exactamente uno de `partition` / `partitions` (y `partitions` no vacío): lo demás es 500 antes de leer nada. */
 function partitionsOf(options) {
     const { partition, partitions } = options;
     if (partition !== undefined && partitions !== undefined) {
         throw new AuthorizationConfigError('reconcileRelations: pasa `partition` O `partitions`, no los dos.');
     }
+    // alpha.10 · 5, gemelo en la API: `{ type: 'app', uuid: 'x' }` reconciliaba la
+    // RAÍZ en silencio (la clave de `app` ignora el uuid), igual que la pareja
+    // `--partition-type=app --partition-uuid=x` del comando.
+    for (const p of partition !== undefined ? [partition] : Array.isArray(partitions) ? partitions : []) {
+        if (p?.type === 'app' && p.uuid !== null && p.uuid !== undefined) {
+            throw new AuthorizationConfigError(`reconcileRelations: la partición raíz no lleva uuid (llegó { type: 'app', uuid: ${JSON.stringify(p.uuid)} }). ` +
+                'O la raíz ({ type: app, uuid: null }) o el tipo del tenant.');
+        }
+        // D4 (plan 2.5 · lote A): la pasada recibe partición, así que la misma
+        // regla que toda operación del puerto — un uuid sin guiones es 422 antes
+        // de leer nada.
+        assertPartition(p);
+    }
     if (partition !== undefined)
         return [partition];
     if (!Array.isArray(partitions) || partitions.length === 0) {
@@ -193,7 +348,7 @@ function partitionsOf(options) {
     // Dos referencias con la misma clave son la misma partición: se migra una vez.
     const seen = new Set();
     return partitions.filter((p) => {
-        const key = scopeKeyOf(p);
+        const key = scopeKey(p);
         if (seen.has(key))
             return false;
         seen.add(key);
@@ -210,14 +365,40 @@ function planPartition(partition, enumerated, destTuples, context) {
     // pasada real dan los mismos números— y tampoco respalda nada en el destino
     // (una que ya estuviera allí es `extra`, y `--prune` la barre). El tipo se
     // reporta además en `modelDrift` (deriva del modelo fusionado).
-    const skipped = { expired: 0, undeclared: 0 };
+    const skipped = { expired: 0, undeclared: 0, invalid: 0, usersetUnsupported: 0 };
     const modelDrift = [];
     const sourceTuples = [];
+    const invalid = [];
+    const usersetResidue = [];
     for (const tuple of enumerated) {
         if (!isActiveExpiry(tuple.expiresAt ?? null, now)) {
             skipped.expired += 1;
             continue;
         }
+        // ⚪ R2: una identidad fuera de la gramática en el ORIGEN no es una pregunta
+        // del llamante (invariante 5): no se migra —la API del destino no podría
+        // escribirla—, se lista y se cuenta. Nunca un 422 por un dato del store.
+        const keyed = enumeratedKey(tuple);
+        if ('message' in keyed) {
+            skipped.invalid += 1;
+            invalid.push({ side: 'origen', tuple: describeTuple(tuple), message: keyed.message });
+            continue;
+        }
+        // Cierre 1 del lote B · 🟠 2: el residuo pre-2.5 de B3 en el ORIGEN se
+        // clasifica AQUÍ, con o sin `toConfig` — no se migra (ninguna puerta del
+        // destino lo admite), se lista con su receta y se cuenta aparte. Hasta el
+        // cierre llegaba al driver, que lo rechazaba con 422, y `relateOrSkip` lo
+        // tragaba como `undeclared` (consejo falso; `--dry-run` decía `written`).
+        const subject = classifySubject(tuple, toConfig);
+        if (subject.kind === 'userset-unsupported') {
+            skipped.usersetUnsupported += 1;
+            usersetResidue.push({ side: 'origen', tuple: describeTuple(tuple), message: subject.message });
+            continue;
+        }
+        if (subject.kind === 'undeclared') {
+            skipped.undeclared += 1;
+            continue;
+        }
         if (toConfig && !declaredIn(toConfig, tuple.object.type)) {
             skipped.undeclared += 1;
             if (!modelDrift.includes(tuple.object.type))
@@ -232,10 +413,54 @@ function planPartition(partition, enumerated, destTuples, context) {
     }
     const sourceByKey = new Map();
     for (const tuple of sourceTuples)
-        sourceByKey.set(tupleKey(tuple), tuple);
+        sourceByKey.set(tupleKey({ ...tuple, kind: 'allow' }), tuple);
+    // ⚪ R2 + cierre 2 · N3: una tupla del DESTINO fuera de la gramática es
+    // `extra` con motivo (`invalid-identity`): nadie del origen puede respaldarla
+    // (la clave no se puede ni componer) y NADIE la borra — ni `toDelete` (los dos
+    // drivers del paquete la rechazan por el puerto, R-16; hasta el cierre 2 se les
+    // pedía igual) ni un DELETE de plataforma—: se lista con `pruned: false` y es
+    // deriva en los cuatro modos, exactamente como el residuo de B3 de abajo.
     const destByKey = new Map();
-    for (const tuple of destTuples)
-        destByKey.set(tupleKey(tuple), tuple);
+    const destInvalid = new Set();
+    const destResidue = new Set();
+    const undeclaredResidue = [];
+    for (const tuple of destTuples) {
+        const keyed = enumeratedKey(tuple);
+        if ('message' in keyed) {
+            destInvalid.add(tuple);
+            invalid.push({ side: 'destino', tuple: describeTuple(tuple), message: keyed.message });
+            continue;
+        }
+        // Cierre 1 del lote B · 🟠 1: el residuo pre-2.5 de B3 en el DESTINO sobra
+        // (nadie del origen puede respaldarlo: el origen lo descarta arriba) pero
+        // NO entra en `toDelete`: la pasada no se lo pide al driver ni con `--prune`
+        // —`unrelate` lo rechazaría con 422 y hasta el cierre eso ABORTABA la pasada
+        // a mitad, con los `toWrite` ya escritos—. Se lista con `pruned: false` y
+        // la receta, cuenta en `extra` y es deriva. Solo la forma del userset: la
+        // F-05 del par del SUJETO no decide aquí (un userset que pasa la forma es
+        // `group#member`, declarado en toda config).
+        const subject = classifySubject(tuple, undefined);
+        if (subject.kind === 'userset-unsupported') {
+            destResidue.add(tuple);
+            usersetResidue.push({ side: 'destino', tuple: describeTuple(tuple), message: subject.message });
+            continue;
+        }
+        // Cierre 3 del lote B · 🟠 N9 (capa 1): la fila cuya RELACIÓN o TIPO el
+        // destino (`toConfig`) ya no declara — una relación retirada de la config con
+        // filas vivas (`#enumerateRows`/`#sweep` filtran por tipo, no por relación) o
+        // un driver con la config vieja — es la tercera fila que la API no admite:
+        // `unrelate` la rechaza por F-05, así que lleva la MISMA regla que las dos de
+        // arriba (nunca en `toDelete`, `pruned: false`, deriva, receta). La regla es
+        // por la FILA, no por el driver (N3): hasta el cierre 3 un driver viejo la
+        // borraba y el driver nuevo tumbaba la pasada a mitad con un stack crudo.
+        const undeclared = toConfig ? classifyDestinationRow(toConfig, tuple) : null;
+        if (undeclared !== null) {
+            destResidue.add(tuple);
+            undeclaredResidue.push({ tuple: describeTuple(tuple), message: undeclared });
+            continue;
+        }
+        destByKey.set(keyed.key, tuple);
+    }
     const toWrite = [];
     const toUpdate = [];
     let unchanged = 0;
@@ -249,9 +474,81 @@ function planPartition(partition, enumerated, destTuples, context) {
         else
             unchanged += 1;
     }
-    const toDelete = destTuples.filter((tuple) => !sourceByKey.has(tupleKey(tuple)));
+    const toDelete = destTuples.filter((tuple) => !destResidue.has(tuple) && !destInvalid.has(tuple) && !sourceByKey.has(tupleKey({ ...tuple, kind: 'allow' })));
     const massDelete = prune && toDelete.length > 0 && sourceTuples.length === 0;
-    return { partition, enumerated: enumerated.length, toWrite, toUpdate, toDelete, unchanged, skipped, modelDrift, massDelete };
+    return {
+        partition,
+        enumerated: enumerated.length,
+        toWrite,
+        toUpdate,
+        toDelete,
+        unchanged,
+        skipped,
+        modelDrift,
+        massDelete,
+        invalid,
+        usersetResidue,
+        undeclaredResidue,
+        destResidue: destResidue.size + destInvalid.size,
+    };
+}
+/**
+ * **F-05 del destino sobre una fila ENUMERADA del destino** (cierre 3 del lote B ·
+ * 🟠 N9, capa 1): la MISMA `assertRelationDeclared` que corre en la primera línea
+ * de `unrelate` de los dos drivers, aplicada en el plan para que `--dry-run` y la
+ * pasada real den los mismos números y la fila nunca llegue a un `unrelate` que
+ * la rechazaría. Devuelve el porqué (el mensaje de F-05: tipo o relación) o
+ * `null` si el destino la declara. Nunca lanza por un dato del store
+ * (invariante 5): cualquier otra excepción se propaga tal cual.
+ */
+function classifyDestinationRow(toConfig, tuple) {
+    try {
+        assertRelationDeclared(toConfig, tuple.object, tuple.relation);
+        return null;
+    }
+    catch (error) {
+        if (error instanceof RelationTypeUnknownError || error instanceof RelationUnknownError)
+            return error.message;
+        throw error;
+    }
+}
+/**
+ * **Los 422 de la FAMILIA de relaciones, clasificados por `code`** (cierre 3 del
+ * lote B · 🟠 N9, capa 2): lo que el bucle de poda absorbe cuando el driver del
+ * destino rechaza un `unrelate` que el plan dio por bueno — sin `toConfig` el plan
+ * no puede anticipar F-05, y un driver de terceros puede decir cualquiera de los
+ * cuatro—. Por `code` y `status`, no por clase: un driver de terceros lanza su
+ * propia clase con el mismo código. Fuera de esta tabla NADA se absorbe.
+ */
+const RELATION_422_REASONS = Object.freeze({
+    [RelationTypeUnknownError.code]: 'undeclared',
+    [RelationUnknownError.code]: 'undeclared',
+    [RelationUsersetUnsupportedError.code]: 'userset-unsupported',
+    [InvalidIdentityError.code]: 'invalid-identity',
+});
+/**
+ * Borra la tupla del destino; devuelve `null` si se borró (o ya no estaba) y el
+ * motivo + porqué si el DRIVER la rechazó con un 422 de la familia de relaciones
+ * (`RELATION_422_REASONS`): la pasada lo clasifica como residuo del destino con
+ * `pruned: false` y SIGUE con las demás filas (🟠 N9: nunca un throw a mitad de
+ * pasada por una fila que el reporte puede contar). Cualquier otro error —otro
+ * 422, un 503, un `Error`— se propaga tal cual: eso sí es el driver
+ * contradiciendo al plan por algo que la pasada no sabe contar.
+ */
+async function unrelateOrClassify(to, tuple) {
+    try {
+        await to.unrelate(tuple.subject, tuple.relation, tuple.object, tuple.partition);
+        return null;
+    }
+    catch (error) {
+        // Por `status` Y por `code` PROPIO de la tabla (`Object.hasOwn`, repaso del cierre 3 · ⚪ N13): un 422 con un
+        // `code` heredado del prototipo (`constructor`, `toString`, `__proto__`) no es de la familia y se propaga.
+        const code = String(error?.code);
+        const reason = error?.status === 422 && Object.hasOwn(RELATION_422_REASONS, code) ? RELATION_422_REASONS[code] : undefined;
+        if (reason === undefined)
+            throw error;
+        return { reason, message: String(error?.message ?? error) };
+    }
 }
 /** ¿El tipo de objeto cabe en el modelo fusionado del destino? (`group` es built-in: `hasType` lo incluye.) */
 function declaredIn(config, objectType) {
@@ -260,7 +557,12 @@ function declaredIn(config, objectType) {
 /**
  * Escribe la tupla en el destino; `false` si el DRIVER la rechazó por F-05
  * (tipo o relación no declarados: 422 `E_AUTHZ_RELATION_TYPE_UNKNOWN` /
- * `E_AUTHZ_RELATION_UNKNOWN`). Cualquier otro error se propaga tal cual.
+ * `E_AUTHZ_RELATION_UNKNOWN`). Cualquier otro error se propaga tal cual —
+ * **también `E_AUTHZ_RELATION_USERSET_UNSUPPORTED`** (cierre 1 del lote B,
+ * decisión 4 rechazada): esa clase ya no hereda de F-05 y aquí no se absorbe;
+ * el residuo de B3 se clasifica en el PLAN y nunca llega a este `relate`. Un
+ * driver que lo lanzara por una tupla que el plan dio por buena está diciendo
+ * otra cosa, y eso se propaga (R2-5: el plan clasifica, el driver no absorbe).
  */
 async function relateOrSkip(to, tuple) {
     try {
@@ -270,6 +572,8 @@ async function relateOrSkip(to, tuple) {
         return true;
     }
     catch (error) {
+        if (error instanceof RelationUsersetUnsupportedError)
+            throw error;
         if (error instanceof RelationTypeUnknownError || error instanceof RelationUnknownError)
             return false;
         throw error;

package/build/src/relations/reconcile.js.map

@@ -1 +1 @@
-{"version":3,"file":"reconcile.js","sourceRoot":"","sources":["../../../src/relations/reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,EACL,wBAAwB,EACxB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAI1C,0FAA0F;AAC1F,SAAS,UAAU,CAAC,OAAmB;IACrC,IAAI,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAA;IACnG,OAAO,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAA;AAC1C,CAAC;AAED,SAAS,UAAU,CAAC,KAAe;IACjC,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAA;AACrE,CAAC;AAED,SAAS,QAAQ,CAAC,KAAoB;IACpC,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,IAAI,UAAU,CAC3G,KAAK,CAAC,OAAO,CACd,EAAE,CAAA;AACL,CAAC;AA6GD;;;;;;;GAOG;AACH,KAAK,UAAU,gBAAgB,CAC7B,MAAuB,EACvB,UAAsB,EACtB,IAA0B;IAE1B,IAAI,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,kBAAkB,EAAE,CAAC;QAC3E,MAAM,IAAI,yBAAyB,CACjC,oBAAoB,EACpB,OAAO,IAAI,mCAAmC,EAC9C,WAAW,EACX,aAAa,IAAI,wEAAwE;YACvF,kBAAkB,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,kCAAkC,GAAG,CACjH,CAAA;IACH,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAA;IAC9C,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAA;IACtE,MAAM,OAAO,GAAG,CAAC,MAAuB,EAAE,EAAE;QAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAA;YACnD,sEAAsE;YACtE,wEAAwE;YACxE,6BAA6B;YAC7B,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChC,CAAC;IACH,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,sBAAsB,CAAA;IAC1C,MAAM,KAAK,GACT,OAAO,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpF,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;IAC7H,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,IAAI,KAAyB,CAAA;QAC7B,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,GAAG,CAAC;YACF,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAA;YAChC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACpB,KAAK,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,CAAA;YAChC,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,iBAAiB,KAAK,wBAAwB,CAAC,CAAA;gBAC/G,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACf,IAAI,EAAE,KAAK,GAAG,OAAO;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,qCAAqC,CAAC,CAAA;YAC1G,CAAC;QACH,CAAC,QAAQ,KAAK,EAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAAkC;IACzE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,GAAG,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,eAAe,GAAG,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;IAC9F,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,WAAW,CAAC,EAAE,CAAA;IAC1C,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IAExC,4EAA4E;IAC5E,MAAM,eAAe,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;IAC1E,MAAM,YAAY,GAAG,MAAM,gBAAgB,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;IAEtE,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;QACnE,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;QAChE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;IACxF,CAAC;IAED,MAAM,MAAM,GAA6B;QACvC,MAAM;QACN,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,CAAC;QACR,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,KAAK;QACjB,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE;KACvC,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,0EAA0E;QAC1E,+EAA+E;QAC/E,4EAA4E;QAC5E,0EAA0E;QAC1E,6EAA6E;QAC7E,sEAAsE;QACtE,uDAAuD;QACvD,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,IAAI,CAAC,eAAe,EAAE,CAAC;YACnD,MAAM,IAAI,yBAAyB,CACjC,8CAA8C,IAAI,CAAC,QAAQ,CAAC,MAAM,mCAAmC;gBACnG,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ;gBACpF,4CAA4C,IAAI,CAAC,UAAU,SAAS;gBACpE,GAAG,QAAQ,CAAC,CAAC,CAAC,4CAA4C,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjE,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC,EAAE,kCAAkC;gBACxG,mGAAmG;gBACnG,wGAAwG;gBACxG,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,CAAA;QACH,CAAC;QACD,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CAAA;QACrC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;QAC9C,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAA;QACpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzG,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAA;QACjC,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAA;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,qEAAqE;YACrE,oEAAoE;YACpE,6EAA6E;YAC7E,4EAA4E;YAC5E,2EAA2E;YAC3E,yEAAyE;YACzE,8DAA8D;YAC9D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,MAAM,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC;oBAAE,SAAQ;gBAC3C,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;gBAC9B,OAAO,IAAI,CAAC,CAAA;YACd,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,IAAI,MAAM,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC;oBAAE,SAAQ;gBAC3C,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;gBAC9B,OAAO,IAAI,CAAC,CAAA;YACd,CAAC;YACD,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClC,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;gBACjF,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,CAAC,OAAO,IAAI,OAAO,CAAA;QACzB,MAAM,CAAC,OAAO,IAAI,OAAO,CAAA;QACzB,MAAM,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QAClD,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAA;QAClC,MAAM,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAA;IAClD,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,mHAAmH;AACnH,SAAS,YAAY,CAAC,OAAkC;IACtD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,CAAA;IACzC,IAAI,SAAS,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,IAAI,wBAAwB,CAAC,kEAAkE,CAAC,CAAA;IACxG,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,CAAC,SAAS,CAAC,CAAA;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,wBAAwB,CAChC,0HAA0H;YACxH,8CAA8C,CACjD,CAAA;IACH,CAAC;IACD,+EAA+E;IAC/E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;AACJ,CAAC;AAeD,SAAS,aAAa,CACpB,SAAmB,EACnB,UAA2B,EAC3B,UAA2B,EAC3B,OAAkE;IAElE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;IACxC,6EAA6E;IAC7E,0EAA0E;IAC1E,6BAA6B;IAC7B,qEAAqE;IACrE,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,gEAAgE;IAChE,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAA;IAC7C,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,MAAM,YAAY,GAAoB,EAAE,CAAA;IACxC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAClD,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;YACpB,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;YACvB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YAC/E,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxE,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;YACvB,SAAQ;QACV,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAA;IACpD,KAAK,MAAM,KAAK,IAAI,YAAY;QAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;IACzE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAA;IAClD,KAAK,MAAM,KAAK,IAAI,UAAU;QAAE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAA;IAErE,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAoB,EAAE,CAAA;IACpC,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,uEAAuE;aAClE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;;YAC1F,SAAS,IAAI,CAAC,CAAA;IACrB,CAAC;IACD,MAAM,QAAQ,GAAoB,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACjG,MAAM,UAAU,GAAG,KAAK,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,CAAA;IAC5E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,CAAA;AAC9H,CAAC;AAED,+GAA+G;AAC/G,SAAS,UAAU,CAAC,MAAuB,EAAE,UAAkB;IAC7D,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AACnC,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,YAAY,CAAC,EAAmB,EAAE,KAAoB;IACnE,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE;YAC5E,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;SACnC,CAAC,CAAA;QACF,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,wBAAwB,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,KAAK,CAAA;QACpG,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC"}
+{"version":3,"file":"reconcile.js","sourceRoot":"","sources":["../../../src/relations/reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EACL,wBAAwB,EACxB,oBAAoB,EACpB,yBAAyB,EACzB,wBAAwB,EACxB,oBAAoB,EACpB,+BAA+B,EAC/B,yBAAyB,GAC1B,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAEzC,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1D,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAA;AAE7F,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEjD;;;;;;;;GAQG;AACH,MAAM,QAAQ,GAAG,gBAAgB,CAAA;AAyOjC;;;;;;;GAOG;AACH,KAAK,UAAU,gBAAgB,CAC7B,MAAuB,EACvB,UAAsB,EACtB,IAA0B;IAE1B,IAAI,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,kBAAkB,EAAE,CAAC;QAC3E,MAAM,IAAI,yBAAyB,CACjC,oBAAoB,EACpB,OAAO,IAAI,mCAAmC,EAC9C,WAAW,EACX,aAAa,IAAI,wEAAwE;YACvF,kBAAkB,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,kCAAkC,GAAG,CACjH,CAAA;IACH,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA2B,CAAA;IAC9C,KAAK,MAAM,SAAS,IAAI,UAAU;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAA;IACpE,MAAM,OAAO,GAAG,CAAC,MAAuB,EAAE,EAAE;QAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAA;YACjD,sEAAsE;YACtE,wEAAwE;YACxE,6BAA6B;YAC7B,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAChC,CAAC;IACH,CAAC,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,sBAAsB,CAAA;IAC1C,MAAM,KAAK,GACT,OAAO,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACpF,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,KAAc,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAmB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;IAC7H,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,IAAI,KAAyB,CAAA;QAC7B,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,GAAG,CAAC;YACF,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAA;YAChC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACpB,KAAK,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,CAAA;YAChC,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,iBAAiB,KAAK,wBAAwB,CAAC,CAAA;gBAC/G,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;gBACf,IAAI,EAAE,KAAK,GAAG,OAAO;oBAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,qCAAqC,CAAC,CAAA;YAC1G,CAAC;QACH,CAAC,QAAQ,KAAK,EAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,OAAkC;IACzE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,GAAG,KAAK,EAAE,KAAK,GAAG,KAAK,EAAE,eAAe,GAAG,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;IAC9F,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,WAAW,CAAC,EAAE,CAAA;IAC1C,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;IAExC,4EAA4E;IAC5E,MAAM,eAAe,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAA;IAC1E,MAAM,YAAY,GAAG,MAAM,gBAAgB,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,CAAC,CAAA;IAEtE,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;QACjE,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;QAC9D,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;IACxF,CAAC;IAED,MAAM,MAAM,GAA6B;QACvC,MAAM;QACN,KAAK;QACL,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,CAAC;QACR,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,KAAK;QACjB,eAAe;QACf,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE;QACzE,OAAO,EAAE,EAAE;KACZ,CAAA;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,0EAA0E;QAC1E,+EAA+E;QAC/E,4EAA4E;QAC5E,0EAA0E;QAC1E,6EAA6E;QAC7E,sEAAsE;QACtE,uDAAuD;QACvD,IAAI,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,IAAI,CAAC,eAAe,EAAE,CAAC;YACnD,MAAM,IAAI,yBAAyB,CACjC,8CAA8C,IAAI,CAAC,QAAQ,CAAC,MAAM,mCAAmC;gBACnG,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ;gBAClF,4CAA4C,IAAI,CAAC,UAAU,UAAU,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,kCAAkC;gBACpI,mGAAmG;gBACnG,wGAAwG;gBACxG,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,EAAE,EAAE,CACnF,CAAA;QACH,CAAC;QACD,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CAAA;QACrC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;QAC9C,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAA;QACpD,MAAM,CAAC,OAAO,CAAC,OAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAA;QAC/C,MAAM,CAAC,OAAO,CAAC,kBAAmB,IAAI,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAA;QACrE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;YAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzG,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAA;QACjC,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAA;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,qEAAqE;YACrE,oEAAoE;YACpE,6EAA6E;YAC7E,4EAA4E;YAC5E,2EAA2E;YAC3E,yEAAyE;YACzE,8DAA8D;YAC9D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,IAAI,MAAM,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC;oBAAE,SAAQ;gBAC3C,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;gBAC9B,OAAO,IAAI,CAAC,CAAA;YACd,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,IAAI,MAAM,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC;oBAAE,SAAQ;gBAC3C,MAAM,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;gBAC9B,OAAO,IAAI,CAAC,CAAA;YACd,CAAC;QACH,CAAC;QACD,uEAAuE;QACvE,4EAA4E;QAC5E,yEAAyE;QACzE,0EAA0E;QAC1E,8EAA8E;QAC9E,8EAA8E;QAC9E,4EAA4E;QAC5E,mCAAmC;QACnC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,MAAM,GAA6B;gBACvC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,MAAM,EAAE,kBAAkB;gBAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAA;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK;gBAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAA;YAC9D,MAAM,CAAC,OAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC9B,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YAC1C,MAAM,MAAM,GAA6B;gBACvC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,MAAM,EAAE,qBAAqB;gBAC7B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,OAAO,EAAE,OAAO,CAAC,OAAO;aACzB,CAAA;YACD,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK;gBAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAA;YAC9D,MAAM,CAAC,OAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC9B,CAAC;QACD,2EAA2E;QAC3E,wEAAwE;QACxE,6EAA6E;QAC7E,4EAA4E;QAC5E,4EAA4E;QAC5E,sDAAsD;QACtD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC7C,MAAM,MAAM,GAA6B,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAA;YAClI,IAAI,KAAK;gBAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAA;YAChC,MAAM,CAAC,OAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC9B,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QAC9C,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;YACrB,0EAA0E;YAC1E,0EAA0E;YAC1E,yEAAyE;YACzE,2EAA2E;YAC3E,mEAAmE;YACnE,2EAA2E;YAC3E,yEAAyE;YACzE,2EAA2E;YAC3E,2EAA2E;YAC3E,sBAAsB;YACtB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBACnD,IAAI,OAAO,KAAK,IAAI;oBAAE,SAAQ;gBAC9B,MAAM,CAAC,OAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;gBACvI,OAAO,IAAI,CAAC,CAAA;gBACZ,OAAO,IAAI,CAAC,CAAA;YACd,CAAC;QACH,CAAC;QACD,MAAM,CAAC,OAAO,IAAI,OAAO,CAAA;QACzB,MAAM,CAAC,OAAO,IAAI,OAAO,CAAA;QACzB,MAAM,CAAC,OAAO,IAAI,OAAO,CAAA;QACzB,MAAM,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAA;QAClC,8EAA8E;QAC9E,uEAAuE;QACvE,qEAAqE;QACrE,MAAM,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,OAAO,CAAA;IACjF,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,OAAiC;IACxD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,OAAO,CAAC,UAAU;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,oEAAoE,CAAC,CAAA;IAC7H,IAAI,OAAO,CAAC,kBAAkB;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,kBAAkB,kEAAkE,CAAC,CAAA;IAC3I,IAAI,OAAO,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,wDAAwD,CAAC,CAAA;IAC3G,IAAI,OAAO,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,cAAc,CAAC,CAAA;IACjE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;AACpD,CAAC;AAED,qHAAqH;AACrH,SAAS,aAAa,CAAC,KAAoB;IACzC,MAAM,CAAC,GAAQ,KAAK,EAAE,OAAO,CAAA;IAC7B,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAA;IAC7G,MAAM,CAAC,GAAQ,KAAK,EAAE,SAAS,CAAA;IAC/B,MAAM,SAAS,GAAG,CAAC,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,CAAA;IACrE,OAAO,GAAG,SAAS,IAAI,KAAK,EAAE,MAAM,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,KAAK,EAAE,QAAQ,IAAI,OAAO,EAAE,CAAA;AACjG,CAAC;AAED,wHAAwH;AACxH,SAAS,aAAa,CAAC,KAAoB;IACzC,IAAI,CAAC;QACH,OAAO,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;IACvD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;QAC5E,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,eAAe,CACtB,KAAoB,EACpB,QAAqC;IAErC,MAAM,OAAO,GAAQ,KAAK,EAAE,OAAO,CAAA;IACnC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IACjD,IAAI,CAAC;QACH,sBAAsB,CAAC,OAAO,CAAC,CAAA;QAC/B,IAAI,QAAQ;YAAE,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAA;QAChF,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IACvB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,+BAA+B;YAAE,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;QACpH,IAAI,KAAK,YAAY,wBAAwB,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAA;QACrH,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED,mHAAmH;AACnH,SAAS,YAAY,CAAC,OAAkC;IACtD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,OAAO,CAAA;IACzC,IAAI,SAAS,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACxD,MAAM,IAAI,wBAAwB,CAAC,kEAAkE,CAAC,CAAA;IACxG,CAAC;IACD,+EAA+E;IAC/E,2EAA2E;IAC3E,yDAAyD;IACzD,KAAK,MAAM,CAAC,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACpG,IAAI,CAAC,EAAE,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjE,MAAM,IAAI,wBAAwB,CAChC,mFAAmF,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO;gBAC9G,6DAA6D,CAChE,CAAA;QACH,CAAC;QACD,uEAAuE;QACvE,yEAAyE;QACzE,gBAAgB;QAChB,eAAe,CAAC,CAAC,CAAC,CAAA;IACpB,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,CAAC,SAAS,CAAC,CAAA;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,wBAAwB,CAChC,0HAA0H;YACxH,8CAA8C,CACjD,CAAA;IACH,CAAC;IACD,+EAA+E;IAC/E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAA;QAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,CAAA;AACJ,CAAC;AAuBD,SAAS,aAAa,CACpB,SAAmB,EACnB,UAA2B,EAC3B,UAA2B,EAC3B,OAAkE;IAElE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;IACxC,6EAA6E;IAC7E,0EAA0E;IAC1E,6BAA6B;IAC7B,qEAAqE;IACrE,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,gEAAgE;IAChE,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,CAAA;IAChF,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,MAAM,YAAY,GAAoB,EAAE,CAAA;IACxC,MAAM,OAAO,GAA6B,EAAE,CAAA;IAC5C,MAAM,cAAc,GAAoC,EAAE,CAAA;IAC1D,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAClD,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;YACpB,SAAQ;QACV,CAAC;QACD,4EAA4E;QAC5E,yEAAyE;QACzE,yEAAyE;QACzE,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;YACvB,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;YACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YACrF,SAAQ;QACV,CAAC;QACD,uEAAuE;QACvE,yEAAyE;QACzE,0EAA0E;QAC1E,0EAA0E;QAC1E,0EAA0E;QAC1E,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;QAChD,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC3C,OAAO,CAAC,kBAAkB,IAAI,CAAC,CAAA;YAC/B,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;YAC9F,SAAQ;QACV,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAClC,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;YACvB,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;YACvB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YAC/E,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxE,OAAO,CAAC,UAAU,IAAI,CAAC,CAAA;YACvB,SAAQ;QACV,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAA;IACpD,KAAK,MAAM,KAAK,IAAI,YAAY;QAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;IAC/F,uEAAuE;IACvE,8EAA8E;IAC9E,+EAA+E;IAC/E,gFAAgF;IAChF,8EAA8E;IAC9E,0EAA0E;IAC1E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAA;IAClD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAiB,CAAA;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAiB,CAAA;IAC5C,MAAM,iBAAiB,GAAuC,EAAE,CAAA;IAChE,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;YACvB,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACtB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YACtF,SAAQ;QACV,CAAC;QACD,2EAA2E;QAC3E,0EAA0E;QAC1E,6EAA6E;QAC7E,6EAA6E;QAC7E,0EAA0E;QAC1E,0EAA0E;QAC1E,0EAA0E;QAC1E,6CAA6C;QAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;QACjD,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAC3C,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACtB,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;YAC/F,SAAQ;QACV,CAAC;QACD,wEAAwE;QACxE,8EAA8E;QAC9E,8EAA8E;QAC9E,2EAA2E;QAC3E,8EAA8E;QAC9E,6EAA6E;QAC7E,2EAA2E;QAC3E,0EAA0E;QAC1E,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAC5E,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YACtB,iBAAiB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAA;YAC5E,SAAQ;QACV,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACjC,CAAC;IAED,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAoB,EAAE,CAAA;IACpC,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,uEAAuE;aAClE,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,IAAI,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;;YAC1F,SAAS,IAAI,CAAC,CAAA;IACrB,CAAC;IACD,MAAM,QAAQ,GAAoB,UAAU,CAAC,MAAM,CACjD,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CACzH,CAAA;IACD,MAAM,UAAU,GAAG,KAAK,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,CAAA;IAC5E,OAAO;QACL,SAAS;QACT,UAAU,EAAE,UAAU,CAAC,MAAM;QAC7B,OAAO;QACP,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,OAAO;QACP,UAAU;QACV,UAAU;QACV,OAAO;QACP,cAAc;QACd,iBAAiB;QACjB,WAAW,EAAE,WAAW,CAAC,IAAI,GAAG,WAAW,CAAC,IAAI;KACjD,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,sBAAsB,CAAC,QAAyB,EAAE,KAAoB;IAC7E,IAAI,CAAC;QACH,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC9D,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,wBAAwB,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,KAAK,CAAC,OAAO,CAAA;QAC5G,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,oBAAoB,GAAiE,MAAM,CAAC,MAAM,CAAC;IACvG,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,YAAY;IAC7C,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,YAAY;IACzC,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,qBAAqB;IAC7D,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,kBAAkB;CAChD,CAAC,CAAA;AAEF;;;;;;;;GAQG;AACH,KAAK,UAAU,kBAAkB,CAC/B,EAAmB,EACnB,KAAoB;IAEpB,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;QAC/E,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,OAAO,KAAU,EAAE,CAAC;QACpB,6GAA6G;QAC7G,2GAA2G;QAC3G,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAChC,MAAM,MAAM,GACV,KAAK,EAAE,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,oBAAoB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC7G,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,KAAK,CAAA;QACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,IAAI,KAAK,CAAC,EAAE,CAAA;IAC7D,CAAC;AACH,CAAC;AAED,+GAA+G;AAC/G,SAAS,UAAU,CAAC,MAAuB,EAAE,UAAkB;IAC7D,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AACnC,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,YAAY,CAAC,EAAmB,EAAE,KAAoB;IACnE,IAAI,CAAC;QACH,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE;YAC5E,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI;SACnC,CAAC,CAAA;QACF,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,+BAA+B;YAAE,MAAM,KAAK,CAAA;QACjE,IAAI,KAAK,YAAY,wBAAwB,IAAI,KAAK,YAAY,oBAAoB;YAAE,OAAO,KAAK,CAAA;QACpG,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC"}

package/build/src/relations/tuple_key.d.ts

@@ -0,0 +1,25 @@
+import type { RelObject, RelSubject, ScopeRef } from '../types.js';
+export type RelationTupleKind = 'allow' | 'deny';
+/**
+ * Lo que identifica una tupla: la forma de `RelationTuple` más el `kind`,
+ * **obligatorio y sin default** (⚪ A9 del auditor del lote A): `allow` por
+ * omisión era el modo de fallo peligroso —un deny enumerado por un driver que
+ * no pusiera `kind` casaría con el allow en `reconcileRelations`—. Quien
+ * casa tuplas dice de qué clase son.
+ */
+export interface RelationTupleIdentity {
+    partition: ScopeRef;
+    object: RelObject;
+    relation: string;
+    subject: RelSubject;
+    kind: RelationTupleKind;
+}
+/**
+ * La clave de un SUJETO: holder `<type>:<uuid>`, userset `<type>:<id>#<relation>`.
+ * Valida sus componentes con la gramática de identidad (⚪ A9): sin ella
+ * `{ relation: 'b@user:c#d' }` y un userset legítimo daban la MISMA clave y
+ * el «parseo unívoco» del docblock era falso.
+ */
+export declare function relationSubjectKey(subject: RelSubject): string;
+export declare function relationTupleKey(tuple: RelationTupleIdentity): string;
+//# sourceMappingURL=tuple_key.d.ts.map

package/build/src/relations/tuple_key.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple_key.d.ts","sourceRoot":"","sources":["../../../src/relations/tuple_key.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAElE,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,MAAM,CAAA;AAEhD;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,SAAS,EAAE,QAAQ,CAAA;IACnB,MAAM,EAAE,SAAS,CAAA;IACjB,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,UAAU,CAAA;IACnB,IAAI,EAAE,iBAAiB,CAAA;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,CAS9D;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAcrE"}

package/build/src/relations/tuple_key.js

@@ -0,0 +1,60 @@
+/**
+ * **`relationTupleKey` — la clave PURA y estable de una tupla de relación**
+ * (plan 2.5 · lote A, P3 del 7.º informe de COGNITIV; `panel-tenencia-juez.md`
+ * §P3: «sin `meta` en el paquete; clave pura sí»).
+ *
+ * Determinista e inyectiva sobre los cinco componentes que identifican una
+ * tupla —`kind`, partición, objeto (tipo + id), relación y sujeto (holder o
+ * userset)— y SOLO sobre ellos: la caducidad no entra (renovarla no cambia la
+ * identidad; en `database` sí cambia el uuid de fila, que por eso tampoco
+ * sirve de clave), y el `uuid` de fila o el id del store tampoco. Es la clave
+ * que `reconcileRelations` usa para casar origen y destino, y la que un
+ * consumidor puede usar para indexar sus propios metadatos sobre una tupla
+ * sin que el paquete los guarde.
+ *
+ * **`kind` desde el primer día, con literal de oro**: el lote D trae el deny
+ * como tuplas `kind: 'deny'`. Para que un deny y un allow sobre la misma
+ * terna nunca colapsen en una clave —y para que la clave de un allow que ya
+ * está en un índice del consumidor NO cambie cuando llegue el deny—, el
+ * `kind` va en la clave desde ahora (OBLIGATORIO, sin default: ⚪ A9) y
+ * `tests/relation_tuple_key.spec.ts` fija el literal exacto de un allow.
+ *
+ * Forma: `<kind>|<scopeKey(partition)>|<object.type>:<object.id>#<relation>@<subject>`,
+ * con `<subject>` = `<type>:<uuid>` (holder) o `<type>:<id>#<relation>`
+ * (userset). Ningún componente admite `|`, `#`, `:` ni `@` —la gramática de
+ * identidad se APLICA aquí a cada componente (⚪ A9), no se presupone—, así
+ * que el parseo es unívoco.
+ *
+ * Pureza (regla 2): solo el puerto y la gramática de identidad.
+ */
+import { InvalidIdentityError } from '../errors.js';
+import { assertRelationId, assertSubject, scopeKey } from '../identity.js';
+import { isRelUserset } from '../types.js';
+/**
+ * La clave de un SUJETO: holder `<type>:<uuid>`, userset `<type>:<id>#<relation>`.
+ * Valida sus componentes con la gramática de identidad (⚪ A9): sin ella
+ * `{ relation: 'b@user:c#d' }` y un userset legítimo daban la MISMA clave y
+ * el «parseo unívoco» del docblock era falso.
+ */
+export function relationSubjectKey(subject) {
+    if (isRelUserset(subject)) {
+        assertRelationId('el tipo del objeto del userset', subject.object?.type);
+        assertRelationId(`el id del objeto '${subject.object?.type}' del userset`, subject.object?.id);
+        assertRelationId('la relación del userset', subject.relation);
+        return `${subject.object.type}:${subject.object.id}#${subject.relation}`;
+    }
+    assertSubject(subject);
+    return `${subject.type}:${subject.uuid}`;
+}
+export function relationTupleKey(tuple) {
+    const kind = tuple?.kind;
+    if (kind !== 'allow' && kind !== 'deny') {
+        throw new InvalidIdentityError(`relationTupleKey: kind inválido ${kind === undefined ? 'ausente' : `'${String(kind)}'`} ` +
+            `(se exige 'allow' o 'deny', sin default: un deny sin kind casaría con el allow)`);
+    }
+    assertRelationId('el tipo del objeto', tuple.object?.type);
+    assertRelationId(`el id del objeto '${tuple.object?.type}'`, tuple.object?.id);
+    assertRelationId('la relación', tuple.relation);
+    return `${kind}|${scopeKey(tuple.partition)}|${tuple.object.type}:${tuple.object.id}#${tuple.relation}@${relationSubjectKey(tuple.subject)}`;
+}
+//# sourceMappingURL=tuple_key.js.map