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

package/build/src/sql_descendants.js

@@ -0,0 +1,203 @@
+import db from '@adonisjs/lucid/services/db';
+import { AuthorizationConfigError, TooManyScopesError, UnsupportedDialectError } from './errors.js';
+import { assertScope, assertScopeType } from './identity.js';
+import { guardSql } from './shared/backend_guard.js';
+import { APP_SCOPE_TYPE } from './types.js';
+import { APP_SCOPE } from './types.js';
+const IDENTIFIER = /^[A-Za-z_][A-Za-z0-9_]*$/;
+/** Dialecto → carácter con el que cita identificadores (MySQL: backtick; el resto: comilla doble ANSI). */
+const QUOTE_BY_DIALECT = {
+    'postgres': '"',
+    'sqlite3': '"',
+    'better-sqlite3': '"',
+    'mysql': '`',
+    'mysql2': '`',
+};
+const DEFAULT_TIMEOUT_MS = 5_000;
+function identifier(kind, value) {
+    if (typeof value !== 'string' || !IDENTIFIER.test(value)) {
+        throw new AuthorizationConfigError(`sqlDescendantsOf: ${kind} '${String(value)}' no es un identificador SQL simple (letras, dígitos y _); ` +
+            `nada que no lo sea se interpola en la consulta.`);
+    }
+    return value;
+}
+export function sqlDescendantsOf(options, database = db) {
+    const table = identifier('table', options.table);
+    const uuidCol = identifier('uuidColumn', options.uuidColumn);
+    const parentCol = identifier('parentColumn', options.parentColumn);
+    if ((options.typeColumn === undefined) === (options.scopeType === undefined)) {
+        throw new AuthorizationConfigError('sqlDescendantsOf: declara exactamente uno de typeColumn (el tipo viene de la fila) o scopeType (tipo fijo).');
+    }
+    const typeCol = options.typeColumn === undefined ? null : identifier('typeColumn', options.typeColumn);
+    const fixedType = options.scopeType ?? null;
+    if (fixedType !== null) {
+        // Es identidad de scope (minúsculas, ≤ 20, sin separadores) y nunca la
+        // raíz: `app` no tiene fila ni uuid.
+        try {
+            assertScopeType(fixedType);
+        }
+        catch (error) {
+            throw new AuthorizationConfigError(`sqlDescendantsOf: scopeType inválido: ${error.message}`);
+        }
+        if (fixedType === APP_SCOPE_TYPE) {
+            throw new AuthorizationConfigError("sqlDescendantsOf: scopeType no puede ser 'app' (la raíz no tiene fila)");
+        }
+    }
+    if (options.maxNodes !== undefined && !(Number.isInteger(options.maxNodes) && options.maxNodes >= 1)) {
+        throw new AuthorizationConfigError(`sqlDescendantsOf: maxNodes debe ser un entero >= 1 (llegó ${String(options.maxNodes)})`);
+    }
+    const timeoutMs = options.timeoutMs ?? DEFAULT_TIMEOUT_MS;
+    const connectionName = options.connection;
+    /** El SQL por carácter de cita (se construye una vez por dialecto). */
+    const statements = new Map();
+    function statementsFor(quote) {
+        let built = statements.get(quote);
+        if (built)
+            return built;
+        const q = (name) => `${quote}${name}${quote}`;
+        const typeSelect = typeCol ? `t.${q(typeCol)}` : 'NULL';
+        // MySQL corta una CTE recursiva a `cte_max_recursion_depth` iteraciones
+        // (1000 por defecto) con el error 3636: con una cota mayor, un ciclo
+        // salía como 503 «backend caído» en vez del 422 «posible ciclo» del
+        // contrato (2.5 · J3, hallazgo). El hint `SET_VAR` sube el tope SOLO para
+        // esta sentencia, a la cota + 1 que la propia consulta ya impone con
+        // `depth < ?`; el placeholder `%DEPTH%` se rellena con ese entero (nunca
+        // con entrada del consumidor). Los demás dialectos no tienen tope.
+        const hint = quote === '`' ? '/*+ SET_VAR(cte_max_recursion_depth = %DEPTH%) */ ' : '';
+        built = {
+            exists: `SELECT 1 AS ${q('ok')} FROM ${q(table)} t WHERE %WHERE% LIMIT 1`,
+            walk: `WITH RECURSIVE ${q('authz_descendants')}(${q('uuid')}, ${q('type')}, ${q('depth')}) AS (` +
+                ` SELECT t.${q(uuidCol)}, ${typeSelect}, 1 FROM ${q(table)} t WHERE ` +
+                `%ANCHOR%` +
+                ` UNION ALL` +
+                ` SELECT t.${q(uuidCol)}, ${typeSelect}, d.${q('depth')} + 1 FROM ${q(table)} t` +
+                ` JOIN ${q('authz_descendants')} d ON t.${q(parentCol)} = d.${q('uuid')} WHERE d.${q('depth')} < ?` +
+                `) SELECT ${hint}${q('uuid')}, ${q('type')} FROM ${q('authz_descendants')} LIMIT ?`,
+        };
+        statements.set(quote, built);
+        return built;
+    }
+    return async (scope, { maxNodes }) => {
+        assertScope(scope);
+        const cap = Math.min(maxNodes, options.maxNodes ?? Infinity);
+        if (!(Number.isInteger(cap) && cap >= 1)) {
+            throw new AuthorizationConfigError(`sqlDescendantsOf: maxNodes debe ser un entero >= 1 (llegó ${String(maxNodes)})`);
+        }
+        const connection = database.connection(connectionName);
+        const dialect = connection?.dialect?.name ?? connection?.client?.driverName ?? 'desconocido';
+        const quote = QUOTE_BY_DIALECT[dialect];
+        if (!quote) {
+            throw new UnsupportedDialectError(`sqlDescendantsOf: dialecto '${dialect}' sin observación en la suite (hoy: PostgreSQL, MySQL 8 y SQLite). ` +
+                `Implementa scopes.descendantsOf a mano para este motor.`);
+        }
+        const q = (name) => `${quote}${name}${quote}`;
+        const sql = statementsFor(quote);
+        const query = (operation, text, bindings) => guardSql('sqlDescendantsOf', operation, timeoutMs, () => connection.rawQuery(text, bindings));
+        // Forma del resultado crudo por cliente: pg `{ rows }`, sqlite `rows[]`,
+        // mysql2 `[rows[], fields[]]` (2.5 · J3).
+        const rowsOf = (result) => {
+            if (Array.isArray(result)) {
+                return result.length === 2 && Array.isArray(result[0]) && Array.isArray(result[1]) ? result[0] : result;
+            }
+            return result?.rows ?? [];
+        };
+        let anchor;
+        let bindings;
+        if (scope.type === APP_SCOPE_TYPE) {
+            anchor = `t.${q(parentCol)} IS NULL`;
+            bindings = [];
+        }
+        else {
+            if (fixedType !== null && scope.type !== fixedType)
+                return null;
+            const where = `t.${q(uuidCol)} = ?` + (typeCol ? ` AND t.${q(typeCol)} = ?` : '');
+            const args = typeCol ? [scope.uuid, scope.type] : [scope.uuid];
+            const exists = rowsOf(await query('descendantsOf.exists', sql.exists.replace('%WHERE%', where), args));
+            if (exists.length === 0)
+                return null;
+            anchor = `t.${q(parentCol)} = ?`;
+            bindings = [scope.uuid];
+        }
+        const walk = sql.walk.replace('%ANCHOR%', anchor).replace('%DEPTH%', String(cap + 2));
+        const rows = rowsOf(await query('descendantsOf', walk, [...bindings, cap + 1, cap + 1]));
+        if (rows.length > cap) {
+            throw new TooManyScopesError(`sqlDescendantsOf: ${scope.type}:${scope.uuid ?? ''} tiene más de ${cap} descendientes — o la tabla tiene un ` +
+                `posible ciclo (un ciclo alcanzable produce una fila por nivel hasta la cota); no se devuelve una lista parcial.`);
+        }
+        return rows.map((row) => ({ type: typeCol ? row.type : fixedType, uuid: row.uuid }));
+    };
+}
+export function sqlScopeEdges(options, database = db) {
+    const table = identifier('table', options.table);
+    const uuidCol = identifier('uuidColumn', options.uuidColumn);
+    const parentCol = identifier('parentColumn', options.parentColumn);
+    if ((options.typeColumn === undefined) === (options.scopeType === undefined)) {
+        throw new AuthorizationConfigError('sqlScopeEdges: declara exactamente uno de typeColumn (el tipo viene de la fila) o scopeType (tipo fijo).');
+    }
+    const typeCol = options.typeColumn === undefined ? null : identifier('typeColumn', options.typeColumn);
+    const fixedType = options.scopeType ?? null;
+    if (fixedType !== null) {
+        try {
+            assertScopeType(fixedType);
+        }
+        catch (error) {
+            throw new AuthorizationConfigError(`sqlScopeEdges: scopeType inválido: ${error.message}`);
+        }
+        if (fixedType === APP_SCOPE_TYPE) {
+            throw new AuthorizationConfigError("sqlScopeEdges: scopeType no puede ser 'app' (la raíz no tiene fila)");
+        }
+    }
+    const timeoutMs = options.timeoutMs ?? DEFAULT_TIMEOUT_MS;
+    const connectionName = options.connection;
+    return async ({ limit, after }) => {
+        if (!Number.isInteger(limit) || limit < 1) {
+            throw new AuthorizationConfigError(`sqlScopeEdges: limit debe ser un entero >= 1 (llegó ${String(limit)})`);
+        }
+        const connection = database.connection(connectionName);
+        const dialect = connection?.dialect?.name ?? connection?.client?.driverName ?? 'desconocido';
+        const quote = QUOTE_BY_DIALECT[dialect];
+        if (!quote) {
+            throw new UnsupportedDialectError(`sqlScopeEdges: dialecto '${dialect}' sin observación en la suite (hoy: PostgreSQL, MySQL 8 y SQLite). ` +
+                `Implementa scopes.enumerateEdges a mano para este motor.`);
+        }
+        const q = (name) => `${quote}${name}${quote}`;
+        const childType = typeCol ? `t.${q(typeCol)}` : 'NULL';
+        const parentType = typeCol ? `p.${q(typeCol)}` : 'NULL';
+        const text = `SELECT t.${q(uuidCol)} AS ${q('child_uuid')}, ${childType} AS ${q('child_type')},` +
+            ` t.${q(parentCol)} AS ${q('parent_uuid')}, ${parentType} AS ${q('parent_type')},` +
+            ` p.${q(uuidCol)} AS ${q('parent_row')}` +
+            ` FROM ${q(table)} t LEFT JOIN ${q(table)} p ON t.${q(parentCol)} = p.${q(uuidCol)}` +
+            (after === undefined ? '' : ` WHERE t.${q(uuidCol)} > ?`) +
+            ` ORDER BY t.${q(uuidCol)} LIMIT ?`;
+        const bindings = after === undefined ? [limit] : [after, limit];
+        const result = await guardSql('sqlScopeEdges', 'enumerateEdges', timeoutMs, () => connection.rawQuery(text, bindings));
+        const rows = Array.isArray(result)
+            ? result.length === 2 && Array.isArray(result[0]) && Array.isArray(result[1])
+                ? result[0]
+                : result
+            : (result?.rows ?? []);
+        const edges = [];
+        for (const row of rows) {
+            const child = { type: typeCol ? row.child_type : fixedType, uuid: String(row.child_uuid) };
+            if (row.parent_uuid === null || row.parent_uuid === undefined) {
+                edges.push({ child, parent: APP_SCOPE });
+                continue;
+            }
+            // Padre declarado que no tiene fila: el nodo NO está en el árbol
+            // (`resolveChain` devuelve `null` ahí). No se inventa la arista.
+            if (row.parent_row === null || row.parent_row === undefined)
+                continue;
+            edges.push({
+                child,
+                parent: { type: typeCol ? row.parent_type : fixedType, uuid: String(row.parent_uuid) },
+            });
+        }
+        // El cursor es la ÚLTIMA FILA LEÍDA, no la última arista emitida: si no,
+        // una fila con el padre colgando pararía la paginación en seco.
+        const last = rows[rows.length - 1];
+        return rows.length < limit
+            ? { edges }
+            : { edges, cursor: String(last.child_uuid) };
+    };
+}
+//# sourceMappingURL=sql_descendants.js.map

