@jantstack/adonis-authz 2.5.0-alpha.2 → 2.5.0-alpha.4

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

@@ -75,4 +75,3 @@ export default class AuthzCatalogPruneOrphans extends BaseCommand {
     run(): Promise<void>;
 }
 export {};
-//# sourceMappingURL=authz_catalog_prune_orphans.d.ts.map

package/build/commands/authz_catalog_prune_orphans.js

@@ -132,4 +132,3 @@ __decorate([
     }),
     __metadata("design:type", Object)
 ], AuthzCatalogPruneOrphans.prototype, "allowMassPurge", void 0);
-//# sourceMappingURL=authz_catalog_prune_orphans.js.map

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

@@ -41,6 +41,12 @@ export declare function relationsReconcileLines(report: RelationsReconcileReport
     }>;
     clean: boolean;
 };
+/**
+ * **La pasada que revienta A MITAD dice qué quedó escrito, por partición** (plan 2.5 · lote D · D2; roadmap 2.5, 🟡 3
+ * del auditor de alpha.6): con el reporte parcial que viaja en el error (`error.report`, `partial: true`). Prefijo
+ * ESTABLE «pasada PARCIAL:» (punto 7). Función PURA.
+ */
+export declare function partialReportLines(report: RelationsReconcileReport): string[];
 /**
  * **`authz:relations:reconcile`** (Fase 4, lote 4-6) — migra las tuplas de
  * RELACIÓN de un `RelationsDriver` a otro, idempotente y bidireccional, nunca
@@ -86,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í.
@@ -63,6 +64,55 @@ export function relationsReconcileLines(report) {
         message: `relaciones: escritas ${report.written}, actualizadas ${report.updated}, borradas ${report.deleted}, ` +
             `iguales ${report.unchanged}, sobran ${report.extra}`,
     });
+    // Lote D · D2: los denies, en su PROPIA línea (prefijo estable «denies:»), solo si la pasada tocó o vio alguno. Los
+    // contadores de arriba son allows + denies; esta línea es el subconjunto (analista §4.7).
+    const denies = report.denies;
+    if (denies && Object.values(denies).some((n) => n > 0)) {
+        lines.push({
+            level: 'log',
+            message: `denies: escritos ${denies.written}, rehechos ${denies.updated}, borrados ${denies.deleted}, ` +
+                `iguales ${denies.unchanged}, sobran ${denies.extra}`,
+        });
+    }
+    // Lote D · D2 (S6/R2-5): un deny que la pasada NO puede migrar. Solo llega en `--dry-run` (la real lanza 500 con la
+    // misma letra): es DERIVA, una línea por tipo/relación y motivo, con el prefijo ESTABLE «deny NO migrable».
+    for (const refusal of report.denyRefused ?? []) {
+        lines.push({
+            level: 'error',
+            message: `deny NO migrable (${refusal.reason}) ${refusal.objectType}#${refusal.relation}: ${refusal.message}. ` +
+                'La pasada real se NIEGA (500 E_AUTHZ_DENY_MIGRATION_REFUSED) sin escribir nada — ni los allows: escribirlos sin ' +
+                // Cierre 1 de D2 · 🟡 6: la receta de SU motivo (la decide el plan, `refusal.recipe`), no una genérica.
+                `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) {
@@ -108,6 +158,7 @@ export function relationsReconcileLines(report) {
     // exit 0 y el consejo falso «repite con --prune» (que tampoco lo quitaba).
     // El verificador queda rojo HASTA que se ejecute la receta — y dice qué y cómo.
     let destResidue = 0;
+    let pendingRenewals = 0;
     for (const detail of report.details ?? []) {
         const what = `(${detail.reason}) ${detail.side}: ${detail.tuple} — ${detail.message}`;
         if (detail.side === 'origen') {
@@ -115,10 +166,19 @@ 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;
         }
+        if (detail.reason === 'renewal-unsafe') {
+            // Cierre 2 de D2 · 🟠 N1: la membresía NO se renovó (su grupo transporta un deny y el destino renueva con dos
+            // Write). Deriva con su receta; prefijo ESTABLE «sin renovar (renewal-unsafe) destino:» (punto 7).
+            pendingRenewals += 1;
+            lines.push({ level: 'error', message: `sin renovar ${what}.` });
+            continue;
+        }
         if (detail.pruned === true) {
             // El paquete ya no lo emite (cierre 2 · N3): un reporte de un harness de terceros anterior.
             lines.push({ level: 'log', message: `BORRADA por --prune ${what}.` });
@@ -135,9 +195,45 @@ 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 === '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
+    // `deny-conditional`: cero escrituras y cero borrados en ella; el resto migra. Deriva (exit ≠ 0) con el prefijo ESTABLE
+    // «partición NEGADA» (punto 7): qué partición, por qué, que su destino queda COMO ESTABA, la deriva que queda a la vista
+    // y la receta (honesta: sin atomicRenewal no hay forma sin ventana).
+    for (const refusal of report.partitionsRefused ?? []) {
+        const causes = refusal.causes.map((cause) => `(${cause.reason}) ${cause.tuple}`);
+        // Cierre 6 de D2 · ⚪ D5-3 (E3): «COMO ESTABA» no es estático — cuándo empieza a conceder el destino y qué.
+        const evolves = (refusal.evolves ?? []).map((e) => `a partir de ${e.at} el destino concederá a ${e.member} lo que cortan ${e.cut.join(', ')} (si otro camino se lo da; el origen lo sigue negando)`);
+        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) 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 ` +
+                `${refusal.pending.delete}).${later} El resto de particiones migra. Receta: ${refusal.recipe}`,
+        });
+    }
+    // Cierre 2 de D2 · ⚪ N3/🟡 N3: el RESIDUO del orden — membresías de un ciclo del grafo de precedencias. El estado final
+    // es el correcto (no es deriva): se AVISA, con el prefijo ESTABLE «orden SIN garantía». Cierre 5 de D2 (⚪ D4-4): desde
+    // el cierre 4 una RENOVACIÓN de membresía entra en el grafo (en `now` ni entra ni sale: lo hace cuando vence la
+    // caducidad más corta), así que la letra lo dice, y dice que el corte puede conceder en un instante POSTERIOR.
+    if ((report.orderResidue?.length ?? 0) > 0) {
+        lines.push({
+            level: 'warning',
+            message: `orden SIN garantía: ${report.orderResidue.length} membresía(s) de esta pasada se contradicen en el orden (el mismo ` +
+                'sujeto entra o sale de grupos que se cortan entre sí —o una RENOVACIÓN, que entra o sale cuando vence la caducidad ' +
+                'más corta—: cada uno trae un deny que corta un allow del otro); un corte entre ellas puede conceder, ya o en un ' +
+                'instante posterior, lo que ni el estado inicial ni el final concedían en ese instante. El estado final es el ' +
+                `correcto. Si eso importa, aplícalas en dos pasadas. (${report.orderResidue.slice(0, 5).join('; ')}${report.orderResidue.length > 5 ? '; …' : ''})`,
         });
     }
     // R-17: el seguro de borrado masivo. En una pasada REAL sin --allow-mass-delete
@@ -221,11 +317,38 @@ export function relationsReconcileLines(report) {
         (report.skipped.invalid ?? 0) === 0 &&
         (report.skipped.usersetUnsupported ?? 0) === 0 &&
         destResidue === 0 &&
+        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);
     return { lines, clean };
 }
+/**
+ * **La pasada que revienta A MITAD dice qué quedó escrito, por partición** (plan 2.5 · lote D · D2; roadmap 2.5, 🟡 3
+ * del auditor de alpha.6): con el reporte parcial que viaja en el error (`error.report`, `partial: true`). Prefijo
+ * ESTABLE «pasada PARCIAL:» (punto 7). Función PURA.
+ */
+export function partialReportLines(report) {
+    const lines = [
+        `pasada PARCIAL: escritas ${report.written}, actualizadas ${report.updated}, borradas ${report.deleted} antes del fallo ` +
+            '(la pasada es idempotente: repítela para terminar).',
+    ];
+    // Cierre 2 de D2 · 🟠 N1: la escritura que FALLÓ ya había aplicado parte — una renovación de `openfga` (delete + write)
+    // cuyo write no entró: los contadores no la cuentan, pero el destino CAMBIÓ (jamás «sin escribir nada»).
+    if (report.written + report.updated + report.deleted === 0) {
+        lines.push('pasada PARCIAL: la escritura que falló YA había aplicado parte (una renovación del destino: el delete entró y el write ' +
+            'no) — el destino CAMBIÓ aunque los contadores digan 0; repite la pasada.');
+    }
+    for (const row of report.partitions ?? []) {
+        lines.push(`pasada PARCIAL: partición ${row.partition} · ${row.status === 'done' ? 'TERMINADA' : row.status === 'failed' ? 'REVENTÓ aquí' : row.status === 'refused' ? 'NEGADA (cero escrituras)' : 'sin tocar'}` +
+            ` (escritas ${row.written}, actualizadas ${row.updated}, borradas ${row.deleted}; denies escritos ${row.denies.written})`);
+    }
+    return lines;
+}
 /**
  * **`authz:relations:reconcile`** (Fase 4, lote 4-6) — migra las tuplas de
  * RELACIÓN de un `RelationsDriver` a otro, idempotente y bidireccional, nunca
@@ -373,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.
@@ -387,6 +523,7 @@ export default class AuthzRelationsReconcile extends BaseCommand {
                 toKey: this.to,
                 fromKey,
                 ...(toConfig ? { toConfig } : {}),
+                ...(denyReach ? { denyReach } : {}),
             });
         }
         catch (error) {
@@ -397,6 +534,28 @@ export default class AuthzRelationsReconcile extends BaseCommand {
                 this.exitCode = 1;
                 return;
             }
+            // Lote D · D2 (S6/R2-5): la puerta del deny del DESTINO negó la pasada en la fase de plan, con CERO escrituras.
+            // La letra del error empieza por el prefijo estable «deny NO migrable:».
+            if (error?.code === 'E_AUTHZ_DENY_MIGRATION_REFUSED') {
+                this.logger.error(String(error.message ?? error));
+                this.exitCode = 1;
+                return;
+            }
+            // Lote D · D2: la pasada reventó A MITAD — el reporte parcial por partición viaja en el error.
+            if (error?.report?.partial === true) {
+                for (const line of partialReportLines(error.report))
+                    this.logger.error(line);
+                this.logger.error(String(error?.message ?? error));
+                this.exitCode = 1;
+                return;
+            }
+            // ⚪ 10 (cierre 1 de D2): reventó ANTES de escribir nada — el reporte viaja con `partial: false`. La línea del
+            // error con su prefijo ESTABLE, sin «PARCIAL» (la marca de escritura parcial tampoco está).
+            if (error?.report && error.report.partial === false) {
+                this.logger.error(`pasada FALLIDA sin escribir nada: ${String(error?.message ?? error)} (la pasada es idempotente: repítela).`);
+                this.exitCode = 1;
+                return;
+            }
             // L-1 · J1: un freeze vivo de OTRA pasada (423): dos migraciones no se
             // pisan; el mensaje nombra al dueño y cómo se levanta.
             if (error?.code === 'E_AUTHZ_FREEZE_HELD' || error?.code === 'E_AUTHZ_OPERATOR_WINDOW_EXPIRED') {
@@ -473,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

@@ -252,8 +252,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 +282,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 +386,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

@@ -90,7 +90,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 +240,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

@@ -55,6 +55,13 @@ export default class OpenFgaProvision extends BaseCommand {
     url: string | undefined;
     storeId: string | undefined;
     name: string | undefined;
+    /**
+     * **La salida humana de la guarda contra la MUTILACIÓN del modelo** (plan 2.5 · lote D · D2; analista §4.6, juez
+     * ronda 2 · R2-4 c). Sin ella, `--store-id` con un modelo nuevo que QUITA un `denied_<rel>` que el modelo actual del
+     * store tiene es exit 1 sin escribir nada. Con ella, el comando BARRE el store y solo publica si no queda NI UN deny
+     * vivo de esas relaciones: la bandera nunca autoriza apagar denies vivos.
+     */
+    allowDropDeny: boolean | undefined;
     /**
      * Arranca la app hasta `boot()` — sin `start()` — para que `config/*`
      * exista. Va en `prepare()` y no en `run()` porque `BaseCommand.exec()`
@@ -76,6 +83,46 @@ 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
+     * no declara el opt-in de un tipo (un refactor, otra rama del config, un binario viejo), el modelo nuevo no trae
+     * `denied_<rel>` y TODOS los denies de ese tipo dejan de bloquear en cuanto un pod lo resuelve — fail-open en silencio.
+     *
+     *  - **El ESTADO del store manda** (🟡 3): se leen TODOS los modelos del store (`readAuthorizationModels`, paginado y
+     *    acotado por `PROVISION_MODEL_HISTORY_MAX`) y se barre por las `<tipo>#denied_<rel>` que ALGÚN modelo declaró y el
+     *    nuevo no (una tupla `denied_*` solo puede existir si un modelo la declaró al escribirla). Un deny VIVO de esas
+     *    relaciones ⇒ exit 1 con o sin la bandera. Hasta el cierre se comparaba solo con el ÚLTIMO modelo: un modelo
+     *    intermedio sin `denied_*` (un ensayo de rollback con alpha.10) desactivaba la guarda.
+     *  - **La INTENCIÓN la dice la bandera**: si el nuevo quita respecto del ÚLTIMO modelo, sin `--allow-drop-deny` es exit
+     *    1 aunque no quede ningún deny (retirar un opt-in se pide en voz alta).
+     *  - Devuelve las relaciones a RE-CONTAR antes de publicar (🟠 2), o `null` si negó. Todas las ramas fallidas empiezan
+     *    por el prefijo ESTABLE «provision NEGADO:» (punto 7), también un barrido que falla a medias (⚪ 10 c).
+     */
+    private guardDroppedDenies;
+    /**
+     * El barrido; `null` (y exit 1 con el prefijo estable) si falla a medias (⚪ 10 c). Cierre 2 de D2 · 🟡 N4: en STREAMING
+     * —página a página, sin cargar el store en memoria y SIN cota de tuplas—: hasta el cierre 2, un store de más de 1 M
+     * tuplas dejaba `provision --store-id` en exit 1 PARA SIEMPRE tras retirar un opt-in (la historia de modelos no se
+     * borra en FGA), sin bandera que lo salvara. Lo que sigue siendo ruidoso: un servidor que no avanza (token repetido).
+     */
+    private sweep;
+    /**
+     * **El RECUENTO justo antes de publicar** (cierre 1 de D2 · 🟠 2, TOCTOU): otro barrido de las mismas relaciones; un
+     * deny que llegó DURANTE o DESPUÉS del primero ⇒ exit 1 y CERO modelos. Es la señal de que la flota sigue en
+     * `deny: 'write'` (el paso 0 del procedimiento no se hizo).
+     */
+    private recountBeforePublish;
     /**
      * Los permisos del modelo, o `null` (y exit 1) si no hay ninguno: un modelo
      * `facts` sin permisos no puede responder a nada, y descubrirlo aquí es
@@ -112,4 +159,28 @@ export declare function permissionsOfCatalogs(config: any): Promise<string[]>;
 export declare function relationsConfigOf(config: any): {
     objectTypes: readonly any[];
 } | undefined;
-//# sourceMappingURL=openfga_provision.d.ts.map
+/**
+ * Cierre 1 de D2 · 🟡 3: tope de la HISTORIA de modelos que `provision --store-id` lee para juzgar el estado del store
+ * (cada modelo publicado es una versión): pasarse es exit 1 (`provision NEGADO:`), nunca juzgar con una historia cortada.
+ */
+export declare const PROVISION_MODEL_HISTORY_MAX = 10000;
+/**
+ * **Las `<tipo>#denied_<rel>` de TIPOS DE RELACIÓN que el modelo actual declara y el nuevo no** (plan 2.5 · lote D ·
+ * D2): la mutilación que la guarda de `openfga:provision` niega. Función PURA (dos modelos JSON en la forma de
+ * `readLatestAuthorizationModel` / `openFgaFactsModel`). Los `denied_<P>` de `scope` (roles) quedan fuera: retirar un
+ * permiso del catálogo no es retirar el opt-in de un tipo.
+ */
+export declare function droppedDenyRelations(current: any, next: any): string[];
+/**
+ * **El barrido de `--allow-drop-deny`, en STREAMING** (cierre 2 de D2 · 🟡 N4): cuenta las tuplas vivas cuyo
+ * `<tipo>#<relación>` está en `dropped` leyendo el store ENTERO por páginas (`Read({})`: un `Read` por prefijo de objeto
+ * es 200 con cero tuplas) sin acumularlo — guarda el recuento y TRES ejemplos para la letra, nada más — y SIN cota de
+ * tuplas (hasta el cierre 2, 1 M ⇒ exit 1 para siempre). Exhaustivo o ruidoso: una página sin `tuples` o un
+ * `continuation_token` que se repite (el servidor no avanza) LANZA (el comando lo dice como «el barrido falló a medias»).
+ * Exportada para el caso que la juzga sin servidor.
+ */
+export declare function countLiveDenies(client: any, dropped: string[]): Promise<{
+    live: string[];
+    count: number;
+    read: number;
+}>;