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

package/build/src/testing/relations_contract.js

@@ -21,11 +21,13 @@ import { v7 as uuidv7 } from 'uuid';
 import { test as japaTest } from '@japa/runner';
 import db from '@adonisjs/lucid/services/db';
 import { partitionKey, scopeKey } from '../identity.js';
+import { RenewalUnsafeError } from '../errors.js';
 import { RelationsManager } from '../relations/manager.js';
-import { defineRelationsConfig, assertRelationDeclared, assertObjectTypeDeclared, assertUsersetSubject } from '../relations/define_relations_config.js';
+import { defineRelationsConfig, assertRelationDeclared, assertObjectTypeDeclared, assertUsersetSubject, assertRelationDenyable, assertDenySubject, assertDenyNoExpiry, cutPathAllows, decideFrom, deniedRelationOf, denyPhaseOf, storedRelationKind, relationsDown, RELATION_DENY_PREFIX, } from '../relations/define_relations_config.js';
 import { assertCheckManyObjects, distinctObjects, expandByPosition, RELATIONS_CHECK_MANY_MAX } from '../relations/check_many.js';
+import { assertEnumeratePage, assertNoListPage } from '../relations/page.js';
 import { systemClock } from '../clock.js';
-import { resolveGrantExpiry } from '../expiry.js';
+import { resolveGrantExpiry, sameInstant } from '../expiry.js';
 import { isRelUserset } from '../types.js';
 /* ── El vocabulario del contrato ─────────────────────────────────────────── */
 /** Los holder types del contrato de relaciones. */
@@ -58,6 +60,47 @@ export function contractRelationsConfig() {
         database: { membersOf: true },
     });
 }
