@yielded/auth-persistence 0.1.0-beta.30 → 0.1.0-beta.32

package/dist/internal/oauth/native-accounts.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"native-accounts.mjs","names":[],"sources":["../../../src/internal/oauth/native-accounts.ts"],"sourcesContent":["import type { LifecycleHooks } from \"@yielded/auth/Hooks\";\nimport * as M from \"@yielded/auth/OAuth\";\nimport { SessionInvalidationWindow } from \"@yielded/auth/Sessions\";\nimport { Crypto, Effect, Option, Schema } from \"effect\";\nimport type { SqlClient } from \"effect/sql/SqlClient\";\nimport type { Fragment } from \"effect/sql/Statement\";\n\nimport { type OAuthAccountsMapping, OAuthEligibilityFact } from \"../models/oauth-model\";\nimport type { NativeSqlTables } from \"../native-sql-table\";\nimport { makeConditionalSqlInsert } from \"../session-native-record\";\nimport { anySqlCondition, exactSqlText, sqlTextBytes } from \"../sql-change\";\nimport { makeSqlCommitExecutor, SqlBatchCommit, CurrentSqlCommit } from \"../sql-commit\";\nimport type { SqlExpression, TableModel } from \"../table-model\";\nimport { makeOAuthNativeFlow } from \"./native-flow\";\nimport { makeOAuthNativeMutation } from \"./native-mutation\";\nimport { prepareOAuthNative } from \"./native-sign-in\";\nimport { makeOAuthNativeState } from \"./native-state\";\nimport { invariant, oauthIdentityKey, sameRevision, satisfies, unavailable } from \"./state\";\n\n// Physical metadata is validated by the adapter; schema values remain typed.\nexport type OAuthNativeAccountsMapping = OAuthAccountsMapping<\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  unknown,\n  SqlExpression\n>;\n\nexport const makeNativeOAuthAccountsServices = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: OAuthNativeAccountsMapping,\n  batch?: SqlBatchCommit[\"Service\"],\n): Effect.fn.Return<\n  { readonly oauthAccountsPersistence: M.OAuthAccountsPersistence[\"Service\"] },\n  M.OAuthUnavailable,\n  SqlClient | LifecycleHooks | Crypto.Crypto\n> {\n  const conditionalInsert = yield* makeConditionalSqlInsert();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n  const state = yield* makeOAuthNativeState(tables, mapping);\n  const mutation = yield* makeOAuthNativeMutation(tables, mapping, batch !== undefined);\n\n  const flow = yield* makeOAuthNativeFlow(\n    tables,\n    mapping,\n    M.OAuthLinkFlow,\n    \"link\",\n    (value) => value.context.revision.subjectId,\n    batch !== undefined,\n  );\n\n  const { sql, now, credential, authority } = state;\n\n  const c = mapping.credential;\n  const a = mapping.authority;\n\n  const run = <A, E, R>(\n    effect: Effect.Effect<A, E, R>,\n    mode: \"transaction\" | \"statement\" = \"transaction\",\n  ) => {\n    const work = Effect.provideService(effect, Crypto.Crypto, crypto);\n\n    return batch === undefined\n      ? executor.run(work, mode)\n      : executor.batch(work).pipe(Effect.provideService(SqlBatchCommit, batch));\n  };\n\n  const read = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n    executor.read(Effect.provideService(effect, Crypto.Crypto, crypto));\n\n  const credentialCondition = (nativeId: unknown, key: string, id: string, revision: unknown) =>\n    sql.and([\n      sql`${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)}`,\n      exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, key)),\n      exactSqlText(sql, credential.column(c.credentialId), credential.value(c.credentialId, id)),\n      exactSqlText(\n        sql,\n        credential.column(c.credentialRevision),\n        credential.value(c.credentialRevision, revision),\n      ),\n      tables.expression(c.activeCondition),\n    ]);\n\n  const service: M.OAuthAccountsPersistence[\"Service\"] = {\n    list: (original) =>\n      read(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthLinkedAccountsRead, original);\n          const nativeId = yield* mapping.subjectId.toNative(input.invocation.subjectId);\n\n          const metadataAccess = tables.expression(\n            mapping.metadataAccess({\n              invocation: input.invocation,\n              moduleId: input.moduleId,\n              subjectId: nativeId,\n            }),\n          );\n\n          const s = mapping.subject;\n          const orderedId = yield* sqlTextBytes(credential.column(c.credentialId));\n\n          const cursorCondition =\n            input.cursor === undefined\n              ? sql``\n              : sql`and ${orderedId} > ${yield* sqlTextBytes(credential.value(c.credentialId, input.cursor))}`;\n\n          // Bound candidate work before resolving identities. Each final read uses\n          // its columns' own codecs and rechecks live ownership/authority/policy.\n          // A removed candidate can leave a short page; the cursor still advances.\n          // Match exact credential identity even when the column's collation does not.\n          const rows = yield* sql`select ${credential.fields(\"page_\")} from ${credential.name}\n            where ${exactSqlText(sql, credential.column(c.moduleId), credential.value(c.moduleId, input.moduleId))}\n              and ${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)}\n              and ${tables.expression(c.activeCondition)} and ${metadataAccess}\n              and exists(select 1 from ${state.subject.name}\n                where ${state.subject.column(s.id)} = ${state.subject.value(s.id, nativeId)}\n                  and ${tables.expression(s.activeCondition)})\n              ${cursorCondition}\n            order by ${orderedId} limit ${input.limit + 1}`;\n\n          const selected = rows.slice(0, input.limit);\n          const items: Array<M.OAuthLinkedAccount> = [];\n          let cursor: string | undefined;\n\n          for (const row of selected) {\n            const credentialId = yield* Schema.decodeUnknownEffect(\n              M.OAuthLinkedAccount.fields.credentialId,\n            )(credential.decode(row, \"page_\")[c.credentialId]);\n\n            cursor = credentialId;\n\n            const current = yield* state.readCredential(\n              {\n                moduleId: input.moduleId,\n                subjectId: input.invocation.subjectId,\n                credentialId,\n              },\n              metadataAccess,\n            );\n\n            if (current !== undefined)\n              items.push(\n                M.OAuthLinkedAccount.make({\n                  credentialId: current.credentialId,\n                  ...current.identity,\n                }),\n              );\n          }\n\n          return M.snapshotOAuthSync(M.OAuthLinkedAccountsListResult, {\n            items,\n            ...(rows.length > input.limit && cursor !== undefined ? { cursor } : {}),\n          });\n        }),\n      ),\n    capture: (input) =>\n      read(Effect.map(state.capture(input.subjectId, false), (current) => current?.revision)),\n    issue: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthLinkFlow, original);\n          // Flow issue has no protected authority mutation; completion owns the one\n          // subject-first recheck of this authenticated begin authorization.\n          const issued = yield* flow.issue(input);\n\n          return yield* prepareOAuthNative(\n            issued ? { _tag: \"Issued\", flow: input } : { _tag: \"Rejected\" },\n            prepare,\n          );\n        }),\n        flow.mysql ? \"transaction\" : \"statement\",\n      ),\n    consume: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthLinkAccess, original);\n          const consumed = yield* flow.consume(input);\n\n          return yield* prepareOAuthNative(\n            consumed === undefined ? { _tag: \"Rejected\" } : { _tag: \"Consumed\", flow: consumed },\n            prepare,\n          );\n        }),\n        flow.mysql ? \"transaction\" : \"statement\",\n      ),\n    link: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const flow = M.snapshotOAuthSync(M.OAuthLinkFlow, original.flow);\n          const verified = M.snapshotOAuthSync(M.OAuthVerifiedExternalIdentity, original.identity);\n          const context = flow.context;\n\n          const current = yield* mutation.capture(context.revision.subjectId, batch === undefined);\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (\n            current === undefined ||\n            !sameRevision(context.revision, current.revision) ||\n            context.provider !== verified.identity.provider ||\n            context.issuer !== verified.identity.issuer ||\n            current.now >= context.expiresAtMillis\n          )\n            return yield* rejected();\n\n          const deadline = Math.min(\n            context.expiresAtMillis,\n            context.authorization.validUntilMillis,\n          );\n\n          const before = sql.and([\n            mutation.authorityCondition(current.nativeId, current.revision),\n            sql`${now} < ${deadline}`,\n          ]);\n\n          if (batch !== undefined) yield* mutation.assert(before);\n          const identityKey = yield* mutation.ensureOwnership(verified.identity, current.nativeId);\n\n          if (identityKey === undefined)\n            return yield* prepareOAuthNative({ _tag: \"Conflict\" }, prepare);\n\n          const identityCondition = exactSqlText(\n            sql,\n            credential.column(c.identityKey),\n            credential.value(c.identityKey, identityKey),\n          );\n\n          // Fixed D1 plans classify an existing login before staging writes. Native\n          // owners attempt the unique insert and read only its conflict outcome.\n          const existing =\n            batch === undefined\n              ? []\n              : yield* sql`select ${credential.fields(\"login_\")} from ${credential.name} where ${identityCondition} and ${before}`;\n\n          invariant(existing.length <= 1);\n          let credentialId = yield* mapping.allocateCredentialId;\n          let credentialRevision = yield* mapping.allocateRevision;\n          let changed = false;\n          let revision = current.revision;\n\n          if (existing.length === 0) {\n            const values = {\n              ...c.encodeInsert({\n                moduleId: context.moduleId,\n                subjectId: current.nativeId,\n                identityKey,\n                credentialId,\n                credentialRevision,\n              }),\n              [c.moduleId]: context.moduleId,\n              [c.subjectId]: current.nativeId,\n              [c.identityKey]: identityKey,\n              [c.credentialId]: credentialId,\n              [c.credentialRevision]: credentialRevision,\n            };\n\n            invariant(c.isActiveStatus(values[c.status]));\n\n            const inserted = yield* mutation.insertUnique(\n              sql`${conditionalInsert(credential, values, before)} ${sql.onDialectOrElse({ mysql: () => sql``, orElse: () => sql`on conflict do nothing` })}`,\n            );\n\n            changed = inserted === 1;\n          }\n          if (changed) {\n            const factor = {\n              ...a.encodeInsert({\n                subjectId: current.nativeId,\n                credentialId,\n                revision: credentialRevision,\n              }),\n              [a.subjectId]: current.nativeId,\n              [a.credentialId]: credentialId,\n              [a.revision]: credentialRevision,\n            };\n\n            invariant(a.isActiveStatus(factor[a.status]));\n            invariant(\n              (yield* mutation.change(\n                conditionalInsert(\n                  authority,\n                  factor,\n                  sql.and([\n                    before,\n                    sql`exists(select 1 from ${credential.name} where ${credentialCondition(current.nativeId, identityKey, credentialId, credentialRevision)})`,\n                  ]),\n                ),\n              )) === 1,\n            );\n            revision = {\n              ...current.revision,\n              credentials: [\n                ...current.revision.credentials,\n                { credentialId, revision: credentialRevision },\n              ].sort((left, right) => left.credentialId.localeCompare(right.credentialId)),\n            };\n          } else {\n            const rows =\n              existing.length === 1\n                ? existing\n                : yield* sql`select ${credential.fields(\"login_\")} from ${credential.name} where ${identityCondition} and ${before}`;\n\n            invariant(rows.length === 1);\n            const row = credential.decode(rows[0]!, \"login_\");\n\n            invariant(\n              mapping.subjectId.equals(row[c.subjectId], current.nativeId) &&\n                row[c.moduleId] === context.moduleId &&\n                c.isActiveStatus(row[c.status]),\n            );\n            credentialId = yield* Schema.decodeUnknownEffect(\n              M.OAuthCredentialSnapshot.fields.credentialId,\n            )(row[c.credentialId]);\n            credentialRevision = yield* Schema.decodeUnknownEffect(\n              M.OAuthCredentialSnapshot.fields.credentialRevision,\n            )(row[c.credentialRevision]);\n            invariant(\n              revision.credentials.some(\n                (entry) =>\n                  entry.credentialId === credentialId && entry.revision === credentialRevision,\n              ),\n            );\n          }\n          if (Option.isSome(external))\n            yield* mutation.finish(\n              \"oauth-link-authority\",\n              sql.and([\n                mutation.authorityCondition(current.nativeId, revision),\n                sql`${now} < ${deadline}`,\n                sql`exists(select 1 from ${credential.name} where ${credentialCondition(current.nativeId, identityKey, credentialId, credentialRevision)})`,\n                sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(identityKey, current.nativeId)})`,\n              ]),\n            );\n\n          const result = yield* Schema.decodeEffect(Schema.toType(M.OAuthCredentialSnapshot))({\n            moduleId: context.moduleId,\n            identity: verified.identity,\n            credentialId,\n            credentialRevision,\n            revision,\n            requirement: mapping.subject.decodeAuthenticationRequirement(current.subject),\n          });\n\n          return yield* prepareOAuthNative(\n            { _tag: \"Linked\", credential: result, changed },\n            prepare,\n          );\n        }),\n      ),\n    readCredential: (original) =>\n      read(\n        Effect.suspend(() =>\n          state.readCredential(M.snapshotOAuthSync(M.OAuthCredentialKey, original)),\n        ),\n      ),\n    unlink: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const captured = M.snapshotOAuthSync(M.OAuthCredentialSnapshot, original.credential);\n\n          const authorization = M.snapshotOAuthSync(\n            M.OAuthActionAuthorization,\n            original.authorization,\n          );\n\n          const invalidation = M.snapshotOAuthSync(\n            SessionInvalidationWindow,\n            original.invalidation,\n          );\n\n          invariant(\n            invalidation.trigger === \"credential-change\" &&\n              invalidation.oldAuthenticationEvidence === \"rejected\" &&\n              (mapping.sessionInvalidation === \"same-authority-immediate\"\n                ? (invalidation.existingSessions === \"immediate\" &&\n                    invalidation.maximumExposureMillis === 0) ||\n                  (invalidation.existingSessions === \"cache-expiry\" &&\n                    invalidation.maximumExposureMillis > 0)\n                : invalidation.existingSessions === \"original-absolute-expiry\"),\n          );\n\n          const current = yield* mutation.capture(captured.revision.subjectId, batch === undefined);\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (current === undefined || !sameRevision(current.revision, captured.revision))\n            return yield* rejected();\n\n          const key = yield* oauthIdentityKey(captured.identity);\n\n          const target = credentialCondition(\n            current.nativeId,\n            key,\n            captured.credentialId,\n            captured.credentialRevision,\n          );\n\n          const eligible = new Map<\n            string,\n            { readonly fact: OAuthEligibilityFact; readonly conditions: Array<Fragment> }\n          >();\n\n          invariant(mapping.eligibility.length <= 32);\n\n          const sources = mapping.eligibility.map((source) => ({\n            source,\n            table: tables(source.table),\n          }));\n\n          // Each branch owns distinct projection columns. Empty scalar subqueries\n          // retain each physical SQL type across derived SELECT and UNION coercion.\n          invariant(sources.reduce((count, entry) => count + entry.table.keys.length, 0) <= 1024);\n\n          const branches = sources.map(({ source, table }, branch) => {\n            const fields = sources.flatMap((entry, index) =>\n              entry.table.keys.map(\n                (key, ordinal) =>\n                  sql`${index === branch ? table.selectedColumn(key) : sql`(select ${entry.table.selectedColumn(key)} from ${entry.table.name} where 1 = 0)`} as ${sql(`method_${index}_${ordinal}`)}`,\n              ),\n            );\n\n            // The bounded array ordinal is an integer SQL literal, matching the sentinel.\n            return sql`select * from (select ${sql.literal(String(branch))} as method_branch, 1 as target_present, ${sql.join(\", \", false)(fields)} from ${table.name}\n              where ${table.column(source.subjectId)} = ${table.value(source.subjectId, current.nativeId)} and ${tables.expression(source.condition(current.nativeId))}\n              order by ${table.column(source.credentialId)} limit 65) as ${sql(`eligible_${branch}`)}`;\n          });\n\n          const allowed = sql.and([\n            mutation.authorityCondition(current.nativeId, current.revision),\n            sql`exists(select 1 from ${credential.name} where ${target} and ${exactSqlText(sql, credential.column(c.moduleId), credential.value(c.moduleId, captured.moduleId))})`,\n          ]);\n\n          const empty = sources.flatMap((entry, index) =>\n            entry.table.keys.map(\n              (key, ordinal) =>\n                sql`(select ${entry.table.selectedColumn(key)} from ${entry.table.name} where 1 = 0) as ${sql(`method_${index}_${ordinal}`)}`,\n            ),\n          );\n\n          const sentinel = sql`select -1 as method_branch, case when ${allowed} then 1 else 0 end as target_present ${empty.length === 0 ? sql`` : sql`, ${sql.join(\", \", false)(empty)}`}`;\n          const candidates = yield* sql`${sql.join(\" union all \", false)([sentinel, ...branches])}`;\n          const presence = candidates.find((row) => Number(row.method_branch) === -1);\n\n          invariant(presence !== undefined);\n          if (Number(presence.target_present) !== 1) return yield* rejected();\n\n          const counts = new Map<number, number>();\n\n          for (const row of candidates) {\n            const branch = yield* Schema.decodeEffect(Schema.Int)(Number(row.method_branch));\n\n            if (branch === -1) continue;\n            const entry = sources[branch];\n\n            invariant(entry !== undefined);\n            const count = (counts.get(branch) ?? 0) + 1;\n\n            invariant(count <= 64);\n            counts.set(branch, count);\n            const { source, table } = entry;\n            const decoded = source.decode(table.decode(row, `method_${branch}_`));\n\n            if (decoded === undefined) continue;\n            const parsed = yield* Schema.decodeEffect(OAuthEligibilityFact)(decoded);\n            const fact = { ...parsed, factors: [...new Set(parsed.factors)].sort() };\n\n            if (\n              fact.credentialId !== captured.credentialId &&\n              current.revision.credentials.some(\n                (item) =>\n                  item.credentialId === fact.credentialId && item.revision === fact.revision,\n              )\n            ) {\n              const condition = sql`exists(select 1 from ${table.name} where\n                  ${table.column(source.subjectId)} = ${table.value(source.subjectId, current.nativeId)}\n                  and ${exactSqlText(sql, table.column(source.credentialId), table.value(source.credentialId, fact.credentialId))}\n                  and ${exactSqlText(sql, table.column(source.revision), table.value(source.revision, fact.revision))}\n                  and ${tables.expression(source.condition(current.nativeId))})`;\n\n              const previous = eligible.get(fact.credentialId);\n\n              if (previous === undefined)\n                eligible.set(fact.credentialId, { fact, conditions: [condition] });\n              else {\n                const encode = Schema.encodeEffect(\n                  Schema.fromJsonString(Schema.toCodecJson(OAuthEligibilityFact)),\n                );\n\n                invariant((yield* encode(previous.fact)) === (yield* encode(fact)));\n                previous.conditions.push(condition);\n              }\n            }\n          }\n          const methods = [...eligible.values()];\n          const facts = methods.map((entry) => entry.fact);\n          const requirement = mapping.subject.decodeAuthenticationRequirement(current.subject);\n\n          if (!facts.some((fact) => fact.usablePrimary) || !satisfies(facts, requirement))\n            return yield* prepareOAuthNative({ _tag: \"LastSignInMethod\" }, prepare);\n\n          const present = (entry: (typeof methods)[number]) => anySqlCondition(entry.conditions);\n\n          // Preserve a usable remaining method through application work. These\n          // predicates describe eligible credential identities, not observed rows.\n          const remaining = sql.and([\n            anySqlCondition(methods.filter((entry) => entry.fact.usablePrimary).map(present)),\n            anySqlCondition(\n              requirement.alternatives.map((alternative) =>\n                sql.and([\n                  ...alternative.factors.map((factor) =>\n                    anySqlCondition(\n                      methods.filter((entry) => entry.fact.factors.includes(factor)).map(present),\n                    ),\n                  ),\n                  sql`(${sql.join(\" + \", false)(methods.map((entry) => sql`case when ${present(entry)} then 1 else 0 end`))}) >= ${alternative.minimumCredentials}`,\n                  anySqlCondition(\n                    methods\n                      .filter(\n                        (entry) =>\n                          (!alternative.userVerified || entry.fact.userVerified) &&\n                          (!alternative.phishingResistant || entry.fact.phishingResistant),\n                      )\n                      .map(present),\n                  ),\n                ]),\n              ),\n            ),\n          ]);\n\n          const required = sql.and([\n            mutation.subjectCondition(current.nativeId, current.revision),\n            mutation.factorCondition(current.nativeId, current.revision),\n            sql`${now} < ${authorization.validUntilMillis}`,\n            remaining,\n          ]);\n\n          if (batch !== undefined)\n            yield* mutation.assert(\n              sql.and([\n                mutation.authorityCondition(current.nativeId, current.revision),\n                sql`${now} < ${authorization.validUntilMillis}`,\n                remaining,\n              ]),\n            );\n\n          const nextSecurityRevision = mapping.subject.nextSecurityRevision(\n            current.revision.securityRevision,\n          );\n\n          invariant(nextSecurityRevision !== current.revision.securityRevision);\n          const subject = mutation.subject;\n\n          invariant(\n            (yield* mutation.change(sql`${subject.update({ [mapping.subject.securityRevision]: nextSecurityRevision })}\n        where ${subject.column(mapping.subject.id)} = ${subject.value(mapping.subject.id, current.nativeId)} and ${required}`)) ===\n              1,\n          );\n          invariant(\n            (yield* mutation.change(sql`delete from ${credential.name} where ${target}`)) === 1,\n          );\n          invariant(\n            (yield* mutation.change(sql`delete from ${authority.name}\n        where ${authority.column(a.subjectId)} = ${authority.value(a.subjectId, current.nativeId)}\n          and ${exactSqlText(sql, authority.column(a.credentialId), authority.value(a.credentialId, captured.credentialId))}\n          and ${exactSqlText(sql, authority.column(a.revision), authority.value(a.revision, captured.credentialRevision))}`)) ===\n              1,\n          );\n\n          const cleanup = {\n            subjectId: current.nativeId,\n            revision: current.revision,\n            removedCredentialId: captured.credentialId,\n          };\n\n          invariant(mapping.cleanup.length <= 32);\n          const absent = [];\n\n          for (const source of mapping.cleanup) {\n            const table = tables(source.table);\n\n            const condition = sql.and([\n              sql`${table.column(source.subjectId)} = ${table.value(source.subjectId, current.nativeId)}`,\n              tables.expression(source.condition(cleanup)),\n            ]);\n\n            const deletion = sql`delete from ${table.name} where ${condition}`;\n\n            // Deleting zero or many subject-scoped session/pending rows is valid.\n            absent.push(sql`not exists(select 1 from ${table.name} where ${condition})`);\n            yield* mutation.execute(deletion);\n          }\n\n          const referenced = sql.or([\n            sql`exists(select 1 from ${credential.name} where ${exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, key))})`,\n            tables.expression(\n              mapping.otherReferences({ identityKey: key, subjectId: current.nativeId }),\n            ),\n          ]);\n\n          yield* mutation.releaseOwnership(key, current.nativeId, referenced);\n\n          const revision = {\n            ...current.revision,\n            securityRevision: nextSecurityRevision,\n            credentials: current.revision.credentials.filter(\n              (item) => item.credentialId !== captured.credentialId,\n            ),\n          };\n\n          yield* mutation.finish(\n            \"oauth-unlink-authority\",\n            sql.and([\n              mutation.authorityCondition(current.nativeId, revision),\n              sql`${now} < ${authorization.validUntilMillis}`,\n              remaining,\n              sql`not exists(select 1 from ${credential.name} where ${target})`,\n              ...absent,\n            ]),\n          );\n\n          return yield* prepareOAuthNative(\n            {\n              _tag: \"Unlinked\",\n              result: { _tag: \"Unlinked\", credentialId: captured.credentialId, invalidation },\n            },\n            prepare,\n          );\n        }),\n      ),\n    cleanup: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthCleanupInput, original);\n\n          return yield* prepareOAuthNative(\n            yield* flow.cleanup(input.moduleId, input.limit),\n            prepare,\n          );\n        }),\n        \"statement\",\n      ),\n  };\n\n  return { oauthAccountsPersistence: service };\n});\n"],"mappings":";;;;;;;;;;;;;AA8BA,MAAa,kCAAkC,OAAO,WAAW,WAC/D,QACA,SACA,OAKA;CACA,MAAM,oBAAoB,OAAO,yBAAyB;CAC1D,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAC7D,MAAM,QAAQ,OAAO,qBAAqB,QAAQ,OAAO;CACzD,MAAM,WAAW,OAAO,wBAAwB,QAAQ,SAAS,UAAU,KAAA,CAAS;CAEpF,MAAM,OAAO,OAAO,oBAClB,QACA,SACA,EAAE,eACF,SACC,UAAU,MAAM,QAAQ,SAAS,WAClC,UAAU,KAAA,CACZ;CAEA,MAAM,EAAE,KAAK,KAAK,YAAY,cAAc;CAE5C,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAElB,MAAM,OACJ,QACA,OAAoC,kBACjC;EACH,MAAM,OAAO,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM;EAEhE,OAAO,UAAU,KAAA,IACb,SAAS,IAAI,MAAM,IAAI,IACvB,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAC5E;CAEA,MAAM,QAAiB,WACrB,SAAS,KAAK,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM,CAAC;CAEpE,MAAM,uBAAuB,UAAmB,KAAa,IAAY,aACvE,IAAI,IAAI;EACN,GAAG,GAAG,WAAW,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,MAAM,EAAE,WAAW,QAAQ;EAChF,aAAa,KAAK,WAAW,OAAO,EAAE,WAAW,GAAG,WAAW,MAAM,EAAE,aAAa,GAAG,CAAC;EACxF,aAAa,KAAK,WAAW,OAAO,EAAE,YAAY,GAAG,WAAW,MAAM,EAAE,cAAc,EAAE,CAAC;EACzF,aACE,KACA,WAAW,OAAO,EAAE,kBAAkB,GACtC,WAAW,MAAM,EAAE,oBAAoB,QAAQ,CACjD;EACA,OAAO,WAAW,EAAE,eAAe;CACrC,CAAC;CAgjBH,OAAO,EAAE,0BAA0B;EA7iBjC,OAAO,aACL,KACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,yBAAyB,QAAQ;GACrE,MAAM,WAAW,OAAO,QAAQ,UAAU,SAAS,MAAM,WAAW,SAAS;GAE7E,MAAM,iBAAiB,OAAO,WAC5B,QAAQ,eAAe;IACrB,YAAY,MAAM;IAClB,UAAU,MAAM;IAChB,WAAW;GACb,CAAC,CACH;GAEA,MAAM,IAAI,QAAQ;GAClB,MAAM,YAAY,OAAO,aAAa,WAAW,OAAO,EAAE,YAAY,CAAC;GAEvE,MAAM,kBACJ,MAAM,WAAW,KAAA,IACb,GAAG,KACH,GAAG,OAAO,UAAU,KAAK,OAAO,aAAa,WAAW,MAAM,EAAE,cAAc,MAAM,MAAM,CAAC;GAMjG,MAAM,OAAO,OAAO,GAAG,UAAU,WAAW,OAAO,OAAO,EAAE,QAAQ,WAAW,KAAK;oBAC1E,aAAa,KAAK,WAAW,OAAO,EAAE,QAAQ,GAAG,WAAW,MAAM,EAAE,UAAU,MAAM,QAAQ,CAAC,EAAE;oBAC/F,WAAW,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,MAAM,EAAE,WAAW,QAAQ,EAAE;oBAC5E,OAAO,WAAW,EAAE,eAAe,EAAE,OAAO,eAAe;yCACtC,MAAM,QAAQ,KAAK;wBACpC,MAAM,QAAQ,OAAO,EAAE,EAAE,EAAE,KAAK,MAAM,QAAQ,MAAM,EAAE,IAAI,QAAQ,EAAE;wBACpE,OAAO,WAAW,EAAE,eAAe,EAAE;gBAC7C,gBAAgB;uBACT,UAAU,SAAS,MAAM,QAAQ;GAE9C,MAAM,WAAW,KAAK,MAAM,GAAG,MAAM,KAAK;GAC1C,MAAM,QAAqC,CAAC;GAC5C,IAAI;GAEJ,KAAK,MAAM,OAAO,UAAU;IAC1B,MAAM,eAAe,OAAO,OAAO,oBACjC,EAAE,mBAAmB,OAAO,YAC9B,CAAC,CAAC,WAAW,OAAO,KAAK,OAAO,CAAC,CAAC,EAAE,aAAa;IAEjD,SAAS;IAET,MAAM,UAAU,OAAO,MAAM,eAC3B;KACE,UAAU,MAAM;KAChB,WAAW,MAAM,WAAW;KAC5B;IACF,GACA,cACF;IAEA,IAAI,YAAY,KAAA,GACd,MAAM,KACJ,EAAE,mBAAmB,KAAK;KACxB,cAAc,QAAQ;KACtB,GAAG,QAAQ;IACb,CAAC,CACH;GACJ;GAEA,OAAO,EAAE,kBAAkB,EAAE,+BAA+B;IAC1D;IACA,GAAI,KAAK,SAAS,MAAM,SAAS,WAAW,KAAA,IAAY,EAAE,OAAO,IAAI,CAAC;GACxE,CAAC;EACH,CAAC,CACH;EACF,UAAU,UACR,KAAK,OAAO,IAAI,MAAM,QAAQ,MAAM,WAAW,KAAK,IAAI,YAAY,SAAS,QAAQ,CAAC;EACxF,QAAQ,UAAU,YAChB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,eAAe,QAAQ;GAG3D,MAAM,SAAS,OAAO,KAAK,MAAM,KAAK;GAEtC,OAAO,OAAO,mBACZ,SAAS;IAAE,MAAM;IAAU,MAAM;GAAM,IAAI,EAAE,MAAM,WAAW,GAC9D,OACF;EACF,CAAC,GACD,KAAK,QAAQ,gBAAgB,WAC/B;EACF,UAAU,UAAU,YAClB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,iBAAiB,QAAQ;GAC7D,MAAM,WAAW,OAAO,KAAK,QAAQ,KAAK;GAE1C,OAAO,OAAO,mBACZ,aAAa,KAAA,IAAY,EAAE,MAAM,WAAW,IAAI;IAAE,MAAM;IAAY,MAAM;GAAS,GACnF,OACF;EACF,CAAC,GACD,KAAK,QAAQ,gBAAgB,WAC/B;EACF,OAAO,UAAU,YACf,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,OAAO,EAAE,kBAAkB,EAAE,eAAe,SAAS,IAAI;GAC/D,MAAM,WAAW,EAAE,kBAAkB,EAAE,+BAA+B,SAAS,QAAQ;GACvF,MAAM,UAAU,KAAK;GAErB,MAAM,UAAU,OAAO,SAAS,QAAQ,QAAQ,SAAS,WAAW,UAAU,KAAA,CAAS;GACvF,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;GAEhF,IACE,YAAY,KAAA,KACZ,CAAC,aAAa,QAAQ,UAAU,QAAQ,QAAQ,KAChD,QAAQ,aAAa,SAAS,SAAS,YACvC,QAAQ,WAAW,SAAS,SAAS,UACrC,QAAQ,OAAO,QAAQ,iBAEvB,OAAO,OAAO,SAAS;GAEzB,MAAM,WAAW,KAAK,IACpB,QAAQ,iBACR,QAAQ,cAAc,gBACxB;GAEA,MAAM,SAAS,IAAI,IAAI,CACrB,SAAS,mBAAmB,QAAQ,UAAU,QAAQ,QAAQ,GAC9D,GAAG,GAAG,IAAI,KAAK,UACjB,CAAC;GAED,IAAI,UAAU,KAAA,GAAW,OAAO,SAAS,OAAO,MAAM;GACtD,MAAM,cAAc,OAAO,SAAS,gBAAgB,SAAS,UAAU,QAAQ,QAAQ;GAEvF,IAAI,gBAAgB,KAAA,GAClB,OAAO,OAAO,mBAAmB,EAAE,MAAM,WAAW,GAAG,OAAO;GAEhE,MAAM,oBAAoB,aACxB,KACA,WAAW,OAAO,EAAE,WAAW,GAC/B,WAAW,MAAM,EAAE,aAAa,WAAW,CAC7C;GAIA,MAAM,WACJ,UAAU,KAAA,IACN,CAAC,IACD,OAAO,GAAG,UAAU,WAAW,OAAO,QAAQ,EAAE,QAAQ,WAAW,KAAK,SAAS,kBAAkB,OAAO;GAEhH,UAAU,SAAS,UAAU,CAAC;GAC9B,IAAI,eAAe,OAAO,QAAQ;GAClC,IAAI,qBAAqB,OAAO,QAAQ;GACxC,IAAI,UAAU;GACd,IAAI,WAAW,QAAQ;GAEvB,IAAI,SAAS,WAAW,GAAG;IACzB,MAAM,SAAS;KACb,GAAG,EAAE,aAAa;MAChB,UAAU,QAAQ;MAClB,WAAW,QAAQ;MACnB;MACA;MACA;KACF,CAAC;MACA,EAAE,WAAW,QAAQ;MACrB,EAAE,YAAY,QAAQ;MACtB,EAAE,cAAc;MAChB,EAAE,eAAe;MACjB,EAAE,qBAAqB;IAC1B;IAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;IAM5C,WAAU,OAJc,SAAS,aAC/B,GAAG,GAAG,kBAAkB,YAAY,QAAQ,MAAM,EAAE,GAAG,IAAI,gBAAgB;KAAE,aAAa,GAAG;KAAI,cAAc,GAAG;IAAyB,CAAC,GAC9I,OAEuB;GACzB;GACA,IAAI,SAAS;IACX,MAAM,SAAS;KACb,GAAG,EAAE,aAAa;MAChB,WAAW,QAAQ;MACnB;MACA,UAAU;KACZ,CAAC;MACA,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe;MACjB,EAAE,WAAW;IAChB;IAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;IAC5C,WACG,OAAO,SAAS,OACf,kBACE,WACA,QACA,IAAI,IAAI,CACN,QACA,GAAG,wBAAwB,WAAW,KAAK,SAAS,oBAAoB,QAAQ,UAAU,aAAa,cAAc,kBAAkB,EAAE,EAC3I,CAAC,CACH,CACF,OAAO,CACT;IACA,WAAW;KACT,GAAG,QAAQ;KACX,aAAa,CACX,GAAG,QAAQ,SAAS,aACpB;MAAE;MAAc,UAAU;KAAmB,CAC/C,CAAC,CAAC,MAAM,MAAM,UAAU,KAAK,aAAa,cAAc,MAAM,YAAY,CAAC;IAC7E;GACF,OAAO;IACL,MAAM,OACJ,SAAS,WAAW,IAChB,WACA,OAAO,GAAG,UAAU,WAAW,OAAO,QAAQ,EAAE,QAAQ,WAAW,KAAK,SAAS,kBAAkB,OAAO;IAEhH,UAAU,KAAK,WAAW,CAAC;IAC3B,MAAM,MAAM,WAAW,OAAO,KAAK,IAAK,QAAQ;IAEhD,UACE,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,QAAQ,QAAQ,KACzD,IAAI,EAAE,cAAc,QAAQ,YAC5B,EAAE,eAAe,IAAI,EAAE,OAAO,CAClC;IACA,eAAe,OAAO,OAAO,oBAC3B,EAAE,wBAAwB,OAAO,YACnC,CAAC,CAAC,IAAI,EAAE,aAAa;IACrB,qBAAqB,OAAO,OAAO,oBACjC,EAAE,wBAAwB,OAAO,kBACnC,CAAC,CAAC,IAAI,EAAE,mBAAmB;IAC3B,UACE,SAAS,YAAY,MAClB,UACC,MAAM,iBAAiB,gBAAgB,MAAM,aAAa,kBAC9D,CACF;GACF;GACA,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,SAAS,OACd,wBACA,IAAI,IAAI;IACN,SAAS,mBAAmB,QAAQ,UAAU,QAAQ;IACtD,GAAG,GAAG,IAAI,KAAK;IACf,GAAG,wBAAwB,WAAW,KAAK,SAAS,oBAAoB,QAAQ,UAAU,aAAa,cAAc,kBAAkB,EAAE;IACzI,GAAG,wBAAwB,SAAS,UAAU,KAAK,SAAS,SAAS,eAAe,aAAa,QAAQ,QAAQ,EAAE;GACrH,CAAC,CACH;GAEF,MAAM,SAAS,OAAO,OAAO,aAAa,OAAO,OAAO,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAClF,UAAU,QAAQ;IAClB,UAAU,SAAS;IACnB;IACA;IACA;IACA,aAAa,QAAQ,QAAQ,gCAAgC,QAAQ,OAAO;GAC9E,CAAC;GAED,OAAO,OAAO,mBACZ;IAAE,MAAM;IAAU,YAAY;IAAQ;GAAQ,GAC9C,OACF;EACF,CAAC,CACH;EACF,iBAAiB,aACf,KACE,OAAO,cACL,MAAM,eAAe,EAAE,kBAAkB,EAAE,oBAAoB,QAAQ,CAAC,CAC1E,CACF;EACF,SAAS,UAAU,YACjB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,UAAU;GAEnF,MAAM,gBAAgB,EAAE,kBACtB,EAAE,0BACF,SAAS,aACX;GAEA,MAAM,eAAe,EAAE,kBACrB,2BACA,SAAS,YACX;GAEA,UACE,aAAa,YAAY,uBACvB,aAAa,8BAA8B,eAC1C,QAAQ,wBAAwB,6BAC5B,aAAa,qBAAqB,eACjC,aAAa,0BAA0B,KACxC,aAAa,qBAAqB,kBACjC,aAAa,wBAAwB,IACvC,aAAa,qBAAqB,2BAC1C;GAEA,MAAM,UAAU,OAAO,SAAS,QAAQ,SAAS,SAAS,WAAW,UAAU,KAAA,CAAS;GACxF,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;GAEhF,IAAI,YAAY,KAAA,KAAa,CAAC,aAAa,QAAQ,UAAU,SAAS,QAAQ,GAC5E,OAAO,OAAO,SAAS;GAEzB,MAAM,MAAM,OAAO,iBAAiB,SAAS,QAAQ;GAErD,MAAM,SAAS,oBACb,QAAQ,UACR,KACA,SAAS,cACT,SAAS,kBACX;GAEA,MAAM,2BAAW,IAAI,IAGnB;GAEF,UAAU,QAAQ,YAAY,UAAU,EAAE;GAE1C,MAAM,UAAU,QAAQ,YAAY,KAAK,YAAY;IACnD;IACA,OAAO,OAAO,OAAO,KAAK;GAC5B,EAAE;GAIF,UAAU,QAAQ,QAAQ,OAAO,UAAU,QAAQ,MAAM,MAAM,KAAK,QAAQ,CAAC,KAAK,IAAI;GAEtF,MAAM,WAAW,QAAQ,KAAK,EAAE,QAAQ,SAAS,WAAW;IAC1D,MAAM,SAAS,QAAQ,SAAS,OAAO,UACrC,MAAM,MAAM,KAAK,KACd,KAAK,YACJ,GAAG,GAAG,UAAU,SAAS,MAAM,eAAe,GAAG,IAAI,GAAG,WAAW,MAAM,MAAM,eAAe,GAAG,EAAE,QAAQ,MAAM,MAAM,KAAK,eAAe,MAAM,IAAI,UAAU,MAAM,GAAG,SAAS,GACrL,CACF;IAGA,OAAO,GAAG,yBAAyB,IAAI,QAAQ,OAAO,MAAM,CAAC,EAAE,0CAA0C,IAAI,KAAK,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,QAAQ,MAAM,KAAK;sBAChJ,MAAM,OAAO,OAAO,SAAS,EAAE,KAAK,MAAM,MAAM,OAAO,WAAW,QAAQ,QAAQ,EAAE,OAAO,OAAO,WAAW,OAAO,UAAU,QAAQ,QAAQ,CAAC,EAAE;yBAC9I,MAAM,OAAO,OAAO,YAAY,EAAE,gBAAgB,IAAI,YAAY,QAAQ;GACzF,CAAC;GAED,MAAM,UAAU,IAAI,IAAI,CACtB,SAAS,mBAAmB,QAAQ,UAAU,QAAQ,QAAQ,GAC9D,GAAG,wBAAwB,WAAW,KAAK,SAAS,OAAO,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,QAAQ,GAAG,WAAW,MAAM,EAAE,UAAU,SAAS,QAAQ,CAAC,EAAE,EACtK,CAAC;GAED,MAAM,QAAQ,QAAQ,SAAS,OAAO,UACpC,MAAM,MAAM,KAAK,KACd,KAAK,YACJ,GAAG,WAAW,MAAM,MAAM,eAAe,GAAG,EAAE,QAAQ,MAAM,MAAM,KAAK,mBAAmB,IAAI,UAAU,MAAM,GAAG,SAAS,GAC9H,CACF;GAEA,MAAM,WAAW,GAAG,yCAAyC,QAAQ,uCAAuC,MAAM,WAAW,IAAI,GAAG,KAAK,GAAG,KAAK,IAAI,KAAK,MAAM,KAAK,CAAC,CAAC,KAAK;GAC5K,MAAM,aAAa,OAAO,GAAG,GAAG,IAAI,KAAK,eAAe,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,QAAQ,CAAC;GACtF,MAAM,WAAW,WAAW,MAAM,QAAQ,OAAO,IAAI,aAAa,MAAM,EAAE;GAE1E,UAAU,aAAa,KAAA,CAAS;GAChC,IAAI,OAAO,SAAS,cAAc,MAAM,GAAG,OAAO,OAAO,SAAS;GAElE,MAAM,yBAAS,IAAI,IAAoB;GAEvC,KAAK,MAAM,OAAO,YAAY;IAC5B,MAAM,SAAS,OAAO,OAAO,aAAa,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,aAAa,CAAC;IAE/E,IAAI,WAAW,IAAI;IACnB,MAAM,QAAQ,QAAQ;IAEtB,UAAU,UAAU,KAAA,CAAS;IAC7B,MAAM,SAAS,OAAO,IAAI,MAAM,KAAK,KAAK;IAE1C,UAAU,SAAS,EAAE;IACrB,OAAO,IAAI,QAAQ,KAAK;IACxB,MAAM,EAAE,QAAQ,UAAU;IAC1B,MAAM,UAAU,OAAO,OAAO,MAAM,OAAO,KAAK,UAAU,OAAO,EAAE,CAAC;IAEpE,IAAI,YAAY,KAAA,GAAW;IAC3B,MAAM,SAAS,OAAO,OAAO,aAAa,oBAAoB,CAAC,CAAC,OAAO;IACvE,MAAM,OAAO;KAAE,GAAG;KAAQ,SAAS,CAAC,GAAG,IAAI,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK;IAAE;IAEvE,IACE,KAAK,iBAAiB,SAAS,gBAC/B,QAAQ,SAAS,YAAY,MAC1B,SACC,KAAK,iBAAiB,KAAK,gBAAgB,KAAK,aAAa,KAAK,QACtE,GACA;KACA,MAAM,YAAY,GAAG,wBAAwB,MAAM,KAAK;oBAClD,MAAM,OAAO,OAAO,SAAS,EAAE,KAAK,MAAM,MAAM,OAAO,WAAW,QAAQ,QAAQ,EAAE;wBAChF,aAAa,KAAK,MAAM,OAAO,OAAO,YAAY,GAAG,MAAM,MAAM,OAAO,cAAc,KAAK,YAAY,CAAC,EAAE;wBAC1G,aAAa,KAAK,MAAM,OAAO,OAAO,QAAQ,GAAG,MAAM,MAAM,OAAO,UAAU,KAAK,QAAQ,CAAC,EAAE;wBAC9F,OAAO,WAAW,OAAO,UAAU,QAAQ,QAAQ,CAAC,EAAE;KAEhE,MAAM,WAAW,SAAS,IAAI,KAAK,YAAY;KAE/C,IAAI,aAAa,KAAA,GACf,SAAS,IAAI,KAAK,cAAc;MAAE;MAAM,YAAY,CAAC,SAAS;KAAE,CAAC;UAC9D;MACH,MAAM,SAAS,OAAO,aACpB,OAAO,eAAe,OAAO,YAAY,oBAAoB,CAAC,CAChE;MAEA,WAAW,OAAO,OAAO,SAAS,IAAI,QAAQ,OAAO,OAAO,IAAI,EAAE;MAClE,SAAS,WAAW,KAAK,SAAS;KACpC;IACF;GACF;GACA,MAAM,UAAU,CAAC,GAAG,SAAS,OAAO,CAAC;GACrC,MAAM,QAAQ,QAAQ,KAAK,UAAU,MAAM,IAAI;GAC/C,MAAM,cAAc,QAAQ,QAAQ,gCAAgC,QAAQ,OAAO;GAEnF,IAAI,CAAC,MAAM,MAAM,SAAS,KAAK,aAAa,KAAK,CAAC,UAAU,OAAO,WAAW,GAC5E,OAAO,OAAO,mBAAmB,EAAE,MAAM,mBAAmB,GAAG,OAAO;GAExE,MAAM,WAAW,UAAoC,gBAAgB,MAAM,UAAU;GAIrF,MAAM,YAAY,IAAI,IAAI,CACxB,gBAAgB,QAAQ,QAAQ,UAAU,MAAM,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,GAChF,gBACE,YAAY,aAAa,KAAK,gBAC5B,IAAI,IAAI;IACN,GAAG,YAAY,QAAQ,KAAK,WAC1B,gBACE,QAAQ,QAAQ,UAAU,MAAM,KAAK,QAAQ,SAAS,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAC5E,CACF;IACA,GAAG,IAAI,IAAI,KAAK,OAAO,KAAK,CAAC,CAAC,QAAQ,KAAK,UAAU,GAAG,aAAa,QAAQ,KAAK,EAAE,mBAAmB,CAAC,EAAE,OAAO,YAAY;IAC7H,gBACE,QACG,QACE,WACE,CAAC,YAAY,gBAAgB,MAAM,KAAK,kBACxC,CAAC,YAAY,qBAAqB,MAAM,KAAK,kBAClD,CAAC,CACA,IAAI,OAAO,CAChB;GACF,CAAC,CACH,CACF,CACF,CAAC;GAED,MAAM,WAAW,IAAI,IAAI;IACvB,SAAS,iBAAiB,QAAQ,UAAU,QAAQ,QAAQ;IAC5D,SAAS,gBAAgB,QAAQ,UAAU,QAAQ,QAAQ;IAC3D,GAAG,GAAG,IAAI,KAAK,cAAc;IAC7B;GACF,CAAC;GAED,IAAI,UAAU,KAAA,GACZ,OAAO,SAAS,OACd,IAAI,IAAI;IACN,SAAS,mBAAmB,QAAQ,UAAU,QAAQ,QAAQ;IAC9D,GAAG,GAAG,IAAI,KAAK,cAAc;IAC7B;GACF,CAAC,CACH;GAEF,MAAM,uBAAuB,QAAQ,QAAQ,qBAC3C,QAAQ,SAAS,gBACnB;GAEA,UAAU,yBAAyB,QAAQ,SAAS,gBAAgB;GACpE,MAAM,UAAU,SAAS;GAEzB,WACG,OAAO,SAAS,OAAO,GAAG,GAAG,QAAQ,OAAO,GAAG,QAAQ,QAAQ,mBAAmB,qBAAqB,CAAC,EAAE;gBACvG,QAAQ,OAAO,QAAQ,QAAQ,EAAE,EAAE,KAAK,QAAQ,MAAM,QAAQ,QAAQ,IAAI,QAAQ,QAAQ,EAAE,OAAO,UAAU,OAC/G,CACJ;GACA,WACG,OAAO,SAAS,OAAO,GAAG,eAAe,WAAW,KAAK,SAAS,QAAQ,OAAO,CACpF;GACA,WACG,OAAO,SAAS,OAAO,GAAG,eAAe,UAAU,KAAK;gBACrD,UAAU,OAAO,EAAE,SAAS,EAAE,KAAK,UAAU,MAAM,EAAE,WAAW,QAAQ,QAAQ,EAAE;gBAClF,aAAa,KAAK,UAAU,OAAO,EAAE,YAAY,GAAG,UAAU,MAAM,EAAE,cAAc,SAAS,YAAY,CAAC,EAAE;gBAC5G,aAAa,KAAK,UAAU,OAAO,EAAE,QAAQ,GAAG,UAAU,MAAM,EAAE,UAAU,SAAS,kBAAkB,CAAC,GAAG,OAC7G,CACJ;GAEA,MAAM,UAAU;IACd,WAAW,QAAQ;IACnB,UAAU,QAAQ;IAClB,qBAAqB,SAAS;GAChC;GAEA,UAAU,QAAQ,QAAQ,UAAU,EAAE;GACtC,MAAM,SAAS,CAAC;GAEhB,KAAK,MAAM,UAAU,QAAQ,SAAS;IACpC,MAAM,QAAQ,OAAO,OAAO,KAAK;IAEjC,MAAM,YAAY,IAAI,IAAI,CACxB,GAAG,GAAG,MAAM,OAAO,OAAO,SAAS,EAAE,KAAK,MAAM,MAAM,OAAO,WAAW,QAAQ,QAAQ,KACxF,OAAO,WAAW,OAAO,UAAU,OAAO,CAAC,CAC7C,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,MAAM,KAAK,SAAS;IAGvD,OAAO,KAAK,GAAG,4BAA4B,MAAM,KAAK,SAAS,UAAU,EAAE;IAC3E,OAAO,SAAS,QAAQ,QAAQ;GAClC;GAEA,MAAM,aAAa,IAAI,GAAG,CACxB,GAAG,wBAAwB,WAAW,KAAK,SAAS,aAAa,KAAK,WAAW,OAAO,EAAE,WAAW,GAAG,WAAW,MAAM,EAAE,aAAa,GAAG,CAAC,EAAE,IAC9I,OAAO,WACL,QAAQ,gBAAgB;IAAE,aAAa;IAAK,WAAW,QAAQ;GAAS,CAAC,CAC3E,CACF,CAAC;GAED,OAAO,SAAS,iBAAiB,KAAK,QAAQ,UAAU,UAAU;GAElE,MAAM,WAAW;IACf,GAAG,QAAQ;IACX,kBAAkB;IAClB,aAAa,QAAQ,SAAS,YAAY,QACvC,SAAS,KAAK,iBAAiB,SAAS,YAC3C;GACF;GAEA,OAAO,SAAS,OACd,0BACA,IAAI,IAAI;IACN,SAAS,mBAAmB,QAAQ,UAAU,QAAQ;IACtD,GAAG,GAAG,IAAI,KAAK,cAAc;IAC7B;IACA,GAAG,4BAA4B,WAAW,KAAK,SAAS,OAAO;IAC/D,GAAG;GACL,CAAC,CACH;GAEA,OAAO,OAAO,mBACZ;IACE,MAAM;IACN,QAAQ;KAAE,MAAM;KAAY,cAAc,SAAS;KAAc;IAAa;GAChF,GACA,OACF;EACF,CAAC,CACH;EACF,UAAU,UAAU,YAClB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,mBAAmB,QAAQ;GAE/D,OAAO,OAAO,mBACZ,OAAO,KAAK,QAAQ,MAAM,UAAU,MAAM,KAAK,GAC/C,OACF;EACF,CAAC,GACD,WACF;CAGqC,EAAE;AAC7C,CAAC"}
+{"version":3,"file":"native-accounts.mjs","names":[],"sources":["../../../src/internal/oauth/native-accounts.ts"],"sourcesContent":["import type { LifecycleHooks } from \"@yielded/auth/Hooks\";\nimport * as M from \"@yielded/auth/OAuth\";\nimport { SessionInvalidationWindow } from \"@yielded/auth/Sessions\";\nimport { Crypto, Effect, Option, Schema } from \"effect\";\nimport type { SqlClient } from \"effect/sql/SqlClient\";\nimport type { Fragment } from \"effect/sql/Statement\";\n\nimport { type OAuthAccountsMapping, OAuthEligibilityFact } from \"../models/oauth-model\";\nimport type { NativeSqlTables } from \"../native-sql-table\";\nimport { makeConditionalSqlInsert } from \"../session-native-record\";\nimport { anySqlCondition, exactSqlText, sqlTextBytes } from \"../sql-change\";\nimport { makeSqlCommitExecutor, SqlBatchCommit, CurrentSqlCommit } from \"../sql-commit\";\nimport type { SqlExpression, TableModel } from \"../table-model\";\nimport { makeOAuthNativeFlow } from \"./native-flow\";\nimport { makeOAuthNativeMutation } from \"./native-mutation\";\nimport { prepareOAuthNative } from \"./native-sign-in\";\nimport { decodeOAuthRequirement, makeOAuthNativeState } from \"./native-state\";\nimport { invariant, oauthIdentityKey, sameRevision, satisfies, unavailable } from \"./state\";\n\n// Physical metadata is validated by the adapter; schema values remain typed.\nexport type OAuthNativeAccountsMapping = OAuthAccountsMapping<\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  unknown,\n  SqlExpression\n>;\n\nexport const makeNativeOAuthAccountsServices = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: OAuthNativeAccountsMapping,\n  batch?: SqlBatchCommit[\"Service\"],\n): Effect.fn.Return<\n  { readonly oauthAccountsPersistence: M.OAuthAccountsPersistence[\"Service\"] },\n  M.OAuthUnavailable,\n  SqlClient | LifecycleHooks | Crypto.Crypto\n> {\n  const conditionalInsert = yield* makeConditionalSqlInsert();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n  const state = yield* makeOAuthNativeState(tables, mapping);\n  const mutation = yield* makeOAuthNativeMutation(tables, mapping, batch !== undefined);\n\n  const flow = yield* makeOAuthNativeFlow(\n    tables,\n    mapping,\n    M.OAuthLinkFlow,\n    \"link\",\n    (value) => value.context.revision.subjectId,\n    batch !== undefined,\n  );\n\n  const { sql, now, credential, authority } = state;\n\n  const c = mapping.credential;\n  const a = mapping.authority;\n\n  const run = <A, E, R>(\n    effect: Effect.Effect<A, E, R>,\n    mode: \"transaction\" | \"statement\" = \"transaction\",\n  ) => {\n    const work = Effect.provideService(effect, Crypto.Crypto, crypto);\n\n    return batch === undefined\n      ? executor.run(work, mode)\n      : executor.batch(work).pipe(Effect.provideService(SqlBatchCommit, batch));\n  };\n\n  const read = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n    executor.read(Effect.provideService(effect, Crypto.Crypto, crypto));\n\n  const credentialCondition = (nativeId: unknown, key: string, id: string, revision: unknown) =>\n    sql.and([\n      sql`${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)}`,\n      exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, key)),\n      exactSqlText(sql, credential.column(c.credentialId), credential.value(c.credentialId, id)),\n      exactSqlText(\n        sql,\n        credential.column(c.credentialRevision),\n        credential.value(c.credentialRevision, revision),\n      ),\n      tables.expression(c.activeCondition),\n    ]);\n\n  const service: M.OAuthAccountsPersistence[\"Service\"] = {\n    list: (original) =>\n      read(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthLinkedAccountsRead, original);\n          const nativeId = yield* mapping.subjectId.toNative(input.invocation.subjectId);\n\n          const metadataAccess = tables.expression(\n            mapping.metadataAccess({\n              invocation: input.invocation,\n              moduleId: input.moduleId,\n              subjectId: nativeId,\n            }),\n          );\n\n          const s = mapping.subject;\n          const orderedId = yield* sqlTextBytes(credential.column(c.credentialId));\n\n          const cursorCondition =\n            input.cursor === undefined\n              ? sql``\n              : sql`and ${orderedId} > ${yield* sqlTextBytes(credential.value(c.credentialId, input.cursor))}`;\n\n          // Bound candidate work before resolving identities. Each final read uses\n          // its columns' own codecs and rechecks live ownership/authority/policy.\n          // A removed candidate can leave a short page; the cursor still advances.\n          // Match exact credential identity even when the column's collation does not.\n          const rows = yield* sql`select ${credential.fields(\"page_\")} from ${credential.name}\n            where ${exactSqlText(sql, credential.column(c.moduleId), credential.value(c.moduleId, input.moduleId))}\n              and ${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)}\n              and ${tables.expression(c.activeCondition)} and ${metadataAccess}\n              and exists(select 1 from ${state.subject.name}\n                where ${state.subject.column(s.id)} = ${state.subject.value(s.id, nativeId)}\n                  and ${tables.expression(s.activeCondition)})\n              ${cursorCondition}\n            order by ${orderedId} limit ${input.limit + 1}`;\n\n          const selected = rows.slice(0, input.limit);\n          const items: Array<M.OAuthLinkedAccount> = [];\n          let cursor: string | undefined;\n\n          for (const row of selected) {\n            const credentialId = yield* Schema.decodeUnknownEffect(\n              M.OAuthLinkedAccount.fields.credentialId,\n            )(credential.decode(row, \"page_\")[c.credentialId]);\n\n            cursor = credentialId;\n\n            const current = yield* state.readCredential(\n              {\n                moduleId: input.moduleId,\n                subjectId: input.invocation.subjectId,\n                credentialId,\n              },\n              metadataAccess,\n            );\n\n            if (current !== undefined)\n              items.push(\n                M.OAuthLinkedAccount.make({\n                  credentialId: current.credentialId,\n                  ...current.identity,\n                }),\n              );\n          }\n\n          return M.snapshotOAuthSync(M.OAuthLinkedAccountsListResult, {\n            items,\n            ...(rows.length > input.limit && cursor !== undefined ? { cursor } : {}),\n          });\n        }),\n      ),\n    capture: (input) =>\n      read(Effect.map(state.capture(input.subjectId, false), (current) => current?.revision)),\n    issue: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthLinkFlow, original);\n          // Flow issue has no protected authority mutation; completion owns the one\n          // subject-first recheck of this authenticated begin authorization.\n          const issued = yield* flow.issue(input);\n\n          return yield* prepareOAuthNative(\n            issued ? { _tag: \"Issued\", flow: input } : { _tag: \"Rejected\" },\n            prepare,\n          );\n        }),\n        flow.mysql ? \"transaction\" : \"statement\",\n      ),\n    consume: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthLinkAccess, original);\n          const consumed = yield* flow.consume(input);\n\n          return yield* prepareOAuthNative(\n            consumed === undefined ? { _tag: \"Rejected\" } : { _tag: \"Consumed\", flow: consumed },\n            prepare,\n          );\n        }),\n        flow.mysql ? \"transaction\" : \"statement\",\n      ),\n    link: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const flow = M.snapshotOAuthSync(M.OAuthLinkFlow, original.flow);\n          const verified = M.snapshotOAuthSync(M.OAuthVerifiedExternalIdentity, original.identity);\n          const context = flow.context;\n\n          const current = yield* mutation.capture(context.revision.subjectId, batch === undefined);\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (\n            current === undefined ||\n            !sameRevision(context.revision, current.revision) ||\n            context.provider !== verified.identity.provider ||\n            context.issuer !== verified.identity.issuer ||\n            current.now >= context.expiresAtMillis\n          )\n            return yield* rejected();\n\n          const deadline = Math.min(\n            context.expiresAtMillis,\n            context.authorization.validUntilMillis,\n          );\n\n          const before = sql.and([\n            mutation.authorityCondition(current.nativeId, current.revision),\n            sql`${now} < ${deadline}`,\n          ]);\n\n          if (batch !== undefined) yield* mutation.assert(before);\n          const identityKey = yield* mutation.ensureOwnership(verified.identity, current.nativeId);\n\n          if (identityKey === undefined)\n            return yield* prepareOAuthNative({ _tag: \"Conflict\" }, prepare);\n\n          const identityCondition = exactSqlText(\n            sql,\n            credential.column(c.identityKey),\n            credential.value(c.identityKey, identityKey),\n          );\n\n          // Fixed D1 plans classify an existing login before staging writes. Native\n          // owners attempt the unique insert and read only its conflict outcome.\n          const existing =\n            batch === undefined\n              ? []\n              : yield* sql`select ${credential.fields(\"login_\")} from ${credential.name} where ${identityCondition} and ${before}`;\n\n          invariant(existing.length <= 1);\n          let credentialId = yield* mapping.allocateCredentialId;\n          let credentialRevision = yield* mapping.allocateRevision;\n          let changed = false;\n          let revision = current.revision;\n\n          if (existing.length === 0) {\n            const values = {\n              ...c.encodeInsert({\n                moduleId: context.moduleId,\n                subjectId: current.nativeId,\n                identityKey,\n                credentialId,\n                credentialRevision,\n              }),\n              [c.moduleId]: context.moduleId,\n              [c.subjectId]: current.nativeId,\n              [c.identityKey]: identityKey,\n              [c.credentialId]: credentialId,\n              [c.credentialRevision]: credentialRevision,\n            };\n\n            invariant(c.isActiveStatus(values[c.status]));\n\n            const inserted = yield* mutation.insertUnique(\n              sql`${conditionalInsert(credential, values, before)} ${sql.onDialectOrElse({ mysql: () => sql``, orElse: () => sql`on conflict do nothing` })}`,\n            );\n\n            changed = inserted === 1;\n          }\n          if (changed) {\n            const factor = {\n              ...a.encodeInsert({\n                subjectId: current.nativeId,\n                credentialId,\n                revision: credentialRevision,\n              }),\n              [a.subjectId]: current.nativeId,\n              [a.credentialId]: credentialId,\n              [a.revision]: credentialRevision,\n            };\n\n            invariant(a.isActiveStatus(factor[a.status]));\n            invariant(\n              (yield* mutation.change(\n                conditionalInsert(\n                  authority,\n                  factor,\n                  sql.and([\n                    before,\n                    sql`exists(select 1 from ${credential.name} where ${credentialCondition(current.nativeId, identityKey, credentialId, credentialRevision)})`,\n                  ]),\n                ),\n              )) === 1,\n            );\n            revision = {\n              ...current.revision,\n              credentials: [\n                ...current.revision.credentials,\n                { credentialId, revision: credentialRevision },\n              ].sort((left, right) => left.credentialId.localeCompare(right.credentialId)),\n            };\n          } else {\n            const rows =\n              existing.length === 1\n                ? existing\n                : yield* sql`select ${credential.fields(\"login_\")} from ${credential.name} where ${identityCondition} and ${before}`;\n\n            invariant(rows.length === 1);\n            const row = credential.decode(rows[0]!, \"login_\");\n\n            invariant(\n              mapping.subjectId.equals(row[c.subjectId], current.nativeId) &&\n                row[c.moduleId] === context.moduleId &&\n                c.isActiveStatus(row[c.status]),\n            );\n            credentialId = yield* Schema.decodeUnknownEffect(\n              M.OAuthCredentialSnapshot.fields.credentialId,\n            )(row[c.credentialId]);\n            credentialRevision = yield* Schema.decodeUnknownEffect(\n              M.OAuthCredentialSnapshot.fields.credentialRevision,\n            )(row[c.credentialRevision]);\n            invariant(\n              revision.credentials.some(\n                (entry) =>\n                  entry.credentialId === credentialId && entry.revision === credentialRevision,\n              ),\n            );\n          }\n          if (Option.isSome(external))\n            yield* mutation.finish(\n              \"oauth-link-authority\",\n              sql.and([\n                mutation.authorityCondition(current.nativeId, revision),\n                sql`${now} < ${deadline}`,\n                sql`exists(select 1 from ${credential.name} where ${credentialCondition(current.nativeId, identityKey, credentialId, credentialRevision)})`,\n                sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(identityKey, current.nativeId)})`,\n              ]),\n            );\n\n          const result = yield* Schema.decodeEffect(Schema.toType(M.OAuthCredentialSnapshot))({\n            moduleId: context.moduleId,\n            identity: verified.identity,\n            credentialId,\n            credentialRevision,\n            revision,\n            requirement: yield* decodeOAuthRequirement(mapping.subject, current.subject),\n          });\n\n          return yield* prepareOAuthNative(\n            { _tag: \"Linked\", credential: result, changed },\n            prepare,\n          );\n        }),\n      ),\n    readCredential: (original) =>\n      read(\n        Effect.suspend(() =>\n          state.readCredential(M.snapshotOAuthSync(M.OAuthCredentialKey, original)),\n        ),\n      ),\n    unlink: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const captured = M.snapshotOAuthSync(M.OAuthCredentialSnapshot, original.credential);\n\n          const authorization = M.snapshotOAuthSync(\n            M.OAuthActionAuthorization,\n            original.authorization,\n          );\n\n          const invalidation = M.snapshotOAuthSync(\n            SessionInvalidationWindow,\n            original.invalidation,\n          );\n\n          invariant(\n            invalidation.trigger === \"credential-change\" &&\n              invalidation.oldAuthenticationEvidence === \"rejected\" &&\n              (mapping.sessionInvalidation === \"same-authority-immediate\"\n                ? (invalidation.existingSessions === \"immediate\" &&\n                    invalidation.maximumExposureMillis === 0) ||\n                  (invalidation.existingSessions === \"cache-expiry\" &&\n                    invalidation.maximumExposureMillis > 0)\n                : invalidation.existingSessions === \"original-absolute-expiry\"),\n          );\n\n          const current = yield* mutation.capture(captured.revision.subjectId, batch === undefined);\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (current === undefined || !sameRevision(current.revision, captured.revision))\n            return yield* rejected();\n\n          const key = yield* oauthIdentityKey(captured.identity);\n\n          const target = credentialCondition(\n            current.nativeId,\n            key,\n            captured.credentialId,\n            captured.credentialRevision,\n          );\n\n          const eligible = new Map<\n            string,\n            { readonly fact: OAuthEligibilityFact; readonly conditions: Array<Fragment> }\n          >();\n\n          invariant(mapping.eligibility.length <= 32);\n\n          const sources = mapping.eligibility.map((source) => ({\n            source,\n            table: tables(source.table),\n          }));\n\n          // Each branch owns distinct projection columns. Empty scalar subqueries\n          // retain each physical SQL type across derived SELECT and UNION coercion.\n          invariant(sources.reduce((count, entry) => count + entry.table.keys.length, 0) <= 1024);\n\n          const branches = sources.map(({ source, table }, branch) => {\n            const fields = sources.flatMap((entry, index) =>\n              entry.table.keys.map(\n                (key, ordinal) =>\n                  sql`${index === branch ? table.selectedColumn(key) : sql`(select ${entry.table.selectedColumn(key)} from ${entry.table.name} where 1 = 0)`} as ${sql(`method_${index}_${ordinal}`)}`,\n              ),\n            );\n\n            // The bounded array ordinal is an integer SQL literal, matching the sentinel.\n            return sql`select * from (select ${sql.literal(String(branch))} as method_branch, 1 as target_present, ${sql.join(\", \", false)(fields)} from ${table.name}\n              where ${table.column(source.subjectId)} = ${table.value(source.subjectId, current.nativeId)} and ${tables.expression(source.condition(current.nativeId))}\n              order by ${table.column(source.credentialId)} limit 65) as ${sql(`eligible_${branch}`)}`;\n          });\n\n          const allowed = sql.and([\n            mutation.authorityCondition(current.nativeId, current.revision),\n            sql`exists(select 1 from ${credential.name} where ${target} and ${exactSqlText(sql, credential.column(c.moduleId), credential.value(c.moduleId, captured.moduleId))})`,\n          ]);\n\n          const empty = sources.flatMap((entry, index) =>\n            entry.table.keys.map(\n              (key, ordinal) =>\n                sql`(select ${entry.table.selectedColumn(key)} from ${entry.table.name} where 1 = 0) as ${sql(`method_${index}_${ordinal}`)}`,\n            ),\n          );\n\n          const sentinel = sql`select -1 as method_branch, case when ${allowed} then 1 else 0 end as target_present ${empty.length === 0 ? sql`` : sql`, ${sql.join(\", \", false)(empty)}`}`;\n          const candidates = yield* sql`${sql.join(\" union all \", false)([sentinel, ...branches])}`;\n          const presence = candidates.find((row) => Number(row.method_branch) === -1);\n\n          invariant(presence !== undefined);\n          if (Number(presence.target_present) !== 1) return yield* rejected();\n\n          const counts = new Map<number, number>();\n\n          for (const row of candidates) {\n            const branch = yield* Schema.decodeEffect(Schema.Int)(Number(row.method_branch));\n\n            if (branch === -1) continue;\n            const entry = sources[branch];\n\n            invariant(entry !== undefined);\n            const count = (counts.get(branch) ?? 0) + 1;\n\n            invariant(count <= 64);\n            counts.set(branch, count);\n            const { source, table } = entry;\n            const decoded = source.decode(table.decode(row, `method_${branch}_`));\n\n            if (decoded === undefined) continue;\n            const parsed = yield* Schema.decodeEffect(OAuthEligibilityFact)(decoded);\n            const fact = { ...parsed, factors: [...new Set(parsed.factors)].sort() };\n\n            if (\n              fact.credentialId !== captured.credentialId &&\n              current.revision.credentials.some(\n                (item) =>\n                  item.credentialId === fact.credentialId && item.revision === fact.revision,\n              )\n            ) {\n              const condition = sql`exists(select 1 from ${table.name} where\n                  ${table.column(source.subjectId)} = ${table.value(source.subjectId, current.nativeId)}\n                  and ${exactSqlText(sql, table.column(source.credentialId), table.value(source.credentialId, fact.credentialId))}\n                  and ${exactSqlText(sql, table.column(source.revision), table.value(source.revision, fact.revision))}\n                  and ${tables.expression(source.condition(current.nativeId))})`;\n\n              const previous = eligible.get(fact.credentialId);\n\n              if (previous === undefined)\n                eligible.set(fact.credentialId, { fact, conditions: [condition] });\n              else {\n                const encode = Schema.encodeEffect(\n                  Schema.fromJsonString(Schema.toCodecJson(OAuthEligibilityFact)),\n                );\n\n                invariant((yield* encode(previous.fact)) === (yield* encode(fact)));\n                previous.conditions.push(condition);\n              }\n            }\n          }\n          const methods = [...eligible.values()];\n          const facts = methods.map((entry) => entry.fact);\n          const requirement = yield* decodeOAuthRequirement(mapping.subject, current.subject);\n\n          if (!facts.some((fact) => fact.usablePrimary) || !satisfies(facts, requirement))\n            return yield* prepareOAuthNative({ _tag: \"LastSignInMethod\" }, prepare);\n\n          const present = (entry: (typeof methods)[number]) => anySqlCondition(entry.conditions);\n\n          // Preserve a usable remaining method through application work. These\n          // predicates describe eligible credential identities, not observed rows.\n          const remaining = sql.and([\n            anySqlCondition(methods.filter((entry) => entry.fact.usablePrimary).map(present)),\n            anySqlCondition(\n              requirement.alternatives.map((alternative) =>\n                sql.and([\n                  ...alternative.factors.map((factor) =>\n                    anySqlCondition(\n                      methods.filter((entry) => entry.fact.factors.includes(factor)).map(present),\n                    ),\n                  ),\n                  sql`(${sql.join(\" + \", false)(methods.map((entry) => sql`case when ${present(entry)} then 1 else 0 end`))}) >= ${alternative.minimumCredentials}`,\n                  anySqlCondition(\n                    methods\n                      .filter(\n                        (entry) =>\n                          (!alternative.userVerified || entry.fact.userVerified) &&\n                          (!alternative.phishingResistant || entry.fact.phishingResistant),\n                      )\n                      .map(present),\n                  ),\n                ]),\n              ),\n            ),\n          ]);\n\n          const required = sql.and([\n            mutation.subjectCondition(current.nativeId, current.revision),\n            mutation.factorCondition(current.nativeId, current.revision),\n            sql`${now} < ${authorization.validUntilMillis}`,\n            remaining,\n          ]);\n\n          if (batch !== undefined)\n            yield* mutation.assert(\n              sql.and([\n                mutation.authorityCondition(current.nativeId, current.revision),\n                sql`${now} < ${authorization.validUntilMillis}`,\n                remaining,\n              ]),\n            );\n\n          const nextSecurityRevision = mapping.subject.nextSecurityRevision(\n            current.revision.securityRevision,\n          );\n\n          invariant(nextSecurityRevision !== current.revision.securityRevision);\n          const subject = mutation.subject;\n\n          invariant(\n            (yield* mutation.change(sql`${subject.update({ [mapping.subject.securityRevision]: nextSecurityRevision })}\n        where ${subject.column(mapping.subject.id)} = ${subject.value(mapping.subject.id, current.nativeId)} and ${required}`)) ===\n              1,\n          );\n          invariant(\n            (yield* mutation.change(sql`delete from ${credential.name} where ${target}`)) === 1,\n          );\n          invariant(\n            (yield* mutation.change(sql`delete from ${authority.name}\n        where ${authority.column(a.subjectId)} = ${authority.value(a.subjectId, current.nativeId)}\n          and ${exactSqlText(sql, authority.column(a.credentialId), authority.value(a.credentialId, captured.credentialId))}\n          and ${exactSqlText(sql, authority.column(a.revision), authority.value(a.revision, captured.credentialRevision))}`)) ===\n              1,\n          );\n\n          const cleanup = {\n            subjectId: current.nativeId,\n            revision: current.revision,\n            removedCredentialId: captured.credentialId,\n          };\n\n          invariant(mapping.cleanup.length <= 32);\n          const absent = [];\n\n          for (const source of mapping.cleanup) {\n            const table = tables(source.table);\n\n            const condition = sql.and([\n              sql`${table.column(source.subjectId)} = ${table.value(source.subjectId, current.nativeId)}`,\n              tables.expression(source.condition(cleanup)),\n            ]);\n\n            const deletion = sql`delete from ${table.name} where ${condition}`;\n\n            // Deleting zero or many subject-scoped session/pending rows is valid.\n            absent.push(sql`not exists(select 1 from ${table.name} where ${condition})`);\n            yield* mutation.execute(deletion);\n          }\n\n          const referenced = sql.or([\n            sql`exists(select 1 from ${credential.name} where ${exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, key))})`,\n            tables.expression(\n              mapping.otherReferences({ identityKey: key, subjectId: current.nativeId }),\n            ),\n          ]);\n\n          yield* mutation.releaseOwnership(key, current.nativeId, referenced);\n\n          const revision = {\n            ...current.revision,\n            securityRevision: nextSecurityRevision,\n            credentials: current.revision.credentials.filter(\n              (item) => item.credentialId !== captured.credentialId,\n            ),\n          };\n\n          yield* mutation.finish(\n            \"oauth-unlink-authority\",\n            sql.and([\n              mutation.authorityCondition(current.nativeId, revision),\n              sql`${now} < ${authorization.validUntilMillis}`,\n              remaining,\n              sql`not exists(select 1 from ${credential.name} where ${target})`,\n              ...absent,\n            ]),\n          );\n\n          return yield* prepareOAuthNative(\n            {\n              _tag: \"Unlinked\",\n              result: { _tag: \"Unlinked\", credentialId: captured.credentialId, invalidation },\n            },\n            prepare,\n          );\n        }),\n      ),\n    cleanup: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const input = M.snapshotOAuthSync(M.OAuthCleanupInput, original);\n\n          return yield* prepareOAuthNative(\n            yield* flow.cleanup(input.moduleId, input.limit),\n            prepare,\n          );\n        }),\n        \"statement\",\n      ),\n  };\n\n  return { oauthAccountsPersistence: service };\n});\n"],"mappings":";;;;;;;;;;;;;AA8BA,MAAa,kCAAkC,OAAO,WAAW,WAC/D,QACA,SACA,OAKA;CACA,MAAM,oBAAoB,OAAO,yBAAyB;CAC1D,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAC7D,MAAM,QAAQ,OAAO,qBAAqB,QAAQ,OAAO;CACzD,MAAM,WAAW,OAAO,wBAAwB,QAAQ,SAAS,UAAU,KAAA,CAAS;CAEpF,MAAM,OAAO,OAAO,oBAClB,QACA,SACA,EAAE,eACF,SACC,UAAU,MAAM,QAAQ,SAAS,WAClC,UAAU,KAAA,CACZ;CAEA,MAAM,EAAE,KAAK,KAAK,YAAY,cAAc;CAE5C,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAElB,MAAM,OACJ,QACA,OAAoC,kBACjC;EACH,MAAM,OAAO,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM;EAEhE,OAAO,UAAU,KAAA,IACb,SAAS,IAAI,MAAM,IAAI,IACvB,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAC5E;CAEA,MAAM,QAAiB,WACrB,SAAS,KAAK,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM,CAAC;CAEpE,MAAM,uBAAuB,UAAmB,KAAa,IAAY,aACvE,IAAI,IAAI;EACN,GAAG,GAAG,WAAW,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,MAAM,EAAE,WAAW,QAAQ;EAChF,aAAa,KAAK,WAAW,OAAO,EAAE,WAAW,GAAG,WAAW,MAAM,EAAE,aAAa,GAAG,CAAC;EACxF,aAAa,KAAK,WAAW,OAAO,EAAE,YAAY,GAAG,WAAW,MAAM,EAAE,cAAc,EAAE,CAAC;EACzF,aACE,KACA,WAAW,OAAO,EAAE,kBAAkB,GACtC,WAAW,MAAM,EAAE,oBAAoB,QAAQ,CACjD;EACA,OAAO,WAAW,EAAE,eAAe;CACrC,CAAC;CAgjBH,OAAO,EAAE,0BAA0B;EA7iBjC,OAAO,aACL,KACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,yBAAyB,QAAQ;GACrE,MAAM,WAAW,OAAO,QAAQ,UAAU,SAAS,MAAM,WAAW,SAAS;GAE7E,MAAM,iBAAiB,OAAO,WAC5B,QAAQ,eAAe;IACrB,YAAY,MAAM;IAClB,UAAU,MAAM;IAChB,WAAW;GACb,CAAC,CACH;GAEA,MAAM,IAAI,QAAQ;GAClB,MAAM,YAAY,OAAO,aAAa,WAAW,OAAO,EAAE,YAAY,CAAC;GAEvE,MAAM,kBACJ,MAAM,WAAW,KAAA,IACb,GAAG,KACH,GAAG,OAAO,UAAU,KAAK,OAAO,aAAa,WAAW,MAAM,EAAE,cAAc,MAAM,MAAM,CAAC;GAMjG,MAAM,OAAO,OAAO,GAAG,UAAU,WAAW,OAAO,OAAO,EAAE,QAAQ,WAAW,KAAK;oBAC1E,aAAa,KAAK,WAAW,OAAO,EAAE,QAAQ,GAAG,WAAW,MAAM,EAAE,UAAU,MAAM,QAAQ,CAAC,EAAE;oBAC/F,WAAW,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,MAAM,EAAE,WAAW,QAAQ,EAAE;oBAC5E,OAAO,WAAW,EAAE,eAAe,EAAE,OAAO,eAAe;yCACtC,MAAM,QAAQ,KAAK;wBACpC,MAAM,QAAQ,OAAO,EAAE,EAAE,EAAE,KAAK,MAAM,QAAQ,MAAM,EAAE,IAAI,QAAQ,EAAE;wBACpE,OAAO,WAAW,EAAE,eAAe,EAAE;gBAC7C,gBAAgB;uBACT,UAAU,SAAS,MAAM,QAAQ;GAE9C,MAAM,WAAW,KAAK,MAAM,GAAG,MAAM,KAAK;GAC1C,MAAM,QAAqC,CAAC;GAC5C,IAAI;GAEJ,KAAK,MAAM,OAAO,UAAU;IAC1B,MAAM,eAAe,OAAO,OAAO,oBACjC,EAAE,mBAAmB,OAAO,YAC9B,CAAC,CAAC,WAAW,OAAO,KAAK,OAAO,CAAC,CAAC,EAAE,aAAa;IAEjD,SAAS;IAET,MAAM,UAAU,OAAO,MAAM,eAC3B;KACE,UAAU,MAAM;KAChB,WAAW,MAAM,WAAW;KAC5B;IACF,GACA,cACF;IAEA,IAAI,YAAY,KAAA,GACd,MAAM,KACJ,EAAE,mBAAmB,KAAK;KACxB,cAAc,QAAQ;KACtB,GAAG,QAAQ;IACb,CAAC,CACH;GACJ;GAEA,OAAO,EAAE,kBAAkB,EAAE,+BAA+B;IAC1D;IACA,GAAI,KAAK,SAAS,MAAM,SAAS,WAAW,KAAA,IAAY,EAAE,OAAO,IAAI,CAAC;GACxE,CAAC;EACH,CAAC,CACH;EACF,UAAU,UACR,KAAK,OAAO,IAAI,MAAM,QAAQ,MAAM,WAAW,KAAK,IAAI,YAAY,SAAS,QAAQ,CAAC;EACxF,QAAQ,UAAU,YAChB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,eAAe,QAAQ;GAG3D,MAAM,SAAS,OAAO,KAAK,MAAM,KAAK;GAEtC,OAAO,OAAO,mBACZ,SAAS;IAAE,MAAM;IAAU,MAAM;GAAM,IAAI,EAAE,MAAM,WAAW,GAC9D,OACF;EACF,CAAC,GACD,KAAK,QAAQ,gBAAgB,WAC/B;EACF,UAAU,UAAU,YAClB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,iBAAiB,QAAQ;GAC7D,MAAM,WAAW,OAAO,KAAK,QAAQ,KAAK;GAE1C,OAAO,OAAO,mBACZ,aAAa,KAAA,IAAY,EAAE,MAAM,WAAW,IAAI;IAAE,MAAM;IAAY,MAAM;GAAS,GACnF,OACF;EACF,CAAC,GACD,KAAK,QAAQ,gBAAgB,WAC/B;EACF,OAAO,UAAU,YACf,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,OAAO,EAAE,kBAAkB,EAAE,eAAe,SAAS,IAAI;GAC/D,MAAM,WAAW,EAAE,kBAAkB,EAAE,+BAA+B,SAAS,QAAQ;GACvF,MAAM,UAAU,KAAK;GAErB,MAAM,UAAU,OAAO,SAAS,QAAQ,QAAQ,SAAS,WAAW,UAAU,KAAA,CAAS;GACvF,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;GAEhF,IACE,YAAY,KAAA,KACZ,CAAC,aAAa,QAAQ,UAAU,QAAQ,QAAQ,KAChD,QAAQ,aAAa,SAAS,SAAS,YACvC,QAAQ,WAAW,SAAS,SAAS,UACrC,QAAQ,OAAO,QAAQ,iBAEvB,OAAO,OAAO,SAAS;GAEzB,MAAM,WAAW,KAAK,IACpB,QAAQ,iBACR,QAAQ,cAAc,gBACxB;GAEA,MAAM,SAAS,IAAI,IAAI,CACrB,SAAS,mBAAmB,QAAQ,UAAU,QAAQ,QAAQ,GAC9D,GAAG,GAAG,IAAI,KAAK,UACjB,CAAC;GAED,IAAI,UAAU,KAAA,GAAW,OAAO,SAAS,OAAO,MAAM;GACtD,MAAM,cAAc,OAAO,SAAS,gBAAgB,SAAS,UAAU,QAAQ,QAAQ;GAEvF,IAAI,gBAAgB,KAAA,GAClB,OAAO,OAAO,mBAAmB,EAAE,MAAM,WAAW,GAAG,OAAO;GAEhE,MAAM,oBAAoB,aACxB,KACA,WAAW,OAAO,EAAE,WAAW,GAC/B,WAAW,MAAM,EAAE,aAAa,WAAW,CAC7C;GAIA,MAAM,WACJ,UAAU,KAAA,IACN,CAAC,IACD,OAAO,GAAG,UAAU,WAAW,OAAO,QAAQ,EAAE,QAAQ,WAAW,KAAK,SAAS,kBAAkB,OAAO;GAEhH,UAAU,SAAS,UAAU,CAAC;GAC9B,IAAI,eAAe,OAAO,QAAQ;GAClC,IAAI,qBAAqB,OAAO,QAAQ;GACxC,IAAI,UAAU;GACd,IAAI,WAAW,QAAQ;GAEvB,IAAI,SAAS,WAAW,GAAG;IACzB,MAAM,SAAS;KACb,GAAG,EAAE,aAAa;MAChB,UAAU,QAAQ;MAClB,WAAW,QAAQ;MACnB;MACA;MACA;KACF,CAAC;MACA,EAAE,WAAW,QAAQ;MACrB,EAAE,YAAY,QAAQ;MACtB,EAAE,cAAc;MAChB,EAAE,eAAe;MACjB,EAAE,qBAAqB;IAC1B;IAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;IAM5C,WAAU,OAJc,SAAS,aAC/B,GAAG,GAAG,kBAAkB,YAAY,QAAQ,MAAM,EAAE,GAAG,IAAI,gBAAgB;KAAE,aAAa,GAAG;KAAI,cAAc,GAAG;IAAyB,CAAC,GAC9I,OAEuB;GACzB;GACA,IAAI,SAAS;IACX,MAAM,SAAS;KACb,GAAG,EAAE,aAAa;MAChB,WAAW,QAAQ;MACnB;MACA,UAAU;KACZ,CAAC;MACA,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe;MACjB,EAAE,WAAW;IAChB;IAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;IAC5C,WACG,OAAO,SAAS,OACf,kBACE,WACA,QACA,IAAI,IAAI,CACN,QACA,GAAG,wBAAwB,WAAW,KAAK,SAAS,oBAAoB,QAAQ,UAAU,aAAa,cAAc,kBAAkB,EAAE,EAC3I,CAAC,CACH,CACF,OAAO,CACT;IACA,WAAW;KACT,GAAG,QAAQ;KACX,aAAa,CACX,GAAG,QAAQ,SAAS,aACpB;MAAE;MAAc,UAAU;KAAmB,CAC/C,CAAC,CAAC,MAAM,MAAM,UAAU,KAAK,aAAa,cAAc,MAAM,YAAY,CAAC;IAC7E;GACF,OAAO;IACL,MAAM,OACJ,SAAS,WAAW,IAChB,WACA,OAAO,GAAG,UAAU,WAAW,OAAO,QAAQ,EAAE,QAAQ,WAAW,KAAK,SAAS,kBAAkB,OAAO;IAEhH,UAAU,KAAK,WAAW,CAAC;IAC3B,MAAM,MAAM,WAAW,OAAO,KAAK,IAAK,QAAQ;IAEhD,UACE,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,QAAQ,QAAQ,KACzD,IAAI,EAAE,cAAc,QAAQ,YAC5B,EAAE,eAAe,IAAI,EAAE,OAAO,CAClC;IACA,eAAe,OAAO,OAAO,oBAC3B,EAAE,wBAAwB,OAAO,YACnC,CAAC,CAAC,IAAI,EAAE,aAAa;IACrB,qBAAqB,OAAO,OAAO,oBACjC,EAAE,wBAAwB,OAAO,kBACnC,CAAC,CAAC,IAAI,EAAE,mBAAmB;IAC3B,UACE,SAAS,YAAY,MAClB,UACC,MAAM,iBAAiB,gBAAgB,MAAM,aAAa,kBAC9D,CACF;GACF;GACA,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,SAAS,OACd,wBACA,IAAI,IAAI;IACN,SAAS,mBAAmB,QAAQ,UAAU,QAAQ;IACtD,GAAG,GAAG,IAAI,KAAK;IACf,GAAG,wBAAwB,WAAW,KAAK,SAAS,oBAAoB,QAAQ,UAAU,aAAa,cAAc,kBAAkB,EAAE;IACzI,GAAG,wBAAwB,SAAS,UAAU,KAAK,SAAS,SAAS,eAAe,aAAa,QAAQ,QAAQ,EAAE;GACrH,CAAC,CACH;GAEF,MAAM,SAAS,OAAO,OAAO,aAAa,OAAO,OAAO,EAAE,uBAAuB,CAAC,CAAC,CAAC;IAClF,UAAU,QAAQ;IAClB,UAAU,SAAS;IACnB;IACA;IACA;IACA,aAAa,OAAO,uBAAuB,QAAQ,SAAS,QAAQ,OAAO;GAC7E,CAAC;GAED,OAAO,OAAO,mBACZ;IAAE,MAAM;IAAU,YAAY;IAAQ;GAAQ,GAC9C,OACF;EACF,CAAC,CACH;EACF,iBAAiB,aACf,KACE,OAAO,cACL,MAAM,eAAe,EAAE,kBAAkB,EAAE,oBAAoB,QAAQ,CAAC,CAC1E,CACF;EACF,SAAS,UAAU,YACjB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,UAAU;GAEnF,MAAM,gBAAgB,EAAE,kBACtB,EAAE,0BACF,SAAS,aACX;GAEA,MAAM,eAAe,EAAE,kBACrB,2BACA,SAAS,YACX;GAEA,UACE,aAAa,YAAY,uBACvB,aAAa,8BAA8B,eAC1C,QAAQ,wBAAwB,6BAC5B,aAAa,qBAAqB,eACjC,aAAa,0BAA0B,KACxC,aAAa,qBAAqB,kBACjC,aAAa,wBAAwB,IACvC,aAAa,qBAAqB,2BAC1C;GAEA,MAAM,UAAU,OAAO,SAAS,QAAQ,SAAS,SAAS,WAAW,UAAU,KAAA,CAAS;GACxF,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;GAEhF,IAAI,YAAY,KAAA,KAAa,CAAC,aAAa,QAAQ,UAAU,SAAS,QAAQ,GAC5E,OAAO,OAAO,SAAS;GAEzB,MAAM,MAAM,OAAO,iBAAiB,SAAS,QAAQ;GAErD,MAAM,SAAS,oBACb,QAAQ,UACR,KACA,SAAS,cACT,SAAS,kBACX;GAEA,MAAM,2BAAW,IAAI,IAGnB;GAEF,UAAU,QAAQ,YAAY,UAAU,EAAE;GAE1C,MAAM,UAAU,QAAQ,YAAY,KAAK,YAAY;IACnD;IACA,OAAO,OAAO,OAAO,KAAK;GAC5B,EAAE;GAIF,UAAU,QAAQ,QAAQ,OAAO,UAAU,QAAQ,MAAM,MAAM,KAAK,QAAQ,CAAC,KAAK,IAAI;GAEtF,MAAM,WAAW,QAAQ,KAAK,EAAE,QAAQ,SAAS,WAAW;IAC1D,MAAM,SAAS,QAAQ,SAAS,OAAO,UACrC,MAAM,MAAM,KAAK,KACd,KAAK,YACJ,GAAG,GAAG,UAAU,SAAS,MAAM,eAAe,GAAG,IAAI,GAAG,WAAW,MAAM,MAAM,eAAe,GAAG,EAAE,QAAQ,MAAM,MAAM,KAAK,eAAe,MAAM,IAAI,UAAU,MAAM,GAAG,SAAS,GACrL,CACF;IAGA,OAAO,GAAG,yBAAyB,IAAI,QAAQ,OAAO,MAAM,CAAC,EAAE,0CAA0C,IAAI,KAAK,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,QAAQ,MAAM,KAAK;sBAChJ,MAAM,OAAO,OAAO,SAAS,EAAE,KAAK,MAAM,MAAM,OAAO,WAAW,QAAQ,QAAQ,EAAE,OAAO,OAAO,WAAW,OAAO,UAAU,QAAQ,QAAQ,CAAC,EAAE;yBAC9I,MAAM,OAAO,OAAO,YAAY,EAAE,gBAAgB,IAAI,YAAY,QAAQ;GACzF,CAAC;GAED,MAAM,UAAU,IAAI,IAAI,CACtB,SAAS,mBAAmB,QAAQ,UAAU,QAAQ,QAAQ,GAC9D,GAAG,wBAAwB,WAAW,KAAK,SAAS,OAAO,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,QAAQ,GAAG,WAAW,MAAM,EAAE,UAAU,SAAS,QAAQ,CAAC,EAAE,EACtK,CAAC;GAED,MAAM,QAAQ,QAAQ,SAAS,OAAO,UACpC,MAAM,MAAM,KAAK,KACd,KAAK,YACJ,GAAG,WAAW,MAAM,MAAM,eAAe,GAAG,EAAE,QAAQ,MAAM,MAAM,KAAK,mBAAmB,IAAI,UAAU,MAAM,GAAG,SAAS,GAC9H,CACF;GAEA,MAAM,WAAW,GAAG,yCAAyC,QAAQ,uCAAuC,MAAM,WAAW,IAAI,GAAG,KAAK,GAAG,KAAK,IAAI,KAAK,MAAM,KAAK,CAAC,CAAC,KAAK;GAC5K,MAAM,aAAa,OAAO,GAAG,GAAG,IAAI,KAAK,eAAe,KAAK,CAAC,CAAC,CAAC,UAAU,GAAG,QAAQ,CAAC;GACtF,MAAM,WAAW,WAAW,MAAM,QAAQ,OAAO,IAAI,aAAa,MAAM,EAAE;GAE1E,UAAU,aAAa,KAAA,CAAS;GAChC,IAAI,OAAO,SAAS,cAAc,MAAM,GAAG,OAAO,OAAO,SAAS;GAElE,MAAM,yBAAS,IAAI,IAAoB;GAEvC,KAAK,MAAM,OAAO,YAAY;IAC5B,MAAM,SAAS,OAAO,OAAO,aAAa,OAAO,GAAG,CAAC,CAAC,OAAO,IAAI,aAAa,CAAC;IAE/E,IAAI,WAAW,IAAI;IACnB,MAAM,QAAQ,QAAQ;IAEtB,UAAU,UAAU,KAAA,CAAS;IAC7B,MAAM,SAAS,OAAO,IAAI,MAAM,KAAK,KAAK;IAE1C,UAAU,SAAS,EAAE;IACrB,OAAO,IAAI,QAAQ,KAAK;IACxB,MAAM,EAAE,QAAQ,UAAU;IAC1B,MAAM,UAAU,OAAO,OAAO,MAAM,OAAO,KAAK,UAAU,OAAO,EAAE,CAAC;IAEpE,IAAI,YAAY,KAAA,GAAW;IAC3B,MAAM,SAAS,OAAO,OAAO,aAAa,oBAAoB,CAAC,CAAC,OAAO;IACvE,MAAM,OAAO;KAAE,GAAG;KAAQ,SAAS,CAAC,GAAG,IAAI,IAAI,OAAO,OAAO,CAAC,CAAC,CAAC,KAAK;IAAE;IAEvE,IACE,KAAK,iBAAiB,SAAS,gBAC/B,QAAQ,SAAS,YAAY,MAC1B,SACC,KAAK,iBAAiB,KAAK,gBAAgB,KAAK,aAAa,KAAK,QACtE,GACA;KACA,MAAM,YAAY,GAAG,wBAAwB,MAAM,KAAK;oBAClD,MAAM,OAAO,OAAO,SAAS,EAAE,KAAK,MAAM,MAAM,OAAO,WAAW,QAAQ,QAAQ,EAAE;wBAChF,aAAa,KAAK,MAAM,OAAO,OAAO,YAAY,GAAG,MAAM,MAAM,OAAO,cAAc,KAAK,YAAY,CAAC,EAAE;wBAC1G,aAAa,KAAK,MAAM,OAAO,OAAO,QAAQ,GAAG,MAAM,MAAM,OAAO,UAAU,KAAK,QAAQ,CAAC,EAAE;wBAC9F,OAAO,WAAW,OAAO,UAAU,QAAQ,QAAQ,CAAC,EAAE;KAEhE,MAAM,WAAW,SAAS,IAAI,KAAK,YAAY;KAE/C,IAAI,aAAa,KAAA,GACf,SAAS,IAAI,KAAK,cAAc;MAAE;MAAM,YAAY,CAAC,SAAS;KAAE,CAAC;UAC9D;MACH,MAAM,SAAS,OAAO,aACpB,OAAO,eAAe,OAAO,YAAY,oBAAoB,CAAC,CAChE;MAEA,WAAW,OAAO,OAAO,SAAS,IAAI,QAAQ,OAAO,OAAO,IAAI,EAAE;MAClE,SAAS,WAAW,KAAK,SAAS;KACpC;IACF;GACF;GACA,MAAM,UAAU,CAAC,GAAG,SAAS,OAAO,CAAC;GACrC,MAAM,QAAQ,QAAQ,KAAK,UAAU,MAAM,IAAI;GAC/C,MAAM,cAAc,OAAO,uBAAuB,QAAQ,SAAS,QAAQ,OAAO;GAElF,IAAI,CAAC,MAAM,MAAM,SAAS,KAAK,aAAa,KAAK,CAAC,UAAU,OAAO,WAAW,GAC5E,OAAO,OAAO,mBAAmB,EAAE,MAAM,mBAAmB,GAAG,OAAO;GAExE,MAAM,WAAW,UAAoC,gBAAgB,MAAM,UAAU;GAIrF,MAAM,YAAY,IAAI,IAAI,CACxB,gBAAgB,QAAQ,QAAQ,UAAU,MAAM,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,GAChF,gBACE,YAAY,aAAa,KAAK,gBAC5B,IAAI,IAAI;IACN,GAAG,YAAY,QAAQ,KAAK,WAC1B,gBACE,QAAQ,QAAQ,UAAU,MAAM,KAAK,QAAQ,SAAS,MAAM,CAAC,CAAC,CAAC,IAAI,OAAO,CAC5E,CACF;IACA,GAAG,IAAI,IAAI,KAAK,OAAO,KAAK,CAAC,CAAC,QAAQ,KAAK,UAAU,GAAG,aAAa,QAAQ,KAAK,EAAE,mBAAmB,CAAC,EAAE,OAAO,YAAY;IAC7H,gBACE,QACG,QACE,WACE,CAAC,YAAY,gBAAgB,MAAM,KAAK,kBACxC,CAAC,YAAY,qBAAqB,MAAM,KAAK,kBAClD,CAAC,CACA,IAAI,OAAO,CAChB;GACF,CAAC,CACH,CACF,CACF,CAAC;GAED,MAAM,WAAW,IAAI,IAAI;IACvB,SAAS,iBAAiB,QAAQ,UAAU,QAAQ,QAAQ;IAC5D,SAAS,gBAAgB,QAAQ,UAAU,QAAQ,QAAQ;IAC3D,GAAG,GAAG,IAAI,KAAK,cAAc;IAC7B;GACF,CAAC;GAED,IAAI,UAAU,KAAA,GACZ,OAAO,SAAS,OACd,IAAI,IAAI;IACN,SAAS,mBAAmB,QAAQ,UAAU,QAAQ,QAAQ;IAC9D,GAAG,GAAG,IAAI,KAAK,cAAc;IAC7B;GACF,CAAC,CACH;GAEF,MAAM,uBAAuB,QAAQ,QAAQ,qBAC3C,QAAQ,SAAS,gBACnB;GAEA,UAAU,yBAAyB,QAAQ,SAAS,gBAAgB;GACpE,MAAM,UAAU,SAAS;GAEzB,WACG,OAAO,SAAS,OAAO,GAAG,GAAG,QAAQ,OAAO,GAAG,QAAQ,QAAQ,mBAAmB,qBAAqB,CAAC,EAAE;gBACvG,QAAQ,OAAO,QAAQ,QAAQ,EAAE,EAAE,KAAK,QAAQ,MAAM,QAAQ,QAAQ,IAAI,QAAQ,QAAQ,EAAE,OAAO,UAAU,OAC/G,CACJ;GACA,WACG,OAAO,SAAS,OAAO,GAAG,eAAe,WAAW,KAAK,SAAS,QAAQ,OAAO,CACpF;GACA,WACG,OAAO,SAAS,OAAO,GAAG,eAAe,UAAU,KAAK;gBACrD,UAAU,OAAO,EAAE,SAAS,EAAE,KAAK,UAAU,MAAM,EAAE,WAAW,QAAQ,QAAQ,EAAE;gBAClF,aAAa,KAAK,UAAU,OAAO,EAAE,YAAY,GAAG,UAAU,MAAM,EAAE,cAAc,SAAS,YAAY,CAAC,EAAE;gBAC5G,aAAa,KAAK,UAAU,OAAO,EAAE,QAAQ,GAAG,UAAU,MAAM,EAAE,UAAU,SAAS,kBAAkB,CAAC,GAAG,OAC7G,CACJ;GAEA,MAAM,UAAU;IACd,WAAW,QAAQ;IACnB,UAAU,QAAQ;IAClB,qBAAqB,SAAS;GAChC;GAEA,UAAU,QAAQ,QAAQ,UAAU,EAAE;GACtC,MAAM,SAAS,CAAC;GAEhB,KAAK,MAAM,UAAU,QAAQ,SAAS;IACpC,MAAM,QAAQ,OAAO,OAAO,KAAK;IAEjC,MAAM,YAAY,IAAI,IAAI,CACxB,GAAG,GAAG,MAAM,OAAO,OAAO,SAAS,EAAE,KAAK,MAAM,MAAM,OAAO,WAAW,QAAQ,QAAQ,KACxF,OAAO,WAAW,OAAO,UAAU,OAAO,CAAC,CAC7C,CAAC;IAED,MAAM,WAAW,GAAG,eAAe,MAAM,KAAK,SAAS;IAGvD,OAAO,KAAK,GAAG,4BAA4B,MAAM,KAAK,SAAS,UAAU,EAAE;IAC3E,OAAO,SAAS,QAAQ,QAAQ;GAClC;GAEA,MAAM,aAAa,IAAI,GAAG,CACxB,GAAG,wBAAwB,WAAW,KAAK,SAAS,aAAa,KAAK,WAAW,OAAO,EAAE,WAAW,GAAG,WAAW,MAAM,EAAE,aAAa,GAAG,CAAC,EAAE,IAC9I,OAAO,WACL,QAAQ,gBAAgB;IAAE,aAAa;IAAK,WAAW,QAAQ;GAAS,CAAC,CAC3E,CACF,CAAC;GAED,OAAO,SAAS,iBAAiB,KAAK,QAAQ,UAAU,UAAU;GAElE,MAAM,WAAW;IACf,GAAG,QAAQ;IACX,kBAAkB;IAClB,aAAa,QAAQ,SAAS,YAAY,QACvC,SAAS,KAAK,iBAAiB,SAAS,YAC3C;GACF;GAEA,OAAO,SAAS,OACd,0BACA,IAAI,IAAI;IACN,SAAS,mBAAmB,QAAQ,UAAU,QAAQ;IACtD,GAAG,GAAG,IAAI,KAAK,cAAc;IAC7B;IACA,GAAG,4BAA4B,WAAW,KAAK,SAAS,OAAO;IAC/D,GAAG;GACL,CAAC,CACH;GAEA,OAAO,OAAO,mBACZ;IACE,MAAM;IACN,QAAQ;KAAE,MAAM;KAAY,cAAc,SAAS;KAAc;IAAa;GAChF,GACA,OACF;EACF,CAAC,CACH;EACF,UAAU,UAAU,YAClB,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,mBAAmB,QAAQ;GAE/D,OAAO,OAAO,mBACZ,OAAO,KAAK,QAAQ,MAAM,UAAU,MAAM,KAAK,GAC/C,OACF;EACF,CAAC,GACD,WACF;CAGqC,EAAE;AAC7C,CAAC"}

