@teamblind/axeda-core 0.0.0-stage → 0.1.0-alpha.0

package/CHANGELOG.md

@@ -0,0 +1,23 @@
+# @teamblind/axeda-core
+
+## 0.1.0-alpha.0
+
+### Minor Changes
+
+- b519956: Add the authorization use cases. `@teamblind/axeda-core` gains role management, assignments with the no-escalation rule (also on revoke and on role edits), an append-only audit log, `bootstrap` for the first administrator, roles declared in code that sync at start, `scopesFor` and `scopeFilter`, and a version-validated permission cache. `requireMfa` is now enforced when deciding. `@teamblind/axeda-better-auth` stores the audit log and exposes `createBetterAuthUserDirectory`; `@teamblind/axeda-testing` adds an in-memory user directory and covers the new ports in the contract suite.
+
+  The Better Auth plugin now exposes the use cases as `/axeda/*` endpoints (every one requires a session and declares its permission), connects the session to the actor, cleans up on user deletion, refuses to start with `session.cookieCache`, and ships a typed client at `@teamblind/axeda-better-auth/client`. `npm run demo` runs the whole story against a real server.
+
+- c55b0f4: Persist Axeda on top of the Better Auth database adapter. `@teamblind/axeda-better-auth` adds the plugin schema (roles, assignments, policy state and the user's `authzVersion`) and `createBetterAuthPersistence`, which implements the persistence ports for any database Better Auth supports, with atomic counters, optimistic role updates and real transactions. The persistence contract suite now also covers concurrent duplicate creation, and `@teamblind/axeda-core` adds the `AXEDA_USER_NOT_FOUND` and `AXEDA_DATA_CORRUPT` error codes.
+- c6a80da: Add companies, businesses, invitations and public identity. Companies and businesses are real entities with versions, soft deletion with a grace period (and immediate deletion for privacy requests) and a status that silences their people at once; business scopes are now resolved from the database, never from the request. Invitations are single-use, only the owner of the verified email can accept them, and the inviter's current power is re-checked on acceptance. The plugin exposes `/axeda/company/*`, `/axeda/business/*`, `/axeda/invitation/*` and an opt-in `/axeda/public/identity`; the HTTP status of every error code is now decided exhaustively.
+- a836007: Add the authorization core: permission keys with wildcards, scope inheritance (global → company → business), effective permissions, the no-escalation grant rule, persistence ports, option validation and `createAxeda` with a startup transaction check. `@teamblind/axeda-testing` adds an in-memory persistence with real transactions and a persistence contract suite.
+- 7ebf1fd: Add Express middleware, a secure Better Auth preset and the first documentation. `@teamblind/axeda-express` provides `requireAuth()`, `requirePermission()` and `resolveScope()`: it denies by default, resolves the company of a business from the database, answers the same whether a scope exists or not, requires a trusted origin for cookie-bearing writes and never fails open. `@teamblind/axeda-better-auth` adds `secureAuthOptions()` (refuses weak secrets, wildcard or plain-http origins), `sessionPrincipal()` and `principalFromUser()`, and the plugin now refuses to start with Better Auth's CSRF check, origin check or IP tracking disabled. `@teamblind/axeda-core` adds `resolveTarget()` so applications never trust a company id sent by the client. Documentation in English and Spanish, and an example API in `apps/example`.
+- b402e20: Add user administration and menus. Platform administrators can list users, create accounts without any credential, ban and unban (with an optional end date) and sign people out everywhere; a user with more administrative power than the actor cannot be touched, a ban applies to every path including API keys, and a banned account cannot open sessions. Menus are declared in code, validated at startup (every entry needs its permission, no cycles, safe paths) and `GET /axeda/menu` returns only what the person may use in the requested scope, in their language.
+
+### Patch Changes
+
+- fed4ed1: Make the packages publishable: compiled ES modules with type declarations under `dist/`, an `exports` map, `files` limited to what is needed, a README, the licence and the notice in each tarball, and the dependencies each package really uses (`@teamblind/axeda-core` for the others, `zod`, and `vitest` and `@types/express` as peers where needed). The CI now builds the packages, checks what would be published and installs the packed files in an empty project to run and type-check them, and it runs the suite against Better Auth 1.7.10 and 1.7.14.
+- d9c4b80: `@teamblind/axeda-express` gains an optional `onDenied` hook that reports every refused request, with the exact reason the client is not told, so an application can log it; it never changes the response and a failing hook is ignored. All packages now declare a `default` export condition next to `types`, so they can be loaded from CommonJS with `require()` on Node 22.12 or later (and with `import()` everywhere); before, `require()` failed with `ERR_PACKAGE_PATH_NOT_EXPORTED`.
+- 680ab7d: Fix three findings of the security review. A banned principal (for example one arriving through an API key) could still read roles, companies, businesses and other people's assignments; every use case now builds the actor's permission data in one place, which includes the ban. Listing the assignments of a scope answered differently for a company or business that exists and one that does not, which let any signed-in person probe for identifiers; both now answer the same unless the caller holds the permission globally. Every `/axeda/*` response, errors included, now carries `Cache-Control: no-store`.
+- e7e5e56: Fix four problems found while reviewing the first alpha. With sessions kept in `secondaryStorage` (for example Redis), Better Auth keeps a stale copy of the user next to each session, so a revoked assignment, a ban or a 2FA change never reached it; the plugin endpoints and `sessionPrincipal` now re-read the user from the database when `secondaryStorage` is set, and a user who no longer exists is nobody (`principalFromSession` is now async). Dropping a role's `requireMfa` now requires covering all of its permissions, as reactivating it already did. `start()` retries after a transient failure such as an unreachable database instead of staying broken until the process restarts; configuration failures are still remembered. The startup transaction probe no longer reports a false "no transactions" when another instance syncs its roles at the same moment.
+- 4b6cf64: Fix one management problem. Who manages the roles now can remove permissions, deactivate or delete an user only if their own permissions cover what is lost, just like remove an assignment. ´delete´ and ´setStatus´ demand cover all the rol permissions. Before, deactivate didn´t demand anything, just reactivate did. ´Update´ now demand cover the permissions what is lost. The rule is in a new function, ´permissionsToCover´ , because ESLint indicated that ´update´ surpassed complexity limit.

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] TeamBlind
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/NOTICE

