@jantstack/adonis-authz 2.0.0-alpha.1 → 2.4.0-alpha.1

package/build/src/testing/migration_contract.js

@@ -0,0 +1,586 @@
+/**
+ * **El contrato de MIGRACIÓN** (3b-3b · B3) — la pieza que convierte «migra»
+ * en «migra sin perder nada que no esté declarado».
+ *
+ *   import { runMigrationContract } from '@jantstack/adonis-authz/testing'
+ *
+ * Se publica junto al resto de la suite de contrato porque un driver de
+ * TERCEROS tiene que poder correrlo: el paquete promete migración idempotente
+ * y bidireccional entre drivers, y esa promesa no la puede sostener un test
+ * privado del paquete.
+ *
+ * Cómo funciona, y por qué así:
+ *
+ *  1. **Siembra FIJA** — 7 nodos, 6 holders, 4 roles, 14 grants, 5
+ *     caducidades y 6 denies, escritos siempre con la API del driver. Fija a
+ *     propósito: un fixture que cambia con cada corrida no permite comparar
+ *     dos versiones del paquete, y el juez del panel 2 pedía «un set fijo de
+ *     preguntas».
+ *  2. **448 preguntas idénticas** en origen y destino: 168 `authorize`
+ *     (6 holders × 7 scopes × 4 permisos), 168 `hasRole` (× 4 roles), 42
+ *     `listRoles`, 24 `listScopes`, 28 `listSubjects` y 18 `listRoleScopes`.
+ *     Se preguntan ANTES de migrar sobre el origen y DESPUÉS sobre el
+ *     destino, y las respuestas tienen que coincidir.
+ *  3. **`expectedLosses`** — la migración **no es sin pérdida** (panel 2,
+ *     requisito 3 del dueño: *«posible con pérdidas declaradas y con
+ *     ventana»*), así que las pérdidas se declaran DE ANTEMANO y el contrato
+ *     las cruza en las dos direcciones:
+ *       - una pérdida declarada tiene que aparecer **contada en
+ *         `report.skipped`**; si no aparece, el contrato FALLA (una pérdida
+ *         que nunca ocurre es una línea falsa en el README);
+ *       - una respuesta que cambia y que NINGUNA pérdida declarada explica
+ *         hace FALLAR el contrato. Ese es todo el punto: **nunca se ignora
+ *         ninguna**.
+ *  4. **El CENSO de la siembra** (lote 3b-4 · C1) — y esto es lo que hace
+ *     que el punto 3 sea una garantía y no un formulario. Las dos caras de
+ *     `expectedLosses` cruzan `Object.keys(report.skipped)`, o sea **lo que
+ *     el driver se auto-declara**: cierran las omisiones DESCUIDADAS, no las
+ *     silenciosas. Un driver que tira un hecho sin contarlo no puebla
+ *     `skipped` y, si esa pérdida no mueve ninguna de las 448, pasaba.
+ *     Medido, y no es teórico: los denies solo se observan por `authorize`,
+ *     que no distingue un deny en su sitio de uno reubicado a otro scope de
+ *     la misma cadena.
+ *     El censo no le pregunta al driver qué se dejó: mira el destino **hecho
+ *     a hecho** (los 20 de la siembra: 14 asignaciones + 6 denies) por el
+ *     camino DIRECTO del puerto —`listRoles`/`listDenies`, invariante 7— y
+ *     una ausencia sin motivo declarado **y contado** hace FALLAR el
+ *     contrato. `listDenies` es opcional en el puerto: un driver que no lo
+ *     traiga deja sus denies observados solo por `authorize`, y el veredicto
+ *     lo dice en `censusLimits` en vez de callárselo.
+ *  5. **El CRUCE DE CADUCIDADES** — ninguna de las 448 devuelve un
+ *     `expiresAt` y el contrato no adelanta ningún reloj, así que perder la
+ *     caducidad de un grant VIVO (convertirlo en permanente: fail-OPEN) era
+ *     invisible. Se cruza por el único camino de solo-lectura-efectiva que
+ *     hay en el puerto: `grant` con `expiresAt` OMITIDO devuelve
+ *     `previousExpiresAt` (invariante 10).
+ *  6. **Tres combinaciones**: ida, vuelta e ida-y-vuelta (con `--prune`, que
+ *     es la que demuestra que el viaje redondo no inventa ni pierde).
+ *
+ * **El límite de `a→b→a`, dicho en voz alta** (tester Fase 3b · M3): las 448
+ * de la vuelta se le preguntan al ORIGEN, y **nadie lo vacía** entre los dos
+ * tramos. Así que esa combinación observa lo que el tramo de vuelta DESTRUYE
+ * (un `--prune` que se lleva de más) y **no** lo que deja de escribir: con el
+ * origen ya lleno, «todo `unchanged`» es la respuesta correcta y un tramo
+ * omisivo es indistinguible de uno bueno. Quien migra de verdad (vacía el
+ * origen y lo reconstruye) está cubierto por las combinaciones `a→b` y `b→a`,
+ * que sí preguntan al destino recién llenado. Cerrar el hueco pide un gancho
+ * nuevo en el harness («vacía los hechos de este extremo»), que es una
+ * decisión del dueño y no se toma aquí.
+ *
+ * El motor está separado del registro de casos (`runMigrationDirection` /
+ * `runMigrationContract`) para que el propio paquete pueda comprobar que el
+ * contrato **sabe fallar**: un contrato que no falla no es una garantía.
+ */
+import { test } from '@japa/runner';
+import { v7 as uuidv7 } from 'uuid';
+import { APP_SCOPE } from '../types.js';
+import { scopeKey } from '../identity.js';
+import { memoryScopeTree } from './scope_tree.js';
+/* ── La siembra FIJA ─────────────────────────────────────────────────────── */
+/** Los 4 permisos del contrato de migración. `admin:all` no lo lleva ningún rol: hay preguntas que son `false` en todas partes. */
+export const MIGRATION_PERMISSIONS = ['docs:read', 'docs:write', 'billing:read', 'admin:all'];
+/** Los 4 roles, uno por nivel útil (dos a `app`, para que el nivel no sea la única variable). */
+export const MIGRATION_ROLES = ['mig-editor', 'mig-viewer', 'mig-lead', 'mig-auditor'];
+export const MIGRATION_CATALOG = {
+    permissions: MIGRATION_PERMISSIONS.map((slug) => ({ slug })),
+    roles: [
+        { slug: 'mig-editor', scopeType: 'app', permissions: ['docs:read', 'docs:write'] },
+        { slug: 'mig-viewer', scopeType: 'organization', permissions: ['docs:read'] },
+        { slug: 'mig-lead', scopeType: 'unit', permissions: ['docs:read', 'docs:write', 'billing:read'] },
+        { slug: 'mig-auditor', scopeType: 'app', permissions: ['billing:read'] },
+    ],
+};
+export function makeMigrationSeed(now = new Date()) {
+    const shared = uuidv7();
+    return {
+        scopes: {
+            app: APP_SCOPE,
+            org1: { type: 'organization', uuid: uuidv7() },
+            org2: { type: 'organization', uuid: uuidv7() },
+            unit1: { type: 'unit', uuid: uuidv7() },
+            unit2: { type: 'unit', uuid: uuidv7() },
+            unit3: { type: 'unit', uuid: uuidv7() },
+            unit4: { type: 'unit', uuid: uuidv7() },
+        },
+        holders: [
+            { type: 'users', uuid: uuidv7() },
+            { type: 'users', uuid: uuidv7() },
+            { type: 'users', uuid: uuidv7() },
+            { type: 'users', uuid: shared },
+            // Invariante 4: el MISMO uuid con otro morph name jamás se cruza.
+            { type: 'admins', uuid: shared },
+            { type: 'admins', uuid: uuidv7() },
+        ],
+        now,
+    };
+}
+/** El árbol: 7 nodos con profundidad 4 (`app → org1 → unit1 → unit4`). */
+export async function plantMigrationTree(tree, seed) {
+    const s = seed.scopes;
+    await tree.attach(s.org1, s.app);
+    await tree.attach(s.org2, s.app);
+    await tree.attach(s.unit1, s.org1);
+    await tree.attach(s.unit2, s.org1);
+    await tree.attach(s.unit3, s.org2);
+    await tree.attach(s.unit4, s.unit1);
+}
+/**
+ * **Los 14 grants, en una tabla** — para que la siembra y el CRUCE DE
+ * CADUCIDADES salgan del mismo sitio: dos listas paralelas se separan al
+ * primer cambio y el cruce dejaría de comprobar lo que se sembró.
+ */
+export function migrationGrants(seed) {
+    const s = seed.scopes;
+    const [u1, u2, u3, u4, a1, a2] = seed.holders;
+    const soon = new Date(seed.now.getTime() + 3_600_000);
+    const later = new Date(seed.now.getTime() + 7_200_000);
+    const past = new Date(seed.now.getTime() - 3_600_000);
+    return [
+        { holder: u1, role: 'mig-editor', scope: s.app },
+        { holder: u1, role: 'mig-viewer', scope: s.org2 },
+        { holder: u2, role: 'mig-viewer', scope: s.org1 },
+        { holder: u2, role: 'mig-lead', scope: s.unit3, expiresAt: soon },
+        { holder: u3, role: 'mig-lead', scope: s.unit1 },
+        { holder: u3, role: 'mig-lead', scope: s.unit2, expiresAt: later },
+        // La caducada: existe en el origen y NO concede. Es la pérdida `expired`.
+        { holder: u3, role: 'mig-auditor', scope: s.app, expiresAt: past, expired: true },
+        { holder: u4, role: 'mig-lead', scope: s.unit4 },
+        { holder: u4, role: 'mig-viewer', scope: s.org1, expiresAt: later },
+        { holder: a1, role: 'mig-editor', scope: s.app },
+        { holder: a1, role: 'mig-lead', scope: s.unit1 },
+        { holder: a2, role: 'mig-viewer', scope: s.org2 },
+        { holder: a2, role: 'mig-auditor', scope: s.app },
+        { holder: u2, role: 'mig-lead', scope: s.unit4, expiresAt: soon },
+    ];
+}
+/**
+ * **Los 6 denies, en una tabla** — misma razón que los grants: el CENSO
+ * (abajo) tiene que preguntar por lo que se sembró, y dos listas paralelas se
+ * separan al primer cambio.
+ */
+export function migrationDenies(seed) {
+    const s = seed.scopes;
+    const [u1, u2, u3, u4, a1, a2] = seed.holders;
+    return [
+        { holder: u1, permission: 'docs:write', scope: s.org2 },
+        { holder: u2, permission: 'docs:read', scope: s.unit3 },
+        { holder: u3, permission: 'docs:write', scope: s.unit1 },
+        { holder: u4, permission: 'billing:read', scope: s.app },
+        { holder: a1, permission: 'docs:read', scope: s.unit1 },
+        { holder: a2, permission: 'billing:read', scope: s.org2 },
+    ];
+}
+export async function plantMigrationFacts(driver, seed) {
+    for (const g of migrationGrants(seed)) {
+        await driver.grant(g.holder, g.role, g.scope, g.expiresAt ? { expiresAt: g.expiresAt } : {});
+    }
+    for (const d of migrationDenies(seed)) {
+        await driver.deny(d.holder, d.permission, d.scope);
+    }
+}
+/** Los 20 hechos de la siembra (14 asignaciones + 6 denies), en un solo sitio. */
+export function migrationFacts(seed) {
+    const facts = migrationGrants(seed).map((g) => ({
+        kind: 'assignment',
+        holder: g.holder,
+        scope: g.scope,
+        name: g.role,
+        // La caducada NO llega al destino, y eso está declarado: es la pérdida
+        // `expired`. Cualquier otra ausencia es un fallo.
+        ...(g.expired ? { expectedLoss: 'expired' } : {}),
+    }));
+    for (const d of migrationDenies(seed)) {
+        facts.push({ kind: 'deny', holder: d.holder, scope: d.scope, name: d.permission });
+    }
+    return facts;
+}
+/** Cómo se nombra un hecho en el informe del contrato. */
+export function describeMigrationFact(fact) {
+    return `${fact.kind === 'deny' ? 'deny' : 'grant'} ${tag(fact.holder)} ${fact.name} @ ${scopeTag(fact.scope)}`;
+}
+/**
+ * **El censo** (lote 3b-4 · C1): pregunta al destino, hecho a hecho, si lo
+ * que se sembró está. Se lee por el camino DIRECTO del puerto —invariante 7,
+ * hechos directos del scope exacto—: `listRoles` para las asignaciones y
+ * `listDenies` para los denies. No mira `report.skipped`, no compara
+ * respuestas y no depende de que la pérdida cambie ninguna de las 448.
+ *
+ * `listDenies` es OPCIONAL en el puerto: un driver que no lo trae deja sus
+ * denies censados solo por `authorize` (lo dice `limits`, y está escrito en
+ * el README). Los dos drivers del paquete lo implementan.
+ */
+export async function censusMigrationFacts(driver, seed) {
+    const present = [];
+    const missing = [];
+    const limits = [];
+    let denyReadable = typeof driver.listDenies === 'function';
+    if (!denyReadable) {
+        limits.push('este driver no implementa `listDenies`, así que los 6 denies de la siembra no se pueden ' +
+            'censar uno a uno: solo los observa `authorize`, que no los ve donde no bloquean nada.');
+    }
+    for (const fact of migrationFacts(seed)) {
+        if (fact.kind === 'assignment') {
+            const roles = await driver.listRoles(fact.holder, fact.scope);
+            (roles.includes(fact.name) ? present : missing).push(fact);
+            continue;
+        }
+        if (!denyReadable)
+            continue;
+        try {
+            const denies = await driver.listDenies(fact.holder, fact.scope);
+            (denies.some((deny) => deny.permission === fact.name) ? present : missing).push(fact);
+        }
+        catch (error) {
+            // `listDenies: false` declarado con 500 `E_AUTHZ_UNSUPPORTED`: es la
+            // misma respuesta que no traerlo, y se dice igual.
+            if (error?.code !== 'E_AUTHZ_UNSUPPORTED')
+                throw error;
+            denyReadable = false;
+            limits.push('este driver responde 500 `E_AUTHZ_UNSUPPORTED` a `listDenies`, así que los denies de la ' +
+                'siembra no se censan uno a uno: solo los observa `authorize`.');
+        }
+    }
+    return { present, missing, limits };
+}
+/* ── Las 448 preguntas ───────────────────────────────────────────────────── */
+function tag(subject) {
+    return `${subject.type}:${subject.uuid}`;
+}
+function scopeTag(scope) {
+    return scopeKey(scope);
+}
+function scopeList(scopes) {
+    return scopes.map(scopeTag).sort().join(',');
+}
+function subjectList(subjects) {
+    return subjects.map(tag).sort().join(',');
+}
+/**
+ * Las 448: **168 + 168 + 42 + 24 + 28 + 18**. No es un número redondo por
+ * casualidad — es el producto de la siembra fija, y por eso el contrato
+ * puede afirmar «448 preguntas idénticas» y no «unas cuantas».
+ */
+export function migrationQuestions(seed) {
+    const s = seed.scopes;
+    const scopes = [s.app, s.org1, s.org2, s.unit1, s.unit2, s.unit3, s.unit4];
+    const holders = seed.holders;
+    const questions = [];
+    for (const holder of holders) {
+        for (const scope of scopes) {
+            for (const permission of MIGRATION_PERMISSIONS) {
+                questions.push({
+                    id: `authorize(${tag(holder)}, ${permission}, ${scopeTag(scope)})`,
+                    kind: 'authorize',
+                    ask: async (driver) => String(await driver.authorize(holder, permission, scope)),
+                });
+            }
+        }
+    }
+    for (const holder of holders) {
+        for (const scope of scopes) {
+            for (const role of MIGRATION_ROLES) {
+                questions.push({
+                    id: `hasRole(${tag(holder)}, ${role}, ${scopeTag(scope)})`,
+                    kind: 'hasRole',
+                    ask: async (driver) => String(await driver.hasRole(holder, role, scope)),
+                });
+            }
+        }
+    }
+    for (const holder of holders) {
+        for (const scope of scopes) {
+            questions.push({
+                id: `listRoles(${tag(holder)}, ${scopeTag(scope)})`,
+                kind: 'listRoles',
+                ask: async (driver) => [...(await driver.listRoles(holder, scope))].sort().join(','),
+            });
+        }
+    }
+    for (const holder of holders) {
+        for (const permission of MIGRATION_PERMISSIONS) {
+            questions.push({
+                id: `listScopes(${tag(holder)}, ${permission})`,
+                kind: 'listScopes',
+                ask: async (driver) => scopeList(await driver.listScopes(holder, permission)),
+            });
+        }
+    }
+    for (const role of MIGRATION_ROLES) {
+        for (const scope of scopes) {
+            questions.push({
+                id: `listSubjects(${role}, ${scopeTag(scope)})`,
+                kind: 'listSubjects',
+                ask: async (driver) => subjectList(await driver.listSubjects(role, scope)),
+            });
+        }
+    }
+    for (const holder of holders) {
+        for (const scopeType of ['app', 'organization', 'unit']) {
+            questions.push({
+                id: `listRoleScopes(${tag(holder)}, ${scopeType})`,
+                kind: 'listRoleScopes',
+                ask: async (driver) => scopeList(await driver.listRoleScopes(holder, scopeType)),
+            });
+        }
+    }
+    return questions;
+}
+/** Cuántas preguntas tiene el set fijo. Es una CIFRA del contrato, no un detalle. */
+export const MIGRATION_QUESTION_COUNT = 448;
+function reasonsOf(reports) {
+    const out = new Set();
+    for (const report of reports)
+        for (const reason of Object.keys(report.skipped))
+            out.add(reason);
+    return out;
+}
+/**
+ * Corre UNA combinación de punta a punta y devuelve el veredicto. Es el
+ * motor: `runMigrationContract` solo lo envuelve en tres casos de Japa, y el
+ * paquete lo usa directamente para demostrar que el contrato **sabe fallar**.
+ */
+export async function runMigrationDirection(harness, direction) {
+    await harness.cleanup();
+    await harness.seedCatalog(MIGRATION_CATALOG);
+    const tree = harness.makeTree ? await harness.makeTree() : memoryScopeTree();
+    const { reconcile, drivers } = await harness.setup(tree);
+    const seed = makeMigrationSeed();
+    await plantMigrationTree(tree, seed);
+    const origin = direction === 'b→a' ? harness.b : harness.a;
+    const other = origin === harness.a ? harness.b : harness.a;
+    await plantMigrationFacts(drivers[origin], seed);
+    const questions = migrationQuestions(seed);
+    const before = new Map();
+    for (const question of questions)
+        before.set(question.id, await question.ask(drivers[origin]));
+    const reports = [];
+    const failures = [];
+    const mismatches = [];
+    const explains = (question) => harness.expectedLosses.find((candidate) => (candidate.directions ?? ['a→b', 'b→a', 'a→b→a']).includes(direction) &&
+        candidate.changesAnswer?.(question) === true) ?? null;
+    /** Compara las 448 contra UN extremo y apunta lo que cambió sin explicación. */
+    const compareAgainst = async (driverKey, label) => {
+        for (const question of questions) {
+            const after = await question.ask(drivers[driverKey]);
+            const was = before.get(question.id);
+            if (after === was)
+                continue;
+            const loss = explains(question);
+            const id = label ? `${label} ${question.id}` : question.id;
+            mismatches.push({ question: id, before: was, after, explainedBy: loss?.reason ?? null });
+            if (!loss) {
+                failures.push(`[${direction}] la respuesta CAMBIÓ y no hay pérdida declarada que lo explique: ` +
+                    `${id} — antes '${was}', después '${after}'`);
+            }
+        }
+    };
+    /**
+     * **Un tramo tiene que HACER algo** (tester Fase 3b · M3). Sin esto, en
+     * `a→b→a` el tramo de vuelta podía no ejecutarse siquiera: como las
+     * preguntas se le hacen al ORIGEN —que nadie vacía—, un tramo de vuelta que
+     * no escribe, no borra y no lee NADA es indistinguible de uno correcto y
+     * las 448 salen idénticas. Medido: quitando el `reconcile` de vuelta la
+     * suite entera seguía en verde.
+     */
+    const legDidSomething = (report, leg) => {
+        const seen = report.written + report.updated + report.unchanged + report.extra + report.deleted;
+        if (seen > 0)
+            return;
+        failures.push(`[${direction}] el tramo ${leg} no tocó NI UNA tupla (written/updated/unchanged/extra/deleted todo a cero). ` +
+            `Una migración que no mira nada no es una migración: comprueba el origen, el destino y el --from.`);
+    };
+    /* ── El CENSO de la siembra (lote 3b-4 · C1) ─────────────────────────
+     *
+     * `expectedLosses` cruzaba `Object.keys(report.skipped)`, o sea **lo que el
+     * propio driver se auto-declara**: cerraba las omisiones DESCUIDADAS y no
+     * las silenciosas. Un driver que tira un hecho sin contarlo no puebla
+     * `skipped`, y si esa pérdida no mueve ninguna de las 448 —los denies solo
+     * se observan por `authorize`, y `authorize` no ve un deny reubicado dentro
+     * de la misma cadena— el contrato pasaba.
+     *
+     * El censo no pregunta al driver qué se dejó: **mira el destino hecho a
+     * hecho** por el camino DIRECTO del puerto y compara con lo que el propio
+     * contrato sembró. Una ausencia sin motivo DECLARADO **y CONTADO** es un
+     * fallo, cuente el driver lo que cuente.
+     */
+    const silentLosses = [];
+    const censusLimits = [];
+    const censusAt = async (driverKey, label) => {
+        const census = await censusMigrationFacts(drivers[driverKey], seed);
+        for (const limit of census.limits)
+            if (!censusLimits.includes(limit))
+                censusLimits.push(limit);
+        const seen = reasonsOf(reports);
+        const known = new Set(harness.expectedLosses
+            .filter((loss) => (loss.directions ?? ['a→b', 'b→a', 'a→b→a']).includes(direction))
+            .map((loss) => loss.reason));
+        for (const fact of census.missing) {
+            const id = describeMigrationFact(fact);
+            if (!fact.expectedLoss) {
+                silentLosses.push({ fact: id, at: driverKey });
+                failures.push(`[${direction}] PÉRDIDA SILENCIOSA: '${id}' se sembró y '${driverKey}'${label} no lo tiene. ` +
+                    `No hay ninguna pérdida declarada que lo cubra y el driver TAMPOCO lo contó en report.skipped ` +
+                    `(motivos vistos: ${[...seen].sort().join(', ') || 'ninguno'}). Que las 448 respuestas no se ` +
+                    `muevan no lo salva: un hecho que desaparece sin contarse es exactamente lo que la migración ` +
+                    `no puede hacer.`);
+                continue;
+            }
+            if (!known.has(fact.expectedLoss)) {
+                failures.push(`[${direction}] '${id}' no está en '${driverKey}'${label} y el contrato lo atribuye a la pérdida ` +
+                    `'${fact.expectedLoss}', que este harness NO declara en expectedLosses.`);
+                continue;
+            }
+            if (!seen.has(fact.expectedLoss)) {
+                failures.push(`[${direction}] '${id}' no está en '${driverKey}'${label}: la pérdida '${fact.expectedLoss}' ` +
+                    `OCURRIÓ y el driver no la contó en report.skipped. Perderla está declarado; perderla en ` +
+                    `silencio, no.`);
+            }
+        }
+    };
+    reports.push(await reconcile({ to: other, from: origin }));
+    legDidSomething(reports[0], `${origin} → ${other}`);
+    // La ida y vuelta lleva `--prune`: es la única forma de comprobar que el
+    // viaje redondo no deja de MÁS en el origen (y de ver que lo que se lleva
+    // por delante es exactamente una pérdida DECLARADA).
+    if (direction === 'a→b→a') {
+        // Y el INTERMEDIO también se pregunta: si no, el tramo de ida podría
+        // haberse dejado media siembra y la vuelta —que ni siquiera necesita
+        // escribir, porque el origen sigue lleno— lo taparía.
+        await compareAgainst(other, `[intermedio ${other}]`);
+        await censusAt(other, ' (intermedio)');
+        reports.push(await reconcile({ to: origin, from: other, prune: true }));
+        legDidSomething(reports[1], `${other} → ${origin} (--prune)`);
+    }
+    const asked = direction === 'a→b→a' ? origin : other;
+    await compareAgainst(asked, '');
+    await censusAt(asked, '');
+    // **Las dos caras, y las dos son obligatorias.**
+    //
+    // (i) Todo lo que la pasada dejó fuera —cada motivo de `report.skipped`—
+    //     tiene que estar DECLARADO. Es la mitad que hace del contrato una
+    //     garantía y no un adorno: sin ella, un driver puede saltarse lo que
+    //     quiera mientras no cambie ninguna de las 448 respuestas de ESTA
+    //     siembra, que es justo la clase de bug que una siembra fija no ve.
+    //     «Nunca se ignora ninguna» significa esto.
+    const counted = reasonsOf(reports);
+    const declared = new Set(harness.expectedLosses
+        .filter((loss) => (loss.directions ?? ['a→b', 'b→a', 'a→b→a']).includes(direction))
+        .map((loss) => loss.reason));
+    for (const reason of [...counted].sort()) {
+        if (declared.has(reason))
+            continue;
+        failures.push(`[${direction}] la pasada NO migró algo por '${reason}' y esa pérdida no está declarada en ` +
+            `expectedLosses. Declárala (con su motivo medido) o arregla la migración: una pérdida que no ` +
+            `está escrita es una pérdida silenciosa.`);
+    }
+    // (ii) Y al revés: una pérdida declarada tiene que OCURRIR y salir contada.
+    //      Si no, es una línea falsa en el README, y el README es el contrato
+    //      con el consumidor.
+    const declaredButAbsent = [];
+    for (const loss of harness.expectedLosses) {
+        if (!(loss.directions ?? ['a→b', 'b→a', 'a→b→a']).includes(direction))
+            continue;
+        if (counted.has(loss.reason))
+            continue;
+        declaredButAbsent.push(loss.reason);
+        failures.push(`[${direction}] la pérdida declarada '${loss.reason}' NO aparece contada en report.skipped ` +
+            `(motivos vistos: ${[...counted].sort().join(', ') || 'ninguno'}). Una pérdida que nunca ocurre ` +
+            `no se declara: se borra.`);
+    }
+    /* ── El CRUCE DE CADUCIDADES (tester Fase 3b · M1) ────────────────────
+     *
+     * Ninguna de las 448 preguntas devuelve un `expiresAt`, y no hay reloj que
+     * adelantar: una migración que se deja por el camino la caducidad de un
+     * grant VIVO —lo convierte en permanente— responde exactamente lo mismo a
+     * las 448 y no cuenta nada en `skipped`. Medido: con
+     * `reconcile --to=database` escribiendo `expires_at: null`, las TRES
+     * combinaciones seguían en VERDE. Es la pérdida de datos que el contrato
+     * decía cortar y no cortaba, y además es fail-OPEN (un permiso temporal que
+     * ya no caduca).
+     *
+     * Se cruza por el ÚNICO camino del puerto que devuelve una caducidad sin
+     * inventar un método nuevo: `grant` con `expiresAt` OMITIDO devuelve
+     * `previousExpiresAt` (invariante 10, «omitido preserva»). Va DESPUÉS de
+     * las 448 —es una escritura, aunque idempotente y sin cambio de estado— y
+     * por eso no puede alterar ninguna respuesta ya medida.
+     */
+    const expiryMismatches = [];
+    const stamp = (value) => value === undefined ? 'ausente' : value === null ? 'sin caducidad' : value.toISOString();
+    const crossExpiries = async (driverKey, label) => {
+        for (const g of migrationGrants(seed)) {
+            // La caducada es la pérdida declarada: en el destino no está, y `grant`
+            // con `{}` la REVIVIRÍA (invariante 10). No se cruza.
+            if (g.expired)
+                continue;
+            const outcome = await drivers[driverKey].grant(g.holder, g.role, g.scope, {});
+            const after = stamp(outcome.existed ? (outcome.previousExpiresAt ?? null) : undefined);
+            const was = stamp(g.expiresAt ?? null);
+            if (after === was)
+                continue;
+            const id = `${tag(g.holder)} ${g.role} @ ${scopeTag(g.scope)}`;
+            expiryMismatches.push({ grant: `${driverKey}${label} ${id}`, before: was, after });
+            failures.push(`[${direction}] la CADUCIDAD no sobrevivió a la migración: ${id} en '${driverKey}'${label} ` +
+                `— antes '${was}', después '${after}'. Ninguna de las ${MIGRATION_QUESTION_COUNT} ` +
+                `preguntas lo ve (no devuelven caducidades) y perderla es fail-OPEN: un permiso temporal que ya no caduca.`);
+        }
+    };
+    // El INTERMEDIO también se cruza (lote 3b-4 · C1): en `a→b→a` las 448 y el
+    // cruce se le hacen al ORIGEN, que nadie vacía, así que una caducidad que
+    // el tramo de IDA se dejó quedaba tapada. Se hace DESPUÉS del segundo
+    // tramo a propósito: `grant` con `{}` es una escritura y crearía en el
+    // intermedio el hecho que falta, falseando la pasada de vuelta.
+    if (direction === 'a→b→a')
+        await crossExpiries(other, ' (intermedio)');
+    await crossExpiries(asked, '');
+    // Los TRAMOS que la combinación promete: `a→b→a` son DOS pasadas, no una.
+    // Es la comprobación barata que delata un motor —o un harness— al que se le
+    // ha caído un tramo por el camino (tester Fase 3b · M3).
+    const expectedLegs = direction === 'a→b→a' ? 2 : 1;
+    if (reports.length !== expectedLegs) {
+        failures.push(`[${direction}] la combinación son ${expectedLegs} pasada(s) de reconcile y se ejecutaron ${reports.length}`);
+    }
+    if (questions.length !== MIGRATION_QUESTION_COUNT) {
+        failures.push(`[${direction}] el set fijo tiene ${questions.length} preguntas y no ${MIGRATION_QUESTION_COUNT}`);
+    }
+    return {
+        direction,
+        reports,
+        questions: questions.length,
+        mismatches,
+        declaredButAbsent,
+        expiryMismatches,
+        silentLosses,
+        censusLimits,
+        failures,
+    };
+}
+/**
+ * Registra las tres combinaciones como casos de Japa. Llámala en el TOP LEVEL
+ * del spec (Japa descarta los grupos registrados tarde).
+ */
+export function runMigrationContract(harness) {
+    return registerMigrationContract(harness, {
+        group: (title, define) => test.group(title, define),
+        test: (title, fn) => test(title, fn),
+    });
+}
+export function registerMigrationContract(harness, api) {
+    api.group(`migration contract [${harness.name}]`, (group) => {
+        group.teardown(async () => {
+            await harness.cleanup();
+        });
+        for (const direction of ['a→b', 'b→a', 'a→b→a']) {
+            const label = direction === 'a→b'
+                ? `${harness.a} → ${harness.b}`
+                : direction === 'b→a'
+                    ? `${harness.b} → ${harness.a}`
+                    : `${harness.a} → ${harness.b} → ${harness.a} (--prune)`;
+            api.test(`${MIGRATION_QUESTION_COUNT} preguntas idénticas, ${label}: las respuestas coinciden y toda pérdida está declarada`, async ({ assert }) => {
+                const verdict = await runMigrationDirection(harness, direction);
+                assert.equal(verdict.questions, MIGRATION_QUESTION_COUNT);
+                assert.deepEqual(verdict.failures, []);
+            })?.timeout(600_000);
+        }
+    });
+}
+//# sourceMappingURL=migration_contract.js.map

