permdock 0.4.0 → 0.6.0

package/dist/svelte/runtime.d.ts

@@ -1,7 +1,7 @@
-import { n as DescribeMessages } from "../describe-C3ldA9os.js";
+import { n as DescribeMessages } from "../describe-B5qgDvEW.js";
 import { n as boundaryDigest, r as boundaryFallback, t as PermissionBoundaryState } from "../boundary-BmHxVH1J.js";
-import { t as ClientStore } from "../store-9KO4BlkB.js";
-import { a as viewFor, i as scopedFor, o as slotContent, r as ProtectedProps, s as PermissionBoundaryProps, t as PermDockDefaults } from "../types-ByUo56un.js";
+import { m as ClientStore } from "../types-B3_ooZgZ.js";
+import { a as viewFor, i as scopedFor, o as PermissionBoundaryProps, r as ProtectedProps, s as slotContent, t as PermDockDefaults } from "../types-CVZSNocA.js";
 //#region src/svelte/context.d.ts
 /** The provider's `defaults` and `messages`. */
 type PermDockUi = {

package/dist/svelte/runtime.js

@@ -1,5 +1,5 @@
-import { l as slotContent } from "../views-CJsrBS1f.js";
 import { n as boundaryFallback, t as boundaryDigest } from "../boundary-BM8a_P6E.js";
-import { n as getUi, t as getStore } from "../context-DieZVJXu.js";
-import { n as viewFor, t as scopedFor } from "../runtime-D_tMXnsq.js";
+import { u as slotContent } from "../views-DTIIO-oQ.js";
+import { n as getUi, t as getStore } from "../context-B_u3_bDJ.js";
+import { n as viewFor, t as scopedFor } from "../runtime-D3VTAiCA.js";
 export { boundaryDigest, boundaryFallback, getStore, getUi, scopedFor, slotContent, viewFor };

package/dist/svelte/source.d.ts

@@ -1,13 +1,13 @@
-import { n as requiredPlans } from "../problem-details-rIIo8B2C.js";
-import { i as describe } from "../describe-C3ldA9os.js";
+import { n as requiredPlans } from "../problem-details-B45V5d2b.js";
+import { i as describe } from "../describe-B5qgDvEW.js";
 import { t as PermissionBoundaryState } from "../boundary-BmHxVH1J.js";
-import { t as approvalHeaders } from "../headers-Cf-zWvsO.js";
-import { a as ClientPermDock, c as PermissionSet, d as SubjectView, f as TenantView, i as ApprovalState, l as PermissionState, o as ClientStatus, p as UseRolesOptions, r as ApprovalHandle, s as FilterResult } from "../store-9KO4BlkB.js";
-import { n as PermDockSvelteOptions, r as ProtectedProps, s as PermissionBoundaryProps, t as PermDockDefaults } from "../types-ByUo56un.js";
-import { a as getDescribe, c as permission, d as setPermDock, f as subject, i as filtered, l as permissions, n as assignable, o as getPermDock, p as tenant, r as assignablePermissions, s as memberships, t as approval, u as roles } from "../stores-Cxz_80g-.js";
+import { t as approvalHeaders } from "../headers-CIbDTUTK.js";
+import { a as FilterResult, c as PermissionSet, d as RolesOptions, f as SubjectView, i as ClientStatus, l as PermissionState, n as ApprovalState, p as TenantView, r as ClientPermDock, t as ApprovalHandle } from "../types-B3_ooZgZ.js";
+import { n as SveltePermDockOptions, o as PermissionBoundaryProps, r as ProtectedProps, t as PermDockDefaults } from "../types-CVZSNocA.js";
+import { a as getDescribe, c as permission, d as setPermDock, f as subject, i as filtered, l as permissions, n as assignable, o as getPermDock, p as tenant, r as assignablePermissions, s as memberships, t as approval, u as roles } from "../stores-BUGNbJTt.js";
 import { Component } from "svelte";
 //#region src/svelte/source.d.ts
 export declare const Protected: Component<ProtectedProps>;
 export declare const PermissionBoundary: Component<PermissionBoundaryProps>;
 //#endregion
-export { type ApprovalHandle, type ApprovalState, type ClientPermDock, type ClientStatus, type FilterResult, type PermDockDefaults, type PermDockSvelteOptions, type PermissionBoundaryProps, type PermissionBoundaryState, type PermissionSet, type PermissionState, type ProtectedProps, type SubjectView, type TenantView, type UseRolesOptions, approval, approvalHeaders, assignable, assignablePermissions, describe, filtered, getDescribe, getPermDock, memberships, permission, permissions, requiredPlans, roles, setPermDock, subject, tenant };
+export { type ApprovalHandle, type ApprovalState, type ClientPermDock, type ClientStatus, type FilterResult, type PermDockDefaults, type PermissionBoundaryProps, type PermissionBoundaryState, type PermissionSet, type PermissionState, type ProtectedProps, type RolesOptions, type SubjectView, type SveltePermDockOptions, type TenantView, approval, approvalHeaders, assignable, assignablePermissions, describe, filtered, getDescribe, getPermDock, memberships, permission, permissions, requiredPlans, roles, setPermDock, subject, tenant };

package/dist/svelte/source.js

@@ -1,7 +1,7 @@
-import { r as requiredPlans } from "../problem-details-DECUnXAn.js";
-import { t as describe } from "../describe-Cgkp7eP0.js";
-import { t as approvalHeaders } from "../headers-BZSDieNT.js";
-import { a as getDescribe, c as permission, d as setPermDock, f as subject, i as filtered, l as permissions, n as assignable, o as getPermDock, p as tenant, r as assignablePermissions, s as memberships, t as approval, u as roles } from "../stores-BHXdSbw9.js";
+import { r as requiredPlans } from "../problem-details-cn5X30gZ.js";
+import { t as describe } from "../describe-BybMRY7A.js";
+import { t as approvalHeaders } from "../headers-BIjfMaoC.js";
+import { a as getDescribe, c as permission, d as setPermDock, f as subject, i as filtered, l as permissions, n as assignable, o as getPermDock, p as tenant, r as assignablePermissions, s as memberships, t as approval, u as roles } from "../stores-CGhM8BN_.js";
 import PermissionBoundaryComponent from "./PermissionBoundary.svelte";
 import ProtectedComponent from "./Protected.svelte";
 //#region src/svelte/source.ts

package/dist/sveltekit/index.d.ts

@@ -0,0 +1,51 @@
+import { T as Policy, Vt as Snapshot, j as PolicyVocabulary, rr as Principal } from "../policy-types-n0uRTsW8.js";
+import { w as Permission } from "../vocabulary-CN8H_9UF.js";
+import { a as OperationInput, t as Operation } from "../operations-X0VM7F3m.js";
+import { r as PermDock } from "../permdock-SV8ZINYT.js";
+import { D as ConnectionOptions, T as Connection, f as InvalidSignatureError, i as OpenApiHooks, o as ProtectOptions, u as SnapshotQuery, v as discoverViaSignatureAgent, x as webBotAuthVerifier } from "../server-types-CKQiCnON.js";
+import { a as ProtectTarget, i as PermDockHandlers, n as FetchAdapterOptions, t as ContextReader } from "../fetch-adapter-Dw0MTS3D.js";
+import { RequestEvent } from "@sveltejs/kit";
+//#region src/sveltekit/create.d.ts
+/**
+ * A `handle` hook. SvelteKit 2 exports `Handle` from `@sveltejs/kit` and
+ * SvelteKit 3 from `@sveltejs/kit/hooks`; this shape is assignable to both.
+ */
+type SvelteKitHandle = (input: {
+  readonly event: RequestEvent;
+  readonly resolve: (event: RequestEvent) => Promise<Response>;
+}) => Promise<Response>;
+type SvelteKitPermDockOptions<TUser = unknown> = FetchAdapterOptions<RequestEvent, TUser>;
+/** What the adapter sets on `event.locals`. */
+type SvelteKitPermDockLocals<TData = unknown, V extends PolicyVocabulary = PolicyVocabulary> = {
+  readonly permdock: PermDock<V>;
+  readonly permdockData: TData;
+};
+/** The event a wrapped handler receives: the route's own event with typed `locals`. */
+type SvelteKitPermDockEvent<TEvent extends RequestEvent = RequestEvent, TData = unknown, V extends PolicyVocabulary = PolicyVocabulary> = TEvent & {
+  readonly locals: SvelteKitPermDockLocals<TData, V>;
+};
+/** Wraps a `+server.ts` handler; the route keeps its generated `RequestEvent` type. */
+type SvelteKitGuarded<TData, V extends PolicyVocabulary = PolicyVocabulary> = <TEvent extends RequestEvent, R = Response>(handler: (event: SvelteKitPermDockEvent<TEvent, TData, V>) => R | Promise<R>) => (event: TEvent) => Promise<R | Response>;
+type SvelteKitProtect<V extends PolicyVocabulary = PolicyVocabulary> = {
+  <T = unknown>(permission: Permission | null, data?: ContextReader<RequestEvent, T | null | undefined>, protectOptions?: ProtectOptions): SvelteKitGuarded<NonNullable<T>, V>;
+  <TOperation extends Operation>(operation: TOperation, input?: ContextReader<RequestEvent, OperationInput<TOperation>>, protectOptions?: ProtectOptions): SvelteKitGuarded<unknown, V>;
+};
+type SvelteKitPermDock<V extends PolicyVocabulary = PolicyVocabulary> = {
+  /** The `handle` hook: sets `event.locals.permdock`; a bad Web Bot Auth signature is a `401`. */
+  readonly middleware: () => SvelteKitHandle;
+  /** `export const DELETE = protect(permissions.post.delete, loadPost)(handler)`. */
+  readonly protect: SvelteKitProtect<V>;
+  /** Types `event.locals.permdock` for a handler and answers a thrown PermDock error with Problem Details. */
+  readonly withPermDock: SvelteKitGuarded<unknown, V>;
+  /** The instance for a `load` function, an action or a handler. */
+  readonly getPermDock: (event: RequestEvent) => Promise<PermDock<V>>;
+  /** The snapshot a layout `load` returns for `permdock/svelte`. */
+  readonly getSnapshot: (event: RequestEvent, query?: SnapshotQuery) => Promise<Snapshot>;
+  readonly connection: (event: RequestEvent, connectionOptions?: ConnectionOptions) => Promise<Connection>;
+  /** `export const { GET, POST } = permdockHandler()` in `src/routes/api/permdock/+server.ts`. */
+  readonly permdockHandler: () => PermDockHandlers<RequestEvent>;
+  readonly openapi: OpenApiHooks;
+};
+export declare function createPermDock<TUser, TPrincipal extends Principal = Principal, V extends PolicyVocabulary = PolicyVocabulary>(policy: Policy<TUser, TPrincipal, V>, options: SvelteKitPermDockOptions<TUser>): SvelteKitPermDock<V>;
+//#endregion
+export { type ContextReader, InvalidSignatureError, type PermDockHandlers, type ProtectTarget, type SvelteKitGuarded, type SvelteKitHandle, type SvelteKitPermDock, type SvelteKitPermDockEvent, type SvelteKitPermDockLocals, type SvelteKitPermDockOptions, type SvelteKitProtect, discoverViaSignatureAgent, webBotAuthVerifier };

package/dist/sveltekit/index.js

@@ -0,0 +1,27 @@
+import { d as discoverViaSignatureAgent, m as webBotAuthVerifier, u as InvalidSignatureError } from "../evaluations-beAooV0n.js";
+import { n as guardedRoute, r as instanceRoute, t as fetchAdapter } from "../fetch-adapter-DD_gfmrC.js";
+//#region src/sveltekit/create.ts
+const route = {
+	context: (event) => event,
+	locals: (event) => event.locals
+};
+function createPermDock(policy, options) {
+	const adapter = fetchAdapter(policy, options, "sveltekit", (event) => event.request);
+	const middleware = () => async ({ event, resolve }) => {
+		const attached = await adapter.ensure(event.locals, event);
+		return attached.ok ? resolve(event) : attached.response;
+	};
+	const protect = ((target, data, protectOptions) => guardedRoute(adapter, route, target, data, protectOptions));
+	return {
+		middleware,
+		protect,
+		withPermDock: instanceRoute(adapter, route),
+		getPermDock: adapter.getPermDock,
+		getSnapshot: adapter.getSnapshot,
+		connection: adapter.connection,
+		permdockHandler: adapter.handlers,
+		openapi: adapter.kernel.openapi
+	};
+}
+//#endregion
+export { InvalidSignatureError, createPermDock, discoverViaSignatureAgent, webBotAuthVerifier };

package/dist/tanstack-start/index.d.ts

@@ -0,0 +1,51 @@
+import { T as Policy, Vt as Snapshot, j as PolicyVocabulary, rr as Principal } from "../policy-types-n0uRTsW8.js";
+import { w as Permission } from "../vocabulary-CN8H_9UF.js";
+import { a as OperationInput, t as Operation } from "../operations-X0VM7F3m.js";
+import { r as PermDock } from "../permdock-SV8ZINYT.js";
+import { D as ConnectionOptions, T as Connection, f as InvalidSignatureError, i as OpenApiHooks, o as ProtectOptions, u as SnapshotQuery, v as discoverViaSignatureAgent, x as webBotAuthVerifier } from "../server-types-CKQiCnON.js";
+import { a as ProtectTarget, n as FetchAdapterOptions, t as ContextReader } from "../fetch-adapter-Dw0MTS3D.js";
+import { RequestMiddleware, RequestMiddlewareAfterServer, createMiddleware } from "@tanstack/react-start";
+//#region src/tanstack-start/create.d.ts
+type TanStackStartPermDockOptions<TUser = unknown> = FetchAdapterOptions<Request, TUser>;
+/** The server context `middleware()` adds for later middleware, server functions and server routes. */
+type TanStackStartPermDockContext<V extends PolicyVocabulary = PolicyVocabulary> = {
+  readonly permdock: PermDock<V>;
+};
+/** The server context `protect` adds: the instance and the loaded row. */
+type TanStackStartGuardedContext<TData = unknown, V extends PolicyVocabulary = PolicyVocabulary> = TanStackStartPermDockContext<V> & {
+  readonly permdockData: TData;
+};
+/** A request middleware for `createStart`'s `requestMiddleware`, a server route's `server.middleware` or a server function's `.middleware([...])`. */
+type TanStackStartMiddleware<TContext> = RequestMiddlewareAfterServer<StartRegister, undefined, TContext>;
+/** The register `createMiddleware` builds with; Start's middleware types are invariant in it. */
+type StartRegister = ReturnType<typeof createMiddleware> extends RequestMiddleware<infer TRegister> ? TRegister : never;
+type TanStackStartProtect<V extends PolicyVocabulary = PolicyVocabulary> = {
+  <T = unknown>(permission: Permission | null, data?: ContextReader<Request, T | null | undefined>, protectOptions?: ProtectOptions): TanStackStartMiddleware<TanStackStartGuardedContext<NonNullable<T>, V>>;
+  <TOperation extends Operation>(operation: TOperation, input?: ContextReader<Request, OperationInput<TOperation>>, protectOptions?: ProtectOptions): TanStackStartMiddleware<TanStackStartGuardedContext<unknown, V>>;
+};
+/** A server route handler: `server: { handlers: { GET } }`. */
+type TanStackStartRouteHandler = (context: {
+  readonly request: Request;
+}) => Promise<Response>;
+/** The decision endpoint, one server route handler per method. */
+type TanStackStartPermDockHandlers = {
+  readonly GET: TanStackStartRouteHandler;
+  readonly POST: TanStackStartRouteHandler;
+};
+type TanStackStartPermDock<V extends PolicyVocabulary = PolicyVocabulary> = {
+  /** Adds `context.permdock`; a bad Web Bot Auth signature is a `401`. */
+  readonly middleware: () => TanStackStartMiddleware<TanStackStartPermDockContext<V>>;
+  /** A refusal ends the request with Problem Details; a grant adds `context.permdock` and `context.permdockData`. */
+  readonly protect: TanStackStartProtect<V>;
+  /** The instance for a server function: `getPermDock(getRequest())`. */
+  readonly getPermDock: (request: Request) => Promise<PermDock<V>>;
+  /** The snapshot a route `loader` returns for `permdock/react`. */
+  readonly getSnapshot: (request: Request, query?: SnapshotQuery) => Promise<Snapshot>;
+  readonly connection: (request: Request, connectionOptions?: ConnectionOptions) => Promise<Connection>;
+  /** `server: { handlers: permdockHandler() }` on the `/api/permdock` route. */
+  readonly permdockHandler: () => TanStackStartPermDockHandlers;
+  readonly openapi: OpenApiHooks;
+};
+export declare function createPermDock<TUser, TPrincipal extends Principal = Principal, V extends PolicyVocabulary = PolicyVocabulary>(policy: Policy<TUser, TPrincipal, V>, options: TanStackStartPermDockOptions<TUser>): TanStackStartPermDock<V>;
+//#endregion
+export { type ContextReader, InvalidSignatureError, type ProtectTarget, type TanStackStartGuardedContext, type TanStackStartMiddleware, type TanStackStartPermDock, type TanStackStartPermDockContext, type TanStackStartPermDockHandlers, type TanStackStartPermDockOptions, type TanStackStartProtect, type TanStackStartRouteHandler, discoverViaSignatureAgent, webBotAuthVerifier };

package/dist/tanstack-start/index.js

@@ -0,0 +1,40 @@
+import { d as discoverViaSignatureAgent, m as webBotAuthVerifier, u as InvalidSignatureError } from "../evaluations-beAooV0n.js";
+import { t as fetchAdapter } from "../fetch-adapter-DD_gfmrC.js";
+import { createMiddleware } from "@tanstack/react-start";
+//#region src/tanstack-start/create.ts
+function createPermDock(policy, options) {
+	const adapter = fetchAdapter(policy, options, "tanstack-start", (request) => request);
+	const middleware = () => createMiddleware().server(async ({ request, next }) => {
+		const attached = await adapter.attach(request);
+		if (!attached.ok) return attached.response;
+		const context = { permdock: attached.permdock };
+		return adapter.mapErrors(request, () => next({ context }));
+	});
+	const protect = ((target, data, protectOptions) => createMiddleware().server(async ({ request, next }) => {
+		const guard = await adapter.guard(target, data, request, protectOptions);
+		if (!guard.ok) return guard.response;
+		const context = {
+			permdock: guard.permdock,
+			permdockData: guard.data
+		};
+		return adapter.mapErrors(request, () => next({ context }));
+	}));
+	const handlers = () => {
+		const { GET, POST } = adapter.handlers();
+		return {
+			GET: ({ request }) => GET(request),
+			POST: ({ request }) => POST(request)
+		};
+	};
+	return {
+		middleware,
+		protect,
+		getPermDock: adapter.getPermDock,
+		getSnapshot: adapter.getSnapshot,
+		connection: adapter.connection,
+		permdockHandler: handlers,
+		openapi: adapter.kernel.openapi
+	};
+}
+//#endregion
+export { InvalidSignatureError, createPermDock, discoverViaSignatureAgent, webBotAuthVerifier };

package/dist/target-Bw37TFNA.js

@@ -0,0 +1,51 @@
+import { a as ownRecord } from "./paths-DXSHAMIa.js";
+import { n as sha256, t as bytesToBase64Url } from "./sha256-D9ihqmvd.js";
+//#region src/delivery/target.ts
+/**
+* Whether `value` is a target the router checked for `channel`: a non-empty
+* address and a granted decision. A transport calls it first and refuses
+* anything else, so a hand-built recipient never reaches a provider.
+*/
+function isDeliveryTarget(value, channel) {
+	const record = ownRecord(value);
+	const address = record?.["address"];
+	return record?.["channel"] === channel && typeof address === "string" && address !== "" && ownRecord(record["decision"])?.["outcome"] === "granted";
+}
+/**
+* The idempotency key for one recipient of delivery `id`: `pdd_` and the
+* base64url SHA-256 of the delivery id, channel and recipient. It fits the
+* tag and header charsets of every provider, `[A-Za-z0-9_-]`.
+*/
+function idempotencyKeyFor(id, channel, recipient) {
+	return `pdd_${bytesToBase64Url(sha256(JSON.stringify([
+		id,
+		channel,
+		recipient
+	])))}`;
+}
+const ATOM = "[A-Za-z0-9!#$%&'*+/=?^_`{|}~-]+";
+const ADDR_SPEC = /* @__PURE__ */ new RegExp(`^${ATOM}(?:\\.${ATOM})*@(?:[A-Za-z0-9](?:[A-Za-z0-9-]{0,61}[A-Za-z0-9])?\\.)+[A-Za-z0-9](?:[A-Za-z0-9-]{0,61}[A-Za-z0-9])?$`, "u");
+/**
+* An RFC 5322 `addr-spec` in dot-atom form with a DNS domain, at most 254
+* characters (RFC 5321 path limit). Quoted local parts, comments and
+* domain literals are refused.
+*/
+function isAddrSpec(value) {
+	return value.length <= 254 && ADDR_SPEC.test(value);
+}
+/** A chat platform user id: printable, no whitespace, at most 256 characters. */
+function isChatAddress(value) {
+	return /^[!-~]{1,256}$/u.test(value);
+}
+/** An absolute https URL with no credentials. */
+function isWebhookAddress(value) {
+	let url;
+	try {
+		url = new URL(value);
+	} catch {
+		return false;
+	}
+	return url.protocol === "https:" && url.username === "" && url.password === "";
+}
+//#endregion
+export { isWebhookAddress as a, isDeliveryTarget as i, isAddrSpec as n, isChatAddress as r, idempotencyKeyFor as t };

package/dist/{tenancy-DshjqY0n.js → tenancy-DN2QAx9z.js}

@@ -1,10 +1,10 @@
-import { t as expiredAt } from "./expiry-BoBJ8Tvc.js";
-import { n as sameId } from "./ids-DC4V4CFu.js";
-import { c as rootScope, l as scopeChain, m as tenantOf, o as resolveScope, r as findScope, t as activeFor, u as scopeIdOf } from "./scopes-tvpa34ep.js";
-import { l as isFieldRelation } from "./resource-relations-D1Un3pcz.js";
+import { o as sameId, t as expiredAt } from "./expiry-D4_YKRKD.js";
+import { l as isFieldRelation } from "./resource-relations-D_jw0BFx.js";
+import { o as epochSeconds } from "./time-DkWjdL98.js";
+import { c as rootScope, l as scopeChain, m as tenantOf, o as resolveScope, r as findScope, t as activeFor, u as scopeIdOf } from "./scopes-CUPSjo9q.js";
 //#region src/core/tenancy.ts
 function nowSeconds(now) {
-	return now ?? Date.now() / 1e3;
+	return now ?? epochSeconds();
 }
 function isMembershipExpired(membership, now) {
 	return expiredAt(membership, now ?? nowSeconds());

package/dist/terminal/index.d.ts

@@ -1,8 +1,9 @@
-import { E as Policy, Or as Principal, ir as Decision, j as PolicyVocabulary, jt as PermDock, kr as Subject } from "../policy-types-sp9P1iIV.js";
-import { d as Permission } from "../permission-types-Dg39z9Kv.js";
-import { f as ApprovalStore } from "../types-Br9IXUBG.js";
-import { a as ProblemDetails, t as ApprovalHint } from "../errors-OD_4c__H.js";
-import { t as InstanceOptions } from "../instance-options-plkrsAog.js";
+import { Nn as Decision, Rt as Instant, T as Policy, ar as Subject, j as PolicyVocabulary, rr as Principal } from "../policy-types-n0uRTsW8.js";
+import { w as Permission } from "../vocabulary-CN8H_9UF.js";
+import { r as PermDock } from "../permdock-SV8ZINYT.js";
+import { m as ApprovalStore } from "../types-BdtSDbBO.js";
+import { a as ProblemDetails, t as ApprovalHint } from "../errors-DH5QEGXh.js";
+import { t as InstanceOptions } from "../instance-options-BsVpyGIk.js";
 //#region src/terminal/types.d.ts
 type TokenSourceName = "device" | "keychain" | "env" | "ci-oidc";
 type TokenSource = TokenSourceName | {
@@ -55,7 +56,8 @@ type TerminalRuntime = {
   readonly env?: Readonly<Record<string, string | undefined>>;
   readonly stdoutIsTTY?: boolean;
   readonly platform?: string;
-  readonly now?: () => number;
+  /** The clock; defaults to the system clock. */
+  readonly now?: () => Instant;
   readonly write?: (text: string) => void;
   readonly exit?: (code: number) => never;
   readonly fetch?: typeof fetch;
@@ -130,8 +132,8 @@ type ProtectContext<T = unknown, V extends PolicyVocabulary = PolicyVocabulary>
   }>;
 };
 type TerminalPermDock<V extends PolicyVocabulary = PolicyVocabulary> = {
-  readonly permdock: (options?: PermDockResolveOptions) => Promise<PermDock<V>>;
-  readonly protect: <TArgs extends readonly unknown[], TData = unknown>(permission: Permission, load?: (...args: TArgs) => TData | Promise<TData>) => (action: (context: ProtectContext<TData, V>, ...args: TArgs) => unknown) => (...args: TArgs) => Promise<unknown>;
+  readonly getPermDock: (options?: PermDockResolveOptions) => Promise<PermDock<V>>;
+  readonly protect: <TArgs extends readonly unknown[], TData = unknown>(permission: Permission, data?: (...args: TArgs) => TData | Promise<TData>) => (action: (context: ProtectContext<TData, V>, ...args: TArgs) => unknown) => (...args: TArgs) => Promise<unknown>;
   readonly filterCommands: (entries: readonly CommandEntry[], options?: FilterCommandsOptions) => readonly CommandEntry[];
   readonly format: (decision: Decision, options?: FormatOptions) => string;
   readonly exitCode: (decision: Decision) => number;
@@ -139,7 +141,7 @@ type TerminalPermDock<V extends PolicyVocabulary = PolicyVocabulary> = {
 };
 //#endregion
 //#region src/terminal/create.d.ts
-export declare function createPermDock<TUser, TPrincipal extends Principal = Principal, V extends PolicyVocabulary = PolicyVocabulary>(policy: Policy<TUser, TPrincipal, V>, options: TerminalPermDockOptions<TUser>): TerminalPermDock<V>;
+export declare function createPermDock<TUser, TPrincipal extends Principal = Principal, V extends PolicyVocabulary = PolicyVocabulary>(policy: Policy<TUser, TPrincipal, V>, given: TerminalPermDockOptions<TUser>): TerminalPermDock<V>;
 //#endregion
 //#region src/terminal/exit.d.ts
 export declare const EX_OK = 0;