package/build/src/sql_descendants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql_descendants.js","sourceRoot":"","sources":["../../src/sql_descendants.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,6BAA6B,CAAA;AAC5C,OAAO,EAAE,wBAAwB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAA;AACnG,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AA+CtC,MAAM,UAAU,GAAG,0BAA0B,CAAA;AAC7C,2GAA2G;AAC3G,MAAM,gBAAgB,GAA8B;IAClD,UAAU,EAAE,GAAG;IACf,SAAS,EAAE,GAAG;IACd,gBAAgB,EAAE,GAAG;IACrB,OAAO,EAAE,GAAG;IACZ,QAAQ,EAAE,GAAG;CACd,CAAA;AACD,MAAM,kBAAkB,GAAG,KAAK,CAAA;AAEhC,SAAS,UAAU,CAAC,IAAY,EAAE,KAAc;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,wBAAwB,CAChC,qBAAqB,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,6DAA6D;YACtG,iDAAiD,CACpD,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAOD,MAAM,UAAU,gBAAgB,CAC9B,OAA8B,EAC9B,WAAyB,EAAE;IAE3B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAChD,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;IAC5D,MAAM,SAAS,GAAG,UAAU,CAAC,cAAc,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAClE,IAAI,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,wBAAwB,CAChC,6GAA6G,CAC9G,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;IACtG,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,IAAI,CAAA;IAC3C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,uEAAuE;QACvE,qCAAqC;QACrC,IAAI,CAAC;YACH,eAAe,CAAC,SAAS,CAAC,CAAA;QAC5B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,wBAAwB,CAAC,yCAA0C,KAAe,CAAC,OAAO,EAAE,CAAC,CAAA;QACzG,CAAC;QACD,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,IAAI,wBAAwB,CAAC,wEAAwE,CAAC,CAAA;QAC9G,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC;QACrG,MAAM,IAAI,wBAAwB,CAChC,6DAA6D,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CACzF,CAAA;IACH,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,kBAAkB,CAAA;IACzD,MAAM,cAAc,GAAG,OAAO,CAAC,UAAU,CAAA;IAEzC,uEAAuE;IACvE,MAAM,UAAU,GAAG,IAAI,GAAG,EAA4C,CAAA;IACtE,SAAS,aAAa,CAAC,KAAgB;QACrC,IAAI,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAA;QACvB,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,EAAE,CAAA;QACrD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAA;QACvD,wEAAwE;QACxE,qEAAqE;QACrE,oEAAoE;QACpE,0EAA0E;QAC1E,qEAAqE;QACrE,yEAAyE;QACzE,mEAAmE;QACnE,MAAM,IAAI,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,oDAAoD,CAAC,CAAC,CAAC,EAAE,CAAA;QACtF,KAAK,GAAG;YACN,MAAM,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,0BAA0B;YACzE,IAAI,EACF,kBAAkB,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ;gBAC1F,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,UAAU,YAAY,CAAC,CAAC,KAAK,CAAC,WAAW;gBACrE,UAAU;gBACV,YAAY;gBACZ,aAAa,CAAC,CAAC,OAAO,CAAC,KAAK,UAAU,OAAO,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,IAAI;gBAChF,SAAS,CAAC,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM;gBACnG,YAAY,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,UAAU;SACtF,CAAA;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACnC,WAAW,CAAC,KAAK,CAAC,CAAA;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAA;QAC5D,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,wBAAwB,CAAC,6DAA6D,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QACtH,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,CAAA;QACtD,MAAM,OAAO,GAAW,UAAU,EAAE,OAAO,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,aAAa,CAAA;QACpG,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,uBAAuB,CAC/B,+BAA+B,OAAO,qEAAqE;gBACzG,yDAAyD,CAC5D,CAAA;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,EAAE,CAAA;QACrD,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QAChC,MAAM,KAAK,GAAG,CAAC,SAAiB,EAAE,IAAY,EAAE,QAAmB,EAAE,EAAE,CACrE,QAAQ,CAAC,kBAAkB,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAA;QAC/F,yEAAyE;QACzE,0CAA0C;QAC1C,MAAM,MAAM,GAAG,CAAC,MAAW,EAAS,EAAE;YACpC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAA;YACzG,CAAC;YACD,OAAO,MAAM,EAAE,IAAI,IAAI,EAAE,CAAA;QAC3B,CAAC,CAAA;QAED,IAAI,MAAc,CAAA;QAClB,IAAI,QAAmB,CAAA;QACvB,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAClC,MAAM,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAA;YACpC,QAAQ,GAAG,EAAE,CAAA;QACf,CAAC;aAAM,CAAC;YACN,IAAI,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAA;YAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;YACjF,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;YACtG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAA;YACpC,MAAM,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAA;YAChC,QAAQ,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QACzB,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;QACrF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,eAAe,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QACxF,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC;YACtB,MAAM,IAAI,kBAAkB,CAC1B,qBAAqB,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,IAAI,EAAE,iBAAiB,GAAG,uCAAuC;gBAC5G,iHAAiH,CACpH,CAAA;QACH,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAQ,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACtG,CAAC,CAAA;AACH,CAAC;AAkDD,MAAM,UAAU,aAAa,CAC3B,OAA6B,EAC7B,WAAyB,EAAE;IAE3B,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAA;IAChD,MAAM,OAAO,GAAG,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;IAC5D,MAAM,SAAS,GAAG,UAAU,CAAC,cAAc,EAAE,OAAO,CAAC,YAAY,CAAC,CAAA;IAClE,IAAI,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,wBAAwB,CAChC,0GAA0G,CAC3G,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;IACtG,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,IAAI,CAAA;IAC3C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,CAAC;YACH,eAAe,CAAC,SAAS,CAAC,CAAA;QAC5B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,wBAAwB,CAAC,sCAAuC,KAAe,CAAC,OAAO,EAAE,CAAC,CAAA;QACtG,CAAC;QACD,IAAI,SAAS,KAAK,cAAc,EAAE,CAAC;YACjC,MAAM,IAAI,wBAAwB,CAAC,qEAAqE,CAAC,CAAA;QAC3G,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,kBAAkB,CAAA;IACzD,MAAM,cAAc,GAAG,OAAO,CAAC,UAAU,CAAA;IAEzC,OAAO,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QAChC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC1C,MAAM,IAAI,wBAAwB,CAAC,uDAAuD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC7G,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,cAAc,CAAC,CAAA;QACtD,MAAM,OAAO,GAAW,UAAU,EAAE,OAAO,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,aAAa,CAAA;QACpG,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAA;QACvC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,uBAAuB,CAC/B,4BAA4B,OAAO,qEAAqE;gBACtG,0DAA0D,CAC7D,CAAA;QACH,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,EAAE,CAAA;QACrD,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAA;QACtD,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAA;QACvD,MAAM,IAAI,GACR,YAAY,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,KAAK,SAAS,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG;YACnF,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,KAAK,UAAU,OAAO,CAAC,CAAC,aAAa,CAAC,GAAG;YAClF,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,EAAE;YACxC,SAAS,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE;YACpF,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;YACzD,eAAe,CAAC,CAAC,OAAO,CAAC,UAAU,CAAA;QACrC,MAAM,QAAQ,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC/D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,eAAe,EAAE,gBAAgB,EAAE,SAAS,EAAE,GAAG,EAAE,CAC/E,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CACpC,CAAA;QACD,MAAM,IAAI,GAAU,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;YACvC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC3E,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;gBACX,CAAC,CAAC,MAAM;YACV,CAAC,CAAC,CAAE,MAAc,EAAE,IAAI,IAAI,EAAE,CAAC,CAAA;QAEjC,MAAM,KAAK,GAAgB,EAAE,CAAA;QAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,KAAK,GAAa,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,SAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAA;YACrG,IAAI,GAAG,CAAC,WAAW,KAAK,IAAI,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9D,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;gBACxC,SAAQ;YACV,CAAC;YACD,iEAAiE;YACjE,iEAAiE;YACjE,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;gBAAE,SAAQ;YACrE,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK;gBACL,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,SAAU,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;aACxF,CAAC,CAAA;QACJ,CAAC;QACD,yEAAyE;QACzE,gEAAgE;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;QAClC,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK;YACxB,CAAC,CAAC,EAAE,KAAK,EAAE;YACX,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAA;IAChD,CAAC,CAAA;AACH,CAAC"}

