@vantageos/cloud-identity 0.10.0 → 0.12.0

package/dist/principal-by-id.d.ts

@@ -0,0 +1,249 @@
+/**
+ * The acting principal by ID, and the target checked by ID.
+ *
+ * An actor and a target are identified by their stored IDs, never by a name.
+ * A name is a display label: it never selects a row and never authorises one.
+ *
+ * Motivating incident: an agent of organisation A named "eta", calling by name
+ * through a service account, completed, updated and deleted the task of
+ * organisation B's agent also named "eta" at ten task doors, because every door
+ * admitted the caller by comparing names. Two different agents shared a label;
+ * nothing compared their IDs.
+ *
+ * Two functions close that class:
+ *
+ *   - `resolveActingPrincipal(credential, lookups)` turns a VERIFIED credential
+ *     into `{ principalId, orgId, kind }` read from stored rows, or refuses.
+ *   - `assertTargetBelongsTo(principal, target, lookups, opts)` admits a target
+ *     only when its stored organisation ID (and owner ID, where the door is
+ *     owner-only) equals the principal's resolved IDs.
+ *
+ * The fleet is the OPERATOR ORGANISATION: the organisation the consumer's
+ * `orgKindOf` adapter reports as `"operator"`, read from stored data at run
+ * time. No organisation ID is reserved or spelled in this package; an
+ * adapter that answers anything else, or nothing, means "not the fleet".
+ *
+ * RULING 5: membership of the operator org is ORDINARY membership. Its agents
+ * and persons resolve as `kind: "agent"` / `"person"` of that org and reach its
+ * rows only. Cross-org reach (`kind: "fleet"` + `fleetCrossOrg`) belongs to the
+ * operator org's SERVICE ACCOUNT alone; `reserved-fleet-scope` refuses a claim
+ * of that scope by any other credential, never plain membership.
+ *
+ * Pure functions over injected lookups: no database, no framework, no network.
+ * The consumer performs each indexed read by ID and passes the function in;
+ * every failure (throwing lookup, miss, malformed row, inactive row, wrong
+ * organisation) is a typed `IdentityRefusal`, never a default principal.
+ *
+ * @security This module verifies NOTHING about the credential itself. The IDs
+ * in a credential must come from the consumer's verification of what the
+ * caller presented (a bearer row, a person's token, the service secret). A
+ * client-supplied argument passed as a credential becomes the principal.
+ */
+import { z } from "zod";
+import { type IdentityRefusal } from "./identity-refusal.js";
+/**
+ * A verified credential, in the package's vocabulary. Every identity field is
+ * an ID. The schemas are STRICT: a credential carrying any other key (an
+ * `agentName`, a `callerOrchestrator`, a `name`) is refused whole, so a name
+ * cannot be smuggled in beside an ID.
+ *
+ *   - `agent`: an agent's own bearer, verified by the consumer (for example by
+ *     `validatePresentedBearer`): the agent ID and the organisation the bearer
+ *     row is stamped with.
+ *   - `person`: a person's token, verified by the consumer: the stored person
+ *     ID (the verified subject) and the organisation the token is bound to.
+ *     Optionally (0.12.0) the role the SAME token carries in that organisation
+ *     (`verifiedOrgRole`, for example Clerk's `org_role`), read by
+ *     `assertOrgAdmin`. Only a verified claim belongs here, never an argument.
+ *   - `service`: the service account, verified by the consumer. When it acts
+ *     for an agent it names that agent BY ID (`actingForAgentId`); the agent
+ *     is resolved within the service account's own organisation.
+ */
+export declare const actingCredentialSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"agent">;
+    agentId: z.ZodString;
+    verifiedOrgId: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"person">;
+    personId: z.ZodString;
+    verifiedOrgId: z.ZodString;
+    verifiedOrgRole: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"service">;
+    serviceAccountId: z.ZodString;
+    actingForAgentId: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>], "kind">;
+export type ActingCredential = z.input<typeof actingCredentialSchema>;
+/**
+ * Each row repeats its own ID, so a loose lookup (prefix match, wrong index)
+ * returning another row cannot become a principal. `active` is REQUIRED and
+ * must be `true`: an absent flag grants nothing. Extra fields (a display name)
+ * are allowed and ignored.
+ */
+export declare const principalRowSchema: z.ZodObject<{
+    id: z.ZodString;
+    orgId: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    active: z.ZodBoolean;
+}, z.core.$strip>;
+export type PrincipalRow = z.input<typeof principalRowSchema>;
+export declare const organisationRowSchema: z.ZodObject<{
+    id: z.ZodString;
+    active: z.ZodBoolean;
+}, z.core.$strip>;
+export type OrganisationRow = z.input<typeof organisationRowSchema>;
+/**
+ * The kind of a stored organisation, as the consumer's mapping row records it.
+ * `"operator"` is the fleet: the operator's own organisation, whose rows are
+ * the master scope. Any other answer, `null` included, is not the fleet.
+ */
+export type OrgKind = "operator" | "client";
+type Lookup<A extends unknown[], R> = (...args: A) => Promise<R | null | undefined> | R | null | undefined;
+/** Indexed reads BY ID. Only the lookups of the presented path are called. */
+export type PrincipalLookups = {
+    agentById?: Lookup<[agentId: string], PrincipalRow>;
+    /** A person's row IN one organisation (their membership there). */
+    personById?: Lookup<[personId: string, orgId: string], PrincipalRow>;
+    serviceAccountById?: Lookup<[serviceAccountId: string], PrincipalRow>;
+    /** The organisation row; the operator organisation is checked like any other. */
+    organisationById?: Lookup<[orgId: string], OrganisationRow>;
+    /**
+     * The stored kind of an organisation (for example `orgKind` on its mapping
+     * row). Decides, from data, whether an organisation is the operator org,
+     * that is the fleet. `null`, a miss, or any value other than exactly
+     * `"operator"` is NOT the fleet. A missing or throwing adapter refuses.
+     */
+    orgKindOf?: Lookup<[orgId: string], OrgKind>;
+};
+/** The one lookup `assertTargetBelongsTo` reads. */
+export type OrgKindLookups = Pick<PrincipalLookups, "orgKindOf">;
+export type ActingPrincipalKind = "agent" | "person" | "service" | "fleet";
+export type ActingPrincipal = {
+    /** The stored ID of the actor: agent ID, person ID or service-account ID. */
+    principalId: string;
+    /** The stored organisation ID. The operator org's ID for `fleet`. */
+    orgId: string;
+    kind: ActingPrincipalKind;
+    /** Set when a service account acts for an agent: the service account's ID. */
+    viaServiceAccountId?: string;
+    /**
+     * `kind: "person"` only, and only when the credential carried
+     * `verifiedOrgRole`: the verified role in `orgId`. Read by `assertOrgAdmin`.
+     */
+    orgRole?: string;
+};
+export type ResolveActingPrincipalResult = {
+    ok: true;
+    principal: ActingPrincipal;
+} | {
+    ok: false;
+    refusal: IdentityRefusal;
+};
+export type TargetIds = {
+    /** The target row's stored organisation ID. Absent: unstamped. */
+    orgId?: string | null;
+    /** The target row's stored owner ID (agent, person or service account). */
+    ownerId?: string | null;
+};
+export type AssertTargetOptions = {
+    /** The consumer's name for the door; carried on every refusal. */
+    door?: string;
+    /** Owner-only door: the target's `ownerId` must equal `principalId`. */
+    ownerOnly?: boolean;
+    /**
+     * A fleet principal may reach a row of a CLIENT organisation only when the
+     * door declares it (a master export), and only when `orgKindOf` reports that
+     * organisation as `"client"`. Default `false`: refused.
+     */
+    fleetCrossOrg?: boolean;
+};
+export type AssertTargetResult = {
+    ok: true;
+} | {
+    ok: false;
+    refusal: IdentityRefusal;
+};
+/**
+ * Resolves the acting principal from a VERIFIED credential to stored IDs, or
+ * refuses. Refusal by default: a credential claiming the fleet kind
+ * (`reserved-fleet-scope`), a credential that does not parse (including one
+ * carrying any name field), a missing or throwing lookup, a miss, a malformed
+ * or inactive row, an unstamped row and an inactive organisation are all
+ * refused. Nothing is ever resolved by a name, and nothing falls back to a
+ * master principal.
+ *
+ *   - agent: the agent row by `agentId`; its stored org must equal the org
+ *     the credential was verified for. An agent of the operator org resolves
+ *     as an ordinary `kind: "agent"` of that org (RULING 5).
+ *   - person: the person row by (`personId`, `verifiedOrgId`); it must be
+ *     stamped with that org. A person of the operator org resolves as an
+ *     ordinary `kind: "person"` of that org (RULING 5).
+ *   - service: the service-account row by `serviceAccountId`. Alone, it acts
+ *     as itself (`kind: "service"`, or `kind: "fleet"` when `orgKindOf` reports
+ *     its stored org as `"operator"`). With `actingForAgentId`, the agent row is read by
+ *     ID and must be stamped with the service account's own org; the principal
+ *     is that agent, with `viaServiceAccountId` recording the carrier.
+ */
+export declare function resolveActingPrincipal(credential: ActingCredential | null | undefined, lookups: PrincipalLookups, door?: string): Promise<ResolveActingPrincipalResult>;
+/**
+ * Admits a target only by comparing its STORED IDs with the principal's
+ * resolved IDs, byte for byte. No name field is read; there is none to read.
+ *
+ * Whether an organisation is the operator org (the fleet) is read from
+ * `lookups.orgKindOf`; a missing or throwing adapter refuses.
+ *
+ *   - An absent principal, or one with an empty ID, is refused.
+ *   - A `kind: "fleet"` principal outside the operator org is refused, and so
+ *     is a `kind: "service"` principal inside it (the operator org's service
+ *     account is the fleet). An agent or person of the operator org is an
+ *     ordinary member of it (RULING 5).
+ *   - An unstamped target (no `orgId`) is refused to EVERY principal, the
+ *     fleet principal included. No right is inferred from an absence: a fleet
+ *     row carries the operator org's ID explicitly, and a row with no
+ *     organisation is never treated as a master row.
+ *   - An operator-org row is refused to every client principal.
+ *   - Otherwise the target's `orgId` must equal the principal's. A fleet
+ *     principal reaches a client organisation's row only when the door sets
+ *     `fleetCrossOrg` (a master export) AND `orgKindOf` reports that
+ *     organisation as `"client"`; an unknown organisation is refused. Any
+ *     other principal reaching across organisations under `fleetCrossOrg`
+ *     claims the fleet scope and is refused `reserved-fleet-scope`.
+ *   - `ownerOnly`: the target's `ownerId` must also equal `principalId`; an
+ *     absent owner is refused.
+ */
+export declare function assertTargetBelongsTo(principal: ActingPrincipal | null | undefined, target: TargetIds | null | undefined, lookups: OrgKindLookups, opts?: AssertTargetOptions): Promise<AssertTargetResult>;
+export type AssertOrgAdminOptions = {
+    /**
+     * The role values that count as organisation admin, exactly as the verified
+     * claim spells them (for Clerk: `["org:admin"]`). Data supplied by the
+     * consumer; an empty or malformed list admits nobody.
+     */
+    adminRoles: readonly string[];
+    /** The consumer's name for the door; carried on every refusal. */
+    door?: string;
+};
+export type AssertOrgAdminResult = {
+    ok: true;
+} | {
+    ok: false;
+    refusal: IdentityRefusal;
+};
+/**
+ * Admits a principal as ADMIN of the target organisation, deciding by ID only.
+ * The principal must come from `resolveActingPrincipal`; the role is the
+ * verified claim its person credential carried (`verifiedOrgRole`), so no host
+ * lookup is needed and none is read here.
+ *
+ *   - An absent principal, or one with an empty ID, is refused.
+ *   - Only a PERSON is an organisation admin. An agent, a service account and
+ *     the fleet principal are refused `principal-not-a-person`, whatever they
+ *     carry: the service account keeps its own rules and never becomes an
+ *     admin through this check.
+ *   - The target organisation must be present and byte-equal to the
+ *     principal's stored organisation: an admin of A is not an admin of B.
+ *   - The role must be byte-equal to one entry of `adminRoles`. An absent
+ *     role, an unknown role, and an empty or malformed `adminRoles` refuse.
+ *     No case folding, no prefix stripping, no default role.
+ */
+export declare function assertOrgAdmin(principal: ActingPrincipal | null | undefined, targetOrgId: string | null | undefined, opts: AssertOrgAdminOptions): AssertOrgAdminResult;
+export {};
+//# sourceMappingURL=principal-by-id.d.ts.map

