@yielded/auth-persistence-drizzle 0.1.0-beta.17 → 0.1.0-beta.19

package/dist/drizzle/d1-totp.d.mts

@@ -4,7 +4,7 @@ import { D1BatchStatements } from "./D1BatchStatements.mjs";
 import { TotpCoordinatorError } from "./totp-target.mjs";
 import { NativeDatabase } from "@yielded/auth-persistence/Adapter";
 import { AnyRelations } from "drizzle-orm";
-import { Effect } from "effect";
+import { Crypto, Effect } from "effect";
 import { LifecycleHooks } from "@yielded/auth/Hooks";
 import { TotpPersistence } from "@yielded/auth/Totp";
 import { EffectSQLiteD1Database } from "drizzle-orm/effect-d1";
@@ -15,9 +15,9 @@ type Database = EffectSQLiteD1Database<AnyRelations> & {
   readonly $client: D1Client;
 };
 type Table$1 = AnySQLiteTable;
-export declare const makeTotpPersistenceServices: <S extends Table$1, F extends Table$1, C extends Table$1, N, RSetup = never>(mapping: TotpMappingSource<TotpMapping<S, F, C, N> & D1TotpMapping, RSetup>) => Effect.Effect<TotpPersistenceServices, import("@yielded/auth-persistence/Adapter").PersistenceMappingError | import("@yielded/auth/Totp").TotpConfigurationError, Database$1 | LifecycleHooks | Exclude<RSetup, NativeDatabase>>;
+export declare const makeTotpPersistenceServices: <S extends Table$1, F extends Table$1, C extends Table$1, N, RSetup = never>(mapping: TotpMappingSource<TotpMapping<S, F, C, N> & D1TotpMapping, RSetup>) => Effect.Effect<TotpPersistenceServices, import("@yielded/auth-persistence/Adapter").PersistenceMappingError | import("@yielded/auth/Totp").TotpConfigurationError, Crypto.Crypto | Database$1 | LifecycleHooks | Exclude<RSetup, NativeDatabase>>;
 export declare const coordinateTotpPersistence: <D extends Database, S extends Table$1, F extends Table$1, C extends Table$1, N, A, E, R, RSetup = never, DatabaseError = never, DatabaseRequirements = never>(acquire: Effect.Effect<D, DatabaseError, DatabaseRequirements>, options: {
   readonly mapping: TotpMappingSource<TotpMapping<S, F, C, N> & D1TotpMapping, RSetup>;
-}, body: Effect.Effect<A, E, R>) => Effect.Effect<A, TotpCoordinatorError<E> | DatabaseError, Exclude<R, TotpPersistence | D1BatchStatements> | LifecycleHooks | RSetup | DatabaseRequirements>;
+}, body: Effect.Effect<A, E, R>) => Effect.Effect<A, TotpCoordinatorError<E> | DatabaseError, Exclude<R, TotpPersistence | D1BatchStatements> | Crypto.Crypto | LifecycleHooks | RSetup | DatabaseRequirements>;
 //#endregion
 //# sourceMappingURL=d1-totp.d.mts.map

package/dist/drizzle/d1-totp.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"d1-totp.mjs","names":["DatabaseService"],"sources":["../../src/drizzle/d1-totp.ts"],"sourcesContent":["import type { D1Client } from \"@effect/sql-d1/D1Client\";\nimport { NativeDatabase } from \"@yielded/auth-persistence/Adapter\";\nimport type { LifecycleHooks } from \"@yielded/auth/Hooks\";\nimport { TotpUnavailable, TotpPersistence } from \"@yielded/auth/Totp\";\nimport type { AnyRelations } from \"drizzle-orm\";\nimport type { EffectSQLiteD1Database } from \"drizzle-orm/effect-d1\";\nimport type { AnySQLiteTable } from \"drizzle-orm/sqlite-core\";\nimport { Context, Effect } from \"effect\";\n\nimport { Database as DatabaseService } from \"./d1-database\";\nimport { makeD1Owner } from \"./d1-planning\";\nimport { D1BatchStatements } from \"./D1BatchStatements\";\nimport { nativeDatabase } from \"./native-database\";\nimport type { D1TotpMapping, TotpMapping, TotpMappingSource } from \"./totp-model\";\nimport { coordinateTargetTotp, makeTotpTarget, type TotpCoordinatorError } from \"./totp-target\";\ntype Database = EffectSQLiteD1Database<AnyRelations> & { readonly $client: D1Client };\ntype Table = AnySQLiteTable;\n\nconst configuration = {\n  mode: \"batch\" as const,\n  dialect: \"sqlite\" as const,\n  locking: false,\n  standaloneGuard: () => Effect.void,\n};\n\n/** Reads use a primary D1 session; observations and expiry are asserted in the same batch. */\nconst target = makeTotpTarget<DatabaseService, Database, Table, D1TotpMapping>(\n  DatabaseService,\n  configuration,\n);\n\nexport const { makeTotpPersistenceServices } = target;\n\nexport const coordinateTotpPersistence = <\n  D extends Database,\n  S extends Table,\n  F extends Table,\n  C extends Table,\n  N,\n  A,\n  E,\n  R,\n  RSetup = never,\n  DatabaseError = never,\n  DatabaseRequirements = never,\n>(\n  acquire: Effect.Effect<D, DatabaseError, DatabaseRequirements>,\n  options: { readonly mapping: TotpMappingSource<TotpMapping<S, F, C, N> & D1TotpMapping, RSetup> },\n  body: Effect.Effect<A, E, R>,\n): Effect.Effect<\n  A,\n  TotpCoordinatorError<E> | DatabaseError,\n  Exclude<R, TotpPersistence | D1BatchStatements> | LifecycleHooks | RSetup | DatabaseRequirements\n> =>\n  Effect.flatMap(nativeDatabase(acquire), (database) =>\n    coordinateTargetTotp(\n      database,\n      options.mapping,\n      configuration,\n      (_transaction, services, append) =>\n        Effect.gen(function* () {\n          const original = services.totpPersistence;\n\n          const nativeCollector = D1BatchStatements.of({\n            append: (statement) => Effect.sync(() => append(statement)),\n          });\n\n          const owner = yield* makeD1Owner(TotpUnavailable.make({})).pipe(\n            Effect.provideService(D1BatchStatements, nativeCollector),\n          );\n\n          const service: TotpPersistence[\"Service\"] = {\n            snapshot: (input) => owner.run(original.snapshot(input)),\n            mutate: (input, prepare) => owner.run(original.mutate(input, prepare)),\n          };\n\n          const provided = Context.make(TotpPersistence, service).pipe(\n            Context.add(D1BatchStatements, owner.collector),\n          );\n\n          return yield* owner.close(Effect.provideContext(body, provided));\n        }),\n    ).pipe(Effect.provideService(NativeDatabase, database)),\n  );\n"],"mappings":";;;;;;;;;AAkBA,MAAM,gBAAgB;CACpB,MAAM;CACN,SAAS;CACT,SAAS;CACT,uBAAuB,OAAO;AAChC;AAQA,MAAa,EAAE,gCALA,eACbA,UACA,aAG6C;AAE/C,MAAa,6BAaX,SACA,SACA,SAMA,OAAO,QAAQ,eAAe,OAAO,IAAI,aACvC,qBACE,UACA,QAAQ,SACR,gBACC,cAAc,UAAU,WACvB,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,SAAS;CAE1B,MAAM,kBAAkB,kBAAkB,GAAG,EAC3C,SAAS,cAAc,OAAO,WAAW,OAAO,SAAS,CAAC,EAC5D,CAAC;CAED,MAAM,QAAQ,OAAO,YAAY,gBAAgB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KACzD,OAAO,eAAe,mBAAmB,eAAe,CAC1D;CAOA,MAAM,WAAW,QAAQ,KAAK,iBAAiB;EAJ7C,WAAW,UAAU,MAAM,IAAI,SAAS,SAAS,KAAK,CAAC;EACvD,SAAS,OAAO,YAAY,MAAM,IAAI,SAAS,OAAO,OAAO,OAAO,CAAC;CAGlB,CAAC,CAAC,CAAC,KACtD,QAAQ,IAAI,mBAAmB,MAAM,SAAS,CAChD;CAEA,OAAO,OAAO,MAAM,MAAM,OAAO,eAAe,MAAM,QAAQ,CAAC;AACjE,CAAC,CACL,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,QAAQ,CAAC,CACxD"}
+{"version":3,"file":"d1-totp.mjs","names":["DatabaseService"],"sources":["../../src/drizzle/d1-totp.ts"],"sourcesContent":["import type { D1Client } from \"@effect/sql-d1/D1Client\";\nimport { NativeDatabase } from \"@yielded/auth-persistence/Adapter\";\nimport type { LifecycleHooks } from \"@yielded/auth/Hooks\";\nimport { TotpUnavailable, TotpPersistence } from \"@yielded/auth/Totp\";\nimport type { AnyRelations } from \"drizzle-orm\";\nimport type { EffectSQLiteD1Database } from \"drizzle-orm/effect-d1\";\nimport type { AnySQLiteTable } from \"drizzle-orm/sqlite-core\";\nimport { type Crypto, Context, Effect } from \"effect\";\n\nimport { Database as DatabaseService } from \"./d1-database\";\nimport { makeD1Owner } from \"./d1-planning\";\nimport { D1BatchStatements } from \"./D1BatchStatements\";\nimport { nativeDatabase } from \"./native-database\";\nimport type { D1TotpMapping, TotpMapping, TotpMappingSource } from \"./totp-model\";\nimport { coordinateTargetTotp, makeTotpTarget, type TotpCoordinatorError } from \"./totp-target\";\ntype Database = EffectSQLiteD1Database<AnyRelations> & { readonly $client: D1Client };\ntype Table = AnySQLiteTable;\n\nconst configuration = {\n  mode: \"batch\" as const,\n  dialect: \"sqlite\" as const,\n  locking: false,\n  standaloneGuard: () => Effect.void,\n};\n\n/** Reads use a primary D1 session; observations and expiry are asserted in the same batch. */\nconst target = makeTotpTarget<DatabaseService, Database, Table, D1TotpMapping>(\n  DatabaseService,\n  configuration,\n);\n\nexport const { makeTotpPersistenceServices } = target;\n\nexport const coordinateTotpPersistence = <\n  D extends Database,\n  S extends Table,\n  F extends Table,\n  C extends Table,\n  N,\n  A,\n  E,\n  R,\n  RSetup = never,\n  DatabaseError = never,\n  DatabaseRequirements = never,\n>(\n  acquire: Effect.Effect<D, DatabaseError, DatabaseRequirements>,\n  options: { readonly mapping: TotpMappingSource<TotpMapping<S, F, C, N> & D1TotpMapping, RSetup> },\n  body: Effect.Effect<A, E, R>,\n): Effect.Effect<\n  A,\n  TotpCoordinatorError<E> | DatabaseError,\n  | Exclude<R, TotpPersistence | D1BatchStatements>\n  | Crypto.Crypto\n  | LifecycleHooks\n  | RSetup\n  | DatabaseRequirements\n> =>\n  Effect.flatMap(nativeDatabase(acquire), (database) =>\n    coordinateTargetTotp(\n      database,\n      options.mapping,\n      configuration,\n      (_transaction, services, append) =>\n        Effect.gen(function* () {\n          const original = services.totpPersistence;\n\n          const nativeCollector = D1BatchStatements.of({\n            append: (statement) => Effect.sync(() => append(statement)),\n          });\n\n          const owner = yield* makeD1Owner(TotpUnavailable.make({})).pipe(\n            Effect.provideService(D1BatchStatements, nativeCollector),\n          );\n\n          const service: TotpPersistence[\"Service\"] = {\n            snapshot: (input) => owner.run(original.snapshot(input)),\n            mutate: (input, prepare) => owner.run(original.mutate(input, prepare)),\n          };\n\n          const provided = Context.make(TotpPersistence, service).pipe(\n            Context.add(D1BatchStatements, owner.collector),\n          );\n\n          return yield* owner.close(Effect.provideContext(body, provided));\n        }),\n    ).pipe(Effect.provideService(NativeDatabase, database)),\n  );\n"],"mappings":";;;;;;;;;AAkBA,MAAM,gBAAgB;CACpB,MAAM;CACN,SAAS;CACT,SAAS;CACT,uBAAuB,OAAO;AAChC;AAQA,MAAa,EAAE,gCALA,eACbA,UACA,aAG6C;AAE/C,MAAa,6BAaX,SACA,SACA,SAUA,OAAO,QAAQ,eAAe,OAAO,IAAI,aACvC,qBACE,UACA,QAAQ,SACR,gBACC,cAAc,UAAU,WACvB,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,SAAS;CAE1B,MAAM,kBAAkB,kBAAkB,GAAG,EAC3C,SAAS,cAAc,OAAO,WAAW,OAAO,SAAS,CAAC,EAC5D,CAAC;CAED,MAAM,QAAQ,OAAO,YAAY,gBAAgB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KACzD,OAAO,eAAe,mBAAmB,eAAe,CAC1D;CAOA,MAAM,WAAW,QAAQ,KAAK,iBAAiB;EAJ7C,WAAW,UAAU,MAAM,IAAI,SAAS,SAAS,KAAK,CAAC;EACvD,SAAS,OAAO,YAAY,MAAM,IAAI,SAAS,OAAO,OAAO,OAAO,CAAC;CAGlB,CAAC,CAAC,CAAC,KACtD,QAAQ,IAAI,mBAAmB,MAAM,SAAS,CAChD;CAEA,OAAO,OAAO,MAAM,MAAM,OAAO,eAAe,MAAM,QAAQ,CAAC;AACjE,CAAC,CACL,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,QAAQ,CAAC,CACxD"}

package/dist/drizzle/mysql-identity.mjs

@@ -2,7 +2,7 @@ import { PersistenceMappingError as PersistenceMappingError$1, column, isMappedC
 import { validateDrizzleStorage } from "./storage-validation.mjs";
 import { nativeDatabase } from "./native-database.mjs";
 import { Database } from "./mysql-database.mjs";
-import { NativeDatabase } from "@yielded/auth-persistence/Adapter";
+import { NativeDatabase, withStorageValidation } from "@yielded/auth-persistence/Adapter";
 import { ExternalIdentityMutation, IdentityConflict, IdentityUnavailable, SubjectProvisioned, SubjectProvisioner } from "@yielded/auth/Identity";
 import { and, eq } from "drizzle-orm";
 import { Cause, Effect, Schema } from "effect";
@@ -96,7 +96,7 @@ const makeMysqlIdentityServices = Effect.fnUntraced(function* (mapping) {
 		...yield* makeMysqlSubjectProvisioningServices(mapping),
 		...yield* makeMysqlExternalIdentityServices(mapping)
 	};
-});
+}, withStorageValidation);
 //#endregion
 export { makeMysqlExternalIdentityServices, makeMysqlIdentityServices, makeMysqlSubjectProvisioningServices };
 