package/build/src/testing/migration_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration_contract.js","sourceRoot":"","sources":["../../../src/testing/migration_contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwEG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACnC,OAAO,EAAE,EAAE,IAAI,MAAM,EAAE,MAAM,MAAM,CAAA;AAEnC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAA;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AA4DjD,gFAAgF;AAEhF,mIAAmI;AACnI,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,WAAW,CAAU,CAAA;AAEtG,iGAAiG;AACjG,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,CAAU,CAAA;AAE/F,MAAM,CAAC,MAAM,iBAAiB,GAAgB;IAC5C,WAAW,EAAE,qBAAqB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,WAAW,EAAE,YAAY,CAAC,EAAE;QAClF,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC,WAAW,CAAC,EAAE;QAC7E,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE;QACjG,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,cAAc,CAAC,EAAE;KACzE;CACF,CAAA;AAUD,MAAM,UAAU,iBAAiB,CAAC,MAAY,IAAI,IAAI,EAAE;IACtD,MAAM,MAAM,GAAG,MAAM,EAAE,CAAA;IACvB,OAAO;QACL,MAAM,EAAE;YACN,GAAG,EAAE,SAAS;YACd,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YAC9C,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YAC9C,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACvC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACvC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACvC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;SACxC;QACD,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACjC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACjC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;YACjC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;YAC/B,kEAAkE;YAClE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;YAChC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;SACnC;QACD,GAAG;KACJ,CAAA;AACH,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAuB,EAAE,IAAmB;IACnF,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAA;IACrB,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAChC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAChC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;IAClC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;IAClC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAA;IAClC,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;AACrC,CAAC;AAyBD;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAmB;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAA;IACrB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAA;IAC7C,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC,CAAA;IACrD,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC,CAAA;IACtD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,SAAS,CAAC,CAAA;IACrD,OAAO;QACL,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE;QAChD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;QACjD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;QACjD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;QACjE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;QAChD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE;QAClE,0EAA0E;QAC1E,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;QACjF,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;QAChD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;QACnE,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE;QAChD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;QAChD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;QACjD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE;QACjD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;KAClE,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAmB;IACjD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAA;IACrB,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAA;IAC7C,OAAO;QACL,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;QACvD,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;QACvD,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;QACxD,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE;QACxD,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE;QACvD,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;KAC1D,CAAA;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,MAA2B,EAAE,IAAmB;IACxF,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACpD,CAAC;AACH,CAAC;AAwBD,kFAAkF;AAClF,MAAM,UAAU,cAAc,CAAC,IAAmB;IAChD,MAAM,KAAK,GAAoB,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAI,EAAE,YAAqB;QAC3B,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,uEAAuE;QACvE,kDAAkD;QAClD,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClD,CAAC,CAAC,CAAA;IACH,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAA;IACpF,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,qBAAqB,CAAC,IAAmB;IACvD,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,MAAM,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAA;AAChH,CAAC;AASD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACxC,MAA2B,EAC3B,IAAmB;IAEnB,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,OAAO,GAAoB,EAAE,CAAA;IACnC,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,YAAY,GAAG,OAAO,MAAM,CAAC,UAAU,KAAK,UAAU,CAAA;IAC1D,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,CAAC,IAAI,CACT,0FAA0F;YACxF,uFAAuF,CAC1F,CAAA;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAC5D;YAAA,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC3D,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,YAAY;YAAE,SAAQ;QAC3B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAC/D;YAAA,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxF,CAAC;QAAC,OAAO,KAAU,EAAE,CAAC;YACpB,qEAAqE;YACrE,mDAAmD;YACnD,IAAI,KAAK,EAAE,IAAI,KAAK,qBAAqB;gBAAE,MAAM,KAAK,CAAA;YACtD,YAAY,GAAG,KAAK,CAAA;YACpB,MAAM,CAAC,IAAI,CACT,0FAA0F;gBACxF,+DAA+D,CAClE,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAA;AACrC,CAAC;AAED,gFAAgF;AAEhF,SAAS,GAAG,CAAC,OAAmB;IAC9B,OAAO,GAAG,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE,CAAA;AAC1C,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe;IAC/B,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAA;AACxB,CAAC;AAED,SAAS,SAAS,CAAC,MAAkB;IACnC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAC9C,CAAC;AAED,SAAS,WAAW,CAAC,QAAsB;IACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AAC3C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAmB;IACpD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAA;IACrB,MAAM,MAAM,GAAe,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACtF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;IAC5B,MAAM,SAAS,GAAwB,EAAE,CAAA;IAEzC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;gBAC/C,SAAS,CAAC,IAAI,CAAC;oBACb,EAAE,EAAE,aAAa,GAAG,CAAC,MAAM,CAAC,KAAK,UAAU,KAAK,QAAQ,CAAC,KAAK,CAAC,GAAG;oBAClE,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;iBACjF,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACnC,SAAS,CAAC,IAAI,CAAC;oBACb,EAAE,EAAE,WAAW,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,GAAG;oBAC1D,IAAI,EAAE,SAAS;oBACf,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;iBACzE,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,SAAS,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,aAAa,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,GAAG;gBACnD,IAAI,EAAE,WAAW;gBACjB,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;aACrF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,UAAU,IAAI,qBAAqB,EAAE,CAAC;YAC/C,SAAS,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,cAAc,GAAG,CAAC,MAAM,CAAC,KAAK,UAAU,GAAG;gBAC/C,IAAI,EAAE,YAAY;gBAClB,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;aAC9E,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,SAAS,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,gBAAgB,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC,GAAG;gBAC/C,IAAI,EAAE,cAAc;gBACpB,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;aAC3E,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,CAAC;YACxD,SAAS,CAAC,IAAI,CAAC;gBACb,EAAE,EAAE,kBAAkB,GAAG,CAAC,MAAM,CAAC,KAAK,SAAS,GAAG;gBAClD,IAAI,EAAE,gBAAgB;gBACtB,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;aACjF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,wBAAwB,GAAG,GAAG,CAAA;AA2B3C,SAAS,SAAS,CAAC,OAA0B;IAC3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;IAC7B,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/F,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,OAAiC,EACjC,SAA6B;IAE7B,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;IACvB,MAAM,OAAO,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,eAAe,EAAE,CAAA;IAC5E,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACxD,MAAM,IAAI,GAAG,iBAAiB,EAAE,CAAA;IAChC,MAAM,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAEpC,MAAM,MAAM,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;IAC1D,MAAM,KAAK,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;IAC1D,MAAM,mBAAmB,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAA;IAEhD,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,QAAQ,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;IAE9F,MAAM,OAAO,GAAsB,EAAE,CAAA;IACrC,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,MAAM,UAAU,GAAmC,EAAE,CAAA;IAErD,MAAM,QAAQ,GAAG,CAAC,QAA2B,EAAE,EAAE,CAC/C,OAAO,CAAC,cAAc,CAAC,IAAI,CACzB,CAAC,SAAS,EAAE,EAAE,CACZ,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QACrE,SAAS,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAC/C,IAAI,IAAI,CAAA;IAEX,gFAAgF;IAChF,MAAM,cAAc,GAAG,KAAK,EAAE,SAAiB,EAAE,KAAa,EAAE,EAAE;QAChE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;YACpD,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAE,CAAA;YACpC,IAAI,KAAK,KAAK,GAAG;gBAAE,SAAQ;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAA;YAC/B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAA;YAC1D,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,IAAI,IAAI,EAAE,CAAC,CAAA;YACxF,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,oEAAoE;oBAC/E,GAAG,EAAE,aAAa,GAAG,eAAe,KAAK,GAAG,CAC/C,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED;;;;;;;OAOG;IACH,MAAM,eAAe,GAAG,CAAC,MAAuB,EAAE,GAAW,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAA;QAC/F,IAAI,IAAI,GAAG,CAAC;YAAE,OAAM;QACpB,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,cAAc,GAAG,+EAA+E;YAC3G,kGAAkG,CACrG,CAAA;IACH,CAAC,CAAA;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,YAAY,GAAqC,EAAE,CAAA;IACzD,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,MAAM,QAAQ,GAAG,KAAK,EAAE,SAAiB,EAAE,KAAa,EAAE,EAAE;QAC1D,MAAM,MAAM,GAAG,MAAM,oBAAoB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAA;QACnE,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM;YAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC9F,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;QAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,OAAO,CAAC,cAAc;aACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;aAClF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAC9B,CAAA;QACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAA;YACtC,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;gBACvB,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAA;gBAC9C,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,0BAA0B,EAAE,kBAAkB,SAAS,IAAI,KAAK,gBAAgB;oBAC3F,+FAA+F;oBAC/F,oBAAoB,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,kCAAkC;oBAC9F,8FAA8F;oBAC9F,iBAAiB,CACpB,CAAA;gBACD,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBAClC,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,MAAM,EAAE,iBAAiB,SAAS,IAAI,KAAK,0CAA0C;oBAChG,IAAI,IAAI,CAAC,YAAY,mDAAmD,CAC3E,CAAA;gBACD,SAAQ;YACV,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;gBACjC,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,MAAM,EAAE,iBAAiB,SAAS,IAAI,KAAK,iBAAiB,IAAI,CAAC,YAAY,IAAI;oBAC5F,0FAA0F;oBAC1F,eAAe,CAClB,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED,OAAO,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IAC1D,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,MAAM,KAAK,EAAE,CAAC,CAAA;IAEnD,yEAAyE;IACzE,0EAA0E;IAC1E,qDAAqD;IACrD,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;QAC1B,qEAAqE;QACrE,qEAAqE;QACrE,sDAAsD;QACtD,MAAM,cAAc,CAAC,KAAK,EAAE,eAAe,KAAK,GAAG,CAAC,CAAA;QACpD,MAAM,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;QACtC,OAAO,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;QACvE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,MAAM,MAAM,YAAY,CAAC,CAAA;IAC/D,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAA;IACpD,MAAM,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC/B,MAAM,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAEzB,iDAAiD;IACjD,EAAE;IACF,yEAAyE;IACzE,uEAAuE;IACvE,yEAAyE;IACzE,sEAAsE;IACtE,wEAAwE;IACxE,gDAAgD;IAChD,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,CAAA;IAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,OAAO,CAAC,cAAc;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;SAClF,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAC9B,CAAA;IACD,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,SAAQ;QAClC,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,kCAAkC,MAAM,uCAAuC;YAC1F,8FAA8F;YAC9F,yCAAyC,CAC5C,CAAA;IACH,CAAC;IAED,4EAA4E;IAC5E,0EAA0E;IAC1E,0BAA0B;IAC1B,MAAM,iBAAiB,GAAa,EAAE,CAAA;IACtC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;QAC1C,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,SAAQ;QAC/E,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,SAAQ;QACtC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACnC,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,2BAA2B,IAAI,CAAC,MAAM,yCAAyC;YAC1F,oBAAoB,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,kCAAkC;YACjG,0BAA0B,CAC7B,CAAA;IACH,CAAC;IAED;;;;;;;;;;;;;;;;OAgBG;IACH,MAAM,gBAAgB,GAAyC,EAAE,CAAA;IACjE,MAAM,KAAK,GAAG,CAAC,KAA8B,EAAE,EAAE,CAC/C,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAA;IAC1F,MAAM,aAAa,GAAG,KAAK,EAAE,SAAiB,EAAE,KAAa,EAAE,EAAE;QAC/D,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,wEAAwE;YACxE,sDAAsD;YACtD,IAAI,CAAC,CAAC,OAAO;gBAAE,SAAQ;YACvB,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;YAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YACtF,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,CAAA;YACtC,IAAI,KAAK,KAAK,GAAG;gBAAE,SAAQ;YAC3B,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAA;YAC9D,gBAAgB,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,GAAG,KAAK,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAA;YAClF,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,gDAAgD,EAAE,QAAQ,SAAS,IAAI,KAAK,GAAG;gBAC1F,YAAY,GAAG,eAAe,KAAK,qBAAqB,wBAAwB,GAAG;gBACnF,2GAA2G,CAC9G,CAAA;QACH,CAAC;IACH,CAAC,CAAA;IACD,2EAA2E;IAC3E,0EAA0E;IAC1E,sEAAsE;IACtE,uEAAuE;IACvE,gEAAgE;IAChE,IAAI,SAAS,KAAK,OAAO;QAAE,MAAM,aAAa,CAAC,KAAK,EAAE,eAAe,CAAC,CAAA;IACtE,MAAM,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAE9B,0EAA0E;IAC1E,4EAA4E;IAC5E,yDAAyD;IACzD,MAAM,YAAY,GAAG,SAAS,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAClD,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CACX,IAAI,SAAS,wBAAwB,YAAY,2CAA2C,OAAO,CAAC,MAAM,EAAE,CAC7G,CAAA;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,KAAK,wBAAwB,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC,IAAI,SAAS,uBAAuB,SAAS,CAAC,MAAM,mBAAmB,wBAAwB,EAAE,CAAC,CAAA;IAClH,CAAC;IAED,OAAO;QACL,SAAS;QACT,OAAO;QACP,SAAS,EAAE,SAAS,CAAC,MAAM;QAC3B,UAAU;QACV,iBAAiB;QACjB,gBAAgB;QAChB,YAAY;QACZ,YAAY;QACZ,QAAQ;KACT,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,OAAiC;IACpE,OAAO,yBAAyB,CAAC,OAAO,EAAE;QACxC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,MAAa,CAAC;QAC1D,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,EAAS,CAAC;KAC5C,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAAiC,EAAE,GAAoB;IAC/F,GAAG,CAAC,KAAK,CAAC,uBAAuB,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE;QAC1D,KAAK,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE;YACxB,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;QACzB,CAAC,CAAC,CAAA;QAEF,KAAK,MAAM,SAAS,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAU,EAAE,CAAC;YACzD,MAAM,KAAK,GACT,SAAS,KAAK,KAAK;gBACjB,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE;gBAC/B,CAAC,CAAC,SAAS,KAAK,KAAK;oBACnB,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,EAAE;oBAC/B,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,YAAY,CAAA;YAC9D,GAAG,CAAC,IAAI,CACN,GAAG,wBAAwB,yBAAyB,KAAK,0DAA0D,EACnH,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;gBACnB,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;gBAC/D,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,wBAAwB,CAAC,CAAA;gBACzD,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;YACxC,CAAC,CACF,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;QACrB,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC"}