package/dist/internal/oauth/native-connected.d.mts

@@ -2,8 +2,8 @@ import { NativeSqlTables } from "../native-sql-table.mjs";
 import { OAuthNativeConnectedMapping } from "./native-connected-state.mjs";
 import { Crypto, Effect } from "effect";
 import { LifecycleHooks } from "@yielded/auth/Hooks";
-import { SqlClient } from "effect/sql/SqlClient";
 import * as M from "@yielded/auth/OAuth";
+import { SqlClient } from "effect/sql/SqlClient";
 //#region src/internal/oauth/native-connected.d.ts
 export declare const makeNativeOAuthConnectedServices: (tables: NativeSqlTables, mapping: OAuthNativeConnectedMapping, batch?: {
   readonly client: SqlClient;

package/dist/internal/oauth/native-connected.mjs

@@ -3,9 +3,9 @@ import { CurrentSqlCommit, SqlBatchCommit, makeSqlCommitExecutor } from "../sql-
 import { cleanupSqlRows } from "../sql-cleanup.mjs";
 import { makeConditionalSqlInsert } from "../session-native-record.mjs";
 import { invariant, oauthIdentityKey, sameIdentity, sameRevision, storage, unavailable } from "./state.mjs";
+import { connectedSummary, makeOAuthNativeConnectedState, validConnectedMetadata } from "./native-connected-state.mjs";
 import { makeOAuthNativeFlow } from "./native-flow.mjs";
 import { prepareOAuthNative } from "./native-sign-in.mjs";
-import { connectedSummary, makeOAuthNativeConnectedState, validConnectedMetadata } from "./native-connected-state.mjs";
 import { Crypto, Effect, Option, Schema } from "effect";
 import * as M from "@yielded/auth/OAuth";
 import * as Base64Url from "effect/encoding/Base64Url";

package/dist/internal/oauth/native-registration.mjs

@@ -152,6 +152,7 @@ const makeNativeOAuthRegistrationServices = Effect.fnUntraced(function* (tables,
 	};
 	const read = (effect) => executor.read(Effect.provideService(effect, Crypto.Crypto, crypto));
 	return { registrationAuthority: {
+		authentication: "first-confirmed-registration",
 		read: (access) => read(Effect.map(state.read(M.snapshotOAuthSync(M.OAuthRegistrationAccess, access)), (value) => value?.inspection)),
 		inspect: (input) => read(Effect.gen(function* () {
 			const payload = yield* Schema.encodeEffect(application)(input.registration);
@@ -213,6 +214,7 @@ const makeNativeOAuthRegistrationServices = Effect.fnUntraced(function* (tables,
 				]);
 				let admitted = inspection.eligible && (batch === void 0 || (yield* sql`select 1 where ${eligible}`).length === 1);
 				let final = horizon(expected);
+				let authentication;
 				if (admitted) {
 					const nativeId = yield* mapping.allocateSubjectId;
 					const subjectId = yield* mapping.subjectId.toSubject(nativeId);
@@ -281,17 +283,23 @@ const makeNativeOAuthRegistrationServices = Effect.fnUntraced(function* (tables,
 						};
 						invariant(a.isActiveStatus(factor[a.status]));
 						yield* state.change(authority.insert(factor));
-						final = sql.and([
-							horizon(expected),
-							tables.expression(mapping.eligibility.postcondition(policy)),
-							mutation.authorityCondition(nativeId, {
+						authentication = M.snapshotOAuthSync(M.OAuthRegistrationAuthentication, {
+							intent: expected,
+							credentialId,
+							credentialRevision: revision,
+							revision: {
 								subjectId,
 								securityRevision: revision,
 								credentials: [{
 									credentialId,
 									revision
 								}]
-							}),
+							}
+						});
+						final = sql.and([
+							horizon(expected),
+							tables.expression(mapping.eligibility.postcondition(policy)),
+							mutation.authorityCondition(nativeId, authentication.revision),
 							sql`exists(select 1 from ${credential.name} where ${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)} and ${exactSqlText(sql, credential.column(c.credentialId), credential.value(c.credentialId, credentialId))} and ${exactSqlText(sql, credential.column(c.credentialRevision), credential.value(c.credentialRevision, revision))} and ${exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, found.identityKey))} and ${tables.expression(c.activeCondition)})`,
 							sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(found.identityKey, nativeId)})`
 						]);
@@ -310,10 +318,13 @@ const makeNativeOAuthRegistrationServices = Effect.fnUntraced(function* (tables,
 					sql`exists(select 1 from ${intent.name} where ${state.key(access.moduleId, access.reference)} and ${state.exact(i.snapshot, snapshot)})`,
 					sql`${now} < ${expected.expiresAtMillis}`
 				]));
-				return yield* prepareOAuthNative(admitted ? {
+				if (!admitted) return yield* rejected();
+				invariant(authentication !== void 0);
+				return yield* prepareOAuthNative({
 					_tag: "Registered",
-					replayed: false
-				} : { _tag: "Rejected" }, prepare);
+					replayed: false,
+					authentication
+				}, prepare);
 			}));
 		})).pipe(Effect.flatten),
 		cleanup: (input, prepare) => run(Effect.gen(function* () {

package/dist/internal/oauth/native-registration.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"native-registration.mjs","names":[],"sources":["../../../src/internal/oauth/native-registration.ts"],"sourcesContent":["import type { LifecycleHooks } from \"@yielded/auth/Hooks\";\nimport * as M from \"@yielded/auth/OAuth\";\nimport { Crypto, Effect, Option, Schema } from \"effect\";\nimport { SqlClient } from \"effect/sql\";\nimport type { Fragment } from \"effect/sql/Statement\";\n\nimport { sqlBatchAssertion } from \"../d1-planning\";\nimport type {\n  OAuthRegistrationAuthority,\n  OAuthRegistrationIntentMapping,\n  OAuthRegistrationMapping,\n} from \"../models/oauth-model\";\nimport type { NativeSqlTables } from \"../native-sql-table\";\nimport { makeConditionalSqlInsert } from \"../session-native-record\";\nimport { exactSqlText, executeSqlChange } from \"../sql-change\";\nimport { cleanupSqlRows } from \"../sql-cleanup\";\nimport {\n  appendSqlBatchStatement,\n  CurrentSqlCommit,\n  makeSqlCommitExecutor,\n  registerSqlBatchPostcondition,\n  registerSqlPostcondition,\n  SqlBatchCommit,\n} from \"../sql-commit\";\nimport type { SqlExpression, TableModel } from \"../table-model\";\nimport { makeOAuthNativeMutation } from \"./native-mutation\";\nimport { prepareOAuthNative } from \"./native-sign-in\";\nimport { invariant, oauthIdentityKey, storage, unavailable } from \"./state\";\n\n// Physical metadata is validated at the driver boundary.\nexport type OAuthNativeRegistrationIntentMapping = OAuthRegistrationIntentMapping<\n  TableModel,\n  TableModel,\n  unknown,\n  SqlExpression\n>;\n\nexport type OAuthNativeRegistrationMapping<Registration> = OAuthRegistrationMapping<\n  Registration,\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  unknown,\n  SqlExpression\n>;\n\nconst makeIntent = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: Pick<OAuthNativeRegistrationIntentMapping, \"intent\" | \"clock\" | \"ownership\">,\n  batch: boolean,\n) {\n  const sql = (yield* SqlClient.SqlClient).withoutTransforms();\n  const intent = tables(mapping.intent.table);\n  const ownership = tables(mapping.ownership.table);\n  const i = mapping.intent;\n  const o = mapping.ownership;\n  const stored = storage(M.OAuthRegistrationInspection);\n  const intentStored = storage(M.OAuthRegistrationIntent);\n  const now = tables.expression(mapping.clock.engineNowMillis);\n\n  const exact = (key: string, value: unknown) =>\n    exactSqlText(sql, intent.column(key), intent.value(key, value));\n\n  const key = (moduleId: string, reference: string) =>\n    sql.and([exact(i.moduleId, moduleId), exact(i.reference, reference)]);\n\n  const horizon = (value: M.OAuthRegistrationIntent) =>\n    sql`${now} >= ${value.issuedAtMillis} and ${now} < ${value.expiresAtMillis}`;\n\n  const unowned = (identityKey: string) =>\n    sql`not exists(select 1 from ${ownership.name} where ${exactSqlText(sql, ownership.column(o.identityKey), ownership.value(o.identityKey, identityKey))})`;\n\n  const read = Effect.fnUntraced(function* (access: M.OAuthRegistrationAccess) {\n    const rows =\n      yield* sql`select ${intent.fields(\"intent_\")}, ${now} as engine_now from ${intent.name} where ${key(access.moduleId, access.reference)}`;\n\n    invariant(rows.length <= 1);\n    if (rows[0] === undefined) return undefined;\n    const row = intent.decode(rows[0], \"intent_\");\n    const encoded = row[i.snapshot];\n\n    invariant(typeof encoded === \"string\");\n    const inspection = stored.decode(encoded);\n    const value = inspection.intent;\n    const context = value.context;\n    const identityKey = yield* oauthIdentityKey(value.identity);\n\n    invariant(\n      row[i.moduleId] === context.moduleId &&\n        row[i.reference] === value.reference &&\n        row[i.flowId] === context.flowId &&\n        row[i.identityKey] === identityKey &&\n        mapping.clock.decodeInstant(row[i.expiresAt]) === value.expiresAtMillis &&\n        mapping.clock.decodeInstant(row[i.retentionUntil]) === value.retentionUntilMillis,\n    );\n    const engineNow = yield* Schema.decodeEffect(Schema.Int)(Number(rows[0].engine_now));\n\n    if (\n      access.moduleId !== context.moduleId ||\n      access.flowId !== context.flowId ||\n      access.reference !== value.reference ||\n      access.requestBindingVerifier !== context.requestBindingVerifier ||\n      access.requestBindingExpiresAtMillis !== context.requestBindingExpiresAtMillis ||\n      access.credentialDigest !== value.credentialDigest ||\n      engineNow < value.issuedAtMillis ||\n      // A bound decision stays replayable through retention after the intent expires.\n      engineNow >=\n        (inspection.application._tag === \"Unbound\"\n          ? value.expiresAtMillis\n          : value.retentionUntilMillis)\n    )\n      return undefined;\n\n    return { inspection, encoded, identityKey, engineNow };\n  });\n\n  const finish = (name: string, condition: Fragment) =>\n    batch\n      ? registerSqlBatchPostcondition({ name, statement: sqlBatchAssertion(sql, condition) })\n      : registerSqlPostcondition({\n          name,\n          check: Effect.gen(function* () {\n            invariant((yield* sql`select 1 where ${condition}`).length === 1);\n          }),\n        });\n\n  const change = Effect.fnUntraced(function* (statement: Fragment) {\n    if (batch) {\n      yield* appendSqlBatchStatement(sql`${statement}`);\n      yield* appendSqlBatchStatement(sqlBatchAssertion(sql, sql`changes() = 1`));\n    } else invariant((yield* executeSqlChange(sql, statement)) === 1);\n  });\n\n  const cleanup = (moduleId: string, limit: number) =>\n    cleanupSqlRows(\n      [\n        {\n          table: intent,\n          keys: [i.moduleId, i.reference],\n          due: sql`${exact(i.moduleId, moduleId)} and ${tables.expression(mapping.clock.toMillis(intent.column(i.retentionUntil)))} <= ${now}`,\n          order: [intent.column(i.retentionUntil), intent.column(i.reference)],\n        },\n      ],\n      limit,\n      batch,\n    );\n\n  return {\n    sql,\n    now,\n    intent,\n    stored,\n    intentStored,\n    exact,\n    key,\n    horizon,\n    unowned,\n    read,\n    finish,\n    change,\n    cleanup,\n  };\n});\n\nexport const makeNativeOAuthRegistrationIntentServices = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: OAuthNativeRegistrationIntentMapping,\n  batch?: SqlBatchCommit[\"Service\"],\n): Effect.fn.Return<\n  { readonly oauthRegistrationIntents: M.OAuthRegistrationIntents[\"Service\"] },\n  M.OAuthUnavailable,\n  SqlClient.SqlClient | LifecycleHooks | Crypto.Crypto\n> {\n  const conditionalInsert = yield* makeConditionalSqlInsert();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n  const state = yield* makeIntent(tables, mapping, batch !== undefined);\n  const { sql, intent, unowned, horizon, stored } = state;\n  const i = mapping.intent;\n\n  const run = <A, E, R>(effect: Effect.Effect<A, E, R>) => {\n    const work = Effect.provideService(effect, Crypto.Crypto, crypto);\n\n    return batch === undefined\n      ? executor.run(work, \"statement\")\n      : executor.batch(work).pipe(Effect.provideService(SqlBatchCommit, batch));\n  };\n\n  const service: M.OAuthRegistrationIntents[\"Service\"] = {\n    issue: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const value = M.snapshotOAuthSync(M.OAuthRegistrationIntent, original.intent);\n          const context = value.context;\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (\n            value.identity.provider !== context.provider ||\n            value.identity.issuer !== context.issuer ||\n            value.issuedAtMillis < context.issuedAtMillis ||\n            value.verifiedAtMillis > value.issuedAtMillis ||\n            value.issuedAtMillis >= value.expiresAtMillis ||\n            value.expiresAtMillis > context.requestBindingExpiresAtMillis ||\n            value.retentionUntilMillis < value.expiresAtMillis\n          )\n            return yield* rejected();\n          const identityKey = yield* oauthIdentityKey(value.identity);\n\n          const eligible = sql.and([\n            unowned(identityKey),\n            horizon(value),\n            tables.expression(mapping.eligible(value)),\n          ]);\n\n          const snapshot = stored.encode({ intent: value, application: { _tag: \"Unbound\" } });\n\n          const values = {\n            ...i.encodeInsert(value),\n            [i.moduleId]: context.moduleId,\n            [i.reference]: value.reference,\n            [i.flowId]: context.flowId,\n            [i.identityKey]: identityKey,\n            [i.snapshot]: snapshot,\n            [i.expiresAt]: mapping.clock.encodeInstant(value.expiresAtMillis),\n            [i.retentionUntil]: mapping.clock.encodeInstant(value.retentionUntilMillis),\n          };\n\n          const statement = conditionalInsert(intent, values, eligible);\n\n          if (batch !== undefined) {\n            // D1 classifies eligibility before staging, as the row count does for\n            // interactive owners; the batch still asserts the conditional insert.\n            if ((yield* sql`select 1 where ${eligible}`).length === 0) return yield* rejected();\n            yield* state.change(statement);\n          } else if ((yield* executeSqlChange(sql, statement)) !== 1) return yield* rejected();\n          if (Option.isSome(external))\n            yield* state.finish(\n              \"oauth-registration-intent-issued\",\n              sql.and([\n                eligible,\n                sql`exists(select 1 from ${intent.name} where ${state.key(context.moduleId, value.reference)} and ${state.exact(i.snapshot, snapshot)})`,\n              ]),\n            );\n\n          return yield* prepareOAuthNative({ _tag: \"RegistrationIssued\", intent: value }, prepare);\n        }),\n      ),\n  };\n\n  return { oauthRegistrationIntents: service };\n});\n\nexport const makeNativeOAuthRegistrationServices = Effect.fnUntraced(function* <Registration>(\n  tables: NativeSqlTables,\n  mapping: OAuthNativeRegistrationMapping<Registration>,\n  batch?: SqlBatchCommit[\"Service\"],\n): Effect.fn.Return<\n  { readonly registrationAuthority: OAuthRegistrationAuthority<Registration> },\n  M.OAuthUnavailable,\n  SqlClient.SqlClient | LifecycleHooks | Crypto.Crypto\n> {\n  const conditionalInsert = yield* makeConditionalSqlInsert();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n  const state = yield* makeIntent(tables, mapping, batch !== undefined);\n  const mutation = yield* makeOAuthNativeMutation(tables, mapping, batch !== undefined);\n  const { sql, now, intent, horizon, stored } = state;\n  const i = mapping.intent;\n  const c = mapping.credential;\n  const a = mapping.authority;\n  const s = mapping.subject;\n  const credential = tables(c.table);\n  const authority = tables(a.table);\n  const subject = tables(s.table);\n  const application = Schema.fromJsonString(mapping.registration);\n\n  const run = <A, E, R>(\n    effect: Effect.Effect<A, E, R>,\n    mode: \"transaction\" | \"statement\" = \"transaction\",\n  ) => {\n    const work = Effect.provideService(effect, Crypto.Crypto, crypto);\n\n    return batch === undefined\n      ? executor.run(work, mode)\n      : executor.batch(work).pipe(Effect.provideService(SqlBatchCommit, batch));\n  };\n\n  const read = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n    executor.read(Effect.provideService(effect, Crypto.Crypto, crypto));\n\n  const service: OAuthRegistrationAuthority<Registration> = {\n    read: (access) =>\n      read(\n        Effect.map(\n          state.read(M.snapshotOAuthSync(M.OAuthRegistrationAccess, access)),\n          (value) => value?.inspection,\n        ),\n      ),\n    inspect: (input) =>\n      read(\n        Effect.gen(function* () {\n          const payload = yield* Schema.encodeEffect(application)(input.registration);\n\n          invariant(new TextEncoder().encode(payload).length <= 1048576);\n          const registration = yield* Schema.decodeEffect(application)(payload);\n\n          const result = yield* mapping.inspect({\n            intent: M.snapshotOAuthSync(M.OAuthRegistrationIntent, input.intent),\n            registration,\n          });\n\n          return {\n            ...result,\n            fingerprint: yield* Schema.decodeEffect(M.OAuthRegistrationFingerprint)(\n              result.fingerprint,\n            ),\n          };\n        }),\n      ),\n    register: (original, prepare) =>\n      read(\n        Effect.gen(function* () {\n          const access = M.snapshotOAuthSync(M.OAuthRegistrationAccess, original.access);\n          const expected = M.snapshotOAuthSync(M.OAuthRegistrationIntent, original.intent);\n          const found = yield* state.read(access);\n\n          const decide = (decision: M.OAuthRegistrationDecision) =>\n            run(prepareOAuthNative(decision, prepare), \"statement\");\n\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (\n            found === undefined ||\n            state.intentStored.encode(found.inspection.intent) !==\n              state.intentStored.encode(expected)\n          )\n            return decide({ _tag: \"Rejected\" });\n\n          const binding = M.snapshotOAuthSync(M.OAuthRegistrationInspection, {\n            intent: expected,\n            application: {\n              _tag: \"Registered\",\n              commandId: original.commandId,\n              fingerprint: original.fingerprint,\n              payload: original.payload,\n              requestId: original.requestId,\n            },\n          }).application;\n\n          invariant(binding._tag === \"Registered\");\n          // Replay comparison precedes application callbacks, allocation and writes.\n          const previous = found.inspection.application;\n\n          if (previous._tag !== \"Unbound\") {\n            if (\n              previous.commandId !== binding.commandId ||\n              previous.fingerprint !== binding.fingerprint ||\n              previous.payload !== binding.payload ||\n              previous.requestId !== binding.requestId\n            )\n              return decide({ _tag: \"Conflict\" });\n\n            return decide(\n              previous._tag === \"Registered\"\n                ? { _tag: \"Registered\", replayed: true }\n                : { _tag: \"Rejected\" },\n            );\n          }\n\n          return run(\n            Effect.gen(function* () {\n              invariant(new TextEncoder().encode(binding.payload).length <= 1048576);\n              const registration = yield* Schema.decodeEffect(application)(binding.payload);\n\n              invariant(\n                (yield* Schema.encodeEffect(application)(registration)) === binding.payload,\n              );\n              if (\n                (yield* Schema.encodeEffect(application)(original.registration)) !== binding.payload\n              )\n                return yield* rejected();\n              const inspection = yield* mapping.inspect({ intent: expected, registration });\n\n              if (inspection.fingerprint !== binding.fingerprint) return yield* rejected();\n              const policyInput = { intent: expected, registration };\n\n              const eligible = sql.and([\n                state.unowned(found.identityKey),\n                tables.expression(mapping.eligibility.admission(policyInput)),\n                horizon(expected),\n              ]);\n\n              let admitted =\n                inspection.eligible &&\n                (batch === undefined || (yield* sql`select 1 where ${eligible}`).length === 1);\n\n              let final: Fragment = horizon(expected);\n\n              if (admitted) {\n                const nativeId = yield* mapping.allocateSubjectId;\n                const subjectId = yield* mapping.subjectId.toSubject(nativeId);\n\n                invariant(\n                  mapping.subjectId.equals(nativeId, yield* mapping.subjectId.toNative(subjectId)),\n                );\n\n                const credentialId = yield* Schema.decodeEffect(\n                  M.OAuthCredentialSnapshot.fields.credentialId,\n                )(yield* mapping.allocateCredentialId);\n\n                const revision = yield* Schema.decodeEffect(\n                  M.OAuthCredentialSnapshot.fields.credentialRevision,\n                )(yield* mapping.allocateRevision);\n\n                const subjectValues = {\n                  ...mapping.encodeSubjectInsert(\n                    { ...policyInput, requestId: binding.requestId },\n                    { subjectId: nativeId, securityRevision: revision },\n                  ),\n                  [s.id]: nativeId,\n                  [s.securityRevision]: revision,\n                };\n\n                invariant(s.isActiveStatus(subjectValues[s.status]));\n                // A newly inserted subject is the first lock. The exact unbound intent\n                // CAS below arbitrates concurrent registration; a loser rolls back all\n                // local rows and never repeats provisioning automatically.\n                const creation = conditionalInsert(subject, subjectValues, eligible);\n\n                if (batch !== undefined) yield* state.change(creation);\n                else admitted = (yield* executeSqlChange(sql, creation)) === 1;\n                if (admitted) {\n                  const policy = { ...policyInput, nativeSubjectId: nativeId };\n\n                  invariant((mapping.eligibility.guards?.length ?? 0) <= 32);\n                  for (const guard of mapping.eligibility.guards ?? []) {\n                    const table = tables(guard.table);\n\n                    const rows =\n                      yield* sql`select ${table.column(guard.orderBy)} from ${table.name} where ${tables.expression(guard.condition(policy))} order by ${table.column(guard.orderBy)} limit 65 ${batch === undefined ? sql.onDialectOrElse({ sqlite: () => sql``, orElse: () => sql`for update` }) : sql``}`;\n\n                    invariant(rows.length > 0 && rows.length <= 64);\n                  }\n\n                  invariant(\n                    (yield* mutation.ensureOwnership(expected.identity, nativeId)) ===\n                      found.identityKey,\n                  );\n\n                  const values = {\n                    ...c.encodeInsert({\n                      moduleId: expected.context.moduleId,\n                      subjectId: nativeId,\n                      identityKey: found.identityKey,\n                      credentialId,\n                      credentialRevision: revision,\n                    }),\n                    [c.moduleId]: expected.context.moduleId,\n                    [c.subjectId]: nativeId,\n                    [c.identityKey]: found.identityKey,\n                    [c.credentialId]: credentialId,\n                    [c.credentialRevision]: revision,\n                  };\n\n                  invariant(c.isActiveStatus(values[c.status]));\n                  yield* state.change(\n                    conditionalInsert(\n                      credential,\n                      values,\n                      sql.and([\n                        tables.expression(mapping.eligibility.admission(policy)),\n                        horizon(expected),\n                        sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(found.identityKey, nativeId)})`,\n                      ]),\n                    ),\n                  );\n\n                  const factor = {\n                    ...a.encodeInsert({ subjectId: nativeId, credentialId, revision }),\n                    [a.subjectId]: nativeId,\n                    [a.credentialId]: credentialId,\n                    [a.revision]: revision,\n                  };\n\n                  invariant(a.isActiveStatus(factor[a.status]));\n                  yield* state.change(authority.insert(factor));\n                  final = sql.and([\n                    horizon(expected),\n                    tables.expression(mapping.eligibility.postcondition(policy)),\n                    mutation.authorityCondition(nativeId, {\n                      subjectId,\n                      securityRevision: revision,\n                      credentials: [{ credentialId, revision }],\n                    }),\n                    sql`exists(select 1 from ${credential.name} where ${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)} and ${exactSqlText(sql, credential.column(c.credentialId), credential.value(c.credentialId, credentialId))} and ${exactSqlText(sql, credential.column(c.credentialRevision), credential.value(c.credentialRevision, revision))} and ${exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, found.identityKey))} and ${tables.expression(c.activeCondition)})`,\n                    sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(found.identityKey, nativeId)})`,\n                  ]);\n                }\n              }\n\n              const snapshot = stored.encode({\n                intent: expected,\n                application: { ...binding, _tag: admitted ? \"Registered\" : \"Rejected\" },\n              });\n\n              yield* state.change(\n                sql`${intent.update({ [i.snapshot]: snapshot })} where ${state.key(access.moduleId, access.reference)} and ${state.exact(i.snapshot, found.encoded)} and ${final}`,\n              );\n              if (Option.isSome(external))\n                yield* state.finish(\n                  \"oauth-registration-outcome\",\n                  sql.and([\n                    final,\n                    sql`exists(select 1 from ${intent.name} where ${state.key(access.moduleId, access.reference)} and ${state.exact(i.snapshot, snapshot)})`,\n                    sql`${now} < ${expected.expiresAtMillis}`,\n                  ]),\n                );\n\n              return yield* prepareOAuthNative(\n                admitted ? { _tag: \"Registered\", replayed: false } : { _tag: \"Rejected\" },\n                prepare,\n              );\n            }),\n          );\n        }),\n      ).pipe(Effect.flatten),\n    cleanup: (input, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const parsed = M.snapshotOAuthSync(M.OAuthCleanupInput, input);\n\n          return yield* prepareOAuthNative(\n            yield* state.cleanup(parsed.moduleId, parsed.limit),\n            prepare,\n          );\n        }),\n      ),\n  };\n\n  return { registrationAuthority: service };\n});\n"],"mappings":";;;;;;;;;;;;AAgDA,MAAM,aAAa,OAAO,WAAW,WACnC,QACA,SACA,OACA;CACA,MAAM,OAAO,OAAO,UAAU,UAAA,CAAW,kBAAkB;CAC3D,MAAM,SAAS,OAAO,QAAQ,OAAO,KAAK;CAC1C,MAAM,YAAY,OAAO,QAAQ,UAAU,KAAK;CAChD,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,SAAS,QAAQ,EAAE,2BAA2B;CACpD,MAAM,eAAe,QAAQ,EAAE,uBAAuB;CACtD,MAAM,MAAM,OAAO,WAAW,QAAQ,MAAM,eAAe;CAE3D,MAAM,SAAS,KAAa,UAC1B,aAAa,KAAK,OAAO,OAAO,GAAG,GAAG,OAAO,MAAM,KAAK,KAAK,CAAC;CAEhE,MAAM,OAAO,UAAkB,cAC7B,IAAI,IAAI,CAAC,MAAM,EAAE,UAAU,QAAQ,GAAG,MAAM,EAAE,WAAW,SAAS,CAAC,CAAC;CAEtE,MAAM,WAAW,UACf,GAAG,GAAG,IAAI,MAAM,MAAM,eAAe,OAAO,IAAI,KAAK,MAAM;CAE7D,MAAM,WAAW,gBACf,GAAG,4BAA4B,UAAU,KAAK,SAAS,aAAa,KAAK,UAAU,OAAO,EAAE,WAAW,GAAG,UAAU,MAAM,EAAE,aAAa,WAAW,CAAC,EAAE;CAEzJ,MAAM,OAAO,OAAO,WAAW,WAAW,QAAmC;EAC3E,MAAM,OACJ,OAAO,GAAG,UAAU,OAAO,OAAO,SAAS,EAAE,IAAI,IAAI,sBAAsB,OAAO,KAAK,SAAS,IAAI,OAAO,UAAU,OAAO,SAAS;EAEvI,UAAU,KAAK,UAAU,CAAC;EAC1B,IAAI,KAAK,OAAO,KAAA,GAAW,OAAO,KAAA;EAClC,MAAM,MAAM,OAAO,OAAO,KAAK,IAAI,SAAS;EAC5C,MAAM,UAAU,IAAI,EAAE;EAEtB,UAAU,OAAO,YAAY,QAAQ;EACrC,MAAM,aAAa,OAAO,OAAO,OAAO;EACxC,MAAM,QAAQ,WAAW;EACzB,MAAM,UAAU,MAAM;EACtB,MAAM,cAAc,OAAO,iBAAiB,MAAM,QAAQ;EAE1D,UACE,IAAI,EAAE,cAAc,QAAQ,YAC1B,IAAI,EAAE,eAAe,MAAM,aAC3B,IAAI,EAAE,YAAY,QAAQ,UAC1B,IAAI,EAAE,iBAAiB,eACvB,QAAQ,MAAM,cAAc,IAAI,EAAE,UAAU,MAAM,MAAM,mBACxD,QAAQ,MAAM,cAAc,IAAI,EAAE,eAAe,MAAM,MAAM,oBACjE;EACA,MAAM,YAAY,OAAO,OAAO,aAAa,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,UAAU,CAAC;EAEnF,IACE,OAAO,aAAa,QAAQ,YAC5B,OAAO,WAAW,QAAQ,UAC1B,OAAO,cAAc,MAAM,aAC3B,OAAO,2BAA2B,QAAQ,0BAC1C,OAAO,kCAAkC,QAAQ,iCACjD,OAAO,qBAAqB,MAAM,oBAClC,YAAY,MAAM,kBAElB,cACG,WAAW,YAAY,SAAS,YAC7B,MAAM,kBACN,MAAM,uBAEZ,OAAO,KAAA;EAET,OAAO;GAAE;GAAY;GAAS;GAAa;EAAU;CACvD,CAAC;CAED,MAAM,UAAU,MAAc,cAC5B,QACI,8BAA8B;EAAE;EAAM,WAAW,kBAAkB,KAAK,SAAS;CAAE,CAAC,IACpF,yBAAyB;EACvB;EACA,OAAO,OAAO,IAAI,aAAa;GAC7B,WAAW,OAAO,GAAG,kBAAkB,YAAA,CAAa,WAAW,CAAC;EAClE,CAAC;CACH,CAAC;CAEP,MAAM,SAAS,OAAO,WAAW,WAAW,WAAqB;EAC/D,IAAI,OAAO;GACT,OAAO,wBAAwB,GAAG,GAAG,WAAW;GAChD,OAAO,wBAAwB,kBAAkB,KAAK,GAAG,eAAe,CAAC;EAC3E,OAAO,WAAW,OAAO,iBAAiB,KAAK,SAAS,OAAO,CAAC;CAClE,CAAC;CAED,MAAM,WAAW,UAAkB,UACjC,eACE,CACE;EACE,OAAO;EACP,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS;EAC9B,KAAK,GAAG,GAAG,MAAM,EAAE,UAAU,QAAQ,EAAE,OAAO,OAAO,WAAW,QAAQ,MAAM,SAAS,OAAO,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,MAAM;EAC/H,OAAO,CAAC,OAAO,OAAO,EAAE,cAAc,GAAG,OAAO,OAAO,EAAE,SAAS,CAAC;CACrE,CACF,GACA,OACA,KACF;CAEF,OAAO;EACL;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;AACF,CAAC;AAED,MAAa,4CAA4C,OAAO,WAAW,WACzE,QACA,SACA,OAKA;CACA,MAAM,oBAAoB,OAAO,yBAAyB;CAC1D,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAC7D,MAAM,QAAQ,OAAO,WAAW,QAAQ,SAAS,UAAU,KAAA,CAAS;CACpE,MAAM,EAAE,KAAK,QAAQ,SAAS,SAAS,WAAW;CAClD,MAAM,IAAI,QAAQ;CAElB,MAAM,OAAgB,WAAmC;EACvD,MAAM,OAAO,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM;EAEhE,OAAO,UAAU,KAAA,IACb,SAAS,IAAI,MAAM,WAAW,IAC9B,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAC5E;CA+DA,OAAO,EAAE,0BAA0B,EA5DjC,QAAQ,UAAU,YAChB,IACE,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,MAAM;EAC5E,MAAM,UAAU,MAAM;EACtB,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;EAEhF,IACE,MAAM,SAAS,aAAa,QAAQ,YACpC,MAAM,SAAS,WAAW,QAAQ,UAClC,MAAM,iBAAiB,QAAQ,kBAC/B,MAAM,mBAAmB,MAAM,kBAC/B,MAAM,kBAAkB,MAAM,mBAC9B,MAAM,kBAAkB,QAAQ,iCAChC,MAAM,uBAAuB,MAAM,iBAEnC,OAAO,OAAO,SAAS;EACzB,MAAM,cAAc,OAAO,iBAAiB,MAAM,QAAQ;EAE1D,MAAM,WAAW,IAAI,IAAI;GACvB,QAAQ,WAAW;GACnB,QAAQ,KAAK;GACb,OAAO,WAAW,QAAQ,SAAS,KAAK,CAAC;EAC3C,CAAC;EAED,MAAM,WAAW,OAAO,OAAO;GAAE,QAAQ;GAAO,aAAa,EAAE,MAAM,UAAU;EAAE,CAAC;EAElF,MAAM,SAAS;GACb,GAAG,EAAE,aAAa,KAAK;IACtB,EAAE,WAAW,QAAQ;IACrB,EAAE,YAAY,MAAM;IACpB,EAAE,SAAS,QAAQ;IACnB,EAAE,cAAc;IAChB,EAAE,WAAW;IACb,EAAE,YAAY,QAAQ,MAAM,cAAc,MAAM,eAAe;IAC/D,EAAE,iBAAiB,QAAQ,MAAM,cAAc,MAAM,oBAAoB;EAC5E;EAEA,MAAM,YAAY,kBAAkB,QAAQ,QAAQ,QAAQ;EAE5D,IAAI,UAAU,KAAA,GAAW;GAGvB,KAAK,OAAO,GAAG,kBAAkB,WAAA,CAAY,WAAW,GAAG,OAAO,OAAO,SAAS;GAClF,OAAO,MAAM,OAAO,SAAS;EAC/B,OAAO,KAAK,OAAO,iBAAiB,KAAK,SAAS,OAAO,GAAG,OAAO,OAAO,SAAS;EACnF,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,MAAM,OACX,oCACA,IAAI,IAAI,CACN,UACA,GAAG,wBAAwB,OAAO,KAAK,SAAS,MAAM,IAAI,QAAQ,UAAU,MAAM,SAAS,EAAE,OAAO,MAAM,MAAM,EAAE,UAAU,QAAQ,EAAE,EACxI,CAAC,CACH;EAEF,OAAO,OAAO,mBAAmB;GAAE,MAAM;GAAsB,QAAQ;EAAM,GAAG,OAAO;CACzF,CAAC,CACH,EAGqC,EAAE;AAC7C,CAAC;AAED,MAAa,sCAAsC,OAAO,WAAW,WACnE,QACA,SACA,OAKA;CACA,MAAM,oBAAoB,OAAO,yBAAyB;CAC1D,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAC7D,MAAM,QAAQ,OAAO,WAAW,QAAQ,SAAS,UAAU,KAAA,CAAS;CACpE,MAAM,WAAW,OAAO,wBAAwB,QAAQ,SAAS,UAAU,KAAA,CAAS;CACpF,MAAM,EAAE,KAAK,KAAK,QAAQ,SAAS,WAAW;CAC9C,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,aAAa,OAAO,EAAE,KAAK;CACjC,MAAM,YAAY,OAAO,EAAE,KAAK;CAChC,MAAM,UAAU,OAAO,EAAE,KAAK;CAC9B,MAAM,cAAc,OAAO,eAAe,QAAQ,YAAY;CAE9D,MAAM,OACJ,QACA,OAAoC,kBACjC;EACH,MAAM,OAAO,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM;EAEhE,OAAO,UAAU,KAAA,IACb,SAAS,IAAI,MAAM,IAAI,IACvB,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAC5E;CAEA,MAAM,QAAiB,WACrB,SAAS,KAAK,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM,CAAC;CA2PpE,OAAO,EAAE,uBAAuB;EAxP9B,OAAO,WACL,KACE,OAAO,IACL,MAAM,KAAK,EAAE,kBAAkB,EAAE,yBAAyB,MAAM,CAAC,IAChE,UAAU,OAAO,UACpB,CACF;EACF,UAAU,UACR,KACE,OAAO,IAAI,aAAa;GACtB,MAAM,UAAU,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,MAAM,YAAY;GAE1E,UAAU,IAAI,YAAY,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,UAAU,OAAO;GAC7D,MAAM,eAAe,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,OAAO;GAEpE,MAAM,SAAS,OAAO,QAAQ,QAAQ;IACpC,QAAQ,EAAE,kBAAkB,EAAE,yBAAyB,MAAM,MAAM;IACnE;GACF,CAAC;GAED,OAAO;IACL,GAAG;IACH,aAAa,OAAO,OAAO,aAAa,EAAE,4BAA4B,CAAC,CACrE,OAAO,WACT;GACF;EACF,CAAC,CACH;EACF,WAAW,UAAU,YACnB,KACE,OAAO,IAAI,aAAa;GACtB,MAAM,SAAS,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,MAAM;GAC7E,MAAM,WAAW,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,MAAM;GAC/E,MAAM,QAAQ,OAAO,MAAM,KAAK,MAAM;GAEtC,MAAM,UAAU,aACd,IAAI,mBAAmB,UAAU,OAAO,GAAG,WAAW;GAExD,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;GAEhF,IACE,UAAU,KAAA,KACV,MAAM,aAAa,OAAO,MAAM,WAAW,MAAM,MAC/C,MAAM,aAAa,OAAO,QAAQ,GAEpC,OAAO,OAAO,EAAE,MAAM,WAAW,CAAC;GAEpC,MAAM,UAAU,EAAE,kBAAkB,EAAE,6BAA6B;IACjE,QAAQ;IACR,aAAa;KACX,MAAM;KACN,WAAW,SAAS;KACpB,aAAa,SAAS;KACtB,SAAS,SAAS;KAClB,WAAW,SAAS;IACtB;GACF,CAAC,CAAC,CAAC;GAEH,UAAU,QAAQ,SAAS,YAAY;GAEvC,MAAM,WAAW,MAAM,WAAW;GAElC,IAAI,SAAS,SAAS,WAAW;IAC/B,IACE,SAAS,cAAc,QAAQ,aAC/B,SAAS,gBAAgB,QAAQ,eACjC,SAAS,YAAY,QAAQ,WAC7B,SAAS,cAAc,QAAQ,WAE/B,OAAO,OAAO,EAAE,MAAM,WAAW,CAAC;IAEpC,OAAO,OACL,SAAS,SAAS,eACd;KAAE,MAAM;KAAc,UAAU;IAAK,IACrC,EAAE,MAAM,WAAW,CACzB;GACF;GAEA,OAAO,IACL,OAAO,IAAI,aAAa;IACtB,UAAU,IAAI,YAAY,CAAC,CAAC,OAAO,QAAQ,OAAO,CAAC,CAAC,UAAU,OAAO;IACrE,MAAM,eAAe,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,QAAQ,OAAO;IAE5E,WACG,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,YAAY,OAAO,QAAQ,OACtE;IACA,KACG,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,SAAS,YAAY,OAAO,QAAQ,SAE7E,OAAO,OAAO,SAAS;IACzB,MAAM,aAAa,OAAO,QAAQ,QAAQ;KAAE,QAAQ;KAAU;IAAa,CAAC;IAE5E,IAAI,WAAW,gBAAgB,QAAQ,aAAa,OAAO,OAAO,SAAS;IAC3E,MAAM,cAAc;KAAE,QAAQ;KAAU;IAAa;IAErD,MAAM,WAAW,IAAI,IAAI;KACvB,MAAM,QAAQ,MAAM,WAAW;KAC/B,OAAO,WAAW,QAAQ,YAAY,UAAU,WAAW,CAAC;KAC5D,QAAQ,QAAQ;IAClB,CAAC;IAED,IAAI,WACF,WAAW,aACV,UAAU,KAAA,MAAc,OAAO,GAAG,kBAAkB,WAAA,CAAY,WAAW;IAE9E,IAAI,QAAkB,QAAQ,QAAQ;IAEtC,IAAI,UAAU;KACZ,MAAM,WAAW,OAAO,QAAQ;KAChC,MAAM,YAAY,OAAO,QAAQ,UAAU,UAAU,QAAQ;KAE7D,UACE,QAAQ,UAAU,OAAO,UAAU,OAAO,QAAQ,UAAU,SAAS,SAAS,CAAC,CACjF;KAEA,MAAM,eAAe,OAAO,OAAO,aACjC,EAAE,wBAAwB,OAAO,YACnC,CAAC,CAAC,OAAO,QAAQ,oBAAoB;KAErC,MAAM,WAAW,OAAO,OAAO,aAC7B,EAAE,wBAAwB,OAAO,kBACnC,CAAC,CAAC,OAAO,QAAQ,gBAAgB;KAEjC,MAAM,gBAAgB;MACpB,GAAG,QAAQ,oBACT;OAAE,GAAG;OAAa,WAAW,QAAQ;MAAU,GAC/C;OAAE,WAAW;OAAU,kBAAkB;MAAS,CACpD;OACC,EAAE,KAAK;OACP,EAAE,mBAAmB;KACxB;KAEA,UAAU,EAAE,eAAe,cAAc,EAAE,OAAO,CAAC;KAInD,MAAM,WAAW,kBAAkB,SAAS,eAAe,QAAQ;KAEnE,IAAI,UAAU,KAAA,GAAW,OAAO,MAAM,OAAO,QAAQ;UAChD,YAAY,OAAO,iBAAiB,KAAK,QAAQ,OAAO;KAC7D,IAAI,UAAU;MACZ,MAAM,SAAS;OAAE,GAAG;OAAa,iBAAiB;MAAS;MAE3D,WAAW,QAAQ,YAAY,QAAQ,UAAU,MAAM,EAAE;MACzD,KAAK,MAAM,SAAS,QAAQ,YAAY,UAAU,CAAC,GAAG;OACpD,MAAM,QAAQ,OAAO,MAAM,KAAK;OAEhC,MAAM,OACJ,OAAO,GAAG,UAAU,MAAM,OAAO,MAAM,OAAO,EAAE,QAAQ,MAAM,KAAK,SAAS,OAAO,WAAW,MAAM,UAAU,MAAM,CAAC,EAAE,YAAY,MAAM,OAAO,MAAM,OAAO,EAAE,YAAY,UAAU,KAAA,IAAY,IAAI,gBAAgB;QAAE,cAAc,GAAG;QAAI,cAAc,GAAG;OAAa,CAAC,IAAI,GAAG;OAEpR,UAAU,KAAK,SAAS,KAAK,KAAK,UAAU,EAAE;MAChD;MAEA,WACG,OAAO,SAAS,gBAAgB,SAAS,UAAU,QAAQ,OAC1D,MAAM,WACV;MAEA,MAAM,SAAS;OACb,GAAG,EAAE,aAAa;QAChB,UAAU,SAAS,QAAQ;QAC3B,WAAW;QACX,aAAa,MAAM;QACnB;QACA,oBAAoB;OACtB,CAAC;QACA,EAAE,WAAW,SAAS,QAAQ;QAC9B,EAAE,YAAY;QACd,EAAE,cAAc,MAAM;QACtB,EAAE,eAAe;QACjB,EAAE,qBAAqB;MAC1B;MAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;MAC5C,OAAO,MAAM,OACX,kBACE,YACA,QACA,IAAI,IAAI;OACN,OAAO,WAAW,QAAQ,YAAY,UAAU,MAAM,CAAC;OACvD,QAAQ,QAAQ;OAChB,GAAG,wBAAwB,SAAS,UAAU,KAAK,SAAS,SAAS,eAAe,MAAM,aAAa,QAAQ,EAAE;MACnH,CAAC,CACH,CACF;MAEA,MAAM,SAAS;OACb,GAAG,EAAE,aAAa;QAAE,WAAW;QAAU;QAAc;OAAS,CAAC;QAChE,EAAE,YAAY;QACd,EAAE,eAAe;QACjB,EAAE,WAAW;MAChB;MAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;MAC5C,OAAO,MAAM,OAAO,UAAU,OAAO,MAAM,CAAC;MAC5C,QAAQ,IAAI,IAAI;OACd,QAAQ,QAAQ;OAChB,OAAO,WAAW,QAAQ,YAAY,cAAc,MAAM,CAAC;OAC3D,SAAS,mBAAmB,UAAU;QACpC;QACA,kBAAkB;QAClB,aAAa,CAAC;SAAE;SAAc;QAAS,CAAC;OAC1C,CAAC;OACD,GAAG,wBAAwB,WAAW,KAAK,SAAS,WAAW,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,MAAM,EAAE,WAAW,QAAQ,EAAE,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,YAAY,GAAG,WAAW,MAAM,EAAE,cAAc,YAAY,CAAC,EAAE,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,kBAAkB,GAAG,WAAW,MAAM,EAAE,oBAAoB,QAAQ,CAAC,EAAE,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,WAAW,GAAG,WAAW,MAAM,EAAE,aAAa,MAAM,WAAW,CAAC,EAAE,OAAO,OAAO,WAAW,EAAE,eAAe,EAAE;OAC3f,GAAG,wBAAwB,SAAS,UAAU,KAAK,SAAS,SAAS,eAAe,MAAM,aAAa,QAAQ,EAAE;MACnH,CAAC;KACH;IACF;IAEA,MAAM,WAAW,OAAO,OAAO;KAC7B,QAAQ;KACR,aAAa;MAAE,GAAG;MAAS,MAAM,WAAW,eAAe;KAAW;IACxE,CAAC;IAED,OAAO,MAAM,OACX,GAAG,GAAG,OAAO,OAAO,GAAG,EAAE,WAAW,SAAS,CAAC,EAAE,SAAS,MAAM,IAAI,OAAO,UAAU,OAAO,SAAS,EAAE,OAAO,MAAM,MAAM,EAAE,UAAU,MAAM,OAAO,EAAE,OAAO,OAC7J;IACA,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,MAAM,OACX,8BACA,IAAI,IAAI;KACN;KACA,GAAG,wBAAwB,OAAO,KAAK,SAAS,MAAM,IAAI,OAAO,UAAU,OAAO,SAAS,EAAE,OAAO,MAAM,MAAM,EAAE,UAAU,QAAQ,EAAE;KACtI,GAAG,GAAG,IAAI,KAAK,SAAS;IAC1B,CAAC,CACH;IAEF,OAAO,OAAO,mBACZ,WAAW;KAAE,MAAM;KAAc,UAAU;IAAM,IAAI,EAAE,MAAM,WAAW,GACxE,OACF;GACF,CAAC,CACH;EACF,CAAC,CACH,CAAC,CAAC,KAAK,OAAO,OAAO;EACvB,UAAU,OAAO,YACf,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,SAAS,EAAE,kBAAkB,EAAE,mBAAmB,KAAK;GAE7D,OAAO,OAAO,mBACZ,OAAO,MAAM,QAAQ,OAAO,UAAU,OAAO,KAAK,GAClD,OACF;EACF,CAAC,CACH;CAGkC,EAAE;AAC1C,CAAC"}
+{"version":3,"file":"native-registration.mjs","names":[],"sources":["../../../src/internal/oauth/native-registration.ts"],"sourcesContent":["import type { LifecycleHooks } from \"@yielded/auth/Hooks\";\nimport * as M from \"@yielded/auth/OAuth\";\nimport { Crypto, Effect, Option, Schema } from \"effect\";\nimport { SqlClient } from \"effect/sql\";\nimport type { Fragment } from \"effect/sql/Statement\";\n\nimport { sqlBatchAssertion } from \"../d1-planning\";\nimport type {\n  OAuthRegistrationAuthority,\n  OAuthRegistrationIntentMapping,\n  OAuthRegistrationMapping,\n} from \"../models/oauth-model\";\nimport type { NativeSqlTables } from \"../native-sql-table\";\nimport { makeConditionalSqlInsert } from \"../session-native-record\";\nimport { exactSqlText, executeSqlChange } from \"../sql-change\";\nimport { cleanupSqlRows } from \"../sql-cleanup\";\nimport {\n  appendSqlBatchStatement,\n  CurrentSqlCommit,\n  makeSqlCommitExecutor,\n  registerSqlBatchPostcondition,\n  registerSqlPostcondition,\n  SqlBatchCommit,\n} from \"../sql-commit\";\nimport type { SqlExpression, TableModel } from \"../table-model\";\nimport { makeOAuthNativeMutation } from \"./native-mutation\";\nimport { prepareOAuthNative } from \"./native-sign-in\";\nimport { invariant, oauthIdentityKey, storage, unavailable } from \"./state\";\n\n// Physical metadata is validated at the driver boundary.\nexport type OAuthNativeRegistrationIntentMapping = OAuthRegistrationIntentMapping<\n  TableModel,\n  TableModel,\n  unknown,\n  SqlExpression\n>;\n\nexport type OAuthNativeRegistrationMapping<Registration> = OAuthRegistrationMapping<\n  Registration,\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  TableModel,\n  unknown,\n  SqlExpression\n>;\n\nconst makeIntent = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: Pick<OAuthNativeRegistrationIntentMapping, \"intent\" | \"clock\" | \"ownership\">,\n  batch: boolean,\n) {\n  const sql = (yield* SqlClient.SqlClient).withoutTransforms();\n  const intent = tables(mapping.intent.table);\n  const ownership = tables(mapping.ownership.table);\n  const i = mapping.intent;\n  const o = mapping.ownership;\n  const stored = storage(M.OAuthRegistrationInspection);\n  const intentStored = storage(M.OAuthRegistrationIntent);\n  const now = tables.expression(mapping.clock.engineNowMillis);\n\n  const exact = (key: string, value: unknown) =>\n    exactSqlText(sql, intent.column(key), intent.value(key, value));\n\n  const key = (moduleId: string, reference: string) =>\n    sql.and([exact(i.moduleId, moduleId), exact(i.reference, reference)]);\n\n  const horizon = (value: M.OAuthRegistrationIntent) =>\n    sql`${now} >= ${value.issuedAtMillis} and ${now} < ${value.expiresAtMillis}`;\n\n  const unowned = (identityKey: string) =>\n    sql`not exists(select 1 from ${ownership.name} where ${exactSqlText(sql, ownership.column(o.identityKey), ownership.value(o.identityKey, identityKey))})`;\n\n  const read = Effect.fnUntraced(function* (access: M.OAuthRegistrationAccess) {\n    const rows =\n      yield* sql`select ${intent.fields(\"intent_\")}, ${now} as engine_now from ${intent.name} where ${key(access.moduleId, access.reference)}`;\n\n    invariant(rows.length <= 1);\n    if (rows[0] === undefined) return undefined;\n    const row = intent.decode(rows[0], \"intent_\");\n    const encoded = row[i.snapshot];\n\n    invariant(typeof encoded === \"string\");\n    const inspection = stored.decode(encoded);\n    const value = inspection.intent;\n    const context = value.context;\n    const identityKey = yield* oauthIdentityKey(value.identity);\n\n    invariant(\n      row[i.moduleId] === context.moduleId &&\n        row[i.reference] === value.reference &&\n        row[i.flowId] === context.flowId &&\n        row[i.identityKey] === identityKey &&\n        mapping.clock.decodeInstant(row[i.expiresAt]) === value.expiresAtMillis &&\n        mapping.clock.decodeInstant(row[i.retentionUntil]) === value.retentionUntilMillis,\n    );\n    const engineNow = yield* Schema.decodeEffect(Schema.Int)(Number(rows[0].engine_now));\n\n    if (\n      access.moduleId !== context.moduleId ||\n      access.flowId !== context.flowId ||\n      access.reference !== value.reference ||\n      access.requestBindingVerifier !== context.requestBindingVerifier ||\n      access.requestBindingExpiresAtMillis !== context.requestBindingExpiresAtMillis ||\n      access.credentialDigest !== value.credentialDigest ||\n      engineNow < value.issuedAtMillis ||\n      // A bound decision stays replayable through retention after the intent expires.\n      engineNow >=\n        (inspection.application._tag === \"Unbound\"\n          ? value.expiresAtMillis\n          : value.retentionUntilMillis)\n    )\n      return undefined;\n\n    return { inspection, encoded, identityKey, engineNow };\n  });\n\n  const finish = (name: string, condition: Fragment) =>\n    batch\n      ? registerSqlBatchPostcondition({ name, statement: sqlBatchAssertion(sql, condition) })\n      : registerSqlPostcondition({\n          name,\n          check: Effect.gen(function* () {\n            invariant((yield* sql`select 1 where ${condition}`).length === 1);\n          }),\n        });\n\n  const change = Effect.fnUntraced(function* (statement: Fragment) {\n    if (batch) {\n      yield* appendSqlBatchStatement(sql`${statement}`);\n      yield* appendSqlBatchStatement(sqlBatchAssertion(sql, sql`changes() = 1`));\n    } else invariant((yield* executeSqlChange(sql, statement)) === 1);\n  });\n\n  const cleanup = (moduleId: string, limit: number) =>\n    cleanupSqlRows(\n      [\n        {\n          table: intent,\n          keys: [i.moduleId, i.reference],\n          due: sql`${exact(i.moduleId, moduleId)} and ${tables.expression(mapping.clock.toMillis(intent.column(i.retentionUntil)))} <= ${now}`,\n          order: [intent.column(i.retentionUntil), intent.column(i.reference)],\n        },\n      ],\n      limit,\n      batch,\n    );\n\n  return {\n    sql,\n    now,\n    intent,\n    stored,\n    intentStored,\n    exact,\n    key,\n    horizon,\n    unowned,\n    read,\n    finish,\n    change,\n    cleanup,\n  };\n});\n\nexport const makeNativeOAuthRegistrationIntentServices = Effect.fnUntraced(function* (\n  tables: NativeSqlTables,\n  mapping: OAuthNativeRegistrationIntentMapping,\n  batch?: SqlBatchCommit[\"Service\"],\n): Effect.fn.Return<\n  { readonly oauthRegistrationIntents: M.OAuthRegistrationIntents[\"Service\"] },\n  M.OAuthUnavailable,\n  SqlClient.SqlClient | LifecycleHooks | Crypto.Crypto\n> {\n  const conditionalInsert = yield* makeConditionalSqlInsert();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n  const state = yield* makeIntent(tables, mapping, batch !== undefined);\n  const { sql, intent, unowned, horizon, stored } = state;\n  const i = mapping.intent;\n\n  const run = <A, E, R>(effect: Effect.Effect<A, E, R>) => {\n    const work = Effect.provideService(effect, Crypto.Crypto, crypto);\n\n    return batch === undefined\n      ? executor.run(work, \"statement\")\n      : executor.batch(work).pipe(Effect.provideService(SqlBatchCommit, batch));\n  };\n\n  const service: M.OAuthRegistrationIntents[\"Service\"] = {\n    issue: (original, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const value = M.snapshotOAuthSync(M.OAuthRegistrationIntent, original.intent);\n          const context = value.context;\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (\n            value.identity.provider !== context.provider ||\n            value.identity.issuer !== context.issuer ||\n            value.issuedAtMillis < context.issuedAtMillis ||\n            value.verifiedAtMillis > value.issuedAtMillis ||\n            value.issuedAtMillis >= value.expiresAtMillis ||\n            value.expiresAtMillis > context.requestBindingExpiresAtMillis ||\n            value.retentionUntilMillis < value.expiresAtMillis\n          )\n            return yield* rejected();\n          const identityKey = yield* oauthIdentityKey(value.identity);\n\n          const eligible = sql.and([\n            unowned(identityKey),\n            horizon(value),\n            tables.expression(mapping.eligible(value)),\n          ]);\n\n          const snapshot = stored.encode({ intent: value, application: { _tag: \"Unbound\" } });\n\n          const values = {\n            ...i.encodeInsert(value),\n            [i.moduleId]: context.moduleId,\n            [i.reference]: value.reference,\n            [i.flowId]: context.flowId,\n            [i.identityKey]: identityKey,\n            [i.snapshot]: snapshot,\n            [i.expiresAt]: mapping.clock.encodeInstant(value.expiresAtMillis),\n            [i.retentionUntil]: mapping.clock.encodeInstant(value.retentionUntilMillis),\n          };\n\n          const statement = conditionalInsert(intent, values, eligible);\n\n          if (batch !== undefined) {\n            // D1 classifies eligibility before staging, as the row count does for\n            // interactive owners; the batch still asserts the conditional insert.\n            if ((yield* sql`select 1 where ${eligible}`).length === 0) return yield* rejected();\n            yield* state.change(statement);\n          } else if ((yield* executeSqlChange(sql, statement)) !== 1) return yield* rejected();\n          if (Option.isSome(external))\n            yield* state.finish(\n              \"oauth-registration-intent-issued\",\n              sql.and([\n                eligible,\n                sql`exists(select 1 from ${intent.name} where ${state.key(context.moduleId, value.reference)} and ${state.exact(i.snapshot, snapshot)})`,\n              ]),\n            );\n\n          return yield* prepareOAuthNative({ _tag: \"RegistrationIssued\", intent: value }, prepare);\n        }),\n      ),\n  };\n\n  return { oauthRegistrationIntents: service };\n});\n\nexport const makeNativeOAuthRegistrationServices = Effect.fnUntraced(function* <Registration>(\n  tables: NativeSqlTables,\n  mapping: OAuthNativeRegistrationMapping<Registration>,\n  batch?: SqlBatchCommit[\"Service\"],\n): Effect.fn.Return<\n  { readonly registrationAuthority: OAuthRegistrationAuthority<Registration> },\n  M.OAuthUnavailable,\n  SqlClient.SqlClient | LifecycleHooks | Crypto.Crypto\n> {\n  const conditionalInsert = yield* makeConditionalSqlInsert();\n  const executor = yield* makeSqlCommitExecutor(unavailable);\n  const crypto = yield* Crypto.Crypto;\n  const external = yield* Effect.serviceOption(CurrentSqlCommit);\n  const state = yield* makeIntent(tables, mapping, batch !== undefined);\n  const mutation = yield* makeOAuthNativeMutation(tables, mapping, batch !== undefined);\n  const { sql, now, intent, horizon, stored } = state;\n  const i = mapping.intent;\n  const c = mapping.credential;\n  const a = mapping.authority;\n  const s = mapping.subject;\n  const credential = tables(c.table);\n  const authority = tables(a.table);\n  const subject = tables(s.table);\n  const application = Schema.fromJsonString(mapping.registration);\n\n  const run = <A, E, R>(\n    effect: Effect.Effect<A, E, R>,\n    mode: \"transaction\" | \"statement\" = \"transaction\",\n  ) => {\n    const work = Effect.provideService(effect, Crypto.Crypto, crypto);\n\n    return batch === undefined\n      ? executor.run(work, mode)\n      : executor.batch(work).pipe(Effect.provideService(SqlBatchCommit, batch));\n  };\n\n  const read = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n    executor.read(Effect.provideService(effect, Crypto.Crypto, crypto));\n\n  const service: OAuthRegistrationAuthority<Registration> = {\n    authentication: \"first-confirmed-registration\",\n    read: (access) =>\n      read(\n        Effect.map(\n          state.read(M.snapshotOAuthSync(M.OAuthRegistrationAccess, access)),\n          (value) => value?.inspection,\n        ),\n      ),\n    inspect: (input) =>\n      read(\n        Effect.gen(function* () {\n          const payload = yield* Schema.encodeEffect(application)(input.registration);\n\n          invariant(new TextEncoder().encode(payload).length <= 1048576);\n          const registration = yield* Schema.decodeEffect(application)(payload);\n\n          const result = yield* mapping.inspect({\n            intent: M.snapshotOAuthSync(M.OAuthRegistrationIntent, input.intent),\n            registration,\n          });\n\n          return {\n            ...result,\n            fingerprint: yield* Schema.decodeEffect(M.OAuthRegistrationFingerprint)(\n              result.fingerprint,\n            ),\n          };\n        }),\n      ),\n    register: (original, prepare) =>\n      read(\n        Effect.gen(function* () {\n          const access = M.snapshotOAuthSync(M.OAuthRegistrationAccess, original.access);\n          const expected = M.snapshotOAuthSync(M.OAuthRegistrationIntent, original.intent);\n          const found = yield* state.read(access);\n\n          const decide = (decision: M.OAuthRegistrationDecision) =>\n            run(prepareOAuthNative(decision, prepare), \"statement\");\n\n          const rejected = () => prepareOAuthNative({ _tag: \"Rejected\" } as const, prepare);\n\n          if (\n            found === undefined ||\n            state.intentStored.encode(found.inspection.intent) !==\n              state.intentStored.encode(expected)\n          )\n            return decide({ _tag: \"Rejected\" });\n\n          const binding = M.snapshotOAuthSync(M.OAuthRegistrationInspection, {\n            intent: expected,\n            application: {\n              _tag: \"Registered\",\n              commandId: original.commandId,\n              fingerprint: original.fingerprint,\n              payload: original.payload,\n              requestId: original.requestId,\n            },\n          }).application;\n\n          invariant(binding._tag === \"Registered\");\n          // Replay comparison precedes application callbacks, allocation and writes.\n          const previous = found.inspection.application;\n\n          if (previous._tag !== \"Unbound\") {\n            if (\n              previous.commandId !== binding.commandId ||\n              previous.fingerprint !== binding.fingerprint ||\n              previous.payload !== binding.payload ||\n              previous.requestId !== binding.requestId\n            )\n              return decide({ _tag: \"Conflict\" });\n\n            return decide(\n              previous._tag === \"Registered\"\n                ? { _tag: \"Registered\", replayed: true }\n                : { _tag: \"Rejected\" },\n            );\n          }\n\n          return run(\n            Effect.gen(function* () {\n              invariant(new TextEncoder().encode(binding.payload).length <= 1048576);\n              const registration = yield* Schema.decodeEffect(application)(binding.payload);\n\n              invariant(\n                (yield* Schema.encodeEffect(application)(registration)) === binding.payload,\n              );\n              if (\n                (yield* Schema.encodeEffect(application)(original.registration)) !== binding.payload\n              )\n                return yield* rejected();\n              const inspection = yield* mapping.inspect({ intent: expected, registration });\n\n              if (inspection.fingerprint !== binding.fingerprint) return yield* rejected();\n              const policyInput = { intent: expected, registration };\n\n              const eligible = sql.and([\n                state.unowned(found.identityKey),\n                tables.expression(mapping.eligibility.admission(policyInput)),\n                horizon(expected),\n              ]);\n\n              let admitted =\n                inspection.eligible &&\n                (batch === undefined || (yield* sql`select 1 where ${eligible}`).length === 1);\n\n              let final: Fragment = horizon(expected);\n              let authentication: M.OAuthRegistrationAuthentication | undefined;\n\n              if (admitted) {\n                const nativeId = yield* mapping.allocateSubjectId;\n                const subjectId = yield* mapping.subjectId.toSubject(nativeId);\n\n                invariant(\n                  mapping.subjectId.equals(nativeId, yield* mapping.subjectId.toNative(subjectId)),\n                );\n\n                const credentialId = yield* Schema.decodeEffect(\n                  M.OAuthCredentialSnapshot.fields.credentialId,\n                )(yield* mapping.allocateCredentialId);\n\n                const revision = yield* Schema.decodeEffect(\n                  M.OAuthCredentialSnapshot.fields.credentialRevision,\n                )(yield* mapping.allocateRevision);\n\n                const subjectValues = {\n                  ...mapping.encodeSubjectInsert(\n                    { ...policyInput, requestId: binding.requestId },\n                    { subjectId: nativeId, securityRevision: revision },\n                  ),\n                  [s.id]: nativeId,\n                  [s.securityRevision]: revision,\n                };\n\n                invariant(s.isActiveStatus(subjectValues[s.status]));\n                // A newly inserted subject is the first lock. The exact unbound intent\n                // CAS below arbitrates concurrent registration; a loser rolls back all\n                // local rows and never repeats provisioning automatically.\n                const creation = conditionalInsert(subject, subjectValues, eligible);\n\n                if (batch !== undefined) yield* state.change(creation);\n                else admitted = (yield* executeSqlChange(sql, creation)) === 1;\n                if (admitted) {\n                  const policy = { ...policyInput, nativeSubjectId: nativeId };\n\n                  invariant((mapping.eligibility.guards?.length ?? 0) <= 32);\n                  for (const guard of mapping.eligibility.guards ?? []) {\n                    const table = tables(guard.table);\n\n                    const rows =\n                      yield* sql`select ${table.column(guard.orderBy)} from ${table.name} where ${tables.expression(guard.condition(policy))} order by ${table.column(guard.orderBy)} limit 65 ${batch === undefined ? sql.onDialectOrElse({ sqlite: () => sql``, orElse: () => sql`for update` }) : sql``}`;\n\n                    invariant(rows.length > 0 && rows.length <= 64);\n                  }\n\n                  invariant(\n                    (yield* mutation.ensureOwnership(expected.identity, nativeId)) ===\n                      found.identityKey,\n                  );\n\n                  const values = {\n                    ...c.encodeInsert({\n                      moduleId: expected.context.moduleId,\n                      subjectId: nativeId,\n                      identityKey: found.identityKey,\n                      credentialId,\n                      credentialRevision: revision,\n                    }),\n                    [c.moduleId]: expected.context.moduleId,\n                    [c.subjectId]: nativeId,\n                    [c.identityKey]: found.identityKey,\n                    [c.credentialId]: credentialId,\n                    [c.credentialRevision]: revision,\n                  };\n\n                  invariant(c.isActiveStatus(values[c.status]));\n                  yield* state.change(\n                    conditionalInsert(\n                      credential,\n                      values,\n                      sql.and([\n                        tables.expression(mapping.eligibility.admission(policy)),\n                        horizon(expected),\n                        sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(found.identityKey, nativeId)})`,\n                      ]),\n                    ),\n                  );\n\n                  const factor = {\n                    ...a.encodeInsert({ subjectId: nativeId, credentialId, revision }),\n                    [a.subjectId]: nativeId,\n                    [a.credentialId]: credentialId,\n                    [a.revision]: revision,\n                  };\n\n                  invariant(a.isActiveStatus(factor[a.status]));\n                  yield* state.change(authority.insert(factor));\n                  authentication = M.snapshotOAuthSync(M.OAuthRegistrationAuthentication, {\n                    intent: expected,\n                    credentialId,\n                    credentialRevision: revision,\n                    revision: {\n                      subjectId,\n                      securityRevision: revision,\n                      credentials: [{ credentialId, revision }],\n                    },\n                  });\n                  final = sql.and([\n                    horizon(expected),\n                    tables.expression(mapping.eligibility.postcondition(policy)),\n                    mutation.authorityCondition(nativeId, authentication.revision),\n                    sql`exists(select 1 from ${credential.name} where ${credential.column(c.subjectId)} = ${credential.value(c.subjectId, nativeId)} and ${exactSqlText(sql, credential.column(c.credentialId), credential.value(c.credentialId, credentialId))} and ${exactSqlText(sql, credential.column(c.credentialRevision), credential.value(c.credentialRevision, revision))} and ${exactSqlText(sql, credential.column(c.identityKey), credential.value(c.identityKey, found.identityKey))} and ${tables.expression(c.activeCondition)})`,\n                    sql`exists(select 1 from ${mutation.ownership.name} where ${mutation.ownerCondition(found.identityKey, nativeId)})`,\n                  ]);\n                }\n              }\n\n              const snapshot = stored.encode({\n                intent: expected,\n                application: { ...binding, _tag: admitted ? \"Registered\" : \"Rejected\" },\n              });\n\n              yield* state.change(\n                sql`${intent.update({ [i.snapshot]: snapshot })} where ${state.key(access.moduleId, access.reference)} and ${state.exact(i.snapshot, found.encoded)} and ${final}`,\n              );\n              if (Option.isSome(external))\n                yield* state.finish(\n                  \"oauth-registration-outcome\",\n                  sql.and([\n                    final,\n                    sql`exists(select 1 from ${intent.name} where ${state.key(access.moduleId, access.reference)} and ${state.exact(i.snapshot, snapshot)})`,\n                    sql`${now} < ${expected.expiresAtMillis}`,\n                  ]),\n                );\n\n              if (!admitted) return yield* rejected();\n              invariant(authentication !== undefined);\n\n              return yield* prepareOAuthNative(\n                { _tag: \"Registered\", replayed: false, authentication },\n                prepare,\n              );\n            }),\n          );\n        }),\n      ).pipe(Effect.flatten),\n    cleanup: (input, prepare) =>\n      run(\n        Effect.gen(function* () {\n          const parsed = M.snapshotOAuthSync(M.OAuthCleanupInput, input);\n\n          return yield* prepareOAuthNative(\n            yield* state.cleanup(parsed.moduleId, parsed.limit),\n            prepare,\n          );\n        }),\n      ),\n  };\n\n  return { registrationAuthority: service };\n});\n"],"mappings":";;;;;;;;;;;;AAgDA,MAAM,aAAa,OAAO,WAAW,WACnC,QACA,SACA,OACA;CACA,MAAM,OAAO,OAAO,UAAU,UAAA,CAAW,kBAAkB;CAC3D,MAAM,SAAS,OAAO,QAAQ,OAAO,KAAK;CAC1C,MAAM,YAAY,OAAO,QAAQ,UAAU,KAAK;CAChD,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,SAAS,QAAQ,EAAE,2BAA2B;CACpD,MAAM,eAAe,QAAQ,EAAE,uBAAuB;CACtD,MAAM,MAAM,OAAO,WAAW,QAAQ,MAAM,eAAe;CAE3D,MAAM,SAAS,KAAa,UAC1B,aAAa,KAAK,OAAO,OAAO,GAAG,GAAG,OAAO,MAAM,KAAK,KAAK,CAAC;CAEhE,MAAM,OAAO,UAAkB,cAC7B,IAAI,IAAI,CAAC,MAAM,EAAE,UAAU,QAAQ,GAAG,MAAM,EAAE,WAAW,SAAS,CAAC,CAAC;CAEtE,MAAM,WAAW,UACf,GAAG,GAAG,IAAI,MAAM,MAAM,eAAe,OAAO,IAAI,KAAK,MAAM;CAE7D,MAAM,WAAW,gBACf,GAAG,4BAA4B,UAAU,KAAK,SAAS,aAAa,KAAK,UAAU,OAAO,EAAE,WAAW,GAAG,UAAU,MAAM,EAAE,aAAa,WAAW,CAAC,EAAE;CAEzJ,MAAM,OAAO,OAAO,WAAW,WAAW,QAAmC;EAC3E,MAAM,OACJ,OAAO,GAAG,UAAU,OAAO,OAAO,SAAS,EAAE,IAAI,IAAI,sBAAsB,OAAO,KAAK,SAAS,IAAI,OAAO,UAAU,OAAO,SAAS;EAEvI,UAAU,KAAK,UAAU,CAAC;EAC1B,IAAI,KAAK,OAAO,KAAA,GAAW,OAAO,KAAA;EAClC,MAAM,MAAM,OAAO,OAAO,KAAK,IAAI,SAAS;EAC5C,MAAM,UAAU,IAAI,EAAE;EAEtB,UAAU,OAAO,YAAY,QAAQ;EACrC,MAAM,aAAa,OAAO,OAAO,OAAO;EACxC,MAAM,QAAQ,WAAW;EACzB,MAAM,UAAU,MAAM;EACtB,MAAM,cAAc,OAAO,iBAAiB,MAAM,QAAQ;EAE1D,UACE,IAAI,EAAE,cAAc,QAAQ,YAC1B,IAAI,EAAE,eAAe,MAAM,aAC3B,IAAI,EAAE,YAAY,QAAQ,UAC1B,IAAI,EAAE,iBAAiB,eACvB,QAAQ,MAAM,cAAc,IAAI,EAAE,UAAU,MAAM,MAAM,mBACxD,QAAQ,MAAM,cAAc,IAAI,EAAE,eAAe,MAAM,MAAM,oBACjE;EACA,MAAM,YAAY,OAAO,OAAO,aAAa,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,EAAE,CAAC,UAAU,CAAC;EAEnF,IACE,OAAO,aAAa,QAAQ,YAC5B,OAAO,WAAW,QAAQ,UAC1B,OAAO,cAAc,MAAM,aAC3B,OAAO,2BAA2B,QAAQ,0BAC1C,OAAO,kCAAkC,QAAQ,iCACjD,OAAO,qBAAqB,MAAM,oBAClC,YAAY,MAAM,kBAElB,cACG,WAAW,YAAY,SAAS,YAC7B,MAAM,kBACN,MAAM,uBAEZ,OAAO,KAAA;EAET,OAAO;GAAE;GAAY;GAAS;GAAa;EAAU;CACvD,CAAC;CAED,MAAM,UAAU,MAAc,cAC5B,QACI,8BAA8B;EAAE;EAAM,WAAW,kBAAkB,KAAK,SAAS;CAAE,CAAC,IACpF,yBAAyB;EACvB;EACA,OAAO,OAAO,IAAI,aAAa;GAC7B,WAAW,OAAO,GAAG,kBAAkB,YAAA,CAAa,WAAW,CAAC;EAClE,CAAC;CACH,CAAC;CAEP,MAAM,SAAS,OAAO,WAAW,WAAW,WAAqB;EAC/D,IAAI,OAAO;GACT,OAAO,wBAAwB,GAAG,GAAG,WAAW;GAChD,OAAO,wBAAwB,kBAAkB,KAAK,GAAG,eAAe,CAAC;EAC3E,OAAO,WAAW,OAAO,iBAAiB,KAAK,SAAS,OAAO,CAAC;CAClE,CAAC;CAED,MAAM,WAAW,UAAkB,UACjC,eACE,CACE;EACE,OAAO;EACP,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS;EAC9B,KAAK,GAAG,GAAG,MAAM,EAAE,UAAU,QAAQ,EAAE,OAAO,OAAO,WAAW,QAAQ,MAAM,SAAS,OAAO,OAAO,EAAE,cAAc,CAAC,CAAC,EAAE,MAAM;EAC/H,OAAO,CAAC,OAAO,OAAO,EAAE,cAAc,GAAG,OAAO,OAAO,EAAE,SAAS,CAAC;CACrE,CACF,GACA,OACA,KACF;CAEF,OAAO;EACL;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;EACA;CACF;AACF,CAAC;AAED,MAAa,4CAA4C,OAAO,WAAW,WACzE,QACA,SACA,OAKA;CACA,MAAM,oBAAoB,OAAO,yBAAyB;CAC1D,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAC7D,MAAM,QAAQ,OAAO,WAAW,QAAQ,SAAS,UAAU,KAAA,CAAS;CACpE,MAAM,EAAE,KAAK,QAAQ,SAAS,SAAS,WAAW;CAClD,MAAM,IAAI,QAAQ;CAElB,MAAM,OAAgB,WAAmC;EACvD,MAAM,OAAO,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM;EAEhE,OAAO,UAAU,KAAA,IACb,SAAS,IAAI,MAAM,WAAW,IAC9B,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAC5E;CA+DA,OAAO,EAAE,0BAA0B,EA5DjC,QAAQ,UAAU,YAChB,IACE,OAAO,IAAI,aAAa;EACtB,MAAM,QAAQ,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,MAAM;EAC5E,MAAM,UAAU,MAAM;EACtB,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;EAEhF,IACE,MAAM,SAAS,aAAa,QAAQ,YACpC,MAAM,SAAS,WAAW,QAAQ,UAClC,MAAM,iBAAiB,QAAQ,kBAC/B,MAAM,mBAAmB,MAAM,kBAC/B,MAAM,kBAAkB,MAAM,mBAC9B,MAAM,kBAAkB,QAAQ,iCAChC,MAAM,uBAAuB,MAAM,iBAEnC,OAAO,OAAO,SAAS;EACzB,MAAM,cAAc,OAAO,iBAAiB,MAAM,QAAQ;EAE1D,MAAM,WAAW,IAAI,IAAI;GACvB,QAAQ,WAAW;GACnB,QAAQ,KAAK;GACb,OAAO,WAAW,QAAQ,SAAS,KAAK,CAAC;EAC3C,CAAC;EAED,MAAM,WAAW,OAAO,OAAO;GAAE,QAAQ;GAAO,aAAa,EAAE,MAAM,UAAU;EAAE,CAAC;EAElF,MAAM,SAAS;GACb,GAAG,EAAE,aAAa,KAAK;IACtB,EAAE,WAAW,QAAQ;IACrB,EAAE,YAAY,MAAM;IACpB,EAAE,SAAS,QAAQ;IACnB,EAAE,cAAc;IAChB,EAAE,WAAW;IACb,EAAE,YAAY,QAAQ,MAAM,cAAc,MAAM,eAAe;IAC/D,EAAE,iBAAiB,QAAQ,MAAM,cAAc,MAAM,oBAAoB;EAC5E;EAEA,MAAM,YAAY,kBAAkB,QAAQ,QAAQ,QAAQ;EAE5D,IAAI,UAAU,KAAA,GAAW;GAGvB,KAAK,OAAO,GAAG,kBAAkB,WAAA,CAAY,WAAW,GAAG,OAAO,OAAO,SAAS;GAClF,OAAO,MAAM,OAAO,SAAS;EAC/B,OAAO,KAAK,OAAO,iBAAiB,KAAK,SAAS,OAAO,GAAG,OAAO,OAAO,SAAS;EACnF,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,MAAM,OACX,oCACA,IAAI,IAAI,CACN,UACA,GAAG,wBAAwB,OAAO,KAAK,SAAS,MAAM,IAAI,QAAQ,UAAU,MAAM,SAAS,EAAE,OAAO,MAAM,MAAM,EAAE,UAAU,QAAQ,EAAE,EACxI,CAAC,CACH;EAEF,OAAO,OAAO,mBAAmB;GAAE,MAAM;GAAsB,QAAQ;EAAM,GAAG,OAAO;CACzF,CAAC,CACH,EAGqC,EAAE;AAC7C,CAAC;AAED,MAAa,sCAAsC,OAAO,WAAW,WACnE,QACA,SACA,OAKA;CACA,MAAM,oBAAoB,OAAO,yBAAyB;CAC1D,MAAM,WAAW,OAAO,sBAAsB,WAAW;CACzD,MAAM,SAAS,OAAO,OAAO;CAC7B,MAAM,WAAW,OAAO,OAAO,cAAc,gBAAgB;CAC7D,MAAM,QAAQ,OAAO,WAAW,QAAQ,SAAS,UAAU,KAAA,CAAS;CACpE,MAAM,WAAW,OAAO,wBAAwB,QAAQ,SAAS,UAAU,KAAA,CAAS;CACpF,MAAM,EAAE,KAAK,KAAK,QAAQ,SAAS,WAAW;CAC9C,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,IAAI,QAAQ;CAClB,MAAM,aAAa,OAAO,EAAE,KAAK;CACjC,MAAM,YAAY,OAAO,EAAE,KAAK;CAChC,MAAM,UAAU,OAAO,EAAE,KAAK;CAC9B,MAAM,cAAc,OAAO,eAAe,QAAQ,YAAY;CAE9D,MAAM,OACJ,QACA,OAAoC,kBACjC;EACH,MAAM,OAAO,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM;EAEhE,OAAO,UAAU,KAAA,IACb,SAAS,IAAI,MAAM,IAAI,IACvB,SAAS,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,eAAe,gBAAgB,KAAK,CAAC;CAC5E;CAEA,MAAM,QAAiB,WACrB,SAAS,KAAK,OAAO,eAAe,QAAQ,OAAO,QAAQ,MAAM,CAAC;CAsQpE,OAAO,EAAE,uBAAuB;EAnQ9B,gBAAgB;EAChB,OAAO,WACL,KACE,OAAO,IACL,MAAM,KAAK,EAAE,kBAAkB,EAAE,yBAAyB,MAAM,CAAC,IAChE,UAAU,OAAO,UACpB,CACF;EACF,UAAU,UACR,KACE,OAAO,IAAI,aAAa;GACtB,MAAM,UAAU,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,MAAM,YAAY;GAE1E,UAAU,IAAI,YAAY,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,UAAU,OAAO;GAC7D,MAAM,eAAe,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,OAAO;GAEpE,MAAM,SAAS,OAAO,QAAQ,QAAQ;IACpC,QAAQ,EAAE,kBAAkB,EAAE,yBAAyB,MAAM,MAAM;IACnE;GACF,CAAC;GAED,OAAO;IACL,GAAG;IACH,aAAa,OAAO,OAAO,aAAa,EAAE,4BAA4B,CAAC,CACrE,OAAO,WACT;GACF;EACF,CAAC,CACH;EACF,WAAW,UAAU,YACnB,KACE,OAAO,IAAI,aAAa;GACtB,MAAM,SAAS,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,MAAM;GAC7E,MAAM,WAAW,EAAE,kBAAkB,EAAE,yBAAyB,SAAS,MAAM;GAC/E,MAAM,QAAQ,OAAO,MAAM,KAAK,MAAM;GAEtC,MAAM,UAAU,aACd,IAAI,mBAAmB,UAAU,OAAO,GAAG,WAAW;GAExD,MAAM,iBAAiB,mBAAmB,EAAE,MAAM,WAAW,GAAY,OAAO;GAEhF,IACE,UAAU,KAAA,KACV,MAAM,aAAa,OAAO,MAAM,WAAW,MAAM,MAC/C,MAAM,aAAa,OAAO,QAAQ,GAEpC,OAAO,OAAO,EAAE,MAAM,WAAW,CAAC;GAEpC,MAAM,UAAU,EAAE,kBAAkB,EAAE,6BAA6B;IACjE,QAAQ;IACR,aAAa;KACX,MAAM;KACN,WAAW,SAAS;KACpB,aAAa,SAAS;KACtB,SAAS,SAAS;KAClB,WAAW,SAAS;IACtB;GACF,CAAC,CAAC,CAAC;GAEH,UAAU,QAAQ,SAAS,YAAY;GAEvC,MAAM,WAAW,MAAM,WAAW;GAElC,IAAI,SAAS,SAAS,WAAW;IAC/B,IACE,SAAS,cAAc,QAAQ,aAC/B,SAAS,gBAAgB,QAAQ,eACjC,SAAS,YAAY,QAAQ,WAC7B,SAAS,cAAc,QAAQ,WAE/B,OAAO,OAAO,EAAE,MAAM,WAAW,CAAC;IAEpC,OAAO,OACL,SAAS,SAAS,eACd;KAAE,MAAM;KAAc,UAAU;IAAK,IACrC,EAAE,MAAM,WAAW,CACzB;GACF;GAEA,OAAO,IACL,OAAO,IAAI,aAAa;IACtB,UAAU,IAAI,YAAY,CAAC,CAAC,OAAO,QAAQ,OAAO,CAAC,CAAC,UAAU,OAAO;IACrE,MAAM,eAAe,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,QAAQ,OAAO;IAE5E,WACG,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,YAAY,OAAO,QAAQ,OACtE;IACA,KACG,OAAO,OAAO,aAAa,WAAW,CAAC,CAAC,SAAS,YAAY,OAAO,QAAQ,SAE7E,OAAO,OAAO,SAAS;IACzB,MAAM,aAAa,OAAO,QAAQ,QAAQ;KAAE,QAAQ;KAAU;IAAa,CAAC;IAE5E,IAAI,WAAW,gBAAgB,QAAQ,aAAa,OAAO,OAAO,SAAS;IAC3E,MAAM,cAAc;KAAE,QAAQ;KAAU;IAAa;IAErD,MAAM,WAAW,IAAI,IAAI;KACvB,MAAM,QAAQ,MAAM,WAAW;KAC/B,OAAO,WAAW,QAAQ,YAAY,UAAU,WAAW,CAAC;KAC5D,QAAQ,QAAQ;IAClB,CAAC;IAED,IAAI,WACF,WAAW,aACV,UAAU,KAAA,MAAc,OAAO,GAAG,kBAAkB,WAAA,CAAY,WAAW;IAE9E,IAAI,QAAkB,QAAQ,QAAQ;IACtC,IAAI;IAEJ,IAAI,UAAU;KACZ,MAAM,WAAW,OAAO,QAAQ;KAChC,MAAM,YAAY,OAAO,QAAQ,UAAU,UAAU,QAAQ;KAE7D,UACE,QAAQ,UAAU,OAAO,UAAU,OAAO,QAAQ,UAAU,SAAS,SAAS,CAAC,CACjF;KAEA,MAAM,eAAe,OAAO,OAAO,aACjC,EAAE,wBAAwB,OAAO,YACnC,CAAC,CAAC,OAAO,QAAQ,oBAAoB;KAErC,MAAM,WAAW,OAAO,OAAO,aAC7B,EAAE,wBAAwB,OAAO,kBACnC,CAAC,CAAC,OAAO,QAAQ,gBAAgB;KAEjC,MAAM,gBAAgB;MACpB,GAAG,QAAQ,oBACT;OAAE,GAAG;OAAa,WAAW,QAAQ;MAAU,GAC/C;OAAE,WAAW;OAAU,kBAAkB;MAAS,CACpD;OACC,EAAE,KAAK;OACP,EAAE,mBAAmB;KACxB;KAEA,UAAU,EAAE,eAAe,cAAc,EAAE,OAAO,CAAC;KAInD,MAAM,WAAW,kBAAkB,SAAS,eAAe,QAAQ;KAEnE,IAAI,UAAU,KAAA,GAAW,OAAO,MAAM,OAAO,QAAQ;UAChD,YAAY,OAAO,iBAAiB,KAAK,QAAQ,OAAO;KAC7D,IAAI,UAAU;MACZ,MAAM,SAAS;OAAE,GAAG;OAAa,iBAAiB;MAAS;MAE3D,WAAW,QAAQ,YAAY,QAAQ,UAAU,MAAM,EAAE;MACzD,KAAK,MAAM,SAAS,QAAQ,YAAY,UAAU,CAAC,GAAG;OACpD,MAAM,QAAQ,OAAO,MAAM,KAAK;OAEhC,MAAM,OACJ,OAAO,GAAG,UAAU,MAAM,OAAO,MAAM,OAAO,EAAE,QAAQ,MAAM,KAAK,SAAS,OAAO,WAAW,MAAM,UAAU,MAAM,CAAC,EAAE,YAAY,MAAM,OAAO,MAAM,OAAO,EAAE,YAAY,UAAU,KAAA,IAAY,IAAI,gBAAgB;QAAE,cAAc,GAAG;QAAI,cAAc,GAAG;OAAa,CAAC,IAAI,GAAG;OAEpR,UAAU,KAAK,SAAS,KAAK,KAAK,UAAU,EAAE;MAChD;MAEA,WACG,OAAO,SAAS,gBAAgB,SAAS,UAAU,QAAQ,OAC1D,MAAM,WACV;MAEA,MAAM,SAAS;OACb,GAAG,EAAE,aAAa;QAChB,UAAU,SAAS,QAAQ;QAC3B,WAAW;QACX,aAAa,MAAM;QACnB;QACA,oBAAoB;OACtB,CAAC;QACA,EAAE,WAAW,SAAS,QAAQ;QAC9B,EAAE,YAAY;QACd,EAAE,cAAc,MAAM;QACtB,EAAE,eAAe;QACjB,EAAE,qBAAqB;MAC1B;MAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;MAC5C,OAAO,MAAM,OACX,kBACE,YACA,QACA,IAAI,IAAI;OACN,OAAO,WAAW,QAAQ,YAAY,UAAU,MAAM,CAAC;OACvD,QAAQ,QAAQ;OAChB,GAAG,wBAAwB,SAAS,UAAU,KAAK,SAAS,SAAS,eAAe,MAAM,aAAa,QAAQ,EAAE;MACnH,CAAC,CACH,CACF;MAEA,MAAM,SAAS;OACb,GAAG,EAAE,aAAa;QAAE,WAAW;QAAU;QAAc;OAAS,CAAC;QAChE,EAAE,YAAY;QACd,EAAE,eAAe;QACjB,EAAE,WAAW;MAChB;MAEA,UAAU,EAAE,eAAe,OAAO,EAAE,OAAO,CAAC;MAC5C,OAAO,MAAM,OAAO,UAAU,OAAO,MAAM,CAAC;MAC5C,iBAAiB,EAAE,kBAAkB,EAAE,iCAAiC;OACtE,QAAQ;OACR;OACA,oBAAoB;OACpB,UAAU;QACR;QACA,kBAAkB;QAClB,aAAa,CAAC;SAAE;SAAc;QAAS,CAAC;OAC1C;MACF,CAAC;MACD,QAAQ,IAAI,IAAI;OACd,QAAQ,QAAQ;OAChB,OAAO,WAAW,QAAQ,YAAY,cAAc,MAAM,CAAC;OAC3D,SAAS,mBAAmB,UAAU,eAAe,QAAQ;OAC7D,GAAG,wBAAwB,WAAW,KAAK,SAAS,WAAW,OAAO,EAAE,SAAS,EAAE,KAAK,WAAW,MAAM,EAAE,WAAW,QAAQ,EAAE,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,YAAY,GAAG,WAAW,MAAM,EAAE,cAAc,YAAY,CAAC,EAAE,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,kBAAkB,GAAG,WAAW,MAAM,EAAE,oBAAoB,QAAQ,CAAC,EAAE,OAAO,aAAa,KAAK,WAAW,OAAO,EAAE,WAAW,GAAG,WAAW,MAAM,EAAE,aAAa,MAAM,WAAW,CAAC,EAAE,OAAO,OAAO,WAAW,EAAE,eAAe,EAAE;OAC3f,GAAG,wBAAwB,SAAS,UAAU,KAAK,SAAS,SAAS,eAAe,MAAM,aAAa,QAAQ,EAAE;MACnH,CAAC;KACH;IACF;IAEA,MAAM,WAAW,OAAO,OAAO;KAC7B,QAAQ;KACR,aAAa;MAAE,GAAG;MAAS,MAAM,WAAW,eAAe;KAAW;IACxE,CAAC;IAED,OAAO,MAAM,OACX,GAAG,GAAG,OAAO,OAAO,GAAG,EAAE,WAAW,SAAS,CAAC,EAAE,SAAS,MAAM,IAAI,OAAO,UAAU,OAAO,SAAS,EAAE,OAAO,MAAM,MAAM,EAAE,UAAU,MAAM,OAAO,EAAE,OAAO,OAC7J;IACA,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,MAAM,OACX,8BACA,IAAI,IAAI;KACN;KACA,GAAG,wBAAwB,OAAO,KAAK,SAAS,MAAM,IAAI,OAAO,UAAU,OAAO,SAAS,EAAE,OAAO,MAAM,MAAM,EAAE,UAAU,QAAQ,EAAE;KACtI,GAAG,GAAG,IAAI,KAAK,SAAS;IAC1B,CAAC,CACH;IAEF,IAAI,CAAC,UAAU,OAAO,OAAO,SAAS;IACtC,UAAU,mBAAmB,KAAA,CAAS;IAEtC,OAAO,OAAO,mBACZ;KAAE,MAAM;KAAc,UAAU;KAAO;IAAe,GACtD,OACF;GACF,CAAC,CACH;EACF,CAAC,CACH,CAAC,CAAC,KAAK,OAAO,OAAO;EACvB,UAAU,OAAO,YACf,IACE,OAAO,IAAI,aAAa;GACtB,MAAM,SAAS,EAAE,kBAAkB,EAAE,mBAAmB,KAAK;GAE7D,OAAO,OAAO,mBACZ,OAAO,MAAM,QAAQ,OAAO,UAAU,OAAO,KAAK,GAClD,OACF;EACF,CAAC,CACH;CAGkC,EAAE;AAC1C,CAAC"}

package/dist/internal/oauth/native-sign-in.d.mts

@@ -3,8 +3,8 @@ import "../sql-commit.mjs";
 import { OAuthNativeReadMapping } from "./native-state.mjs";
 import { Crypto, Effect } from "effect";
 import { CurrentCommitJournal, LifecycleHooks } from "@yielded/auth/Hooks";
-import { SqlClient } from "effect/sql/SqlClient";
 import * as M from "@yielded/auth/OAuth";
+import { SqlClient } from "effect/sql/SqlClient";
 //#region src/internal/oauth/native-sign-in.d.ts
 /** Both physical adapters bind the same native SQL operations. */
 export declare const makeNativeOAuthSignInServices: (tables: NativeSqlTables, mapping: OAuthNativeReadMapping, batch?: {

package/dist/internal/oauth/native-sign-in.mjs

@@ -1,7 +1,7 @@
 import { SqlBatchCommit, makeSqlCommitExecutor, registerSqlCommitReceipt } from "../sql-commit.mjs";
 import { invariant, unavailable } from "./state.mjs";
-import { makeOAuthNativeFlow } from "./native-flow.mjs";
 import { makeOAuthNativeState } from "./native-state.mjs";
+import { makeOAuthNativeFlow } from "./native-flow.mjs";
 import { Crypto, Effect } from "effect";
 import { CurrentCommitJournal } from "@yielded/auth/Hooks";
 import * as M from "@yielded/auth/OAuth";

package/dist/internal/oauth/native-state.mjs

@@ -1,9 +1,14 @@
 import { exactSqlText } from "../sql-change.mjs";
-import { invariant, oauthIdentityKey } from "./state.mjs";
+import { canJoinTextColumns, withStorageValidation } from "../storage-validation.mjs";
+import { invariant, oauthIdentityKey, unavailable } from "./state.mjs";
 import { Effect, Schema } from "effect";
 import { SqlClient } from "effect/sql";
 import { OAuthAccountRevision, OAuthCredentialSnapshot, OAuthExternalIdentity } from "@yielded/auth/OAuth";
 //#region src/internal/oauth/native-state.ts
+const decodeOAuthRequirement = Effect.fnUntraced(function* (subject, row) {
+	const requirement = subject.decodeAuthenticationRequirement(row);
+	return yield* Effect.isEffect(requirement) ? requirement : Effect.succeed(requirement);
+});
 /** Unlocked snapshots and explicit subject-first reads share decoding rules.
 * No observation registry or discovered-identity placeholder is retained. */
 const makeOAuthNativeAuthority = Effect.fnUntraced(function* (tables, mapping) {
@@ -118,10 +123,16 @@ const makeOAuthNativeState = Effect.fnUntraced(function* (tables, mapping) {
 		const physical = tables(descriptor.table);
 		return sql`(select * from ${physical.name} where ${tables.expression(descriptor.activeCondition)}) as ${sql(alias)}`;
 	};
-	const joinedIds = ownership.unencodedTextColumn?.(mapping.ownership.subjectId) !== void 0 && subject.unencodedTextColumn?.(mapping.subject.id) !== void 0 && credential.unencodedTextColumn?.(mapping.credential.subjectId) !== void 0 && authority.unencodedTextColumn?.(mapping.authority.subjectId) !== void 0;
+	const [joinedIds, joinedIdentityKeys] = yield* Effect.forEach([[
+		ownership.unencodedTextColumn?.(mapping.ownership.subjectId),
+		subject.unencodedTextColumn?.(mapping.subject.id),
+		credential.unencodedTextColumn?.(mapping.credential.subjectId),
+		authority.unencodedTextColumn?.(mapping.authority.subjectId)
+	], [credential.unencodedTextColumn?.(mapping.credential.identityKey), ownership.unencodedTextColumn?.(mapping.ownership.identityKey)]], canJoinTextColumns).pipe(withStorageValidation, Effect.mapError(unavailable));
 	const decodeSnapshot = Effect.fnUntraced(function* (rows, moduleId, nativeId) {
-		if (rows.length === 0) return void 0;
-		const owned = o.decode(rows[0], "o_");
+		const first = rows[0];
+		if (first === void 0) return void 0;
+		const owned = o.decode(first, "o_");
 		const identity = yield* Schema.decodeUnknownEffect(OAuthExternalIdentity)({
 			provider: owned[mapping.ownership.provider],
 			issuer: owned[mapping.ownership.issuer],
@@ -131,11 +142,11 @@ const makeOAuthNativeState = Effect.fnUntraced(function* (tables, mapping) {
 		invariant(owned[mapping.ownership.identityKey] === identityKey);
 		const ownerId = mapping.ownership.decodeSubjectId(owned);
 		if (nativeId !== void 0) invariant(mapping.subjectId.equals(ownerId, nativeId));
-		const login = c.decode(rows[0], "c_");
+		const login = c.decode(first, "c_");
 		invariant(mapping.subjectId.equals(login[mapping.credential.subjectId], ownerId));
 		invariant(login[mapping.credential.identityKey] === identityKey);
 		invariant(mapping.credential.isActiveStatus(login[mapping.credential.status]));
-		const current = yield* revision(s.decode(rows[0], "s_"), rows.map((row) => a.decode(row, "a_")), ownerId);
+		const current = yield* revision(s.decode(first, "s_"), rows.map((row) => a.decode(row, "a_")), ownerId);
 		const credentialId = login[mapping.credential.credentialId];
 		const credentialRevision = login[mapping.credential.credentialRevision];
 		if (!current.credentials.some((item) => item.credentialId === credentialId && item.revision === credentialRevision)) return void 0;
@@ -145,7 +156,7 @@ const makeOAuthNativeState = Effect.fnUntraced(function* (tables, mapping) {
 			credentialId,
 			credentialRevision,
 			revision: current,
-			requirement: mapping.subject.decodeAuthenticationRequirement(s.decode(rows[0], "s_"))
+			requirement: yield* decodeOAuthRequirement(mapping.subject, s.decode(first, "s_"))
 		});
 	});
 	const resolve = Effect.fnUntraced(function* (moduleId, identity) {
@@ -177,8 +188,7 @@ const makeOAuthNativeState = Effect.fnUntraced(function* (tables, mapping) {
 	const readCredential = Effect.fnUntraced(function* (input, metadataAccess = sql`true`) {
 		const nativeId = yield* mapping.subjectId.toNative(input.subjectId);
 		let identityKey;
-		const direct = credential.unencodedTextColumn?.(mapping.credential.identityKey) !== void 0 && ownership.unencodedTextColumn?.(mapping.ownership.identityKey) !== void 0;
-		if (!direct) {
+		if (!joinedIdentityKeys) {
 			const selected = yield* sql`select ${credential.fields("c_")} from ${credential.name}
         where ${exact(credential.column(mapping.credential.moduleId), credential.value(mapping.credential.moduleId, input.moduleId))}
           and ${exact(credential.column(mapping.credential.credentialId), credential.value(mapping.credential.credentialId, input.credentialId))}
@@ -190,7 +200,7 @@ const makeOAuthNativeState = Effect.fnUntraced(function* (tables, mapping) {
 		const owner = (table, key) => sql`${table.column(key)} = ${table.value(key, nativeId)}`;
 		const rows = yield* sql`select ${o.fields("o_")}, ${s.fields("s_")}, ${c.fields("c_")}, ${a.fields("a_")}
       from ${active("credential", "oauth_credential")}
-      join ${o.name} on ${direct ? exact(o.column(mapping.ownership.identityKey), c.column(mapping.credential.identityKey)) : exact(o.column(mapping.ownership.identityKey), o.value(mapping.ownership.identityKey, identityKey))}
+      join ${o.name} on ${joinedIdentityKeys ? exact(o.column(mapping.ownership.identityKey), c.column(mapping.credential.identityKey)) : exact(o.column(mapping.ownership.identityKey), o.value(mapping.ownership.identityKey, identityKey))}
         and ${owner(o, mapping.ownership.subjectId)}
       join ${active("subject", "oauth_subject")} on ${owner(s, mapping.subject.id)}
       join ${active("authority", "oauth_authority")} on ${owner(a, mapping.authority.subjectId)}
@@ -209,6 +219,6 @@ const makeOAuthNativeState = Effect.fnUntraced(function* (tables, mapping) {
 	};
 });
 //#endregion
-export { makeOAuthNativeAuthority, makeOAuthNativeState };
+export { decodeOAuthRequirement, makeOAuthNativeAuthority, makeOAuthNativeState };
 
 //# sourceMappingURL=native-state.mjs.map