@pithy-sh/core 0.10.0 → 0.12.0

package/dist/privacy/types.d.ts

@@ -0,0 +1,559 @@
+// SPDX-FileCopyrightText: 2026 Pithy
+// SPDX-License-Identifier: MIT
+import type { z } from "zod";
+import type { SQLiteBoolean, SQLiteDate, SqliteJsonSchema } from "../data/codecs";
+import type { MAX_RECURSION_DEPTH, ValueKind } from "./classify";
+/**
+ * **The type gate: a marked value does not compile into a log, an audit record or an error detail** (#132).
+ *
+ * A marker brands a field's output type under the `privacy:` key (`./classes`). These types are what read
+ * that brand on the three internal surfaces — the logger's fields, `AuditEvent.metadata`, `PithyError.detail`
+ * — and refuse it at compile time, where the mistake is a red build rather than a row in an adopter's D1 that
+ * nobody can retract.
+ *
+ * ## What the compiler checks, exactly
+ *
+ * - **A marked value itself**, anywhere a field value goes: `log.info("m", { email: user.email })` fails.
+ * - **A marked value inside an object or an array, down to {@link PRIVACY_CHECK_DEPTH} levels below the field**:
+ *   `{ user }`, `{ user: { email } }`, `{ users: [user] }`, `{ batch: { users: [user] } }` all fail.
+ * - **A marked key**: a record keyed by a marked value, `Record<User["email"], …>`, is refused like the value.
+ * - **A marked string as a message**: `log.info(user.email)`, `log.child(user.email)`, and `message`, `action` or
+ *   `detail` on any `PithyError` constructor fail, because each takes {@link UnmarkedString}.
+ *
+ * ## What it does not, and cannot
+ *
+ * - **Deeper than {@link PRIVACY_CHECK_DEPTH}.** The bound is there so the walk terminates on a recursive type
+ *   (a JSON alias, a tree), not for speed: measured with `tsc --extendedDiagnostics` (TypeScript 7.0.2,
+ *   2026-10-20, #132), the gate costs `@pithy-sh/auth` +0.6% types and +0.1% instantiations over `main`, and
+ *   moving the bound from 1 to 9 changes either count by less than 0.01% on every package — and by about 330
+ *   types and 5,400 instantiations on a file that logs a Hono `Context`, a `Kysely` instance and an
+ *   eight-level object, because `Error`, functions, promises, maps and sets are not walked. Below the bound a
+ *   value is not inspected.
+ * - **A template literal.** `` `signup for ${email}` `` is a `string` to TypeScript, whatever was
+ *   interpolated, and no type can see through it. `detail` is where this matters most; interpolate the
+ *   `redact`ed value, or the id, instead.
+ * - **A cast or an `unknown`.** A value the compiler cannot see is a value it cannot refuse.
+ *
+ * None of the three is checked at runtime either: a marker changes no runtime value, so a string that
+ * escaped the type is an ordinary string. `docs/PRIVACY.md` says the same to adopters.
+ */
+/** How many levels of object or array below a field value the gate inspects. See the module note. */
+export type PRIVACY_CHECK_DEPTH = 6;
+/** Depth countdown: `Prev[3]` is `2`. Index past the end is `never`, which stops the walk. */
+type Prev = [never, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19];
+/** One level down from `D`, and `never` from `never`: indexing {@link Prev} with `never` is not `never`. */
+type Down<D extends number> = [D] extends [never] ? never : Prev[D];
+/** `true` for `any`, so an untyped value is never mistaken for a marked one. */
+type IsAny<T> = 0 extends 1 & T ? true : false;
+/**
+ * Values whose structure is not data: walking an `Error`'s payload union or a `Request`'s methods would cost the
+ * compiler a great deal and could only ever find a brand somebody put there by hand.
+ */
+type Opaque = Error | Date | RegExp | ((...args: never[]) => unknown) | PromiseLike<unknown> | ReadonlyMap<unknown, unknown> | ReadonlySet<unknown>;
+/** Whether `T` carries a privacy brand. Distributes, so `marked | undefined` is `boolean` — test with `true extends`. */
+export type IsMarked<T> = IsAny<T> extends true ? false : T extends {
+    readonly [z.core.$brand]: infer M;
+} ? [Extract<keyof M, `privacy:${string}`>] extends [never] ? false : true : false;
+/**
+ * Whether `T`, or anything up to `D` levels of object or array inside it, carries a privacy brand — in a value, or
+ * in a key: a `Record<User["email"], number>` holds every email it is keyed by.
+ */
+export type ContainsMarked<T, D extends number = PRIVACY_CHECK_DEPTH> = IsAny<T> extends true ? false : [D] extends [never] ? false : true extends IsMarked<T> ? true : T extends Opaque ? false : T extends readonly (infer E)[] ? ContainsMarked<E, Down<D>> : T extends object ? true extends IsMarked<keyof T> ? true : true extends {
+    [K in keyof T]-?: ContainsMarked<T[K], Down<D>>;
+}[keyof T] ? true : false : false;
+/**
+ * The type a refused field takes, so the compiler's error reads as the rule: `Type 'string & $brand<…>' is not
+ * assignable to type '"A value marked with a privacy class …"'`.
+ */
+export type PrivateValueRefused = "A value marked with a privacy class cannot reach a log, an audit record or an error detail. Pass redact(Schema, value), or an unmarked field, instead.";
+/**
+ * A record of fields, each one either kept as written or refused because it holds a marked value. A surface
+ * that accepts structured fields takes `F & Loggable<F>`: `F` infers from the call, and `Loggable<F>` replaces
+ * every field that carries a brand with {@link PrivateValueRefused}, so the call fails on that key alone.
+ */
+export type Loggable<F> = {
+    [K in keyof F]: true extends ContainsMarked<F[K]> ? PrivateValueRefused : F[K];
+};
+/** No privacy brand. Any other brand — an adopter's `UserId` — is untouched. */
+type NoPrivacyBrand = {
+    readonly [z.core.$brand]?: {
+        readonly [K in `privacy:${string}`]?: never;
+    };
+};
+/**
+ * A string that is not marked. A plain `string` and a template literal both are; `user.email` from a `pii()`
+ * field is not. What a log message, a logger's name and `PithyError`'s `message`, `action` and `detail` take.
+ */
+export type UnmarkedString = string & NoPrivacyBrand;
+/**
+ * What `redact(schema, value)` returns, named by the schema: the type a caller names for a value it already redacted,
+ * `Redacted<typeof User>`. It is {@link RedactedOutput}, and it takes the schema rather than the value's type on
+ * purpose: a value's type cannot tell a plain object from the output of a transform, which `redact` may mask whole.
+ * Nor can a schema's: a class instance where an object with a mark beneath is expected is masked whole at runtime,
+ * outside the contract, and typed as the object it stands in for.
+ */
+export type Redacted<S extends z.ZodType> = RedactedOutput<S>;
+/**
+ * **What `redact(schema, value)` returns, read off the schema: the redaction contract (`./redact`) at the type level.**
+ *
+ * - **A marked position is a `string`**, beside the `null` or `undefined` its wrappers add: a marked node, or a
+ *   position a mark reaches through no union option. A mark reached through an option applies where the value has
+ *   that option's shape, so an option of another shape beside it keeps its own type: `z.union([pii(z.string()),
+ *   z.array(z.string())])` is `string | string[]`.
+ * - **Every structural kind keeps its shape**: an object maps its fields, an array and a tuple their elements, a
+ *   record and a map their values, a set its elements, and a marked key becomes `string`. Each wrapper keeps what it
+ *   adds. A union is a union of its members and an intersection intersects its sides, each with every option's and
+ *   every side's marks at each position: an array beside a tuple is typed index by index where the tuple names one,
+ *   and a record or an open object beside an object types each key the object names. An intersection with a record
+ *   on either side is `unknown`, as a record's masked keys rename the other side's keys too. The kit's three codecs
+ *   are the schema they decode to, and a JSON column is known by the type `sqliteJson` returns, never by its shape.
+ * - **An opaque node is its own output**, or `unknown` where a mark sits anywhere beneath it or may, because `redact`
+ *   masks it whole there. The search beneath it reads every schema once, to the one recursion limit, so an unmarked
+ *   schema of any depth keeps its output. A recursion beneath it is `unknown` however it is written, as a type cannot
+ *   tell one defined once from one built anew, which reaches the limit and is masked; so is a schema annotated
+ *   `z.ZodType<T>` beneath it. That is the one place the type says `unknown`, with two more a type cannot see past: a
+ *   schema annotated `z.ZodType<T>`, as a self-referencing `z.lazy` must be, names no kind; and `any`.
+ * - **A `.catch()` over a structure is read as the opaque node it may be**: `unknown` where a mark sits beneath it, a
+ *   constant fallback included, as the type cannot tell one from a function, which `redact` masks whole. An
+ *   `.overwrite()` keeps the type of the schema it is called on, so the type cannot see it.
+ * - **A position nested deeper than {@link REDACT_RECURSION_DEPTH} levels is `unknown`**, as `redact` masks it whole
+ *   from the same depth: every object, array, tuple, record, map and set above it counts one.
+ */
+export type RedactedOutput<S> = At<S, S, []>;
+/**
+ * The one recursion limit, in levels of nesting: the type of `MAX_RECURSION_DEPTH`, the constant `redact` stops at. A
+ * position nested deeper than this is `unknown`, as `redact` masks it whole there.
+ */
+export type REDACT_RECURSION_DEPTH = typeof MAX_RECURSION_DEPTH;
+/** How deep a position is: one element per level of nesting above it, or `"past"` beyond the limit. */
+type Depth = readonly unknown[] | "past";
+/** One level of nesting below `D`. */
+type Deeper<D extends Depth> = D extends readonly unknown[] ? D["length"] extends REDACT_RECURSION_DEPTH ? "past" : [...D, 0] : "past";
+/** A schema kind, read off its definition. Anything that is not a schema has a kind no branch below names. */
+type DefOf<S> = S extends {
+    readonly _zod: {
+        readonly def: infer D;
+    };
+} ? D : {
+    readonly type: "not-a-schema";
+};
+/** A schema's output, by its own `_zod`. Distributes over a union of schemas. */
+type Out<S> = S extends {
+    readonly _zod: {
+        readonly output: infer O;
+    };
+} ? O : never;
+/** A Zod schema, as a definition slot holds one. */
+type Schema = {
+    readonly _zod: {
+        readonly output: unknown;
+        readonly def: unknown;
+    };
+};
+/** The wrappers that are the same position as what they wrap. */
+type Wrapper = "optional" | "nullable" | "default" | "prefault" | "readonly" | "catch" | "nonoptional";
+/** The kinds a value is walked into. */
+type Structural = "object" | "array" | "tuple" | "record" | "map" | "set";
+/**
+ * The schema one of the kit's three codecs decodes to, or `never` for any other node. A JSON column is known by the type
+ * `sqliteJson` names, never by its shape: an adopter's codec built the same way is opaque, as it is to `redact`.
+ */
+type KitCodec<S> = S extends typeof SQLiteDate | typeof SQLiteBoolean ? DefOf<S> extends {
+    out: infer O;
+} ? O : never : SqliteJsonSchema<S>;
+/**
+ * Whether a schema is a marked node: every value its output holds, `null` and `undefined` aside, carries a privacy
+ * brand, and the brand is its own. A union with one marked option among others is not one; it is read option by
+ * option. Nor is a pipe whose every output value takes every privacy brand it has from what it pipes into, such as
+ * `z.email().pipe(pii(z.string()))` or a transform that returns a marked value: the mark is beneath an opaque node, so
+ * `redact` masks it whole and the type is `unknown`. A marker on the pipe itself is the pipe's own, though one option
+ * of what it pipes into carries the same class: `pii(sqliteJson(z.union([pii(z.boolean()), z.array(z.number())])))`
+ * brands its array with `pii` too, and only the pipe's own marker can have put it there.
+ */
+type IsMarkedNode<S> = [Exclude<Out<S>, null | undefined>] extends [never] ? false : false extends IsMarked<Exclude<Out<S>, null | undefined>> ? false : DefOf<S> extends {
+    type: "pipe";
+    out: infer O;
+} ? true extends LacksBrand<Exclude<Out<O>, null | undefined>, PrivacyBrands<Out<S>>> ? true : [Exclude<Out<O>, null | undefined>] extends [never] ? true : false : true;
+/** The privacy brand keys on `T`'s output. Distributes. */
+type PrivacyBrands<T> = T extends {
+    readonly [z.core.$brand]: infer M;
+} ? Extract<keyof M, `privacy:${string}`> : never;
+/** Whether some member of `T` lacks a privacy brand in `B`. Distributes. */
+type LacksBrand<T, B> = T extends unknown ? ([Exclude<B, PrivacyBrands<T>>] extends [never] ? false : true) : never;
+/** The shape each kind of schema produces, as `kindsOf` reads it at runtime. */
+interface SchemaKinds {
+    string: "string";
+    template_literal: "string";
+    number: "number";
+    nan: "number";
+    bigint: "bigint";
+    boolean: "boolean";
+    symbol: "symbol";
+    function: "function";
+    date: "date";
+    object: "object";
+    record: "object";
+    array: "array";
+    tuple: "array";
+    map: "map";
+    set: "set";
+}
+/** The shape of a value of type `T`, as `kindOfValue` reads it at runtime. Distributes; every shape for `unknown`. */
+type OutKind<T> = T extends null | undefined ? never : T extends string ? "string" : T extends number ? "number" : T extends bigint ? "bigint" : T extends boolean ? "boolean" : T extends symbol ? "symbol" : T extends Date ? "date" : T extends readonly unknown[] ? "array" : T extends ReadonlyMap<unknown, unknown> ? "map" : T extends ReadonlySet<unknown> ? "set" : T extends (...args: never[]) => unknown ? "function" : T extends object ? "object" : ValueKind;
+/**
+ * The shapes a schema's output can have, read the way `kindsOf` reads them: through wrappers, the options of a union,
+ * the sides of an intersection, a lazy and the kit's codecs. Every shape for an opaque node. Distributes.
+ */
+type KindOf<S, D extends number = REDACT_TYPE_DEPTH> = [D] extends [never] ? TooDeep : S extends unknown ? DefOf<S> extends {
+    type: Wrapper;
+    innerType: infer I;
+} ? KindOf<I, Down<D>> : DefOf<S> extends {
+    type: "union";
+    options: readonly (infer O)[];
+} ? KindOf<O, Down<D>> : DefOf<S> extends {
+    type: "intersection";
+    left: infer L;
+    right: infer R;
+} ? Extract<KindOf<L, Down<D>>, KindOf<R, Down<D>>> : DefOf<S> extends {
+    type: "lazy";
+    getter: () => infer I;
+} ? KindOf<I, Down<D>> : DefOf<S> extends {
+    type: infer T extends keyof SchemaKinds;
+} ? SchemaKinds[T] : DefOf<S> extends {
+    type: "literal" | "enum";
+} ? OutKind<Out<S>> : DefOf<S> extends {
+    type: "null" | "undefined" | "void" | "never";
+} ? never : [KitCodec<S>] extends [never] ? ValueKind : KitCodec<S> extends infer C ? KindOf<C, Down<D>> : never : never;
+/**
+ * The shapes of value a position masks: every shape for a mark reached through no union option, and, for one reached
+ * through options, the shapes every option on the way has. `never` where nothing here is marked. Distributes.
+ */
+type MaskedKinds<S, G = ValueKind, D extends number = REDACT_TYPE_DEPTH> = [D] extends [never] ? TooDeep : S extends unknown ? IsMarkedNode<S> extends true ? G : DefOf<S> extends {
+    type: Wrapper;
+    innerType: infer I;
+} ? MaskedKinds<I, G, Down<D>> : DefOf<S> extends {
+    type: "union";
+    options: readonly (infer O)[];
+} ? Gated<O, G, Down<D>> : DefOf<S> extends {
+    type: "intersection";
+    left: infer L;
+    right: infer R;
+} ? MaskedKinds<L, G, Down<D>> | MaskedKinds<R, G, Down<D>> : DefOf<S> extends {
+    type: "lazy";
+    getter: () => infer I;
+} ? MaskedKinds<I, G, Down<D>> : [KitCodec<S>] extends [never] ? never : MaskedKinds<KitCodec<S>, G, Down<D>> : never;
+/**
+ * Each union option's marks, narrowed to the shapes that option has. Distributes over the options. An option whose
+ * shapes the type cannot follow to the end leaves the position {@link TooDeep}.
+ */
+type Gated<O, G, D extends number> = O extends unknown ? TooDeep extends KindOf<O> ? TooDeep : MaskedKinds<O, Extract<G, KindOf<O>>, D> : never;
+/** A structural node's shape, where a mark masks it whole. */
+type StructuralKind<S> = DefOf<S> extends {
+    type: "object" | "record";
+} ? "object" : DefOf<S> extends {
+    type: "array" | "tuple";
+} ? "array" : DefOf<S> extends {
+    type: "map";
+} ? "map" : DefOf<S> extends {
+    type: "set";
+} ? "set" : never;
+/** An output with each value of a masked shape `M` masked to a `string`. Distributes; `unknown` stays `unknown`. */
+type MaskOut<T, M> = unknown extends T ? T : T extends null | undefined ? T : [OutKind<T>] extends [never] ? T : OutKind<T> extends M ? string : T;
+/**
+ * Every node at a position: `S` flattened through its wrappers, the options of a union, the sides of an intersection,
+ * each lazy and the kit's codecs, stopping at a marked node. Distributes over a union of schemas.
+ */
+type Nodes<S, D extends number = REDACT_TYPE_DEPTH> = [D] extends [never] ? TooDeep : S extends unknown ? IsMarkedNode<S> extends true ? S : IsMadeCatch<S> extends true ? S : DefOf<S> extends {
+    type: Wrapper;
+    innerType: infer I;
+} ? Nodes<I, Down<D>> : DefOf<S> extends {
+    type: "union";
+    options: readonly (infer O)[];
+} ? Nodes<O, Down<D>> : DefOf<S> extends {
+    type: "intersection";
+    left: infer L;
+    right: infer R;
+} ? Nodes<L, Down<D>> | Nodes<R, Down<D>> : DefOf<S> extends {
+    type: "lazy";
+    getter: () => infer I;
+} ? Nodes<I, Down<D>> : [KitCodec<S>] extends [never] ? S : Nodes<KitCodec<S>, Down<D>> : never;
+/**
+ * Whether a schema is a `.catch()` over a structure. A fallback function makes a new value, so `redact` masks it whole
+ * over a mark, as it does a transform; a constant one is walked. The type cannot tell the two apart, so it reads every
+ * such catch as the node it may be: `unknown` where a mark sits beneath it, and its own output where none does.
+ */
+type IsMadeCatch<S> = DefOf<S> extends {
+    type: "catch";
+    innerType: infer I;
+} ? [Extract<KindOf<I>, "object" | "array" | "map" | "set">] extends [never] ? false : true : false;
+/**
+ * How many levels of wrapper, choice and lazy {@link Nodes} flattens at one position. Past it the position is typed
+ * `unknown`, never guessed: `redact` walks any number of them, so a concrete type there could be wrong.
+ */
+export type REDACT_TYPE_DEPTH = 16;
+/**
+ * What {@link Nodes}, {@link MaskedKinds} and {@link KindOf} answer where they run out of {@link REDACT_TYPE_DEPTH}: a
+ * kind no value has and a node no schema is, so a position that holds it is typed `unknown`.
+ */
+type TooDeep = "past-the-type-depth";
+/** Whether the type could not follow a position's wrappers and choices to the end. */
+type Unfollowed<C> = TooDeep extends Nodes<C> ? true : TooDeep extends MaskedKinds<C> ? true : false;
+/** Whether a node is one the walk goes into. */
+type IsStructural<S> = DefOf<S> extends {
+    type: Structural;
+} ? true : false;
+/** A search's answer: `true` when a mark was found, `"deep"` when none was but it ran out of depth. */
+type Verdict<R> = true extends R ? true : "deep" extends R ? "deep" : false;
+/**
+ * Whether a schema carries a mark anywhere beneath it: `true`, `false`, or `"deep"` where the search ran past the one
+ * recursion limit, or may. It reads level by level, every schema once; as the runtime search does, a level is one more
+ * object, array, tuple, record, map, set or lazy. It is `"deep"` wherever it meets a recursion, a getter or a lazy
+ * that comes round to a schema above it: a type cannot tell one defined once, which the runtime reads to its end, from
+ * one built anew each read, which reaches the limit and is masked whole. So is a schema annotated `z.ZodType<T>`,
+ * which names no kind the search could read inside.
+ */
+type HasMark<S> = SearchLevel<S, never, never, []>;
+/**
+ * One round of the search. `Cur` is still to read at depth `L`, `Next` waits for the level below, and `Seen` has been
+ * read. A schema is seen when it and one already read are each assignable to the other.
+ */
+type SearchLevel<Cur, Next, Seen, L extends readonly unknown[]> = [Cur] extends [never] ? [Next] extends [never] ? false : SearchLevel<Next, never, Seen, [...L, 0]> : true extends Recurs<Cur, Seen> ? "deep" : Unseen<Cur, Seen> extends infer New ? [New] extends [never] ? SearchLevel<never, Next, Seen, L> : true extends AnyBranded<New> ? true : true extends Unnamed<New> ? "deep" : [Nested<New>] extends [never] ? SearchLevel<Children<New>, Next, Seen | New, L> : L["length"] extends REDACT_RECURSION_DEPTH ? "deep" : SearchLevel<Children<Flat<New>>, Next | Children<Nested<New>>, Seen | New, L> : never;
+/**
+ * Whether a schema met again is a recursion: one among `Cur` already read, a level counted at it, that reaches itself.
+ * A schema used twice at two depths is met again too, and reaches no copy of itself. Distributes.
+ */
+type Recurs<Cur, Seen> = Nested<Cur> extends infer R ? R extends unknown ? true extends IsSeen<R, Seen> ? Reaches<Children<R>, R, never> : false : never : never;
+/** Whether `T` is among the schemas beneath `Cur`, each read once. */
+type Reaches<Cur, T, Seen> = [Cur] extends [never] ? false : true extends IsSeen<T, Cur> ? true : Reaches<Children<Unseen<Cur, Seen>>, T, Seen | Cur>;
+/** The schemas among `N` not yet read. Distributes. */
+type Unseen<N, Seen> = N extends unknown ? (true extends IsSeen<N, Seen> ? never : N) : never;
+/** Whether `N` is one of `Seen`: each assignable to the other. */
+type IsSeen<N, Seen> = Seen extends unknown ? [N] extends [Seen] ? [Seen] extends [N] ? true : false : false : never;
+/** Whether any schema among `N` has a privacy brand on its output. Distributes. */
+type AnyBranded<N> = N extends Schema ? IsMarked<Out<N>> : false;
+/** The schemas among `N` a level of nesting is counted at. Distributes. */
+type Nested<N> = N extends unknown ? (DefOf<N> extends {
+    type: Structural | "lazy";
+} ? N : never) : never;
+/** The schemas among `N` read at the level they sit at. Distributes. */
+type Flat<N> = N extends unknown ? (DefOf<N> extends {
+    type: Structural | "lazy";
+} ? never : N) : never;
+/**
+ * Every schema a definition holds: a schema, a lazy's getter, a list of schemas, or an object's shape. An object's
+ * definition names its catchall only as a schema of any kind, so the catchall is read from its config. Distributes.
+ */
+type Children<N> = N extends Schema ? {
+    [K in keyof DefOf<N>]-?: K extends "checks" | "catchall" ? never : SlotSchemas<DefOf<N>[K]>;
+}[keyof DefOf<N>] | OpenCatchall<N> : never;
+/** The schemas one slot of a definition holds. */
+type SlotSchemas<V> = V extends Schema ? V : V extends () => infer R ? Extract<R, Schema> : V extends readonly (infer E)[] ? Extract<E, Schema> : V extends object ? {
+    [K in keyof V]-?: V[K] extends Schema ? V[K] : never;
+}[keyof V] : never;
+/** Whether an opaque node among `N` carries a mark beneath it, or may. Distributes. */
+type AnyOpaqueMarked<N> = N extends unknown ? IsMarkedNode<N> extends true ? false : IsStructural<N> extends true ? false : HasMark<N> : never;
+/** Whether a node's schema type names no single kind: one typed `z.ZodType<T>`, whose definition could be any. */
+type Unnamed<N> = N extends unknown ? DefOf<N> extends {
+    type: infer T;
+} ? string extends T ? true : IsUnion<T> : true : never;
+/** Whether a union of string literals has more than one member. */
+type IsUnion<T, U = T> = T extends unknown ? ([U] extends [T] ? false : true) : never;
+/**
+ * One member's schema `S` at a position `D` levels deep, against `C`, every schema that reaches it. `C` decides whether
+ * the position is masked, and what is at each position below it; `S` decides the shape this member keeps.
+ */
+type At<S, C, D extends Depth> = [S] extends [never] ? never : [D] extends ["past"] ? unknown : IsAny<Out<S>> extends true ? unknown : Unfollowed<C> extends true ? unknown : Verdict<AnyOpaqueMarked<Nodes<C>>> extends false ? Masked<S, C, D, MaskedKinds<C>> : unknown;
+/**
+ * A position whose values of shape `M` are masked: a `string` where every shape is, and otherwise each member keeps
+ * its shape, with its values of a masked shape a `string`.
+ */
+type Masked<S, C, D extends Depth, M> = [ValueKind] extends [M] ? string | Extract<Out<S>, null | undefined> : true extends Unnamed<Nodes<C>> ? unknown : Shaped<S, Nodes<C>, D, M>;
+/** A structural result keeps a brand that is not a privacy class, as the copy is the same kind of value. */
+type Rebrand<S, X> = Out<S> extends {
+    readonly [z.core.$brand]: infer B;
+} ? KeptBrand<X, Exclude<keyof B, `privacy:${string}`>> : X;
+/** `X` with the brands `K`, or `X` itself where there are none. */
+type KeptBrand<X, K> = [K] extends [never] ? X : X & z.core.$brand<K & (string | number | symbol)>;
+/**
+ * Keys renamed to `string` where a record at the position masks them: a string key, a number key's included, where its
+ * key schema marks any shape but a symbol, and a symbol key where it marks a symbol.
+ */
+type KeyName<K, N> = K extends typeof z.core.$brand ? never : K extends symbol ? "symbol" extends KeyMasks<N> ? string : K : MasksStringKeys<N> extends true ? string : K;
+/** Whether a record at the position masks its string keys: its key schema marks any shape but a symbol. */
+type MasksStringKeys<N> = [Exclude<KeyMasks<N>, "symbol">] extends [never] ? false : true;
+/**
+ * The shapes of key a record at the position masks. A key schema with an opaque node over a mark, such as
+ * `z.email().pipe(pii(z.string()))`, masks a key of every shape, as `redact` masks it whole, so its keys are plain
+ * strings and never keep the brand the opaque node's output carries.
+ */
+type KeyMasks<N> = Unfollowed<RecordKeys<N>> extends true ? ValueKind : Verdict<AnyOpaqueMarked<Nodes<RecordKeys<N>>>> extends false ? MaskedKinds<RecordKeys<N>> : ValueKind;
+/**
+ * One schema at a position that is walked into, against `N`, every node at the position, with the values of a shape
+ * in `M` masked: a marked node is a `string`, a wrapper keeps what it adds, a union and an intersection keep their
+ * form, and a structural node maps by every node's schemas, or is a `string` where its shape is masked. Any other
+ * node, unmarked and with nothing marked beneath it, keeps its output type, which is what `redact` hands back.
+ */
+type Shaped<S, N, D extends Depth, M> = S extends unknown ? IsMarkedNode<S> extends true ? string | Extract<Out<S>, null | undefined> : StructuralKind<S> extends infer K ? [K] extends [never] ? Rebrand<S, ShapedNode<S, N, D, M>> : K extends M ? string : Rebrand<S, ShapedNode<S, N, D, M>> : never : never;
+/** {@link Shaped}, before a brand that is not a privacy class is put back. */
+type ShapedNode<S, N, D extends Depth, M> = S extends unknown ? DefOf<S> extends {
+    type: "optional";
+    innerType: infer I;
+} ? Shaped<I, N, D, M> | undefined : DefOf<S> extends {
+    type: "nullable";
+    innerType: infer I;
+} ? Shaped<I, N, D, M> | null : DefOf<S> extends {
+    type: "default" | "prefault" | "nonoptional";
+    innerType: infer I;
+} ? Exclude<Shaped<I, N, D, M>, undefined> : DefOf<S> extends {
+    type: "catch";
+    innerType: infer I;
+} ? IsMadeCatch<S> extends true ? MaskOut<Out<S>, M> : Shaped<I, N, D, M> : DefOf<S> extends {
+    type: "readonly";
+    innerType: infer I;
+} ? z.core.util.MakeReadonly<Shaped<I, N, D, M>> : DefOf<S> extends {
+    type: "lazy";
+    getter: () => infer I;
+} ? Shaped<I, N, D, M> : DefOf<S> extends {
+    type: "union";
+    options: readonly (infer O)[];
+} ? Shaped<O, N, D, M> : DefOf<S> extends {
+    type: "intersection";
+    left: infer L;
+    right: infer R;
+} ? true extends HoldsRecord<Nodes<L>> | HoldsRecord<Nodes<R>> ? unknown : Shaped<L, N, D, M> & Shaped<R, N, D, M> : DefOf<S> extends {
+    type: Structural;
+} ? Walked<S, N, D> : [KitCodec<S>] extends [never] ? MaskOut<Out<S>, M> : Shaped<KitCodec<S>, N, D, M> : never;
+/**
+ * Whether a record is among `N`, the nodes on one side of an intersection. A record's key schema renames the other
+ * side's keys at runtime, a masked key taking a placeholder name, so neither side's own keys describe the copy: the
+ * intersection is typed `unknown` rather than a narrower type that could be wrong. Distributes.
+ */
+type HoldsRecord<N> = N extends unknown ? (DefOf<N> extends {
+    type: "record";
+} ? true : false) : never;
+/** A structural node, mapped by every node's schemas at the position. */
+type Walked<S, N, D extends Depth, E extends Depth = Deeper<D>> = DefOf<S> extends {
+    type: "object";
+    shape: infer Shape;
+} ? WithNamed<{
+    [K in keyof Out<S> as KeyName<K, N>]: K extends keyof Shape ? At<Shape[K], Fields<N, K>, E> : At<OpenCatchall<S>, Catchalls<N>, E> | NamedAt<OpenCatchall<S>, N, Exclude<NamedKeys<N>, keyof Shape>, E>;
+}, [
+    OpenCatchall<S>
+] extends [never] ? never : OpenCatchall<S>, N, Exclude<NamedKeys<N>, keyof Shape>, E> : DefOf<S> extends {
+    type: "record";
+    valueType: infer V;
+} ? string extends keyof Out<S> ? WithNamed<{
+    [K in keyof Out<S> as KeyName<K, N>]: At<V, Fields<N, K>, E> | NamedAt<V, N, NamedKeys<N>, E>;
+}, V, N, NamedKeys<N>, E> : MasksStringKeys<N> extends true ? {
+    [K in KeyName<keyof Out<S>, N>]: At<V, Fields<N, K extends symbol ? K : Exclude<keyof Out<S>, symbol>>, E>;
+} : {
+    [K in keyof Out<S> as KeyName<K, N>]: At<V, Fields<N, K>, E>;
+} : DefOf<S> extends {
+    type: "array";
+    element: infer El;
+} ? Beyond<El, N, [], E> : DefOf<S> extends {
+    type: "tuple";
+    items: infer Items extends readonly z.core.SomeType[];
+    rest: infer R extends z.core.SomeType | null;
+} ? z.output<z.ZodTuple<Items, null>> extends infer O extends readonly unknown[] ? [
+    ...{
+        -readonly [K in keyof O]: K extends keyof Items ? At<Items[K], Elements<N, K>, E> : never;
+    },
+    ...(R extends z.core.SomeType ? Beyond<R, N, [...Items], E> : [])
+] : never : DefOf<S> extends {
+    type: "map";
+    keyType: infer K;
+    valueType: infer V;
+} ? Map<At<K, MapKeys<N>, E>, At<V, MapValues<N>, E>> : DefOf<S> extends {
+    type: "set";
+    valueType: infer V;
+} ? Set<At<V, SetElements<N>, E>> : never;
+/**
+ * The keys the objects at a position name. A record or an open object beside them takes each one where the value has
+ * it, at the position every schema there gives that key: `{ a: pii(…) }` beside a record masks the record's `a`.
+ */
+type NamedKeys<N> = N extends unknown ? DefOf<N> extends {
+    type: "object";
+    shape: infer Shape;
+} ? Extract<keyof Shape, string> : never : never;
+/** What a key in `Keys` holds, against every schema there, for a value parsed by `V`. Distributes over the keys. */
+type NamedAt<V, N, Keys, D extends Depth> = Keys extends unknown ? At<V, Fields<N, Keys>, D> : never;
+/** `Mapped`, with each key in `Keys` an optional field of its own where `V` lets a key no shape names through. */
+type WithNamed<Mapped, V, N, Keys extends PropertyKey, D extends Depth> = [V] extends [never] ? Mapped : [Keys] extends [never] ? Mapped : Mapped & {
+    [K in Keys as KeyName<K, N>]?: At<V, Fields<N, K>, D>;
+};
+/**
+ * An array's element, or a tuple's rest, from index `I["length"]` on: optional and one by one while a tuple beside it
+ * names the index, so each takes the items there, then any number past every tuple's items.
+ */
+type Beyond<E, N, I extends unknown[], D extends Depth> = true extends NamesIndex<N, `${I["length"]}`> ? [At<E, Elements<N, `${I["length"]}`>, D>?, ...Beyond<E, N, [...I, unknown], D>] : At<E, Past<N>, D>[];
+/** Whether a tuple at the position names index `K`. */
+type NamesIndex<N, K extends string> = N extends unknown ? DefOf<N> extends {
+    type: "tuple";
+    items: infer Items extends readonly unknown[];
+} ? K extends keyof Items ? true : false : false : never;
+/** The schemas at an index past every tuple's items: each array's element and each tuple's rest. */
+type Past<N> = N extends unknown ? DefOf<N> extends {
+    type: "array";
+    element: infer E;
+} ? E : DefOf<N> extends {
+    type: "tuple";
+    rest: infer R;
+} ? Exclude<R, null> : never : never;
+/** The schemas at object key `K`: each object's field there or its catchall, and each record's value. */
+type Fields<N, K> = N extends unknown ? DefOf<N> extends {
+    type: "object";
+    shape: infer Shape;
+} ? K extends keyof Shape ? Shape[K] : OpenCatchall<N> : DefOf<N> extends {
+    type: "record";
+    valueType: infer V;
+} ? V : never : never;
+/**
+ * An object's catchall when it lets an extra key through, or `never`. Zod's object type keeps the catchall only in
+ * its config, `$catchall<T>`, and TypeScript reads `T` back out of that alias. A loose object's config is `$loose`,
+ * which names no schema, so its catchall is `z.unknown()`, as Zod parses it: read out of `$loose`, `T` would be a
+ * schema of no kind, which the search beneath it reads as one that may be marked.
+ */
+type OpenCatchall<N> = N extends {
+    readonly _zod: {
+        readonly config: infer Config;
+    };
+} ? Config extends {
+    readonly out: infer O;
+} ? string extends keyof O ? [z.core.$loose] extends [Config] ? z.ZodUnknown : Config extends z.core.$catchall<infer T> ? T : never : never : never : never;
+/** The schemas at a key no object names. */
+type Catchalls<N> = N extends unknown ? DefOf<N> extends {
+    type: "object";
+} ? OpenCatchall<N> : DefOf<N> extends {
+    type: "record";
+    valueType: infer V;
+} ? V : never : never;
+/** The schemas a record's keys are parsed by. */
+type RecordKeys<N> = N extends unknown ? (DefOf<N> extends {
+    type: "record";
+    keyType: infer K;
+} ? K : never) : never;
+/** The schemas of a map's keys, a map's values and a set's elements. */
+type MapKeys<N> = N extends unknown ? (DefOf<N> extends {
+    type: "map";
+    keyType: infer K;
+} ? K : never) : never;
+type MapValues<N> = N extends unknown ? (DefOf<N> extends {
+    type: "map";
+    valueType: infer V;
+} ? V : never) : never;
+type SetElements<N> = N extends unknown ? (DefOf<N> extends {
+    type: "set";
+    valueType: infer V;
+} ? V : never) : never;
+/** The schemas at element `K`, an index: each array's element, and each tuple's item there or its rest. */
+type Elements<N, K> = N extends unknown ? DefOf<N> extends {
+    type: "array";
+    element: infer E;
+} ? E : DefOf<N> extends {
+    type: "tuple";
+    items: infer Items extends readonly unknown[];
+    rest: infer R;
+} ? K extends keyof Items ? Items[K] : Exclude<R, null> : never : never;
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/privacy/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/privacy/types.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAC7B,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClF,OAAO,KAAK,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEjE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,qGAAqG;AACrG,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAEpC,8FAA8F;AAC9F,KAAK,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAE1F,4GAA4G;AAC5G,KAAK,IAAI,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEpE,gFAAgF;AAChF,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/C;;;GAGG;AACH,KAAK,MAAM,GACP,KAAK,GACL,IAAI,GACJ,MAAM,GACN,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC,GAC/B,WAAW,CAAC,OAAO,CAAC,GACpB,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,GAC7B,WAAW,CAAC,OAAO,CAAC,CAAC;AAEzB,yHAAyH;AACzH,MAAM,MAAM,QAAQ,CAAC,CAAC,IACpB,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,KAAK,GACL,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7C,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,WAAW,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACrD,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEd;;;GAGG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,mBAAmB,IAClE,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACjB,KAAK,GACL,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,KAAK,GACL,IAAI,SAAS,QAAQ,CAAC,CAAC,CAAC,GACtB,IAAI,GACJ,CAAC,SAAS,MAAM,GACd,KAAK,GACL,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC5B,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAC1B,CAAC,SAAS,MAAM,GACd,IAAI,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GAC5B,IAAI,GACJ,IAAI,SAAS;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,CAAC,CAAC,GACvE,IAAI,GACJ,KAAK,GACT,KAAK,CAAC;AAEtB;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAC7B,wJAAwJ,CAAC;AAE3J;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,SAAS,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,mBAAmB,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE7G,gFAAgF;AAChF,KAAK,cAAc,GAAG;IAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,WAAW,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK;KAAE,CAAA;CAAE,CAAC;AAErG;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,cAAc,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAE7C;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,OAAO,mBAAmB,CAAC;AAEhE,uGAAuG;AACvG,KAAK,KAAK,GAAG,SAAS,OAAO,EAAE,GAAG,MAAM,CAAC;AAEzC,sCAAsC;AACtC,KAAK,MAAM,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS,SAAS,OAAO,EAAE,GACvD,CAAC,CAAC,QAAQ,CAAC,SAAS,sBAAsB,GACxC,MAAM,GACN,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GACX,MAAM,CAAC;AAEX,8GAA8G;AAC9G,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC;AAE/G,iFAAiF;AACjF,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AAEpF,oDAAoD;AACpD,KAAK,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;KAAE,CAAA;CAAE,CAAC;AAErF,iEAAiE;AACjE,KAAK,OAAO,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,OAAO,GAAG,aAAa,CAAC;AAEvG,wCAAwC;AACxC,KAAK,UAAU,GAAG,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC;AAE1E;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,UAAU,GAAG,OAAO,aAAa,GACjE,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC/B,CAAC,GACD,KAAK,GACP,gBAAgB,CAAC,CAAC,CAAC,CAAC;AAExB;;;;;;;;GAQG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACtE,KAAK,GACL,KAAK,SAAS,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC,GACvD,KAAK,GACL,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAC7C,IAAI,SAAS,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/E,IAAI,GACJ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjD,IAAI,GACJ,KAAK,GACT,IAAI,CAAC;AAEb,2DAA2D;AAC3D,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,EAAE,WAAW,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC;AAExH,4EAA4E;AAC5E,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;AAEpH,gFAAgF;AAChF,UAAU,WAAW;IACnB,MAAM,EAAE,QAAQ,CAAC;IACjB,gBAAgB,EAAE,QAAQ,CAAC;IAC3B,MAAM,EAAE,QAAQ,CAAC;IACjB,GAAG,EAAE,QAAQ,CAAC;IACd,MAAM,EAAE,QAAQ,CAAC;IACjB,OAAO,EAAE,SAAS,CAAC;IACnB,MAAM,EAAE,QAAQ,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,CAAC;IACjB,MAAM,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,GAAG,EAAE,KAAK,CAAC;IACX,GAAG,EAAE,KAAK,CAAC;CACZ;AAED,sHAAsH;AACtH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,SAAS,GACxC,KAAK,GACL,CAAC,SAAS,MAAM,GACd,QAAQ,GACR,CAAC,SAAS,MAAM,GACd,QAAQ,GACR,CAAC,SAAS,MAAM,GACd,QAAQ,GACR,CAAC,SAAS,OAAO,GACf,SAAS,GACT,CAAC,SAAS,MAAM,GACd,QAAQ,GACR,CAAC,SAAS,IAAI,GACZ,MAAM,GACN,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1B,OAAO,GACP,CAAC,SAAS,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,GACrC,KAAK,GACL,CAAC,SAAS,WAAW,CAAC,OAAO,CAAC,GAC5B,KAAK,GACL,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GACrC,UAAU,GACV,CAAC,SAAS,MAAM,GACd,QAAQ,GACR,SAAS,CAAC;AAEpC;;;GAGG;AACH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACtE,OAAO,GACP,CAAC,SAAS,OAAO,GACf,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACpD,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;CAAE,GAC/D,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACtE,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,MAAM,CAAC,CAAA;CAAE,GACtD,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,WAAW,CAAA;CAAE,GAC1D,WAAW,CAAC,CAAC,CAAC,GACd,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,SAAS,GAAG,MAAM,CAAA;CAAE,GAC3C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GACf,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,MAAM,GAAG,OAAO,CAAA;CAAE,GAChE,KAAK,GACL,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,SAAS,GACT,QAAQ,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACzB,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK,GACvB,KAAK,CAAC;AAEZ;;;GAGG;AACH,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,SAAS,MAAM,GAAG,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1F,OAAO,GACP,CAAC,SAAS,OAAO,GACf,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACpD,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAC1B,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;CAAE,GAC/D,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACpB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACtE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACvD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,MAAM,CAAC,CAAA;CAAE,GACtD,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAC1B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,KAAK,GACL,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAChD,KAAK,CAAC;AAEZ;;;GAGG;AACH,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,OAAO,GAClD,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,GACvB,OAAO,GACP,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1C,KAAK,CAAC;AAEV,8DAA8D;AAC9D,KAAK,cAAc,CAAC,CAAC,IACnB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;CAAE,GAC1C,QAAQ,GACR,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,GAAG,OAAO,CAAA;CAAE,GAC1C,OAAO,GACP,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GAC9B,KAAK,GACL,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GAC9B,KAAK,GACL,KAAK,CAAC;AAElB,oHAAoH;AACpH,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,SAAS,CAAC,GAClC,CAAC,GACD,CAAC,SAAS,IAAI,GAAG,SAAS,GACxB,CAAC,GACD,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1B,CAAC,GACD,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAClB,MAAM,GACN,CAAC,CAAC;AAEZ;;;GAGG;AACH,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,iBAAiB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACrE,OAAO,GACP,CAAC,SAAS,OAAO,GACf,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,CAAC,GACD,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACpD,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACjB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;CAAE,GAC/D,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACjB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACtE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACrC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,MAAM,CAAC,CAAA;CAAE,GACtD,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACjB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,CAAC,GACD,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GACzC,KAAK,CAAC;AAEZ;;;;GAIG;AACH,KAAK,WAAW,CAAC,CAAC,IAChB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GAClD,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACtE,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEZ;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAEnC;;;GAGG;AACH,KAAK,OAAO,GAAG,qBAAqB,CAAC;AAErC,sFAAsF;AACtF,KAAK,UAAU,CAAC,CAAC,IAAI,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,OAAO,SAAS,WAAW,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAErG,gDAAgD;AAChD,KAAK,YAAY,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE5E,uGAAuG;AACvG,KAAK,OAAO,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC,GAAG,IAAI,GAAG,MAAM,SAAS,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAE5E;;;;;;;GAOG;AACH,KAAK,OAAO,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AAEnD;;;GAGG;AACH,KAAK,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,SAAS,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACnF,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAC3C,IAAI,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAC5B,MAAM,GACN,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,MAAM,GAAG,GACjC,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACnB,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,GACjC,IAAI,SAAS,UAAU,CAAC,GAAG,CAAC,GAC1B,IAAI,GACJ,IAAI,SAAS,OAAO,CAAC,GAAG,CAAC,GACvB,MAAM,GACN,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC,GAC/C,CAAC,CAAC,QAAQ,CAAC,SAAS,sBAAsB,GACxC,MAAM,GACN,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC,GACvF,KAAK,CAAC;AAEd;;;GAGG;AACH,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,IACnB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GACvB,CAAC,SAAS,OAAO,GACf,IAAI,SAAS,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,GAC1B,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAC9B,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ,sEAAsE;AACtE,KAAK,OAAO,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9C,KAAK,GACL,IAAI,SAAS,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GACzB,IAAI,GACJ,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,CAAC;AAE1D,uDAAuD;AACvD,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,IAAI,SAAS,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;AAE9F,kEAAkE;AAClE,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,IAAI,IAAI,SAAS,OAAO,GACvC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAChB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAChB,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,mFAAmF;AACnF,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAEjE,2EAA2E;AAC3E,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAE1G,wEAAwE;AACxE,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,GAAG,MAAM,CAAA;CAAE,GAAG,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;AAExG;;;GAGG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAE3B;KAAG,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,QAAQ,GAAG,UAAU,GAAG,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAC/G,YAAY,CAAC,CAAC,CAAC,GACnB,KAAK,CAAC;AAEV,kDAAkD;AAClD,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAClC,CAAC,GACD,CAAC,SAAS,MAAM,MAAM,CAAC,GACrB,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAClB,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAC5B,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,GAClB,CAAC,SAAS,MAAM,GACd;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,GACjE,KAAK,CAAC;AAEhB,uFAAuF;AACvF,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACvC,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,KAAK,GACL,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,KAAK,GACL,OAAO,CAAC,CAAC,CAAC,GACd,KAAK,CAAC;AAEV,kHAAkH;AAClH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAC/B,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAChC,MAAM,SAAS,CAAC,GACd,IAAI,GACJ,OAAO,CAAC,CAAC,CAAC,GACZ,IAAI,GACN,KAAK,CAAC;AAEV,mEAAmE;AACnE,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;AAEtF;;;GAGG;AACH,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAChD,KAAK,GACL,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAClB,OAAO,GACP,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,OAAO,GACP,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,OAAO,GACP,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAC9C,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GAC/B,OAAO,CAAC;AAEpB;;;GAGG;AACH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAC3D,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,GAC1C,IAAI,SAAS,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAC5B,OAAO,GACP,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEhC,4GAA4G;AAC5G,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IACf,GAAG,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,WAAW,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAEjH,mEAAmE;AACnE,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC;AAEnG;;;GAGG;AACH,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,GAC/C,KAAK,GACL,CAAC,SAAS,MAAM,GACd,QAAQ,SAAS,QAAQ,CAAC,CAAC,CAAC,GAC1B,MAAM,GACN,CAAC,GACH,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B,MAAM,GACN,CAAC,CAAC;AAEV,2GAA2G;AAC3G,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAE1F;;;;GAIG;AACH,KAAK,QAAQ,CAAC,CAAC,IACb,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClC,SAAS,GACT,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAC1D,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAC1B,SAAS,CAAC;AAElB;;;;;GAKG;AACH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GACrD,YAAY,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1B,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,GAC1C,cAAc,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAC/B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAClC,CAAC,SAAS,CAAC,GACT,MAAM,GACN,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GACtC,KAAK,GACT,KAAK,CAAC;AAEV,8EAA8E;AAC9E,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GACzD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACvD,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,GAC9B,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACvD,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GACzB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,SAAS,GAAG,UAAU,GAAG,aAAa,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACnF,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,GACtC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACpD,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACpB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACvD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAC5C,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,MAAM,CAAC,CAAA;CAAE,GACtD,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAClB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAA;CAAE,GAC/D,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAClB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GACtE,IAAI,SAAS,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GACxD,OAAO,GACP,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACzC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACnC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACf,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAChD,KAAK,CAAC;AAEV;;;;GAIG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAEvG,yEAAyE;AACzE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,IAC5D,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GACnD,SAAS,CACP;KACG,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,KAAK,GACvD,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAC7B,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;CAC9G,EACD;IAAC,YAAY,CAAC,CAAC,CAAC;CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,EAC3D,CAAC,EACD,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,EAClC,CAAC,CACF,GACD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACrD,MAAM,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,GACzB,SAAS,CACP;KAAG,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAAE,EACjG,CAAC,EACD,CAAC,EACD,SAAS,CAAC,CAAC,CAAC,EACZ,CAAC,CACF,GAGD,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B;KACG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CACjC,CAAC,EACD,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAC/D,CAAC,CACF;CACF,GACD;KAAG,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CAAE,GACpE,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GACnD,MAAM,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACpB,KAAK,CAAC,CAAC,CAAC,SAAS;IACb,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,KAAK,SAAS,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtD,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;CAC9C,GAED,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,SAAS,OAAO,EAAE,GAC1E;IACE,GAAG;QAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK;KAAE;IAChG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;CAClE,GACD,KAAK,GACP,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACpE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACjD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GAClD,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAC7B,KAAK,CAAC;AAEtB;;;GAGG;AACH,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACjC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GACrD,OAAO,CAAC,MAAM,KAAK,EAAE,MAAM,CAAC,GAC5B,KAAK,GACP,KAAK,CAAC;AAEV,oHAAoH;AACpH,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,SAAS,KAAK,IAAI,IAAI,SAAS,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;AAErG,kHAAkH;AAClH,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,SAAS,WAAW,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzF,MAAM,GACN,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,MAAM,GACN,MAAM,GAAG;KAAG,CAAC,IAAI,IAAI,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CAAE,CAAC;AAEzE;;;GAGG;AACH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,KAAK,IACpD,IAAI,SAAS,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,GACxC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAC/E,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAE1B,uDAAuD;AACvD,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,OAAO,GACpD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,SAAS,SAAS,OAAO,EAAE,CAAA;CAAE,GAC/E,CAAC,SAAS,MAAM,KAAK,GACnB,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,oGAAoG;AACpG,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAC5B,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAClD,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAC/C,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,GAChB,KAAK,GACT,KAAK,CAAC;AAEV,yGAAyG;AACzG,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GACjC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GACrD,CAAC,SAAS,MAAM,KAAK,GACnB,KAAK,CAAC,CAAC,CAAC,GACR,YAAY,CAAC,CAAC,CAAC,GACjB,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACrD,CAAC,GACD,KAAK,GACT,KAAK,CAAC;AAEV;;;;;GAKG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAA;KAAE,CAAA;CAAE,GACjF,MAAM,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GACtC,MAAM,SAAS,MAAM,CAAC,GACpB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAC9B,CAAC,CAAC,UAAU,GACZ,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GACtC,CAAC,GACD,KAAK,GACT,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEV,4CAA4C;AAC5C,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GACjC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GACjC,YAAY,CAAC,CAAC,CAAC,GACf,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GACrD,CAAC,GACD,KAAK,GACT,KAAK,CAAC;AAEV,iDAAiD;AACjD,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAErH,wEAAwE;AACxE,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAC/G,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AACnH,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAErH,2GAA2G;AAC3G,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GACnC,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GAClD,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,SAAS;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,KAAK,SAAS,SAAS,OAAO,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAC9F,CAAC,SAAS,MAAM,KAAK,GACnB,KAAK,CAAC,CAAC,CAAC,GACR,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,GAClB,KAAK,GACT,KAAK,CAAC"}

package/dist/privacy/types.js

@@ -0,0 +1,2 @@
+// SPDX-FileCopyrightText: 2026 Pithy
+// SPDX-License-Identifier: MIT

package/dist/seed/writeD1.d.ts

@@ -12,8 +12,14 @@ export interface SeedD1Options {
 export interface SeedD1Result {
     /** The table seeded. */
     table: string;
-    /** The number of rows validated (and, unless `dryRun`, written). */
+    /** The number of rows the fixture holds, every one validated. */
     rows: number;
+    /**
+     * The number of rows this call inserted. Under `INSERT OR IGNORE` a row whose key is already there is
+     * not, so a re-run writes none, and says so here rather than repeating `rows` (#764). Always `0` under
+     * `dryRun`.
+     */
+    written: number;
 }
 /**
  * Seed one D1 group, idempotently and non-destructively.