@jantstack/adonis-authz 2.5.0-alpha.3 → 2.5.0-rc.1

package/build/commands/authz_catalog_diff.d.ts

@@ -25,4 +25,3 @@ export default class AuthzCatalogDiff extends BaseCommand {
     failOnShadows: boolean;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_catalog_diff.d.ts.map

package/build/commands/authz_catalog_diff.js

@@ -63,4 +63,3 @@ __decorate([
     }),
     __metadata("design:type", Boolean)
 ], AuthzCatalogDiff.prototype, "failOnShadows", void 0);
-//# sourceMappingURL=authz_catalog_diff.js.map

package/build/commands/authz_catalog_prune_orphans.d.ts

@@ -34,6 +34,11 @@ export declare function orphanLines(orphans: OrphanRow[], purged: Set<string>, s
     level: 'log' | 'warning';
     message: string;
 }>;
+/**
+ * La letra de los disparadores del seguro de purga masiva (3b-0b · AA2 + rotación 2 · R2-02), en el orden en que
+ * el manager los reporta. Pura, para que el caso la fije.
+ */
+export declare function massPurgeLetter(reasons: ReadonlyArray<string>): string;
 /**
  * Lista —y con `--force` borra— los roles LOCALES cuyo owner el árbol del
  * consumidor YA NO conoce (3b-0 · Z2).
@@ -56,6 +61,7 @@ export declare function orphanLines(orphans: OrphanRow[], purged: Set<string>, s
  *   node ace authz:catalog:prune-orphans                      # --dry-run: solo lista
  *   node ace authz:catalog:prune-orphans --force              # purga de verdad
  *   node ace authz:catalog:prune-orphans --force --allow-mass-purge
+ *   node ace authz:catalog:prune-orphans --max-local-roles=50000   # catálogo local de más de 10 000 roles
  *
  * Es una operación de PLATAFORMA, no una escritura que dispare un tenant: no
  * lleva actor ni mide rangos. Hasta 3G esta limpieza la arrastraba
@@ -63,8 +69,10 @@ export declare function orphanLines(orphans: OrphanRow[], purged: Set<string>, s
  * resuelve—, y de ahí salieron tres de las cuatro regresiones de la Fase 3.
  *
  * `--allow-mass-purge` (3b-0b · AA2) desbloquea la cota que rechaza una
- * pasada con la firma de un resolutor ciego (todos los owners huérfanos, o
- * más del 50 % de los roles locales): es una decisión humana, no un default.
+ * pasada con la firma de un resolutor ciego (todos los owners huérfanos,
+ * más del 50 % de los roles locales, o —rotación 2 · R2-02— huérfanos de más
+ * de un owner con alguno que todavía concede): es una decisión humana, no un
+ * default. `--max-local-roles` (R2-04) sube la cota de la lectura.
  */
 export default class AuthzCatalogPruneOrphans extends BaseCommand {
     static commandName: string;
@@ -72,7 +80,13 @@ export default class AuthzCatalogPruneOrphans extends BaseCommand {
     static options: CommandOptions;
     force: boolean | undefined;
     allowMassPurge: boolean | undefined;
+    /**
+     * Rotación 2 · R2-04: la cota de la lectura del catálogo local (default 10 000). Hasta este cierre el mensaje
+     * de `E_AUTHZ_TOO_MANY_LOCAL_ROLES` pedía «subir la cota» y no había mando: un tenant que pasara de 10 000 roles
+     * locales dejaba este comando muerto para todos. Un valor que no es un entero ≥ 1 lo rechaza el manager (500
+     * `E_AUTHZ_CONFIG`) antes de leer nada.
+     */
+    maxLocalRoles: number | undefined;
     run(): Promise<void>;
 }
 export {};
-//# sourceMappingURL=authz_catalog_prune_orphans.d.ts.map

package/build/commands/authz_catalog_prune_orphans.js

@@ -54,6 +54,18 @@ export function orphanLines(orphans, purged, skipped) {
     }
     return lines;
 }