package/build/src/testing/contract.d.ts

@@ -1,27 +1,232 @@
 import '@japa/assert';
+import type { Assert } from '@japa/assert';
 import type { AuthorizationDriver, CatalogSpec } from '../types.js';
+import type { ContractScopeTree } from './scope_tree.js';
 /**
  * Suite de contrato del sistema de autorización — EL JUEZ.
  *
  * Cualquier driver (database, openfga, custom del consumidor) debe pasar
  * estos casos sin modificarlos: son la definición ejecutable de la semántica
- * documentada en `#services/authorization/types`. Para enchufar un driver:
+ * documentada en `../types.js`. Para enchufar un driver:
  *
  *   runAuthorizationDriverContract({
  *     name: 'mi-driver',
- *     makeDriver: () => new MiDriver(),
- *     seedCatalog: (catalog) => ...,   // materializa roles/permisos
- *     cleanup: () => ...,              // borra hechos + catálogo entre tests
+ *     level: '2.0',                      // omitido = 'core': solo los casos de 1.x
+ *     capabilities: { hierarchyFacts: false, transactions: false, truncationSignal: false,
+ *                     singleCheckAuthorize: false, injectableClock: false },
+ *     seedCatalog: (catalog) => ...,     // materializa roles/permisos
+ *     makeDriver: (tree) => new MiDriver({ resolveChain: ... }), // recibe el árbol
+ *     cleanup: () => ...,                // borra hechos + catálogo entre tests
  *   })
  *
+ * Llámala en el TOP LEVEL del spec (no dentro de un `test` ni de un hook):
+ * Japa registra los grupos al importar el archivo y descarta los tardíos.
+ *
  * `seedCatalog`/`cleanup` son del harness (no del contrato) porque cada
  * backend materializa el catálogo a su manera (tablas propias, FGA model...).
+ *
+ * El ÁRBOL de scopes también es del harness (`makeTree`, por defecto
+ * `memoryScopeTree()`): la suite lo construye caso a caso con `tree.attach` y
+ * el driver lo ve a través de lo que el harness le inyecte (un
+ * `resolveChain` que lo camina, o hechos en el backend). Así el
+ * invariante 1 se prueba con cadenas reales y no con el resolutor plano.
+ */
+/**
+ * Lo que un driver DECLARA poder hacer. Cada capacidad tiene en la suite un
+ * par de casos `{ whenTrue, whenFalse }` — nunca un `skip`. Hoy hay par para
+ * `truncationSignal: false` (con `exhaustiveLists`) y `hierarchyFacts: false`;
+ * los demás llegan con su fase, y mientras tanto declararlos `true` hace que
+ * la suite lance al registrarse: una promesa sin juez no pasa.
  */