package/dist/principal-by-id.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"principal-by-id.d.ts","sourceRoot":"","sources":["../src/principal-by-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,KAAK,eAAe,EAAW,MAAM,uBAAuB,CAAC;AAMtE;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;4BAiBjC,CAAC;AAEH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAMtE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;;iBAI7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,qBAAqB;;;iBAGhC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE5C,KAAK,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,CAAC,IAAI,CACpC,GAAG,IAAI,EAAE,CAAC,KACP,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC;AAE1D,8EAA8E;AAC9E,MAAM,MAAM,gBAAgB,GAAG;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IACpD,mEAAmE;IACnE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;IACtE,iFAAiF;IACjF,gBAAgB,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC;IAC5D;;;;;OAKG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;CAC9C,CAAC;AAEF,oDAAoD;AACpD,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC;AAMjE,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,CAAC;AAE3E,MAAM,MAAM,eAAe,GAAG;IAC5B,6EAA6E;IAC7E,WAAW,EAAE,MAAM,CAAC;IACpB,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,mBAAmB,CAAC;IAC1B,8EAA8E;IAC9E,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,4BAA4B,GACpC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,eAAe,CAAA;CAAE,GACxC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AAE5C,MAAM,MAAM,SAAS,GAAG;IACtB,kEAAkE;IAClE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,2EAA2E;IAC3E,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,kEAAkE;IAClE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB;;;;OAIG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AA0GxF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,gBAAgB,GAAG,IAAI,GAAG,SAAS,EAC/C,OAAO,EAAE,gBAAgB,EACzB,IAAI,SAA2B,GAC9B,OAAO,CAAC,4BAA4B,CAAC,CA8GvC;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,qBAAqB,CACzC,SAAS,EAAE,eAAe,GAAG,IAAI,GAAG,SAAS,EAC7C,MAAM,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,EACpC,OAAO,EAAE,cAAc,EACvB,IAAI,GAAE,mBAAwB,GAC7B,OAAO,CAAC,kBAAkB,CAAC,CAiD7B;AAMD,MAAM,MAAM,qBAAqB,GAAG;IAClC;;;;OAIG;IACH,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,kEAAkE;IAClE,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,eAAe,CAAA;CAAE,CAAC;AAE1F;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,eAAe,GAAG,IAAI,GAAG,SAAS,EAC7C,WAAW,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACtC,IAAI,EAAE,qBAAqB,GAC1B,oBAAoB,CAmCtB"}