package/dist/drizzle/mysql-identity.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"mysql-identity.mjs","names":["DatabaseService","PersistenceMappingError"],"sources":["../../src/drizzle/mysql-identity.ts"],"sourcesContent":["import { NativeDatabase } from \"@yielded/auth-persistence/Adapter\";\nimport {\n  ExternalIdentityMutation,\n  type ExternalIdentity,\n  IdentityConflict,\n  IdentityUnavailable,\n  SubjectProvisioned,\n  SubjectProvisioner,\n  type SubjectProvisioningInput,\n} from \"@yielded/auth/Identity\";\nimport { reportPersistenceFailure } from \"@yielded/auth/Persistence\";\nimport type { SubjectId } from \"@yielded/auth/Schema\";\n/* oxlint-disable no-explicit-any -- Drizzle generic query types are narrowed at this technology boundary. */\nimport { and, eq } from \"drizzle-orm\";\nimport type { EffectMysql2Database } from \"drizzle-orm/effect-mysql2\";\nimport type { AnyMySqlTable, MySqlColumn } from \"drizzle-orm/mysql-core\";\nimport { Cause, Effect, Schema } from \"effect\";\n\nimport {\n  column,\n  isMappedConstraintConflict,\n  PersistenceMappingError,\n  provisioningFingerprint,\n  type ExternalIdentityTables,\n  type IdentityTables,\n  type SubjectProvisioningTables,\n} from \"./model\";\nimport { Database as DatabaseService } from \"./mysql-database\";\nimport { nativeDatabase } from \"./native-database\";\nimport { validateDrizzleStorage } from \"./storage-validation\";\n\ntype RuntimeDatabase = EffectMysql2Database<any>;\nconst unavailable = () => IdentityUnavailable.make();\nconst isIdentityFailure = Schema.is(Schema.Union([IdentityConflict, IdentityUnavailable]));\n\nconst mapUnavailable = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n  reportPersistenceFailure(effect, isIdentityFailure).pipe(\n    Effect.catchCause((cause) =>\n      Effect.failCause(\n        Cause.map(cause, (error) => (isIdentityFailure(error) ? error : unavailable())),\n      ),\n    ),\n  );\n\nexport const makeMysqlSubjectProvisioningServices = Effect.fnUntraced(function* <\n  Subject extends AnyMySqlTable,\n  Identifier extends AnyMySqlTable,\n  Request extends AnyMySqlTable,\n  NativeId,\n>(mapping: SubjectProvisioningTables<Subject, Identifier, Request, NativeId>) {\n  const database = yield* DatabaseService;\n\n  yield* validateDrizzleStorage(mapping).pipe(\n    Effect.provideServiceEffect(NativeDatabase, nativeDatabase(DatabaseService)),\n    Effect.mapError(() => IdentityUnavailable.make()),\n  );\n\n  const db = database as RuntimeDatabase;\n  const requestTable = mapping.provisioningRequest.table;\n\n  const requestIdColumn = column(\n    requestTable,\n    mapping.provisioningRequest.requestId,\n  ) as MySqlColumn;\n\n  const requestFingerprintColumn = column(\n    requestTable,\n    mapping.provisioningRequest.fingerprint,\n  ) as MySqlColumn;\n\n  const requestSubjectColumn = column(\n    requestTable,\n    mapping.provisioningRequest.subjectId,\n  ) as MySqlColumn;\n\n  const identifierTable = mapping.identifier.table;\n\n  const identifierNamespaceColumn = column(\n    identifierTable,\n    mapping.identifier.namespace,\n  ) as MySqlColumn;\n\n  const identifierValueColumn = column(identifierTable, mapping.identifier.value) as MySqlColumn;\n\n  const findReceipt = Effect.fn(\"DrizzleMysqlIdentity.findReceipt\")(function* (requestId: string) {\n    const rows = yield* db\n      .select({ fingerprint: requestFingerprintColumn, subjectId: requestSubjectColumn })\n      .from(requestTable as any)\n      .where(eq(requestIdColumn, requestId))\n      .limit(1);\n\n    return rows[0];\n  });\n\n  const provision = Effect.fn(\"DrizzleMysqlIdentity.provision\")(function* (\n    input: SubjectProvisioningInput,\n  ) {\n    const fingerprint = provisioningFingerprint(input);\n    const existing = yield* findReceipt(input.requestId);\n\n    if (existing !== undefined) {\n      if (existing.fingerprint !== fingerprint) return yield* IdentityConflict.make();\n      const subjectId = yield* mapping.subjectId.toSubject(existing.subjectId as NativeId);\n\n      return SubjectProvisioned.make({ subjectId });\n    }\n\n    const attempt = db.transaction((tx) =>\n      Effect.gen(function* () {\n        const allocated =\n          mapping.subject.allocateId === undefined\n            ? mapping.subject.allocateIdSync?.()\n            : yield* mapping.subject.allocateId;\n\n        const insert = tx\n          .insert(mapping.subject.table as any)\n          .values(mapping.subject.encodeInsert(input, allocated) as any);\n\n        let nativeId = allocated;\n\n        if (nativeId === undefined) {\n          if (mapping.subject.decodeGeneratedId === undefined)\n            return yield* PersistenceMappingError.make({\n              operation: \"provisionSubject.generatedId\",\n              cause: new Error(\"MySQL generated IDs require decodeGeneratedId\"),\n            });\n          const ids = yield* insert.$returningId();\n\n          nativeId = yield* mapping.subject.decodeGeneratedId(ids as ReadonlyArray<unknown>);\n        } else {\n          yield* insert;\n        }\n        if (input.identifier !== undefined)\n          yield* tx\n            .insert(identifierTable as any)\n            .values(\n              mapping.identifier.encodeInsert(input.identifier, nativeId, input.verifiedAt) as any,\n            );\n        yield* tx\n          .insert(requestTable as any)\n          .values(\n            mapping.provisioningRequest.encodeInsert(input.requestId, fingerprint, nativeId) as any,\n          );\n\n        return nativeId;\n      }),\n    );\n\n    const nativeId = yield* attempt.pipe(\n      Effect.catchCause(\n        (\n          cause,\n        ): Effect.Effect<\n          NativeId,\n          | Effect.Error<typeof attempt>\n          | Effect.Error<ReturnType<typeof findReceipt>>\n          | IdentityConflict\n        > => {\n          if (\n            cause.reasons.length === 0 ||\n            !cause.reasons.every(\n              (reason) =>\n                Cause.isFailReason(reason) &&\n                isMappedConstraintConflict(mapping.isConstraintConflict, reason.error),\n            )\n          )\n            return Effect.failCause(cause);\n\n          return findReceipt(input.requestId).pipe(\n            Effect.flatMap((receipt) => {\n              if (receipt !== undefined && receipt.fingerprint === fingerprint)\n                return Effect.succeed(receipt.subjectId as NativeId);\n              if (input.identifier === undefined) return IdentityConflict.make();\n\n              return db\n                .select({\n                  subjectId: column(identifierTable, mapping.identifier.subjectId) as MySqlColumn,\n                })\n                .from(identifierTable as any)\n                .where(\n                  and(\n                    eq(identifierNamespaceColumn, input.identifier.namespace),\n                    eq(identifierValueColumn, input.identifier.value),\n                  ),\n                )\n                .limit(1)\n                .pipe(Effect.flatMap(() => IdentityConflict.make()));\n            }),\n          );\n        },\n      ),\n    );\n\n    const subjectId = yield* mapping.subjectId.toSubject(nativeId);\n\n    return SubjectProvisioned.make({ subjectId });\n  }, mapUnavailable);\n\n  return { subjectProvisioner: SubjectProvisioner.of({ provision }) } as const;\n});\n\nexport const makeMysqlExternalIdentityServices = Effect.fnUntraced(function* <\n  Subject extends AnyMySqlTable,\n  External extends AnyMySqlTable,\n  NativeId,\n>(mapping: ExternalIdentityTables<Subject, External, NativeId>) {\n  const database = yield* DatabaseService;\n\n  yield* validateDrizzleStorage(mapping).pipe(\n    Effect.provideServiceEffect(NativeDatabase, nativeDatabase(DatabaseService)),\n    Effect.mapError(() => IdentityUnavailable.make()),\n  );\n\n  const db = database as RuntimeDatabase;\n  const externalTable = mapping.externalIdentity.table;\n\n  const externalProviderColumn = column(\n    externalTable,\n    mapping.externalIdentity.provider,\n  ) as MySqlColumn;\n\n  const externalIssuerColumn = column(\n    externalTable,\n    mapping.externalIdentity.issuer,\n  ) as MySqlColumn;\n\n  const externalSubjectColumn = column(\n    externalTable,\n    mapping.externalIdentity.subject,\n  ) as MySqlColumn;\n\n  const externalSubjectIdColumn = column(\n    externalTable,\n    mapping.externalIdentity.subjectId,\n  ) as MySqlColumn;\n\n  const subjectIdColumn = column(mapping.subject.table, mapping.subject.id) as MySqlColumn;\n  const subjectStatusColumn = column(mapping.subject.table, mapping.subject.status) as MySqlColumn;\n\n  const bind = Effect.fn(\"DrizzleMysqlIdentity.bindExternalIdentity\")(function* (\n    subjectId: SubjectId,\n    identity: ExternalIdentity,\n  ) {\n    const nativeId = yield* mapping.subjectId.toNative(subjectId);\n\n    const decision = yield* db\n      .transaction((tx) =>\n        Effect.gen(function* () {\n          const subjects = yield* tx\n            .select({ status: subjectStatusColumn })\n            .from(mapping.subject.table as any)\n            .where(eq(subjectIdColumn, nativeId))\n            .for(\"update\")\n            .limit(1);\n\n          if (subjects[0] === undefined || !mapping.subject.isActiveStatus(subjects[0].status))\n            return { _tag: \"conflict\" } as const;\n\n          const links = yield* tx\n            .select({ subjectId: externalSubjectIdColumn })\n            .from(externalTable as any)\n            .where(\n              and(\n                eq(externalProviderColumn, identity.provider),\n                eq(externalIssuerColumn, identity.issuer),\n                eq(externalSubjectColumn, identity.subject),\n              ),\n            )\n            .for(\"update\")\n            .limit(1);\n\n          if (links[0] !== undefined)\n            return mapping.subjectId.equals(links[0].subjectId as NativeId, nativeId)\n              ? ({ _tag: \"bound\" } as const)\n              : ({ _tag: \"conflict\" } as const);\n          yield* tx\n            .insert(externalTable as any)\n            .values(mapping.externalIdentity.encodeInsert(identity, nativeId) as any);\n\n          return { _tag: \"bound\" } as const;\n        }),\n      )\n      .pipe(\n        Effect.catchCause((cause) => {\n          if (\n            cause.reasons.length === 0 ||\n            !cause.reasons.every(\n              (reason) =>\n                Cause.isFailReason(reason) &&\n                isMappedConstraintConflict(mapping.isConstraintConflict, reason.error),\n            )\n          )\n            return Effect.failCause(cause);\n\n          return db\n            .select({ subjectId: externalSubjectIdColumn })\n            .from(externalTable as any)\n            .where(\n              and(\n                eq(externalProviderColumn, identity.provider),\n                eq(externalIssuerColumn, identity.issuer),\n                eq(externalSubjectColumn, identity.subject),\n              ),\n            )\n            .limit(1)\n            .pipe(\n              Effect.map((rows) =>\n                rows[0] !== undefined &&\n                mapping.subjectId.equals(rows[0].subjectId as NativeId, nativeId)\n                  ? ({ _tag: \"bound\" } as const)\n                  : ({ _tag: \"conflict\" } as const),\n              ),\n            );\n        }),\n      );\n\n    if (decision._tag === \"conflict\") return yield* IdentityConflict.make();\n  }, mapUnavailable);\n\n  return { externalIdentityMutation: ExternalIdentityMutation.of({ bind }) } as const;\n});\n\nexport const makeMysqlIdentityServices = Effect.fnUntraced(function* <\n  Subject extends AnyMySqlTable,\n  Identifier extends AnyMySqlTable,\n  External extends AnyMySqlTable,\n  Request extends AnyMySqlTable,\n  NativeId,\n>(mapping: IdentityTables<Subject, Identifier, External, Request, NativeId>) {\n  return {\n    ...(yield* makeMysqlSubjectProvisioningServices(mapping)),\n    ...(yield* makeMysqlExternalIdentityServices(mapping)),\n  };\n});\n"],"mappings":";;;;;;;;;;AAgCA,MAAM,oBAAoB,oBAAoB,KAAK;AACnD,MAAM,oBAAoB,OAAO,GAAG,OAAO,MAAM,CAAC,kBAAkB,mBAAmB,CAAC,CAAC;AAEzF,MAAM,kBAA2B,WAC/B,yBAAyB,QAAQ,iBAAiB,CAAC,CAAC,KAClD,OAAO,YAAY,UACjB,OAAO,UACL,MAAM,IAAI,QAAQ,UAAW,kBAAkB,KAAK,IAAI,QAAQ,YAAY,CAAE,CAChF,CACF,CACF;AAEF,MAAa,uCAAuC,OAAO,WAAW,WAKpE,SAA4E;CAC5E,MAAM,WAAW,OAAOA;CAExB,OAAO,uBAAuB,OAAO,CAAC,CAAC,KACrC,OAAO,qBAAqB,gBAAgB,eAAeA,QAAe,CAAC,GAC3E,OAAO,eAAe,oBAAoB,KAAK,CAAC,CAClD;CAEA,MAAM,KAAK;CACX,MAAM,eAAe,QAAQ,oBAAoB;CAEjD,MAAM,kBAAkB,OACtB,cACA,QAAQ,oBAAoB,SAC9B;CAEA,MAAM,2BAA2B,OAC/B,cACA,QAAQ,oBAAoB,WAC9B;CAEA,MAAM,uBAAuB,OAC3B,cACA,QAAQ,oBAAoB,SAC9B;CAEA,MAAM,kBAAkB,QAAQ,WAAW;CAE3C,MAAM,4BAA4B,OAChC,iBACA,QAAQ,WAAW,SACrB;CAEA,MAAM,wBAAwB,OAAO,iBAAiB,QAAQ,WAAW,KAAK;CAE9E,MAAM,cAAc,OAAO,GAAG,kCAAkC,CAAC,CAAC,WAAW,WAAmB;EAO9F,QAAO,OANa,GACjB,OAAO;GAAE,aAAa;GAA0B,WAAW;EAAqB,CAAC,CAAC,CAClF,KAAK,YAAmB,CAAC,CACzB,MAAM,GAAG,iBAAiB,SAAS,CAAC,CAAC,CACrC,MAAM,CAAC,EAAA,CAEE;CACd,CAAC;CAED,MAAM,YAAY,OAAO,GAAG,gCAAgC,CAAC,CAAC,WAC5D,OACA;EACA,MAAM,cAAc,wBAAwB,KAAK;EACjD,MAAM,WAAW,OAAO,YAAY,MAAM,SAAS;EAEnD,IAAI,aAAa,KAAA,GAAW;GAC1B,IAAI,SAAS,gBAAgB,aAAa,OAAO,OAAO,iBAAiB,KAAK;GAC9E,MAAM,YAAY,OAAO,QAAQ,UAAU,UAAU,SAAS,SAAqB;GAEnF,OAAO,mBAAmB,KAAK,EAAE,UAAU,CAAC;EAC9C;EA2CA,MAAM,WAAW,OAzCD,GAAG,aAAa,OAC9B,OAAO,IAAI,aAAa;GACtB,MAAM,YACJ,QAAQ,QAAQ,eAAe,KAAA,IAC3B,QAAQ,QAAQ,iBAAiB,IACjC,OAAO,QAAQ,QAAQ;GAE7B,MAAM,SAAS,GACZ,OAAO,QAAQ,QAAQ,KAAY,CAAC,CACpC,OAAO,QAAQ,QAAQ,aAAa,OAAO,SAAS,CAAQ;GAE/D,IAAI,WAAW;GAEf,IAAI,aAAa,KAAA,GAAW;IAC1B,IAAI,QAAQ,QAAQ,sBAAsB,KAAA,GACxC,OAAO,OAAOC,0BAAwB,KAAK;KACzC,WAAW;KACX,uBAAO,IAAI,MAAM,+CAA+C;IAClE,CAAC;IACH,MAAM,MAAM,OAAO,OAAO,aAAa;IAEvC,WAAW,OAAO,QAAQ,QAAQ,kBAAkB,GAA6B;GACnF,OACE,OAAO;GAET,IAAI,MAAM,eAAe,KAAA,GACvB,OAAO,GACJ,OAAO,eAAsB,CAAC,CAC9B,OACC,QAAQ,WAAW,aAAa,MAAM,YAAY,UAAU,MAAM,UAAU,CAC9E;GACJ,OAAO,GACJ,OAAO,YAAmB,CAAC,CAC3B,OACC,QAAQ,oBAAoB,aAAa,MAAM,WAAW,aAAa,QAAQ,CACjF;GAEF,OAAO;EACT,CAAC,CAG2B,CAAC,CAAC,KAC9B,OAAO,YAEH,UAMG;GACH,IACE,MAAM,QAAQ,WAAW,KACzB,CAAC,MAAM,QAAQ,OACZ,WACC,MAAM,aAAa,MAAM,KACzB,2BAA2B,QAAQ,sBAAsB,OAAO,KAAK,CACzE,GAEA,OAAO,OAAO,UAAU,KAAK;GAE/B,OAAO,YAAY,MAAM,SAAS,CAAC,CAAC,KAClC,OAAO,SAAS,YAAY;IAC1B,IAAI,YAAY,KAAA,KAAa,QAAQ,gBAAgB,aACnD,OAAO,OAAO,QAAQ,QAAQ,SAAqB;IACrD,IAAI,MAAM,eAAe,KAAA,GAAW,OAAO,iBAAiB,KAAK;IAEjE,OAAO,GACJ,OAAO,EACN,WAAW,OAAO,iBAAiB,QAAQ,WAAW,SAAS,EACjE,CAAC,CAAC,CACD,KAAK,eAAsB,CAAC,CAC5B,MACC,IACE,GAAG,2BAA2B,MAAM,WAAW,SAAS,GACxD,GAAG,uBAAuB,MAAM,WAAW,KAAK,CAClD,CACF,CAAC,CACA,MAAM,CAAC,CAAC,CACR,KAAK,OAAO,cAAc,iBAAiB,KAAK,CAAC,CAAC;GACvD,CAAC,CACH;EACF,CACF,CACF;EAEA,MAAM,YAAY,OAAO,QAAQ,UAAU,UAAU,QAAQ;EAE7D,OAAO,mBAAmB,KAAK,EAAE,UAAU,CAAC;CAC9C,GAAG,cAAc;CAEjB,OAAO,EAAE,oBAAoB,mBAAmB,GAAG,EAAE,UAAU,CAAC,EAAE;AACpE,CAAC;AAED,MAAa,oCAAoC,OAAO,WAAW,WAIjE,SAA8D;CAC9D,MAAM,WAAW,OAAOD;CAExB,OAAO,uBAAuB,OAAO,CAAC,CAAC,KACrC,OAAO,qBAAqB,gBAAgB,eAAeA,QAAe,CAAC,GAC3E,OAAO,eAAe,oBAAoB,KAAK,CAAC,CAClD;CAEA,MAAM,KAAK;CACX,MAAM,gBAAgB,QAAQ,iBAAiB;CAE/C,MAAM,yBAAyB,OAC7B,eACA,QAAQ,iBAAiB,QAC3B;CAEA,MAAM,uBAAuB,OAC3B,eACA,QAAQ,iBAAiB,MAC3B;CAEA,MAAM,wBAAwB,OAC5B,eACA,QAAQ,iBAAiB,OAC3B;CAEA,MAAM,0BAA0B,OAC9B,eACA,QAAQ,iBAAiB,SAC3B;CAEA,MAAM,kBAAkB,OAAO,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,EAAE;CACxE,MAAM,sBAAsB,OAAO,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,MAAM;CAEhF,MAAM,OAAO,OAAO,GAAG,2CAA2C,CAAC,CAAC,WAClE,WACA,UACA;EACA,MAAM,WAAW,OAAO,QAAQ,UAAU,SAAS,SAAS;EAyE5D,KAAI,OAvEoB,GACrB,aAAa,OACZ,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,GACrB,OAAO,EAAE,QAAQ,oBAAoB,CAAC,CAAC,CACvC,KAAK,QAAQ,QAAQ,KAAY,CAAC,CAClC,MAAM,GAAG,iBAAiB,QAAQ,CAAC,CAAC,CACpC,IAAI,QAAQ,CAAC,CACb,MAAM,CAAC;GAEV,IAAI,SAAS,OAAO,KAAA,KAAa,CAAC,QAAQ,QAAQ,eAAe,SAAS,EAAE,CAAC,MAAM,GACjF,OAAO,EAAE,MAAM,WAAW;GAE5B,MAAM,QAAQ,OAAO,GAClB,OAAO,EAAE,WAAW,wBAAwB,CAAC,CAAC,CAC9C,KAAK,aAAoB,CAAC,CAC1B,MACC,IACE,GAAG,wBAAwB,SAAS,QAAQ,GAC5C,GAAG,sBAAsB,SAAS,MAAM,GACxC,GAAG,uBAAuB,SAAS,OAAO,CAC5C,CACF,CAAC,CACA,IAAI,QAAQ,CAAC,CACb,MAAM,CAAC;GAEV,IAAI,MAAM,OAAO,KAAA,GACf,OAAO,QAAQ,UAAU,OAAO,MAAM,EAAE,CAAC,WAAuB,QAAQ,IACnE,EAAE,MAAM,QAAQ,IAChB,EAAE,MAAM,WAAW;GAC1B,OAAO,GACJ,OAAO,aAAoB,CAAC,CAC5B,OAAO,QAAQ,iBAAiB,aAAa,UAAU,QAAQ,CAAQ;GAE1E,OAAO,EAAE,MAAM,QAAQ;EACzB,CAAC,CACH,CAAC,CACA,KACC,OAAO,YAAY,UAAU;GAC3B,IACE,MAAM,QAAQ,WAAW,KACzB,CAAC,MAAM,QAAQ,OACZ,WACC,MAAM,aAAa,MAAM,KACzB,2BAA2B,QAAQ,sBAAsB,OAAO,KAAK,CACzE,GAEA,OAAO,OAAO,UAAU,KAAK;GAE/B,OAAO,GACJ,OAAO,EAAE,WAAW,wBAAwB,CAAC,CAAC,CAC9C,KAAK,aAAoB,CAAC,CAC1B,MACC,IACE,GAAG,wBAAwB,SAAS,QAAQ,GAC5C,GAAG,sBAAsB,SAAS,MAAM,GACxC,GAAG,uBAAuB,SAAS,OAAO,CAC5C,CACF,CAAC,CACA,MAAM,CAAC,CAAC,CACR,KACC,OAAO,KAAK,SACV,KAAK,OAAO,KAAA,KACZ,QAAQ,UAAU,OAAO,KAAK,EAAE,CAAC,WAAuB,QAAQ,IAC3D,EAAE,MAAM,QAAQ,IAChB,EAAE,MAAM,WAAW,CAC1B,CACF;EACJ,CAAC,CACH,EAAA,CAEW,SAAS,YAAY,OAAO,OAAO,iBAAiB,KAAK;CACxE,GAAG,cAAc;CAEjB,OAAO,EAAE,0BAA0B,yBAAyB,GAAG,EAAE,KAAK,CAAC,EAAE;AAC3E,CAAC;AAED,MAAa,4BAA4B,OAAO,WAAW,WAMzD,SAA2E;CAC3E,OAAO;EACL,GAAI,OAAO,qCAAqC,OAAO;EACvD,GAAI,OAAO,kCAAkC,OAAO;CACtD;AACF,CAAC"}
+{"version":3,"file":"mysql-identity.mjs","names":["DatabaseService","PersistenceMappingError"],"sources":["../../src/drizzle/mysql-identity.ts"],"sourcesContent":["import { withStorageValidation, NativeDatabase } from \"@yielded/auth-persistence/Adapter\";\nimport {\n  ExternalIdentityMutation,\n  type ExternalIdentity,\n  IdentityConflict,\n  IdentityUnavailable,\n  SubjectProvisioned,\n  SubjectProvisioner,\n  type SubjectProvisioningInput,\n} from \"@yielded/auth/Identity\";\nimport { reportPersistenceFailure } from \"@yielded/auth/Persistence\";\nimport type { SubjectId } from \"@yielded/auth/Schema\";\n/* oxlint-disable no-explicit-any -- Drizzle generic query types are narrowed at this technology boundary. */\nimport { and, eq } from \"drizzle-orm\";\nimport type { EffectMysql2Database } from \"drizzle-orm/effect-mysql2\";\nimport type { AnyMySqlTable, MySqlColumn } from \"drizzle-orm/mysql-core\";\nimport { Cause, Effect, Schema } from \"effect\";\n\nimport {\n  column,\n  isMappedConstraintConflict,\n  PersistenceMappingError,\n  provisioningFingerprint,\n  type ExternalIdentityTables,\n  type IdentityTables,\n  type SubjectProvisioningTables,\n} from \"./model\";\nimport { Database as DatabaseService } from \"./mysql-database\";\nimport { nativeDatabase } from \"./native-database\";\nimport { validateDrizzleStorage } from \"./storage-validation\";\n\ntype RuntimeDatabase = EffectMysql2Database<any>;\nconst unavailable = () => IdentityUnavailable.make();\nconst isIdentityFailure = Schema.is(Schema.Union([IdentityConflict, IdentityUnavailable]));\n\nconst mapUnavailable = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n  reportPersistenceFailure(effect, isIdentityFailure).pipe(\n    Effect.catchCause((cause) =>\n      Effect.failCause(\n        Cause.map(cause, (error) => (isIdentityFailure(error) ? error : unavailable())),\n      ),\n    ),\n  );\n\nexport const makeMysqlSubjectProvisioningServices = Effect.fnUntraced(function* <\n  Subject extends AnyMySqlTable,\n  Identifier extends AnyMySqlTable,\n  Request extends AnyMySqlTable,\n  NativeId,\n>(mapping: SubjectProvisioningTables<Subject, Identifier, Request, NativeId>) {\n  const database = yield* DatabaseService;\n\n  yield* validateDrizzleStorage(mapping).pipe(\n    Effect.provideServiceEffect(NativeDatabase, nativeDatabase(DatabaseService)),\n    Effect.mapError(() => IdentityUnavailable.make()),\n  );\n\n  const db = database as RuntimeDatabase;\n  const requestTable = mapping.provisioningRequest.table;\n\n  const requestIdColumn = column(\n    requestTable,\n    mapping.provisioningRequest.requestId,\n  ) as MySqlColumn;\n\n  const requestFingerprintColumn = column(\n    requestTable,\n    mapping.provisioningRequest.fingerprint,\n  ) as MySqlColumn;\n\n  const requestSubjectColumn = column(\n    requestTable,\n    mapping.provisioningRequest.subjectId,\n  ) as MySqlColumn;\n\n  const identifierTable = mapping.identifier.table;\n\n  const identifierNamespaceColumn = column(\n    identifierTable,\n    mapping.identifier.namespace,\n  ) as MySqlColumn;\n\n  const identifierValueColumn = column(identifierTable, mapping.identifier.value) as MySqlColumn;\n\n  const findReceipt = Effect.fn(\"DrizzleMysqlIdentity.findReceipt\")(function* (requestId: string) {\n    const rows = yield* db\n      .select({ fingerprint: requestFingerprintColumn, subjectId: requestSubjectColumn })\n      .from(requestTable as any)\n      .where(eq(requestIdColumn, requestId))\n      .limit(1);\n\n    return rows[0];\n  });\n\n  const provision = Effect.fn(\"DrizzleMysqlIdentity.provision\")(function* (\n    input: SubjectProvisioningInput,\n  ) {\n    const fingerprint = provisioningFingerprint(input);\n    const existing = yield* findReceipt(input.requestId);\n\n    if (existing !== undefined) {\n      if (existing.fingerprint !== fingerprint) return yield* IdentityConflict.make();\n      const subjectId = yield* mapping.subjectId.toSubject(existing.subjectId as NativeId);\n\n      return SubjectProvisioned.make({ subjectId });\n    }\n\n    const attempt = db.transaction((tx) =>\n      Effect.gen(function* () {\n        const allocated =\n          mapping.subject.allocateId === undefined\n            ? mapping.subject.allocateIdSync?.()\n            : yield* mapping.subject.allocateId;\n\n        const insert = tx\n          .insert(mapping.subject.table as any)\n          .values(mapping.subject.encodeInsert(input, allocated) as any);\n\n        let nativeId = allocated;\n\n        if (nativeId === undefined) {\n          if (mapping.subject.decodeGeneratedId === undefined)\n            return yield* PersistenceMappingError.make({\n              operation: \"provisionSubject.generatedId\",\n              cause: new Error(\"MySQL generated IDs require decodeGeneratedId\"),\n            });\n          const ids = yield* insert.$returningId();\n\n          nativeId = yield* mapping.subject.decodeGeneratedId(ids as ReadonlyArray<unknown>);\n        } else {\n          yield* insert;\n        }\n        if (input.identifier !== undefined)\n          yield* tx\n            .insert(identifierTable as any)\n            .values(\n              mapping.identifier.encodeInsert(input.identifier, nativeId, input.verifiedAt) as any,\n            );\n        yield* tx\n          .insert(requestTable as any)\n          .values(\n            mapping.provisioningRequest.encodeInsert(input.requestId, fingerprint, nativeId) as any,\n          );\n\n        return nativeId;\n      }),\n    );\n\n    const nativeId = yield* attempt.pipe(\n      Effect.catchCause(\n        (\n          cause,\n        ): Effect.Effect<\n          NativeId,\n          | Effect.Error<typeof attempt>\n          | Effect.Error<ReturnType<typeof findReceipt>>\n          | IdentityConflict\n        > => {\n          if (\n            cause.reasons.length === 0 ||\n            !cause.reasons.every(\n              (reason) =>\n                Cause.isFailReason(reason) &&\n                isMappedConstraintConflict(mapping.isConstraintConflict, reason.error),\n            )\n          )\n            return Effect.failCause(cause);\n\n          return findReceipt(input.requestId).pipe(\n            Effect.flatMap((receipt) => {\n              if (receipt !== undefined && receipt.fingerprint === fingerprint)\n                return Effect.succeed(receipt.subjectId as NativeId);\n              if (input.identifier === undefined) return IdentityConflict.make();\n\n              return db\n                .select({\n                  subjectId: column(identifierTable, mapping.identifier.subjectId) as MySqlColumn,\n                })\n                .from(identifierTable as any)\n                .where(\n                  and(\n                    eq(identifierNamespaceColumn, input.identifier.namespace),\n                    eq(identifierValueColumn, input.identifier.value),\n                  ),\n                )\n                .limit(1)\n                .pipe(Effect.flatMap(() => IdentityConflict.make()));\n            }),\n          );\n        },\n      ),\n    );\n\n    const subjectId = yield* mapping.subjectId.toSubject(nativeId);\n\n    return SubjectProvisioned.make({ subjectId });\n  }, mapUnavailable);\n\n  return { subjectProvisioner: SubjectProvisioner.of({ provision }) } as const;\n});\n\nexport const makeMysqlExternalIdentityServices = Effect.fnUntraced(function* <\n  Subject extends AnyMySqlTable,\n  External extends AnyMySqlTable,\n  NativeId,\n>(mapping: ExternalIdentityTables<Subject, External, NativeId>) {\n  const database = yield* DatabaseService;\n\n  yield* validateDrizzleStorage(mapping).pipe(\n    Effect.provideServiceEffect(NativeDatabase, nativeDatabase(DatabaseService)),\n    Effect.mapError(() => IdentityUnavailable.make()),\n  );\n\n  const db = database as RuntimeDatabase;\n  const externalTable = mapping.externalIdentity.table;\n\n  const externalProviderColumn = column(\n    externalTable,\n    mapping.externalIdentity.provider,\n  ) as MySqlColumn;\n\n  const externalIssuerColumn = column(\n    externalTable,\n    mapping.externalIdentity.issuer,\n  ) as MySqlColumn;\n\n  const externalSubjectColumn = column(\n    externalTable,\n    mapping.externalIdentity.subject,\n  ) as MySqlColumn;\n\n  const externalSubjectIdColumn = column(\n    externalTable,\n    mapping.externalIdentity.subjectId,\n  ) as MySqlColumn;\n\n  const subjectIdColumn = column(mapping.subject.table, mapping.subject.id) as MySqlColumn;\n  const subjectStatusColumn = column(mapping.subject.table, mapping.subject.status) as MySqlColumn;\n\n  const bind = Effect.fn(\"DrizzleMysqlIdentity.bindExternalIdentity\")(function* (\n    subjectId: SubjectId,\n    identity: ExternalIdentity,\n  ) {\n    const nativeId = yield* mapping.subjectId.toNative(subjectId);\n\n    const decision = yield* db\n      .transaction((tx) =>\n        Effect.gen(function* () {\n          const subjects = yield* tx\n            .select({ status: subjectStatusColumn })\n            .from(mapping.subject.table as any)\n            .where(eq(subjectIdColumn, nativeId))\n            .for(\"update\")\n            .limit(1);\n\n          if (subjects[0] === undefined || !mapping.subject.isActiveStatus(subjects[0].status))\n            return { _tag: \"conflict\" } as const;\n\n          const links = yield* tx\n            .select({ subjectId: externalSubjectIdColumn })\n            .from(externalTable as any)\n            .where(\n              and(\n                eq(externalProviderColumn, identity.provider),\n                eq(externalIssuerColumn, identity.issuer),\n                eq(externalSubjectColumn, identity.subject),\n              ),\n            )\n            .for(\"update\")\n            .limit(1);\n\n          if (links[0] !== undefined)\n            return mapping.subjectId.equals(links[0].subjectId as NativeId, nativeId)\n              ? ({ _tag: \"bound\" } as const)\n              : ({ _tag: \"conflict\" } as const);\n          yield* tx\n            .insert(externalTable as any)\n            .values(mapping.externalIdentity.encodeInsert(identity, nativeId) as any);\n\n          return { _tag: \"bound\" } as const;\n        }),\n      )\n      .pipe(\n        Effect.catchCause((cause) => {\n          if (\n            cause.reasons.length === 0 ||\n            !cause.reasons.every(\n              (reason) =>\n                Cause.isFailReason(reason) &&\n                isMappedConstraintConflict(mapping.isConstraintConflict, reason.error),\n            )\n          )\n            return Effect.failCause(cause);\n\n          return db\n            .select({ subjectId: externalSubjectIdColumn })\n            .from(externalTable as any)\n            .where(\n              and(\n                eq(externalProviderColumn, identity.provider),\n                eq(externalIssuerColumn, identity.issuer),\n                eq(externalSubjectColumn, identity.subject),\n              ),\n            )\n            .limit(1)\n            .pipe(\n              Effect.map((rows) =>\n                rows[0] !== undefined &&\n                mapping.subjectId.equals(rows[0].subjectId as NativeId, nativeId)\n                  ? ({ _tag: \"bound\" } as const)\n                  : ({ _tag: \"conflict\" } as const),\n              ),\n            );\n        }),\n      );\n\n    if (decision._tag === \"conflict\") return yield* IdentityConflict.make();\n  }, mapUnavailable);\n\n  return { externalIdentityMutation: ExternalIdentityMutation.of({ bind }) } as const;\n});\n\nexport const makeMysqlIdentityServices = Effect.fnUntraced(function* <\n  Subject extends AnyMySqlTable,\n  Identifier extends AnyMySqlTable,\n  External extends AnyMySqlTable,\n  Request extends AnyMySqlTable,\n  NativeId,\n>(mapping: IdentityTables<Subject, Identifier, External, Request, NativeId>) {\n  return {\n    ...(yield* makeMysqlSubjectProvisioningServices(mapping)),\n    ...(yield* makeMysqlExternalIdentityServices(mapping)),\n  };\n}, withStorageValidation);\n"],"mappings":";;;;;;;;;;AAgCA,MAAM,oBAAoB,oBAAoB,KAAK;AACnD,MAAM,oBAAoB,OAAO,GAAG,OAAO,MAAM,CAAC,kBAAkB,mBAAmB,CAAC,CAAC;AAEzF,MAAM,kBAA2B,WAC/B,yBAAyB,QAAQ,iBAAiB,CAAC,CAAC,KAClD,OAAO,YAAY,UACjB,OAAO,UACL,MAAM,IAAI,QAAQ,UAAW,kBAAkB,KAAK,IAAI,QAAQ,YAAY,CAAE,CAChF,CACF,CACF;AAEF,MAAa,uCAAuC,OAAO,WAAW,WAKpE,SAA4E;CAC5E,MAAM,WAAW,OAAOA;CAExB,OAAO,uBAAuB,OAAO,CAAC,CAAC,KACrC,OAAO,qBAAqB,gBAAgB,eAAeA,QAAe,CAAC,GAC3E,OAAO,eAAe,oBAAoB,KAAK,CAAC,CAClD;CAEA,MAAM,KAAK;CACX,MAAM,eAAe,QAAQ,oBAAoB;CAEjD,MAAM,kBAAkB,OACtB,cACA,QAAQ,oBAAoB,SAC9B;CAEA,MAAM,2BAA2B,OAC/B,cACA,QAAQ,oBAAoB,WAC9B;CAEA,MAAM,uBAAuB,OAC3B,cACA,QAAQ,oBAAoB,SAC9B;CAEA,MAAM,kBAAkB,QAAQ,WAAW;CAE3C,MAAM,4BAA4B,OAChC,iBACA,QAAQ,WAAW,SACrB;CAEA,MAAM,wBAAwB,OAAO,iBAAiB,QAAQ,WAAW,KAAK;CAE9E,MAAM,cAAc,OAAO,GAAG,kCAAkC,CAAC,CAAC,WAAW,WAAmB;EAO9F,QAAO,OANa,GACjB,OAAO;GAAE,aAAa;GAA0B,WAAW;EAAqB,CAAC,CAAC,CAClF,KAAK,YAAmB,CAAC,CACzB,MAAM,GAAG,iBAAiB,SAAS,CAAC,CAAC,CACrC,MAAM,CAAC,EAAA,CAEE;CACd,CAAC;CAED,MAAM,YAAY,OAAO,GAAG,gCAAgC,CAAC,CAAC,WAC5D,OACA;EACA,MAAM,cAAc,wBAAwB,KAAK;EACjD,MAAM,WAAW,OAAO,YAAY,MAAM,SAAS;EAEnD,IAAI,aAAa,KAAA,GAAW;GAC1B,IAAI,SAAS,gBAAgB,aAAa,OAAO,OAAO,iBAAiB,KAAK;GAC9E,MAAM,YAAY,OAAO,QAAQ,UAAU,UAAU,SAAS,SAAqB;GAEnF,OAAO,mBAAmB,KAAK,EAAE,UAAU,CAAC;EAC9C;EA2CA,MAAM,WAAW,OAzCD,GAAG,aAAa,OAC9B,OAAO,IAAI,aAAa;GACtB,MAAM,YACJ,QAAQ,QAAQ,eAAe,KAAA,IAC3B,QAAQ,QAAQ,iBAAiB,IACjC,OAAO,QAAQ,QAAQ;GAE7B,MAAM,SAAS,GACZ,OAAO,QAAQ,QAAQ,KAAY,CAAC,CACpC,OAAO,QAAQ,QAAQ,aAAa,OAAO,SAAS,CAAQ;GAE/D,IAAI,WAAW;GAEf,IAAI,aAAa,KAAA,GAAW;IAC1B,IAAI,QAAQ,QAAQ,sBAAsB,KAAA,GACxC,OAAO,OAAOC,0BAAwB,KAAK;KACzC,WAAW;KACX,uBAAO,IAAI,MAAM,+CAA+C;IAClE,CAAC;IACH,MAAM,MAAM,OAAO,OAAO,aAAa;IAEvC,WAAW,OAAO,QAAQ,QAAQ,kBAAkB,GAA6B;GACnF,OACE,OAAO;GAET,IAAI,MAAM,eAAe,KAAA,GACvB,OAAO,GACJ,OAAO,eAAsB,CAAC,CAC9B,OACC,QAAQ,WAAW,aAAa,MAAM,YAAY,UAAU,MAAM,UAAU,CAC9E;GACJ,OAAO,GACJ,OAAO,YAAmB,CAAC,CAC3B,OACC,QAAQ,oBAAoB,aAAa,MAAM,WAAW,aAAa,QAAQ,CACjF;GAEF,OAAO;EACT,CAAC,CAG2B,CAAC,CAAC,KAC9B,OAAO,YAEH,UAMG;GACH,IACE,MAAM,QAAQ,WAAW,KACzB,CAAC,MAAM,QAAQ,OACZ,WACC,MAAM,aAAa,MAAM,KACzB,2BAA2B,QAAQ,sBAAsB,OAAO,KAAK,CACzE,GAEA,OAAO,OAAO,UAAU,KAAK;GAE/B,OAAO,YAAY,MAAM,SAAS,CAAC,CAAC,KAClC,OAAO,SAAS,YAAY;IAC1B,IAAI,YAAY,KAAA,KAAa,QAAQ,gBAAgB,aACnD,OAAO,OAAO,QAAQ,QAAQ,SAAqB;IACrD,IAAI,MAAM,eAAe,KAAA,GAAW,OAAO,iBAAiB,KAAK;IAEjE,OAAO,GACJ,OAAO,EACN,WAAW,OAAO,iBAAiB,QAAQ,WAAW,SAAS,EACjE,CAAC,CAAC,CACD,KAAK,eAAsB,CAAC,CAC5B,MACC,IACE,GAAG,2BAA2B,MAAM,WAAW,SAAS,GACxD,GAAG,uBAAuB,MAAM,WAAW,KAAK,CAClD,CACF,CAAC,CACA,MAAM,CAAC,CAAC,CACR,KAAK,OAAO,cAAc,iBAAiB,KAAK,CAAC,CAAC;GACvD,CAAC,CACH;EACF,CACF,CACF;EAEA,MAAM,YAAY,OAAO,QAAQ,UAAU,UAAU,QAAQ;EAE7D,OAAO,mBAAmB,KAAK,EAAE,UAAU,CAAC;CAC9C,GAAG,cAAc;CAEjB,OAAO,EAAE,oBAAoB,mBAAmB,GAAG,EAAE,UAAU,CAAC,EAAE;AACpE,CAAC;AAED,MAAa,oCAAoC,OAAO,WAAW,WAIjE,SAA8D;CAC9D,MAAM,WAAW,OAAOD;CAExB,OAAO,uBAAuB,OAAO,CAAC,CAAC,KACrC,OAAO,qBAAqB,gBAAgB,eAAeA,QAAe,CAAC,GAC3E,OAAO,eAAe,oBAAoB,KAAK,CAAC,CAClD;CAEA,MAAM,KAAK;CACX,MAAM,gBAAgB,QAAQ,iBAAiB;CAE/C,MAAM,yBAAyB,OAC7B,eACA,QAAQ,iBAAiB,QAC3B;CAEA,MAAM,uBAAuB,OAC3B,eACA,QAAQ,iBAAiB,MAC3B;CAEA,MAAM,wBAAwB,OAC5B,eACA,QAAQ,iBAAiB,OAC3B;CAEA,MAAM,0BAA0B,OAC9B,eACA,QAAQ,iBAAiB,SAC3B;CAEA,MAAM,kBAAkB,OAAO,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,EAAE;CACxE,MAAM,sBAAsB,OAAO,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,MAAM;CAEhF,MAAM,OAAO,OAAO,GAAG,2CAA2C,CAAC,CAAC,WAClE,WACA,UACA;EACA,MAAM,WAAW,OAAO,QAAQ,UAAU,SAAS,SAAS;EAyE5D,KAAI,OAvEoB,GACrB,aAAa,OACZ,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,GACrB,OAAO,EAAE,QAAQ,oBAAoB,CAAC,CAAC,CACvC,KAAK,QAAQ,QAAQ,KAAY,CAAC,CAClC,MAAM,GAAG,iBAAiB,QAAQ,CAAC,CAAC,CACpC,IAAI,QAAQ,CAAC,CACb,MAAM,CAAC;GAEV,IAAI,SAAS,OAAO,KAAA,KAAa,CAAC,QAAQ,QAAQ,eAAe,SAAS,EAAE,CAAC,MAAM,GACjF,OAAO,EAAE,MAAM,WAAW;GAE5B,MAAM,QAAQ,OAAO,GAClB,OAAO,EAAE,WAAW,wBAAwB,CAAC,CAAC,CAC9C,KAAK,aAAoB,CAAC,CAC1B,MACC,IACE,GAAG,wBAAwB,SAAS,QAAQ,GAC5C,GAAG,sBAAsB,SAAS,MAAM,GACxC,GAAG,uBAAuB,SAAS,OAAO,CAC5C,CACF,CAAC,CACA,IAAI,QAAQ,CAAC,CACb,MAAM,CAAC;GAEV,IAAI,MAAM,OAAO,KAAA,GACf,OAAO,QAAQ,UAAU,OAAO,MAAM,EAAE,CAAC,WAAuB,QAAQ,IACnE,EAAE,MAAM,QAAQ,IAChB,EAAE,MAAM,WAAW;GAC1B,OAAO,GACJ,OAAO,aAAoB,CAAC,CAC5B,OAAO,QAAQ,iBAAiB,aAAa,UAAU,QAAQ,CAAQ;GAE1E,OAAO,EAAE,MAAM,QAAQ;EACzB,CAAC,CACH,CAAC,CACA,KACC,OAAO,YAAY,UAAU;GAC3B,IACE,MAAM,QAAQ,WAAW,KACzB,CAAC,MAAM,QAAQ,OACZ,WACC,MAAM,aAAa,MAAM,KACzB,2BAA2B,QAAQ,sBAAsB,OAAO,KAAK,CACzE,GAEA,OAAO,OAAO,UAAU,KAAK;GAE/B,OAAO,GACJ,OAAO,EAAE,WAAW,wBAAwB,CAAC,CAAC,CAC9C,KAAK,aAAoB,CAAC,CAC1B,MACC,IACE,GAAG,wBAAwB,SAAS,QAAQ,GAC5C,GAAG,sBAAsB,SAAS,MAAM,GACxC,GAAG,uBAAuB,SAAS,OAAO,CAC5C,CACF,CAAC,CACA,MAAM,CAAC,CAAC,CACR,KACC,OAAO,KAAK,SACV,KAAK,OAAO,KAAA,KACZ,QAAQ,UAAU,OAAO,KAAK,EAAE,CAAC,WAAuB,QAAQ,IAC3D,EAAE,MAAM,QAAQ,IAChB,EAAE,MAAM,WAAW,CAC1B,CACF;EACJ,CAAC,CACH,EAAA,CAEW,SAAS,YAAY,OAAO,OAAO,iBAAiB,KAAK;CACxE,GAAG,cAAc;CAEjB,OAAO,EAAE,0BAA0B,yBAAyB,GAAG,EAAE,KAAK,CAAC,EAAE;AAC3E,CAAC;AAED,MAAa,4BAA4B,OAAO,WAAW,WAMzD,SAA2E;CAC3E,OAAO;EACL,GAAI,OAAO,qCAAqC,OAAO;EACvD,GAAI,OAAO,kCAAkC,OAAO;CACtD;AACF,GAAG,qBAAqB"}