+/**
+ * La letra de los disparadores del seguro de purga masiva (3b-0b · AA2 + rotación 2 · R2-02), en el orden en que
+ * el manager los reporta. Pura, para que el caso la fije.
+ */
+export function massPurgeLetter(reasons) {
+    const words = {
+        'all-owners': 'todos los owners salen huérfanos',
+        'proportion': 'más del 50 % de los roles locales',
+        'granting-across-owners': 'huérfanos de más de un owner y alguno TODAVÍA concede o no se sabe',
+    };
+    return reasons.map((reason) => words[reason] ?? reason).join('; ') || 'sin motivo reportado';
+}
 /**
  * Lista —y con `--force` borra— los roles LOCALES cuyo owner el árbol del
  * consumidor YA NO conoce (3b-0 · Z2).
@@ -76,6 +88,7 @@ export function orphanLines(orphans, purged, skipped) {
  *   node ace authz:catalog:prune-orphans                      # --dry-run: solo lista
  *   node ace authz:catalog:prune-orphans --force              # purga de verdad
  *   node ace authz:catalog:prune-orphans --force --allow-mass-purge
+ *   node ace authz:catalog:prune-orphans --max-local-roles=50000   # catálogo local de más de 10 000 roles
  *
  * Es una operación de PLATAFORMA, no una escritura que dispare un tenant: no
  * lleva actor ni mide rangos. Hasta 3G esta limpieza la arrastraba
@@ -83,8 +96,10 @@ export function orphanLines(orphans, purged, skipped) {
  * resuelve—, y de ahí salieron tres de las cuatro regresiones de la Fase 3.
  *
  * `--allow-mass-purge` (3b-0b · AA2) desbloquea la cota que rechaza una
- * pasada con la firma de un resolutor ciego (todos los owners huérfanos, o
- * más del 50 % de los roles locales): es una decisión humana, no un default.
+ * pasada con la firma de un resolutor ciego (todos los owners huérfanos,
+ * más del 50 % de los roles locales, o —rotación 2 · R2-02— huérfanos de más
+ * de un owner con alguno que todavía concede): es una decisión humana, no un
+ * default. `--max-local-roles` (R2-04) sube la cota de la lectura.
  */
 export default class AuthzCatalogPruneOrphans extends BaseCommand {
     static commandName = 'authz:catalog:prune-orphans';
@@ -94,9 +109,10 @@ export default class AuthzCatalogPruneOrphans extends BaseCommand {
     };
     async run() {
         const { default: authorization } = await import('../services/main.js');
-        const { orphans, purged, skipped, massPurge, dryRun } = await authorization.pruneOrphanRoles({
+        const { orphans, purged, skipped, massPurge, massPurgeReasons, dryRun } = await authorization.pruneOrphanRoles({
             force: this.force === true,
             allowMassPurge: this.allowMassPurge === true,
+            ...(this.maxLocalRoles !== undefined ? { maxLocalRoles: this.maxLocalRoles } : {}),
         });
         // Los que todavía conceden —y los que NADIE puede demostrar que no
         // concedan— van aparte, con aviso: purgarlos es revocar permisos vivos,
@@ -110,7 +126,8 @@ export default class AuthzCatalogPruneOrphans extends BaseCommand {
         }
         if (dryRun) {
             if (massPurge) {
-                this.logger.warning(`${orphans.length} de los roles locales quedarían huérfanos: eso es la firma de un 'scopes.resolveChain' ciego. ` +
+                this.logger.warning(`${orphans.length} de los roles locales quedarían huérfanos: eso es la firma de un 'scopes.resolveChain' ciego ` +
+                    `(${massPurgeLetter(massPurgeReasons ?? [])}). ` +
                     `Con --force esto se rechaza (E_AUTHZ_MASS_PURGE_REFUSED); comprueba el resolutor antes de añadir --allow-mass-purge.`);
             }
             this.logger.warning(`${orphans.length} rol(es) local(es) con el owner fuera del árbol. No se ha borrado nada: repite con --force.`);
@@ -128,8 +145,13 @@ __decorate([
 ], AuthzCatalogPruneOrphans.prototype, "force", void 0);
 __decorate([
     flags.boolean({
-        description: 'Allow a pass that would purge every owner (or more than half the local roles) — check your resolveChain first',
+        description: 'Allow a pass that would purge every owner, more than half the local roles, or orphans of several owners that still grant (or cannot be counted) — check your resolveChain first',
     }),
     __metadata("design:type", Object)
 ], AuthzCatalogPruneOrphans.prototype, "allowMassPurge", void 0);
-//# sourceMappingURL=authz_catalog_prune_orphans.js.map
+__decorate([
+    flags.number({
+        description: 'Cap on the local roles this pass reads (default 10000); above it, 500 E_AUTHZ_TOO_MANY_LOCAL_ROLES, never a partial list',
+    }),
+    __metadata("design:type", Object)
+], AuthzCatalogPruneOrphans.prototype, "maxLocalRoles", void 0);

package/build/commands/authz_catalog_sync.d.ts

@@ -34,4 +34,3 @@ export default class AuthzCatalogSync extends BaseCommand {
     keepLinks: boolean | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_catalog_sync.d.ts.map

package/build/commands/authz_catalog_sync.js

@@ -78,4 +78,3 @@ __decorate([
     flags.boolean({ description: 'Do not prune role→permission links missing from the spec' }),
     __metadata("design:type", Object)
 ], AuthzCatalogSync.prototype, "keepLinks", void 0);
-//# sourceMappingURL=authz_catalog_sync.js.map

package/build/commands/authz_freeze.d.ts

@@ -41,4 +41,3 @@ export default class AuthzFreeze extends BaseCommand {
     leaseMs: number | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_freeze.d.ts.map

package/build/commands/authz_freeze.js

@@ -91,4 +91,3 @@ __decorate([
     }),
     __metadata("design:type", Object)
 ], AuthzFreeze.prototype, "leaseMs", void 0);
-//# sourceMappingURL=authz_freeze.js.map

package/build/commands/authz_reconcile.d.ts

@@ -108,4 +108,3 @@ export default class AuthzReconcile extends BaseCommand {
     maxTuples: number | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_reconcile.d.ts.map

package/build/commands/authz_reconcile.js

@@ -453,4 +453,3 @@ __decorate([
     }),
     __metadata("design:type", Object)
 ], AuthzReconcile.prototype, "maxTuples", void 0);
-//# sourceMappingURL=authz_reconcile.js.map

package/build/commands/authz_relations_reconcile.d.ts

@@ -92,4 +92,3 @@ export default class AuthzRelationsReconcile extends BaseCommand {
     partitionUuid: string | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_relations_reconcile.d.ts.map

package/build/commands/authz_relations_reconcile.js

@@ -9,6 +9,7 @@ var __metadata = (this && this.__metadata) || function (k, v) {
 };
 import { BaseCommand, flags } from '@adonisjs/core/ace';
 import { RELATION_USERSET_RESIDUE_DELETE } from '../src/relations/define_relations_config.js';
+import { denyReachLine } from '../src/relations/deny_reach.js';
 import { RelationConfigError } from '../src/errors.js';
 // Plan 2.5 · lote B · B7: la vía pública vive en su subpath (`src/relations_reconcile.ts`,
 // `@jantstack/adonis-authz/relations/reconcile`); este módulo es el COMANDO y la importa de allí.
@@ -84,6 +85,34 @@ export function relationsReconcileLines(report) {
                 `el deny concedería lo que el origen niega. Receta: ${refusal.recipe}`,
         });
     }
+    // Lote RC · sublote (8): el DETECTOR del alcance de los denies (solo si la pasada lo pidió: `--dry-run`). Una línea por
+    // hallazgo con su prefijo ESTABLE (punto 7) y su receta: «deny con alcance ENCOGIDO» / «deny HUÉRFANO» (persistida →
+    // servida) y «línea base RANCIA» (servida → persistida, firma (8 · rancia)) son deriva (exit ≠ 0). Sin línea base y con
+    // denies vivos sin juzgar, la línea «alcance de denies: SIN línea base y N deny(s) vivos sin juzgar» y exit 0 (firma
+    // (8 · `--dry-run`), g2: el runbook no persiste la config y no cambia). Sin nada de eso, UNA línea que dice qué se comparó.
+    if (report.denyReach !== undefined) {
+        const { baseline, findings, stale, unjudged } = report.denyReach;
+        for (const finding of [...findings, ...stale]) {
+            lines.push({ level: 'error', message: `${denyReachLine(finding)} (lado: ${finding.sides.join(', ')})` });
+        }
+        if (baseline === 'none' && unjudged > 0) {
+            lines.push({
+                level: 'warning',
+                message: `alcance de denies: SIN línea base y ${unjudged} deny(s) vivos sin juzgar (no hay config persistida en authz_relations_config): ` +
+                    `solo se buscaron huérfanos, y un estrechamiento de su alcance NO se ve sin línea base. Si usas deny, persistir la config es ` +
+                    `paso obligatorio de release: adóptala una vez con saveRelationsConfig(spec, { establishBaseline: true }) y vigila con ` +
+                    `checkRelationsConfigDenyReach (el detector de un solo driver).`,
+            });
+        }
+        else if (findings.length === 0 && stale.length === 0) {
+            lines.push({
+                level: 'log',
+                message: baseline === 'persisted'
+                    ? 'alcance de denies: ningún deny vivo de la partición encogió ni quedó huérfano entre la config persistida (línea base) y la que sirve este proceso, y la línea base no es más estrecha que lo servido.'
+                    : 'alcance de denies: SIN línea base (no hay config persistida en authz_relations_config) y ningún deny vivo en la partición que juzgar.',
+            });
+        }
+    }
     // R-15: la caducada del origen es la pérdida DECLARADA de la migración (como
     // `expired` en roles, 3b-8 · B2): se dice, no es deriva.
     if (report.skipped.expired > 0) {
@@ -137,7 +166,9 @@ export function relationsReconcileLines(report) {
                 level: 'error',
                 message: detail.reason === 'userset-unsupported'
                     ? `sin migrar ${what}. Es un residuo pre-2.5 (B3) del store de ORIGEN: el destino no lo admite por ninguna puerta y ningún --prune lo toca. Bórrala a mano (los tres motores): ${RELATION_USERSET_RESIDUE_DELETE} y repite la pasada.`
-                    : `sin migrar ${what}. Es un dato del store de ORIGEN, no una pregunta: corrígela o bórrala a mano (SQL/SDK) y repite la pasada.`,
+                    : detail.reason === 'invalid-condition'
+                        ? `sin migrar ${what}. Es una tupla cuya condición el paquete no escribe ni sabe leer (L11): no se migra como permanente ni como caducada. Revísala y corrígela o bórrala a mano (SDK/CLI de OpenFGA) y repite la pasada.`
+                        : `sin migrar ${what}. Es un dato del store de ORIGEN, no una pregunta: corrígela o bórrala a mano (SQL/SDK) y repite la pasada.`,
             });
             continue;
         }
@@ -164,11 +195,13 @@ export function relationsReconcileLines(report) {
             level: 'error',
             message: detail.reason === 'userset-unsupported'
                 ? `sobra ${what}. Es un residuo pre-2.5 (B3) del DESTINO: --prune ${verdict} lo borra${detail.pruned === false ? '' : 'ría'} (nunca un DELETE de plataforma sobre una fila que la API no admite). Bórrala a mano (los tres motores): ${RELATION_USERSET_RESIDUE_DELETE} y repite la pasada.`
-                : detail.reason === 'deny-conditional'
-                    ? `sobra ${what}. Es un deny CONDICIONAL del DESTINO (con caducidad, escrito fuera del paquete) que el driver destino no puede rehacer permanente (openfga no reemplaza la misma clave en un Write, M5): niega solo mientras viva (si ya venció, no niega nada) y su partición queda NEGADA (línea «partición NEGADA»: cero escrituras en ella).`
-                    : detail.reason === 'undeclared'
-                        ? `sobra ${what}. Es una fila del DESTINO cuya relación (o tipo) el destino YA NO declara (F-05): --prune ${verdict} la borra${detail.pruned === false ? '' : 'ría'} (unrelate la rechaza por F-05 y la pasada no insiste: nunca un DELETE de plataforma). Sigue ahí: retírala a mano (SQL/SDK) o vuelve a declarar la relación en el destino (y re-guarda su config persistida) y repite la pasada.`
-                        : `sobra ${what}. Es un dato del DESTINO fuera de la gramática: --prune ${verdict} la borra${detail.pruned === false ? '' : 'ría'} (ningún driver del paquete la admite en unrelate, R-16, y la pasada no se la pide a nadie: nunca un DELETE de plataforma). Sigue ahí: corrígela o bórrala a mano (SQL/SDK) y repite la pasada.`,
+                : detail.reason === 'invalid-condition'
+                    ? `sobra ${what}. Es una tupla del DESTINO con una condición que el paquete no escribe ni sabe leer (L11): presente e intocable —--prune ${verdict} la borra${detail.pruned === false ? '' : 'ría'}, y su clave no se reescribe desde el origen—. Revísala y bórrala a mano (SDK/CLI de OpenFGA) y repite la pasada.`
+                    : detail.reason === 'deny-conditional'
+                        ? `sobra ${what}. Es un deny CONDICIONAL del DESTINO (con caducidad, escrito fuera del paquete) que el driver destino no puede rehacer permanente (openfga no reemplaza la misma clave en un Write, M5): niega solo mientras viva (si ya venció, no niega nada) y su partición queda NEGADA (línea «partición NEGADA»: cero escrituras en ella).`
+                        : detail.reason === 'undeclared'
+                            ? `sobra ${what}. Es una fila del DESTINO cuya relación (o tipo) el destino YA NO declara (F-05): --prune ${verdict} la borra${detail.pruned === false ? '' : 'ría'} (unrelate la rechaza por F-05 y la pasada no insiste: nunca un DELETE de plataforma). Sigue ahí: retírala a mano (SQL/SDK) o vuelve a declarar la relación en el destino (y re-guarda su config persistida) y repite la pasada.`
+                            : `sobra ${what}. Es un dato del DESTINO fuera de la gramática: --prune ${verdict} la borra${detail.pruned === false ? '' : 'ría'} (ningún driver del paquete la admite en unrelate, R-16, y la pasada no se la pide a nadie: nunca un DELETE de plataforma). Sigue ahí: corrígela o bórrala a mano (SQL/SDK) y repite la pasada.`,
         });
     }
     // Cierre 5 de D2 (decisión del dueño §2026-10-16 (10), opción A): la PARTICIÓN NEGADA — ≥ 1 `renewal-unsafe` o
@@ -182,7 +215,7 @@ export function relationsReconcileLines(report) {
         const later = evolves.length > 0 ? ` OJO, ese estado EVOLUCIONA: ${evolves.slice(0, 5).join('; ')}${evolves.length > 5 ? '; …' : ''}.` : '';
         lines.push({
             level: 'error',
-            message: `partición NEGADA ${refusal.partition}: ${causes.length} causa(s) que el destino no puede escribir en una escritura — ` +
+            message: `partición NEGADA ${refusal.partition}: ${causes.length} causa(s) por las que la pasada no puede escribir en ella sin conceder de más (una ventana entre dos Write, una tupla que el paquete no sabe leer, o una cadena de grupos anidados más larga que el techo del destino) — ` +
                 `${causes.slice(0, 5).join('; ')}${causes.length > 5 ? '; …' : ''}. Cero escrituras y cero borrados en esta partición ` +
                 `(también en la pasada real${report.prune === true ? ' y con --prune' : ''}): su destino queda COMO ESTABA, con la deriva ` +
                 `previa a la vista (por escribir ${refusal.pending.write}, por renovar ${refusal.pending.update}, por borrar ` +
@@ -287,6 +320,8 @@ export function relationsReconcileLines(report) {
         pendingRenewals === 0 &&
         (report.partitionsRefused?.length ?? 0) === 0 &&
         (report.denyRefused?.length ?? 0) === 0 &&
+        (report.denyReach?.findings.length ?? 0) === 0 &&
+        (report.denyReach?.stale.length ?? 0) === 0 &&
         !(report.massDelete && !massDeleteLifted) &&
         !(report.frozen?.lapsed === true) &&
         (!report.dryRun || cambios === 0);
@@ -461,6 +496,19 @@ export default class AuthzRelationsReconcile extends BaseCommand {
         else {
             this.logger.info(`Config del destino: leída de authz_relations_config (${toConfig.objectTypes.length} tipo(s)): la deriva del modelo se vigila.`);
         }
+        // Lote RC · sublote (8): el DETECTOR del alcance de los denies, solo en el verificador (`--dry-run`): línea base = la
+        // config persistida (`toConfig`), config nueva = la que SIRVE este proceso (`relations.config`). Sin `relations.config`
+        // en el proceso no hay con qué comparar: se dice (punto 7) y la pasada sigue.
+        let denyReach;
+        if (this.dryRun === true) {
+            const current = this.app.config?.get('authorization')?.relations?.config;
+            if (current && Array.isArray(current.objectTypes)) {
+                denyReach = { baseline: toConfig, current };
+            }
+            else {
+                this.logger.info('alcance de denies: NO se vigila en esta pasada (este proceso no tiene relations.config en config/authorization.ts con el que comparar).');
+            }
+        }
         // L-1 · J1: la pasada que ESCRIBE corre bajo la ventana durable del
         // manager de roles (la misma fila `id = 2`, toda la flota); `--dry-run` no.
         // Los drivers los construye `runRelationsReconcile`, DESPUÉS del guard.
@@ -475,6 +523,7 @@ export default class AuthzRelationsReconcile extends BaseCommand {
                 toKey: this.to,
                 fromKey,
                 ...(toConfig ? { toConfig } : {}),
+                ...(denyReach ? { denyReach } : {}),
             });
         }
         catch (error) {
@@ -583,4 +632,3 @@ __decorate([
     flags.string({ description: 'Partition (tenant) scope uuid; required with --partition-type' }),
     __metadata("design:type", Object)
 ], AuthzRelationsReconcile.prototype, "partitionUuid", void 0);
-//# sourceMappingURL=authz_relations_reconcile.js.map

package/build/commands/authz_scopes_relay.d.ts

@@ -94,4 +94,3 @@ export default class AuthzScopesRelay extends BaseCommand {
     static parseOnly(values: string[] | undefined): Array<string | number> | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_scopes_relay.d.ts.map

package/build/commands/authz_scopes_relay.js

@@ -207,7 +207,11 @@ export default class AuthzScopesRelay extends BaseCommand {
                 'Revísala en la cola (el consumidor puede volver a notificar el cambio) o reconcilia.');
         }
         if (report.busy) {
-            this.logger.info('Otra pasada del relay tiene el lease de la cola: esta no ha aplicado nada (el relay es escritor único).');
+            // Rotación 2 · R2-01b: la rama sigue saliendo 0 —respuesta del dueño en el cierre 2: la línea y `--max-age` son el
+            // detector; el caso fija exit 0 exacto (T-05)—, y la línea dice lo que puede ser.
+            this.logger.info('Otra pasada del relay tiene el lease de la cola: esta no ha aplicado nada (el relay es escritor único). ' +
+                'En MySQL, durante 2.5.x, el lease puede tenerlo OTRO despliegue del mismo servidor (el nombre de transición no ' +
+                'lleva la base; se retira en 2.6): si se repite en cada pasada, la cola no avanza — vigílala con --max-age.');
             if (report.dead.length > 0)
                 this.exitCode = 1;
             return;
@@ -252,8 +256,23 @@ export default class AuthzScopesRelay extends BaseCommand {
         // Qué fue de cada entrada, una a una (`entries`): la pasada no es atómica
         // y un contador no permite retomar nada. Lo aparcado ya se dijo arriba.
         for (const entry of report.entries) {
-            if (entry.status === 'applied')
-                this.logger.log(`aplicado: ${linea(entry)}`);
+            if (entry.status === 'applied') {
+                // Asentar · cierre 1 (auditor ⚪ 8): la auditoría dice el padre APLICADO, no solo el encolado.
+                if (entry.reason === 'superseded') {
+                    this.logger.warning(`aplicado SIN arista (superseded: el nodo ya no existe y su detached está en la cola): ${linea(entry)}`);
+                }
+                else if (entry.reason === 'consumer-parent' && entry.appliedParent) {
+                    // Asentar · cierre 2 (C1-1 (b), firma del dueño 2026-10-21; O-1 del re-ataque): exit ≠ 0. La carrera S1 y una
+                    // caché rancia con dos movimientos del nodo dentro de su TTL son INDISTINGUIBLES para el relay, y un cron no lee
+                    // avisos: la carrera hace saltar la alarma una vez; la caché, cada vez que pase.
+                    this.logger.warning(`aplicado con el padre del CONSUMIDOR ${entry.appliedParent.type}:${entry.appliedParent.uuid ?? ''} ` +
+                        `(no el encolado; otra entrada del nodo lo respalda): ${linea(entry)} — sale ≠ 0: comprueba que el resolutor ` +
+                        'del relay lee lo CONFIRMADO, sin caché ni réplica atrasada (authz:reconcile --dry-run lo contrasta)');
+                    this.exitCode = 1;
+                }
+                else
+                    this.logger.log(`aplicado: ${linea(entry)}`);
+            }
             if (entry.status === 'deferred') {
                 const motivo = entry.reason?.startsWith('parked:')
                     ? `aplazado por APARCADO (${entry.reason}): no se aplica hasta que alguien mire esa entrada`
@@ -267,8 +286,38 @@ export default class AuthzScopesRelay extends BaseCommand {
         notEvaluatedLines();
         if (report.failures.length > 0) {
             for (const item of report.failures) {
-                this.logger.error(`falló #${item.id} (${item.change.op} ` +
-                    `${item.change.child.type}:${item.change.child.uuid ?? ''}): ${item.error}` +
+                const target = `#${item.id} (${item.change.op} ${item.change.child.type}:${item.change.child.uuid ?? ''})`;
+                // Cierre-2 de L11 (⚪ C2; punto 7): el fallo de DESPLIEGUE tiene su prefijo ESTABLE —el backend SÍ respondió, lo
+                // que no cuadra es el despliegue con la config—; «el backend no respondió» queda para el 503 de verdad. Desde R3
+                // la marca la ponen también el store/modelo inexistente, las credenciales (401/403) y el 4xx desconocido.
+                if (item.deployment === true) {
+                    this.logger.error(`fallo de DESPLIEGUE ${target}: ${item.error} — el despliegue no es el que espera la config (modelo fijado, ` +
+                        'store, credenciales o un 4xx del servidor): este fallo NO consume intento (corrige el despliegue —' +
+                        'openfga:provision publica el modelo de la config— y repite)');
+                    continue;
+                }
+                // Cierre de R3 (⚪ R3-A7; punto 7): la carrera y el límite de resolución son transitorios, pero el backend SÍ
+                // respondió — cada uno con su prefijo ESTABLE.
+                if (item.transient && item.code === 'E_AUTHZ_WRITE_CONFLICT') {
+                    this.logger.error(`CARRERA en ${target}: ${item.error} — otro escritor (p. ej. un grant concurrente) tocó las mismas tuplas: ` +
+                        'este fallo NO consume intento (la pasada siguiente relee y re-aplica)');
+                    continue;
+                }
+                if (item.transient && item.code === 'E_AUTHZ_RESOLUTION_LIMIT') {
+                    this.logger.error(`límite de RESOLUCIÓN en ${target}: ${item.error} — el backend respondió que el grafo excede lo que ` +
+                        'resuelve (ver «Limits» en el README): este fallo NO consume intento');
+                    continue;
+                }
+                // Lote «antes de RC» · F4 (⚪ RC-2 del auditor de R3; punto 7): un deadline vencido —el timeout del cliente, o un
+                // 504 / `deadline_exceeded` de una ESCRITURA, que es indeterminada desde el cierre de R3— no es «el backend no
+                // respondió»: con un 504 SÍ respondió (o un proxy), y la escritura pudo aplicarse. Prefijo ESTABLE propio.
+                if (item.transient && item.code === 'E_AUTHZ_BACKEND_TIMEOUT') {
+                    this.logger.error(`PLAZO VENCIDO en ${target}: ${item.error} — venció el deadline (timeout del cliente, o un 504/deadline_exceeded ` +
+                        'del servidor o de un proxy): si era una escritura pudo aplicarse o no (INDETERMINADA); la pasada siguiente ' +
+                        'relee el store y re-aplica: este fallo NO consume intento');
+                    continue;
+                }
+                this.logger.error(`falló ${target}: ${item.error}` +
                     (item.transient ? ' — el backend no respondió: este fallo NO consume intento' : ''));
             }
             this.logger.warning('Lo que DEPENDE de un cambio fallido no se adelanta (el orden del árbol importa: aparece como «aplazado»), ' +
@@ -341,4 +390,3 @@ __decorate([
     }),
     __metadata("design:type", Object)
 ], AuthzScopesRelay.prototype, "maxAge", void 0);
-//# sourceMappingURL=authz_scopes_relay.js.map

package/build/commands/authz_scopes_requeue.d.ts

@@ -77,4 +77,3 @@ export default class AuthzScopesRequeue extends BaseCommand {
     static parseIds(values: string[] | undefined): Array<string | number> | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_scopes_requeue.d.ts.map

package/build/commands/authz_scopes_requeue.js

@@ -69,7 +69,8 @@ export function requeueLines(input) {
             level: 'error',
             message: 'Otra pasada del relay tiene el lease de la cola: con --apply no se ha reencolado NADA (todo o nada: reencolar y no ' +
                 'aplicar dejaría la entrada con un solo intento, que la siguiente pasada gastaría). Reintenta (--wait-lease-ms espera ' +
-                'a que la suelten), o reencola sin --apply y deja que la próxima pasada la aplique.',
+                'a que la suelten), o reencola sin --apply y deja que la próxima pasada la aplique. En MySQL, durante 2.5.x, el ' +
+                'lease puede tenerlo OTRO despliegue del mismo servidor (el nombre de transición no lleva la base; se retira en 2.6).',
         });
         return { lines, clean: false };
     }
@@ -90,7 +91,20 @@ export function requeueLines(input) {
     const relay = report.relay;
     let clean = true;
     for (const entry of relay.entries) {
-        if (entry.status === 'applied')
+        // Asentar · cierre 2 (gemelo del relay, C1-1): el padre APLICADO cuando no es el encolado, con su línea propia. No
+        // cambia `clean`: aquí hay un operador delante, y es justo la salida de una aparcada por DRIFT (re-notificar el
+        // padre actual y reencolar) la que termina en esta línea.
+        if (entry.status === 'applied' && entry.reason === 'consumer-parent' && entry.appliedParent) {
+            lines.push({
+                level: 'warning',
+                message: `aplicada con el padre del CONSUMIDOR ${entry.appliedParent.type}:${entry.appliedParent.uuid ?? ''} ` +
+                    `(no el encolado; otra entrada del nodo lo respalda): ${linea(entry)}`,
+            });
+        }
+        else if (entry.status === 'applied' && entry.reason === 'superseded') {
+            lines.push({ level: 'warning', message: `aplicada SIN arista (superseded: el nodo ya no existe y su detached está en la cola): ${linea(entry)}` });
+        }
+        else if (entry.status === 'applied')
             lines.push({ level: 'log', message: `aplicada: ${linea(entry)}` });
         else if (entry.status === 'deferred') {
             clean = false;
@@ -227,4 +241,3 @@ __decorate([
     }),
     __metadata("design:type", Object)
 ], AuthzScopesRequeue.prototype, "waitLeaseMs", void 0);
-//# sourceMappingURL=authz_scopes_requeue.js.map

package/build/commands/authz_unfreeze.d.ts

@@ -42,4 +42,3 @@ export default class AuthzUnfreeze extends BaseCommand {
     fence: number | undefined;
     run(): Promise<void>;
 }
-//# sourceMappingURL=authz_unfreeze.d.ts.map

package/build/commands/authz_unfreeze.js

@@ -154,4 +154,3 @@ __decorate([
     }),
     __metadata("design:type", Object)
 ], AuthzUnfreeze.prototype, "fence", void 0);
-//# sourceMappingURL=authz_unfreeze.js.map

package/build/commands/main.d.ts

@@ -14,4 +14,3 @@ export { OpenFgaProvision, AuthzCatalogDiff, AuthzCatalogSync, AuthzCatalogPrune
 export declare function getMetaData(): Promise<CommandMetaData[]>;
 /** Contrato de loader de ace (`LoadersContract.getCommand`): la clase, o `null` si el nombre no es nuestro. */
 export declare function getCommand(metaData: CommandMetaData): Promise<any>;
-//# sourceMappingURL=main.d.ts.map

package/build/commands/main.js

@@ -59,4 +59,3 @@ export function getMetaData() {
 export function getCommand(metaData) {
     return loader.getCommand(metaData);
 }
-//# sourceMappingURL=main.js.map

package/build/commands/openfga_provision.d.ts

@@ -83,6 +83,16 @@ export default class OpenFgaProvision extends BaseCommand {
      */
     prepare(): Promise<void>;
     run(): Promise<void>;
+    /**
+     * **La RELECTURA de lo publicado** (lote «antes de RC» · L11, diseño 1.3 D del analista; condición de aceptación C12 del
+     * tester): tras `writeAuthorizationModel` se LEE el modelo por su id y se compara ENTERO (`slice: 'all'`) con el que
+     * genera la config. Ancla el canonicalizador de L11 contra el servidor REAL en cada publicación: un servidor que
+     * serialice distinto (otra versión, un campo nuevo) se descubre en el despliegue, no con un 500 en la primera petición
+     * de producción. Si la relectura falla o difiere: exit 1, prefijo ESTABLE «provision RELECTURA FALLIDA:» (punto 7) y la
+     * letra que no miente (H11 c): el modelo YA está publicado en el store, y NO hay que fijarlo — por eso la línea
+     * `OPENFGA_MODEL_ID=` NO se imprime. Devuelve si se puede fijar.
+     */
+    private reread;
     /**
      * **La guarda contra la MUTILACIÓN del modelo** (plan 2.5 · lote D · D2; analista §4.6, juez ronda 2 · R2-4 c y H3;
      * cierre 1 de D2 · 🟡 3 y 🟠 2). `openfga:provision --store-id` publica desde la config del PROCESO: si ese proceso ya
@@ -174,4 +184,3 @@ export declare function countLiveDenies(client: any, dropped: string[]): Promise
     count: number;
     read: number;
 }>;
-//# sourceMappingURL=openfga_provision.d.ts.map

package/build/commands/openfga_provision.js

@@ -105,7 +105,7 @@ export default class OpenFgaProvision extends BaseCommand {
         }
         const { OpenFgaClient } = await import('@openfga/sdk');
         // El subpath `/openfga` es la única puerta al SDK (D9).
-        const { openFgaFactsModel, provisionOpenFgaStore, assertFactsModelPublishable } = await import('../src/openfga.js');
+        const { openFgaFactsModel, provisionOpenFgaStore, assertFactsModelPublishable, factsModelDifferences } = await import('../src/openfga.js');
         // Los holders del consumidor viven en SU config, no en el paquete.
         const holderTypes = config?.holderTypes ?? {};
         // Los PERMISOS del modelo (c2r) salen de los catálogos del config. Se
@@ -130,7 +130,8 @@ export default class OpenFgaProvision extends BaseCommand {
             // esto salía como error crudo del SDK con una request ya hecha (⚪ N1
             // del auditor de alpha.4). Cero requests si no es publicable.
             assertFactsModelPublishable(holderTypes, permissions, undefined, relations);
-            const client = new OpenFgaClient({ apiUrl, storeId: this.storeId });
+            // Injerto 15 del juez (H12): sin reintentos a escondidas (desde el SDK 0.9.6 un cliente sin `retryParams` reintenta).
+            const client = new OpenFgaClient({ apiUrl, storeId: this.storeId, retryParams: { maxRetry: 0 } });
             const next = openFgaFactsModel(holderTypes, permissions, relations);
             // Lote D · D2: la guarda contra la MUTILACIÓN del modelo (R2-4 c / H3) — ANTES de escribir nada. Cierre 1 de D2:
             // juzga el ESTADO del store (🟡 3) y devuelve las relaciones que hay que RE-CONTAR justo antes de publicar (🟠 2).
@@ -147,6 +148,8 @@ export default class OpenFgaProvision extends BaseCommand {
             if (relations)
                 this.logger.info(`Tipos de relación fusionados: ${relations.objectTypes.map((t) => t.type).join(', ')}`);
             this.logger.log(`OPENFGA_STORE_ID=${this.storeId}`);
+            if (!(await this.reread(OpenFgaClient, factsModelDifferences, apiUrl, this.storeId, model.authorization_model_id, holderTypes, relations)))
+                return;
             this.logger.log(`OPENFGA_MODEL_ID=${model.authorization_model_id}`);
             return;
         }
@@ -158,8 +161,46 @@ export default class OpenFgaProvision extends BaseCommand {
         this.logger.log('Añade al .env (junto a AUTHZ_DRIVER=openfga):');
         this.logger.log(`OPENFGA_URL=${apiUrl}`);
         this.logger.log(`OPENFGA_STORE_ID=${storeId}`);
+        if (!(await this.reread(OpenFgaClient, factsModelDifferences, apiUrl, storeId, modelId, holderTypes, relations)))
+            return;
         this.logger.log(`OPENFGA_MODEL_ID=${modelId}`);
     }
+    /**
+     * **La RELECTURA de lo publicado** (lote «antes de RC» · L11, diseño 1.3 D del analista; condición de aceptación C12 del
+     * tester): tras `writeAuthorizationModel` se LEE el modelo por su id y se compara ENTERO (`slice: 'all'`) con el que
+     * genera la config. Ancla el canonicalizador de L11 contra el servidor REAL en cada publicación: un servidor que
+     * serialice distinto (otra versión, un campo nuevo) se descubre en el despliegue, no con un 500 en la primera petición
+     * de producción. Si la relectura falla o difiere: exit 1, prefijo ESTABLE «provision RELECTURA FALLIDA:» (punto 7) y la
+     * letra que no miente (H11 c): el modelo YA está publicado en el store, y NO hay que fijarlo — por eso la línea
+     * `OPENFGA_MODEL_ID=` NO se imprime. Devuelve si se puede fijar.
+     */
+    async reread(OpenFgaClient, factsModelDifferences, apiUrl, storeId, modelId, holderTypes, relations) {
+        let differences;
+        try {
+            const client = new OpenFgaClient({ apiUrl, storeId, authorizationModelId: modelId, retryParams: { maxRetry: 0 } });
+            const response = await client.readAuthorizationModel();
+            differences = factsModelDifferences(response?.authorization_model, { holderTypes, relations, slice: 'all' }).differences.map((d) => d.path);
+        }
+        catch (error) {
+            this.logger.error(`provision RELECTURA FALLIDA: el modelo ${modelId} SE PUBLICÓ en el store ${storeId}, pero no se pudo releer y ` +
+                `comparar con el que genera la config (${String(error?.message ?? error)}). NO lo fijes (OPENFGA_MODEL_ID): los ` +
+                'drivers lo comparan al arrancar y, sin esta comprobación, podrían negarse a servir. Repite el comando cuando el ' +
+                'servidor responda.');
+            this.exitCode = 1;
+            return false;
+        }
+        if (differences.length === 0) {
+            // Punto 7 de CLAUDE.md (cierre de L11, 🟡-1 del tester): la rama de éxito también dice que corrió, con prefijo ESTABLE.
+            this.logger.success(`provision RELECTURA OK: el modelo ${modelId} releído del store ${storeId} es IGUAL (entero) al que genera la config; ya se puede fijar.`);
+            return true;
+        }
+        this.logger.error(`provision RELECTURA FALLIDA: el modelo ${modelId} SE PUBLICÓ en el store ${storeId}, pero lo que el servidor devuelve ` +
+            `NO es igual al que genera la config (L11): ${differences.slice(0, 20).join('; ')}${differences.length > 20 ? ' …' : ''}. ` +
+            'NO lo fijes (OPENFGA_MODEL_ID): los drivers openfga lo compararían igual al arrancar y responderían 500 E_AUTHZ_CONFIG. ' +
+            'Suele ser un servidor de otra versión que serializa el modelo distinto: compruébalo (CI prueba OpenFGA v1.19.0) y repórtalo.');
+        this.exitCode = 1;
+        return false;
+    }
     /**
      * **La guarda contra la MUTILACIÓN del modelo** (plan 2.5 · lote D · D2; analista §4.6, juez ronda 2 · R2-4 c y H3;
      * cierre 1 de D2 · 🟡 3 y 🟠 2). `openfga:provision --store-id` publica desde la config del PROCESO: si ese proceso ya
@@ -411,4 +452,3 @@ export async function countLiveDenies(client, dropped) {
     } while (continuationToken);
     return { live, count, read };
 }
-//# sourceMappingURL=openfga_provision.js.map

package/build/configure.d.ts

@@ -18,4 +18,3 @@ import type Configure from '@adonisjs/core/commands/configure';
  * nada distinto.
  */
 export declare function configure(command: Configure): Promise<void>;
-//# sourceMappingURL=configure.d.ts.map

package/build/configure.js

@@ -76,4 +76,3 @@ export async function configure(command) {
     }
     command.logger.info('Siguiente paso: node ace migration:run');
 }
-//# sourceMappingURL=configure.js.map