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

package/build/src/drivers/openfga_relations_driver.d.ts

@@ -1,4 +1,5 @@
-import type { RelObject, RelSubject, RelationObjectsPage, RelationSubjectsPage, RelationPage, RelationTuplePage, RelationsDriver, RelationsDriverCapabilities, RelationWriteOptions, ScopeRef } from '../types.js';
+import type { Clock } from '../clock.js';
+import type { RelObject, RelSubject, RelationObjectsPage, RelationSubjectsPage, RelationPage, RelationTuplePage, RelationsDriver, RelationsDriverCapabilities, RelationTransactionOptions, RelationWriteOptions, ScopeRef } from '../types.js';
 import type { HolderTypeMap } from './openfga_driver.js';
 import type { RelationsConfig } from '../relations/define_relations_config.js';
 export declare const DEFAULT_TIMEOUT_MS = 5000;
@@ -23,6 +24,14 @@ export interface OpenFgaRelationsDriverOptions {
     logger?: {
         warn(message: string): void;
     };
+    /**
+     * Reloj de pared que DECIDE la caducidad (R-15, 2.5 · J1): el `current_time`
+     * de cada `Check`/`ListObjects` (la condición `not_expired` se evalúa contra
+     * él), el filtro en cliente de `listSubjects` y los tres estados de
+     * `expiresAt` en `relate`. Default `systemClock`; en producción lo aplica el
+     * `RelationsManager` con `clock` (`withClock`).
+     */
+    now?: Clock;
 }
 export declare class OpenFgaRelationsDriver implements RelationsDriver {
     #private;
@@ -46,6 +55,8 @@ export declare class OpenFgaRelationsDriver implements RelationsDriver {
      *    `group`), descartando las de `facts` (scope/role/role_binding).
      *  - `listObjectsTruncation: true`: `ListObjects` trunca al tope del servidor
      *    y este driver lo SEÑALA (medido contra el `:8103` de tope 3).
+     *  - `injectableClock: true` (R-15): `withClock(now)` fija el reloj que viaja
+     *    como `current_time` y filtra `listSubjects`, como el driver de roles.
      */
     readonly capabilities: RelationsDriverCapabilities;
     private readonly client;
@@ -53,8 +64,29 @@ export declare class OpenFgaRelationsDriver implements RelationsDriver {
         unparseableTuples: number;
     };
     constructor(config: RelationsConfig, options: OpenFgaRelationsDriverOptions);
-    relate(subject: RelSubject, relation: string, object: RelObject, partition: ScopeRef, _options?: RelationWriteOptions): Promise<void>;
-    unrelate(subject: RelSubject, relation: string, object: RelObject, partition: ScopeRef, _options?: RelationWriteOptions): Promise<void>;
+    /**
+     * Vista de este driver con OTRO reloj de pared (R-15, paridad con
+     * `AuthorizationDriver.withClock`): MISMO cliente (store, modelo, deadline),
+     * solo cambia el `now` que decide la caducidad. Se construye una instancia
+     * nueva y se le presta el cliente (el espía de «1 Check» envuelve
+     * `client.check` de la instancia base y tiene que seguir viéndolo).
+     */
+    withClock(now: Clock): RelationsDriver;
+    relate(subject: RelSubject, relation: string, object: RelObject, partition: ScopeRef, options?: RelationWriteOptions): Promise<void>;
+    unrelate(subject: RelSubject, relation: string, object: RelObject, partition: ScopeRef, options?: RelationWriteOptions): Promise<void>;
+    /**
+     * **F-05 en las LECTURAS y las PURGAS del driver** (2.4.0-alpha.3, cierre
+     * del 🔴 1 / 🟠 2 del auditor; la MISMA función y la misma posición que
+     * L-0 en `relate`/`unrelate` y que L-5 con `{ transaction }`): PRIMERA
+     * línea (tras `#rejectTransaction` en las purgas), CERO llamadas al
+     * cliente. Reproducido contra el `:8101` en el store compartido:
+     * `purgeObject({ type: 'role_binding', id: R }, S)` componía
+     * `role_binding:<scopeKey>|<R>` —byte a byte el binding real— y
+     * `#purgeByFilter` lo borraba con demostración de cero (`authorize` de
+     * `true` a `false`); `listSubjects('assignee', role_binding)` enumeraba sus
+     * asignados. `check`/`listSubjects` validan el par; `listObjects`/
+     * `purgeObject` el tipo; `purgeSubject` el userset.
+     */
     /** `check` = UN solo `Check` (el modelo resuelve includes + usersets). */
     check(subject: RelSubject, relation: string, object: RelObject, partition: ScopeRef): Promise<boolean>;
     /**
@@ -97,9 +129,43 @@ export declare class OpenFgaRelationsDriver implements RelationsDriver {
      * `truncated`/paginación: `enumerateRelations` agota el `Read` (exhaustivo,
      * como `listSubjects`/`purge*`), así que devuelve TODO en una página sin
      * cursor —el reconcile itera hasta que no hay cursor—. Es el ORIGEN de una
-     * migración: una tupla que no llegara aquí desaparecería sin rastro.
+     * migración: una tupla que no llegara aquí desaparecería sin rastro — por eso
+     * la CADUCADA también llega, con su `expiresAt` (R-15), para que el destino
+     * la cuente en `skipped`.
+     *
+     * **Coste: O(tuplas del store) por PASADA** (2.4.0-alpha.6): es un barrido
+     * entero por llamada, sea cual sea el tamaño de la partición (medido: 5 000
+     * tuplas ⇒ 50 páginas ≈ 170 ms; 15 000 ⇒ 151 páginas ≈ 0,5 s). Para K
+     * particiones usa `enumerateRelationsMany`: UN barrido en vez de K.
      */
     enumerateRelations(partition: ScopeRef, _page?: RelationPage): Promise<RelationTuplePage>;
+    /**
+     * **`enumerateRelationsMany` — K particiones en UN barrido** (2.4.0-alpha.6;
+     * panel relay, analista §3: con 3 particiones 1,4 s → 0,46 s). MISMA
+     * semántica que `enumerateRelations` por cada partición pedida —exhaustiva,
+     * sin filtrar la caducada, todo en una página sin cursor— y cada tupla
+     * viene con SU `partition` (la referencia que pasó el llamante, casada por
+     * `scopeKey` ENTERA), de modo que el llamante reparte por `partition`.
+     * Reparte un solo `Read({})` paginado del store entero.
+     *
+     * **Lo que este método NO hace, a propósito: un `Read` por PREFIJO de id.**
+     * OpenFGA no tiene prefix-match: `Read({ object: 'document:unit|<uuid>|' })`
+     * responde **200 con cero tuplas** (medido por el panel, auditor 🔴 3) — en
+     * el ORIGEN de una migración eso es «esta partición está vacía» en silencio,
+     * y en una purga, «demostrado cero» sin haber borrado nada. El único filtro
+     * legal es `{}`; la partición se decide comparando la CLAVE entera del id
+     * parseado desde la derecha (`#parseObjectId`), así que `app` no arrastra a
+     * `appliance|…`, `org|U` no arrastra a `organization|U` y cada ortografía del
+     * uuid es su propia partición. La suite espía el FILTRO de cada `read`.
+     *
+     * **Exhaustivo o ruidoso**: una página con cero tuplas y token de
+     * continuación NO es el fin; un token que se repite, más de
+     * `MAX_READ_PAGES` páginas o una respuesta sin `tuples` son 503
+     * `E_AUTHZ_BACKEND_UNAVAILABLE` (`#readAll`); una tupla que no se entiende
+     * se cuenta en `diagnostics.unparseableTuples` y se avisa. Sin particiones
+     * es 500 `E_AUTHZ_CONFIG` con cero lecturas: no hay «éxito vacío».
+     */
+    enumerateRelationsMany(partitions: ScopeRef[], _page?: RelationPage): Promise<RelationTuplePage>;
     /**
      * Borra TODAS las tuplas del objeto (cualquier relación) y demuestra cero.
      * Barre las DOS ortografías del uuid de partición (🟡2, paridad con
@@ -107,7 +173,7 @@ export declare class OpenFgaRelationsDriver implements RelationsDriver {
      * alias concediendo tras una purga «exitosa». Si tras borrar quedan tuplas
      * ⇒ 500 `E_AUTHZ_PURGE_INCOMPLETE`.
      */
-    purgeObject(object: RelObject, partition: ScopeRef): Promise<void>;
+    purgeObject(object: RelObject, partition: ScopeRef, options?: RelationTransactionOptions): Promise<void>;
     /**
      * Borra TODAS las tuplas cuyo SUJETO es este subject en la partición, en
      * cualquier tipo de objeto declarado, y demuestra cero. `Read` exige un
@@ -115,6 +181,6 @@ export declare class OpenFgaRelationsDriver implements RelationsDriver {
      * que se recorre cada tipo declarado (`group` + los del consumidor) con
      * `Read({ user, object: '<type>:' })`.
      */
-    purgeSubject(subject: RelSubject, partition: ScopeRef): Promise<void>;
+    purgeSubject(subject: RelSubject, partition: ScopeRef, options?: RelationTransactionOptions): Promise<void>;
 }
 //# sourceMappingURL=openfga_relations_driver.d.ts.map