package/dist/drizzle/oauth-accounts.mjs

@@ -17,14 +17,14 @@ const accountCurrent = (mapping, subjectId) => Effect.gen(function* () {
 const authorization = (mapping, current, auth, action, flowId, commandId, intent, maximumAge) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
 	const now = yield* owner.now(mapping.clock);
 	const currentRequirement = snapshotOAuthSync(AuthenticationRequirement, mapping.subject.decodeActionRequirement(copiedRow(current.row), action));
-	if (!validAction(auth, {
+	if (!(yield* validAction(auth, {
 		moduleId: auth.challenge.moduleId,
 		action,
 		flowId,
 		commandId,
 		revision: current.revision,
 		intent
-	}, currentRequirement, now, maximumAge)) return false;
+	}, currentRequirement, now, maximumAge))) return false;
 	const age = Math.min(maximumAge, auth.requirement.maximumAgeMillis, currentRequirement.maximumAgeMillis);
 	const fresh = auth.evidence.proofs.filter((proof) => now - DateTime.toEpochMillis(proof.verifiedAt) < age);
 	invariant(fresh.length > 0);
@@ -197,7 +197,7 @@ const targetCredential = (mapping, moduleId, credentialId, current) => Effect.fl
 		issuer: ownership[t.issuer],
 		subject: ownership[t.externalSubject]
 	};
-	invariant(oauthIdentityKey(identity) === row[cr.identityKey]);
+	invariant((yield* oauthIdentityKey(identity)) === row[cr.identityKey]);
 	if (current.revision.credentials.find((item) => item.credentialId === credentialId)?.revision !== row[cr.credentialRevision] || !(yield* owner.check(sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), credentialId), cr.activeCondition)})`))) return void 0;
 	return snapshotOAuthSync(OAuthCredentialSnapshot, {
 		moduleId,
@@ -273,12 +273,13 @@ const unlink = (mapping, input) => Effect.flatMap(CurrentOAuthTransaction, (owne
 	const guards = mapping.connectedReferenceGuards ?? [];
 	invariant(guards.length <= 32);
 	let referencesGuarded = mapping.connectedReference !== void 0 && guards.length > 0;
-	if (mapping.connectedReference !== void 0) {
-		for (const guard of guards) if ((yield* owner.read(guard.table, guard.condition({
+	if (mapping.connectedReference !== void 0) for (const guard of guards) {
+		const condition = guard.condition({
 			identity: snapshotOAuthSync(OAuthCredentialSnapshot.fields.identity, expected.identity),
-			identityKey: oauthIdentityKey(expected.identity),
+			identityKey: yield* oauthIdentityKey(expected.identity),
 			subjectId: copiedRow({ value: current.nativeId }).value
-		}), { orderBy: col(guard.table, guard.orderBy) })).rows.length === 0) referencesGuarded = false;
+		});
+		if ((yield* owner.read(guard.table, Effect.isEffect(condition) ? yield* condition : condition, { orderBy: col(guard.table, guard.orderBy) })).rows.length === 0) referencesGuarded = false;
 	}
 	const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId), r = mapping.command;
 	const previous = command.rows[0];
@@ -299,7 +300,7 @@ const unlink = (mapping, input) => Effect.flatMap(CurrentOAuthTransaction, (owne
 	if (auth.challenge.moduleId !== input.moduleId || !(yield* authorization(mapping, current, auth, "unlink", input.commandId, input.commandId, credentialStorage.encode(expected), auth.requirement.maximumAgeMillis))) return { _tag: "Rejected" };
 	if (!(yield* remainingEligibility(mapping, current, expected.credentialId))) return { _tag: "LastSignInMethod" };
 	const invalidation = checkInvalidation(mapping, input.invalidation), cr = mapping.credential, a = mapping.authority;
-	const key = oauthIdentityKey(expected.identity), t = mapping.ownership.tuple;
+	const key = yield* oauthIdentityKey(expected.identity), t = mapping.ownership.tuple;
 	const connected = mapping.connectedReference?.({
 		identityKey: key,
 		subjectId: copiedRow({ value: current.nativeId }).value

package/dist/drizzle/oauth-accounts.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"oauth-accounts.mjs","names":[],"sources":["../../src/drizzle/oauth-accounts.ts"],"sourcesContent":["import {\n  OAuthAccountRevision,\n  OAuthActionAuthorization,\n  OAuthLinkAccess,\n  OAuthLinkClaim,\n  OAuthLinkPendingFlow,\n  OAuthLinkTransactionContext,\n  OAuthUnlinked,\n  OAuthCredentialSnapshot,\n  snapshotOAuthSync,\n} from \"@yielded/auth/OAuth\";\nimport {\n  SessionInvalidationWindow,\n  AuthenticationRequirement,\n  SecurityRevision,\n} from \"@yielded/auth/Sessions\";\n/* oxlint-disable no-explicit-any -- private owner implementation; public mappings retain native IDs. */\nimport { eq, sql } from \"drizzle-orm\";\nimport { DateTime, Effect } from \"effect\";\n\nimport type { SubjectIdCodec } from \"./model\";\nimport {\n  claimFlow,\n  credentialStorage,\n  currentSubject,\n  exactClaim,\n  issueFlow,\n  linkStorage,\n  matchesAccess,\n  readFlow,\n  terminalFlow,\n} from \"./oauth-flow\";\nimport type { OAuthEligibilityFact } from \"./oauth-model\";\nimport { both, col, copiedRow, equal, CurrentOAuthTransaction } from \"./oauth-owner\";\nimport { acquireTuple, readTuple } from \"./oauth-registration\";\nimport {\n  invariant,\n  oauthIdentityKey,\n  sameRevision,\n  satisfies,\n  storage,\n  validAction,\n} from \"./oauth-state\";\n\nconst contextStorage = storage(OAuthLinkTransactionContext);\nconst unlinkedStorage = storage(OAuthUnlinked);\n\nexport const accountCurrent = (mapping: any, subjectId: OAuthAccountRevision[\"subjectId\"]) =>\n  Effect.gen(function* () {\n    const native = yield* (mapping.subjectId as SubjectIdCodec<unknown>).toNative(subjectId);\n\n    return yield* currentSubject(mapping, native);\n  });\n\nconst authorization = (\n  mapping: any,\n  current: any,\n  auth: OAuthActionAuthorization,\n  action: OAuthActionAuthorization[\"challenge\"][\"action\"],\n  flowId: string,\n  commandId: string,\n  intent: string,\n  maximumAge: number,\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const now = yield* owner.now(mapping.clock);\n\n      const currentRequirement = snapshotOAuthSync(\n        AuthenticationRequirement,\n        mapping.subject.decodeActionRequirement(copiedRow(current.row), action),\n      );\n\n      const accepted = validAction(\n        auth,\n        {\n          moduleId: auth.challenge.moduleId,\n          action,\n          flowId,\n          commandId,\n          revision: current.revision,\n          intent,\n        },\n        currentRequirement,\n        now,\n        maximumAge,\n      );\n\n      if (!accepted) return false;\n\n      const age = Math.min(\n        maximumAge,\n        auth.requirement.maximumAgeMillis,\n        currentRequirement.maximumAgeMillis,\n      );\n\n      const fresh = auth.evidence.proofs.filter(\n        (proof) => now - DateTime.toEpochMillis(proof.verifiedAt) < age,\n      );\n\n      invariant(fresh.length > 0);\n\n      const deadline = Math.min(\n        ...fresh.map((proof) => DateTime.toEpochMillis(proof.verifiedAt) + age),\n      );\n\n      owner.postconditions.push(\n        sql`${mapping.clock.engineNowMillis} >= ${now} and ${mapping.clock.engineNowMillis} < ${deadline}`,\n      );\n\n      return true;\n    }),\n  );\n\nconst currentLink = (mapping: any, flow: typeof OAuthLinkPendingFlow.Type) =>\n  Effect.gen(function* () {\n    const current = yield* accountCurrent(mapping, flow.context.revision.subjectId);\n\n    return current !== undefined && sameRevision(current.revision, flow.context.revision)\n      ? current\n      : undefined;\n  });\n\nexport const issueLink = (mapping: any, input: any) =>\n  Effect.gen(function* () {\n    const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow),\n      c = flow.context;\n\n    const current = yield* currentLink(mapping, flow);\n    const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n    if (\n      current === undefined ||\n      auth.challenge.moduleId !== c.moduleId ||\n      !(yield* authorization(\n        mapping,\n        current,\n        auth,\n        \"link-begin\",\n        c.flowId,\n        c.commandId,\n        contextStorage.encode(c),\n        c.maximumEvidenceAgeMillis,\n      ))\n    )\n      return { _tag: \"Rejected\" } as const;\n\n    return yield* issueFlow(mapping, flow, \"link\");\n  });\n\nexport const preflightLink = (mapping: any, original: typeof OAuthLinkAccess.Type) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const input = snapshotOAuthSync(OAuthLinkAccess, original);\n      // The authenticated subject is known before discovering/locking any flow.\n      const current = yield* accountCurrent(mapping, input.subjectId);\n      const found = yield* readFlow(mapping, input, \"link\");\n      const now = yield* owner.now(mapping.clock);\n\n      if (\n        current === undefined ||\n        found.flow === undefined ||\n        found.row?.[mapping.flow.state] !== \"Pending\" ||\n        !matchesAccess(found.flow, input)\n      )\n        return undefined;\n\n      const flow = snapshotOAuthSync(OAuthLinkPendingFlow, found.flow as never),\n        c = flow.context;\n\n      if (\n        c.revision.subjectId !== input.subjectId ||\n        !sameRevision(current.revision, c.revision) ||\n        now < c.issuedAtMillis ||\n        now >= c.expiresAtMillis\n      )\n        return undefined;\n      owner.postconditions.push(\n        sql`${mapping.clock.engineNowMillis} >= ${c.issuedAtMillis} and ${mapping.clock.engineNowMillis} < ${c.expiresAtMillis}`,\n      );\n\n      return { current, flow, row: found.row };\n    }),\n  );\n\nexport const claimLink = (mapping: any, input: any) =>\n  Effect.gen(function* () {\n    const found = yield* preflightLink(mapping, input.access);\n    const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow);\n\n    const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization),\n      c = flow.context;\n\n    if (\n      found === undefined ||\n      linkStorage.encode(found.flow) !== linkStorage.encode(flow) ||\n      auth.challenge.moduleId !== c.moduleId ||\n      !(yield* authorization(\n        mapping,\n        found.current,\n        auth,\n        \"link-complete\",\n        c.flowId,\n        c.commandId,\n        contextStorage.encode(c),\n        c.maximumEvidenceAgeMillis,\n      ))\n    )\n      return { _tag: \"Rejected\" } as const;\n    const claim = yield* claimFlow(mapping, { row: found.row!, flow }, input.claimId);\n\n    return claim === undefined\n      ? ({ _tag: \"Rejected\" } as const)\n      : ({ _tag: \"Claimed\", claim } as const);\n  });\n\nconst checkInvalidation = (mapping: any, original: SessionInvalidationWindow) => {\n  const value = snapshotOAuthSync(SessionInvalidationWindow, original);\n\n  invariant(\n    value.trigger === \"credential-change\" &&\n      value.oldAuthenticationEvidence === \"rejected\" &&\n      (mapping.sessionInvalidation === \"same-authority-immediate\"\n        ? value.existingSessions === \"immediate\" && value.maximumExposureMillis === 0\n        : value.existingSessions === \"original-absolute-expiry\"),\n  );\n\n  return value;\n};\n\nconst advance = (mapping: any, current: any, removed?: string) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const revision = mapping.subject.nextSecurityRevision(current.revision.securityRevision);\n\n      invariant(\n        typeof revision === \"string\" &&\n          revision.length > 0 &&\n          revision.length <= 256 &&\n          revision !== current.revision.securityRevision,\n      );\n      const subject = mapping.subject;\n\n      yield* owner.update(\n        subject.table,\n        { [subject.id]: current.nativeId },\n        { [subject.securityRevision]: revision },\n      );\n      for (const cleanup of mapping.cleanup) {\n        const condition = both(\n          eq(col(cleanup.table, cleanup.subjectId), current.nativeId),\n          cleanup.condition({\n            subjectId: current.nativeId,\n            revision: snapshotOAuthSync(OAuthAccountRevision, current.revision),\n            ...(removed === undefined ? {} : { removedCredentialId: removed }),\n          }),\n        );\n\n        yield* owner.write(owner.database.delete(cleanup.table).where(condition));\n        owner.postconditions.push(\n          sql`not exists(select 1 from ${cleanup.table} where ${condition})`,\n        );\n      }\n\n      return SecurityRevision.make(revision);\n    }),\n  );\n\nexport const settleLink = (\n  mapping: any,\n  input: any,\n  allocated: { readonly credentialId: string; readonly revision: SecurityRevision },\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const claim = snapshotOAuthSync(OAuthLinkClaim, input.claim),\n        flow = claim.flow,\n        c = flow.context;\n\n      const current = yield* currentLink(mapping, flow);\n\n      // Known subject is always locked before tuple/flow; even a rejected outcome\n      // settles its exact original claim without adopting a newer revision.\n      const identity =\n        input.outcome._tag === \"Verified\" ? input.outcome.identity.identity : undefined;\n\n      if (identity !== undefined)\n        invariant(identity.provider === c.provider && identity.issuer === c.issuer);\n\n      const tuple =\n        identity !== undefined && current !== undefined\n          ? yield* readTuple(mapping.ownership, identity)\n          : undefined;\n\n      const exact = yield* exactClaim(mapping, claim, \"link\");\n\n      if (exact === undefined) return { _tag: \"Rejected\" } as const;\n      let decision: any = { _tag: input.outcome._tag };\n\n      if (input.outcome._tag === \"Verified\") {\n        decision = { _tag: \"Rejected\" };\n        const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n        if (\n          current !== undefined &&\n          tuple !== undefined &&\n          auth.challenge.moduleId === c.moduleId &&\n          (yield* authorization(\n            mapping,\n            current,\n            auth,\n            \"link-complete\",\n            c.flowId,\n            c.commandId,\n            contextStorage.encode(c),\n            c.maximumEvidenceAgeMillis,\n          ))\n        ) {\n          const t = mapping.ownership.tuple,\n            cr = mapping.credential,\n            a = mapping.authority;\n\n          const login = yield* owner.read(cr.table, eq(col(cr.table, cr.identityKey), tuple.key), {\n            limit: 1,\n          });\n\n          const previous = login.rows[0];\n\n          if (\n            tuple.row[t.state] === \"Reserved\" ||\n            (tuple.row[t.state] === \"Owned\" &&\n              !mapping.subjectId.equals(tuple.row[t.subjectId], current.nativeId)) ||\n            (previous !== undefined &&\n              (previous[cr.moduleId] !== c.moduleId ||\n                !mapping.subjectId.equals(previous[cr.subjectId], current.nativeId) ||\n                !cr.isActiveStatus(previous[cr.status])))\n          )\n            decision = { _tag: \"Conflict\" };\n          else if (previous !== undefined) {\n            const shared = current.revision.credentials.find(\n              (item: any) => item.credentialId === previous[cr.credentialId],\n            );\n\n            if (\n              tuple.row[t.state] !== \"Owned\" ||\n              shared?.revision !== previous[cr.credentialRevision] ||\n              !(yield* owner.check(\n                sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.identityKey), tuple.key), cr.activeCondition)})`,\n              ))\n            )\n              decision = { _tag: \"Conflict\" };\n            else\n              decision = {\n                _tag: \"Linked\",\n                changed: false,\n                credential: snapshotOAuthSync(OAuthCredentialSnapshot, {\n                  moduleId: c.moduleId,\n                  identity,\n                  credentialId: previous[cr.credentialId],\n                  credentialRevision: previous[cr.credentialRevision],\n                  revision: current.revision,\n                }),\n              };\n          } else {\n            checkInvalidation(mapping, input.invalidation);\n\n            const values = {\n              ...cr.encodeInsert({\n                moduleId: c.moduleId,\n                subjectId: current.nativeId,\n                identityKey: tuple.key,\n                credentialId: allocated.credentialId,\n                credentialRevision: allocated.revision,\n              }),\n              [cr.moduleId]: c.moduleId,\n              [cr.subjectId]: current.nativeId,\n              [cr.identityKey]: tuple.key,\n              [cr.credentialId]: allocated.credentialId,\n              [cr.credentialRevision]: allocated.revision,\n            };\n\n            invariant(cr.isActiveStatus(values[cr.status]));\n\n            const inserted = yield* owner.insert(cr.table, values, {\n              [cr.credentialId]: allocated.credentialId,\n            });\n\n            login.rows = inserted.rows;\n\n            const sharedValues = {\n              ...a.encodeInsert({\n                subjectId: current.nativeId,\n                credentialId: allocated.credentialId,\n                revision: allocated.revision,\n              }),\n              [a.subjectId]: current.nativeId,\n              [a.credentialId]: allocated.credentialId,\n              [a.revision]: allocated.revision,\n            };\n\n            invariant(a.isActiveStatus(sharedValues[a.status]));\n\n            const shared = yield* owner.insert(a.table, sharedValues, {\n              [a.subjectId]: current.nativeId,\n              [a.credentialId]: allocated.credentialId,\n            });\n\n            current.authorities.rows = [...current.authorities.rows, ...shared.rows];\n            owner.postconditions.push(\n              sql`exists(select 1 from ${cr.table} where ${both(\n                eq(col(cr.table, cr.credentialId), allocated.credentialId),\n                cr.activeCondition,\n              )})`,\n              sql`exists(select 1 from ${a.table} where ${both(\n                eq(col(a.table, a.subjectId), current.nativeId),\n                eq(col(a.table, a.credentialId), allocated.credentialId),\n                a.activeCondition,\n              )})`,\n            );\n            if (tuple.row[t.state] === \"Unowned\")\n              yield* acquireTuple(mapping.ownership, identity, tuple.key, current.nativeId);\n            const next = yield* advance(mapping, current);\n\n            const revision = snapshotOAuthSync(OAuthAccountRevision, {\n              ...current.revision,\n              securityRevision: next,\n              credentials: [\n                ...current.revision.credentials,\n                { credentialId: allocated.credentialId, revision: allocated.revision },\n              ],\n            });\n\n            decision = {\n              _tag: \"Linked\",\n              changed: true,\n              credential: snapshotOAuthSync(OAuthCredentialSnapshot, {\n                moduleId: c.moduleId,\n                identity,\n                credentialId: allocated.credentialId,\n                credentialRevision: allocated.revision as never,\n                revision,\n              }),\n            };\n          }\n        }\n      }\n      yield* terminalFlow(mapping, flow, decision._tag);\n\n      return decision;\n    }),\n  );\n\nconst targetCredential = (mapping: any, moduleId: string, credentialId: string, current: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const cr = mapping.credential;\n\n      const found = yield* owner.read(cr.table, eq(col(cr.table, cr.credentialId), credentialId), {\n        limit: 1,\n      });\n\n      const row = found.rows[0];\n\n      if (\n        row === undefined ||\n        row[cr.moduleId] !== moduleId ||\n        !mapping.subjectId.equals(row[cr.subjectId], current.nativeId) ||\n        !cr.isActiveStatus(row[cr.status])\n      )\n        return undefined;\n      const t = mapping.ownership.tuple;\n\n      const tuple = yield* owner.read(\n        t.table,\n        eq(col(t.table, t.identityKey), row[cr.identityKey]),\n        {\n          limit: 1,\n        },\n      );\n\n      const ownership = tuple.rows[0];\n\n      if (\n        ownership === undefined ||\n        ownership[t.state] !== \"Owned\" ||\n        !mapping.subjectId.equals(ownership[t.subjectId], current.nativeId)\n      )\n        return undefined;\n\n      const identity = {\n        provider: ownership[t.provider],\n        issuer: ownership[t.issuer],\n        subject: ownership[t.externalSubject],\n      };\n\n      invariant(oauthIdentityKey(identity) === row[cr.identityKey]);\n\n      const shared = current.revision.credentials.find(\n        (item: any) => item.credentialId === credentialId,\n      );\n\n      if (\n        shared?.revision !== row[cr.credentialRevision] ||\n        !(yield* owner.check(\n          sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), credentialId), cr.activeCondition)})`,\n        ))\n      )\n        return undefined;\n\n      return snapshotOAuthSync(OAuthCredentialSnapshot, {\n        moduleId: moduleId as never,\n        identity,\n        credentialId,\n        credentialRevision: row[cr.credentialRevision],\n        revision: current.revision,\n      });\n    }),\n  );\n\nconst unlinkCommand = (mapping: any, moduleId: string, commandId: string) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    owner.read(\n      mapping.command.table,\n      equal(mapping.command.table, {\n        [mapping.command.moduleId]: moduleId,\n        [mapping.command.commandId]: commandId,\n      }),\n      { limit: 1 },\n    ),\n  );\n\nexport const inspectUnlink = (mapping: any, input: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const current = yield* accountCurrent(mapping, input.subjectId);\n\n      if (current === undefined) return { _tag: \"Rejected\" } as const;\n\n      const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId),\n        r = mapping.command;\n\n      const old = command.rows[0];\n\n      if (old !== undefined) {\n        const intent = credentialStorage.decode(old[r.intentSnapshot]);\n\n        if (\n          intent.moduleId !== input.moduleId ||\n          intent.revision.subjectId !== input.subjectId ||\n          intent.credentialId !== input.credentialId ||\n          !mapping.subjectId.equals(old[r.subjectId], current.nativeId) ||\n          old[r.credentialId] !== input.credentialId\n        )\n          return { _tag: \"Conflict\" } as const;\n        const metadata = mapping.metadata.condition(current.nativeId);\n\n        if (!(yield* owner.check(metadata))) return { _tag: \"Rejected\" } as const;\n        owner.postconditions.push(metadata);\n\n        return { _tag: \"Replay\", result: unlinkedStorage.decode(old[r.decision]) } as const;\n      }\n\n      const credential = yield* targetCredential(\n        mapping,\n        input.moduleId,\n        input.credentialId,\n        current,\n      );\n\n      return credential === undefined\n        ? ({ _tag: \"Rejected\" } as const)\n        : ({ _tag: \"Target\", credential } as const);\n    }),\n  );\n\nconst remainingEligibility = (mapping: any, current: any, removed: string) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      invariant(mapping.eligibility.length > 0 && mapping.eligibility.length <= 32);\n      const facts = new Map<string, OAuthEligibilityFact>();\n\n      const revisions = new Map(\n        current.revision.credentials.map((item: any) => [item.credentialId, item.revision]),\n      );\n\n      for (const descriptor of mapping.eligibility) {\n        const observed = yield* owner.read(\n          descriptor.table,\n          both(\n            eq(col(descriptor.table, descriptor.subjectId), current.nativeId),\n            descriptor.condition(current.nativeId),\n          ),\n          { orderBy: col(descriptor.table, descriptor.credentialId) },\n        );\n\n        for (const row of observed.rows) {\n          const fact = descriptor.decode(copiedRow(row)) as OAuthEligibilityFact | undefined;\n\n          if (fact === undefined || fact.credentialId === removed) continue;\n          invariant(\n            fact.credentialId === row[descriptor.credentialId] &&\n              fact.revision === row[descriptor.revision] &&\n              revisions.get(fact.credentialId) === fact.revision &&\n              fact.factors.length <= 8 &&\n              fact.factors.every((factor) =>\n                [\"knowledge\", \"possession\", \"inherence\"].includes(factor),\n              ),\n          );\n          invariant(\n            typeof fact.usablePrimary === \"boolean\" &&\n              typeof fact.userVerified === \"boolean\" &&\n              typeof fact.phishingResistant === \"boolean\",\n          );\n\n          const normalized = {\n            credentialId: fact.credentialId,\n            revision: fact.revision,\n            usablePrimary: fact.usablePrimary,\n            factors: [...new Set(fact.factors)].sort(),\n            userVerified: fact.userVerified,\n            phishingResistant: fact.phishingResistant,\n          };\n\n          const prior = facts.get(fact.credentialId);\n\n          // oxlint-disable-next-line no-restricted-properties -- Canonical bounded eligibility fact fingerprint rejects contradictory duplicate IDs.\n          invariant(prior === undefined || JSON.stringify(prior) === JSON.stringify(normalized));\n          facts.set(fact.credentialId, normalized);\n        }\n      }\n      const available = [...facts.values()];\n\n      const requirement = snapshotOAuthSync(\n        AuthenticationRequirement,\n        mapping.subject.decodeAuthenticationRequirement(copiedRow(current.row)),\n      );\n\n      return available.some((fact) => fact.usablePrimary) && satisfies(available, requirement);\n    }),\n  );\n\nexport const unlink = (mapping: any, input: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const expected = snapshotOAuthSync(OAuthCredentialSnapshot, input.credential);\n\n      invariant(expected.moduleId === input.moduleId);\n      const current = yield* accountCurrent(mapping, expected.revision.subjectId);\n\n      if (current === undefined) return { _tag: \"Rejected\" } as const;\n      const guards = mapping.connectedReferenceGuards ?? [];\n\n      invariant(guards.length <= 32);\n      let referencesGuarded = mapping.connectedReference !== undefined && guards.length > 0;\n\n      if (mapping.connectedReference !== undefined)\n        for (const guard of guards) {\n          const read = yield* owner.read(\n            guard.table,\n            guard.condition({\n              identity: snapshotOAuthSync(\n                OAuthCredentialSnapshot.fields.identity,\n                expected.identity,\n              ),\n              identityKey: oauthIdentityKey(expected.identity),\n              subjectId: copiedRow({ value: current.nativeId }).value,\n            }),\n            { orderBy: col(guard.table, guard.orderBy) },\n          );\n\n          if (read.rows.length === 0) referencesGuarded = false;\n        }\n\n      const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId),\n        r = mapping.command;\n\n      const previous = command.rows[0];\n\n      if (previous !== undefined) {\n        if (\n          previous[r.intentSnapshot] !== credentialStorage.encode(expected) ||\n          previous[r.credentialId] !== expected.credentialId ||\n          !mapping.subjectId.equals(previous[r.subjectId], current.nativeId)\n        )\n          return { _tag: \"Conflict\" } as const;\n        const metadata = mapping.metadata.condition(current.nativeId);\n\n        if (!(yield* owner.check(metadata))) return { _tag: \"Rejected\" } as const;\n        owner.postconditions.push(metadata);\n\n        return {\n          _tag: \"Unlinked\",\n          replayed: true,\n          result: unlinkedStorage.decode(previous[r.decision]),\n        } as const;\n      }\n\n      const actual = yield* targetCredential(\n        mapping,\n        input.moduleId,\n        expected.credentialId,\n        current,\n      );\n\n      if (\n        actual === undefined ||\n        credentialStorage.encode(actual) !== credentialStorage.encode(expected)\n      )\n        return { _tag: \"Rejected\" } as const;\n      const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n      if (\n        auth.challenge.moduleId !== input.moduleId ||\n        !(yield* authorization(\n          mapping,\n          current,\n          auth,\n          \"unlink\",\n          input.commandId,\n          input.commandId,\n          credentialStorage.encode(expected),\n          auth.requirement.maximumAgeMillis,\n        ))\n      )\n        return { _tag: \"Rejected\" } as const;\n      if (!(yield* remainingEligibility(mapping, current, expected.credentialId)))\n        return { _tag: \"LastSignInMethod\" } as const;\n\n      const invalidation = checkInvalidation(mapping, input.invalidation),\n        cr = mapping.credential,\n        a = mapping.authority;\n\n      const key = oauthIdentityKey(expected.identity),\n        t = mapping.ownership.tuple;\n\n      const connected = mapping.connectedReference?.({\n        identityKey: key,\n        subjectId: copiedRow({ value: current.nativeId }).value,\n      });\n\n      const retain =\n        connected !== undefined && (!referencesGuarded || (yield* owner.check(connected)));\n\n      if (connected !== undefined && referencesGuarded)\n        owner.postconditions.push(retain ? connected : sql`not (${connected})`);\n      yield* owner.remove(cr.table, { [cr.credentialId]: expected.credentialId });\n      yield* owner.remove(a.table, {\n        [a.subjectId]: current.nativeId,\n        [a.credentialId]: expected.credentialId,\n      });\n      if (!retain) {\n        yield* owner.update(\n          t.table,\n          { [t.identityKey]: key },\n          {\n            [t.state]: \"Unowned\",\n            [t.subjectId]: null,\n            [t.reservation]: null,\n            [t.version]: owner.marker,\n          },\n        );\n        if (mapping.ownership.mode === \"separate\")\n          yield* owner.remove(mapping.ownership.external.table, {\n            [mapping.ownership.external.identityKey]: key,\n          });\n      }\n      yield* advance(mapping, current, expected.credentialId);\n\n      const result = snapshotOAuthSync(OAuthUnlinked, {\n        _tag: \"Unlinked\",\n        credentialId: expected.credentialId,\n        invalidation,\n      });\n\n      const now = yield* owner.now(mapping.clock);\n\n      invariant(\n        Number.isSafeInteger(input.retentionUntilMillis) &&\n          input.retentionUntilMillis > now &&\n          input.retentionUntilMillis >= input.nowMillis + 120000,\n      );\n      const commandKey = { [r.moduleId]: input.moduleId, [r.commandId]: input.commandId };\n\n      const values = {\n        ...r.encodeInsert({\n          moduleId: input.moduleId,\n          commandId: input.commandId,\n          credential: snapshotOAuthSync(OAuthCredentialSnapshot, expected),\n        }),\n        ...commandKey,\n        [r.subjectId]: current.nativeId,\n        [r.credentialId]: expected.credentialId,\n        [r.intentSnapshot]: credentialStorage.encode(expected),\n        [r.decision]: unlinkedStorage.encode(result),\n        [r.retentionUntil]: mapping.clock.encodeInstant(input.retentionUntilMillis),\n      };\n\n      const inserted = yield* owner.insert(r.table, values, commandKey);\n\n      command.rows = inserted.rows;\n\n      return { _tag: \"Unlinked\", result, replayed: false } as const;\n    }),\n  );\n"],"mappings":";;;;;;;;;;AA4CA,MAAM,iBAAiB,QAAQ,2BAA2B;AAC1D,MAAM,kBAAkB,QAAQ,aAAa;AAE7C,MAAa,kBAAkB,SAAc,cAC3C,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,OAAQ,QAAQ,UAAsC,SAAS,SAAS;CAEvF,OAAO,OAAO,eAAe,SAAS,MAAM;AAC9C,CAAC;AAEH,MAAM,iBACJ,SACA,SACA,MACA,QACA,QACA,WACA,QACA,eAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,MAAM,qBAAqB,kBACzB,2BACA,QAAQ,QAAQ,wBAAwB,UAAU,QAAQ,GAAG,GAAG,MAAM,CACxE;CAiBA,IAAI,CAfa,YACf,MACA;EACE,UAAU,KAAK,UAAU;EACzB;EACA;EACA;EACA,UAAU,QAAQ;EAClB;CACF,GACA,oBACA,KACA,UAGU,GAAG,OAAO;CAEtB,MAAM,MAAM,KAAK,IACf,YACA,KAAK,YAAY,kBACjB,mBAAmB,gBACrB;CAEA,MAAM,QAAQ,KAAK,SAAS,OAAO,QAChC,UAAU,MAAM,SAAS,cAAc,MAAM,UAAU,IAAI,GAC9D;CAEA,UAAU,MAAM,SAAS,CAAC;CAE1B,MAAM,WAAW,KAAK,IACpB,GAAG,MAAM,KAAK,UAAU,SAAS,cAAc,MAAM,UAAU,IAAI,GAAG,CACxE;CAEA,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,IAAI,OAAO,QAAQ,MAAM,gBAAgB,KAAK,UAC1F;CAEA,OAAO;AACT,CAAC,CACH;AAEF,MAAM,eAAe,SAAc,SACjC,OAAO,IAAI,aAAa;CACtB,MAAM,UAAU,OAAO,eAAe,SAAS,KAAK,QAAQ,SAAS,SAAS;CAE9E,OAAO,YAAY,KAAA,KAAa,aAAa,QAAQ,UAAU,KAAK,QAAQ,QAAQ,IAChF,UACA,KAAA;AACN,CAAC;AAEH,MAAa,aAAa,SAAc,UACtC,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAI,GAC7D,IAAI,KAAK;CAEX,MAAM,UAAU,OAAO,YAAY,SAAS,IAAI;CAChD,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;CAE5E,IACE,YAAY,KAAA,KACZ,KAAK,UAAU,aAAa,EAAE,YAC9B,EAAE,OAAO,cACP,SACA,SACA,MACA,cACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IAEA,OAAO,EAAE,MAAM,WAAW;CAE5B,OAAO,OAAO,UAAU,SAAS,MAAM,MAAM;AAC/C,CAAC;AAEH,MAAa,iBAAiB,SAAc,aAC1C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,kBAAkB,iBAAiB,QAAQ;CAEzD,MAAM,UAAU,OAAO,eAAe,SAAS,MAAM,SAAS;CAC9D,MAAM,QAAQ,OAAO,SAAS,SAAS,OAAO,MAAM;CACpD,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,IACE,YAAY,KAAA,KACZ,MAAM,SAAS,KAAA,KACf,MAAM,MAAM,QAAQ,KAAK,WAAW,aACpC,CAAC,cAAc,MAAM,MAAM,KAAK,GAEhC,OAAO,KAAA;CAET,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAa,GACtE,IAAI,KAAK;CAEX,IACE,EAAE,SAAS,cAAc,MAAM,aAC/B,CAAC,aAAa,QAAQ,UAAU,EAAE,QAAQ,KAC1C,MAAM,EAAE,kBACR,OAAO,EAAE,iBAET,OAAO,KAAA;CACT,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,EAAE,eAAe,OAAO,QAAQ,MAAM,gBAAgB,KAAK,EAAE,iBACzG;CAEA,OAAO;EAAE;EAAS;EAAM,KAAK,MAAM;CAAI;AACzC,CAAC,CACH;AAEF,MAAa,aAAa,SAAc,UACtC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,cAAc,SAAS,MAAM,MAAM;CACxD,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAI;CAE/D,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa,GAC1E,IAAI,KAAK;CAEX,IACE,UAAU,KAAA,KACV,YAAY,OAAO,MAAM,IAAI,MAAM,YAAY,OAAO,IAAI,KAC1D,KAAK,UAAU,aAAa,EAAE,YAC9B,EAAE,OAAO,cACP,SACA,MAAM,SACN,MACA,iBACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IAEA,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,QAAQ,OAAO,UAAU,SAAS;EAAE,KAAK,MAAM;EAAM;CAAK,GAAG,MAAM,OAAO;CAEhF,OAAO,UAAU,KAAA,IACZ,EAAE,MAAM,WAAW,IACnB;EAAE,MAAM;EAAW;CAAM;AAChC,CAAC;AAEH,MAAM,qBAAqB,SAAc,aAAwC;CAC/E,MAAM,QAAQ,kBAAkB,2BAA2B,QAAQ;CAEnE,UACE,MAAM,YAAY,uBAChB,MAAM,8BAA8B,eACnC,QAAQ,wBAAwB,6BAC7B,MAAM,qBAAqB,eAAe,MAAM,0BAA0B,IAC1E,MAAM,qBAAqB,2BACnC;CAEA,OAAO;AACT;AAEA,MAAM,WAAW,SAAc,SAAc,YAC3C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,QAAQ,QAAQ,qBAAqB,QAAQ,SAAS,gBAAgB;CAEvF,UACE,OAAO,aAAa,YAClB,SAAS,SAAS,KAClB,SAAS,UAAU,OACnB,aAAa,QAAQ,SAAS,gBAClC;CACA,MAAM,UAAU,QAAQ;CAExB,OAAO,MAAM,OACX,QAAQ,OACR,GAAG,QAAQ,KAAK,QAAQ,SAAS,GACjC,GAAG,QAAQ,mBAAmB,SAAS,CACzC;CACA,KAAK,MAAM,WAAW,QAAQ,SAAS;EACrC,MAAM,YAAY,KAChB,GAAG,IAAI,QAAQ,OAAO,QAAQ,SAAS,GAAG,QAAQ,QAAQ,GAC1D,QAAQ,UAAU;GAChB,WAAW,QAAQ;GACnB,UAAU,kBAAkB,sBAAsB,QAAQ,QAAQ;GAClE,GAAI,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,qBAAqB,QAAQ;EAClE,CAAC,CACH;EAEA,OAAO,MAAM,MAAM,MAAM,SAAS,OAAO,QAAQ,KAAK,CAAC,CAAC,MAAM,SAAS,CAAC;EACxE,MAAM,eAAe,KACnB,GAAG,4BAA4B,QAAQ,MAAM,SAAS,UAAU,EAClE;CACF;CAEA,OAAO,iBAAiB,KAAK,QAAQ;AACvC,CAAC,CACH;AAEF,MAAa,cACX,SACA,OACA,cAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,kBAAkB,gBAAgB,MAAM,KAAK,GACzD,OAAO,MAAM,MACb,IAAI,KAAK;CAEX,MAAM,UAAU,OAAO,YAAY,SAAS,IAAI;CAIhD,MAAM,WACJ,MAAM,QAAQ,SAAS,aAAa,MAAM,QAAQ,SAAS,WAAW,KAAA;CAExE,IAAI,aAAa,KAAA,GACf,UAAU,SAAS,aAAa,EAAE,YAAY,SAAS,WAAW,EAAE,MAAM;CAE5E,MAAM,QACJ,aAAa,KAAA,KAAa,YAAY,KAAA,IAClC,OAAO,UAAU,QAAQ,WAAW,QAAQ,IAC5C,KAAA;CAIN,KAAI,OAFiB,WAAW,SAAS,OAAO,MAAM,OAExC,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CACnD,IAAI,WAAgB,EAAE,MAAM,MAAM,QAAQ,KAAK;CAE/C,IAAI,MAAM,QAAQ,SAAS,YAAY;EACrC,WAAW,EAAE,MAAM,WAAW;EAC9B,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;EAE5E,IACE,YAAY,KAAA,KACZ,UAAU,KAAA,KACV,KAAK,UAAU,aAAa,EAAE,aAC7B,OAAO,cACN,SACA,SACA,MACA,iBACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IACA;GACA,MAAM,IAAI,QAAQ,UAAU,OAC1B,KAAK,QAAQ,YACb,IAAI,QAAQ;GAEd,MAAM,QAAQ,OAAO,MAAM,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,GAAG,EACtF,OAAO,EACT,CAAC;GAED,MAAM,WAAW,MAAM,KAAK;GAE5B,IACE,MAAM,IAAI,EAAE,WAAW,cACtB,MAAM,IAAI,EAAE,WAAW,WACtB,CAAC,QAAQ,UAAU,OAAO,MAAM,IAAI,EAAE,YAAY,QAAQ,QAAQ,KACnE,aAAa,KAAA,MACX,SAAS,GAAG,cAAc,EAAE,YAC3B,CAAC,QAAQ,UAAU,OAAO,SAAS,GAAG,YAAY,QAAQ,QAAQ,KAClE,CAAC,GAAG,eAAe,SAAS,GAAG,OAAO,IAE1C,WAAW,EAAE,MAAM,WAAW;QAC3B,IAAI,aAAa,KAAA,GAAW;IAC/B,MAAM,SAAS,QAAQ,SAAS,YAAY,MACzC,SAAc,KAAK,iBAAiB,SAAS,GAAG,aACnD;IAEA,IACE,MAAM,IAAI,EAAE,WAAW,WACvB,QAAQ,aAAa,SAAS,GAAG,uBACjC,EAAE,OAAO,MAAM,MACb,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,eAAe,EAAE,EACtH,IAEA,WAAW,EAAE,MAAM,WAAW;SAE9B,WAAW;KACT,MAAM;KACN,SAAS;KACT,YAAY,kBAAkB,yBAAyB;MACrD,UAAU,EAAE;MACZ;MACA,cAAc,SAAS,GAAG;MAC1B,oBAAoB,SAAS,GAAG;MAChC,UAAU,QAAQ;KACpB,CAAC;IACH;GACJ,OAAO;IACL,kBAAkB,SAAS,MAAM,YAAY;IAE7C,MAAM,SAAS;KACb,GAAG,GAAG,aAAa;MACjB,UAAU,EAAE;MACZ,WAAW,QAAQ;MACnB,aAAa,MAAM;MACnB,cAAc,UAAU;MACxB,oBAAoB,UAAU;KAChC,CAAC;MACA,GAAG,WAAW,EAAE;MAChB,GAAG,YAAY,QAAQ;MACvB,GAAG,cAAc,MAAM;MACvB,GAAG,eAAe,UAAU;MAC5B,GAAG,qBAAqB,UAAU;IACrC;IAEA,UAAU,GAAG,eAAe,OAAO,GAAG,OAAO,CAAC;IAM9C,MAAM,QAAO,OAJW,MAAM,OAAO,GAAG,OAAO,QAAQ,GACpD,GAAG,eAAe,UAAU,aAC/B,CAAC,EAAA,CAEqB;IAEtB,MAAM,eAAe;KACnB,GAAG,EAAE,aAAa;MAChB,WAAW,QAAQ;MACnB,cAAc,UAAU;MACxB,UAAU,UAAU;KACtB,CAAC;MACA,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe,UAAU;MAC3B,EAAE,WAAW,UAAU;IAC1B;IAEA,UAAU,EAAE,eAAe,aAAa,EAAE,OAAO,CAAC;IAElD,MAAM,SAAS,OAAO,MAAM,OAAO,EAAE,OAAO,cAAc;MACvD,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe,UAAU;IAC9B,CAAC;IAED,QAAQ,YAAY,OAAO,CAAC,GAAG,QAAQ,YAAY,MAAM,GAAG,OAAO,IAAI;IACvE,MAAM,eAAe,KACnB,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAC3C,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,YAAY,GACzD,GAAG,eACL,EAAE,IACF,GAAG,wBAAwB,EAAE,MAAM,SAAS,KAC1C,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAAG,QAAQ,QAAQ,GAC9C,GAAG,IAAI,EAAE,OAAO,EAAE,YAAY,GAAG,UAAU,YAAY,GACvD,EAAE,eACJ,EAAE,EACJ;IACA,IAAI,MAAM,IAAI,EAAE,WAAW,WACzB,OAAO,aAAa,QAAQ,WAAW,UAAU,MAAM,KAAK,QAAQ,QAAQ;IAC9E,MAAM,OAAO,OAAO,QAAQ,SAAS,OAAO;IAE5C,MAAM,WAAW,kBAAkB,sBAAsB;KACvD,GAAG,QAAQ;KACX,kBAAkB;KAClB,aAAa,CACX,GAAG,QAAQ,SAAS,aACpB;MAAE,cAAc,UAAU;MAAc,UAAU,UAAU;KAAS,CACvE;IACF,CAAC;IAED,WAAW;KACT,MAAM;KACN,SAAS;KACT,YAAY,kBAAkB,yBAAyB;MACrD,UAAU,EAAE;MACZ;MACA,cAAc,UAAU;MACxB,oBAAoB,UAAU;MAC9B;KACF,CAAC;IACH;GACF;EACF;CACF;CACA,OAAO,aAAa,SAAS,MAAM,SAAS,IAAI;CAEhD,OAAO;AACT,CAAC,CACH;AAEF,MAAM,oBAAoB,SAAc,UAAkB,cAAsB,YAC9E,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,KAAK,QAAQ;CAMnB,MAAM,OAAM,OAJS,MAAM,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,EAC1F,OAAO,EACT,CAAC,EAAA,CAEiB,KAAK;CAEvB,IACE,QAAQ,KAAA,KACR,IAAI,GAAG,cAAc,YACrB,CAAC,QAAQ,UAAU,OAAO,IAAI,GAAG,YAAY,QAAQ,QAAQ,KAC7D,CAAC,GAAG,eAAe,IAAI,GAAG,OAAO,GAEjC,OAAO,KAAA;CACT,MAAM,IAAI,QAAQ,UAAU;CAU5B,MAAM,aAAY,OARG,MAAM,KACzB,EAAE,OACF,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,GAAG,YAAY,GACnD,EACE,OAAO,EACT,CACF,EAAA,CAEwB,KAAK;CAE7B,IACE,cAAc,KAAA,KACd,UAAU,EAAE,WAAW,WACvB,CAAC,QAAQ,UAAU,OAAO,UAAU,EAAE,YAAY,QAAQ,QAAQ,GAElE,OAAO,KAAA;CAET,MAAM,WAAW;EACf,UAAU,UAAU,EAAE;EACtB,QAAQ,UAAU,EAAE;EACpB,SAAS,UAAU,EAAE;CACvB;CAEA,UAAU,iBAAiB,QAAQ,MAAM,IAAI,GAAG,YAAY;CAM5D,IAJe,QAAQ,SAAS,YAAY,MACzC,SAAc,KAAK,iBAAiB,YAIhC,CAAC,EAAE,aAAa,IAAI,GAAG,uBAC5B,EAAE,OAAO,MAAM,MACb,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,GAAG,eAAe,EAAE,EAC1H,IAEA,OAAO,KAAA;CAET,OAAO,kBAAkB,yBAAyB;EACtC;EACV;EACA;EACA,oBAAoB,IAAI,GAAG;EAC3B,UAAU,QAAQ;CACpB,CAAC;AACH,CAAC,CACH;AAEF,MAAM,iBAAiB,SAAc,UAAkB,cACrD,OAAO,QAAQ,0BAA0B,UACvC,MAAM,KACJ,QAAQ,QAAQ,OAChB,MAAM,QAAQ,QAAQ,OAAO;EAC1B,QAAQ,QAAQ,WAAW;EAC3B,QAAQ,QAAQ,YAAY;AAC/B,CAAC,GACD,EAAE,OAAO,EAAE,CACb,CACF;AAEF,MAAa,iBAAiB,SAAc,UAC1C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,UAAU,OAAO,eAAe,SAAS,MAAM,SAAS;CAE9D,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CAErD,MAAM,UAAU,OAAO,cAAc,SAAS,MAAM,UAAU,MAAM,SAAS,GAC3E,IAAI,QAAQ;CAEd,MAAM,MAAM,QAAQ,KAAK;CAEzB,IAAI,QAAQ,KAAA,GAAW;EACrB,MAAM,SAAS,kBAAkB,OAAO,IAAI,EAAE,eAAe;EAE7D,IACE,OAAO,aAAa,MAAM,YAC1B,OAAO,SAAS,cAAc,MAAM,aACpC,OAAO,iBAAiB,MAAM,gBAC9B,CAAC,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,QAAQ,QAAQ,KAC5D,IAAI,EAAE,kBAAkB,MAAM,cAE9B,OAAO,EAAE,MAAM,WAAW;EAC5B,MAAM,WAAW,QAAQ,SAAS,UAAU,QAAQ,QAAQ;EAE5D,IAAI,EAAE,OAAO,MAAM,MAAM,QAAQ,IAAI,OAAO,EAAE,MAAM,WAAW;EAC/D,MAAM,eAAe,KAAK,QAAQ;EAElC,OAAO;GAAE,MAAM;GAAU,QAAQ,gBAAgB,OAAO,IAAI,EAAE,SAAS;EAAE;CAC3E;CAEA,MAAM,aAAa,OAAO,iBACxB,SACA,MAAM,UACN,MAAM,cACN,OACF;CAEA,OAAO,eAAe,KAAA,IACjB,EAAE,MAAM,WAAW,IACnB;EAAE,MAAM;EAAU;CAAW;AACpC,CAAC,CACH;AAEF,MAAM,wBAAwB,SAAc,SAAc,YACxD,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,UAAU,QAAQ,YAAY,SAAS,KAAK,QAAQ,YAAY,UAAU,EAAE;CAC5E,MAAM,wBAAQ,IAAI,IAAkC;CAEpD,MAAM,YAAY,IAAI,IACpB,QAAQ,SAAS,YAAY,KAAK,SAAc,CAAC,KAAK,cAAc,KAAK,QAAQ,CAAC,CACpF;CAEA,KAAK,MAAM,cAAc,QAAQ,aAAa;EAC5C,MAAM,WAAW,OAAO,MAAM,KAC5B,WAAW,OACX,KACE,GAAG,IAAI,WAAW,OAAO,WAAW,SAAS,GAAG,QAAQ,QAAQ,GAChE,WAAW,UAAU,QAAQ,QAAQ,CACvC,GACA,EAAE,SAAS,IAAI,WAAW,OAAO,WAAW,YAAY,EAAE,CAC5D;EAEA,KAAK,MAAM,OAAO,SAAS,MAAM;GAC/B,MAAM,OAAO,WAAW,OAAO,UAAU,GAAG,CAAC;GAE7C,IAAI,SAAS,KAAA,KAAa,KAAK,iBAAiB,SAAS;GACzD,UACE,KAAK,iBAAiB,IAAI,WAAW,iBACnC,KAAK,aAAa,IAAI,WAAW,aACjC,UAAU,IAAI,KAAK,YAAY,MAAM,KAAK,YAC1C,KAAK,QAAQ,UAAU,KACvB,KAAK,QAAQ,OAAO,WAClB;IAAC;IAAa;IAAc;GAAW,CAAC,CAAC,SAAS,MAAM,CAC1D,CACJ;GACA,UACE,OAAO,KAAK,kBAAkB,aAC5B,OAAO,KAAK,iBAAiB,aAC7B,OAAO,KAAK,sBAAsB,SACtC;GAEA,MAAM,aAAa;IACjB,cAAc,KAAK;IACnB,UAAU,KAAK;IACf,eAAe,KAAK;IACpB,SAAS,CAAC,GAAG,IAAI,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK;IACzC,cAAc,KAAK;IACnB,mBAAmB,KAAK;GAC1B;GAEA,MAAM,QAAQ,MAAM,IAAI,KAAK,YAAY;GAGzC,UAAU,UAAU,KAAA,KAAa,KAAK,UAAU,KAAK,MAAM,KAAK,UAAU,UAAU,CAAC;GACrF,MAAM,IAAI,KAAK,cAAc,UAAU;EACzC;CACF;CACA,MAAM,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC;CAEpC,MAAM,cAAc,kBAClB,2BACA,QAAQ,QAAQ,gCAAgC,UAAU,QAAQ,GAAG,CAAC,CACxE;CAEA,OAAO,UAAU,MAAM,SAAS,KAAK,aAAa,KAAK,UAAU,WAAW,WAAW;AACzF,CAAC,CACH;AAEF,MAAa,UAAU,SAAc,UACnC,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,kBAAkB,yBAAyB,MAAM,UAAU;CAE5E,UAAU,SAAS,aAAa,MAAM,QAAQ;CAC9C,MAAM,UAAU,OAAO,eAAe,SAAS,SAAS,SAAS,SAAS;CAE1E,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CACrD,MAAM,SAAS,QAAQ,4BAA4B,CAAC;CAEpD,UAAU,OAAO,UAAU,EAAE;CAC7B,IAAI,oBAAoB,QAAQ,uBAAuB,KAAA,KAAa,OAAO,SAAS;CAEpF,IAAI,QAAQ,uBAAuB,KAAA,GAC5B;OAAA,MAAM,SAAS,QAclB,KAAI,OAbgB,MAAM,KACxB,MAAM,OACN,MAAM,UAAU;GACd,UAAU,kBACR,wBAAwB,OAAO,UAC/B,SAAS,QACX;GACA,aAAa,iBAAiB,SAAS,QAAQ;GAC/C,WAAW,UAAU,EAAE,OAAO,QAAQ,SAAS,CAAC,CAAC,CAAC;EACpD,CAAC,GACD,EAAE,SAAS,IAAI,MAAM,OAAO,MAAM,OAAO,EAAE,CAC7C,EAAA,CAES,KAAK,WAAW,GAAG,oBAAoB;CAAA;CAGpD,MAAM,UAAU,OAAO,cAAc,SAAS,MAAM,UAAU,MAAM,SAAS,GAC3E,IAAI,QAAQ;CAEd,MAAM,WAAW,QAAQ,KAAK;CAE9B,IAAI,aAAa,KAAA,GAAW;EAC1B,IACE,SAAS,EAAE,oBAAoB,kBAAkB,OAAO,QAAQ,KAChE,SAAS,EAAE,kBAAkB,SAAS,gBACtC,CAAC,QAAQ,UAAU,OAAO,SAAS,EAAE,YAAY,QAAQ,QAAQ,GAEjE,OAAO,EAAE,MAAM,WAAW;EAC5B,MAAM,WAAW,QAAQ,SAAS,UAAU,QAAQ,QAAQ;EAE5D,IAAI,EAAE,OAAO,MAAM,MAAM,QAAQ,IAAI,OAAO,EAAE,MAAM,WAAW;EAC/D,MAAM,eAAe,KAAK,QAAQ;EAElC,OAAO;GACL,MAAM;GACN,UAAU;GACV,QAAQ,gBAAgB,OAAO,SAAS,EAAE,SAAS;EACrD;CACF;CAEA,MAAM,SAAS,OAAO,iBACpB,SACA,MAAM,UACN,SAAS,cACT,OACF;CAEA,IACE,WAAW,KAAA,KACX,kBAAkB,OAAO,MAAM,MAAM,kBAAkB,OAAO,QAAQ,GAEtE,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;CAE5E,IACE,KAAK,UAAU,aAAa,MAAM,YAClC,EAAE,OAAO,cACP,SACA,SACA,MACA,UACA,MAAM,WACN,MAAM,WACN,kBAAkB,OAAO,QAAQ,GACjC,KAAK,YAAY,gBACnB,IAEA,OAAO,EAAE,MAAM,WAAW;CAC5B,IAAI,EAAE,OAAO,qBAAqB,SAAS,SAAS,SAAS,YAAY,IACvE,OAAO,EAAE,MAAM,mBAAmB;CAEpC,MAAM,eAAe,kBAAkB,SAAS,MAAM,YAAY,GAChE,KAAK,QAAQ,YACb,IAAI,QAAQ;CAEd,MAAM,MAAM,iBAAiB,SAAS,QAAQ,GAC5C,IAAI,QAAQ,UAAU;CAExB,MAAM,YAAY,QAAQ,qBAAqB;EAC7C,aAAa;EACb,WAAW,UAAU,EAAE,OAAO,QAAQ,SAAS,CAAC,CAAC,CAAC;CACpD,CAAC;CAED,MAAM,SACJ,cAAc,KAAA,MAAc,CAAC,sBAAsB,OAAO,MAAM,MAAM,SAAS;CAEjF,IAAI,cAAc,KAAA,KAAa,mBAC7B,MAAM,eAAe,KAAK,SAAS,YAAY,GAAG,QAAQ,UAAU,EAAE;CACxE,OAAO,MAAM,OAAO,GAAG,OAAO,GAAG,GAAG,eAAe,SAAS,aAAa,CAAC;CAC1E,OAAO,MAAM,OAAO,EAAE,OAAO;GAC1B,EAAE,YAAY,QAAQ;GACtB,EAAE,eAAe,SAAS;CAC7B,CAAC;CACD,IAAI,CAAC,QAAQ;EACX,OAAO,MAAM,OACX,EAAE,OACF,GAAG,EAAE,cAAc,IAAI,GACvB;IACG,EAAE,QAAQ;IACV,EAAE,YAAY;IACd,EAAE,cAAc;IAChB,EAAE,UAAU,MAAM;EACrB,CACF;EACA,IAAI,QAAQ,UAAU,SAAS,YAC7B,OAAO,MAAM,OAAO,QAAQ,UAAU,SAAS,OAAO,GACnD,QAAQ,UAAU,SAAS,cAAc,IAC5C,CAAC;CACL;CACA,OAAO,QAAQ,SAAS,SAAS,SAAS,YAAY;CAEtD,MAAM,SAAS,kBAAkB,eAAe;EAC9C,MAAM;EACN,cAAc,SAAS;EACvB;CACF,CAAC;CAED,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,UACE,OAAO,cAAc,MAAM,oBAAoB,KAC7C,MAAM,uBAAuB,OAC7B,MAAM,wBAAwB,MAAM,YAAY,IACpD;CACA,MAAM,aAAa;GAAG,EAAE,WAAW,MAAM;GAAW,EAAE,YAAY,MAAM;CAAU;CAElF,MAAM,SAAS;EACb,GAAG,EAAE,aAAa;GAChB,UAAU,MAAM;GAChB,WAAW,MAAM;GACjB,YAAY,kBAAkB,yBAAyB,QAAQ;EACjE,CAAC;EACD,GAAG;GACF,EAAE,YAAY,QAAQ;GACtB,EAAE,eAAe,SAAS;GAC1B,EAAE,iBAAiB,kBAAkB,OAAO,QAAQ;GACpD,EAAE,WAAW,gBAAgB,OAAO,MAAM;GAC1C,EAAE,iBAAiB,QAAQ,MAAM,cAAc,MAAM,oBAAoB;CAC5E;CAIA,QAAQ,QAAO,OAFS,MAAM,OAAO,EAAE,OAAO,QAAQ,UAAU,EAAA,CAExC;CAExB,OAAO;EAAE,MAAM;EAAY;EAAQ,UAAU;CAAM;AACrD,CAAC,CACH"}
+{"version":3,"file":"oauth-accounts.mjs","names":[],"sources":["../../src/drizzle/oauth-accounts.ts"],"sourcesContent":["import {\n  OAuthAccountRevision,\n  OAuthActionAuthorization,\n  OAuthLinkAccess,\n  OAuthLinkClaim,\n  OAuthLinkPendingFlow,\n  OAuthLinkTransactionContext,\n  OAuthUnlinked,\n  OAuthCredentialSnapshot,\n  snapshotOAuthSync,\n} from \"@yielded/auth/OAuth\";\nimport {\n  SessionInvalidationWindow,\n  AuthenticationRequirement,\n  SecurityRevision,\n} from \"@yielded/auth/Sessions\";\n/* oxlint-disable no-explicit-any -- private owner implementation; public mappings retain native IDs. */\nimport { eq, sql } from \"drizzle-orm\";\nimport { DateTime, Effect } from \"effect\";\n\nimport type { SubjectIdCodec } from \"./model\";\nimport {\n  claimFlow,\n  credentialStorage,\n  currentSubject,\n  exactClaim,\n  issueFlow,\n  linkStorage,\n  matchesAccess,\n  readFlow,\n  terminalFlow,\n} from \"./oauth-flow\";\nimport type { OAuthReferenceGuardDescriptor, OAuthEligibilityFact } from \"./oauth-model\";\nimport { both, col, copiedRow, equal, CurrentOAuthTransaction } from \"./oauth-owner\";\nimport { acquireTuple, readTuple } from \"./oauth-registration\";\nimport {\n  invariant,\n  oauthIdentityKey,\n  sameRevision,\n  satisfies,\n  storage,\n  validAction,\n} from \"./oauth-state\";\n\nconst contextStorage = storage(OAuthLinkTransactionContext);\nconst unlinkedStorage = storage(OAuthUnlinked);\n\nexport const accountCurrent = (mapping: any, subjectId: OAuthAccountRevision[\"subjectId\"]) =>\n  Effect.gen(function* () {\n    const native = yield* (mapping.subjectId as SubjectIdCodec<unknown>).toNative(subjectId);\n\n    return yield* currentSubject(mapping, native);\n  });\n\nconst authorization = (\n  mapping: any,\n  current: any,\n  auth: OAuthActionAuthorization,\n  action: OAuthActionAuthorization[\"challenge\"][\"action\"],\n  flowId: string,\n  commandId: string,\n  intent: string,\n  maximumAge: number,\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const now = yield* owner.now(mapping.clock);\n\n      const currentRequirement = snapshotOAuthSync(\n        AuthenticationRequirement,\n        mapping.subject.decodeActionRequirement(copiedRow(current.row), action),\n      );\n\n      const accepted = yield* validAction(\n        auth,\n        {\n          moduleId: auth.challenge.moduleId,\n          action,\n          flowId,\n          commandId,\n          revision: current.revision,\n          intent,\n        },\n        currentRequirement,\n        now,\n        maximumAge,\n      );\n\n      if (!accepted) return false;\n\n      const age = Math.min(\n        maximumAge,\n        auth.requirement.maximumAgeMillis,\n        currentRequirement.maximumAgeMillis,\n      );\n\n      const fresh = auth.evidence.proofs.filter(\n        (proof) => now - DateTime.toEpochMillis(proof.verifiedAt) < age,\n      );\n\n      invariant(fresh.length > 0);\n\n      const deadline = Math.min(\n        ...fresh.map((proof) => DateTime.toEpochMillis(proof.verifiedAt) + age),\n      );\n\n      owner.postconditions.push(\n        sql`${mapping.clock.engineNowMillis} >= ${now} and ${mapping.clock.engineNowMillis} < ${deadline}`,\n      );\n\n      return true;\n    }),\n  );\n\nconst currentLink = (mapping: any, flow: typeof OAuthLinkPendingFlow.Type) =>\n  Effect.gen(function* () {\n    const current = yield* accountCurrent(mapping, flow.context.revision.subjectId);\n\n    return current !== undefined && sameRevision(current.revision, flow.context.revision)\n      ? current\n      : undefined;\n  });\n\nexport const issueLink = (mapping: any, input: any) =>\n  Effect.gen(function* () {\n    const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow),\n      c = flow.context;\n\n    const current = yield* currentLink(mapping, flow);\n    const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n    if (\n      current === undefined ||\n      auth.challenge.moduleId !== c.moduleId ||\n      !(yield* authorization(\n        mapping,\n        current,\n        auth,\n        \"link-begin\",\n        c.flowId,\n        c.commandId,\n        contextStorage.encode(c),\n        c.maximumEvidenceAgeMillis,\n      ))\n    )\n      return { _tag: \"Rejected\" } as const;\n\n    return yield* issueFlow(mapping, flow, \"link\");\n  });\n\nexport const preflightLink = (mapping: any, original: typeof OAuthLinkAccess.Type) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const input = snapshotOAuthSync(OAuthLinkAccess, original);\n      // The authenticated subject is known before discovering/locking any flow.\n      const current = yield* accountCurrent(mapping, input.subjectId);\n      const found = yield* readFlow(mapping, input, \"link\");\n      const now = yield* owner.now(mapping.clock);\n\n      if (\n        current === undefined ||\n        found.flow === undefined ||\n        found.row?.[mapping.flow.state] !== \"Pending\" ||\n        !matchesAccess(found.flow, input)\n      )\n        return undefined;\n\n      const flow = snapshotOAuthSync(OAuthLinkPendingFlow, found.flow as never),\n        c = flow.context;\n\n      if (\n        c.revision.subjectId !== input.subjectId ||\n        !sameRevision(current.revision, c.revision) ||\n        now < c.issuedAtMillis ||\n        now >= c.expiresAtMillis\n      )\n        return undefined;\n      owner.postconditions.push(\n        sql`${mapping.clock.engineNowMillis} >= ${c.issuedAtMillis} and ${mapping.clock.engineNowMillis} < ${c.expiresAtMillis}`,\n      );\n\n      return { current, flow, row: found.row };\n    }),\n  );\n\nexport const claimLink = (mapping: any, input: any) =>\n  Effect.gen(function* () {\n    const found = yield* preflightLink(mapping, input.access);\n    const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow);\n\n    const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization),\n      c = flow.context;\n\n    if (\n      found === undefined ||\n      linkStorage.encode(found.flow) !== linkStorage.encode(flow) ||\n      auth.challenge.moduleId !== c.moduleId ||\n      !(yield* authorization(\n        mapping,\n        found.current,\n        auth,\n        \"link-complete\",\n        c.flowId,\n        c.commandId,\n        contextStorage.encode(c),\n        c.maximumEvidenceAgeMillis,\n      ))\n    )\n      return { _tag: \"Rejected\" } as const;\n    const claim = yield* claimFlow(mapping, { row: found.row!, flow }, input.claimId);\n\n    return claim === undefined\n      ? ({ _tag: \"Rejected\" } as const)\n      : ({ _tag: \"Claimed\", claim } as const);\n  });\n\nconst checkInvalidation = (mapping: any, original: SessionInvalidationWindow) => {\n  const value = snapshotOAuthSync(SessionInvalidationWindow, original);\n\n  invariant(\n    value.trigger === \"credential-change\" &&\n      value.oldAuthenticationEvidence === \"rejected\" &&\n      (mapping.sessionInvalidation === \"same-authority-immediate\"\n        ? value.existingSessions === \"immediate\" && value.maximumExposureMillis === 0\n        : value.existingSessions === \"original-absolute-expiry\"),\n  );\n\n  return value;\n};\n\nconst advance = (mapping: any, current: any, removed?: string) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const revision = mapping.subject.nextSecurityRevision(current.revision.securityRevision);\n\n      invariant(\n        typeof revision === \"string\" &&\n          revision.length > 0 &&\n          revision.length <= 256 &&\n          revision !== current.revision.securityRevision,\n      );\n      const subject = mapping.subject;\n\n      yield* owner.update(\n        subject.table,\n        { [subject.id]: current.nativeId },\n        { [subject.securityRevision]: revision },\n      );\n      for (const cleanup of mapping.cleanup) {\n        const condition = both(\n          eq(col(cleanup.table, cleanup.subjectId), current.nativeId),\n          cleanup.condition({\n            subjectId: current.nativeId,\n            revision: snapshotOAuthSync(OAuthAccountRevision, current.revision),\n            ...(removed === undefined ? {} : { removedCredentialId: removed }),\n          }),\n        );\n\n        yield* owner.write(owner.database.delete(cleanup.table).where(condition));\n        owner.postconditions.push(\n          sql`not exists(select 1 from ${cleanup.table} where ${condition})`,\n        );\n      }\n\n      return SecurityRevision.make(revision);\n    }),\n  );\n\nexport const settleLink = (\n  mapping: any,\n  input: any,\n  allocated: { readonly credentialId: string; readonly revision: SecurityRevision },\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const claim = snapshotOAuthSync(OAuthLinkClaim, input.claim),\n        flow = claim.flow,\n        c = flow.context;\n\n      const current = yield* currentLink(mapping, flow);\n\n      // Known subject is always locked before tuple/flow; even a rejected outcome\n      // settles its exact original claim without adopting a newer revision.\n      const identity =\n        input.outcome._tag === \"Verified\" ? input.outcome.identity.identity : undefined;\n\n      if (identity !== undefined)\n        invariant(identity.provider === c.provider && identity.issuer === c.issuer);\n\n      const tuple =\n        identity !== undefined && current !== undefined\n          ? yield* readTuple(mapping.ownership, identity)\n          : undefined;\n\n      const exact = yield* exactClaim(mapping, claim, \"link\");\n\n      if (exact === undefined) return { _tag: \"Rejected\" } as const;\n      let decision: any = { _tag: input.outcome._tag };\n\n      if (input.outcome._tag === \"Verified\") {\n        decision = { _tag: \"Rejected\" };\n        const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n        if (\n          current !== undefined &&\n          tuple !== undefined &&\n          auth.challenge.moduleId === c.moduleId &&\n          (yield* authorization(\n            mapping,\n            current,\n            auth,\n            \"link-complete\",\n            c.flowId,\n            c.commandId,\n            contextStorage.encode(c),\n            c.maximumEvidenceAgeMillis,\n          ))\n        ) {\n          const t = mapping.ownership.tuple,\n            cr = mapping.credential,\n            a = mapping.authority;\n\n          const login = yield* owner.read(cr.table, eq(col(cr.table, cr.identityKey), tuple.key), {\n            limit: 1,\n          });\n\n          const previous = login.rows[0];\n\n          if (\n            tuple.row[t.state] === \"Reserved\" ||\n            (tuple.row[t.state] === \"Owned\" &&\n              !mapping.subjectId.equals(tuple.row[t.subjectId], current.nativeId)) ||\n            (previous !== undefined &&\n              (previous[cr.moduleId] !== c.moduleId ||\n                !mapping.subjectId.equals(previous[cr.subjectId], current.nativeId) ||\n                !cr.isActiveStatus(previous[cr.status])))\n          )\n            decision = { _tag: \"Conflict\" };\n          else if (previous !== undefined) {\n            const shared = current.revision.credentials.find(\n              (item: any) => item.credentialId === previous[cr.credentialId],\n            );\n\n            if (\n              tuple.row[t.state] !== \"Owned\" ||\n              shared?.revision !== previous[cr.credentialRevision] ||\n              !(yield* owner.check(\n                sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.identityKey), tuple.key), cr.activeCondition)})`,\n              ))\n            )\n              decision = { _tag: \"Conflict\" };\n            else\n              decision = {\n                _tag: \"Linked\",\n                changed: false,\n                credential: snapshotOAuthSync(OAuthCredentialSnapshot, {\n                  moduleId: c.moduleId,\n                  identity,\n                  credentialId: previous[cr.credentialId],\n                  credentialRevision: previous[cr.credentialRevision],\n                  revision: current.revision,\n                }),\n              };\n          } else {\n            checkInvalidation(mapping, input.invalidation);\n\n            const values = {\n              ...cr.encodeInsert({\n                moduleId: c.moduleId,\n                subjectId: current.nativeId,\n                identityKey: tuple.key,\n                credentialId: allocated.credentialId,\n                credentialRevision: allocated.revision,\n              }),\n              [cr.moduleId]: c.moduleId,\n              [cr.subjectId]: current.nativeId,\n              [cr.identityKey]: tuple.key,\n              [cr.credentialId]: allocated.credentialId,\n              [cr.credentialRevision]: allocated.revision,\n            };\n\n            invariant(cr.isActiveStatus(values[cr.status]));\n\n            const inserted = yield* owner.insert(cr.table, values, {\n              [cr.credentialId]: allocated.credentialId,\n            });\n\n            login.rows = inserted.rows;\n\n            const sharedValues = {\n              ...a.encodeInsert({\n                subjectId: current.nativeId,\n                credentialId: allocated.credentialId,\n                revision: allocated.revision,\n              }),\n              [a.subjectId]: current.nativeId,\n              [a.credentialId]: allocated.credentialId,\n              [a.revision]: allocated.revision,\n            };\n\n            invariant(a.isActiveStatus(sharedValues[a.status]));\n\n            const shared = yield* owner.insert(a.table, sharedValues, {\n              [a.subjectId]: current.nativeId,\n              [a.credentialId]: allocated.credentialId,\n            });\n\n            current.authorities.rows = [...current.authorities.rows, ...shared.rows];\n            owner.postconditions.push(\n              sql`exists(select 1 from ${cr.table} where ${both(\n                eq(col(cr.table, cr.credentialId), allocated.credentialId),\n                cr.activeCondition,\n              )})`,\n              sql`exists(select 1 from ${a.table} where ${both(\n                eq(col(a.table, a.subjectId), current.nativeId),\n                eq(col(a.table, a.credentialId), allocated.credentialId),\n                a.activeCondition,\n              )})`,\n            );\n            if (tuple.row[t.state] === \"Unowned\")\n              yield* acquireTuple(mapping.ownership, identity, tuple.key, current.nativeId);\n            const next = yield* advance(mapping, current);\n\n            const revision = snapshotOAuthSync(OAuthAccountRevision, {\n              ...current.revision,\n              securityRevision: next,\n              credentials: [\n                ...current.revision.credentials,\n                { credentialId: allocated.credentialId, revision: allocated.revision },\n              ],\n            });\n\n            decision = {\n              _tag: \"Linked\",\n              changed: true,\n              credential: snapshotOAuthSync(OAuthCredentialSnapshot, {\n                moduleId: c.moduleId,\n                identity,\n                credentialId: allocated.credentialId,\n                credentialRevision: allocated.revision as never,\n                revision,\n              }),\n            };\n          }\n        }\n      }\n      yield* terminalFlow(mapping, flow, decision._tag);\n\n      return decision;\n    }),\n  );\n\nconst targetCredential = (mapping: any, moduleId: string, credentialId: string, current: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const cr = mapping.credential;\n\n      const found = yield* owner.read(cr.table, eq(col(cr.table, cr.credentialId), credentialId), {\n        limit: 1,\n      });\n\n      const row = found.rows[0];\n\n      if (\n        row === undefined ||\n        row[cr.moduleId] !== moduleId ||\n        !mapping.subjectId.equals(row[cr.subjectId], current.nativeId) ||\n        !cr.isActiveStatus(row[cr.status])\n      )\n        return undefined;\n      const t = mapping.ownership.tuple;\n\n      const tuple = yield* owner.read(\n        t.table,\n        eq(col(t.table, t.identityKey), row[cr.identityKey]),\n        {\n          limit: 1,\n        },\n      );\n\n      const ownership = tuple.rows[0];\n\n      if (\n        ownership === undefined ||\n        ownership[t.state] !== \"Owned\" ||\n        !mapping.subjectId.equals(ownership[t.subjectId], current.nativeId)\n      )\n        return undefined;\n\n      const identity = {\n        provider: ownership[t.provider],\n        issuer: ownership[t.issuer],\n        subject: ownership[t.externalSubject],\n      };\n\n      invariant((yield* oauthIdentityKey(identity)) === row[cr.identityKey]);\n\n      const shared = current.revision.credentials.find(\n        (item: any) => item.credentialId === credentialId,\n      );\n\n      if (\n        shared?.revision !== row[cr.credentialRevision] ||\n        !(yield* owner.check(\n          sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), credentialId), cr.activeCondition)})`,\n        ))\n      )\n        return undefined;\n\n      return snapshotOAuthSync(OAuthCredentialSnapshot, {\n        moduleId: moduleId as never,\n        identity,\n        credentialId,\n        credentialRevision: row[cr.credentialRevision],\n        revision: current.revision,\n      });\n    }),\n  );\n\nconst unlinkCommand = (mapping: any, moduleId: string, commandId: string) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    owner.read(\n      mapping.command.table,\n      equal(mapping.command.table, {\n        [mapping.command.moduleId]: moduleId,\n        [mapping.command.commandId]: commandId,\n      }),\n      { limit: 1 },\n    ),\n  );\n\nexport const inspectUnlink = (mapping: any, input: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const current = yield* accountCurrent(mapping, input.subjectId);\n\n      if (current === undefined) return { _tag: \"Rejected\" } as const;\n\n      const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId),\n        r = mapping.command;\n\n      const old = command.rows[0];\n\n      if (old !== undefined) {\n        const intent = credentialStorage.decode(old[r.intentSnapshot]);\n\n        if (\n          intent.moduleId !== input.moduleId ||\n          intent.revision.subjectId !== input.subjectId ||\n          intent.credentialId !== input.credentialId ||\n          !mapping.subjectId.equals(old[r.subjectId], current.nativeId) ||\n          old[r.credentialId] !== input.credentialId\n        )\n          return { _tag: \"Conflict\" } as const;\n        const metadata = mapping.metadata.condition(current.nativeId);\n\n        if (!(yield* owner.check(metadata))) return { _tag: \"Rejected\" } as const;\n        owner.postconditions.push(metadata);\n\n        return { _tag: \"Replay\", result: unlinkedStorage.decode(old[r.decision]) } as const;\n      }\n\n      const credential = yield* targetCredential(\n        mapping,\n        input.moduleId,\n        input.credentialId,\n        current,\n      );\n\n      return credential === undefined\n        ? ({ _tag: \"Rejected\" } as const)\n        : ({ _tag: \"Target\", credential } as const);\n    }),\n  );\n\nconst remainingEligibility = (mapping: any, current: any, removed: string) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      invariant(mapping.eligibility.length > 0 && mapping.eligibility.length <= 32);\n      const facts = new Map<string, OAuthEligibilityFact>();\n\n      const revisions = new Map(\n        current.revision.credentials.map((item: any) => [item.credentialId, item.revision]),\n      );\n\n      for (const descriptor of mapping.eligibility) {\n        const observed = yield* owner.read(\n          descriptor.table,\n          both(\n            eq(col(descriptor.table, descriptor.subjectId), current.nativeId),\n            descriptor.condition(current.nativeId),\n          ),\n          { orderBy: col(descriptor.table, descriptor.credentialId) },\n        );\n\n        for (const row of observed.rows) {\n          const fact = descriptor.decode(copiedRow(row)) as OAuthEligibilityFact | undefined;\n\n          if (fact === undefined || fact.credentialId === removed) continue;\n          invariant(\n            fact.credentialId === row[descriptor.credentialId] &&\n              fact.revision === row[descriptor.revision] &&\n              revisions.get(fact.credentialId) === fact.revision &&\n              fact.factors.length <= 8 &&\n              fact.factors.every((factor) =>\n                [\"knowledge\", \"possession\", \"inherence\"].includes(factor),\n              ),\n          );\n          invariant(\n            typeof fact.usablePrimary === \"boolean\" &&\n              typeof fact.userVerified === \"boolean\" &&\n              typeof fact.phishingResistant === \"boolean\",\n          );\n\n          const normalized = {\n            credentialId: fact.credentialId,\n            revision: fact.revision,\n            usablePrimary: fact.usablePrimary,\n            factors: [...new Set(fact.factors)].sort(),\n            userVerified: fact.userVerified,\n            phishingResistant: fact.phishingResistant,\n          };\n\n          const prior = facts.get(fact.credentialId);\n\n          // oxlint-disable-next-line no-restricted-properties -- Canonical bounded eligibility fact fingerprint rejects contradictory duplicate IDs.\n          invariant(prior === undefined || JSON.stringify(prior) === JSON.stringify(normalized));\n          facts.set(fact.credentialId, normalized);\n        }\n      }\n      const available = [...facts.values()];\n\n      const requirement = snapshotOAuthSync(\n        AuthenticationRequirement,\n        mapping.subject.decodeAuthenticationRequirement(copiedRow(current.row)),\n      );\n\n      return available.some((fact) => fact.usablePrimary) && satisfies(available, requirement);\n    }),\n  );\n\nexport const unlink = (mapping: any, input: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const expected = snapshotOAuthSync(OAuthCredentialSnapshot, input.credential);\n\n      invariant(expected.moduleId === input.moduleId);\n      const current = yield* accountCurrent(mapping, expected.revision.subjectId);\n\n      if (current === undefined) return { _tag: \"Rejected\" } as const;\n\n      const guards: ReadonlyArray<OAuthReferenceGuardDescriptor<unknown>> =\n        mapping.connectedReferenceGuards ?? [];\n\n      invariant(guards.length <= 32);\n      let referencesGuarded = mapping.connectedReference !== undefined && guards.length > 0;\n\n      if (mapping.connectedReference !== undefined)\n        for (const guard of guards) {\n          const condition = guard.condition({\n            identity: snapshotOAuthSync(OAuthCredentialSnapshot.fields.identity, expected.identity),\n            identityKey: yield* oauthIdentityKey(expected.identity),\n            subjectId: copiedRow({ value: current.nativeId }).value,\n          });\n\n          const read = yield* owner.read(\n            guard.table,\n            Effect.isEffect(condition) ? yield* condition : condition,\n            { orderBy: col(guard.table, guard.orderBy) },\n          );\n\n          if (read.rows.length === 0) referencesGuarded = false;\n        }\n\n      const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId),\n        r = mapping.command;\n\n      const previous = command.rows[0];\n\n      if (previous !== undefined) {\n        if (\n          previous[r.intentSnapshot] !== credentialStorage.encode(expected) ||\n          previous[r.credentialId] !== expected.credentialId ||\n          !mapping.subjectId.equals(previous[r.subjectId], current.nativeId)\n        )\n          return { _tag: \"Conflict\" } as const;\n        const metadata = mapping.metadata.condition(current.nativeId);\n\n        if (!(yield* owner.check(metadata))) return { _tag: \"Rejected\" } as const;\n        owner.postconditions.push(metadata);\n\n        return {\n          _tag: \"Unlinked\",\n          replayed: true,\n          result: unlinkedStorage.decode(previous[r.decision]),\n        } as const;\n      }\n\n      const actual = yield* targetCredential(\n        mapping,\n        input.moduleId,\n        expected.credentialId,\n        current,\n      );\n\n      if (\n        actual === undefined ||\n        credentialStorage.encode(actual) !== credentialStorage.encode(expected)\n      )\n        return { _tag: \"Rejected\" } as const;\n      const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n      if (\n        auth.challenge.moduleId !== input.moduleId ||\n        !(yield* authorization(\n          mapping,\n          current,\n          auth,\n          \"unlink\",\n          input.commandId,\n          input.commandId,\n          credentialStorage.encode(expected),\n          auth.requirement.maximumAgeMillis,\n        ))\n      )\n        return { _tag: \"Rejected\" } as const;\n      if (!(yield* remainingEligibility(mapping, current, expected.credentialId)))\n        return { _tag: \"LastSignInMethod\" } as const;\n\n      const invalidation = checkInvalidation(mapping, input.invalidation),\n        cr = mapping.credential,\n        a = mapping.authority;\n\n      const key = yield* oauthIdentityKey(expected.identity),\n        t = mapping.ownership.tuple;\n\n      const connected = mapping.connectedReference?.({\n        identityKey: key,\n        subjectId: copiedRow({ value: current.nativeId }).value,\n      });\n\n      const retain =\n        connected !== undefined && (!referencesGuarded || (yield* owner.check(connected)));\n\n      if (connected !== undefined && referencesGuarded)\n        owner.postconditions.push(retain ? connected : sql`not (${connected})`);\n      yield* owner.remove(cr.table, { [cr.credentialId]: expected.credentialId });\n      yield* owner.remove(a.table, {\n        [a.subjectId]: current.nativeId,\n        [a.credentialId]: expected.credentialId,\n      });\n      if (!retain) {\n        yield* owner.update(\n          t.table,\n          { [t.identityKey]: key },\n          {\n            [t.state]: \"Unowned\",\n            [t.subjectId]: null,\n            [t.reservation]: null,\n            [t.version]: owner.marker,\n          },\n        );\n        if (mapping.ownership.mode === \"separate\")\n          yield* owner.remove(mapping.ownership.external.table, {\n            [mapping.ownership.external.identityKey]: key,\n          });\n      }\n      yield* advance(mapping, current, expected.credentialId);\n\n      const result = snapshotOAuthSync(OAuthUnlinked, {\n        _tag: \"Unlinked\",\n        credentialId: expected.credentialId,\n        invalidation,\n      });\n\n      const now = yield* owner.now(mapping.clock);\n\n      invariant(\n        Number.isSafeInteger(input.retentionUntilMillis) &&\n          input.retentionUntilMillis > now &&\n          input.retentionUntilMillis >= input.nowMillis + 120000,\n      );\n      const commandKey = { [r.moduleId]: input.moduleId, [r.commandId]: input.commandId };\n\n      const values = {\n        ...r.encodeInsert({\n          moduleId: input.moduleId,\n          commandId: input.commandId,\n          credential: snapshotOAuthSync(OAuthCredentialSnapshot, expected),\n        }),\n        ...commandKey,\n        [r.subjectId]: current.nativeId,\n        [r.credentialId]: expected.credentialId,\n        [r.intentSnapshot]: credentialStorage.encode(expected),\n        [r.decision]: unlinkedStorage.encode(result),\n        [r.retentionUntil]: mapping.clock.encodeInstant(input.retentionUntilMillis),\n      };\n\n      const inserted = yield* owner.insert(r.table, values, commandKey);\n\n      command.rows = inserted.rows;\n\n      return { _tag: \"Unlinked\", result, replayed: false } as const;\n    }),\n  );\n"],"mappings":";;;;;;;;;;AA4CA,MAAM,iBAAiB,QAAQ,2BAA2B;AAC1D,MAAM,kBAAkB,QAAQ,aAAa;AAE7C,MAAa,kBAAkB,SAAc,cAC3C,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,OAAQ,QAAQ,UAAsC,SAAS,SAAS;CAEvF,OAAO,OAAO,eAAe,SAAS,MAAM;AAC9C,CAAC;AAEH,MAAM,iBACJ,SACA,SACA,MACA,QACA,QACA,WACA,QACA,eAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,MAAM,qBAAqB,kBACzB,2BACA,QAAQ,QAAQ,wBAAwB,UAAU,QAAQ,GAAG,GAAG,MAAM,CACxE;CAiBA,IAAI,EAAC,OAfmB,YACtB,MACA;EACE,UAAU,KAAK,UAAU;EACzB;EACA;EACA;EACA,UAAU,QAAQ;EAClB;CACF,GACA,oBACA,KACA,UACF,IAEe,OAAO;CAEtB,MAAM,MAAM,KAAK,IACf,YACA,KAAK,YAAY,kBACjB,mBAAmB,gBACrB;CAEA,MAAM,QAAQ,KAAK,SAAS,OAAO,QAChC,UAAU,MAAM,SAAS,cAAc,MAAM,UAAU,IAAI,GAC9D;CAEA,UAAU,MAAM,SAAS,CAAC;CAE1B,MAAM,WAAW,KAAK,IACpB,GAAG,MAAM,KAAK,UAAU,SAAS,cAAc,MAAM,UAAU,IAAI,GAAG,CACxE;CAEA,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,IAAI,OAAO,QAAQ,MAAM,gBAAgB,KAAK,UAC1F;CAEA,OAAO;AACT,CAAC,CACH;AAEF,MAAM,eAAe,SAAc,SACjC,OAAO,IAAI,aAAa;CACtB,MAAM,UAAU,OAAO,eAAe,SAAS,KAAK,QAAQ,SAAS,SAAS;CAE9E,OAAO,YAAY,KAAA,KAAa,aAAa,QAAQ,UAAU,KAAK,QAAQ,QAAQ,IAChF,UACA,KAAA;AACN,CAAC;AAEH,MAAa,aAAa,SAAc,UACtC,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAI,GAC7D,IAAI,KAAK;CAEX,MAAM,UAAU,OAAO,YAAY,SAAS,IAAI;CAChD,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;CAE5E,IACE,YAAY,KAAA,KACZ,KAAK,UAAU,aAAa,EAAE,YAC9B,EAAE,OAAO,cACP,SACA,SACA,MACA,cACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IAEA,OAAO,EAAE,MAAM,WAAW;CAE5B,OAAO,OAAO,UAAU,SAAS,MAAM,MAAM;AAC/C,CAAC;AAEH,MAAa,iBAAiB,SAAc,aAC1C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,kBAAkB,iBAAiB,QAAQ;CAEzD,MAAM,UAAU,OAAO,eAAe,SAAS,MAAM,SAAS;CAC9D,MAAM,QAAQ,OAAO,SAAS,SAAS,OAAO,MAAM;CACpD,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,IACE,YAAY,KAAA,KACZ,MAAM,SAAS,KAAA,KACf,MAAM,MAAM,QAAQ,KAAK,WAAW,aACpC,CAAC,cAAc,MAAM,MAAM,KAAK,GAEhC,OAAO,KAAA;CAET,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAa,GACtE,IAAI,KAAK;CAEX,IACE,EAAE,SAAS,cAAc,MAAM,aAC/B,CAAC,aAAa,QAAQ,UAAU,EAAE,QAAQ,KAC1C,MAAM,EAAE,kBACR,OAAO,EAAE,iBAET,OAAO,KAAA;CACT,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,EAAE,eAAe,OAAO,QAAQ,MAAM,gBAAgB,KAAK,EAAE,iBACzG;CAEA,OAAO;EAAE;EAAS;EAAM,KAAK,MAAM;CAAI;AACzC,CAAC,CACH;AAEF,MAAa,aAAa,SAAc,UACtC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,cAAc,SAAS,MAAM,MAAM;CACxD,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAI;CAE/D,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa,GAC1E,IAAI,KAAK;CAEX,IACE,UAAU,KAAA,KACV,YAAY,OAAO,MAAM,IAAI,MAAM,YAAY,OAAO,IAAI,KAC1D,KAAK,UAAU,aAAa,EAAE,YAC9B,EAAE,OAAO,cACP,SACA,MAAM,SACN,MACA,iBACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IAEA,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,QAAQ,OAAO,UAAU,SAAS;EAAE,KAAK,MAAM;EAAM;CAAK,GAAG,MAAM,OAAO;CAEhF,OAAO,UAAU,KAAA,IACZ,EAAE,MAAM,WAAW,IACnB;EAAE,MAAM;EAAW;CAAM;AAChC,CAAC;AAEH,MAAM,qBAAqB,SAAc,aAAwC;CAC/E,MAAM,QAAQ,kBAAkB,2BAA2B,QAAQ;CAEnE,UACE,MAAM,YAAY,uBAChB,MAAM,8BAA8B,eACnC,QAAQ,wBAAwB,6BAC7B,MAAM,qBAAqB,eAAe,MAAM,0BAA0B,IAC1E,MAAM,qBAAqB,2BACnC;CAEA,OAAO;AACT;AAEA,MAAM,WAAW,SAAc,SAAc,YAC3C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,QAAQ,QAAQ,qBAAqB,QAAQ,SAAS,gBAAgB;CAEvF,UACE,OAAO,aAAa,YAClB,SAAS,SAAS,KAClB,SAAS,UAAU,OACnB,aAAa,QAAQ,SAAS,gBAClC;CACA,MAAM,UAAU,QAAQ;CAExB,OAAO,MAAM,OACX,QAAQ,OACR,GAAG,QAAQ,KAAK,QAAQ,SAAS,GACjC,GAAG,QAAQ,mBAAmB,SAAS,CACzC;CACA,KAAK,MAAM,WAAW,QAAQ,SAAS;EACrC,MAAM,YAAY,KAChB,GAAG,IAAI,QAAQ,OAAO,QAAQ,SAAS,GAAG,QAAQ,QAAQ,GAC1D,QAAQ,UAAU;GAChB,WAAW,QAAQ;GACnB,UAAU,kBAAkB,sBAAsB,QAAQ,QAAQ;GAClE,GAAI,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,qBAAqB,QAAQ;EAClE,CAAC,CACH;EAEA,OAAO,MAAM,MAAM,MAAM,SAAS,OAAO,QAAQ,KAAK,CAAC,CAAC,MAAM,SAAS,CAAC;EACxE,MAAM,eAAe,KACnB,GAAG,4BAA4B,QAAQ,MAAM,SAAS,UAAU,EAClE;CACF;CAEA,OAAO,iBAAiB,KAAK,QAAQ;AACvC,CAAC,CACH;AAEF,MAAa,cACX,SACA,OACA,cAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,kBAAkB,gBAAgB,MAAM,KAAK,GACzD,OAAO,MAAM,MACb,IAAI,KAAK;CAEX,MAAM,UAAU,OAAO,YAAY,SAAS,IAAI;CAIhD,MAAM,WACJ,MAAM,QAAQ,SAAS,aAAa,MAAM,QAAQ,SAAS,WAAW,KAAA;CAExE,IAAI,aAAa,KAAA,GACf,UAAU,SAAS,aAAa,EAAE,YAAY,SAAS,WAAW,EAAE,MAAM;CAE5E,MAAM,QACJ,aAAa,KAAA,KAAa,YAAY,KAAA,IAClC,OAAO,UAAU,QAAQ,WAAW,QAAQ,IAC5C,KAAA;CAIN,KAAI,OAFiB,WAAW,SAAS,OAAO,MAAM,OAExC,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CACnD,IAAI,WAAgB,EAAE,MAAM,MAAM,QAAQ,KAAK;CAE/C,IAAI,MAAM,QAAQ,SAAS,YAAY;EACrC,WAAW,EAAE,MAAM,WAAW;EAC9B,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;EAE5E,IACE,YAAY,KAAA,KACZ,UAAU,KAAA,KACV,KAAK,UAAU,aAAa,EAAE,aAC7B,OAAO,cACN,SACA,SACA,MACA,iBACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IACA;GACA,MAAM,IAAI,QAAQ,UAAU,OAC1B,KAAK,QAAQ,YACb,IAAI,QAAQ;GAEd,MAAM,QAAQ,OAAO,MAAM,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,GAAG,EACtF,OAAO,EACT,CAAC;GAED,MAAM,WAAW,MAAM,KAAK;GAE5B,IACE,MAAM,IAAI,EAAE,WAAW,cACtB,MAAM,IAAI,EAAE,WAAW,WACtB,CAAC,QAAQ,UAAU,OAAO,MAAM,IAAI,EAAE,YAAY,QAAQ,QAAQ,KACnE,aAAa,KAAA,MACX,SAAS,GAAG,cAAc,EAAE,YAC3B,CAAC,QAAQ,UAAU,OAAO,SAAS,GAAG,YAAY,QAAQ,QAAQ,KAClE,CAAC,GAAG,eAAe,SAAS,GAAG,OAAO,IAE1C,WAAW,EAAE,MAAM,WAAW;QAC3B,IAAI,aAAa,KAAA,GAAW;IAC/B,MAAM,SAAS,QAAQ,SAAS,YAAY,MACzC,SAAc,KAAK,iBAAiB,SAAS,GAAG,aACnD;IAEA,IACE,MAAM,IAAI,EAAE,WAAW,WACvB,QAAQ,aAAa,SAAS,GAAG,uBACjC,EAAE,OAAO,MAAM,MACb,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,eAAe,EAAE,EACtH,IAEA,WAAW,EAAE,MAAM,WAAW;SAE9B,WAAW;KACT,MAAM;KACN,SAAS;KACT,YAAY,kBAAkB,yBAAyB;MACrD,UAAU,EAAE;MACZ;MACA,cAAc,SAAS,GAAG;MAC1B,oBAAoB,SAAS,GAAG;MAChC,UAAU,QAAQ;KACpB,CAAC;IACH;GACJ,OAAO;IACL,kBAAkB,SAAS,MAAM,YAAY;IAE7C,MAAM,SAAS;KACb,GAAG,GAAG,aAAa;MACjB,UAAU,EAAE;MACZ,WAAW,QAAQ;MACnB,aAAa,MAAM;MACnB,cAAc,UAAU;MACxB,oBAAoB,UAAU;KAChC,CAAC;MACA,GAAG,WAAW,EAAE;MAChB,GAAG,YAAY,QAAQ;MACvB,GAAG,cAAc,MAAM;MACvB,GAAG,eAAe,UAAU;MAC5B,GAAG,qBAAqB,UAAU;IACrC;IAEA,UAAU,GAAG,eAAe,OAAO,GAAG,OAAO,CAAC;IAM9C,MAAM,QAAO,OAJW,MAAM,OAAO,GAAG,OAAO,QAAQ,GACpD,GAAG,eAAe,UAAU,aAC/B,CAAC,EAAA,CAEqB;IAEtB,MAAM,eAAe;KACnB,GAAG,EAAE,aAAa;MAChB,WAAW,QAAQ;MACnB,cAAc,UAAU;MACxB,UAAU,UAAU;KACtB,CAAC;MACA,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe,UAAU;MAC3B,EAAE,WAAW,UAAU;IAC1B;IAEA,UAAU,EAAE,eAAe,aAAa,EAAE,OAAO,CAAC;IAElD,MAAM,SAAS,OAAO,MAAM,OAAO,EAAE,OAAO,cAAc;MACvD,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe,UAAU;IAC9B,CAAC;IAED,QAAQ,YAAY,OAAO,CAAC,GAAG,QAAQ,YAAY,MAAM,GAAG,OAAO,IAAI;IACvE,MAAM,eAAe,KACnB,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAC3C,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,YAAY,GACzD,GAAG,eACL,EAAE,IACF,GAAG,wBAAwB,EAAE,MAAM,SAAS,KAC1C,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAAG,QAAQ,QAAQ,GAC9C,GAAG,IAAI,EAAE,OAAO,EAAE,YAAY,GAAG,UAAU,YAAY,GACvD,EAAE,eACJ,EAAE,EACJ;IACA,IAAI,MAAM,IAAI,EAAE,WAAW,WACzB,OAAO,aAAa,QAAQ,WAAW,UAAU,MAAM,KAAK,QAAQ,QAAQ;IAC9E,MAAM,OAAO,OAAO,QAAQ,SAAS,OAAO;IAE5C,MAAM,WAAW,kBAAkB,sBAAsB;KACvD,GAAG,QAAQ;KACX,kBAAkB;KAClB,aAAa,CACX,GAAG,QAAQ,SAAS,aACpB;MAAE,cAAc,UAAU;MAAc,UAAU,UAAU;KAAS,CACvE;IACF,CAAC;IAED,WAAW;KACT,MAAM;KACN,SAAS;KACT,YAAY,kBAAkB,yBAAyB;MACrD,UAAU,EAAE;MACZ;MACA,cAAc,UAAU;MACxB,oBAAoB,UAAU;MAC9B;KACF,CAAC;IACH;GACF;EACF;CACF;CACA,OAAO,aAAa,SAAS,MAAM,SAAS,IAAI;CAEhD,OAAO;AACT,CAAC,CACH;AAEF,MAAM,oBAAoB,SAAc,UAAkB,cAAsB,YAC9E,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,KAAK,QAAQ;CAMnB,MAAM,OAAM,OAJS,MAAM,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,EAC1F,OAAO,EACT,CAAC,EAAA,CAEiB,KAAK;CAEvB,IACE,QAAQ,KAAA,KACR,IAAI,GAAG,cAAc,YACrB,CAAC,QAAQ,UAAU,OAAO,IAAI,GAAG,YAAY,QAAQ,QAAQ,KAC7D,CAAC,GAAG,eAAe,IAAI,GAAG,OAAO,GAEjC,OAAO,KAAA;CACT,MAAM,IAAI,QAAQ,UAAU;CAU5B,MAAM,aAAY,OARG,MAAM,KACzB,EAAE,OACF,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,GAAG,YAAY,GACnD,EACE,OAAO,EACT,CACF,EAAA,CAEwB,KAAK;CAE7B,IACE,cAAc,KAAA,KACd,UAAU,EAAE,WAAW,WACvB,CAAC,QAAQ,UAAU,OAAO,UAAU,EAAE,YAAY,QAAQ,QAAQ,GAElE,OAAO,KAAA;CAET,MAAM,WAAW;EACf,UAAU,UAAU,EAAE;EACtB,QAAQ,UAAU,EAAE;EACpB,SAAS,UAAU,EAAE;CACvB;CAEA,WAAW,OAAO,iBAAiB,QAAQ,OAAO,IAAI,GAAG,YAAY;CAMrE,IAJe,QAAQ,SAAS,YAAY,MACzC,SAAc,KAAK,iBAAiB,YAIhC,CAAC,EAAE,aAAa,IAAI,GAAG,uBAC5B,EAAE,OAAO,MAAM,MACb,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,GAAG,eAAe,EAAE,EAC1H,IAEA,OAAO,KAAA;CAET,OAAO,kBAAkB,yBAAyB;EACtC;EACV;EACA;EACA,oBAAoB,IAAI,GAAG;EAC3B,UAAU,QAAQ;CACpB,CAAC;AACH,CAAC,CACH;AAEF,MAAM,iBAAiB,SAAc,UAAkB,cACrD,OAAO,QAAQ,0BAA0B,UACvC,MAAM,KACJ,QAAQ,QAAQ,OAChB,MAAM,QAAQ,QAAQ,OAAO;EAC1B,QAAQ,QAAQ,WAAW;EAC3B,QAAQ,QAAQ,YAAY;AAC/B,CAAC,GACD,EAAE,OAAO,EAAE,CACb,CACF;AAEF,MAAa,iBAAiB,SAAc,UAC1C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,UAAU,OAAO,eAAe,SAAS,MAAM,SAAS;CAE9D,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CAErD,MAAM,UAAU,OAAO,cAAc,SAAS,MAAM,UAAU,MAAM,SAAS,GAC3E,IAAI,QAAQ;CAEd,MAAM,MAAM,QAAQ,KAAK;CAEzB,IAAI,QAAQ,KAAA,GAAW;EACrB,MAAM,SAAS,kBAAkB,OAAO,IAAI,EAAE,eAAe;EAE7D,IACE,OAAO,aAAa,MAAM,YAC1B,OAAO,SAAS,cAAc,MAAM,aACpC,OAAO,iBAAiB,MAAM,gBAC9B,CAAC,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,QAAQ,QAAQ,KAC5D,IAAI,EAAE,kBAAkB,MAAM,cAE9B,OAAO,EAAE,MAAM,WAAW;EAC5B,MAAM,WAAW,QAAQ,SAAS,UAAU,QAAQ,QAAQ;EAE5D,IAAI,EAAE,OAAO,MAAM,MAAM,QAAQ,IAAI,OAAO,EAAE,MAAM,WAAW;EAC/D,MAAM,eAAe,KAAK,QAAQ;EAElC,OAAO;GAAE,MAAM;GAAU,QAAQ,gBAAgB,OAAO,IAAI,EAAE,SAAS;EAAE;CAC3E;CAEA,MAAM,aAAa,OAAO,iBACxB,SACA,MAAM,UACN,MAAM,cACN,OACF;CAEA,OAAO,eAAe,KAAA,IACjB,EAAE,MAAM,WAAW,IACnB;EAAE,MAAM;EAAU;CAAW;AACpC,CAAC,CACH;AAEF,MAAM,wBAAwB,SAAc,SAAc,YACxD,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,UAAU,QAAQ,YAAY,SAAS,KAAK,QAAQ,YAAY,UAAU,EAAE;CAC5E,MAAM,wBAAQ,IAAI,IAAkC;CAEpD,MAAM,YAAY,IAAI,IACpB,QAAQ,SAAS,YAAY,KAAK,SAAc,CAAC,KAAK,cAAc,KAAK,QAAQ,CAAC,CACpF;CAEA,KAAK,MAAM,cAAc,QAAQ,aAAa;EAC5C,MAAM,WAAW,OAAO,MAAM,KAC5B,WAAW,OACX,KACE,GAAG,IAAI,WAAW,OAAO,WAAW,SAAS,GAAG,QAAQ,QAAQ,GAChE,WAAW,UAAU,QAAQ,QAAQ,CACvC,GACA,EAAE,SAAS,IAAI,WAAW,OAAO,WAAW,YAAY,EAAE,CAC5D;EAEA,KAAK,MAAM,OAAO,SAAS,MAAM;GAC/B,MAAM,OAAO,WAAW,OAAO,UAAU,GAAG,CAAC;GAE7C,IAAI,SAAS,KAAA,KAAa,KAAK,iBAAiB,SAAS;GACzD,UACE,KAAK,iBAAiB,IAAI,WAAW,iBACnC,KAAK,aAAa,IAAI,WAAW,aACjC,UAAU,IAAI,KAAK,YAAY,MAAM,KAAK,YAC1C,KAAK,QAAQ,UAAU,KACvB,KAAK,QAAQ,OAAO,WAClB;IAAC;IAAa;IAAc;GAAW,CAAC,CAAC,SAAS,MAAM,CAC1D,CACJ;GACA,UACE,OAAO,KAAK,kBAAkB,aAC5B,OAAO,KAAK,iBAAiB,aAC7B,OAAO,KAAK,sBAAsB,SACtC;GAEA,MAAM,aAAa;IACjB,cAAc,KAAK;IACnB,UAAU,KAAK;IACf,eAAe,KAAK;IACpB,SAAS,CAAC,GAAG,IAAI,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK;IACzC,cAAc,KAAK;IACnB,mBAAmB,KAAK;GAC1B;GAEA,MAAM,QAAQ,MAAM,IAAI,KAAK,YAAY;GAGzC,UAAU,UAAU,KAAA,KAAa,KAAK,UAAU,KAAK,MAAM,KAAK,UAAU,UAAU,CAAC;GACrF,MAAM,IAAI,KAAK,cAAc,UAAU;EACzC;CACF;CACA,MAAM,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC;CAEpC,MAAM,cAAc,kBAClB,2BACA,QAAQ,QAAQ,gCAAgC,UAAU,QAAQ,GAAG,CAAC,CACxE;CAEA,OAAO,UAAU,MAAM,SAAS,KAAK,aAAa,KAAK,UAAU,WAAW,WAAW;AACzF,CAAC,CACH;AAEF,MAAa,UAAU,SAAc,UACnC,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,kBAAkB,yBAAyB,MAAM,UAAU;CAE5E,UAAU,SAAS,aAAa,MAAM,QAAQ;CAC9C,MAAM,UAAU,OAAO,eAAe,SAAS,SAAS,SAAS,SAAS;CAE1E,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CAErD,MAAM,SACJ,QAAQ,4BAA4B,CAAC;CAEvC,UAAU,OAAO,UAAU,EAAE;CAC7B,IAAI,oBAAoB,QAAQ,uBAAuB,KAAA,KAAa,OAAO,SAAS;CAEpF,IAAI,QAAQ,uBAAuB,KAAA,GACjC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,YAAY,MAAM,UAAU;GAChC,UAAU,kBAAkB,wBAAwB,OAAO,UAAU,SAAS,QAAQ;GACtF,aAAa,OAAO,iBAAiB,SAAS,QAAQ;GACtD,WAAW,UAAU,EAAE,OAAO,QAAQ,SAAS,CAAC,CAAC,CAAC;EACpD,CAAC;EAQD,KAAI,OANgB,MAAM,KACxB,MAAM,OACN,OAAO,SAAS,SAAS,IAAI,OAAO,YAAY,WAChD,EAAE,SAAS,IAAI,MAAM,OAAO,MAAM,OAAO,EAAE,CAC7C,EAAA,CAES,KAAK,WAAW,GAAG,oBAAoB;CAClD;CAEF,MAAM,UAAU,OAAO,cAAc,SAAS,MAAM,UAAU,MAAM,SAAS,GAC3E,IAAI,QAAQ;CAEd,MAAM,WAAW,QAAQ,KAAK;CAE9B,IAAI,aAAa,KAAA,GAAW;EAC1B,IACE,SAAS,EAAE,oBAAoB,kBAAkB,OAAO,QAAQ,KAChE,SAAS,EAAE,kBAAkB,SAAS,gBACtC,CAAC,QAAQ,UAAU,OAAO,SAAS,EAAE,YAAY,QAAQ,QAAQ,GAEjE,OAAO,EAAE,MAAM,WAAW;EAC5B,MAAM,WAAW,QAAQ,SAAS,UAAU,QAAQ,QAAQ;EAE5D,IAAI,EAAE,OAAO,MAAM,MAAM,QAAQ,IAAI,OAAO,EAAE,MAAM,WAAW;EAC/D,MAAM,eAAe,KAAK,QAAQ;EAElC,OAAO;GACL,MAAM;GACN,UAAU;GACV,QAAQ,gBAAgB,OAAO,SAAS,EAAE,SAAS;EACrD;CACF;CAEA,MAAM,SAAS,OAAO,iBACpB,SACA,MAAM,UACN,SAAS,cACT,OACF;CAEA,IACE,WAAW,KAAA,KACX,kBAAkB,OAAO,MAAM,MAAM,kBAAkB,OAAO,QAAQ,GAEtE,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;CAE5E,IACE,KAAK,UAAU,aAAa,MAAM,YAClC,EAAE,OAAO,cACP,SACA,SACA,MACA,UACA,MAAM,WACN,MAAM,WACN,kBAAkB,OAAO,QAAQ,GACjC,KAAK,YAAY,gBACnB,IAEA,OAAO,EAAE,MAAM,WAAW;CAC5B,IAAI,EAAE,OAAO,qBAAqB,SAAS,SAAS,SAAS,YAAY,IACvE,OAAO,EAAE,MAAM,mBAAmB;CAEpC,MAAM,eAAe,kBAAkB,SAAS,MAAM,YAAY,GAChE,KAAK,QAAQ,YACb,IAAI,QAAQ;CAEd,MAAM,MAAM,OAAO,iBAAiB,SAAS,QAAQ,GACnD,IAAI,QAAQ,UAAU;CAExB,MAAM,YAAY,QAAQ,qBAAqB;EAC7C,aAAa;EACb,WAAW,UAAU,EAAE,OAAO,QAAQ,SAAS,CAAC,CAAC,CAAC;CACpD,CAAC;CAED,MAAM,SACJ,cAAc,KAAA,MAAc,CAAC,sBAAsB,OAAO,MAAM,MAAM,SAAS;CAEjF,IAAI,cAAc,KAAA,KAAa,mBAC7B,MAAM,eAAe,KAAK,SAAS,YAAY,GAAG,QAAQ,UAAU,EAAE;CACxE,OAAO,MAAM,OAAO,GAAG,OAAO,GAAG,GAAG,eAAe,SAAS,aAAa,CAAC;CAC1E,OAAO,MAAM,OAAO,EAAE,OAAO;GAC1B,EAAE,YAAY,QAAQ;GACtB,EAAE,eAAe,SAAS;CAC7B,CAAC;CACD,IAAI,CAAC,QAAQ;EACX,OAAO,MAAM,OACX,EAAE,OACF,GAAG,EAAE,cAAc,IAAI,GACvB;IACG,EAAE,QAAQ;IACV,EAAE,YAAY;IACd,EAAE,cAAc;IAChB,EAAE,UAAU,MAAM;EACrB,CACF;EACA,IAAI,QAAQ,UAAU,SAAS,YAC7B,OAAO,MAAM,OAAO,QAAQ,UAAU,SAAS,OAAO,GACnD,QAAQ,UAAU,SAAS,cAAc,IAC5C,CAAC;CACL;CACA,OAAO,QAAQ,SAAS,SAAS,SAAS,YAAY;CAEtD,MAAM,SAAS,kBAAkB,eAAe;EAC9C,MAAM;EACN,cAAc,SAAS;EACvB;CACF,CAAC;CAED,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,UACE,OAAO,cAAc,MAAM,oBAAoB,KAC7C,MAAM,uBAAuB,OAC7B,MAAM,wBAAwB,MAAM,YAAY,IACpD;CACA,MAAM,aAAa;GAAG,EAAE,WAAW,MAAM;GAAW,EAAE,YAAY,MAAM;CAAU;CAElF,MAAM,SAAS;EACb,GAAG,EAAE,aAAa;GAChB,UAAU,MAAM;GAChB,WAAW,MAAM;GACjB,YAAY,kBAAkB,yBAAyB,QAAQ;EACjE,CAAC;EACD,GAAG;GACF,EAAE,YAAY,QAAQ;GACtB,EAAE,eAAe,SAAS;GAC1B,EAAE,iBAAiB,kBAAkB,OAAO,QAAQ;GACpD,EAAE,WAAW,gBAAgB,OAAO,MAAM;GAC1C,EAAE,iBAAiB,QAAQ,MAAM,cAAc,MAAM,oBAAoB;CAC5E;CAIA,QAAQ,QAAO,OAFS,MAAM,OAAO,EAAE,OAAO,QAAQ,UAAU,EAAA,CAExC;CAExB,OAAO;EAAE,MAAM;EAAY;EAAQ,UAAU;CAAM;AACrD,CAAC,CACH"}

