@nmnmcc/ability 0.3.0 → 1.0.1

package/src/Authorizer.ts

@@ -20,7 +20,7 @@
  * Then use the service in a handler:
  *
  * ```ts
- * yield* Auth.check({ action: "update", resource: bot })
+ * yield* Auth.check({ action: "update", resource: document })
  * ```
  *
  * A "no" answer goes into the error channel as {@link Forbidden}. When the
@@ -29,20 +29,31 @@
  *
  * When no rule gives an answer, the authorizer asks the decider, if there is
  * one. A decider may answer at once, or fail with {@link Pending} when a person
- * or a Bot must answer later.
+ * or another service must answer later.
  *
  * @stability stable
  * @since 0.3.0
  */
-import type * as Context from "effect/Context"
+// The service erases the error type and the service type of predicates,
+// principals and deciders to `unknown`. The public types keep them, so the
+// language service check for `unknown` in an Effect is off here.
+// @effect-diagnostics anyUnknownInErrorContext:off
+import * as Arr from "effect/Array"
+import * as Cache from "effect/Cache"
+import * as Context from "effect/Context"
 import type * as Duration from "effect/Duration"
-import type * as Effect from "effect/Effect"
-import type * as Layer from "effect/Layer"
-import type * as Condition from "./Condition.ts"
-import type * as Decision from "./Decision.ts"
-import type * as Domain from "./Domain.ts"
-import * as internal from "./internal/authorizer.ts"
-import type * as Policy from "./Policy.ts"
+import * as Effect from "effect/Effect"
+import * as Equal from "effect/Equal"
+import * as Hash from "effect/Hash"
+import * as Layer from "effect/Layer"
+import * as MutableHashMap from "effect/MutableHashMap"
+import * as Option from "effect/Option"
+import * as Schema from "effect/Schema"
+import * as Condition from "./Condition.ts"
+import * as Decision from "./Decision.ts"
+import * as Domain from "./Domain.ts"
+import * as Policy from "./Policy.ts"
+import * as Resource from "./Resource.ts"
 
 /**
  * The error when a policy says no.
@@ -51,14 +62,14 @@ import type * as Policy from "./Policy.ts"
  * @category errors
  * @since 0.3.0
  */
-export const Forbidden: typeof internal.Forbidden = internal.Forbidden
-
-/**
- * @stability stable
- * @category errors
- * @since 0.3.0
- */
-export type Forbidden = internal.Forbidden
+export class Forbidden extends Schema.TaggedError<Forbidden>(
+	"@nmnmcc/ability/Authorizer/Forbidden",
+)("Forbidden", {
+	action: Schema.String,
+	kind: Schema.String,
+	field: Schema.optionalKey(Schema.String),
+	reason: Schema.optionalKey(Schema.String),
+}) {}
 
 /**
  * The error when the policy of the principal can not be loaded. The cause is
@@ -68,15 +79,9 @@ export type Forbidden = internal.Forbidden
  * @category errors
  * @since 0.3.0
  */
-export const PolicyUnavailable: typeof internal.PolicyUnavailable =
-	internal.PolicyUnavailable
-
-/**
- * @stability stable
- * @category errors
- * @since 0.3.0
- */
-export type PolicyUnavailable = internal.PolicyUnavailable
+export class PolicyUnavailable extends Schema.TaggedError<PolicyUnavailable>(
+	"@nmnmcc/ability/Authorizer/PolicyUnavailable",
+)("PolicyUnavailable", { cause: Schema.Defect() }) {}
 
 /**
  * The error when a decider must wait for an answer. `ticket` names the
@@ -86,14 +91,12 @@ export type PolicyUnavailable = internal.PolicyUnavailable
  * @category errors
  * @since 0.3.0
  */
-export const Pending: typeof internal.Pending = internal.Pending
-
-/**
- * @stability stable
- * @category errors
- * @since 0.3.0
- */
-export type Pending = internal.Pending
+export class Pending extends Schema.TaggedError<Pending>(
+	"@nmnmcc/ability/Authorizer/Pending",
+)("Pending", {
+	ticket: Schema.String,
+	reason: Schema.optionalKey(Schema.String),
+}) {}
 
 /**
  * The services and the errors of the principal and the decider of an
@@ -114,7 +117,8 @@ type ErrorOf<C> = C extends { readonly error: infer E } ? E : never
 /**
  * What a check is about: an act on a resource value, or an act on a kind of
  * resource. A check on a kind passes only when the policy allows the act on
- * every value of the kind.
+ * every value of the kind. With a scope (`within`), it passes when the policy
+ * allows the act on every value in the scope, and the scope is not empty.
  *
  * @stability stable
  * @category models
@@ -138,12 +142,25 @@ export type DeciderRequest<D> = Policy.Request<D> | Policy.KindRequest<D>
  * @category models
  * @since 0.3.0
  */