@@ -0,0 +1,5 @@
+Axeda
+Copyright 2026 TeamBlind
+
+This product is licensed under the Apache License, Version 2.0.
+See the LICENSE file for the full license text.

package/README.md

@@ -1,3 +1,13 @@
-# Temporary Holding Version
+# @teamblind/axeda-core
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The authorization policy and use cases of Axeda: effective permissions with downward inheritance, anti-escalation rules, companies, businesses, invitations, users, menus and audit. It depends on neither Better Auth nor any HTTP framework; it talks to storage through ports.
+
+> **Status:** alpha (`0.1.0-alpha.0`); the API can still change before 1.0. Install with `npm install @teamblind/axeda-core@alpha`. Documentation: [English](https://github.com/teamblindmx/axeda/tree/main/docs/en) · [Español](https://github.com/teamblindmx/axeda/tree/main/docs/es).
+
+```ts
+import { createAxeda } from '@teamblind/axeda-core';
+```
+
+Most applications use it through [`@teamblind/axeda-better-auth`](https://github.com/teamblindmx/axeda/tree/main/packages/better-auth) and only import types or `createAxeda` directly for tests.
+
+Part of [Axeda](https://github.com/teamblindmx/axeda), hierarchical authorization (global → company → business) on top of [Better Auth](https://www.better-auth.com). Licensed under [Apache-2.0](LICENSE).

package/dist/application/assignments.d.ts

@@ -0,0 +1,18 @@
+import type { Actor, RoleAssignment } from '../domain/role.js';
+import { type AssignmentScope } from '../domain/scope.js';
+import type { Page, PageRequest } from '../ports/persistence.js';
+import { type Services } from './services.js';
+export interface AssignInput {
+    readonly userId: string;
+    readonly roleId: string;
+    readonly scope: AssignmentScope;
+    readonly expiresAt?: Date | null | undefined;
+}
+export interface AssignmentService {
+    /** Asignaciones de un usuario que `actor` puede ver (las propias, o las de alcances que administra). */
+    listForUser(actor: Actor, userId: string): Promise<readonly RoleAssignment[]>;
+    listForScope(actor: Actor, scope: AssignmentScope, page: PageRequest): Promise<Page<RoleAssignment>>;
+    assign(actor: Actor, input: AssignInput): Promise<RoleAssignment>;
+    revoke(actor: Actor, assignmentId: string): Promise<void>;
+}
+export declare function createAssignmentService(services: Services): AssignmentService;

package/dist/application/assignments.js

@@ -0,0 +1,190 @@
+import { z } from 'zod';
+import { AXEDA_PERMISSIONS } from '../domain/axeda-permissions.js';
+import { GLOBAL_TARGET, scopeContains, } from '../domain/scope.js';
+import { AxedaError } from '../errors.js';
+import { scopesGranting } from '../policy/effective-permissions.js';
+import { authorizeGrant } from '../policy/grant.js';
+import { authorizeRevoke } from '../policy/revoke.js';
+import { auditDenials, markDenied, writeAudit } from './audit.js';
+import { loadSnapshot } from './authz-reader.js';
+import { actorPermissions, actorPolicyData, invalidInput, lockUsers, resolveForActor as resolveForActorShared, resolveTarget, } from './services.js';
+const id = z.string().min(1).max(255);
+const assignSchema = z.strictObject({
+    userId: id,
+    roleId: id,
+    scope: z.union([
+        z.strictObject({ type: z.literal('global') }),
+        z.strictObject({ type: z.enum(['company', 'business']), id }),
+    ]),
+    expiresAt: z.date().nullish(),
+});
+export function createAssignmentService(services) {
+    const { persistence, options } = services;
+    const forbid = (reason, permissions = []) => markDenied(new AxedaError('AXEDA_FORBIDDEN', 'You are not allowed to manage this assignment.', {
+        details: { reason, permissions },
+    }));
+    const draft = (actor, action, targetId, scope) => ({
+        actorId: actor.userId,
+        action,
+        targetType: 'assignment',
+        targetId,
+        scope,
+        meta: actor,
+    });
+    async function requireRole(stores, roleId) {
+        const role = await stores.roles.get(roleId);
+        if (role === null)
+            throw new AxedaError('AXEDA_ROLE_NOT_FOUND', `Role "${roleId}" does not exist.`);
+        return role;
+    }
+    async function requireUser(userId) {
+        const user = await services.users.find(userId);
+        if (user === null)
+            throw new AxedaError('AXEDA_USER_NOT_FOUND', `User "${userId}" does not exist.`);
+        return user;
+    }
+    const resolveForActor = (stores, actor, scope, onDenied = () => forbid('missing_assignment_permission'), requireUsable = true) => resolveForActorShared(services, stores, actor, scope, {
+        permission: AXEDA_PERMISSIONS.assignmentManage,
+        onDenied,
+        requireUsable,
+    });
+    async function assertCanManage(stores, actor, target) {
+        const held = await actorPermissions(stores, services, actor, target);
+        if (!held.allows(AXEDA_PERMISSIONS.assignmentManage)) {
+            throw forbid('missing_assignment_permission');
+        }
+    }
+    /**
+     * ¿Puede `actor` administrar las asignaciones de `scope`? Un alcance que no existe no se
+     * distingue de uno ajeno: nadie tiene un permiso propio de una compañía o un negocio que no
+     * existen, así que solo quien lo tiene en GLOBAL aprende que falta (los demás ven lo mismo
+     * que ante un alcance que existe y no es suyo).
+     */
+    async function manageAccess(actor, scope) {
+        const target = await resolveTarget(services, scope, { requireUsable: false }).catch(() => null);
+        const where = target ?? GLOBAL_TARGET;
+        const held = await actorPermissions(persistence, services, actor, where);
+        if (!held.allows(AXEDA_PERMISSIONS.assignmentManage))
+            return 'forbidden';
+        return target === null ? 'missing' : 'allowed';
+    }
+    async function assertCanAssign(stores, actor, role, scope, target) {
+        const granter = await actorPermissions(stores, services, actor, target);
+        const decision = authorizeGrant({ granter, role, scopeType: scope.type });
+        if (!decision.allowed)
+            throw forbid(decision.reason, decision.permissions);
+    }
+    return {
+        async listForUser(actor, userId) {
+            await services.ready();
+            const all = await persistence.assignments.listForUser(userId);
+            if (userId === actor.userId)
+                return all;
+            const snapshot = await loadSnapshot(persistence, actor.userId);
+            const managed = scopesGranting(actorPolicyData(services, actor, snapshot), AXEDA_PERMISSIONS.assignmentManage);
+            // Una asignación de negocio se ve a través de un alcance de compañía si es de esa compañía.
+            const businessIds = all.flatMap((a) => (a.scope.type === 'business' ? [a.scope.id] : []));
+            const businesses = businessIds.length === 0 ? [] : await persistence.businesses.getMany(businessIds);
+            const companyOf = new Map(businesses.map((business) => [business.id, business.companyId]));
+            return all.filter((assignment) => managed.some((container) => scopeContains(container, assignment.scope, assignment.scope.type === 'business' ? companyOf.get(assignment.scope.id) : undefined)));
+        },
+        async listForScope(actor, scope, page) {
+            await services.ready();
+            const access = await manageAccess(actor, scope);
+            if (access === 'forbidden') {
+                throw new AxedaError('AXEDA_FORBIDDEN', 'You are not allowed to list this scope.');
+            }
+            if (access === 'missing') {
+                throw invalidInput(`The ${scope.type} does not exist.`);
+            }
+            return persistence.assignments.listForScope(scope, page);
+        },
+        async assign(actor, input) {
+            await services.ready();
+            const parsed = assignSchema.safeParse(input);
+            if (!parsed.success) {
+                throw invalidInput(parsed.error.issues.map((issue) => issue.message).join('; '));
+            }
+            const { userId, roleId, scope } = parsed.data;
+            const expiresAt = parsed.data.expiresAt ?? null;
+            if (expiresAt !== null && expiresAt <= services.clock.now()) {
+                throw invalidInput('expiresAt must be in the future.');
+            }
+            const base = draft(actor, 'assignment.create', null, scope);
+            return auditDenials(persistence, base, async () => {
+                // ANTES de la transacción: comprobar el permiso y consultar al usuario y al alcance. Dentro
+                // de una transacción no se puede usar nada que no sean sus almacenes: en una base de una
+                // sola conexión (SQLite) la transacción la tiene tomada y la consulta esperaría por siempre.
+                // Va primero el permiso, antes de revelar si el usuario, la función o el negocio existen.
+                const target = await resolveForActor(persistence, actor, scope);
+                await assertCanManage(persistence, actor, target);
+                const user = await requireUser(userId);
+                return persistence.transaction(async (stores) => {
+                    // Bloqueo + invalidación de caché de quien concede y de quien recibe (ver `lockUsers`).
+                    await lockUsers(stores, [actor.userId, userId]);
+                    const role = await requireRole(stores, roleId);
+                    if (role.requireMfa && !user.twoFactorEnabled) {
+                        throw new AxedaError('AXEDA_MFA_REQUIRED', `Role "${role.key}" requires two-factor authentication, which the user has not enabled.`);
+                    }
+                    await assertCanAssign(stores, actor, role, scope, target);
+                    if ((await stores.assignments.countForUser(userId)) >= options.limits.maxAssignmentsPerUser) {
+                        throw new AxedaError('AXEDA_LIMIT_EXCEEDED', `A user cannot have more than ${options.limits.maxAssignmentsPerUser} assignments.`);
+                    }
+                    const created = await stores.assignments.create({
+                        userId,
+                        roleId,
+                        scope,
+                        grantedBy: actor.userId,
+                        expiresAt,
+                    });
+                    await writeAudit(stores, {
+                        ...draft(actor, 'assignment.create', created.id, scope),
+                        metadata: {
+                            userId,
+                            roleId,
+                            roleKey: role.key,
+                            expiresAt: expiresAt?.toISOString() ?? null,
+                        },
+                    }, 'success');
+                    return created;
+                });
+            });
+        },
+        async revoke(actor, assignmentId) {
+            await services.ready();
+            const base = draft(actor, 'assignment.revoke', assignmentId, null);
+            const notFound = () => new AxedaError('AXEDA_ASSIGNMENT_NOT_FOUND', `Assignment "${assignmentId}" does not exist.`);
+            // Sin permiso sobre el alcance, la asignación "no existe" para quien pregunta (404).
+            const hidden = () => markDenied(new AxedaError('AXEDA_ASSIGNMENT_NOT_FOUND', notFound().message, {
+                details: { reason: 'missing_assignment_permission' },
+            }));
+            await auditDenials(persistence, base, async () => {
+                // Antes de la transacción (ver `assign`): leer la asignación y resolver su alcance.
+                const first = await persistence.assignments.get(assignmentId);
+                if (first === null)
+                    throw notFound();
+                const target = await resolveForActor(persistence, actor, first.scope, hidden, false);
+                await persistence.transaction(async (stores) => {
+                    await lockUsers(stores, [actor.userId, first.userId]);
+                    // Se vuelve a leer: mientras se esperaba el bloqueo pudo revocarse.
+                    const assignment = await stores.assignments.get(assignmentId);
+                    if (assignment === null)
+                        throw notFound();
+                    const role = await requireRole(stores, assignment.roleId);
+                    const granter = await actorPermissions(stores, services, actor, target);
+                    const decision = authorizeRevoke({ granter, role });
+                    if (!decision.allowed) {
+                        throw decision.reason === 'missing_assignment_permission'
+                            ? hidden()
+                            : forbid(decision.reason, decision.permissions);
+                    }
+                    await stores.assignments.revoke(assignmentId);
+                    await writeAudit(stores, {
+                        ...draft(actor, 'assignment.revoke', assignmentId, assignment.scope),
+                        metadata: { userId: assignment.userId, roleId: role.id, roleKey: role.key },
+                    }, 'success');
+                });
+            });
+        },
+    };
+}

package/dist/application/audit.d.ts

@@ -0,0 +1,23 @@
+import { type AuditAction, type AuditTargetType } from '../domain/audit.js';
+import type { RequestMeta } from '../domain/role.js';
+import type { AssignmentScope } from '../domain/scope.js';
+import type { AxedaPersistence, AxedaStores } from '../ports/persistence.js';
+export interface AuditDraft {
+    readonly actorId: string | null;
+    readonly action: AuditAction;
+    readonly targetType: AuditTargetType;
+    readonly targetId: string | null;
+    readonly scope?: AssignmentScope | null;
+    readonly meta?: RequestMeta | undefined;
+    readonly metadata?: Readonly<Record<string, unknown>>;
+}
+/** Escribe un evento. Dentro de una transacción, queda atado a ella: o ambos, o ninguno. */
+export declare function writeAudit(stores: Pick<AxedaStores, 'audit'>, draft: AuditDraft, outcome: 'success' | 'denied'): Promise<void>;
+export declare function markDenied<T extends Error>(error: T): T;
+/**
+ * Ejecuta `operation` y, si lanza una denegación marcada, la audita **aparte**: la transacción
+ * que hubiera escrito el registro ya se deshizo, y el intento no puede perderse.
+ */
+export declare function auditDenials<T>(persistence: AxedaPersistence, draft: AuditDraft, operation: () => Promise<T>): Promise<T>;
+/** `auditDenials` sobre una transacción: si se deniega, no queda nada del intento. */
+export declare function runAudited<T>(persistence: AxedaPersistence, draft: AuditDraft, work: (stores: AxedaStores) => Promise<T>): Promise<T>;

package/dist/application/audit.js

@@ -0,0 +1,52 @@
+import { MAX_AUDIT_METADATA_BYTES, } from '../domain/audit.js';
+import { isAxedaError } from '../errors.js';
+const MAX_IP_LENGTH = 64;
+const MAX_USER_AGENT_LENGTH = 255;
+/** Acota el tamaño de `metadata` (S12): si se pasa, se guarda una marca en lugar del contenido. */
+function boundedMetadata(metadata) {
+    const text = JSON.stringify(metadata);
+    if (text.length <= MAX_AUDIT_METADATA_BYTES)
+        return { ...metadata };
+    return { truncated: true, originalBytes: text.length };
+}
+const clip = (value, max) => value === undefined || value.length === 0 ? null : value.slice(0, max);
+/** Escribe un evento. Dentro de una transacción, queda atado a ella: o ambos, o ninguno. */
+export async function writeAudit(stores, draft, outcome) {
+    await stores.audit.append({
+        actorId: draft.actorId,
+        action: draft.action,
+        targetType: draft.targetType,
+        targetId: draft.targetId,
+        scope: draft.scope ?? null,
+        outcome,
+        ip: clip(draft.meta?.ip, MAX_IP_LENGTH),
+        userAgent: clip(draft.meta?.userAgent, MAX_USER_AGENT_LENGTH),
+        metadata: boundedMetadata(draft.metadata ?? {}),
+    });
+}
+/** Errores de denegación que deben quedar en la auditoría aunque la transacción se deshaga. */
+const deniedErrors = new WeakSet();
+export function markDenied(error) {
+    deniedErrors.add(error);
+    return error;
+}
+/**
+ * Ejecuta `operation` y, si lanza una denegación marcada, la audita **aparte**: la transacción
+ * que hubiera escrito el registro ya se deshizo, y el intento no puede perderse.
+ */
+export async function auditDenials(persistence, draft, operation) {
+    try {
+        return await operation();
+    }
+    catch (error) {
+        if (error instanceof Error && deniedErrors.has(error)) {
+            const reason = isAxedaError(error) ? error.details['reason'] : undefined;
+            await writeAudit(persistence, { ...draft, metadata: { ...draft.metadata, ...(reason === undefined ? {} : { reason }) } }, 'denied');
+        }
+        throw error;
+    }
+}
+/** `auditDenials` sobre una transacción: si se deniega, no queda nada del intento. */
+export function runAudited(persistence, draft, work) {
+    return auditDenials(persistence, draft, () => persistence.transaction(work));
+}

package/dist/application/authz-cache.d.ts

@@ -0,0 +1,22 @@
+import type { Role, RoleAssignment } from '../domain/role.js';
+/** Lo que se necesita para decidir los permisos de un usuario en cualquier alcance. */
+export interface AuthzSnapshot {
+    readonly assignments: readonly RoleAssignment[];
+    readonly roles: ReadonlyMap<string, Role>;
+    /** Compañías y negocios de sus asignaciones que no pueden conceder poder (`scopeKey`). */
+    readonly unusable: ReadonlySet<string>;
+}
+/**
+ * Caché en memoria de permisos, **validada por versión**.
+ *
+ * Una entrada solo se usa si sus dos contadores coinciden con los actuales; si no, es como si
+ * no existiera. Por eso no necesita caducar ni invalidarse de forma activa: la seguridad no
+ * depende de ella, solo el rendimiento. Es de tamaño acotado (LRU) para no crecer sin límite.
+ */
+export declare class AuthzCache {
+    #private;
+    constructor(maxEntries: number);
+    get(userId: string, authzVersion: number, policyVersion: number): AuthzSnapshot | undefined;
+    set(userId: string, authzVersion: number, policyVersion: number, snapshot: AuthzSnapshot): void;
+    get size(): number;
+}

package/dist/application/authz-cache.js

@@ -0,0 +1,40 @@
+/**
+ * Caché en memoria de permisos, **validada por versión**.
+ *
+ * Una entrada solo se usa si sus dos contadores coinciden con los actuales; si no, es como si
+ * no existiera. Por eso no necesita caducar ni invalidarse de forma activa: la seguridad no
+ * depende de ella, solo el rendimiento. Es de tamaño acotado (LRU) para no crecer sin límite.
+ */
+export class AuthzCache {
+    #entries = new Map();
+    #maxEntries;
+    constructor(maxEntries) {
+        this.#maxEntries = maxEntries;
+    }
+    get(userId, authzVersion, policyVersion) {
+        const entry = this.#entries.get(userId);
+        if (entry === undefined)
+            return undefined;
+        if (entry.authzVersion !== authzVersion || entry.policyVersion !== policyVersion) {
+            this.#entries.delete(userId);
+            return undefined;
+        }
+        // Se marca como usada recientemente.
+        this.#entries.delete(userId);
+        this.#entries.set(userId, entry);
+        return entry.snapshot;
+    }
+    set(userId, authzVersion, policyVersion, snapshot) {
+        this.#entries.delete(userId);
+        this.#entries.set(userId, { authzVersion, policyVersion, snapshot });
+        while (this.#entries.size > this.#maxEntries) {
+            const oldest = this.#entries.keys().next();
+            if (oldest.done === true)
+                break;
+            this.#entries.delete(oldest.value);
+        }
+    }
+    get size() {
+        return this.#entries.size;
+    }
+}

package/dist/application/authz-reader.d.ts

@@ -0,0 +1,30 @@
+import type { Principal } from '../domain/role.js';
+import type { TargetScope } from '../domain/scope.js';
+import type { AxedaStores } from '../ports/persistence.js';
+import type { AuthzCache, AuthzSnapshot } from './authz-cache.js';
+export declare function assertPrincipal(principal: Principal): void;
+/**
+ * Lee las asignaciones de un usuario, las funciones que usan y qué compañías y negocios de sus
+ * asignaciones no pueden conceder poder, directamente de los almacenes.
+ */
+export declare function loadSnapshot(stores: AxedaStores, userId: string): Promise<AuthzSnapshot>;
+export interface Read {
+    readonly snapshot: AuthzSnapshot;
+    /** La versión de política con la que se leyó; etiqueta cualquier dato derivado. */
+    readonly policyVersion: number;
+}
+/**
+ * Lector de permisos para las **consultas** (`can`, `scopesFor`…): usa la caché validada por
+ * versión. Las operaciones de administración NO lo usan: leen siempre con `loadSnapshot`
+ * dentro de su transacción, porque decidir una concesión con datos cacheados sería una carrera.
+ *
+ * El estado de las compañías y negocios también se cachea, con la versión de política como
+ * etiqueta: cambiar el estado de una compañía o negocio sube esa versión en la misma transacción.
+ */
+export declare class AuthzReader {
+    #private;
+    constructor(stores: AxedaStores, cache: AuthzCache);
+    read(principal: Principal): Promise<Read>;
+    /** Qué parte del destino (compañía, negocio) no puede conceder poder, con caché por versión. */
+    unusableForTarget(policyVersion: number, target: TargetScope): Promise<ReadonlySet<string>>;
+}