+export interface DriverCapabilities {
+    /** El driver materializa el árbol como hechos propios (Fase 3b). */
+    hierarchyFacts: boolean;
+    /** Acepta `{ trx }` externa en las escrituras (Fase 2.5). */
+    transactions: boolean;
+    /**
+     * Los `list*` lanzan si el backend trunca. Ningún driver del paquete trunca
+     * (L0.7 se cerró enumerando con `Read` paginado), así que no hay caso para
+     * `true`: es el par que un driver de terceros con backend con tope tendría
+     * que traer.
+     */
+    truncationSignal: boolean;
+    /** `authorize` = una sola llamada al backend (modo facts, Fase 3b). */
+    singleCheckAuthorize: boolean;
+    /**
+     * El driver acepta un reloj inyectado (2.5 · J1): `withClock(now)` en el
+     * puerto devuelve una vista que evalúa la caducidad con ESE `now` (SQL,
+     * `current_time` de FGA, filtros en cliente y los tres estados del
+     * re-grant). Con `true` el juez fija el instante y observa la caducidad
+     * exacta (T−1 ms concede, T no) sin dormir; con `false` solo puede
+     * observarla en tiempo real (el caso de los tres estados espera 1,5 s).
+     */
+    injectableClock: boolean;
+    /**
+     * Los `list*` devuelven TODO sin tope. Es la verdad de los dos drivers del
+     * paquete: `database` (SQL sin límite) y `openfga` (enumeración por `Read`
+     * paginado, L0.7). Con `false` el harness debe dar `limits.listMaxResults`
+     * y el juez prueba solo la frontera exacta: es la declaración honesta de
+     * un driver de terceros cuyo backend trunca y que no lo señala.
+     */
+    exhaustiveLists: boolean;
+    /**
+     * El driver implementa el método opcional `listDenies` (2.1). Solo tiene
+     * casos en `level: '2.1'` (2E · I5): con `true` se juzgan `listDenies`,
+     * `effectivePermissions`, `authorizedScopes` y la versión compartida del
+     * catálogo; con `false` se juzga que esas primitivas lo digan (500
+     * `E_AUTHZ_UNSUPPORTED` nombrándolo) en vez de simular «sin denies». En un
+     * harness `core`/`'2.0'` no hay caso que lo observe: declara `false`.
+     */
+    listDenies: boolean;
+    /**
+     * `purgeRole(roleUuid)` está implementado de verdad (3B · B4): revoca
+     * todas las asignaciones del rol en todos los scopes, borra sus vínculos
+     * y el rol, atómicamente, y recrear el slug no revive nada. Solo tiene
+     * casos en `level: '2.2'`: con `true` se juzga la purga; con `false` se
+     * juzga que el driver lo DIGA (500 `E_AUTHZ_UNSUPPORTED`) y que no deje
+     * nada a medias — el driver `openfga` del paquete hasta 3b (`facts` +
+     * `reconcile`): sus bindings no son enumerables por rol sin leer el
+     * store entero. En un harness por debajo de `'2.2'` declara `false`.
+     */
+    purgeRole: boolean;
+    /**
+     * `countRoleAssignments(uuids)` está implementado de verdad (3b-2j): el
+     * driver sabe decir cuántos hechos VIGENTES tiene cada rol, que es lo que
+     * hace verdadero el `stillGranting` de `pruneOrphanRoles` —el campo que se
+     * lee justo antes de un borrado destructivo—. Con `true` se juzga el
+     * conteo (caducidad estricta, por posición, 422 por uuid mal formado); con
+     * `false`, que el barrido diga `undefined` y **nunca** `false`: «no lo sé»
+     * no puede degradar a «no concede». Solo tiene casos en `level: '2.2'`.
+     *
+     * **Es la capacidad que este lote estrena y es breaking**: un driver de
+     * terceros de 2.2 la declara `false` hasta que traiga el método.
+     */
+    countRoleAssignments: boolean;
+    /**
+     * Las escrituras del CATÁLOGO se serializan de verdad en el motor (3E ·
+     * R2, tester): dos `defineScopedRole` del mismo `(slug, nivel)` en
+     * paralelo terminan con EXACTAMENTE uno confirmado y el otro con 422
+     * `E_AUTHZ_CATALOG_CONFLICT` — nunca un fallo de backend. Es lo que da el
+     * cerrojo sobre la fila de `authz_catalog_version` (3D · M2) en PostgreSQL
+     * y MySQL, y es la promesa que el README hace.
+     *
+     * Con `false` (SQLite, que serializa bloqueando la BASE ENTERA) el juez
+     * solo puede exigir lo innegociable: nunca dos ganadores y el perdedor no
+     * escribe — su transacción puede morir con `SQLITE_BUSY`, que es un 503
+     * legítimo. Declararlo `true` en un motor así convierte un flake en un
+     * fallo; declararlo `false` en PG/MySQL deja pasar un mutante que
+     * convierte la colisión en 503. Solo tiene casos en `level: '2.2'`.
+     */
+    serializedCatalogWrites: boolean;
+    /**
+     * El backend resuelve la MEMBRESÍA por sí mismo (3b-2e · E2). **`false` en
+     * los dos drivers del paquete, también en el modo `facts`** (panel 2, cruce
+     * 6): `hasRole`, `listRoles`, `listRoleScopes`, `listSubjects` y
+     * `listScopes` siguen usando el `resolveChain` del consumidor. Con `false`
+     * el juez lo DEMUESTRA con un espía sobre el árbol, que es lo que impide
+     * vender «sin SQL en el camino caliente» a secas: lo cierto es «sin SQL por
+     * request en `authorize`». La cara `true` no tiene caso todavía: no hay
+     * driver que lo cumpla.
+     */
+    roleInheritanceNative: boolean;
+    /**
+     * Los `list*` enumeran también lo HEREDADO (3b-2e · E2). **`false` siempre
+     * en este paquete** (invariante 7): enumerar descendientes sería abierto, y
+     * en `openfga` obligaría a `ListObjects`, que trunca al tope del servidor
+     * SIN señal (S16, y `Check` y `ListObjects` ni siquiera coinciden en
+     * profundidad). Con `false` el juez fija que un grant en el ANCESTRO no
+     * aparece en las listas del descendiente aunque `authorize` diga `true`.
+     */
+    listObjectsInherited: boolean;
+    /**
+     * **Las LECTURAS canonizan la ortografía del scope contra el árbol del
+     * consumidor antes de buscar los hechos** (3b-2k · K1 · R2 (c)). El árbol
+     * del consumidor puede fundir dos formas del mismo id —el tipo `uuid` de
+     * PostgreSQL y la collation `*_ci` de MySQL leen `bbbb…` con y sin guiones
+     * como la MISMA fila—, y `authz_*` compara por bytes.
+     *
+     * Con `true` (driver `database`) `authorize` resuelve la cadena y usa
+     * `chain[0]`, la identidad CANÓNICA (invariante 17): un alias que el árbol
+     * funde con la fila real encuentra exactamente los mismos hechos que la
+     * forma canónica.
+     *
+     * Con `false` (`openfga` en modo `facts`) la DECISIÓN no pasa por el árbol
+     * —es la contrapartida de `singleCheckAuthorize`— así que el objeto del
+     * store se compone con la ortografía del LLAMANTE y un alias no encuentra
+     * nada: `authorize` responde `false` donde la forma canónica concede. Es
+     * fail-**CLOSED** y no evade ningún deny, pero **no es la misma respuesta
+     * que `database`** y por eso se declara. Lo que NO cambia es la ESCRITURA:
+     * `grant`/`revoke`/`removeDeny`/`purgeScope` sí canonizan en los dos
+     * drivers (3b-2h · 🟠 3 cerró la cara fail-open), y el juez lo fija en las
+     * DOS caras del par para que nadie lea esta capacidad como «en `facts` la
+     * ortografía da igual».
+     */
+    canonicalScopeReads: boolean;
+    /**
+     * El driver sabe ser el **ORIGEN** de `authz:reconcile` (3b-3b):
+     * `enumerateFacts` entrega sus hechos por páginas, con su caducidad y **sin
+     * filtrar** (una asignación caducada tiene que LLEGAR para que el destino
+     * la cuente en `skipped`; filtrarla la haría desaparecer sin rastro).
+     *
+     * Con `true` el juez pasea las páginas, comprueba que el cursor avanza,
+     * que no se devuelven más de `limit` hechos y que la caducada sale con su
+     * instante. Con `false` juzga que el driver no puede ser origen y que
+     * `authz:reconcile` lo DICE —500 `E_AUTHZ_UNSUPPORTED` nombrando el
+     * método— en vez de leer cero hechos y vaciar el destino con `--prune`.
+     *
+     * `false` en el driver `database` a propósito: sus hechos son
+     * `authz_assignments`/`authz_denies`, el esquema publicado del paquete, y
+     * el destino los lee de ahí. Solo tiene casos en `level: '2.2'`.
+     */
+    enumerateFacts: boolean;
+}
+export type ContractLevel = 'core' | '2.0' | '2.1' | '2.2';
 export interface DriverContractHarness {
     name: string;
-    makeDriver: () => AuthorizationDriver | Promise<AuthorizationDriver>;
-    seedCatalog: (catalog: CatalogSpec) => Promise<void>;
-    cleanup: () => Promise<void>;
+    /** `core` (default): los casos de 1.x. `'2.0'`: además los de la Fase 0/1. `'2.1'`: además las primitivas de la Fase 2. `'2.2'`: además los roles locales a un scope (Fase 3). */
+    level?: ContractLevel;
+    capabilities: DriverCapabilities;
+    /** Tope de resultados del backend de test. Obligatorio con `exhaustiveLists: false`. */
+    limits?: {
+        listMaxResults?: number;
+    };
+    /**
+     * Materializa el catálogo del juez. Devuelve lo que quiera (3E: el
+     * `syncAuthzCatalog` del paquete devuelve su reporte): el juez no lo mira.
+     */
+    seedCatalog(catalog: CatalogSpec): Promise<unknown>;
+    /** Árbol que usará la suite. Default: `memoryScopeTree()`. */
+    makeTree?(): Promise<ContractScopeTree>;
+    makeDriver(tree: ContractScopeTree): AuthorizationDriver | Promise<AuthorizationDriver>;
+    /**
+     * OTRA instancia del driver sobre el MISMO backend de hechos y con su
+     * propio memo del catálogo — lo que sería el mismo driver en otro proceso
+     * (2D · F1). Default: si el driver expone `catalog` (`CatalogCache`, los
+     * dos del paquete), una vista por prototipo con un memo nuevo; si no, el
+     * mismo driver (un driver que lea el catálogo en vivo pasa igual).
+     */
+    makeTwin?(driver: AuthorizationDriver, tree: ContractScopeTree): AuthorizationDriver | Promise<AuthorizationDriver>;
+    cleanup(): Promise<void>;
+}
+/**
+ * Lo mínimo que el juez necesita del runner. En producción es el `test` de
+ * Japa; en `tests/contract_harness.spec.ts` es una API falsa que solo anota
+ * títulos, porque Japa no permite registrar grupos desde un test en marcha y
+ * la regla de capacidades hay que poder probarla.
+ */
+export interface ContractTestApi {
+    group(title: string, define: (group: {
+        each: {
+            setup(fn: () => Promise<void>): unknown;
+        };
+        teardown(fn: () => Promise<void>): unknown;
+    }) => void): unknown;
+    test(title: string, fn: (ctx: {
+        assert: Assert;
+    }) => Promise<void>): {
+        timeout(ms: number): unknown;
+    } | undefined | void;
 }
 export declare function runAuthorizationDriverContract(harness: DriverContractHarness): void;