package/dist/principal-by-id.js

@@ -0,0 +1,388 @@
+/**
+ * The acting principal by ID, and the target checked by ID.
+ *
+ * An actor and a target are identified by their stored IDs, never by a name.
+ * A name is a display label: it never selects a row and never authorises one.
+ *
+ * Motivating incident: an agent of organisation A named "eta", calling by name
+ * through a service account, completed, updated and deleted the task of
+ * organisation B's agent also named "eta" at ten task doors, because every door
+ * admitted the caller by comparing names. Two different agents shared a label;
+ * nothing compared their IDs.
+ *
+ * Two functions close that class:
+ *
+ *   - `resolveActingPrincipal(credential, lookups)` turns a VERIFIED credential
+ *     into `{ principalId, orgId, kind }` read from stored rows, or refuses.
+ *   - `assertTargetBelongsTo(principal, target, lookups, opts)` admits a target
+ *     only when its stored organisation ID (and owner ID, where the door is
+ *     owner-only) equals the principal's resolved IDs.
+ *
+ * The fleet is the OPERATOR ORGANISATION: the organisation the consumer's
+ * `orgKindOf` adapter reports as `"operator"`, read from stored data at run
+ * time. No organisation ID is reserved or spelled in this package; an
+ * adapter that answers anything else, or nothing, means "not the fleet".
+ *
+ * RULING 5: membership of the operator org is ORDINARY membership. Its agents
+ * and persons resolve as `kind: "agent"` / `"person"` of that org and reach its
+ * rows only. Cross-org reach (`kind: "fleet"` + `fleetCrossOrg`) belongs to the
+ * operator org's SERVICE ACCOUNT alone; `reserved-fleet-scope` refuses a claim
+ * of that scope by any other credential, never plain membership.
+ *
+ * Pure functions over injected lookups: no database, no framework, no network.
+ * The consumer performs each indexed read by ID and passes the function in;
+ * every failure (throwing lookup, miss, malformed row, inactive row, wrong
+ * organisation) is a typed `IdentityRefusal`, never a default principal.
+ *
+ * @security This module verifies NOTHING about the credential itself. The IDs
+ * in a credential must come from the consumer's verification of what the
+ * caller presented (a bearer row, a person's token, the service secret). A
+ * client-supplied argument passed as a credential becomes the principal.
+ */
+import { z } from "zod";
+import { refusal } from "./identity-refusal.js";
+// ---------------------------------------------------------------------------
+// The credential: verified IDs only, no name field anywhere
+// ---------------------------------------------------------------------------
+/**
+ * A verified credential, in the package's vocabulary. Every identity field is
+ * an ID. The schemas are STRICT: a credential carrying any other key (an
+ * `agentName`, a `callerOrchestrator`, a `name`) is refused whole, so a name
+ * cannot be smuggled in beside an ID.
+ *
+ *   - `agent`: an agent's own bearer, verified by the consumer (for example by
+ *     `validatePresentedBearer`): the agent ID and the organisation the bearer
+ *     row is stamped with.
+ *   - `person`: a person's token, verified by the consumer: the stored person
+ *     ID (the verified subject) and the organisation the token is bound to.
+ *     Optionally (0.12.0) the role the SAME token carries in that organisation
+ *     (`verifiedOrgRole`, for example Clerk's `org_role`), read by
+ *     `assertOrgAdmin`. Only a verified claim belongs here, never an argument.
+ *   - `service`: the service account, verified by the consumer. When it acts
+ *     for an agent it names that agent BY ID (`actingForAgentId`); the agent
+ *     is resolved within the service account's own organisation.
+ */
+export const actingCredentialSchema = z.discriminatedUnion("kind", [
+    z.strictObject({
+        kind: z.literal("agent"),
+        agentId: z.string().min(1),
+        verifiedOrgId: z.string().min(1),
+    }),
+    z.strictObject({
+        kind: z.literal("person"),
+        personId: z.string().min(1),
+        verifiedOrgId: z.string().min(1),
+        verifiedOrgRole: z.string().min(1).optional(),
+    }),
+    z.strictObject({
+        kind: z.literal("service"),
+        serviceAccountId: z.string().min(1),
+        actingForAgentId: z.string().min(1).optional(),
+    }),
+]);
+// ---------------------------------------------------------------------------
+// The stored rows the consumer's lookups return
+// ---------------------------------------------------------------------------
+/**
+ * Each row repeats its own ID, so a loose lookup (prefix match, wrong index)
+ * returning another row cannot become a principal. `active` is REQUIRED and
+ * must be `true`: an absent flag grants nothing. Extra fields (a display name)
+ * are allowed and ignored.
+ */
+export const principalRowSchema = z.object({
+    id: z.string().min(1),
+    orgId: z.string().min(1).nullish(),
+    active: z.boolean(),
+});
+export const organisationRowSchema = z.object({
+    id: z.string().min(1),
+    active: z.boolean(),
+});
+function nonEmpty(value) {
+    return typeof value === "string" && value.length > 0;
+}
+function denied(reason, door, detail) {
+    return { ok: false, refusal: refusal("RBAC_DENIED", reason, door, detail) };
+}
+/**
+ * Reads one principal row BY ID and checks it: the lookup is supplied and does
+ * not throw, the row exists, is well formed, repeats the ID asked for, and is
+ * active. The lookup's own error text is never surfaced.
+ */
+async function loadPrincipalRow(lookup, args, expectedId, what, door) {
+    if (typeof lookup !== "function") {
+        return denied("principal-lookup-failed", door, `No lookup was supplied for the ${what}.`);
+    }
+    let raw;
+    try {
+        raw = await lookup(...args);
+    }
+    catch {
+        return denied("principal-lookup-failed", door, `The ${what} could not be read, so none is resolved.`);
+    }
+    if (raw === null || raw === undefined) {
+        return denied("principal-not-found", door, `No ${what} has this ID.`);
+    }
+    const parsed = principalRowSchema.safeParse(raw);
+    if (!parsed.success || parsed.data.id !== expectedId) {
+        return denied("principal-record-invalid", door, `The ${what} record is not well formed.`);
+    }
+    if (parsed.data.active !== true) {
+        return denied("principal-inactive", door, `The ${what} is not active.`);
+    }
+    return { ok: true, row: parsed.data };
+}
+/**
+ * Reads the stored kind of an organisation. Refusal by default: a missing or
+ * throwing adapter refuses; a miss or any answer other than exactly
+ * `"operator"` / `"client"` is `null`, which is never the fleet.
+ */
+async function loadOrgKind(lookups, orgId, door) {
+    const lookup = lookups?.orgKindOf;
+    if (typeof lookup !== "function") {
+        return denied("principal-lookup-failed", door, "No lookup was supplied for the organisation kind.");
+    }
+    let raw;
+    try {
+        raw = await lookup(orgId);
+    }
+    catch {
+        return denied("principal-lookup-failed", door, "The organisation kind could not be read, so none is resolved.");
+    }
+    return { ok: true, kind: raw === "operator" || raw === "client" ? raw : null };
+}
+/** Every organisation, the operator org included, must exist and be active. */
+async function checkOrganisation(orgId, lookups, door) {
+    const lookup = lookups.organisationById;
+    if (typeof lookup !== "function") {
+        return denied("principal-lookup-failed", door, "No lookup was supplied for the organisation.");
+    }
+    let raw;
+    try {
+        raw = await lookup(orgId);
+    }
+    catch {
+        return denied("principal-lookup-failed", door, "The organisation could not be read, so none is resolved.");
+    }
+    const parsed = organisationRowSchema.safeParse(raw);
+    if (!parsed.success || parsed.data.id !== orgId || parsed.data.active !== true) {
+        return denied("organisation-not-active", door, "The organisation is not mapped or not active.");
+    }
+    return null;
+}
+function served(principal) {
+    return { ok: true, principal };
+}
+/**
+ * Resolves the acting principal from a VERIFIED credential to stored IDs, or
+ * refuses. Refusal by default: a credential claiming the fleet kind
+ * (`reserved-fleet-scope`), a credential that does not parse (including one
+ * carrying any name field), a missing or throwing lookup, a miss, a malformed
+ * or inactive row, an unstamped row and an inactive organisation are all
+ * refused. Nothing is ever resolved by a name, and nothing falls back to a
+ * master principal.
+ *
+ *   - agent: the agent row by `agentId`; its stored org must equal the org
+ *     the credential was verified for. An agent of the operator org resolves
+ *     as an ordinary `kind: "agent"` of that org (RULING 5).
+ *   - person: the person row by (`personId`, `verifiedOrgId`); it must be
+ *     stamped with that org. A person of the operator org resolves as an
+ *     ordinary `kind: "person"` of that org (RULING 5).
+ *   - service: the service-account row by `serviceAccountId`. Alone, it acts
+ *     as itself (`kind: "service"`, or `kind: "fleet"` when `orgKindOf` reports
+ *     its stored org as `"operator"`). With `actingForAgentId`, the agent row is read by
+ *     ID and must be stamped with the service account's own org; the principal
+ *     is that agent, with `viaServiceAccountId` recording the carrier.
+ */
+export async function resolveActingPrincipal(credential, lookups, door = "resolveActingPrincipal") {
+    if (credential !== null &&
+        typeof credential === "object" &&
+        credential.kind === "fleet") {
+        return denied("reserved-fleet-scope", door, "The fleet scope is held only by the operator organisation's service account; no credential claims it.");
+    }
+    const parsed = actingCredentialSchema.safeParse(credential);
+    if (!parsed.success) {
+        return denied("credential-invalid", door, "The credential does not identify a principal by ID.");
+    }
+    const cred = parsed.data;
+    const look = lookups ?? {};
+    if (cred.kind === "agent" || cred.kind === "person") {
+        // The org's kind is read so a missing or throwing adapter refuses here as
+        // on every path; an operator-org member is NOT refused (RULING 5).
+        const credKind = await loadOrgKind(look, cred.verifiedOrgId, door);
+        if (!credKind.ok)
+            return credKind;
+        const loaded = cred.kind === "agent"
+            ? await loadPrincipalRow(look.agentById, [cred.agentId], cred.agentId, "agent", door)
+            : await loadPrincipalRow(look.personById, [cred.personId, cred.verifiedOrgId], cred.personId, "person", door);
+        if (!loaded.ok)
+            return loaded;
+        const rowOrg = loaded.row.orgId;
+        if (!nonEmpty(rowOrg)) {
+            return denied("no-verified-organisation", door, `The ${cred.kind} is stamped with no organisation.`);
+        }
+        if (rowOrg !== cred.verifiedOrgId) {
+            return denied("other-organisation", door, `The ${cred.kind} belongs to another organisation than its credential.`);
+        }
+        const orgRefusal = await checkOrganisation(rowOrg, look, door);
+        if (orgRefusal !== null)
+            return orgRefusal;
+        if (cred.kind === "person" && cred.verifiedOrgRole !== undefined) {
+            return served({
+                principalId: loaded.row.id,
+                orgId: rowOrg,
+                kind: cred.kind,
+                orgRole: cred.verifiedOrgRole,
+            });
+        }
+        return served({ principalId: loaded.row.id, orgId: rowOrg, kind: cred.kind });
+    }
+    // service account
+    const svc = await loadPrincipalRow(look.serviceAccountById, [cred.serviceAccountId], cred.serviceAccountId, "service account", door);
+    if (!svc.ok)
+        return svc;
+    const svcOrg = svc.row.orgId;
+    if (!nonEmpty(svcOrg)) {
+        return denied("no-verified-organisation", door, "The service account is stamped with no organisation.");
+    }
+    const svcKind = await loadOrgKind(look, svcOrg, door);
+    if (!svcKind.ok)
+        return svcKind;
+    const orgRefusal = await checkOrganisation(svcOrg, look, door);
+    if (orgRefusal !== null)
+        return orgRefusal;
+    if (cred.actingForAgentId === undefined) {
+        return served({
+            principalId: svc.row.id,
+            orgId: svcOrg,
+            kind: svcKind.kind === "operator" ? "fleet" : "service",
+        });
+    }
+    const agent = await loadPrincipalRow(look.agentById, [cred.actingForAgentId], cred.actingForAgentId, "agent", door);
+    if (!agent.ok)
+        return agent;
+    if (agent.row.orgId !== svcOrg) {
+        return denied("acting-agent-other-organisation", door, "The service account may act only for an agent of its own organisation.");
+    }
+    return served({
+        principalId: agent.row.id,
+        orgId: svcOrg,
+        kind: "agent",
+        viaServiceAccountId: svc.row.id,
+    });
+}
+// ---------------------------------------------------------------------------
+// assertTargetBelongsTo
+// ---------------------------------------------------------------------------
+/**
+ * Admits a target only by comparing its STORED IDs with the principal's
+ * resolved IDs, byte for byte. No name field is read; there is none to read.
+ *
+ * Whether an organisation is the operator org (the fleet) is read from
+ * `lookups.orgKindOf`; a missing or throwing adapter refuses.
+ *
+ *   - An absent principal, or one with an empty ID, is refused.
+ *   - A `kind: "fleet"` principal outside the operator org is refused, and so
+ *     is a `kind: "service"` principal inside it (the operator org's service
+ *     account is the fleet). An agent or person of the operator org is an
+ *     ordinary member of it (RULING 5).
+ *   - An unstamped target (no `orgId`) is refused to EVERY principal, the
+ *     fleet principal included. No right is inferred from an absence: a fleet
+ *     row carries the operator org's ID explicitly, and a row with no
+ *     organisation is never treated as a master row.
+ *   - An operator-org row is refused to every client principal.
+ *   - Otherwise the target's `orgId` must equal the principal's. A fleet
+ *     principal reaches a client organisation's row only when the door sets
+ *     `fleetCrossOrg` (a master export) AND `orgKindOf` reports that
+ *     organisation as `"client"`; an unknown organisation is refused. Any
+ *     other principal reaching across organisations under `fleetCrossOrg`
+ *     claims the fleet scope and is refused `reserved-fleet-scope`.
+ *   - `ownerOnly`: the target's `ownerId` must also equal `principalId`; an
+ *     absent owner is refused.
+ */
+export async function assertTargetBelongsTo(principal, target, lookups, opts = {}) {
+    const door = opts.door ?? "assertTargetBelongsTo";
+    if (principal === null ||
+        typeof principal !== "object" ||
+        !nonEmpty(principal.principalId) ||
+        !nonEmpty(principal.orgId)) {
+        return denied("credential-invalid", door, "No resolved principal stands behind this call.");
+    }
+    const principalKind = await loadOrgKind(lookups, principal.orgId, door);
+    if (!principalKind.ok)
+        return principalKind;
+    const inFleet = principalKind.kind === "operator";
+    const isFleet = principal.kind === "fleet";
+    if ((isFleet && !inFleet) || (inFleet && principal.kind === "service")) {
+        return denied("reserved-fleet-scope", door, "The principal does not hold the fleet scope.");
+    }
+    const targetOrg = target?.orgId;
+    if (!nonEmpty(targetOrg)) {
+        return denied("target-unstamped", door, "The target carries no organisation, so it is not reachable.");
+    }
+    if (targetOrg !== principal.orgId) {
+        const targetKind = await loadOrgKind(lookups, targetOrg, door);
+        if (!targetKind.ok)
+            return targetKind;
+        if (targetKind.kind === "operator") {
+            return denied("reserved-fleet-scope", door, "The target is in the fleet scope.");
+        }
+        if (!isFleet && opts.fleetCrossOrg === true) {
+            return denied("reserved-fleet-scope", door, "Cross-organisation reach is held only by the operator organisation's service account.");
+        }
+        const masterExport = isFleet && opts.fleetCrossOrg === true && targetKind.kind === "client";
+        if (!masterExport) {
+            return denied("target-other-organisation", door, "The target belongs to another organisation.");
+        }
+    }
+    if (opts.ownerOnly === true) {
+        const owner = target?.ownerId;
+        if (!nonEmpty(owner) || owner !== principal.principalId) {
+            return denied("target-owner-mismatch", door, "Only the target's owner may act on it.");
+        }
+    }
+    return { ok: true };
+}
+/**
+ * Admits a principal as ADMIN of the target organisation, deciding by ID only.
+ * The principal must come from `resolveActingPrincipal`; the role is the
+ * verified claim its person credential carried (`verifiedOrgRole`), so no host
+ * lookup is needed and none is read here.
+ *
+ *   - An absent principal, or one with an empty ID, is refused.
+ *   - Only a PERSON is an organisation admin. An agent, a service account and
+ *     the fleet principal are refused `principal-not-a-person`, whatever they
+ *     carry: the service account keeps its own rules and never becomes an
+ *     admin through this check.
+ *   - The target organisation must be present and byte-equal to the
+ *     principal's stored organisation: an admin of A is not an admin of B.
+ *   - The role must be byte-equal to one entry of `adminRoles`. An absent
+ *     role, an unknown role, and an empty or malformed `adminRoles` refuse.
+ *     No case folding, no prefix stripping, no default role.
+ */
+export function assertOrgAdmin(principal, targetOrgId, opts) {
+    const door = opts?.door ?? "assertOrgAdmin";
+    if (principal === null ||
+        typeof principal !== "object" ||
+        !nonEmpty(principal.principalId) ||
+        !nonEmpty(principal.orgId)) {
+        return denied("credential-invalid", door, "No resolved principal stands behind this call.");
+    }
+    if (principal.kind !== "person") {
+        return denied("principal-not-a-person", door, "Only a person is an organisation admin; this principal is not a person.");
+    }
+    if (!nonEmpty(targetOrgId)) {
+        return denied("target-unstamped", door, "No target organisation was named, so none is administered.");
+    }
+    if (targetOrgId !== principal.orgId) {
+        return denied("target-other-organisation", door, "The target organisation is not the principal's organisation.");
+    }
+    const adminRoles = opts?.adminRoles;
+    const rolesValid = Array.isArray(adminRoles) && adminRoles.length > 0 && adminRoles.every((r) => nonEmpty(r));
+    const role = principal.orgRole;
+    if (!rolesValid || !nonEmpty(role) || !adminRoles.includes(role)) {
+        return denied("role-not-admin", door, "The principal's role is not an organisation-admin role.");
+    }
+    return { ok: true };
+}
+//# sourceMappingURL=principal-by-id.js.map