package/dist/drizzle/oauth-connected-collection.mjs

@@ -165,7 +165,7 @@ const collect = Effect.fn("oauthConnected.collect")(function* (mapping, moduleId
 				issuer: candidate[t.issuer],
 				subject: candidate[t.externalSubject]
 			};
-			invariant(oauthIdentityKey(identity) === candidate[t.identityKey]);
+			invariant((yield* oauthIdentityKey(identity)) === candidate[t.identityKey]);
 			const tuple = yield* inspectTuple(mapping, identity), row = tuple.row;
 			if (row === void 0 || row[t.state] !== "Owned") continue;
 			const native = row[t.subjectId];

package/dist/drizzle/oauth-connected-collection.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"oauth-connected-collection.mjs","names":["S.jobTable","C.clearableCondition","client","S.client","F.inspectTuple","cohort","S.cohort","S.readGrant","S.lockClientById","C.clear","S.heldScope","S.nativeCopy","S.touchScope"],"sources":["../../src/drizzle/oauth-connected-collection.ts"],"sourcesContent":["import { asc, eq, lte, sql } from \"drizzle-orm\";\nimport { Effect } from \"effect\";\n\nimport * as C from \"./oauth-connected-custody\";\nimport * as F from \"./oauth-connected-flow\";\nimport { connectedReferenceCondition } from \"./oauth-connected-reference\";\nimport * as S from \"./oauth-connected-state\";\nimport { both, col, equal, CurrentOAuthTransaction, type Row } from \"./oauth-owner\";\nimport { invariant, oauthIdentityKey } from \"./oauth-state\";\n\nexport interface Candidates {\n  readonly jobs: ReadonlyArray<Row>;\n  readonly grants: ReadonlyArray<Row>;\n  readonly cohorts: ReadonlyArray<Row>;\n  readonly tuples: ReadonlyArray<Row>;\n}\n\nexport const discover = Effect.fn(\"oauthConnected.collectionCandidates\")(function* (\n  mapping: S.Mapping,\n  moduleId: string,\n  limit: number,\n) {\n  const owner = yield* CurrentOAuthTransaction;\n\n  const g = mapping.grant,\n    j = S.jobTable(mapping),\n    h = mapping.cohort,\n    at = yield* owner.now(mapping.clock);\n\n  const jobs =\n    j === undefined\n      ? { rows: [] }\n      : yield* owner.read(\n          j.table,\n          both(\n            eq(col(j.table, j.moduleId), moduleId),\n            eq(col(j.table, j.state), \"Confirmed\"),\n            lte(col(j.table, j.retentionUntil), mapping.clock.encodeInstant(at)),\n          ),\n          {\n            limit: limit + 1,\n            takeOnly: true,\n            observe: false,\n            lock: false,\n            orderBy: asc(col(j.table, j.jobId)),\n          },\n        );\n\n  const grants = yield* owner.read(\n    g.table,\n    both(\n      eq(col(g.table, g.moduleId), moduleId),\n      sql`${col(g.table, g.state)} in ('Disconnected','ReauthorizationRequired')`,\n      sql`${col(g.table, g.sealed)} is null`,\n      sql`${col(g.table, g.refreshWork)} <> 'Unresolved'`,\n      lte(col(g.table, g.retentionUntil), mapping.clock.encodeInstant(at)),\n      sql`${col(g.table, g.revocationJobId)} is null`,\n      sql`not exists(select 1 from ${mapping.admission.table} where ${col(mapping.admission.table, mapping.admission.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.admission.table, mapping.admission.grantId)} = ${col(g.table, g.grantId)})`,\n      sql`not exists(select 1 from ${mapping.command.table} where ${col(mapping.command.table, mapping.command.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.command.table, mapping.command.grantId)} = ${col(g.table, g.grantId)})`,\n      j === undefined\n        ? undefined\n        : sql`not exists(select 1 from ${j.table} where ${col(j.table, j.moduleId)} = ${col(g.table, g.moduleId)} and ${col(j.table, j.grantId)} = ${col(g.table, g.grantId)})`,\n    ),\n    {\n      limit: limit + 1,\n      takeOnly: true,\n      observe: false,\n      lock: false,\n      orderBy: asc(col(g.table, g.grantId)),\n    },\n  );\n\n  const cohorts =\n    j === undefined\n      ? { rows: [] }\n      : yield* owner.read(\n          h.table,\n          both(\n            equal(h.table, { [h.state]: \"Blocked\" }),\n            C.clearableCondition(\n              mapping,\n              sql`${col(h.table, h.cohortKey)}`,\n              sql`${col(h.table, h.clientKey)}`,\n            ),\n          ),\n          {\n            limit: limit + 1,\n            takeOnly: true,\n            observe: false,\n            lock: false,\n            orderBy: asc(col(h.table, h.cohortKey)),\n          },\n        );\n\n  const t = mapping.ownership.tuple;\n\n  const tuples =\n    mapping.externalReference === undefined\n      ? { rows: [] }\n      : yield* owner.read(\n          t.table,\n          both(\n            eq(col(t.table, t.state), \"Owned\"),\n            sql`not (${connectedReferenceCondition(mapping, sql`${col(t.table, t.identityKey)}`, { provider: sql`${col(t.table, t.provider)}`, issuer: sql`${col(t.table, t.issuer)}` })})`,\n            sql`not (${mapping.externalReference({ identityKey: sql`${col(t.table, t.identityKey)}`, subjectId: sql`${col(t.table, t.subjectId)}` })})`,\n          ),\n          {\n            limit: limit + 1,\n            takeOnly: true,\n            observe: false,\n            lock: false,\n            orderBy: asc(col(t.table, t.identityKey)),\n          },\n        );\n\n  return { jobs: jobs.rows, grants: grants.rows, cohorts: cohorts.rows, tuples: tuples.rows };\n});\n\nexport const collect = Effect.fn(\"oauthConnected.collect\")(function* (\n  mapping: S.Mapping,\n  moduleId: string,\n  limit: number,\n  discovered: Candidates,\n) {\n  const owner = yield* CurrentOAuthTransaction;\n\n  let visited = 0,\n    removed = 0,\n    hasMore = false;\n\n  if (limit === 0) return { visited, removed, hasMore: true };\n\n  const g = mapping.grant,\n    j = S.jobTable(mapping),\n    h = mapping.cohort;\n\n  if (j !== undefined) {\n    const candidates = { rows: discovered.jobs };\n\n    hasMore = candidates.rows.length > limit;\n    for (const candidate of candidates.rows.slice(0, limit)) {\n      visited++;\n\n      const job = S.jobStorage.decode(candidate[j.snapshot]),\n        token = job.context.token;\n\n      const client = yield* S.client(mapping, token.configuration, false);\n\n      invariant(client !== undefined);\n      const tuple = yield* F.inspectTuple(mapping, token.identity);\n      const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n      invariant(cohort.row !== undefined);\n      const grant = yield* S.readGrant(mapping, token.moduleId, token.grantId);\n\n      const read = yield* owner.read(j.table, equal(j.table, { [j.jobId]: job.context.jobId }), {\n          limit: 1,\n        }),\n        row = read.rows[0];\n\n      if (row === undefined) continue;\n      const native = yield* mapping.subjectId.toNative(token.subjectId);\n\n      invariant(\n        row[j.snapshot] === S.jobStorage.encode(job) &&\n          row[j.moduleId] === moduleId &&\n          row[j.identityKey] === tuple.key &&\n          row[j.clientKey] === client.id &&\n          row[j.cohortKey] === cohort.id &&\n          row[j.grantId] === token.grantId &&\n          mapping.subjectId.equals(row[j.subjectId], native),\n      );\n\n      const now = yield* owner.now(mapping.clock),\n        until = mapping.clock.decodeInstant(row[j.retentionUntil]);\n\n      if (row[j.state] !== \"Confirmed\" || now < until) continue;\n      if (grant?.row[g.revocationJobId] === job.context.jobId) {\n        const summary = S.summaryStorage.decode(grant.row[g.summary]);\n\n        yield* owner.update(\n          g.table,\n          { [g.moduleId]: token.moduleId, [g.grantId]: token.grantId },\n          {\n            [g.revocationJobId]: null,\n            [g.summary]: S.summaryStorage.encode({ ...summary, remoteRevocation: \"Confirmed\" }),\n            [g.version]: owner.marker,\n          },\n        );\n      }\n      yield* owner.remove(j.table, {\n        [j.jobId]: job.context.jobId,\n        [j.state]: \"Confirmed\",\n        [j.version]: row[j.version],\n      });\n      owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${until}`);\n      removed++;\n    }\n  }\n  if (visited < limit) {\n    const candidates = { rows: discovered.grants };\n    const remaining = limit - visited;\n\n    if (candidates.rows.length > remaining) hasMore = true;\n    for (const candidate of candidates.rows.slice(0, remaining)) {\n      visited++;\n      const context = S.tokenContextStorage.decode(candidate[g.context]);\n      const client = yield* S.client(mapping, context.configuration, false);\n\n      invariant(client !== undefined);\n      const tuple = yield* F.inspectTuple(mapping, context.identity);\n      const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n      invariant(cohort.row !== undefined);\n      const grant = yield* S.readGrant(mapping, moduleId, context.grantId);\n\n      if (grant === undefined) continue;\n\n      const now = yield* owner.now(mapping.clock),\n        until = mapping.clock.decodeInstant(grant.row[g.retentionUntil]);\n\n      if (\n        ![\"Disconnected\", \"ReauthorizationRequired\"].includes(grant.row[g.state]) ||\n        grant.row[g.sealed] !== null ||\n        grant.row[g.refreshWork] === \"Unresolved\" ||\n        grant.row[g.revocationJobId] !== null ||\n        now < until\n      )\n        continue;\n\n      const a = mapping.admission,\n        d = mapping.command;\n\n      const references = both(\n        sql`not exists(select 1 from ${a.table} where ${equal(a.table, { [a.moduleId]: moduleId, [a.grantId]: context.grantId })})`,\n        sql`not exists(select 1 from ${d.table} where ${equal(d.table, { [d.moduleId]: moduleId, [d.grantId]: context.grantId })})`,\n        ...(j === undefined\n          ? []\n          : [\n              sql`not exists(select 1 from ${j.table} where ${equal(j.table, { [j.moduleId]: moduleId, [j.grantId]: context.grantId })})`,\n            ]),\n      );\n\n      if (!(yield* owner.check(references))) continue;\n      yield* owner.remove(g.table, {\n        [g.moduleId]: moduleId,\n        [g.grantId]: context.grantId,\n        [g.version]: grant.row[g.version],\n      });\n      owner.postconditions.push(references, sql`${mapping.clock.engineNowMillis} >= ${until}`);\n      removed++;\n    }\n  }\n  // Clearing is global remote authority, independent of the module which happens\n  // to run cleanup. No subject filter may hide a former owner's unresolved work.\n  if (visited < limit && j !== undefined) {\n    const candidates = { rows: discovered.cohorts };\n    const remaining = limit - visited;\n\n    if (candidates.rows.length > remaining) hasMore = true;\n    for (const candidate of candidates.rows.slice(0, remaining)) {\n      visited++;\n      const id = candidate[h.clientKey];\n      const client = yield* S.lockClientById(mapping, id);\n      const cohort = yield* S.cohort(mapping, id, candidate[h.identityKey], false);\n\n      invariant(cohort.id === candidate[h.cohortKey] && cohort.row !== undefined);\n      yield* C.clear(mapping, client, cohort);\n    }\n  }\n  if (visited < limit && mapping.externalReference !== undefined) {\n    const t = mapping.ownership.tuple,\n      remaining = limit - visited;\n\n    if (discovered.tuples.length > remaining) hasMore = true;\n    for (const candidate of discovered.tuples.slice(0, remaining)) {\n      visited++;\n      const scope = yield* S.heldScope(mapping, candidate[t.provider], candidate[t.issuer]);\n\n      if (scope === undefined) continue;\n\n      const identity = {\n        provider: candidate[t.provider],\n        issuer: candidate[t.issuer],\n        subject: candidate[t.externalSubject],\n      };\n\n      invariant(oauthIdentityKey(identity) === candidate[t.identityKey]);\n\n      const tuple = yield* F.inspectTuple(mapping, identity),\n        row = tuple.row;\n\n      if (row === undefined || row[t.state] !== \"Owned\") continue;\n      const native = row[t.subjectId];\n\n      invariant(native !== null);\n\n      const noRefs = both(\n        sql`not (${connectedReferenceCondition(mapping, tuple.key)})`,\n        sql`not (${mapping.externalReference({ identityKey: tuple.key, subjectId: S.nativeCopy(native) })})`,\n      );\n\n      if (!(yield* owner.check(noRefs))) continue;\n      yield* S.touchScope(mapping, scope);\n      yield* owner.update(\n        t.table,\n        { [t.identityKey]: tuple.key, [t.state]: \"Owned\", [t.subjectId]: native },\n        {\n          [t.state]: \"Unowned\",\n          [t.subjectId]: null,\n          [t.reservation]: null,\n          [t.version]: owner.marker,\n        },\n      );\n      if (mapping.ownership.mode === \"separate\")\n        yield* owner.remove(mapping.ownership.external.table, {\n          [mapping.ownership.external.identityKey]: tuple.key,\n        });\n      owner.postconditions.push(noRefs);\n    }\n  }\n\n  return { visited, removed, hasMore };\n});\n"],"mappings":";;;;;;;;;;AAiBA,MAAa,WAAW,OAAO,GAAG,qCAAqC,CAAC,CAAC,WACvE,SACA,UACA,OACA;CACA,MAAM,QAAQ,OAAO;CAErB,MAAM,IAAI,QAAQ,OAChB,IAAIA,SAAW,OAAO,GACtB,IAAI,QAAQ,QACZ,KAAK,OAAO,MAAM,IAAI,QAAQ,KAAK;CAErC,MAAM,OACJ,MAAM,KAAA,IACF,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,QAAQ,GACrC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,WAAW,GACrC,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc,GAAG,QAAQ,MAAM,cAAc,EAAE,CAAC,CACrE,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;CACpC,CACF;CAEN,MAAM,SAAS,OAAO,MAAM,KAC1B,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,QAAQ,GACrC,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,iDAC5B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,WAC7B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,mBAClC,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc,GAAG,QAAQ,MAAM,cAAc,EAAE,CAAC,GACnE,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,WACtC,GAAG,4BAA4B,QAAQ,UAAU,MAAM,SAAS,IAAI,QAAQ,UAAU,OAAO,QAAQ,UAAU,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,QAAQ,UAAU,OAAO,QAAQ,UAAU,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IACnP,GAAG,4BAA4B,QAAQ,QAAQ,MAAM,SAAS,IAAI,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IACzO,MAAM,KAAA,IACF,KAAA,IACA,GAAG,4BAA4B,EAAE,MAAM,SAAS,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EACzK,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC;CACtC,CACF;CAEA,MAAM,UACJ,MAAM,KAAA,IACF,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,MAAM,EAAE,OAAO,GAAG,EAAE,QAAQ,UAAU,CAAC,GACvCC,mBACE,SACA,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,KAC9B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAChC,CACF,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC;CACxC,CACF;CAEN,MAAM,IAAI,QAAQ,UAAU;CAE5B,MAAM,SACJ,QAAQ,sBAAsB,KAAA,IAC1B,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,OAAO,GACjC,GAAG,QAAQ,4BAA4B,SAAS,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,KAAK;EAAE,UAAU,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ;EAAK,QAAQ,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM;CAAI,CAAC,EAAE,IAC7K,GAAG,QAAQ,QAAQ,kBAAkB;EAAE,aAAa,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW;EAAK,WAAW,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS;CAAI,CAAC,EAAE,EAC3I,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;CAC1C,CACF;CAEN,OAAO;EAAE,MAAM,KAAK;EAAM,QAAQ,OAAO;EAAM,SAAS,QAAQ;EAAM,QAAQ,OAAO;CAAK;AAC5F,CAAC;AAED,MAAa,UAAU,OAAO,GAAG,wBAAwB,CAAC,CAAC,WACzD,SACA,UACA,OACA,YACA;CACA,MAAM,QAAQ,OAAO;CAErB,IAAI,UAAU,GACZ,UAAU,GACV,UAAU;CAEZ,IAAI,UAAU,GAAG,OAAO;EAAE;EAAS;EAAS,SAAS;CAAK;CAE1D,MAAM,IAAI,QAAQ,OAChB,IAAID,SAAW,OAAO,GACtB,IAAI,QAAQ;CAEd,IAAI,MAAM,KAAA,GAAW;EACnB,MAAM,aAAa,EAAE,MAAM,WAAW,KAAK;EAE3C,UAAU,WAAW,KAAK,SAAS;EACnC,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,KAAK,GAAG;GACvD;GAEA,MAAM,MAAA,WAAmB,OAAO,UAAU,EAAE,SAAS,GACnD,QAAQ,IAAI,QAAQ;GAEtB,MAAME,WAAS,OAAOC,OAAS,SAAS,MAAM,eAAe,KAAK;GAElE,UAAUD,aAAW,KAAA,CAAS;GAC9B,MAAM,QAAQ,OAAOE,aAAe,SAAS,MAAM,QAAQ;GAC3D,MAAMC,WAAS,OAAOC,OAAS,SAASJ,SAAO,IAAI,MAAM,KAAK,KAAK;GAEnE,UAAUG,SAAO,QAAQ,KAAA,CAAS;GAClC,MAAM,QAAQ,OAAOE,UAAY,SAAS,MAAM,UAAU,MAAM,OAAO;GAEvE,MAGE,OAAM,OAHY,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,GAAG,EAAE,QAAQ,IAAI,QAAQ,MAAM,CAAC,GAAG,EACtF,OAAO,EACT,CAAC,EAAA,CACU,KAAK;GAElB,IAAI,QAAQ,KAAA,GAAW;GACvB,MAAM,SAAS,OAAO,QAAQ,UAAU,SAAS,MAAM,SAAS;GAEhE,UACE,IAAI,EAAE,cAAA,WAA2B,OAAO,GAAG,KACzC,IAAI,EAAE,cAAc,YACpB,IAAI,EAAE,iBAAiB,MAAM,OAC7B,IAAI,EAAE,eAAeL,SAAO,MAC5B,IAAI,EAAE,eAAeG,SAAO,MAC5B,IAAI,EAAE,aAAa,MAAM,WACzB,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,MAAM,CACrD;GAEA,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK,GACxC,QAAQ,QAAQ,MAAM,cAAc,IAAI,EAAE,eAAe;GAE3D,IAAI,IAAI,EAAE,WAAW,eAAe,MAAM,OAAO;GACjD,IAAI,OAAO,IAAI,EAAE,qBAAqB,IAAI,QAAQ,OAAO;IACvD,MAAM,UAAA,eAA2B,OAAO,MAAM,IAAI,EAAE,QAAQ;IAE5D,OAAO,MAAM,OACX,EAAE,OACF;MAAG,EAAE,WAAW,MAAM;MAAW,EAAE,UAAU,MAAM;IAAQ,GAC3D;MACG,EAAE,kBAAkB;MACpB,EAAE,UAAA,eAA2B,OAAO;MAAE,GAAG;MAAS,kBAAkB;KAAY,CAAC;MACjF,EAAE,UAAU,MAAM;IACrB,CACF;GACF;GACA,OAAO,MAAM,OAAO,EAAE,OAAO;KAC1B,EAAE,QAAQ,IAAI,QAAQ;KACtB,EAAE,QAAQ;KACV,EAAE,UAAU,IAAI,EAAE;GACrB,CAAC;GACD,MAAM,eAAe,KAAK,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO;GAC3E;EACF;CACF;CACA,IAAI,UAAU,OAAO;EACnB,MAAM,aAAa,EAAE,MAAM,WAAW,OAAO;EAC7C,MAAM,YAAY,QAAQ;EAE1B,IAAI,WAAW,KAAK,SAAS,WAAW,UAAU;EAClD,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,SAAS,GAAG;GAC3D;GACA,MAAM,UAAA,oBAAgC,OAAO,UAAU,EAAE,QAAQ;GACjE,MAAMH,WAAS,OAAOC,OAAS,SAAS,QAAQ,eAAe,KAAK;GAEpE,UAAUD,aAAW,KAAA,CAAS;GAC9B,MAAM,QAAQ,OAAOE,aAAe,SAAS,QAAQ,QAAQ;GAC7D,MAAMC,WAAS,OAAOC,OAAS,SAASJ,SAAO,IAAI,MAAM,KAAK,KAAK;GAEnE,UAAUG,SAAO,QAAQ,KAAA,CAAS;GAClC,MAAM,QAAQ,OAAOE,UAAY,SAAS,UAAU,QAAQ,OAAO;GAEnE,IAAI,UAAU,KAAA,GAAW;GAEzB,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK,GACxC,QAAQ,QAAQ,MAAM,cAAc,MAAM,IAAI,EAAE,eAAe;GAEjE,IACE,CAAC,CAAC,gBAAgB,yBAAyB,CAAC,CAAC,SAAS,MAAM,IAAI,EAAE,MAAM,KACxE,MAAM,IAAI,EAAE,YAAY,QACxB,MAAM,IAAI,EAAE,iBAAiB,gBAC7B,MAAM,IAAI,EAAE,qBAAqB,QACjC,MAAM,OAEN;GAEF,MAAM,IAAI,QAAQ,WAChB,IAAI,QAAQ;GAEd,MAAM,aAAa,KACjB,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;KAAG,EAAE,WAAW;KAAW,EAAE,UAAU,QAAQ;GAAQ,CAAC,EAAE,IACzH,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;KAAG,EAAE,WAAW;KAAW,EAAE,UAAU,QAAQ;GAAQ,CAAC,EAAE,IACzH,GAAI,MAAM,KAAA,IACN,CAAC,IACD,CACE,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;KAAG,EAAE,WAAW;KAAW,EAAE,UAAU,QAAQ;GAAQ,CAAC,EAAE,EAC3H,CACN;GAEA,IAAI,EAAE,OAAO,MAAM,MAAM,UAAU,IAAI;GACvC,OAAO,MAAM,OAAO,EAAE,OAAO;KAC1B,EAAE,WAAW;KACb,EAAE,UAAU,QAAQ;KACpB,EAAE,UAAU,MAAM,IAAI,EAAE;GAC3B,CAAC;GACD,MAAM,eAAe,KAAK,YAAY,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO;GACvF;EACF;CACF;CAGA,IAAI,UAAU,SAAS,MAAM,KAAA,GAAW;EACtC,MAAM,aAAa,EAAE,MAAM,WAAW,QAAQ;EAC9C,MAAM,YAAY,QAAQ;EAE1B,IAAI,WAAW,KAAK,SAAS,WAAW,UAAU;EAClD,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,SAAS,GAAG;GAC3D;GACA,MAAM,KAAK,UAAU,EAAE;GACvB,MAAM,SAAS,OAAOC,eAAiB,SAAS,EAAE;GAClD,MAAMH,WAAS,OAAOC,OAAS,SAAS,IAAI,UAAU,EAAE,cAAc,KAAK;GAE3E,UAAUD,SAAO,OAAO,UAAU,EAAE,cAAcA,SAAO,QAAQ,KAAA,CAAS;GAC1E,OAAOI,MAAQ,SAAS,QAAQJ,QAAM;EACxC;CACF;CACA,IAAI,UAAU,SAAS,QAAQ,sBAAsB,KAAA,GAAW;EAC9D,MAAM,IAAI,QAAQ,UAAU,OAC1B,YAAY,QAAQ;EAEtB,IAAI,WAAW,OAAO,SAAS,WAAW,UAAU;EACpD,KAAK,MAAM,aAAa,WAAW,OAAO,MAAM,GAAG,SAAS,GAAG;GAC7D;GACA,MAAM,QAAQ,OAAOK,UAAY,SAAS,UAAU,EAAE,WAAW,UAAU,EAAE,OAAO;GAEpF,IAAI,UAAU,KAAA,GAAW;GAEzB,MAAM,WAAW;IACf,UAAU,UAAU,EAAE;IACtB,QAAQ,UAAU,EAAE;IACpB,SAAS,UAAU,EAAE;GACvB;GAEA,UAAU,iBAAiB,QAAQ,MAAM,UAAU,EAAE,YAAY;GAEjE,MAAM,QAAQ,OAAON,aAAe,SAAS,QAAQ,GACnD,MAAM,MAAM;GAEd,IAAI,QAAQ,KAAA,KAAa,IAAI,EAAE,WAAW,SAAS;GACnD,MAAM,SAAS,IAAI,EAAE;GAErB,UAAU,WAAW,IAAI;GAEzB,MAAM,SAAS,KACb,GAAG,QAAQ,4BAA4B,SAAS,MAAM,GAAG,EAAE,IAC3D,GAAG,QAAQ,QAAQ,kBAAkB;IAAE,aAAa,MAAM;IAAK,WAAWO,WAAa,MAAM;GAAE,CAAC,EAAE,EACpG;GAEA,IAAI,EAAE,OAAO,MAAM,MAAM,MAAM,IAAI;GACnC,OAAOC,WAAa,SAAS,KAAK;GAClC,OAAO,MAAM,OACX,EAAE,OACF;KAAG,EAAE,cAAc,MAAM;KAAM,EAAE,QAAQ;KAAU,EAAE,YAAY;GAAO,GACxE;KACG,EAAE,QAAQ;KACV,EAAE,YAAY;KACd,EAAE,cAAc;KAChB,EAAE,UAAU,MAAM;GACrB,CACF;GACA,IAAI,QAAQ,UAAU,SAAS,YAC7B,OAAO,MAAM,OAAO,QAAQ,UAAU,SAAS,OAAO,GACnD,QAAQ,UAAU,SAAS,cAAc,MAAM,IAClD,CAAC;GACH,MAAM,eAAe,KAAK,MAAM;EAClC;CACF;CAEA,OAAO;EAAE;EAAS;EAAS;CAAQ;AACrC,CAAC"}
+{"version":3,"file":"oauth-connected-collection.mjs","names":["S.jobTable","C.clearableCondition","client","S.client","F.inspectTuple","cohort","S.cohort","S.readGrant","S.lockClientById","C.clear","S.heldScope","S.nativeCopy","S.touchScope"],"sources":["../../src/drizzle/oauth-connected-collection.ts"],"sourcesContent":["import { asc, eq, lte, sql } from \"drizzle-orm\";\nimport { Effect } from \"effect\";\n\nimport * as C from \"./oauth-connected-custody\";\nimport * as F from \"./oauth-connected-flow\";\nimport { connectedReferenceCondition } from \"./oauth-connected-reference\";\nimport * as S from \"./oauth-connected-state\";\nimport { both, col, equal, CurrentOAuthTransaction, type Row } from \"./oauth-owner\";\nimport { invariant, oauthIdentityKey } from \"./oauth-state\";\n\nexport interface Candidates {\n  readonly jobs: ReadonlyArray<Row>;\n  readonly grants: ReadonlyArray<Row>;\n  readonly cohorts: ReadonlyArray<Row>;\n  readonly tuples: ReadonlyArray<Row>;\n}\n\nexport const discover = Effect.fn(\"oauthConnected.collectionCandidates\")(function* (\n  mapping: S.Mapping,\n  moduleId: string,\n  limit: number,\n) {\n  const owner = yield* CurrentOAuthTransaction;\n\n  const g = mapping.grant,\n    j = S.jobTable(mapping),\n    h = mapping.cohort,\n    at = yield* owner.now(mapping.clock);\n\n  const jobs =\n    j === undefined\n      ? { rows: [] }\n      : yield* owner.read(\n          j.table,\n          both(\n            eq(col(j.table, j.moduleId), moduleId),\n            eq(col(j.table, j.state), \"Confirmed\"),\n            lte(col(j.table, j.retentionUntil), mapping.clock.encodeInstant(at)),\n          ),\n          {\n            limit: limit + 1,\n            takeOnly: true,\n            observe: false,\n            lock: false,\n            orderBy: asc(col(j.table, j.jobId)),\n          },\n        );\n\n  const grants = yield* owner.read(\n    g.table,\n    both(\n      eq(col(g.table, g.moduleId), moduleId),\n      sql`${col(g.table, g.state)} in ('Disconnected','ReauthorizationRequired')`,\n      sql`${col(g.table, g.sealed)} is null`,\n      sql`${col(g.table, g.refreshWork)} <> 'Unresolved'`,\n      lte(col(g.table, g.retentionUntil), mapping.clock.encodeInstant(at)),\n      sql`${col(g.table, g.revocationJobId)} is null`,\n      sql`not exists(select 1 from ${mapping.admission.table} where ${col(mapping.admission.table, mapping.admission.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.admission.table, mapping.admission.grantId)} = ${col(g.table, g.grantId)})`,\n      sql`not exists(select 1 from ${mapping.command.table} where ${col(mapping.command.table, mapping.command.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.command.table, mapping.command.grantId)} = ${col(g.table, g.grantId)})`,\n      j === undefined\n        ? undefined\n        : sql`not exists(select 1 from ${j.table} where ${col(j.table, j.moduleId)} = ${col(g.table, g.moduleId)} and ${col(j.table, j.grantId)} = ${col(g.table, g.grantId)})`,\n    ),\n    {\n      limit: limit + 1,\n      takeOnly: true,\n      observe: false,\n      lock: false,\n      orderBy: asc(col(g.table, g.grantId)),\n    },\n  );\n\n  const cohorts =\n    j === undefined\n      ? { rows: [] }\n      : yield* owner.read(\n          h.table,\n          both(\n            equal(h.table, { [h.state]: \"Blocked\" }),\n            C.clearableCondition(\n              mapping,\n              sql`${col(h.table, h.cohortKey)}`,\n              sql`${col(h.table, h.clientKey)}`,\n            ),\n          ),\n          {\n            limit: limit + 1,\n            takeOnly: true,\n            observe: false,\n            lock: false,\n            orderBy: asc(col(h.table, h.cohortKey)),\n          },\n        );\n\n  const t = mapping.ownership.tuple;\n\n  const tuples =\n    mapping.externalReference === undefined\n      ? { rows: [] }\n      : yield* owner.read(\n          t.table,\n          both(\n            eq(col(t.table, t.state), \"Owned\"),\n            sql`not (${connectedReferenceCondition(mapping, sql`${col(t.table, t.identityKey)}`, { provider: sql`${col(t.table, t.provider)}`, issuer: sql`${col(t.table, t.issuer)}` })})`,\n            sql`not (${mapping.externalReference({ identityKey: sql`${col(t.table, t.identityKey)}`, subjectId: sql`${col(t.table, t.subjectId)}` })})`,\n          ),\n          {\n            limit: limit + 1,\n            takeOnly: true,\n            observe: false,\n            lock: false,\n            orderBy: asc(col(t.table, t.identityKey)),\n          },\n        );\n\n  return { jobs: jobs.rows, grants: grants.rows, cohorts: cohorts.rows, tuples: tuples.rows };\n});\n\nexport const collect = Effect.fn(\"oauthConnected.collect\")(function* (\n  mapping: S.Mapping,\n  moduleId: string,\n  limit: number,\n  discovered: Candidates,\n) {\n  const owner = yield* CurrentOAuthTransaction;\n\n  let visited = 0,\n    removed = 0,\n    hasMore = false;\n\n  if (limit === 0) return { visited, removed, hasMore: true };\n\n  const g = mapping.grant,\n    j = S.jobTable(mapping),\n    h = mapping.cohort;\n\n  if (j !== undefined) {\n    const candidates = { rows: discovered.jobs };\n\n    hasMore = candidates.rows.length > limit;\n    for (const candidate of candidates.rows.slice(0, limit)) {\n      visited++;\n\n      const job = S.jobStorage.decode(candidate[j.snapshot]),\n        token = job.context.token;\n\n      const client = yield* S.client(mapping, token.configuration, false);\n\n      invariant(client !== undefined);\n      const tuple = yield* F.inspectTuple(mapping, token.identity);\n      const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n      invariant(cohort.row !== undefined);\n      const grant = yield* S.readGrant(mapping, token.moduleId, token.grantId);\n\n      const read = yield* owner.read(j.table, equal(j.table, { [j.jobId]: job.context.jobId }), {\n          limit: 1,\n        }),\n        row = read.rows[0];\n\n      if (row === undefined) continue;\n      const native = yield* mapping.subjectId.toNative(token.subjectId);\n\n      invariant(\n        row[j.snapshot] === S.jobStorage.encode(job) &&\n          row[j.moduleId] === moduleId &&\n          row[j.identityKey] === tuple.key &&\n          row[j.clientKey] === client.id &&\n          row[j.cohortKey] === cohort.id &&\n          row[j.grantId] === token.grantId &&\n          mapping.subjectId.equals(row[j.subjectId], native),\n      );\n\n      const now = yield* owner.now(mapping.clock),\n        until = mapping.clock.decodeInstant(row[j.retentionUntil]);\n\n      if (row[j.state] !== \"Confirmed\" || now < until) continue;\n      if (grant?.row[g.revocationJobId] === job.context.jobId) {\n        const summary = S.summaryStorage.decode(grant.row[g.summary]);\n\n        yield* owner.update(\n          g.table,\n          { [g.moduleId]: token.moduleId, [g.grantId]: token.grantId },\n          {\n            [g.revocationJobId]: null,\n            [g.summary]: S.summaryStorage.encode({ ...summary, remoteRevocation: \"Confirmed\" }),\n            [g.version]: owner.marker,\n          },\n        );\n      }\n      yield* owner.remove(j.table, {\n        [j.jobId]: job.context.jobId,\n        [j.state]: \"Confirmed\",\n        [j.version]: row[j.version],\n      });\n      owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${until}`);\n      removed++;\n    }\n  }\n  if (visited < limit) {\n    const candidates = { rows: discovered.grants };\n    const remaining = limit - visited;\n\n    if (candidates.rows.length > remaining) hasMore = true;\n    for (const candidate of candidates.rows.slice(0, remaining)) {\n      visited++;\n      const context = S.tokenContextStorage.decode(candidate[g.context]);\n      const client = yield* S.client(mapping, context.configuration, false);\n\n      invariant(client !== undefined);\n      const tuple = yield* F.inspectTuple(mapping, context.identity);\n      const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n      invariant(cohort.row !== undefined);\n      const grant = yield* S.readGrant(mapping, moduleId, context.grantId);\n\n      if (grant === undefined) continue;\n\n      const now = yield* owner.now(mapping.clock),\n        until = mapping.clock.decodeInstant(grant.row[g.retentionUntil]);\n\n      if (\n        ![\"Disconnected\", \"ReauthorizationRequired\"].includes(grant.row[g.state]) ||\n        grant.row[g.sealed] !== null ||\n        grant.row[g.refreshWork] === \"Unresolved\" ||\n        grant.row[g.revocationJobId] !== null ||\n        now < until\n      )\n        continue;\n\n      const a = mapping.admission,\n        d = mapping.command;\n\n      const references = both(\n        sql`not exists(select 1 from ${a.table} where ${equal(a.table, { [a.moduleId]: moduleId, [a.grantId]: context.grantId })})`,\n        sql`not exists(select 1 from ${d.table} where ${equal(d.table, { [d.moduleId]: moduleId, [d.grantId]: context.grantId })})`,\n        ...(j === undefined\n          ? []\n          : [\n              sql`not exists(select 1 from ${j.table} where ${equal(j.table, { [j.moduleId]: moduleId, [j.grantId]: context.grantId })})`,\n            ]),\n      );\n\n      if (!(yield* owner.check(references))) continue;\n      yield* owner.remove(g.table, {\n        [g.moduleId]: moduleId,\n        [g.grantId]: context.grantId,\n        [g.version]: grant.row[g.version],\n      });\n      owner.postconditions.push(references, sql`${mapping.clock.engineNowMillis} >= ${until}`);\n      removed++;\n    }\n  }\n  // Clearing is global remote authority, independent of the module which happens\n  // to run cleanup. No subject filter may hide a former owner's unresolved work.\n  if (visited < limit && j !== undefined) {\n    const candidates = { rows: discovered.cohorts };\n    const remaining = limit - visited;\n\n    if (candidates.rows.length > remaining) hasMore = true;\n    for (const candidate of candidates.rows.slice(0, remaining)) {\n      visited++;\n      const id = candidate[h.clientKey];\n      const client = yield* S.lockClientById(mapping, id);\n      const cohort = yield* S.cohort(mapping, id, candidate[h.identityKey], false);\n\n      invariant(cohort.id === candidate[h.cohortKey] && cohort.row !== undefined);\n      yield* C.clear(mapping, client, cohort);\n    }\n  }\n  if (visited < limit && mapping.externalReference !== undefined) {\n    const t = mapping.ownership.tuple,\n      remaining = limit - visited;\n\n    if (discovered.tuples.length > remaining) hasMore = true;\n    for (const candidate of discovered.tuples.slice(0, remaining)) {\n      visited++;\n      const scope = yield* S.heldScope(mapping, candidate[t.provider], candidate[t.issuer]);\n\n      if (scope === undefined) continue;\n\n      const identity = {\n        provider: candidate[t.provider],\n        issuer: candidate[t.issuer],\n        subject: candidate[t.externalSubject],\n      };\n\n      invariant((yield* oauthIdentityKey(identity)) === candidate[t.identityKey]);\n\n      const tuple = yield* F.inspectTuple(mapping, identity),\n        row = tuple.row;\n\n      if (row === undefined || row[t.state] !== \"Owned\") continue;\n      const native = row[t.subjectId];\n\n      invariant(native !== null);\n\n      const noRefs = both(\n        sql`not (${connectedReferenceCondition(mapping, tuple.key)})`,\n        sql`not (${mapping.externalReference({ identityKey: tuple.key, subjectId: S.nativeCopy(native) })})`,\n      );\n\n      if (!(yield* owner.check(noRefs))) continue;\n      yield* S.touchScope(mapping, scope);\n      yield* owner.update(\n        t.table,\n        { [t.identityKey]: tuple.key, [t.state]: \"Owned\", [t.subjectId]: native },\n        {\n          [t.state]: \"Unowned\",\n          [t.subjectId]: null,\n          [t.reservation]: null,\n          [t.version]: owner.marker,\n        },\n      );\n      if (mapping.ownership.mode === \"separate\")\n        yield* owner.remove(mapping.ownership.external.table, {\n          [mapping.ownership.external.identityKey]: tuple.key,\n        });\n      owner.postconditions.push(noRefs);\n    }\n  }\n\n  return { visited, removed, hasMore };\n});\n"],"mappings":";;;;;;;;;;AAiBA,MAAa,WAAW,OAAO,GAAG,qCAAqC,CAAC,CAAC,WACvE,SACA,UACA,OACA;CACA,MAAM,QAAQ,OAAO;CAErB,MAAM,IAAI,QAAQ,OAChB,IAAIA,SAAW,OAAO,GACtB,IAAI,QAAQ,QACZ,KAAK,OAAO,MAAM,IAAI,QAAQ,KAAK;CAErC,MAAM,OACJ,MAAM,KAAA,IACF,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,QAAQ,GACrC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,WAAW,GACrC,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc,GAAG,QAAQ,MAAM,cAAc,EAAE,CAAC,CACrE,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;CACpC,CACF;CAEN,MAAM,SAAS,OAAO,MAAM,KAC1B,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,QAAQ,GACrC,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,iDAC5B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,WAC7B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,mBAClC,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc,GAAG,QAAQ,MAAM,cAAc,EAAE,CAAC,GACnE,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,WACtC,GAAG,4BAA4B,QAAQ,UAAU,MAAM,SAAS,IAAI,QAAQ,UAAU,OAAO,QAAQ,UAAU,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,QAAQ,UAAU,OAAO,QAAQ,UAAU,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IACnP,GAAG,4BAA4B,QAAQ,QAAQ,MAAM,SAAS,IAAI,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IACzO,MAAM,KAAA,IACF,KAAA,IACA,GAAG,4BAA4B,EAAE,MAAM,SAAS,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EACzK,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC;CACtC,CACF;CAEA,MAAM,UACJ,MAAM,KAAA,IACF,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,MAAM,EAAE,OAAO,GAAG,EAAE,QAAQ,UAAU,CAAC,GACvCC,mBACE,SACA,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,KAC9B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAChC,CACF,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC;CACxC,CACF;CAEN,MAAM,IAAI,QAAQ,UAAU;CAE5B,MAAM,SACJ,QAAQ,sBAAsB,KAAA,IAC1B,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,OAAO,GACjC,GAAG,QAAQ,4BAA4B,SAAS,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,KAAK;EAAE,UAAU,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ;EAAK,QAAQ,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM;CAAI,CAAC,EAAE,IAC7K,GAAG,QAAQ,QAAQ,kBAAkB;EAAE,aAAa,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW;EAAK,WAAW,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS;CAAI,CAAC,EAAE,EAC3I,GACA;EACE,OAAO,QAAQ;EACf,UAAU;EACV,SAAS;EACT,MAAM;EACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;CAC1C,CACF;CAEN,OAAO;EAAE,MAAM,KAAK;EAAM,QAAQ,OAAO;EAAM,SAAS,QAAQ;EAAM,QAAQ,OAAO;CAAK;AAC5F,CAAC;AAED,MAAa,UAAU,OAAO,GAAG,wBAAwB,CAAC,CAAC,WACzD,SACA,UACA,OACA,YACA;CACA,MAAM,QAAQ,OAAO;CAErB,IAAI,UAAU,GACZ,UAAU,GACV,UAAU;CAEZ,IAAI,UAAU,GAAG,OAAO;EAAE;EAAS;EAAS,SAAS;CAAK;CAE1D,MAAM,IAAI,QAAQ,OAChB,IAAID,SAAW,OAAO,GACtB,IAAI,QAAQ;CAEd,IAAI,MAAM,KAAA,GAAW;EACnB,MAAM,aAAa,EAAE,MAAM,WAAW,KAAK;EAE3C,UAAU,WAAW,KAAK,SAAS;EACnC,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,KAAK,GAAG;GACvD;GAEA,MAAM,MAAA,WAAmB,OAAO,UAAU,EAAE,SAAS,GACnD,QAAQ,IAAI,QAAQ;GAEtB,MAAME,WAAS,OAAOC,OAAS,SAAS,MAAM,eAAe,KAAK;GAElE,UAAUD,aAAW,KAAA,CAAS;GAC9B,MAAM,QAAQ,OAAOE,aAAe,SAAS,MAAM,QAAQ;GAC3D,MAAMC,WAAS,OAAOC,OAAS,SAASJ,SAAO,IAAI,MAAM,KAAK,KAAK;GAEnE,UAAUG,SAAO,QAAQ,KAAA,CAAS;GAClC,MAAM,QAAQ,OAAOE,UAAY,SAAS,MAAM,UAAU,MAAM,OAAO;GAEvE,MAGE,OAAM,OAHY,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,GAAG,EAAE,QAAQ,IAAI,QAAQ,MAAM,CAAC,GAAG,EACtF,OAAO,EACT,CAAC,EAAA,CACU,KAAK;GAElB,IAAI,QAAQ,KAAA,GAAW;GACvB,MAAM,SAAS,OAAO,QAAQ,UAAU,SAAS,MAAM,SAAS;GAEhE,UACE,IAAI,EAAE,cAAA,WAA2B,OAAO,GAAG,KACzC,IAAI,EAAE,cAAc,YACpB,IAAI,EAAE,iBAAiB,MAAM,OAC7B,IAAI,EAAE,eAAeL,SAAO,MAC5B,IAAI,EAAE,eAAeG,SAAO,MAC5B,IAAI,EAAE,aAAa,MAAM,WACzB,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,MAAM,CACrD;GAEA,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK,GACxC,QAAQ,QAAQ,MAAM,cAAc,IAAI,EAAE,eAAe;GAE3D,IAAI,IAAI,EAAE,WAAW,eAAe,MAAM,OAAO;GACjD,IAAI,OAAO,IAAI,EAAE,qBAAqB,IAAI,QAAQ,OAAO;IACvD,MAAM,UAAA,eAA2B,OAAO,MAAM,IAAI,EAAE,QAAQ;IAE5D,OAAO,MAAM,OACX,EAAE,OACF;MAAG,EAAE,WAAW,MAAM;MAAW,EAAE,UAAU,MAAM;IAAQ,GAC3D;MACG,EAAE,kBAAkB;MACpB,EAAE,UAAA,eAA2B,OAAO;MAAE,GAAG;MAAS,kBAAkB;KAAY,CAAC;MACjF,EAAE,UAAU,MAAM;IACrB,CACF;GACF;GACA,OAAO,MAAM,OAAO,EAAE,OAAO;KAC1B,EAAE,QAAQ,IAAI,QAAQ;KACtB,EAAE,QAAQ;KACV,EAAE,UAAU,IAAI,EAAE;GACrB,CAAC;GACD,MAAM,eAAe,KAAK,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO;GAC3E;EACF;CACF;CACA,IAAI,UAAU,OAAO;EACnB,MAAM,aAAa,EAAE,MAAM,WAAW,OAAO;EAC7C,MAAM,YAAY,QAAQ;EAE1B,IAAI,WAAW,KAAK,SAAS,WAAW,UAAU;EAClD,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,SAAS,GAAG;GAC3D;GACA,MAAM,UAAA,oBAAgC,OAAO,UAAU,EAAE,QAAQ;GACjE,MAAMH,WAAS,OAAOC,OAAS,SAAS,QAAQ,eAAe,KAAK;GAEpE,UAAUD,aAAW,KAAA,CAAS;GAC9B,MAAM,QAAQ,OAAOE,aAAe,SAAS,QAAQ,QAAQ;GAC7D,MAAMC,WAAS,OAAOC,OAAS,SAASJ,SAAO,IAAI,MAAM,KAAK,KAAK;GAEnE,UAAUG,SAAO,QAAQ,KAAA,CAAS;GAClC,MAAM,QAAQ,OAAOE,UAAY,SAAS,UAAU,QAAQ,OAAO;GAEnE,IAAI,UAAU,KAAA,GAAW;GAEzB,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK,GACxC,QAAQ,QAAQ,MAAM,cAAc,MAAM,IAAI,EAAE,eAAe;GAEjE,IACE,CAAC,CAAC,gBAAgB,yBAAyB,CAAC,CAAC,SAAS,MAAM,IAAI,EAAE,MAAM,KACxE,MAAM,IAAI,EAAE,YAAY,QACxB,MAAM,IAAI,EAAE,iBAAiB,gBAC7B,MAAM,IAAI,EAAE,qBAAqB,QACjC,MAAM,OAEN;GAEF,MAAM,IAAI,QAAQ,WAChB,IAAI,QAAQ;GAEd,MAAM,aAAa,KACjB,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;KAAG,EAAE,WAAW;KAAW,EAAE,UAAU,QAAQ;GAAQ,CAAC,EAAE,IACzH,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;KAAG,EAAE,WAAW;KAAW,EAAE,UAAU,QAAQ;GAAQ,CAAC,EAAE,IACzH,GAAI,MAAM,KAAA,IACN,CAAC,IACD,CACE,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;KAAG,EAAE,WAAW;KAAW,EAAE,UAAU,QAAQ;GAAQ,CAAC,EAAE,EAC3H,CACN;GAEA,IAAI,EAAE,OAAO,MAAM,MAAM,UAAU,IAAI;GACvC,OAAO,MAAM,OAAO,EAAE,OAAO;KAC1B,EAAE,WAAW;KACb,EAAE,UAAU,QAAQ;KACpB,EAAE,UAAU,MAAM,IAAI,EAAE;GAC3B,CAAC;GACD,MAAM,eAAe,KAAK,YAAY,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO;GACvF;EACF;CACF;CAGA,IAAI,UAAU,SAAS,MAAM,KAAA,GAAW;EACtC,MAAM,aAAa,EAAE,MAAM,WAAW,QAAQ;EAC9C,MAAM,YAAY,QAAQ;EAE1B,IAAI,WAAW,KAAK,SAAS,WAAW,UAAU;EAClD,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,SAAS,GAAG;GAC3D;GACA,MAAM,KAAK,UAAU,EAAE;GACvB,MAAM,SAAS,OAAOC,eAAiB,SAAS,EAAE;GAClD,MAAMH,WAAS,OAAOC,OAAS,SAAS,IAAI,UAAU,EAAE,cAAc,KAAK;GAE3E,UAAUD,SAAO,OAAO,UAAU,EAAE,cAAcA,SAAO,QAAQ,KAAA,CAAS;GAC1E,OAAOI,MAAQ,SAAS,QAAQJ,QAAM;EACxC;CACF;CACA,IAAI,UAAU,SAAS,QAAQ,sBAAsB,KAAA,GAAW;EAC9D,MAAM,IAAI,QAAQ,UAAU,OAC1B,YAAY,QAAQ;EAEtB,IAAI,WAAW,OAAO,SAAS,WAAW,UAAU;EACpD,KAAK,MAAM,aAAa,WAAW,OAAO,MAAM,GAAG,SAAS,GAAG;GAC7D;GACA,MAAM,QAAQ,OAAOK,UAAY,SAAS,UAAU,EAAE,WAAW,UAAU,EAAE,OAAO;GAEpF,IAAI,UAAU,KAAA,GAAW;GAEzB,MAAM,WAAW;IACf,UAAU,UAAU,EAAE;IACtB,QAAQ,UAAU,EAAE;IACpB,SAAS,UAAU,EAAE;GACvB;GAEA,WAAW,OAAO,iBAAiB,QAAQ,OAAO,UAAU,EAAE,YAAY;GAE1E,MAAM,QAAQ,OAAON,aAAe,SAAS,QAAQ,GACnD,MAAM,MAAM;GAEd,IAAI,QAAQ,KAAA,KAAa,IAAI,EAAE,WAAW,SAAS;GACnD,MAAM,SAAS,IAAI,EAAE;GAErB,UAAU,WAAW,IAAI;GAEzB,MAAM,SAAS,KACb,GAAG,QAAQ,4BAA4B,SAAS,MAAM,GAAG,EAAE,IAC3D,GAAG,QAAQ,QAAQ,kBAAkB;IAAE,aAAa,MAAM;IAAK,WAAWO,WAAa,MAAM;GAAE,CAAC,EAAE,EACpG;GAEA,IAAI,EAAE,OAAO,MAAM,MAAM,MAAM,IAAI;GACnC,OAAOC,WAAa,SAAS,KAAK;GAClC,OAAO,MAAM,OACX,EAAE,OACF;KAAG,EAAE,cAAc,MAAM;KAAM,EAAE,QAAQ;KAAU,EAAE,YAAY;GAAO,GACxE;KACG,EAAE,QAAQ;KACV,EAAE,YAAY;KACd,EAAE,cAAc;KAChB,EAAE,UAAU,MAAM;GACrB,CACF;GACA,IAAI,QAAQ,UAAU,SAAS,YAC7B,OAAO,MAAM,OAAO,QAAQ,UAAU,SAAS,OAAO,GACnD,QAAQ,UAAU,SAAS,cAAc,MAAM,IAClD,CAAC;GACH,MAAM,eAAe,KAAK,MAAM;EAClC;CACF;CAEA,OAAO;EAAE;EAAS;EAAS;CAAQ;AACrC,CAAC"}