package/build/src/drivers/openfga_relations_driver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"openfga_relations_driver.d.ts","sourceRoot":"","sources":["../../../src/drivers/openfga_relations_driver.ts"],"names":[],"mappings":"AAiDA,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,YAAY,EAEZ,iBAAiB,EACjB,eAAe,EACf,2BAA2B,EAC3B,oBAAoB,EACpB,QAAQ,EAET,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAExD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAE9E,eAAO,MAAM,kBAAkB,OAAQ,CAAA;AAgCvC,MAAM,WAAW,6BAA6B;IAC5C,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,wFAAwF;IACxF,WAAW,EAAE,aAAa,CAAA;IAC1B,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,+FAA+F;IAC/F,WAAW,CAAC,EAAE,oBAAoB,GAAG,kBAAkB,CAAA;IACvD;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,uEAAuE;IACvE,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAA;CACzC;AAED,qBAAa,sBAAuB,YAAW,eAAe;;IAC5D;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,QAAQ,CAAC,YAAY,EAAE,2BAA2B,CAOhD;IAEF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAgB;IASvC,QAAQ,CAAC,WAAW;;MAA2B;gBAEnC,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,6BAA6B;IA+GrE,MAAM,CACV,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,QAAQ,EACnB,QAAQ,CAAC,EAAE,oBAAoB,GAC9B,OAAO,CAAC,IAAI,CAAC;IAYV,QAAQ,CACZ,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,QAAQ,EACnB,QAAQ,CAAC,EAAE,oBAAoB,GAC9B,OAAO,CAAC,IAAI,CAAC;IAahB,0EAA0E;IACpE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC;IAW5G;;;;;;;;;;OAUG;IACG,WAAW,CACf,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,QAAQ,EACnB,KAAK,CAAC,EAAE,YAAY,GACnB,OAAO,CAAC,mBAAmB,CAAC;IAuB/B;;;;;OAKG;IACG,YAAY,CAChB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,QAAQ,EACnB,KAAK,CAAC,EAAE,YAAY,GACnB,OAAO,CAAC,oBAAoB,CAAC;IAchC;;;;;;;OAOG;IACG,SAAS,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAYhD;;;;;;;;;;;;;OAaG;IACG,kBAAkB,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA6B/F;;;;;;OAMG;IACG,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAUxE;;;;;;OAMG;IACG,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;CA+G5E"}
+{"version":3,"file":"openfga_relations_driver.d.ts","sourceRoot":"","sources":["../../../src/drivers/openfga_relations_driver.ts"],"names":[],"mappings":"AAmDA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAGxC,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,mBAAmB,EACnB,oBAAoB,EACpB,YAAY,EAEZ,iBAAiB,EACjB,eAAe,EACf,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,EACpB,QAAQ,EAET,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AASxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAA;AAE9E,eAAO,MAAM,kBAAkB,OAAQ,CAAA;AAqCvC,MAAM,WAAW,6BAA6B;IAC5C,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,wFAAwF;IACxF,WAAW,EAAE,aAAa,CAAA;IAC1B,oEAAoE;IACpE,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,+FAA+F;IAC/F,WAAW,CAAC,EAAE,oBAAoB,GAAG,kBAAkB,CAAA;IACvD;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,uEAAuE;IACvE,MAAM,CAAC,EAAE;QAAE,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAA;IACxC;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,KAAK,CAAA;CACZ;AAUD,qBAAa,sBAAuB,YAAW,eAAe;;IAC5D;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,QAAQ,CAAC,YAAY,EAAE,2BAA2B,CAuBhD;IAEF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAgB;IAWvC,QAAQ,CAAC,WAAW;;MAA2B;gBAEnC,MAAM,EAAE,eAAe,EAAE,OAAO,EAAE,6BAA6B;IAsB3E;;;;;;OAMG;IACH,SAAS,CAAC,GAAG,EAAE,KAAK,GAAG,eAAe;IA+JhC,MAAM,CACV,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,IAAI,CAAC;IAwCV,QAAQ,CACZ,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,QAAQ,EACnB,OAAO,CAAC,EAAE,oBAAoB,GAC7B,OAAO,CAAC,IAAI,CAAC;IAiBhB;;;;;;;;;;;;OAYG;IACH,0EAA0E;IACpE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC;IAa5G;;;;;;;;;;OAUG;IACG,WAAW,CACf,OAAO,EAAE,UAAU,EACnB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,QAAQ,EACnB,KAAK,CAAC,EAAE,YAAY,GACnB,OAAO,CAAC,mBAAmB,CAAC;IAyB/B;;;;;OAKG;IACG,YAAY,CAChB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,QAAQ,EACnB,KAAK,CAAC,EAAE,YAAY,GACnB,OAAO,CAAC,oBAAoB,CAAC;IAoBhC;;;;;;;OAOG;IACG,SAAS,IAAI,OAAO,CAAC,oBAAoB,CAAC;IAYhD;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,kBAAkB,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAK/F;;;;;;;;;;;;;;;;;;;;;;;;;OAyBG;IACG,sBAAsB,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,KAAK,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC;IAgDtG;;;;;;OAMG;IACG,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,0BAA0B,GAAG,OAAO,CAAC,IAAI,CAAC;IAmB9G;;;;;;OAMG;IACG,YAAY,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,0BAA0B,GAAG,OAAO,CAAC,IAAI,CAAC;CA+JlH"}