-export interface GuardOptions<D, E2> {
-	/** The action that lets the principal see the resource. The default is `"read"`. */
-	readonly read?: Domain.AnyAction<D>
+export type GuardOptions<D, E2, K extends string = Domain.Kind<D>> = {
 	/** The error when the principal may not see the resource. */
 	readonly hide: () => E2
-}
+} & ("read" extends Domain.CommonAction<D, K>
+	? {
+			/**
+			 * The action that lets the principal see the resource. It must be an
+			 * action of every kind in `K`. The default is `"read"`.
+			 */
+			readonly read?: Domain.CommonAction<D, K>
+		}
+	: {
+			/**
+			 * The action that lets the principal see the resource. It must be an
+			 * action of every kind in `K`. Some kind in `K` has no `"read"`
+			 * action, so you must give it.
+			 */
+			readonly read: Domain.CommonAction<D, K>
+		})
 
 /**
  * The service.
@@ -156,8 +173,15 @@ export interface Authorizer<D extends Domain.Any, E, R> {
 	readonly domain: D
 	/** The principal of the current request. */
 	readonly principal: Effect.Effect<Domain.Principal<D>, E, R>
-	/** The policy of the principal of the current request. */
-	readonly policy: Effect.Effect<Policy.Policy<D, E>, PolicyUnavailable | E, R>
+	/**
+	 * The policy of the principal of the current request. Its predicates have
+	 * the services of the layer. It may have predicates, so it is opaque.
+	 */
+	readonly policy: Effect.Effect<
+		Policy.Policy<D, E, never, Condition.Opaque>,
+		PolicyUnavailable | E,
+		R
+	>
 	/** Gives the decision of the policy. It does not ask the decider. */
 	readonly decide: (
 		target: Policy.Target<D>,
@@ -172,24 +196,48 @@ export interface Authorizer<D extends Domain.Any, E, R> {
 	 * answer "not found" to a principal that may not know that a resource
 	 * exists.
 	 */
-	readonly guard: <E2>(
-		target: Policy.Target<D>,
-		options: GuardOptions<D, E2>,
+	readonly guard: <const T extends Policy.Target<D>, E2>(
+		target: T,
+		options: GuardOptions<D, E2, T["resource"]["_tag"]>,
 	) => Effect.Effect<void, E2 | Forbidden | Pending | PolicyUnavailable | E, R>
 	/**
-	 * Gives the condition on resource values that the principal may act on.
-	 * Change it into a query with `Condition.fold`.
+	 * Gives the condition on resource values that the principal may act on,
+	 * inside the scope of the target when it has one. Change it into a query
+	 * with `Condition.fold`. It is `False` when the principal may act on no
+	 * value, so the list is empty: it is not an error.
+	 */
+	readonly filter: <const T extends Policy.KindTarget<D>>(
+		target: T,
+	) => Effect.Effect<
+		Condition.Condition<
+			E,
+			never,
+			Condition.Opaque,
+			Policy.ResidualReads<D, T["kind"]>
+		>,
+		PolicyUnavailable | E,
+		R
+	>
+	/**
+	 * Tells if the principal may act on all, none or some of the values in
+	 * the scope of the target. See `Policy.coverage`. Use it to show a button
+	 * only when the answer is not `None`.
 	 */
-	readonly filter: (
-		target: Policy.KindTarget<D>,
+	readonly coverage: <const T extends Policy.KindTarget<D>>(
+		target: T,
 	) => Effect.Effect<
-		Condition.Condition<E, never, Condition.Opaque>,
+		Policy.Coverage<
+			E,
+			never,
+			Condition.Opaque,
+			Policy.ResidualReads<D, T["kind"]>
+		>,
 		PolicyUnavailable | E,
 		R
 	>
 	/** Gives the fields of a value that the principal may use. */
 	readonly permittedFields: (
-		target: Omit<Policy.Target<D>, "field">,
+		target: Policy.FieldlessTarget<D>,
 	) => Effect.Effect<ReadonlyArray<string>, PolicyUnavailable | E, R>
 	/**
 	 * Removes the cached policy of a principal, or of every principal. Call it
@@ -224,23 +272,40 @@ export interface ServiceClass<
 		Forbidden | Pending | PolicyUnavailable | E,
 		R | Self
 	>
-	readonly guard: <E2>(
-		target: Policy.Target<D>,
-		options: GuardOptions<D, E2>,
+	readonly guard: <const T extends Policy.Target<D>, E2>(
+		target: T,
+		options: GuardOptions<D, E2, T["resource"]["_tag"]>,
 	) => Effect.Effect<
 		void,
 		E2 | Forbidden | Pending | PolicyUnavailable | E,
 		R | Self
 	>
-	readonly filter: (
-		target: Policy.KindTarget<D>,
+	readonly filter: <const T extends Policy.KindTarget<D>>(
+		target: T,
+	) => Effect.Effect<
+		Condition.Condition<
+			E,
+			never,
+			Condition.Opaque,
+			Policy.ResidualReads<D, T["kind"]>
+		>,
+		PolicyUnavailable | E,
+		R | Self
+	>
+	readonly coverage: <const T extends Policy.KindTarget<D>>(
+		target: T,
 	) => Effect.Effect<
-		Condition.Condition<E, never, Condition.Opaque>,
+		Policy.Coverage<
+			E,
+			never,
+			Condition.Opaque,
+			Policy.ResidualReads<D, T["kind"]>
+		>,
 		PolicyUnavailable | E,
 		R | Self
 	>
 	readonly permittedFields: (
-		target: Omit<Policy.Target<D>, "field">,
+		target: Policy.FieldlessTarget<D>,
 	) => Effect.Effect<ReadonlyArray<string>, PolicyUnavailable | E, R | Self>
 }
 
@@ -268,8 +333,33 @@ export const Service: <Self, C extends Config = {}>() => <
 >(
 	id: Id,
 	domain: D,
-) => ServiceClass<Self, Id, D, ErrorOf<C>, RequiresOf<C>> =
-	internal.Service as never
+) => ServiceClass<Self, Id, D, ErrorOf<C>, RequiresOf<C>> = (() =>
+	(id: string, domain: Domain.Any) => {
+		const Base = Context.Service<any, any>()(id)
+		return class extends Base {
+			static readonly domain = domain
+			static readonly decide = (target: AnyTarget) =>
+				this.use((service: any) => service.decide(target))
+			static readonly check = (target: AnyTarget) =>
+				this.use((service: any) => service.check(target))
+			static readonly guard = (target: AnyTarget, options: unknown) =>
+				this.use((service: any) => service.guard(target, options))
+			static readonly filter = (target: AnyTarget) =>
+				this.use((service: any) => service.filter(target))
+			static readonly coverage = (target: AnyTarget) =>
+				this.use((service: any) => service.coverage(target))
+			static readonly permittedFields = (target: AnyTarget) =>
+				this.use((service: any) => service.permittedFields(target))
+		}
+	}) as never
+
+type AnyTarget = {
+	readonly action: string
+	readonly resource?: object
+	readonly kind?: string
+	readonly field?: string
+	readonly within?: unknown
+}
 
 /**
  * The options of {@link layer}.
@@ -299,6 +389,12 @@ export interface Options<D extends Domain.Any, E, R, EL, RL, RP> {
 	/**
 	 * How the policies are kept. The default keeps 1000 policies for 30 seconds.
 	 * Give `false` to load the policy for each check.
+	 *
+	 * Two principals with the same data get one policy from the cache. So the
+	 * loader must decide by the data of the principal only. When it tests that
+	 * an object of the principal is a given object, as `role === admin` does,
+	 * give `false`. A principal with objects in an array, a set or the keys of
+	 * a map is not kept, because such tests are usual there.
 	 */
 	readonly cache?:
 		| {
@@ -308,6 +404,474 @@ export interface Options<D extends Domain.Any, E, R, EL, RL, RP> {
 		| false
 }
 
+/**
+ * A cache key for a principal. Two keys are equal when they have the same
+ * text, so two principals with the same value share one policy. The key also
+ * keeps the principal, so the cache can load its policy. A plain `Data` value
+ * can not do both, so the key gives its own equality with `Equal.Equal`.
+ */
+class PrincipalKey implements Equal.Equal {
+	readonly principal: object
+	readonly text: string
+	constructor(principal: object, text: string) {
+		this.principal = principal
+		this.text = text
+	}
+	[Equal.symbol](that: unknown): boolean {
+		return that instanceof PrincipalKey && that.text === this.text
+	}
+	[Hash.symbol](): number {
+		return Hash.string(this.text)
+	}
+}
+
+/**
+ * Tests if an array has a plain field at each index below its length. With
+ * one more own key for `length`, it then has no other own keys.
+ */
+const hasEveryIndex = (value: Array<unknown>): boolean =>
+	Arr.every(
+		Array.from({ length: value.length }, (_, index) => index),
+		(index) => isPlainField(value, String(index)),
+	)
+
+/**
+ * Tests if an own key of an object holds plain data that the text shows: it
+ * can be seen in a loop over the keys, and it is not a getter.
+ */
+const isPlainField = (value: object, key: string): boolean => {
+	const descriptor = Object.getOwnPropertyDescriptor(value, key)
+	return (
+		descriptor !== undefined &&
+		descriptor.enumerable === true &&
+		"value" in descriptor
+	)
+}
+
+const isObjectLike = (value: unknown): boolean =>
+	(typeof value === "object" && value !== null) || typeof value === "function"
+
+/**
+ * The number of each class that a key has seen. Each layer has its own, so
+ * no state is kept for the whole program. A class is a function, and `Equal`
+ * compares functions by the function itself.
+ */
+type ClassIds = MutableHashMap.MutableHashMap<object, number>
+
+/** Gives a number that is only for this class, in this layer. */
+const classId = (classes: ClassIds, constructor: object): string => {
+	const id = Option.getOrElse(MutableHashMap.get(classes, constructor), () => {
+		const fresh = MutableHashMap.size(classes)
+		MutableHashMap.set(classes, constructor, fresh)
+		return fresh
+	})
+	return `#${String(id)}`
+}
+
+/** The most levels of objects in a principal that the cache takes. */
+const maxKeyDepth = 256
+
+/**
+ * Gives a text that names a principal value. Two values get one text only when
+ * they have the same types and the same data. So a string `"1"` and a bigint
+ * `1n` get two texts. The text keeps the class of each object, by a number
+ * that is its own, because two classes may have one name.
+ *
+ * It reads only the fields of plain objects and of `Schema.Class` values, and
+ * only when each own key is a plain field that a loop over the keys can see.
+ * An object of another class may keep its data where the text can not see it,
+ * as a `URL` does. So it gives `undefined` for such an object, unless it is a
+ * plain `Date`, `URL`, array, `Map` or `Set` with no extra own keys. It also
+ * gives `undefined` for a function, a symbol, or a value with one object in two
+ * places. The text can not show that two places hold the same object, and a
+ * loader may test it, as `set.has(value)` does.
+ * The private fields (`#name`) of a class can not be seen, so a principal
+ * class must not keep its data in them.
+ *
+ * It also gives `undefined` for a value with more than {@link maxKeyDepth}
+ * levels of objects. The walk calls itself for each level, so a deeper value
+ * could fill the stack. Such a principal is not cached.
+ */
+const keyText = (
+	value: unknown,
+	seen: Set<object>,
+	classes: ClassIds,
+	depth: number = 0,
+): string | undefined => {
+	const plain = (text: string): string => text
+	switch (typeof value) {
+		case "string":
+			return plain(`s${JSON.stringify(value)}`)
+		case "number":
+			return plain(Object.is(value, -0) ? "n-0" : `n${String(value)}`)
+		case "bigint":
+			return plain(`b${String(value)}`)
+		case "boolean":
+			return plain(value ? "true" : "false")
+		case "undefined":
+			return plain("undefined")
+		case "object":
+			break
+		default:
+			return undefined
+	}
+	if (value === null) {
+		return plain("null")
+	}
+	if (seen.has(value) || depth >= maxKeyDepth) {
+		return undefined
+	}
+	seen.add(value)
+	const list = (
+		items: ReadonlyArray<unknown>,
+		wrap: (texts: ReadonlyArray<string>) => string,
+	): string | undefined => {
+		const texts = Arr.map(items, (item) =>
+			keyText(item, seen, classes, depth + 1),
+		)
+		return Arr.every(texts, (text) => text !== undefined)
+			? wrap(texts as ReadonlyArray<string>)
+			: undefined
+	}
+	const prototype: unknown = Object.getPrototypeOf(value)
+	// The own keys of the value. A built-in value keeps its data inside, so it
+	// may have no own keys, and the elements of an array are its own keys. An
+	// extra own key is data that the text does not show.
+	const own = Reflect.ownKeys(value)
+	// The entries of a map or a set keep their order, because a loader may read
+	// the first one.
+	if (prototype === Date.prototype && own.length === 0) {
+		return `d${String((value as Date).getTime())}`
+	}
+	if (prototype === URL.prototype && own.length === 0) {
+		return `u${JSON.stringify((value as URL).href)}`
+	}
+	if (
+		prototype === Array.prototype &&
+		own.length === (value as Array<unknown>).length + 1 &&
+		hasEveryIndex(value as Array<unknown>) &&
+		// An array finds an object by the object itself, as in
+		// `roles.includes(admin)`.
+		!Arr.some(value as Array<unknown>, isObjectLike)
+	) {
+		return list(value as Array<unknown>, (texts) => `[${texts.join(",")}]`)
+	}
+	if (
+		prototype === Map.prototype &&
+		own.length === 0 &&
+		// A map finds an object key by the object itself, not by its data, as
+		// in `map.get(role)`. The text can not show which object it is.
+		!Arr.some(Array.from((value as Map<unknown, unknown>).keys()), isObjectLike)
+	) {
+		// The keys and the values go in one list, so a value that is an object
+		// does not go through the test of the elements of an array.
+		return list(
+			Arr.flatMap(Array.from(value as Map<unknown, unknown>), ([key, item]) => [
+				key,
+				item,
+			]),
+			(texts) => `Map{${texts.join(",")}}`,
+		)
+	}
+	if (
+		prototype === Set.prototype &&
+		own.length === 0 &&
+		// A set finds an object by the object itself, as in `set.has(role)`.
+		!Arr.some(Array.from(value as Set<unknown>), isObjectLike)
+	) {
+		return list(
+			Array.from(value as Set<unknown>),
+			(texts) => `Set{${texts.join(",")}}`,
+		)
+	}
+	if (
+		(prototype === null ||
+			prototype === Object.prototype ||
+			// The prototype must be the prototype of the class itself. A value
+			// made with `Object.create(user)` has `user` as its prototype, and
+			// the data of `user` is not in the own keys. Such a prototype may
+			// have its own `constructor` key, so the test compares the
+			// prototype with the `prototype` of the class.
+			(Schema.isSchema((prototype as object).constructor) &&
+				(prototype as object).constructor.prototype === prototype)) &&
+		Arr.every(own, (key) => typeof key === "string" && isPlainField(value, key))
+	) {
+		// The keys keep their order, because a loader may read the first one.
+		const keys = own as ReadonlyArray<string>
+		const name =
+			prototype === null
+				? ""
+				: classId(classes, (prototype as object).constructor)
+		return list(
+			Arr.map(keys, (key) => (value as Record<string, unknown>)[key]),
+			(texts) =>
+				`${name}{${Arr.map(keys, (key, index) => `${JSON.stringify(key)}:${texts[index]!}`).join(",")}}`,
+		)
+	}
+	return undefined
+}
+
+const forbidden = (
+	target: AnyTarget,
+	kind: string,
+	reason: string | undefined,
+): Forbidden =>
+	Forbidden.make({
+		action: target.action,
+		kind,
+		...(target.field === undefined ? {} : { field: target.field }),
+		...(reason === undefined ? {} : { reason }),
+	})
+
+const makeLayer = (
+	service: AnyServiceClass,
+	options: {
+		readonly principal: Effect.Effect<object, unknown, unknown>
+		readonly policy: (
+			principal: object,
+		) => Effect.Effect<Policy.Any, unknown, unknown>
+		readonly decider?: (
+			request: object,
+		) => Effect.Effect<Decision.Decision, unknown, unknown>
+		readonly cache?:
+			| { readonly capacity?: number; readonly timeToLive?: Duration.Input }
+			| false
+	},
+) => {
+	const domain: Domain.Any = service.domain
+	// It gives `undefined` when the principal has no key. Such a principal does
+	// not use the cache.
+	const classes: ClassIds = MutableHashMap.empty()
+	const keyOf = (principal: object): PrincipalKey | undefined => {
+		// One set of seen objects for the walk: the walk adds each object to it,
+		// and the set goes away when the key is made.
+		const text = keyText(principal, new Set(), classes)
+		return text === undefined ? undefined : new PrincipalKey(principal, text)
+	}
+	return Layer.effect(
+		service,
+		Effect.gen(function* () {
+			// The services of the policy loader and of the predicates come from the
+			// layer, so a check does not need them.
+			const services = yield* Effect.context<never>()
+
+			// The predicates of the policy get the services of the layer, so the
+			// policy and its residual conditions need no services.
+			// A policy of another domain may have the same types, but its resources
+			// may have other paths. So it fails closed, as a policy that can not be
+			// loaded.
+			const load = (principal: object) =>
+				options.policy(principal).pipe(
+					Effect.provideContext(services),
+					Effect.filterOrFail(
+						(value) => value.domain === domain,
+						() =>
+							new globalThis.Error(
+								"The loaded policy is not a policy of this domain",
+							),
+					),
+					Effect.mapError((cause) => PolicyUnavailable.make({ cause })),
+					Effect.map((value) =>
+						Policy.provideContext(value, services as never),
+					),
+				)
+
+			const cache =
+				options.cache === false
+					? undefined
+					: yield* Cache.make({
+							capacity: options.cache?.capacity ?? 1000,
+							timeToLive: options.cache?.timeToLive ?? "30 seconds",
+							lookup: (key: PrincipalKey) => load(key.principal),
+						})
+
+			const policyFor = (principal: object) => {
+				const key = cache === undefined ? undefined : keyOf(principal)
+				if (cache === undefined || key === undefined) {
+					return load(principal)
+				}
+				// A failed lookup is kept in the cache. Remove it, so the next check
+				// tries again.
+				return Cache.get(cache, key).pipe(
+					Effect.tapError(() => Cache.invalidate(cache, key)),
+				)
+			}
+
+			const withServices = <A, E>(
+				effect: Effect.Effect<A, E, unknown>,
+			): Effect.Effect<A, E, unknown> => Effect.provideContext(effect, services)
+
+			const current = Effect.gen(function* () {
+				const principal = yield* options.principal
+				const value = yield* policyFor(principal)
+				return { principal, policy: value }
+			})
+
+			// The principal and its policy, loaded one time. A check that asks
+			// the policy two times, such as `guard`, uses one snapshot for both,
+			// so the two answers come from one principal.
+			type Snapshot = Effect.Success<typeof current>
+
+			const decideWith = Effect.fnUntraced(function* (
+				{ principal, policy: value }: Snapshot,
+				target: AnyTarget,
+			) {
+				const decision: Decision.Decision = yield* withServices(
+					Policy.decide(value, { ...target, principal } as never),
+				)
+				return decision
+			})
+
+			const decide = (target: AnyTarget) =>
+				Effect.flatMap(current, (snapshot) => decideWith(snapshot, target))
+
+			const kindDecision = (
+				value: Policy.Any,
+				principal: object,
+				target: AnyTarget,
+			): Decision.Decision => {
+				const request = { ...target, principal } as never
+				const covered = Policy.coverage(value, request)
+				if (covered._tag === "All") {
+					return Decision.Allow({})
+				}
+				// The decider may answer for the scope only when no value in it is
+				// denied, and when no predicate may fail. Else some value may get a
+				// "no" from the policy, so the answer for the scope is "no". An
+				// unknown answer may hide a denied value, so it is a "no" too.
+				// An empty scope never passes, so the decider is not asked for it.
+				// A scope that the search can not say has a value may be empty, so
+				// the decider is not asked for it either.
+				if (
+					covered._tag !== "Unknown" &&
+					Policy.scopeHasValue(value, request)
+				) {
+					const deny: Condition.Ast = Policy.residuals(value, request).deny
+					const schema = Domain.descriptorOf(
+						value.domain,
+						target.kind ?? "",
+					)?.schema
+					if (
+						deny._tag === "False" ||
+						Condition.satisfiable(deny as Condition.Condition, { schema })
+							._tag === "Unsatisfiable"
+					) {
+						return Decision.NotApplicable
+					}
+				}
+				return Decision.Deny({})
+			}
+
+			const checkWith = Effect.fnUntraced(function* (
+				{ principal, policy: value }: Snapshot,
+				target: AnyTarget,
+			) {
+				const kind =
+					target.resource === undefined
+						? (target.kind ?? "")
+						: (Resource.kindOf(target.resource) ?? "")
+				// A request that does not fit its kind gets a "no" at once. The
+				// decider must not say yes to an action that the kind does not have.
+				const descriptor = Domain.descriptorOf(domain, kind)
+				if (descriptor === undefined || !Policy.fitsKind(descriptor, target)) {
+					return yield* forbidden(target, kind, undefined)
+				}
+				const fromPolicy: Decision.Decision =
+					target.resource === undefined
+						? kindDecision(value, principal, target)
+						: yield* withServices(
+								Policy.decide(value, { ...target, principal } as never),
+							)
+				// When no rule gives an answer, the decider gives it.
+				const decision: Decision.Decision =
+					fromPolicy._tag === "NotApplicable" && options.decider !== undefined
+						? yield* options.decider({ ...target, principal })
+						: fromPolicy
+				if (decision._tag !== "Allow") {
+					return yield* forbidden(target, kind, Decision.reason(decision))
+				}
+			})
+
+			const check = (target: AnyTarget) =>
+				Effect.flatMap(current, (snapshot) => checkWith(snapshot, target))
+
+			const guard = Effect.fnUntraced(function* (
+				target: AnyTarget,
+				guardOptions: {
+					readonly read?: string
+					readonly hide: () => unknown
+				},
+			) {
+				const snapshot = yield* current
+				const read = guardOptions.read ?? "read"
+				const { field: _field, ...rest } = target
+				const visible: Decision.Decision = yield* decideWith(snapshot, {
+					...rest,
+					action: read,
+				})
+				if (visible._tag !== "Allow") {
+					return yield* Effect.fail(guardOptions.hide())
+				}
+				if (target.action !== read || target.field !== undefined) {
+					yield* checkWith(snapshot, target)
+				}
+			})
+
+			// The filter is the condition of the coverage. When the coverage is
+			// not known, it is the residual condition in the scope, which throws
+			// an error when there is none, so the filter fails.
+			const filter = (
+				target: AnyTarget,
+			): Effect.Effect<Condition.Ast, unknown, unknown> =>
+				Effect.map(current, ({ principal, policy: value }): Condition.Ast => {
+					const request = { ...target, principal } as never
+					const covered = Policy.coverage(value, request)
+					return covered._tag === "Unknown"
+						? Policy.residual(value, request)
+						: (covered.condition as Condition.Ast)
+				})
+
+			const coverage = (
+				target: AnyTarget,
+			): Effect.Effect<Policy.Coverage<any, any, any, any>, unknown, unknown> =>
+				Effect.map(current, ({ principal, policy: value }) =>
+					Policy.coverage(value, { ...target, principal } as never),
+				)
+
+			const permittedFields = Effect.fnUntraced(function* (target: AnyTarget) {
+				const { principal, policy: value } = yield* current
+				return yield* withServices(
+					Policy.permittedFields(value, { ...target, principal } as never),
+				)
+			})
+
+			const invalidate = (principal?: object) => {
+				if (cache === undefined) {
+					return Effect.void
+				}
+				if (principal === undefined) {
+					return Cache.invalidateAll(cache)
+				}
+				const key = keyOf(principal)
+				return key === undefined ? Effect.void : Cache.invalidate(cache, key)
+			}
+
+			return {
+				domain,
+				principal: options.principal,
+				policy: Effect.map(current, ({ policy: value }) => value),
+				decide,
+				check,
+				guard,
+				filter,
+				coverage,
+				permittedFields,
+				invalidate,
+			} as never
+		}),
+	)
+}
+
 /**
  * Makes the layer of an authorizer.
  *
@@ -327,4 +891,4 @@ export const layer: <
 >(
 	service: ServiceClass<Self, Id, D, E, R>,
 	options: Options<D, NoInfer<E>, NoInfer<R>, EL, RL, RP>,
-) => Layer.Layer<Self, never, RL | RP> = internal.layer as never
+) => Layer.Layer<Self, never, RL | RP> = makeLayer as never