package/dist/drizzle/oauth-connected-custody.mjs

@@ -57,7 +57,7 @@ const fence = Effect.fn("oauthConnected.fence")(function* (mapping, client, coho
 const storeJob = Effect.fn("oauthConnected.storeJob")(function* (mapping, job, token, native, now) {
 	const owner = yield* CurrentOAuthTransaction;
 	invariant(mapping.revocation.mode === "cohort" && token.configuration.profile.revocation === "cohort" && sameContext(job.context.token, token));
-	const j = mapping.revocation.job, identity = oauthIdentityKey(token.identity), client = clientKey(token.configuration), cohort = cohortKey(client, identity);
+	const j = mapping.revocation.job, identity = yield* oauthIdentityKey(token.identity), client = yield* clientKey(token.configuration), cohort = yield* cohortKey(client, identity);
 	const h = mapping.cohort;
 	owner.postconditions.push(sql`exists(select 1 from ${h.table} where ${both(equal(h.table, {
 		[h.cohortKey]: cohort,
@@ -132,10 +132,11 @@ const clear = Effect.fn("oauthConnected.clear")(function* (mapping, client, coho
 });
 /** Former local owners remain visible. A foreign historical dependency cannot be
 * ignored simply because the global tuple was changed outside this authority. */
-const noFormerOwner = (mapping, identity, client, native) => Effect.flatMap(CurrentOAuthTransaction, (owner) => {
+const noFormerOwner = (mapping, identity, client, native) => Effect.gen(function* () {
+	const owner = yield* CurrentOAuthTransaction;
 	const g = mapping.grant, f = mapping.flow, j = jobTable(mapping);
-	const condition = both(sql`not exists(select 1 from ${g.table} where ${both(eq(col(g.table, g.identityKey), identity), sql`not (${owner.exact(g.table, { [g.subjectId]: native })})`)})`, sql`not exists(select 1 from ${f.table} where ${both(eq(col(f.table, f.cohortKey), cohortKey(client, identity)), eq(col(f.table, f.work), "Unresolved"), sql`not (${owner.exact(f.table, { [f.subjectId]: native })})`)})`, ...j === void 0 ? [] : [sql`not exists(select 1 from ${j.table} where ${both(eq(col(j.table, j.identityKey), identity), sql`not (${owner.exact(j.table, { [j.subjectId]: native })})`)})`]);
-	return Effect.map(owner.check(condition), (accepted) => {
+	const condition = both(sql`not exists(select 1 from ${g.table} where ${both(eq(col(g.table, g.identityKey), identity), sql`not (${owner.exact(g.table, { [g.subjectId]: native })})`)})`, sql`not exists(select 1 from ${f.table} where ${both(eq(col(f.table, f.cohortKey), yield* cohortKey(client, identity)), eq(col(f.table, f.work), "Unresolved"), sql`not (${owner.exact(f.table, { [f.subjectId]: native })})`)})`, ...j === void 0 ? [] : [sql`not exists(select 1 from ${j.table} where ${both(eq(col(j.table, j.identityKey), identity), sql`not (${owner.exact(j.table, { [j.subjectId]: native })})`)})`]);
+	return yield* Effect.map(owner.check(condition), (accepted) => {
 		if (accepted) owner.postconditions.push(condition);
 		return accepted;
 	});