+/**
+ * **La config del contrato CON techo de anidación de grupos** (lote «antes de RC» · R1, cierre: el runner publicado no
+ * tenía ningún caso del techo y un driver de terceros no tenía juez): la MISMA config que `contractRelationsConfig` con
+ * `maxGroupDepth` (por defecto 3) y el opt-in de `database` (`database.enforceGroupDepth`). Un driver que declare
+ * `groupDepthLimit()` tiene que responder con un techo ≤ ese número (la config solo BAJA el del driver) y aplicarlo.
+ */
+export function contractGroupDepthRelationsConfig(maxGroupDepth = 3) {
+    return defineRelationsConfig({
+        objectTypes: RELATIONS_CONTRACT_OBJECT_TYPES.map((type) => ({
+            type,
+            relations: [{ name: 'owner' }, { name: 'editor', includes: ['owner'] }, { name: 'viewer', includes: ['editor'] }],
+        })),
+        holderTypes: [...RELATIONS_HOLDER_TYPES],
+        database: { membersOf: true, enforceGroupDepth: true },
+        maxGroupDepth,
+    });
+}
+/**
+ * **La config del contrato CON deny** (plan 2.5 · lote D · D1): los MISMOS dos tipos con el mismo retículo y, además,
+ * un tercero sin opt-in —para que «deny sobre un tipo sin deny ⇒ 422» y «D8: un tipo sin opt-in también honra»
+ * se juzguen con la config fija—:
+ *
+ *  - `document`: `deny: 'write'` (fase 2: se escriben denies);
+ *  - `workspace`: `deny: 'read'` (fase 1: el modelo y las lecturas honran; `deny()` ⇒ 422);
+ *  - `note`: sin opt-in.
+ *
+ * Es una config APARTE (no se tocó `contractRelationsConfig`): un tipo sin `deny` genera el modelo de 2.4.0-alpha.10
+ * byte a byte (D-29) y los casos de antes no cambian de config.
+ */
+export const RELATIONS_CONTRACT_DENY_TYPES = { document: 'write', workspace: 'read', note: undefined };
+export function contractDenyRelationsConfig() {
+    return defineRelationsConfig({
+        objectTypes: Object.keys(RELATIONS_CONTRACT_DENY_TYPES).map((type) => {
+            const relations = [{ name: 'owner' }, { name: 'editor', includes: ['owner'] }, { name: 'viewer', includes: ['editor'] }];
+            const deny = RELATIONS_CONTRACT_DENY_TYPES[type];
+            return deny === undefined ? { type, relations } : { type, relations, deny };
+        }),
+        holderTypes: [...RELATIONS_HOLDER_TYPES],
+        database: { membersOf: true },
+    });
+}
 /** El default de `RelationsDriverContractHarness.transactions`: Lucid + `authz_relations`. */
 export function lucidRelationsContractTransactions() {
     return {
@@ -118,28 +161,9 @@ function buildRelationsDouble(options, tuples, now) {
     function active(t, at = now) {
         return t.expiresAt === null || t.expiresAt.getTime() > at().getTime();
     }
-    /**
-     * `viewer` ⊇ `{viewer, editor, owner}`: las relaciones cuyo hecho DIRECTO
-     * satisface R. `viewer includes editor` ⇒ un `editor` es también `viewer`,
-     * así que para resolver `viewer` se aceptan los sujetos de `viewer`, de lo
-     * que `viewer` incluye (`editor`) y transitivamente (`owner`). Se sigue la
-     * cadena de `includes` hacia ABAJO desde R.
-     */
+    /** `down*(R)` — la función ÚNICA de la config (lote D), la misma que los dos drivers reales. */
     function expandDown(objectType, relation) {
-        const out = new Set([relation]);
-        const type = config.objectTypes.find((t) => t.type === objectType);
-        const queue = [relation];
-        while (queue.length) {
-            const current = queue.pop();
-            const def = type?.relations.find((r) => r.name === current);
-            for (const inc of def?.includes ?? []) {
-                if (!out.has(inc)) {
-                    out.add(inc);
-                    queue.push(inc);
-                }
-            }
-        }
-        return out;
+        return new Set(relationsDown(config, objectType, relation));
     }
     /** Los hechos DIRECTOS vigentes (los caducados no conceden ni se enumeran, R-15). */
     function directSubjects(partition, objectType, objectId, relation, at = now) {
@@ -149,25 +173,49 @@ function buildRelationsDouble(options, tuples, now) {
             t.relation === relation &&
             active(t, at));
     }
-    function resolves(subject, relation, object, partition, seen = new Set(), at = now) {
-        const guardKey = `${subjectKeyOf(subject)}|${object.type}:${object.id}#${relation}`;
-        if (seen.has(guardKey))
-            return false;
-        seen.add(guardKey);
-        const wantKey = subjectKeyOf(subject);
-        for (const rel of expandDown(object.type, relation)) {
-            for (const t of directSubjects(partition, object.type, object.id, rel, at)) {
-                if (t.subjectKey === wantKey)
-                    return true;
-                // El sujeto directo es un userset (`group:g#member`): un HOLDER lo
-                // satisface si es MIEMBRO del userset (transitivo, grupos anidan).
-                if (isRelUserset(t.subject) && !isRelUserset(subject)) {
-                    if (resolves(subject, t.subject.relation, t.subject.object, partition, seen, at))
-                        return true;
+    /**
+     * **El PRINCIPAL del sujeto** (lote D, la misma CTE `principal` del driver `database`): él mismo y cada
+     * `group:g#member` del que es miembro VIGENTE, transitivamente (grupos anidados). Un grant o un deny alcanzan al
+     * sujeto si su sujeto directo está aquí — por eso un deny a `g#member` lo transporta una membresía, y deja de
+     * transportarlo cuando esa membresía caduca (M6, caso C).
+     */
+    function principalOf(subject, partition, at = now) {
+        const out = new Set([subjectKeyOf(subject)]);
+        let grew = true;
+        while (grew) {
+            grew = false;
+            for (const t of tuples) {
+                if (t.partition !== partition || t.objectType !== 'group' || t.relation !== 'member' || !active(t, at))
+                    continue;
+                const key = `group:${t.objectId}#member`;
+                if (out.has(t.subjectKey) && !out.has(key)) {
+                    out.add(key);
+                    grew = true;
                 }
             }
         }
-        return false;
+        return out;
+    }
+    /** Las relaciones con grant (`allowed`) y con deny (`denied`, nombre PÚBLICO) que alcanzan al principal en el objeto. */
+    function factsOn(principal, object, partition, at = now) {
+        const allowed = new Set();
+        const denied = new Set();
+        for (const t of tuples) {
+            if (t.partition !== partition || t.objectType !== object.type || t.objectId !== object.id || !active(t, at))
+                continue;
+            if (!principal.has(t.subjectKey))
+                continue;
+            if (t.relation.startsWith(RELATION_DENY_PREFIX))
+                denied.add(t.relation.slice(RELATION_DENY_PREFIX.length));
+            else
+                allowed.add(t.relation);
+        }
+        return { allowed, denied };
+    }
+    /** `check` con CORTE DE CAMINO (D5): `cutPathAllows`, la regla ÚNICA (la misma que `database` y el oráculo). */
+    function resolves(subject, relation, object, partition, at = now) {
+        const { allowed, denied } = factsOn(principalOf(subject, partition, at), object, partition, at);
+        return cutPathAllows(config, object.type, relation, allowed, denied);
     }
     function collectMembers(object, relation, partition, seen = new Set()) {
         const key = `${object.type}:${object.id}#${relation}`;
@@ -199,6 +247,26 @@ function buildRelationsDouble(options, tuples, now) {
         }
         return out;
     }
+    /** ¿El grupo (o uno que lo contiene) es sujeto de un deny vivo de la partición? (cierre 2 de D2 · 🟠 N1). */
+    function carriedDeny(partition, group) {
+        const seen = new Set([group]);
+        const queue = [group];
+        while (queue.length > 0) {
+            const userset = `${queue.shift()}#member`;
+            for (const t of tuples) {
+                if (t.partition !== partition || t.subjectKey !== userset)
+                    continue;
+                if (t.relation.startsWith(RELATION_DENY_PREFIX))
+                    return `${t.objectType}:${t.objectId}#${t.relation}@${userset}`;
+                // Cierre 3 de D2 · ⚪ C2-4: una arista de anidación VENCIDA no transporta nada.
+                if (t.objectType === 'group' && t.relation === 'member' && active(t) && !seen.has(`group:${t.objectId}`)) {
+                    seen.add(`group:${t.objectId}`);
+                    queue.push(`group:${t.objectId}`);
+                }
+            }
+        }
+        return null;
+    }
     const driver = {
         capabilities,
         async relate(subject, relation, object, partition, options) {
@@ -215,6 +283,15 @@ function buildRelationsDouble(options, tuples, now) {
             // (una caducada revive sin caducidad), null la quita, Date la fija.
             const expiresAt = resolveGrantExpiry(existing?.expiresAt ?? null, options?.expiresAt, now());
             if (existing) {
+                // Cierre 2 de D2 · 🟠 N1: el doble DECLARA lo que hace — con `atomicRenewal` ausente/`false` se porta como un
+                // driver que renueva con dos escrituras y NIEGA renovar una membresía que transporta un deny vivo (409, cero
+                // escrituras); con `true` renueva en el sitio (atómico).
+                // Cierre 3 de D2 · ⚪ C2-4: una membresía YA VENCIDA no conecta nada: reescribirla no abre ninguna ventana.
+                if (capabilities.atomicRenewal !== true && object.type === 'group' && active(existing) && !sameInstant(existing.expiresAt, expiresAt)) {
+                    const carried = carriedDeny(partitionKey, `${object.type}:${object.id}`);
+                    if (carried !== null)
+                        throw RenewalUnsafeError.carrier(`${object.type}:${object.id}#${relation}@${subjectKey}`, carried);
+                }
                 existing.expiresAt = expiresAt;
                 return;
             }
@@ -249,10 +326,12 @@ function buildRelationsDouble(options, tuples, now) {
             assertSubjectDeclared(subject);
             return resolves(subject, relation, object, scopeKeyOf(partition));
         },
-        async listObjects(subject, relation, objectType, partition, page) {
+        async listObjects(subject, relation, objectType, partition) {
             assertRelationDeclared(config, { type: objectType }, relation);
             assertSubjectDeclared(subject);
             const partitionKey = scopeKeyOf(partition);
+            // 7.4: el doble tampoco pagina (un quinto argumento ≠ undefined ⇒ 500), después de F-05 y la partición.
+            assertNoListPage('listObjects', arguments[4], 'double');
             const ids = new Set();
             for (const t of tuples) {
                 if (t.partition === partitionKey && t.objectType === objectType && active(t))
@@ -273,9 +352,10 @@ function buildRelationsDouble(options, tuples, now) {
             }
             return { objects: matches };
         },
-        async listSubjects(relation, object, partition, page) {
+        async listSubjects(relation, object, partition) {
             assertRelationDeclared(config, object, relation);
             const partitionKey = scopeKeyOf(partition);
+            assertNoListPage('listSubjects', arguments[3], 'double');
             // DIRECTOS del relation EXACTO (invariante 7): ni transitivo (eso es
             // `membersOf`) ni derivado. `usersetSubjects` decide si los usersets
             // (`group:g#member`) salen o solo los holders.
@@ -320,26 +400,94 @@ function buildRelationsDouble(options, tuples, now) {
             const { distinct, index } = distinctObjects(objects);
             // UN solo `now` para todo el lote (A-18): se fija aquí y `resolves` lo lee.
             const at = now();
-            const answers = distinct.map((object) => resolves(subject, relation, object, key, new Set(), () => at));
+            const answers = distinct.map((object) => resolves(subject, relation, object, key, () => at));
             return expandByPosition(index, answers);
         };
     }
+    // **El deny en el doble** (lote D · D1): solo con `relationDenies: true` —el MÍNIMO no lo trae y el runner juzga
+    // la cara `false` (D-28)—. Las MISMAS guardas que los drivers reales (F-05, opt-in en fase 'write', sin caducidad,
+    // ni `*` ni `group`) y la MISMA regla (`cutPathAllows`/`decideFrom`).
+    if (capabilities.relationDenies) {
+        driver.deny = async (subject, relation, object, partition, options) => {
+            assertRelationDeclared(config, object, relation);
+            assertRelationDenyable(config, object, relation);
+            assertDenyNoExpiry(options);
+            assertDenySubject(subject);
+            assertSubjectDeclared(subject);
+            const partitionKey = scopeKeyOf(partition);
+            const subjectKey = subjectKeyOf(subject);
+            const stored = deniedRelationOf(relation);
+            const existing = tuples.find((t) => t.partition === partitionKey && t.objectType === object.type && t.objectId === object.id && t.relation === stored && t.subjectKey === subjectKey);
+            if (existing) {
+                existing.expiresAt = null;
+                return;
+            }
+            tuples.push({ partition: partitionKey, objectType: object.type, objectId: object.id, relation: stored, subject, subjectKey, expiresAt: null });
+        };
+        driver.removeDeny = async (subject, relation, object, partition, options) => {
+            assertRelationDeclared(config, object, relation);
+            assertDenyNoExpiry(options);
+            assertSubjectDeclared(subject);
+            const partitionKey = scopeKeyOf(partition);
+            const subjectKey = subjectKeyOf(subject);
+            const stored = deniedRelationOf(relation);
+            for (let i = tuples.length - 1; i >= 0; i--) {
+                const t = tuples[i];
+                if (t.partition === partitionKey && t.objectType === object.type && t.objectId === object.id && t.relation === stored && t.subjectKey === subjectKey) {
+                    tuples.splice(i, 1);
+                }
+            }
+        };
+        // Lote D · D2: la fase del opt-in en la config de ESTE driver (R2-5), con F-05 del par; la pregunta del plan del reconcile.
+        driver.denyPhase = async (object, relation) => {
+            assertRelationDeclared(config, object, relation);
+            return denyPhaseOf(config, object.type) ?? null;
+        };
+        driver.listDenies = async function (relation, object, partition) {
+            assertRelationDeclared(config, object, relation);
+            const key = scopeKeyOf(partition);
+            assertNoListPage('listDenies', arguments[3], 'double');
+            const direct = directSubjects(key, object.type, object.id, deniedRelationOf(relation));
+            return { subjects: dedupeSubjects(direct.map((t) => t.subject)) };
+        };
+        driver.decideMany = async (subject, relation, objects, partition) => {
+            assertCheckManyObjects(objects, 'decideMany');
+            for (const object of objects)
+                assertRelationDeclared(config, object, relation);
+            assertSubjectDeclared(subject);
+            const key = scopeKeyOf(partition);
+            const { distinct, index } = distinctObjects(objects);
+            const at = now();
+            const principal = principalOf(subject, key, () => at);
+            const answers = distinct.map((object) => {
+                const { allowed, denied } = factsOn(principal, object, key, () => at);
+                return decideFrom(config, object.type, relation, allowed, denied);
+            });
+            return index.map((i) => answers[i]);
+        };
+    }
     if (capabilities.membersOfNative) {
-        driver.membersOf = async (object, relation, partition) => {
+        driver.membersOf = async function (object, relation, partition) {
             assertRelationDeclared(config, object, relation);
-            return { subjects: collectMembers(object, relation, scopeKeyOf(partition)) };
+            // Lote D: `membersOf` RESTA (corte de camino por candidato, como `database`).
+            const key = scopeKeyOf(partition);
+            assertNoListPage('membersOf', arguments[3], 'double');
+            return { subjects: collectMembers(object, relation, key).filter((s) => resolves(s, relation, object, key)) };
         };
     }
     if (capabilities.enumerateRelations) {
-        driver.enumerateRelations = async (partition) => {
+        driver.enumerateRelations = async (partition, page) => {
             const partitionKey = scopeKeyOf(partition);
+            // 7.4: la misma forma que los drivers reales; el doble no emite cursor (todo en una página) ⇒ after es 500.
+            assertEnumeratePage('enumerateRelations', page, 'none', 'double');
             // SIN filtrar la caducada (R-15): llega con su `expiresAt` para que el
             // destino de reconcile la cuente en `skipped`, no para que desaparezca.
             const out = tuples
                 .filter((t) => t.partition === partitionKey)
                 .map((t) => ({
                 subject: t.subject,
-                relation: t.relation,
+                // Lote D · D2: el deny se enumera con su relación pública y `kind: 'deny'` (la misma función que los drivers).
+                ...storedRelationKind(t.relation),
                 object: { type: t.objectType, id: t.objectId },
                 partition,
                 expiresAt: t.expiresAt,
@@ -366,6 +514,63 @@ function fixedClock(start) {
     };
 }
 const sleep = (ms) => new Promise((resolve) => setTimeout(resolve, ms));
+/* ── Lote D · T1: la tabla de 64 estados con CORTE DE CAMINO (tester ronda 2, §2.2) ─────────────────────────── */
+/** Las tres preguntas de T1, en el orden de la tabla (v / e / o). */
+const T1_QUESTIONS = ['viewer', 'editor', 'owner'];
+/** Orden de los subconjuntos de la tabla del tester: ∅, {v}, {e}, {e,v}, {o}, {o,v}, {o,e}, {o,e,v} (bits v=1, e=2, o=4). */
+function t1Subset(mask) {
+    const out = [];
+    if (mask & 4)
+        out.push('owner');
+    if (mask & 2)
+        out.push('editor');
+    if (mask & 1)
+        out.push('viewer');
+    return out;
+}
+/** La fila `row` (0..63) de T1: allows = subconjunto `row >> 3`, denies = subconjunto `row & 7`. */
+function t1State(row) {
+    return { allows: t1Subset(row >> 3), denies: t1Subset(row & 7) };
+}
+/**
+ * **La tabla LITERAL del tester** (`panel-tenencia-2-tester.md` §2.2, 64 filas × v/e/o), copiada byte a byte: el
+ * oráculo de abajo tiene que reproducirla (si no, el caso es rojo antes de preguntar nada al driver), y el driver
+ * tiene que reproducir las dos. NO se calcula con `cutPathAllows` del paquete: un mutante de la regla cambiaría a la
+ * vez la respuesta y la expectativa.
+ */
+const T1_EXPECTED = ('FFF FFF FFF FFF FFF FFF FFF FFF ' +
+    'TFF FFF TFF FFF TFF FFF TFF FFF ' +
+    'TTF FFF FFF FFF TTF FFF FFF FFF ' +
+    'TTF FFF TFF FFF TTF FFF TFF FFF ' +
+    'TTT FFF FFF FFF FFF FFF FFF FFF ' +
+    'TTT FFF TFF FFF TFF FFF TFF FFF ' +
+    'TTT FFF FFF FFF TTF FFF FFF FFF ' +
+    'TTT FFF TFF FFF TTF FFF TFF FFF').split(' ');
+/** Las 37 filas PAR del tester (alguna semántica plausible en UN solo driver da otra respuesta): las del BRIDGE. */
+const T1_PAR = new Set([
+    11, 13, 15, 18, 19, 21, 22, 23, 26, 27, 29, 30, 31, 34, 35, 36, 37, 38, 39, 42, 43, 44, 45, 46, 47, 50, 51, 52, 53,
+    54, 55, 58, 59, 60, 61, 62, 63,
+]);
+/** El retículo del contrato, escrito a mano (owner ⇒ editor ⇒ viewer). */
+const T1_DOWN = { viewer: ['viewer', 'editor', 'owner'], editor: ['editor', 'owner'], owner: ['owner'] };
+const T1_UP = { owner: ['owner', 'editor', 'viewer'], editor: ['editor', 'viewer'], viewer: ['viewer'] };
+/** CORTE (D5), la fórmula del tester sobre el retículo a mano: ∃ T ∈ A ∩ down*(Q) con up*(T) ∩ D = ∅. */
+function t1Oracle(allows, denies, q) {
+    return T1_DOWN[q].some((t) => allows.includes(t) && T1_UP[t].every((above) => !denies.includes(above)));
+}
+/** D9 (AMPLIO): ¿algún deny en up*(down*(Q))? */
+function t1DeniedAbove(denies, q) {
+    return T1_DOWN[q].some((t) => T1_UP[t].some((above) => denies.includes(above)));
+}
+/** Las seis filas con NOMBRE (tester §2.2): cada una se lee sola cuando falla. */
+const T1_NAMED = [
+    ['D-06 · un deny en viewer bloquea al owner: F/F/F', 34, 'FFF'],
+    ['D-07 · un deny en editor anula el grant de owner ENTERO: F/F/F (la fila del juez: mata a las siete semánticas)', 35, 'FFF'],
+    ['D-08 · …salvo un viewer directo: owner + viewer + deny(editor) ⇒ T/F/F', 43, 'TFF'],
+    ['D-09 · deny en owner sin otro grant: F/F/F (no sobrevive ni el viewer derivado)', 37, 'FFF'],
+    ['D-10 · owner + viewer + deny(owner) ⇒ T/F/F', 45, 'TFF'],
+    ['D-11 · un deny en una relación MÁS FUERTE no toca un grant más débil: viewer + deny(editor) ⇒ T/F/F', 11, 'TFF'],
+];
 /* ── El runner ───────────────────────────────────────────────────────────── */
 function holder() {
     return { type: 'user', uuid: uuidv7() };
@@ -389,8 +594,13 @@ function spy(driver) {
     let calls = 0;
     const wrapped = new Proxy(driver, {
         get(target, prop, receiver) {
+            // Un método OPCIONAL que el driver no trae se queda ausente (el manager decide por `typeof`: `checkMany`
+            // compone, `decideMany`/`deny` son 500): envolverlo lo haría aparecer.
+            if (typeof target[prop] !== 'function')
+                return Reflect.get(target, prop, receiver);
             // L-2: las CUATRO escrituras (también `purge*`, que reciben `{ transaction }`).
-            if (prop === 'relate' || prop === 'unrelate' || prop === 'purgeObject' || prop === 'purgeSubject') {
+            // Lote D: también `deny`/`removeDeny` (escrituras del deny).
+            if (prop === 'relate' || prop === 'unrelate' || prop === 'purgeObject' || prop === 'purgeSubject' || prop === 'deny' || prop === 'removeDeny') {
                 return async (...args) => {
                     writes++;
                     calls++;
@@ -399,7 +609,14 @@ function spy(driver) {
             }
             // alpha.3 (cierre) · las TRES lecturas también cuentan: F-05 tiene que
             // cortarlas ANTES del driver («cero llamadas» = ni una lectura).
-            if (prop === 'check' || prop === 'listObjects' || prop === 'listSubjects') {
+            // Lote D: y `checkMany`/`decideMany`/`listDenies`/`membersOf` (las lecturas del lote, «cero llamadas» = ninguna).
+            if (prop === 'check' ||
+                prop === 'listObjects' ||
+                prop === 'listSubjects' ||
+                prop === 'checkMany' ||
+                prop === 'decideMany' ||
+                prop === 'listDenies' ||
+                prop === 'membersOf') {
                 return async (...args) => {
                     calls++;
                     return target[prop](...args);
@@ -512,6 +729,46 @@ export function registerRelationsDriverContract(harness, api) {
             await state.manager.relate({ object: g2, relation: 'member' }, 'viewer', doc, p);
             assert.isTrue(await state.manager.check(u, 'viewer', doc, p));
         });
+        /* ── R1 (lote «antes de RC»): el techo de anidación de grupos, si el driver lo declara ── */
+        test('R1 · groupDepthLimit (si el driver lo declara): con maxGroupDepth 3 + database.enforceGroupDepth el techo es ≤ 3 y se APLICA — la arista que deja una cadena más larga, por ARRIBA o por ABAJO, o que cierra un ciclo ⇒ 422 E_AUTHZ_GROUP_DEPTH_LIMIT sin escribir (check sigue F) y sin evento por el manager; la membresía de un holder y una relación de dominio no son anidación', async ({ assert, }) => {
+            const config = contractGroupDepthRelationsConfig(3);
+            const driver = await harness.makeDriver(config);
+            // `groupDepthLimit` es OPCIONAL en el puerto: un driver sin él no declara techo (el plan del reconcile no tiene
+            // nada que negar) y no hay gate que juzgar. Lo mismo un driver que responde `null` (sin techo con esta config).
+            const limit = typeof driver.groupDepthLimit === 'function' ? await driver.groupDepthLimit() : null;
+            if (limit === null)
+                return;
+            assert.isTrue(Number.isInteger(limit) && limit >= 1 && limit <= 3, `el techo con maxGroupDepth 3 tiene que estar en 1..3 (llegó ${String(limit)})`);
+            const events = [];
+            const manager = new RelationsManager(driver, config, { driverName: harness.name, onRelationWrite: (e) => void events.push(e) });
+            const p = partition();
+            const g = Array.from({ length: limit + 2 }, () => ({ type: 'group', id: docId() }));
+            const member = (o) => ({ object: o, relation: 'member' });
+            for (let i = 0; i < limit; i++)
+                await manager.relate(member(g[i]), 'member', g[i + 1], p);
+            const u = holder();
+            await manager.relate(u, 'member', g[0], p);
+            assert.isTrue(await manager.check(u, 'member', g[limit], p), `una cadena de ${limit} saltos (el techo) entra y resuelve`);
+            const before = events.length;
+            const refused = async (label, run) => {
+                const error = await run().then(() => null, (e) => e);
+                assert.equal(error?.status, 422, `${label}: ${error?.message ?? 'entró'}`);
+                assert.equal(error?.code, 'E_AUTHZ_GROUP_DEPTH_LIMIT', label);
+                return error;
+            };
+            await refused('por ARRIBA (la cima de la cadena dentro de otro grupo)', () => manager.relate(member(g[limit]), 'member', g[limit + 1], p));
+            assert.isFalse(await manager.check(u, 'member', g[limit + 1], p), 'la arista rechazada no se escribió');
+            const x = { type: 'group', id: docId() };
+            await refused('por ABAJO (otro grupo dentro de la base de la cadena)', () => manager.relate(member(x), 'member', g[0], p));
+            const v = holder();
+            await manager.relate(v, 'member', x, p);
+            assert.isFalse(await manager.check(v, 'member', g[0], p), 'x ⊂ g0 no se escribió');
+            await refused('el CICLO', () => manager.relate(member(g[limit]), 'member', g[0], p));
+            assert.equal(events.length, before + 1, '422 ⇒ esa escritura no ocurrió y no hay evento (invariante 13): solo el del holder v');
+            // No es anidación: la membresía de un holder y una relación de dominio sobre la cima.
+            await manager.relate(holder(), 'member', g[limit], p);
+            await manager.relate(member(g[limit]), 'viewer', { type: 'document', id: docId() }, p);
+        });
         /* ── R-05: la partición aísla ── */
         test('R-05 · partición: relate en A no concede en B', async ({ assert }) => {
             const u = holder();
@@ -559,6 +816,93 @@ export function registerRelationsDriverContract(harness, api) {
             const page = await state.manager.listObjects(u, 'viewer', 'document', p);
             assert.sameMembers(page.objects.map((o) => o.id).sort(), [d1.id, d2.id].sort());
         });
+        /* ── 7.4 (lote «antes de RC», opción 4 del juez): los listados NO paginan ── */
+        /**
+         * **P13 · «sin página ⇒ lista completa y sin cursor»** (injerto 1 del juez; auditor R1-2, tester P13). N = 150:
+         * por encima del default de 100 de `enumerate*` de `database` y del `page_size` 100 de `Read` en OpenFGA, así que
+         * un driver que pagina por dentro y devuelve la PRIMERA página (o un cursor que nadie lee) es rojo aquí. El tipo ya
+         * no tiene `cursor` (protege a quien compila); este caso protege en EJECUCIÓN frente a un driver de terceros y a un
+         * default de `limit` que alguien meta en 2.6. `listObjects` puede venir `truncated` SOLO si el driver declara
+         * `listObjectsTruncation` (y entonces lo que trae ⊆ lo escrito); los demás, el conjunto exacto.
+         */
+        test('7.4 · P13 · sin page los listados son EXHAUSTIVOS y sin cursor: N=150 (> 100 de enumerate y del page_size de Read) en listSubjects y listObjects —y listDenies con relationDenies, membersOf con membersOfNative—; listObjects truncated solo con listObjectsTruncation', async ({ assert, }) => {
+            const N = 150;
+            const p = partition();
+            const users = Array.from({ length: N }, () => holder());
+            const ids = (subjects) => subjects.map((s) => s.uuid).sort();
+            const expected = users.map((u) => u.uuid).sort();
+            const doc = { type: 'document', id: docId() };
+            for (const u of users)
+                await state.manager.relate(u, 'viewer', doc, p);
+            const subjects = await state.manager.listSubjects('viewer', doc, p);
+            assert.notProperty(subjects, 'cursor', 'listSubjects sin page no devuelve cursor');
+            assert.notEqual(subjects.truncated, true, 'listSubjects no corta (Read se agota o lanza)');
+            assert.deepEqual(ids(subjects.subjects), expected, `listSubjects devuelve los ${N}, no una página`);
+            const reader = holder();
+            const docs = Array.from({ length: N }, () => docId());
+            for (const id of docs)
+                await state.manager.relate(reader, 'viewer', { type: 'document', id }, p);
+            const objects = await state.manager.listObjects(reader, 'viewer', 'document', p);
+            assert.notProperty(objects, 'cursor', 'listObjects sin page no devuelve cursor');
+            const got = objects.objects.map((o) => o.id).sort();
+            if (objects.truncated === true) {
+                assert.isTrue(harness.capabilities.listObjectsTruncation, 'truncated sin declarar listObjectsTruncation');
+                assert.includeMembers(docs, got, 'lo que trae una lista truncada es de lo escrito');
+            }
+            else {
+                assert.deepEqual(got, [...docs].sort(), `listObjects devuelve los ${N}, no una página`);
+            }
+            if (harness.capabilities.membersOfNative) {
+                const group = { type: 'group', id: docId() };
+                for (const u of users)
+                    await state.manager.relate(u, 'member', group, p);
+                const members = await state.manager.membersOf(group, 'member', p);
+                assert.notProperty(members, 'cursor', 'membersOf sin page no devuelve cursor');
+                assert.deepEqual(ids(members.subjects), expected, `membersOf devuelve los ${N}`);
+            }
+            if (harness.capabilities.relationDenies) {
+                const { manager } = await denyManager();
+                const denied = { type: 'document', id: docId() };
+                for (const u of users)
+                    await manager.deny(u, 'viewer', denied, p);
+                const denies = await manager.listDenies('viewer', denied, p);
+                assert.notProperty(denies, 'cursor', 'listDenies sin page no devuelve cursor');
+                assert.deepEqual(ids(denies.subjects), expected, `listDenies devuelve los ${N}`);
+            }
+        });
+        /**
+         * **RC74-1 · página en los cuatro listados ⇒ 500, cero llamadas** (capa MANAGER, sobre el driver del harness). En
+         * 2.6 este caso pasa a ser la cara `whenFalse` de cada capacidad de paginación. `undefined` EXPLÍCITO entra
+         * (RC74-3). No se exige al driver en directo: obligaría a un tercero a un 500 por un parámetro que ya no está en
+         * el tipo (lo cubren la guardia y los specs de los drivers del paquete).
+         */
+        test('7.4 · RC74-1 · listObjects/listSubjects/listDenies/membersOf con page ({ limit: 1 }, null, {}) ⇒ 500 E_AUTHZ_UNSUPPORTED nombrando la operación, con CERO llamadas al driver; undefined explícito entra (RC74-3)', async ({ assert, }) => {
+            const u = holder();
+            const doc = { type: 'document', id: docId() };
+            const group = { type: 'group', id: docId() };
+            const p = partition();
+            const m = state.manager;
+            const calls = [
+                ['listObjects', (page) => m.listObjects(u, 'viewer', 'document', p, page)],
+                ['listSubjects', (page) => m.listSubjects('viewer', doc, p, page)],
+                ['listDenies', (page) => m.listDenies('viewer', doc, p, page)],
+                ['membersOf', (page) => m.membersOf(group, 'member', p, page)],
+            ];
+            for (const [operation, call] of calls) {
+                for (const page of [{ limit: 1 }, null, {}]) {
+                    const before = state.calls();
+                    const caught = await call(page).then(() => null, (e) => e);
+                    assert.isNotNull(caught, `${operation}(…, ${JSON.stringify(page)}) entró: una página que no hace nada es una lista entera que parece una página`);
+                    assert.equal(caught.status, 500, `${operation}: ${caught.message}`);
+                    assert.equal(caught.code, 'E_AUTHZ_UNSUPPORTED', `${operation}: ${caught.message}`);
+                    assert.include(caught.message, operation);
+                    assert.equal(state.calls(), before, `${operation} con page: CERO llamadas al driver`);
+                }
+            }
+            // RC74-3: el argumento `undefined` explícito es «sin página» (quien reenvía un opcional vacío no se rompe).
+            assert.isArray((await m.listObjects(u, 'viewer', 'document', p, undefined)).objects);
+            assert.isArray((await m.listSubjects('viewer', doc, p, undefined)).subjects);
+        });
         /* ── R-12: identidad mal formada ⇒ 422 ── */
         test('R-12 · partición mal formada ⇒ 422 con code', async ({ assert }) => {
             const u = holder();
@@ -1571,6 +1915,610 @@ export function registerRelationsDriverContract(harness, api) {
                 assert.include(atResolve.message, 'transactionalWrites');
             }),
         });
+        /* ── Lote D · D1 · el par `relationDenies` (D5 corte de camino, D8, D9, D10, D3, S8–S10, S12–S15, P-2) ── */
+        /** Un manager sobre la config del contrato CON deny (`document` 'write', `workspace` 'read', `note` sin opt-in). */
+        async function denyManager(options) {
+            const config = contractDenyRelationsConfig();
+            const base = await harness.makeDriver(config);
+            const s = spy(base);
+            return {
+                manager: new RelationsManager(s.driver, config, { driverName: harness.name, ...options }),
+                base,
+                config,
+                writes: s.writes,
+                calls: s.calls,
+            };
+        }
+        /** Siembra un estado de T1 sobre un objeto: allows `A` y denies `D` (subconjuntos de owner/editor/viewer) para `u`. */
+        async function seedState(m, u, object, p, allows, denies) {
+            for (const r of allows)
+                await m.relate(u, r, object, p);
+            for (const r of denies)
+                await m.deny(u, r, object, p);
+        }
+        /* ── Estrategia 2.5.0 · firma 4 · el par `experimental` (regla D15; mismo nombre que en roles) ── */
+        // Dice lo que el consumidor tiene que saber («fuera de la garantía de la versión») y no apaga casos: el runner corre
+        // ENTERO contra un driver experimental. Se observa la declaración del driver y la copia normalizada del manager.
+        caseFor('experimental', {
+            whenTrue: () => test('experimental:true · el driver se declara EXPERIMENTAL (capabilities.experimental === true) y `relations.capabilities()` lo publica tal cual; el runner corre igual contra él', async ({ assert }) => {
+                assert.strictEqual(state.base.capabilities?.experimental, true, 'el harness declara experimental: true y el driver no: declara lo observable');
+                const published = state.manager.capabilities();
+                assert.strictEqual(published.experimental, true);
+                assert.isTrue(Object.isFrozen(published));
+            }),
+            whenFalse: () => test('experimental:false · el driver NO se declara experimental (ausente o false) y `relations.capabilities().experimental` es false, nunca undefined (D15)', async ({ assert }) => {
+                assert.notStrictEqual(state.base.capabilities?.experimental, true, 'el harness declara experimental: false y el driver declara true: declara lo observable');
+                assert.strictEqual(state.manager.capabilities().experimental, false);
+            }),
+        });
+        /* ── Cierre 2 de D2 · 🟠 N1 · el par `atomicRenewal` (renovar una membresía que TRANSPORTA un deny) ── */
+        /**
+         * Siembra: U ∈ g con caducidad (+1 h), un allow DIRECTO de U sobre X y —si el driver deniega— el deny de `g#member`
+         * sobre X; además U ∈ h (+1 h) con h ⊂ g (portadora ANIDADA) y U ∈ k (+1 h) sin deny. Devuelve la caducidad sembrada.
+         */
+        async function seedRenewal(m, denies) {
+            const u = holder();
+            const p = partition();
+            const x = { type: 'document', id: docId() };
+            const g = { type: 'group', id: docId() };
+            const h = { type: 'group', id: docId() };
+            const k = { type: 'group', id: docId() };
+            const hour = new Date(Date.now() + 3_600_000);
+            await m.relate(u, 'member', g, p, { expiresAt: hour });
+            if (harness.capabilities.usersetSubjects)
+                await m.relate({ object: h, relation: 'member' }, 'member', g, p);
+            await m.relate(u, 'member', h, p, { expiresAt: hour });
+            await m.relate(u, 'member', k, p, { expiresAt: hour });
+            await m.relate(u, 'viewer', x, p);
+            if (denies && harness.capabilities.usersetSubjects)
+                await m.deny({ object: g, relation: 'member' }, 'viewer', x, p);
+            return { u, p, x, g, h, k, hour };
+        }
+        /** La caducidad de la membresía de U en `group` según la enumeración del driver (si la trae); `undefined` si no. */
+        async function membershipExpiry(base, u, group, p) {
+            if (!harness.capabilities.enumerateRelations || typeof base.enumerateRelations !== 'function')
+                return undefined;
+            const page = await base.enumerateRelations(p);
+            const tuple = page.tuples.find((t) => t.object.type === 'group' && t.object.id === group.id && !isRelUserset(t.subject) && t.subject.uuid === u.uuid);
+            return tuple ? (tuple.expiresAt ?? null) : undefined;
+        }
+        caseFor('atomicRenewal', {
+            whenTrue: () => test('atomicRenewal:true · renovar (otra caducidad) una membresía que TRANSPORTA un deny —directa y ANIDADA— entra en UNA escritura: la caducidad cambia y el deny sigue negando', async ({ assert }) => {
+                const { manager, base } = harness.capabilities.relationDenies ? await denyManager() : { manager: state.manager, base: state.base };
+                const { u, p, x, g, h, k } = await seedRenewal(manager, harness.capabilities.relationDenies === true);
+                for (const group of [g, h, k]) {
+                    await manager.relate(u, 'member', group, p, { expiresAt: null });
+                    const expiry = await membershipExpiry(base, u, group, p);
+                    if (expiry !== undefined)
+                        assert.isNull(expiry, `la membresía de ${group.id} quedó SIN caducidad`);
+                }
+                const carried = harness.capabilities.relationDenies === true && harness.capabilities.usersetSubjects === true;
+                assert.equal(await manager.check(u, 'viewer', x, p), !carried, 'el deny transportado sigue negando tras renovar');
+            }),
+            whenFalse: () => test('atomicRenewal:false · renovar una membresía que TRANSPORTA un deny vivo —directa o por un grupo que la contiene— ⇒ 409 E_AUTHZ_RENEWAL_UNSAFE con la receta y CERO escrituras (la caducidad no cambia, el deny sigue negando); una membresía sin deny se renueva', async ({ assert }) => {
+                const denies = harness.capabilities.relationDenies === true && harness.capabilities.usersetSubjects === true;
+                const { manager, base } = harness.capabilities.relationDenies ? await denyManager() : { manager: state.manager, base: state.base };
+                const { u, p, x, g, h, k, hour } = await seedRenewal(manager, denies);
+                if (denies) {
+                    for (const group of [g, h]) {
+                        let caught;
+                        try {
+                            await manager.relate(u, 'member', group, p, { expiresAt: null });
+                        }
+                        catch (error) {
+                            caught = error;
+                        }
+                        assert.equal(caught?.status, 409, `renovar ${group.id === g.id ? 'la portadora' : 'la portadora ANIDADA'}: ${caught?.message}`);
+                        assert.equal(caught?.code, 'E_AUTHZ_RENEWAL_UNSAFE');
+                        assert.include(caught?.message, 'unrelate + relate');
+                        assert.include(caught?.message, 'No se ha escrito nada');
+                        const expiry = await membershipExpiry(base, u, group, p);
+                        if (expiry !== undefined)
+                            assert.equal(expiry?.getTime(), hour.getTime(), 'CERO escrituras: la caducidad no cambió');
+                        assert.isFalse(await manager.check(u, 'viewer', x, p), 'el deny sigue negando');
+                    }
+                    // Cierre 3 de D2 · ⚪ C2-4: una membresía portadora YA VENCIDA no conecta nada (no hay ventana que proteger) ⇒
+                    // reescribirla NO es 409; tampoco la de un grupo cuyo ÚNICO camino al deny es una arista de anidación vencida.
+                    const past = new Date(Date.now() - 3_600_000);
+                    const late = holder();
+                    await manager.relate(late, 'viewer', x, p);
+                    await manager.relate(late, 'member', g, p, { expiresAt: past });
+                    assert.isTrue(await manager.check(late, 'viewer', x, p), 'la membresía vencida no lleva el deny hasta el sujeto');
+                    await manager.relate(late, 'member', g, p, { expiresAt: null });
+                    assert.isFalse(await manager.check(late, 'viewer', x, p), 'reescrita: el deny de g vuelve a alcanzarle');
+                    const viaExpired = { type: 'group', id: docId() };
+                    await manager.relate({ object: viaExpired, relation: 'member' }, 'member', g, p, { expiresAt: past });
+                    const nested = holder();
+                    await manager.relate(nested, 'member', viaExpired, p, { expiresAt: hour });
+                    await manager.relate(nested, 'member', viaExpired, p, { expiresAt: null });
+                    const nestedExpiry = await membershipExpiry(base, nested, viaExpired, p);
+                    if (nestedExpiry !== undefined)
+                        assert.isNull(nestedExpiry, 'la arista vencida hacia g no transporta su deny: se renueva');
+                }
+                await manager.relate(u, 'member', k, p, { expiresAt: null });
+                const expiry = await membershipExpiry(base, u, k, p);
+                if (expiry !== undefined)
+                    assert.isNull(expiry, 'la membresía SIN deny se renueva');
+            }),
+        });
+        caseFor('relationDenies', {
+            whenTrue: () => {
+                test('D-05 · corte de camino: las 192 respuestas de T1 (64 estados × viewer/editor/owner) por check; checkMany, decideMany (D9) y listObjects (D-15) dicen lo MISMO sobre los 64 objetos; P1-M monotonía (D-12)', async ({ assert, }) => {
+                    // El oráculo es INDEPENDIENTE del código del paquete (la tabla literal del tester §2.2 y su fórmula con el
+                    // retículo escrito a mano): si fuera `cutPathAllows`, un mutante de la regla cambiaría a la vez el driver y
+                    // la expectativa y viviría.
+                    for (let row = 0; row < 64; row++) {
+                        const { allows, denies } = t1State(row);
+                        const oracle = T1_QUESTIONS.map((q) => (t1Oracle(allows, denies, q) ? 'T' : 'F')).join('');
+                        assert.equal(oracle, T1_EXPECTED[row], `T1 fila ${row + 1}: el oráculo y la tabla del tester divergen`);
+                    }
+                    const { manager } = await denyManager();
+                    const u = holder();
+                    const p = partition();
+                    const objects = [];
+                    for (let row = 0; row < 64; row++) {
+                        const object = { type: 'document', id: docId() };
+                        objects.push(object);
+                        const { allows, denies } = t1State(row);
+                        await seedState(manager, u, object, p, allows, denies);
+                    }
+                    const observed = [];
+                    for (let row = 0; row < 64; row++) {
+                        let answer = '';
+                        for (const q of T1_QUESTIONS)
+                            answer += (await manager.check(u, q, objects[row], p)) ? 'T' : 'F';
+                        observed.push(answer);
+                    }
+                    const wrong = observed
+                        .map((got, row) => [row, got])
+                        .filter(([row, got]) => got !== T1_EXPECTED[row])
+                        .map(([row, got]) => `fila ${row + 1} (A=${t1State(row).allows.join('+') || '∅'} D=${t1State(row).denies.join('+') || '∅'}${T1_PAR.has(row + 1) ? ', PAR' : ''}): esperado ${T1_EXPECTED[row]} (v/e/o), obtenido ${got}`);
+                    assert.deepEqual(wrong, [], 'T1 · check con corte de camino');
+                    // checkMany (sin cambio de contrato) y decideMany (D9 AMPLIO), por lotes de ≤ 50, y listObjects (resta).
+                    for (const [qi, q] of T1_QUESTIONS.entries()) {
+                        const many = [];
+                        const decided = [];
+                        for (let start = 0; start < 64; start += RELATIONS_CHECK_MANY_MAX) {
+                            const batch = objects.slice(start, start + RELATIONS_CHECK_MANY_MAX);
+                            many.push(...(await manager.checkMany(u, q, batch, p)));
+                            decided.push(...(await manager.decideMany(u, q, batch, p)));
+                        }
+                        assert.deepEqual(many.map((b) => (b ? 'T' : 'F')).join(''), T1_EXPECTED.map((x) => x[qi]).join(''), `checkMany(${q}) honra el deny igual que check (sin cambio de contrato)`);
+                        const expectedDecisions = T1_EXPECTED.map((x, row) => (x[qi] === 'T' ? 'allow' : t1DeniedAbove(t1State(row).denies, q) ? 'deny' : 'none'));
+                        assert.deepEqual(decided, expectedDecisions, `decideMany(${q}) · D9 amplio sobre los 64 estados`);
+                        const page = await manager.listObjects(u, q, 'document', p);
+                        const listed = page.objects.map((o) => o.id);
+                        const expectedIds = objects.filter((_, row) => T1_EXPECTED[row][qi] === 'T').map((o) => o.id);
+                        const intruders = listed.filter((id) => !expectedIds.includes(id));
+                        assert.deepEqual(intruders, [], `listObjects(${q}) RESTA (D-15): ni un objeto denegado (S16: tampoco con el tope)`);
+                        if (page.truncated === true) {
+                            // S16 (tope bajo, :8103 o el doble con tope): la página cortada es un SUBCONJUNTO de lo concedido, y el
+                            // truncado solo se señala si hay concedidos de más — nunca porque los denegados llenen el tope.
+                            assert.isAbove(expectedIds.length, listed.length, `listObjects(${q}) · truncated solo si hay allows de más`);
+                        }
+                        else {
+                            assert.sameMembers(listed, expectedIds, `listObjects(${q}) RESTA (D-15) y es exhaustiva sin truncated`);
+                        }
+                    }
+                    // D-12 · P1-M: más allows o menos denies nunca quita acceso (sobre lo OBSERVADO).
+                    const nonMonotone = [];
+                    for (let a = 0; a < 64; a++) {
+                        for (let b = 0; b < 64; b++) {
+                            const A = t1State(a);
+                            const B = t1State(b);
+                            const moreOrEqual = A.allows.every((r) => B.allows.includes(r)) && B.denies.every((r) => A.denies.includes(r));
+                            if (!moreOrEqual)
+                                continue;
+                            for (let qi = 0; qi < 3; qi++) {
+                                if (observed[a][qi] === 'T' && observed[b][qi] === 'F')
+                                    nonMonotone.push(`${a + 1}→${b + 1} (${T1_QUESTIONS[qi]})`);
+                            }
+                        }
+                    }
+                    assert.deepEqual(nonMonotone, [], 'D-12 · P1-M: monotonía en los 64 estados');
+                });
+                for (const [name, row, expected] of T1_NAMED) {
+                    test(`${name} (T1 fila ${row})`, async ({ assert }) => {
+                        const { manager } = await denyManager();
+                        const u = holder();
+                        const p = partition();
+                        const object = { type: 'document', id: docId() };
+                        const { allows, denies } = t1State(row - 1);
+                        await seedState(manager, u, object, p, allows, denies);
+                        const got = [];
+                        for (const q of T1_QUESTIONS)
+                            got.push((await manager.check(u, q, object, p)) ? 'T' : 'F');
+                        assert.equal(got.join(''), expected, `${name}: v/e/o`);
+                    });
+                }
+                test('D-01/D-02/D-03 · deny gana sobre el allow directo y removeDeny lo restaura; el ORDEN de escritura no importa; deny y removeDeny idempotentes (re-deny no duplica, un removeDeny levanta un deny repetido, re-removeDeny es no-op)', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const a = { type: 'document', id: docId() };
+                    await manager.relate(u, 'viewer', a, p);
+                    assert.isTrue(await manager.check(u, 'viewer', a, p));
+                    await manager.deny(u, 'viewer', a, p);
+                    assert.isFalse(await manager.check(u, 'viewer', a, p), 'D-01: deny gana');
+                    await manager.removeDeny(u, 'viewer', a, p);
+                    assert.isTrue(await manager.check(u, 'viewer', a, p), 'D-01: removeDeny restaura');
+                    // D-02: deny ANTES que el allow, mismo resultado.
+                    const b = { type: 'document', id: docId() };
+                    await manager.deny(u, 'viewer', b, p);
+                    await manager.relate(u, 'viewer', b, p);
+                    assert.isFalse(await manager.check(u, 'viewer', b, p), 'D-02: deny→allow = allow→deny');
+                    // D-03: idempotencia.
+                    await manager.deny(u, 'viewer', b, p);
+                    await manager.deny(u, 'viewer', b, p);
+                    assert.lengthOf((await manager.listDenies('viewer', b, p)).subjects, 1, 're-deny no duplica');
+                    await manager.removeDeny(u, 'viewer', b, p);
+                    assert.isTrue(await manager.check(u, 'viewer', b, p), 'un removeDeny levanta un deny repetido');
+                    await manager.removeDeny(u, 'viewer', b, p);
+                    assert.isTrue(await manager.check(u, 'viewer', b, p), 're-removeDeny es no-op');
+                    assert.deepEqual((await manager.listDenies('viewer', b, p)).subjects, []);
+                });
+                test('D-04 · allow y deny del MISMO hecho conviven: unrelate no levanta el deny, removeDeny no quita el allow; listSubjects NO resta (D-15) y listDenies da los hechos directos', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const v = holder();
+                    const a = { type: 'document', id: docId() };
+                    await manager.relate(u, 'viewer', a, p);
+                    await manager.relate(v, 'viewer', a, p);
+                    await manager.deny(u, 'viewer', a, p);
+                    const subjects = (await manager.listSubjects('viewer', a, p)).subjects.map((s) => s.uuid);
+                    assert.sameMembers(subjects, [u.uuid, v.uuid], 'listSubjects da HECHOS: no resta el deny');
+                    assert.deepEqual((await manager.listDenies('viewer', a, p)).subjects.map((s) => s.uuid), [u.uuid]);
+                    await manager.unrelate(u, 'viewer', a, p);
+                    await manager.relate(u, 'viewer', a, p);
+                    assert.isFalse(await manager.check(u, 'viewer', a, p), 'unrelate no tocó el deny');
+                    assert.lengthOf((await manager.listDenies('viewer', a, p)).subjects, 1);
+                    await manager.removeDeny(u, 'viewer', a, p);
+                    assert.isTrue(await manager.check(u, 'viewer', a, p), 'removeDeny no quitó el allow');
+                    assert.isTrue(await manager.check(v, 'viewer', a, p), 'el deny de u nunca tocó a v');
+                });
+                test('D-13 · deny a g#member bloquea a sus miembros, también ANIDADOS (g1 ⊂ g2, deny a g2#member); un deny DIRECTO bloquea aunque el allow llegue por grupo', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const g1 = { type: 'group', id: docId() };
+                    const g2 = { type: 'group', id: docId() };
+                    await manager.relate(u, 'member', g1, p);
+                    await manager.relate({ object: g1, relation: 'member' }, 'member', g2, p);
+                    const a = { type: 'document', id: docId() };
+                    await manager.relate(u, 'owner', a, p);
+                    await manager.deny({ object: g2, relation: 'member' }, 'editor', a, p);
+                    assert.isFalse(await manager.check(u, 'viewer', a, p), 'deny(editor) a g2#member alcanza a u por g1 ⊂ g2 (fila 35)');
+                    const b = { type: 'document', id: docId() };
+                    await manager.relate({ object: g1, relation: 'member' }, 'viewer', b, p);
+                    assert.isTrue(await manager.check(u, 'viewer', b, p));
+                    await manager.deny(u, 'viewer', b, p);
+                    assert.isFalse(await manager.check(u, 'viewer', b, p), 'deny directo gana al allow que llega por el grupo');
+                });
+                test('D-14 · check de un USERSET: el deny de un miembro NO sube al grupo (check(g#member) sigue siendo la fila de g)', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const g = { type: 'group', id: docId() };
+                    const a = { type: 'document', id: docId() };
+                    await manager.relate(u, 'member', g, p);
+                    await manager.relate({ object: g, relation: 'member' }, 'viewer', a, p);
+                    await manager.deny(u, 'viewer', a, p);
+                    assert.isFalse(await manager.check(u, 'viewer', a, p));
+                    assert.isTrue(await manager.check({ object: g, relation: 'member' }, 'viewer', a, p), 'el grupo conserva su viewer');
+                });
+                test('D-16 · purgeObject y purgeSubject borran también los denies (después del objeto, nada del sujeto sobrevive; re-relate concede)', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const a = { type: 'document', id: docId() };
+                    await manager.relate(u, 'viewer', a, p);
+                    await manager.deny(u, 'viewer', a, p);
+                    await manager.purgeObject(a, p);
+                    assert.deepEqual((await manager.listDenies('viewer', a, p)).subjects, [], 'purgeObject borró el deny');
+                    await manager.relate(u, 'viewer', a, p);
+                    assert.isTrue(await manager.check(u, 'viewer', a, p));
+                    await manager.deny(u, 'viewer', a, p);
+                    await manager.purgeSubject(u, p);
+                    assert.deepEqual((await manager.listDenies('viewer', a, p)).subjects, [], 'purgeSubject borró el deny');
+                    await manager.relate(u, 'viewer', a, p);
+                    assert.isTrue(await manager.check(u, 'viewer', a, p), 'ni allow ni deny viejos: el re-relate concede');
+                });
+                test('D-15b · membersOf RESTA (si el driver es nativo): un miembro TRANSITIVO con deny directo, o alcanzado por un deny al grupo, no sale; sin deny, la lista de siempre', async ({ assert }) => {
+                    if (!harness.capabilities.membersOfNative) {
+                        // Cara sin membersOf nativo: la operación es 500 E_AUTHZ_UNSUPPORTED (su par lo juzga); aquí se afirma que el deny no la abre.
+                        const { manager } = await denyManager();
+                        const caught = await manager.membersOf({ type: 'document', id: docId() }, 'viewer', partition()).then(() => null, (e) => e);
+                        assert.equal(caught?.code, 'E_AUTHZ_UNSUPPORTED');
+                        return;
+                    }
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const a = holder();
+                    const b = holder();
+                    const c = holder();
+                    const g = { type: 'group', id: docId() };
+                    const doc = { type: 'document', id: docId() };
+                    await manager.relate(a, 'member', g, p);
+                    await manager.relate(b, 'member', g, p);
+                    await manager.relate({ object: g, relation: 'member' }, 'viewer', doc, p);
+                    await manager.relate(c, 'owner', doc, p);
+                    const before = (await manager.membersOf(doc, 'viewer', p)).subjects.map((s) => s.uuid);
+                    assert.sameMembers(before, [a.uuid, b.uuid, c.uuid]);
+                    await manager.deny(b, 'viewer', doc, p);
+                    await manager.deny(c, 'editor', doc, p);
+                    const after = (await manager.membersOf(doc, 'viewer', p)).subjects.map((s) => s.uuid);
+                    assert.sameMembers(after, [a.uuid], 'b (deny directo) y c (owner cortado por deny(editor), fila 35) no salen');
+                });
+                test('S8–S10 · FILAS DECLARADAS (quitar acceso que DA acceso): unrelate(u, member, g) con deny a g#member ⇒ u recupera su allow directo (S8); purgeObject(group:g) ⇒ igual (S9); purgeSubject(g#member) borra los denies del grupo (S10)', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const run = async (lift, label) => {
+                        const p = partition();
+                        const u = holder();
+                        const g = { type: 'group', id: docId() };
+                        const a = { type: 'document', id: docId() };
+                        await manager.relate(u, 'viewer', a, p);
+                        await manager.relate(u, 'member', g, p);
+                        await manager.deny({ object: g, relation: 'member' }, 'viewer', a, p);
+                        assert.isFalse(await manager.check(u, 'viewer', a, p), `${label}: antes, el deny del grupo bloquea`);
+                        await lift(u, g, p);
+                        assert.isTrue(await manager.check(u, 'viewer', a, p), `${label}: FILA DECLARADA — la escritura que «quita» devuelve el acceso`);
+                    };
+                    await run((u, g, p) => manager.unrelate(u, 'member', g, p), 'S8 · salir del grupo denegado');
+                    await run((_u, g, p) => manager.purgeObject(g, p), 'S9 · purgar el grupo');
+                    await run((_u, g, p) => manager.purgeSubject({ object: g, relation: 'member' }, p), 'S10 · purgar el userset del grupo');
+                });
+                test('D-17 · deny sobre un tipo SIN opt-in (note), en FASE 1 (workspace, deny: read), sobre group, con `*` o con un userset ≠ group#member ⇒ 422 con CERO llamadas al driver y CERO eventos; removeDeny y listDenies SÍ aceptan esos tipos declarados (D8: retirar el opt-in es reversible)', async ({ assert }) => {
+                    const events = [];
+                    const f = await denyManager({ onRelationWrite: (e) => void events.push(e) });
+                    const p = partition();
+                    const u = holder();
+                    const cases = [
+                        ['tipo sin opt-in', () => f.manager.deny(u, 'viewer', { type: 'note', id: docId() }, p), 'E_AUTHZ_RELATION_NOT_DENYABLE'],
+                        ["fase 1 (deny: 'read')", () => f.manager.deny(u, 'viewer', { type: 'workspace', id: docId() }, p), 'E_AUTHZ_RELATION_NOT_DENYABLE'],
+                        ['group', () => f.manager.deny(u, 'member', { type: 'group', id: docId() }, p), 'E_AUTHZ_RELATION_NOT_DENYABLE'],
+                        ["comodín '*'", () => f.manager.deny({ type: 'user', uuid: '*' }, 'viewer', { type: 'document', id: docId() }, p), 'E_AUTHZ_RELATION_NOT_DENYABLE'],
+                        ['userset ≠ group#member', () => f.manager.deny({ object: { type: 'document', id: docId() }, relation: 'viewer' }, 'viewer', { type: 'document', id: docId() }, p), 'E_AUTHZ_RELATION_USERSET_UNSUPPORTED'],
+                    ];
+                    for (const [label, run, code] of cases) {
+                        const caught = await run().then(() => null, (e) => e);
+                        assert.isNotNull(caught, `${label}: entró`);
+                        assert.equal(caught?.status, 422, `${label}: ${caught?.message}`);
+                        assert.equal(caught?.code, code, `${label}: ${caught?.message}`);
+                    }
+                    assert.equal(f.calls(), 0, 'CERO llamadas al driver');
+                    assert.lengthOf(events, 0, 'CERO eventos');
+                    for (const type of ['note', 'workspace']) {
+                        await f.manager.removeDeny(u, 'viewer', { type, id: docId() }, p);
+                        assert.deepEqual((await f.manager.listDenies('viewer', { type, id: docId() }, p)).subjects, [], `${type}: listDenies responde`);
+                    }
+                });
+                test('D-19 (reescrito por D3) · expiresAt en deny/removeDeny ⇒ 422 E_AUTHZ_DENY_EXPIRY_UNSUPPORTED con la razón medida (Date y null), CERO llamadas', async ({ assert }) => {
+                    const f = await denyManager();
+                    const p = partition();
+                    const a = { type: 'document', id: docId() };
+                    for (const expiresAt of [new Date(Date.now() + 60_000), null]) {
+                        for (const op of ['deny', 'removeDeny']) {
+                            const caught = await f.manager[op](holder(), 'viewer', a, p, { expiresAt }).then(() => null, (e) => e);
+                            assert.equal(caught?.status, 422, `${op}(${String(expiresAt)}): ${caught?.message}`);
+                            assert.equal(caught?.code, 'E_AUTHZ_DENY_EXPIRY_UNSUPPORTED');
+                            assert.include(String(caught?.message), 'M5');
+                        }
+                    }
+                    assert.equal(f.calls(), 0);
+                });
+                test('D-20 · eventos: deny/removeDeny notifican con operation y el nombre PÚBLICO de la relación, el actor y sin expiresAt; requireActor los alcanza; assertWrite ve operation deny/removeDeny y si lanza no hay escritura ni evento', async ({ assert }) => {
+                    const events = [];
+                    const seen = [];
+                    const actor = holder();
+                    const f = await denyManager({
+                        onRelationWrite: (e) => void events.push(e),
+                        assertWrite: (ref) => {
+                            seen.push(ref.operation);
+                            if (ref.object.id === 'vetado')
+                                throw new Error('policy');
+                        },
+                    });
+                    const p = partition();
+                    const u = holder();
+                    const a = { type: 'document', id: docId() };
+                    await f.manager.deny(u, 'viewer', a, p, { actor });
+                    await f.manager.removeDeny(u, 'viewer', a, p, { actor });
+                    assert.deepEqual(events.map((e) => e.operation), ['deny', 'removeDeny']);
+                    assert.equal(events[0].relation, 'viewer', 'el nombre PÚBLICO, nunca denied_viewer');
+                    assert.deepEqual(events[0].actor, actor);
+                    assert.notProperty(events[0], 'expiresAt');
+                    assert.deepEqual(seen, ['deny', 'removeDeny']);
+                    const vetoed = await f.manager.deny(u, 'viewer', { type: 'document', id: 'vetado' }, p).then(() => null, (e) => e);
+                    assert.equal(vetoed?.message, 'policy');
+                    assert.lengthOf(events, 2, 'assertWrite que lanza: sin evento');
+                    const strict = await denyManager({ requireActor: true });
+                    const missing = await strict.manager.deny(u, 'viewer', a, p).then(() => null, (e) => e);
+                    assert.equal(missing?.code, 'E_AUTHZ_ACTOR_REQUIRED');
+                    const missing2 = await strict.manager.removeDeny(u, 'viewer', a, p).then(() => null, (e) => e);
+                    assert.equal(missing2?.code, 'E_AUTHZ_ACTOR_REQUIRED');
+                    assert.equal(strict.calls(), 0);
+                });
+                test('D9 · decideMany: fila 35 preguntada en viewer ⇒ deny (amplio); fila 43 ⇒ allow; nada ⇒ none; el caso Nóminas (deny en Nóminas con allow heredado de Finanzas ⇒ [none, deny, allow] recorriendo hoja → raíz); orden y duplicados por posición', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const row35 = { type: 'document', id: docId() };
+                    const row43 = { type: 'document', id: docId() };
+                    const nothing = { type: 'document', id: docId() };
+                    await seedState(manager, u, row35, p, ['owner'], ['editor']);
+                    await seedState(manager, u, row43, p, ['owner', 'viewer'], ['editor']);
+                    assert.deepEqual(await manager.decideMany(u, 'viewer', [row35, row43, nothing, row35], p), ['deny', 'allow', 'none', 'deny']);
+                    // Nóminas (juez ronda 2 §4; auditor R2-1): la cadena la recorre el LLAMANTE.
+                    const informe = { type: 'document', id: docId() };
+                    const nominas = { type: 'document', id: docId() };
+                    const finanzas = { type: 'document', id: docId() };
+                    await manager.relate(u, 'viewer', finanzas, p);
+                    await manager.deny(u, 'viewer', nominas, p);
+                    assert.deepEqual(await manager.decideMany(u, 'viewer', [informe, nominas, finanzas], p), ['none', 'deny', 'allow'], 'el primer no-none desde la hoja es deny');
+                    assert.deepEqual(await manager.checkMany(u, 'viewer', [informe, nominas, finanzas], p), [false, false, true], 'con checkMany el mismo escenario es INDISTINGUIBLE (limitación declarada)');
+                });
+                test(`D9 · decideMany con las MISMAS garantías que checkMany: ${RELATIONS_CHECK_MANY_MAX} responde, ${RELATIONS_CHECK_MANY_MAX + 1} y [] ⇒ 422 E_AUTHZ_CHECK_MANY_BATCH; F-05 por ÍTEM (role_binding en la última posición) y un id inválido ⇒ 422; todo con CERO llamadas`, async ({ assert }) => {
+                    const f = await denyManager();
+                    const p = partition();
+                    const u = holder();
+                    const ids = Array.from({ length: RELATIONS_CHECK_MANY_MAX }, () => ({ type: 'document', id: docId() }));
+                    assert.lengthOf(await f.manager.decideMany(u, 'viewer', ids, p), RELATIONS_CHECK_MANY_MAX);
+                    const before = f.calls();
+                    for (const objects of [[...ids, { type: 'document', id: docId() }], []]) {
+                        const caught = await f.manager.decideMany(u, 'viewer', objects, p).then(() => null, (e) => e);
+                        assert.equal(caught?.code, 'E_AUTHZ_CHECK_MANY_BATCH');
+                        assert.include(String(caught?.message), 'decideMany');
+                    }
+                    const typed = await f.manager.decideMany(u, 'viewer', [...ids.slice(0, 20), { type: 'role_binding', id: docId() }], p).then(() => null, (e) => e);
+                    assert.equal(typed?.code, 'E_AUTHZ_RELATION_TYPE_UNKNOWN');
+                    const badId = await f.manager.decideMany(u, 'viewer', [...ids.slice(0, 3), { type: 'document', id: 'A#B' }], p).then(() => null, (e) => e);
+                    assert.equal(badId?.code, 'E_AUTHZ_INVALID_IDENTITY');
+                    assert.equal(f.calls(), before, 'CERO llamadas: el lote se juzga antes');
+                });
+                test('P-2 (COGNITIV) · decideMany para un holder de OTRA organización responde por la partición del OBJETO — y su gemelo en check/checkMany: el mismo holder con allow en A y deny en B sobre el mismo id', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const orgA = partition();
+                    const orgB = partition();
+                    const guest = holder();
+                    const shared = { type: 'document', id: docId() };
+                    await manager.relate(guest, 'viewer', shared, orgA);
+                    await manager.relate(guest, 'viewer', shared, orgB);
+                    await manager.deny(guest, 'viewer', shared, orgB);
+                    assert.deepEqual(await manager.decideMany(guest, 'viewer', [shared], orgA), ['allow'], 'decideMany responde por la partición del objeto (A)');
+                    assert.deepEqual(await manager.decideMany(guest, 'viewer', [shared], orgB), ['deny'], 'y en B, por B');
+                    assert.isTrue(await manager.check(guest, 'viewer', shared, orgA), 'gemelo check en A');
+                    assert.isFalse(await manager.check(guest, 'viewer', shared, orgB), 'gemelo check en B');
+                    assert.deepEqual(await manager.checkMany(guest, 'viewer', [shared], orgA), [true], 'gemelo checkMany en A');
+                    assert.deepEqual(await manager.checkMany(guest, 'viewer', [shared], orgB), [false], 'gemelo checkMany en B');
+                });
+                test('D-30 · un alias de la partición jamás evade un deny: con el deny en la canónica, la ortografía sin guiones es 422 en check/checkMany/decideMany/listObjects/deny/removeDeny/listDenies (nunca true)', async ({ assert }) => {
+                    const { manager } = await denyManager();
+                    const canonical = { type: 'unit', uuid: uuidv7() };
+                    const alias = { type: 'unit', uuid: canonical.uuid.replace(/-/g, '') };
+                    const u = holder();
+                    const a = { type: 'document', id: docId() };
+                    await manager.relate(u, 'viewer', a, canonical);
+                    await manager.deny(u, 'viewer', a, canonical);
+                    const runs = [
+                        ['check', () => manager.check(u, 'viewer', a, alias)],
+                        ['checkMany', () => manager.checkMany(u, 'viewer', [a], alias)],
+                        ['decideMany', () => manager.decideMany(u, 'viewer', [a], alias)],
+                        ['listObjects', () => manager.listObjects(u, 'viewer', 'document', alias)],
+                        ['deny', () => manager.deny(u, 'viewer', a, alias)],
+                        ['removeDeny', () => manager.removeDeny(u, 'viewer', a, alias)],
+                        ['listDenies', () => manager.listDenies('viewer', a, alias)],
+                    ];
+                    for (const [op, run] of runs) {
+                        const caught = await run().then((r) => ({ answered: r }), (e) => e);
+                        assert.equal(caught?.code, 'E_AUTHZ_INVALID_IDENTITY', `${op} por el alias: ${JSON.stringify(caught?.answered ?? caught?.message)}`);
+                    }
+                    assert.isFalse(await manager.check(u, 'viewer', a, canonical), 'el deny sigue en la canónica');
+                });
+                test("denyPhase · (cierre 1 de D2 · ⚪ 9) el DRIVER responde la fase de SU config por tipo (document 'write', workspace 'read', note null) y es la verdad sobre deny(): 'write' ⇒ entra y check F; 'read' y null ⇒ 422 NOT_DENYABLE sin escribir; F-05 (tipo/relación no declarados, relación ausente) ⇒ 422 — la puerta del DESTINO de authz:relations:reconcile", async ({ assert }) => {
+                    const config = contractDenyRelationsConfig();
+                    const driver = await harness.makeDriver(config);
+                    assert.isFunction(driver.denyPhase, 'un driver que declara relationDenies trae denyPhase (el reconcile lo exige: motivo no-deny-phase)');
+                    const p = partition();
+                    for (const [type, expected] of Object.entries(RELATIONS_CONTRACT_DENY_TYPES)) {
+                        const phase = await driver.denyPhase({ type }, 'viewer');
+                        assert.equal(phase, expected ?? null, `denyPhase(${type}) = la fase de la config del DRIVER`);
+                        const u = holder();
+                        const object = { type, id: docId() };
+                        await driver.relate(u, 'viewer', object, p);
+                        const wrote = await driver.deny(u, 'viewer', object, p).then(() => null, (e) => e);
+                        if (phase === 'write') {
+                            assert.isNull(wrote, `${type}: 'write' ⇒ deny() entra (${wrote?.message})`);
+                            assert.isFalse(await driver.check(u, 'viewer', object, p), `${type}: el deny escrito niega`);
+                        }
+                        else {
+                            assert.equal(wrote?.status, 422, `${type}: '${phase}' ⇒ deny() 422 (${wrote?.message})`);
+                            assert.equal(wrote?.code, 'E_AUTHZ_RELATION_NOT_DENYABLE');
+                            assert.isTrue(await driver.check(u, 'viewer', object, p), `${type}: la negativa no escribió nada`);
+                        }
+                    }
+                    for (const [label, run, code] of [
+                        ['tipo no declarado', () => driver.denyPhase({ type: 'role_binding' }, 'assignee'), 'E_AUTHZ_RELATION_TYPE_UNKNOWN'],
+                        ['relación no declarada', () => driver.denyPhase({ type: 'document' }, 'approver'), 'E_AUTHZ_RELATION_UNKNOWN'],
+                        ['relación ausente', () => driver.denyPhase({ type: 'document' }, undefined), 'E_AUTHZ_RELATION_UNKNOWN'],
+                    ]) {
+                        const caught = await run().then((answer) => ({ answer }), (e) => e);
+                        assert.equal(caught?.code, code, `F-05 · ${label}: ${JSON.stringify(caught?.answer ?? caught?.message)}`);
+                    }
+                });
+                test('M6 · el deny TRANSPORTADO por una membresía de grupo con caducidad: viva ⇒ deny (check F, decideMany deny); caducada ⇒ el allow vuelve (check T, decideMany allow); S13: un solo now por lote en decideMany', async ({ assert }) => {
+                    const config = contractDenyRelationsConfig();
+                    const base = await harness.makeDriver(config);
+                    const u = holder();
+                    const g = { type: 'group', id: docId() };
+                    const a = { type: 'document', id: docId() };
+                    const p = partition();
+                    if (harness.capabilities.injectableClock) {
+                        const T = new Date('2031-03-03T03:03:03.303Z');
+                        const clock = fixedClock(new Date(T.getTime() - 60_000));
+                        const m = new RelationsManager(base.withClock(clock.now), config);
+                        await m.relate(u, 'viewer', a, p);
+                        await m.relate(u, 'member', g, p, { expiresAt: T });
+                        await m.deny({ object: g, relation: 'member' }, 'viewer', a, p);
+                        clock.set(new Date(T.getTime() - 1));
+                        assert.isFalse(await m.check(u, 'viewer', a, p), 'T−1 ms: la membresía viva transporta el deny');
+                        assert.deepEqual(await m.decideMany(u, 'viewer', [a], p), ['deny']);
+                        clock.set(T);
+                        assert.isTrue(await m.check(u, 'viewer', a, p), 'T: la membresía caducó y el allow vuelve');
+                        assert.deepEqual(await m.decideMany(u, 'viewer', [a], p), ['allow']);
+                        // S13 · UN solo `now` por lote también en decideMany (el patrón A-18): un reloj que AVANZA 1 ms por lectura
+                        // y tres allows que caducan en T3+1, T3+2, T3+3 ⇒ las tres `allow` y el reloj se lee UNA vez.
+                        const T3 = new Date('2031-04-04T00:00:00.000Z');
+                        const setup = new RelationsManager(base.withClock(fixedClock(T3).now), config);
+                        const batch = holder();
+                        const docs = [docId(), docId(), docId()].map((id) => ({ type: 'document', id }));
+                        for (const [i, d] of docs.entries())
+                            await setup.relate(batch, 'viewer', d, p, { expiresAt: new Date(T3.getTime() + i + 1) });
+                        let reads = 0;
+                        const ticking = new RelationsManager(base.withClock(() => new Date(T3.getTime() + reads++)), config);
+                        assert.deepEqual(await ticking.decideMany(batch, 'viewer', [...docs, ...docs], p), ['allow', 'allow', 'allow', 'allow', 'allow', 'allow']);
+                        assert.equal(reads, 1, 'S13: decideMany leyó el reloj EXACTAMENTE una vez para todo el lote');
+                        return;
+                    }
+                    const m = new RelationsManager(base, config);
+                    await m.relate(u, 'viewer', a, p);
+                    await m.relate(u, 'member', g, p, { expiresAt: new Date(Date.now() + 1_500) });
+                    await m.deny({ object: g, relation: 'member' }, 'viewer', a, p);
+                    assert.isFalse(await m.check(u, 'viewer', a, p), 'viva: el deny viaja por la membresía');
+                    await sleep(1_700);
+                    assert.isTrue(await m.check(u, 'viewer', a, p), 'caducada: el allow vuelve');
+                });
+            },
+            whenFalse: () => test('relationDenies:false · D-28 · deny/removeDeny/listDenies/decideMany ⇒ 500 E_AUTHZ_UNSUPPORTED nombrándolos, con CERO llamadas al driver y CERO eventos; F-05 va antes (un role_binding sigue siendo 422)', async ({ assert }) => {
+                const p = partition();
+                const u = holder();
+                const a = { type: 'document', id: docId() };
+                const runs = [
+                    ['deny', () => state.manager.deny(u, 'viewer', a, p)],
+                    ['removeDeny', () => state.manager.removeDeny(u, 'viewer', a, p)],
+                    ['listDenies', () => state.manager.listDenies('viewer', a, p)],
+                    ['decideMany', () => state.manager.decideMany(u, 'viewer', [a], p)],
+                ];
+                for (const [op, run] of runs) {
+                    const caught = await run().then(() => null, (e) => e);
+                    assert.equal(caught?.status, 500, `${op}: ${caught?.message}`);
+                    assert.equal(caught?.code, 'E_AUTHZ_UNSUPPORTED');
+                    assert.include(String(caught?.message), op);
+                }
+                const typed = await state.manager.deny(u, 'assignee', { type: 'role_binding', id: docId() }, p).then(() => null, (e) => e);
+                assert.equal(typed?.code, 'E_AUTHZ_RELATION_TYPE_UNKNOWN', 'F-05 antes que la capacidad');
+                assert.equal(state.calls(), 0, 'CERO llamadas al driver');
+                assert.lengthOf(state.events, 0, 'CERO eventos');
+                // Cierre 1 de D2 · ⚪ 9 (el par de denyPhase): sin relationDenies el driver no AFIRMA una fase — o no trae
+                // denyPhase, o responde null para todo tipo (la puerta del reconcile lo trata como no-capability igualmente).
+                const bare = await harness.makeDriver(contractDenyRelationsConfig());
+                if (typeof bare.denyPhase === 'function') {
+                    for (const type of Object.keys(RELATIONS_CONTRACT_DENY_TYPES)) {
+                        assert.isNull(await bare.denyPhase({ type }, 'viewer'), `relationDenies:false · denyPhase(${type}) no afirma una fase`);
+                    }
+                }
+            }),
+        });
         // Al cerrar: toda capacidad declarada tiene que haber registrado su cara.
         group.teardown(async () => {
             const uncovered = Object.keys(harness.capabilities).filter((c) => !covered.has(c));
@@ -1581,4 +2529,3 @@ export function registerRelationsDriverContract(harness, api) {
     });
     return { registered, covered };
 }
-//# sourceMappingURL=relations_contract.js.map