package/dist/principal-by-id.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"principal-by-id.js","sourceRoot":"","sources":["../src/principal-by-id.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAwB,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEtE,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACjE,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACxB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;KACjC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC9C,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC/C,CAAC;CACH,CAAC,CAAC;AAIH,8EAA8E;AAC9E,gDAAgD;AAChD,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;CACpB,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;CACpB,CAAC,CAAC;AAyFH,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,MAAM,CAAC,MAAc,EAAE,IAAY,EAAE,MAAc;IAC1D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,gBAAgB,CAC7B,MAA2C,EAC3C,IAAO,EACP,UAAkB,EAClB,IAAY,EACZ,IAAY;IAEZ,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,yBAAyB,EAAE,IAAI,EAAE,kCAAkC,IAAI,GAAG,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,yBAAyB,EAAE,IAAI,EAAE,OAAO,IAAI,0CAA0C,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtC,OAAO,MAAM,CAAC,qBAAqB,EAAE,IAAI,EAAE,MAAM,IAAI,eAAe,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;QACrD,OAAO,MAAM,CAAC,0BAA0B,EAAE,IAAI,EAAE,OAAO,IAAI,6BAA6B,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,oBAAoB,EAAE,IAAI,EAAE,OAAO,IAAI,iBAAiB,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,KAAK,UAAU,WAAW,CACxB,OAA0C,EAC1C,KAAa,EACb,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,EAAE,SAAS,CAAC;IAClC,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,yBAAyB,EAAE,IAAI,EAAE,mDAAmD,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CACX,yBAAyB,EACzB,IAAI,EACJ,+DAA+D,CAChE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,UAAU,IAAI,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,+EAA+E;AAC/E,KAAK,UAAU,iBAAiB,CAC9B,KAAa,EACb,OAAyB,EACzB,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;IACxC,IAAI,OAAO,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,yBAAyB,EAAE,IAAI,EAAE,8CAA8C,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,yBAAyB,EAAE,IAAI,EAAE,0DAA0D,CAAC,CAAC;IAC7G,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC/E,OAAO,MAAM,CAAC,yBAAyB,EAAE,IAAI,EAAE,+CAA+C,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,SAA0B;IACxC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,UAA+C,EAC/C,OAAyB,EACzB,IAAI,GAAG,wBAAwB;IAE/B,IACE,UAAU,KAAK,IAAI;QACnB,OAAO,UAAU,KAAK,QAAQ;QAC7B,UAAiC,CAAC,IAAI,KAAK,OAAO,EACnD,CAAC;QACD,OAAO,MAAM,CACX,sBAAsB,EACtB,IAAI,EACJ,uGAAuG,CACxG,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,MAAM,CACX,oBAAoB,EACpB,IAAI,EACJ,qDAAqD,CACtD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,IAAI,GAAqB,OAAO,IAAI,EAAE,CAAC;IAE7C,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpD,0EAA0E;QAC1E,mEAAmE;QACnE,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,QAAQ,CAAC;QAClC,MAAM,MAAM,GACV,IAAI,CAAC,IAAI,KAAK,OAAO;YACnB,CAAC,CAAC,MAAM,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC;YACrF,CAAC,CAAC,MAAM,gBAAgB,CACpB,IAAI,CAAC,UAAU,EACf,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,aAAa,CAAC,EACnC,IAAI,CAAC,QAAQ,EACb,QAAQ,EACR,IAAI,CACL,CAAC;QACR,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,MAAM,CAAC;QAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,OAAO,MAAM,CAAC,0BAA0B,EAAE,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,mCAAmC,CAAC,CAAC;QACvG,CAAC;QACD,IAAI,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;YAClC,OAAO,MAAM,CACX,oBAAoB,EACpB,IAAI,EACJ,OAAO,IAAI,CAAC,IAAI,uDAAuD,CACxE,CAAC;QACJ,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,UAAU,KAAK,IAAI;YAAE,OAAO,UAAU,CAAC;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACjE,OAAO,MAAM,CAAC;gBACZ,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;gBAC1B,KAAK,EAAE,MAAM;gBACb,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,OAAO,EAAE,IAAI,CAAC,eAAe;aAC9B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,kBAAkB;IAClB,MAAM,GAAG,GAAG,MAAM,gBAAgB,CAChC,IAAI,CAAC,kBAAkB,EACvB,CAAC,IAAI,CAAC,gBAAgB,CAAC,EACvB,IAAI,CAAC,gBAAgB,EACrB,iBAAiB,EACjB,IAAI,CACL,CAAC;IACF,IAAI,CAAC,GAAG,CAAC,EAAE;QAAE,OAAO,GAAG,CAAC;IACxB,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;IAC7B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,0BAA0B,EAAE,IAAI,EAAE,sDAAsD,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,MAAM,UAAU,GAAG,MAAM,iBAAiB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/D,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,UAAU,CAAC;IAE3C,IAAI,IAAI,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,MAAM,CAAC;YACZ,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE;YACvB,KAAK,EAAE,MAAM;YACb,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;SACxD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,gBAAgB,CAClC,IAAI,CAAC,SAAS,EACd,CAAC,IAAI,CAAC,gBAAgB,CAAC,EACvB,IAAI,CAAC,gBAAgB,EACrB,OAAO,EACP,IAAI,CACL,CAAC;IACF,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC/B,OAAO,MAAM,CACX,iCAAiC,EACjC,IAAI,EACJ,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;QACZ,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE;QACzB,KAAK,EAAE,MAAM;QACb,IAAI,EAAE,OAAO;QACb,mBAAmB,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE;KAChC,CAAC,CAAC;AACL,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,SAA6C,EAC7C,MAAoC,EACpC,OAAuB,EACvB,OAA4B,EAAE;IAE9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,uBAAuB,CAAC;IAClD,IACE,SAAS,KAAK,IAAI;QAClB,OAAO,SAAS,KAAK,QAAQ;QAC7B,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,CAAC;QAChC,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,CAAC;QACD,OAAO,MAAM,CAAC,oBAAoB,EAAE,IAAI,EAAE,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,aAAa,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,CAAC,aAAa,CAAC,EAAE;QAAE,OAAO,aAAa,CAAC;IAC5C,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,KAAK,UAAU,CAAC;IAClD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC;IAC3C,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QACvE,OAAO,MAAM,CAAC,sBAAsB,EAAE,IAAI,EAAE,8CAA8C,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,EAAE,KAAK,CAAC;IAChC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,6DAA6D,CAAC,CAAC;IACzG,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,UAAU,GAAG,MAAM,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,OAAO,UAAU,CAAC;QACtC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO,MAAM,CAAC,sBAAsB,EAAE,IAAI,EAAE,mCAAmC,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YAC5C,OAAO,MAAM,CACX,sBAAsB,EACtB,IAAI,EACJ,uFAAuF,CACxF,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,OAAO,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC;QAC5F,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,MAAM,CAAC,2BAA2B,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;QAClG,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,MAAM,EAAE,OAAO,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,CAAC,WAAW,EAAE,CAAC;YACxD,OAAO,MAAM,CAAC,uBAAuB,EAAE,IAAI,EAAE,wCAAwC,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAmBD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,cAAc,CAC5B,SAA6C,EAC7C,WAAsC,EACtC,IAA2B;IAE3B,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,IAAI,gBAAgB,CAAC;IAC5C,IACE,SAAS,KAAK,IAAI;QAClB,OAAO,SAAS,KAAK,QAAQ;QAC7B,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,CAAC;QAChC,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,CAAC;QACD,OAAO,MAAM,CAAC,oBAAoB,EAAE,IAAI,EAAE,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,MAAM,CACX,wBAAwB,EACxB,IAAI,EACJ,yEAAyE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,kBAAkB,EAAE,IAAI,EAAE,4DAA4D,CAAC,CAAC;IACxG,CAAC;IACD,IAAI,WAAW,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO,MAAM,CACX,2BAA2B,EAC3B,IAAI,EACJ,8DAA8D,CAC/D,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,EAAE,UAAU,CAAC;IACpC,MAAM,UAAU,GACd,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7F,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC;IAC/B,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,OAAO,MAAM,CAAC,gBAAgB,EAAE,IAAI,EAAE,yDAAyD,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC"}