+export declare function registerAuthorizationDriverContract(harness: DriverContractHarness, api: ContractTestApi): void;
 //# sourceMappingURL=contract.d.ts.map

package/build/src/testing/contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/testing/contract.ts"],"names":[],"mappings":"AAAA,OAAO,cAAc,CAAA;AAGrB,OAAO,KAAK,EACV,mBAAmB,EACnB,WAAW,EAGZ,MAAM,aAAa,CAAA;AAGpB;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,MAAM,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACpE,WAAW,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACpD,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAA;CAC7B;AAoBD,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,qBAAqB,QAkP5E"}
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/testing/contract.ts"],"names":[],"mappings":"AAAA,OAAO,cAAc,CAAA;AACrB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAG1C,OAAO,KAAK,EACV,mBAAmB,EAEnB,WAAW,EAKZ,MAAM,aAAa,CAAA;AAQpB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAA;AAExD;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,oEAAoE;IACpE,cAAc,EAAE,OAAO,CAAA;IACvB,6DAA6D;IAC7D,YAAY,EAAE,OAAO,CAAA;IACrB;;;;;OAKG;IACH,gBAAgB,EAAE,OAAO,CAAA;IACzB,uEAAuE;IACvE,oBAAoB,EAAE,OAAO,CAAA;IAC7B;;;;;;;OAOG;IACH,eAAe,EAAE,OAAO,CAAA;IACxB;;;;;;OAMG;IACH,eAAe,EAAE,OAAO,CAAA;IACxB;;;;;;;OAOG;IACH,UAAU,EAAE,OAAO,CAAA;IACnB;;;;;;;;;OASG;IACH,SAAS,EAAE,OAAO,CAAA;IAClB;;;;;;;;;;;OAWG;IACH,oBAAoB,EAAE,OAAO,CAAA;IAC7B;;;;;;;;;;;;;;OAcG;IACH,uBAAuB,EAAE,OAAO,CAAA;IAChC;;;;;;;;;OASG;IACH,qBAAqB,EAAE,OAAO,CAAA;IAC9B;;;;;;;OAOG;IACH,oBAAoB,EAAE,OAAO,CAAA;IAC7B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,mBAAmB,EAAE,OAAO,CAAA;IAC5B;;;;;;;;;;;;;;;OAeG;IACH,cAAc,EAAE,OAAO,CAAA;CACxB;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAE1D,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAA;IACZ,kLAAkL;IAClL,KAAK,CAAC,EAAE,aAAa,CAAA;IACrB,YAAY,EAAE,kBAAkB,CAAA;IAChC,wFAAwF;IACxF,MAAM,CAAC,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;IACpC;;;OAGG;IACH,WAAW,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;IACnD,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,OAAO,CAAC,iBAAiB,CAAC,CAAA;IACvC,UAAU,CAAC,IAAI,EAAE,iBAAiB,GAAG,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACvF;;;;;;OAMG;IACH,QAAQ,CAAC,CAAC,MAAM,EAAE,mBAAmB,EAAE,IAAI,EAAE,iBAAiB,GAAG,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAA;IACnH,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;CACzB;AAoPD;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,CACH,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,CAAC,KAAK,EAAE;QACd,IAAI,EAAE;YAAE,KAAK,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;SAAE,CAAA;QACjD,QAAQ,CAAC,EAAE,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAA;KAC3C,KAAK,IAAI,GACT,OAAO,CAAA;IACV,IAAI,CACF,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,CAAC,GAAG,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,KAAK,OAAO,CAAC,IAAI,CAAC,GAC7C;QAAE,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,GAAG,SAAS,GAAG,IAAI,CAAA;CACvD;AAED,wBAAgB,8BAA8B,CAAC,OAAO,EAAE,qBAAqB,QAK5E;AAED,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,qBAAqB,EAC9B,GAAG,EAAE,eAAe,QAo1HrB"}