@yielded/auth 0.1.0-beta.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"oauth-model.mjs","names":[],"sources":["../../src/drizzle/oauth-model.ts"],"sourcesContent":["import type { InferInsertModel, InferSelectModel, SQL, Table } from \"drizzle-orm\";\nimport type { Effect } from \"effect\";\n\nimport type { OAuthActionAuthorization, OAuthAccountRevision } from \"../oauth/accountsModels\";\nimport type { OAuthRegistrationIntent } from \"../oauth/registrationModels\";\nimport type { OAuthCredentialSnapshot, OAuthExternalIdentity } from \"../oauth/signInModels\";\nimport type { AuthenticationFactor } from \"../operations/context\";\nimport type { AuthenticationRequirement, SecurityRevision } from \"../sessions/models\";\nimport type { DrizzleMappingError, SubjectIdCodec } from \"./model\";\n\ntype Column<T extends Table> = Extract<keyof T[\"_\"][\"columns\"], string>;\n\nexport type OAuthFlowState =\n  | \"Pending\"\n  | \"Claimed\"\n  | \"Verified\"\n  | \"RegistrationIssued\"\n  | \"Linked\"\n  | \"Cancelled\"\n  | \"Rejected\"\n  | \"Ambiguous\"\n  | \"Conflict\";\n\nexport type OAuthTupleState = \"Unowned\" | \"Reserved\" | \"Owned\";\nexport type OAuthRegistrationState = \"Unbound\" | \"Registered\" | \"ProvisioningPending\" | \"Rejected\";\nexport type OAuthAction = OAuthActionAuthorization[\"challenge\"][\"action\"];\n\n/** The engine writes every critical column explicitly after applying the pure\n * consumer encoder. Native instant values must roundtrip without precision loss. */\nexport interface OAuthClock {\n  readonly encodeInstant: (millis: number) => unknown;\n  readonly decodeInstant: (value: unknown) => number;\n  /** Actual engine wall clock sampled after locks, not transaction-start time.\n   * PostgreSQL uses clock_timestamp(), never now()/CURRENT_TIMESTAMP. D1 repeats\n   * its primary-engine sample bounds in final guards. Return integer milliseconds. */\n  readonly engineNowMillis: SQL;\n}\n\nexport interface OAuthSubjectReadTable<S extends Table> {\n  readonly table: S;\n  readonly id: Column<S>;\n  readonly status: Column<S>;\n  readonly securityRevision: Column<S>;\n  readonly isActiveStatus: (value: unknown) => boolean;\n  readonly activeCondition: SQL;\n}\n\nexport interface OAuthSubjectTable<S extends Table> extends OAuthSubjectReadTable<S> {\n  readonly decodeActionRequirement: (\n    row: InferSelectModel<S>,\n    action: OAuthAction,\n  ) => AuthenticationRequirement;\n  readonly decodeAuthenticationRequirement: (row: InferSelectModel<S>) => AuthenticationRequirement;\n  readonly nextSecurityRevision: (current: SecurityRevision) => SecurityRevision;\n}\n\nexport interface OAuthOwnershipReadTable<O extends Table, N> {\n  readonly table: O;\n  readonly identityKey: Column<O>;\n  readonly provider: Column<O>;\n  readonly issuer: Column<O>;\n  readonly externalSubject: Column<O>;\n  readonly subjectId: Column<O>;\n  /** Includes Owned state when authority and ownership share a physical table. */\n  readonly ownedCondition: SQL;\n  readonly decodeSubjectId: (row: InferSelectModel<O>) => N;\n}\n\nexport interface OAuthOwnershipTable<O extends Table, N> extends OAuthOwnershipReadTable<O, N> {\n  readonly encodeInsert: (input: {\n    readonly identity: typeof OAuthExternalIdentity.Type;\n    readonly identityKey: string;\n    readonly subjectId: N;\n  }) => InferInsertModel<O>;\n}\n\nexport interface OAuthCredentialReadTable<C extends Table> {\n  readonly table: C;\n  readonly moduleId: Column<C>;\n  readonly credentialId: Column<C>;\n  readonly subjectId: Column<C>;\n  readonly identityKey: Column<C>;\n  readonly credentialRevision: Column<C>;\n  readonly status: Column<C>;\n  readonly isActiveStatus: (value: unknown) => boolean;\n  readonly activeCondition: SQL;\n}\n\nexport interface OAuthCredentialTable<C extends Table, N> extends OAuthCredentialReadTable<C> {\n  readonly encodeInsert: (input: {\n    readonly moduleId: string;\n    readonly subjectId: N;\n    readonly identityKey: string;\n    readonly credentialId: string;\n    readonly credentialRevision: SecurityRevision;\n  }) => InferInsertModel<C>;\n  /** This slice removes login rows. Historical records belong in separate audit storage. */\n  readonly removal: \"delete\";\n}\n\nexport interface OAuthAuthorityReadTable<C extends Table> {\n  readonly table: C;\n  readonly subjectId: Column<C>;\n  readonly credentialId: Column<C>;\n  readonly revision: Column<C>;\n  readonly status: Column<C>;\n  readonly isActiveStatus: (value: unknown) => boolean;\n  readonly activeCondition: SQL;\n}\n\nexport interface OAuthAuthorityTable<C extends Table, N> extends OAuthAuthorityReadTable<C> {\n  readonly encodeInsert: (input: {\n    readonly subjectId: N;\n    readonly credentialId: string;\n    readonly revision: SecurityRevision;\n  }) => InferInsertModel<C>;\n}\n\n/** Both purposes may use the same physical table. Shared tables share module/flow\n * and module/command uniqueness. The snapshot has the exact purpose-specific core\n * codec; terminal writes erase it, while identity, claim and retention columns remain. */\nexport interface OAuthFlowTable<F extends Table> {\n  readonly table: F;\n  readonly moduleId: Column<F>;\n  readonly flowId: Column<F>;\n  readonly commandId: Column<F>;\n  readonly purpose: Column<F>;\n  readonly generation: Column<F>;\n  readonly state: Column<F>;\n  readonly version: Column<F>;\n  readonly stateDigest: Column<F>;\n  readonly binderVerifier: Column<F>;\n  readonly binderExpiresAt: Column<F>;\n  readonly snapshot: Column<F>;\n  readonly issuedAt: Column<F>;\n  readonly expiresAt: Column<F>;\n  readonly claimId: Column<F>;\n  readonly claimedAt: Column<F>;\n  readonly claimExpiresAt: Column<F>;\n  readonly retentionUntil: Column<F>;\n  readonly encodeInsert: (input: {\n    readonly moduleId: string;\n    readonly flowId: string;\n    readonly purpose: \"sign-in\" | \"link\";\n  }) => InferInsertModel<F>;\n}\n\nexport interface OAuthTupleAuthorityTable<T extends Table, N> {\n  readonly table: T;\n  readonly identityKey: Column<T>;\n  readonly provider: Column<T>;\n  readonly issuer: Column<T>;\n  readonly externalSubject: Column<T>;\n  readonly state: Column<T>;\n  readonly version: Column<T>;\n  readonly subjectId: Column<T>;\n  /** Exact reservation identity; no application payload or bearer. */\n  readonly reservation: Column<T>;\n  readonly encodeInsert: (input: {\n    readonly identityKey: string;\n    readonly identity: typeof OAuthExternalIdentity.Type;\n    readonly subjectId?: N;\n  }) => InferInsertModel<T>;\n}\n\nexport interface OAuthRegistrationIntentTable<I extends Table> {\n  readonly table: I;\n  readonly moduleId: Column<I>;\n  readonly reference: Column<I>;\n  readonly flowId: Column<I>;\n  readonly claimId: Column<I>;\n  readonly identityKey: Column<I>;\n  readonly version: Column<I>;\n  readonly state: Column<I>;\n  readonly snapshot: Column<I>;\n  readonly commandId: Column<I>;\n  readonly fingerprint: Column<I>;\n  readonly pendingReference: Column<I>;\n  readonly expiresAt: Column<I>;\n  readonly retentionUntil: Column<I>;\n  readonly encodeInsert: (intent: OAuthRegistrationIntent) => InferInsertModel<I>;\n}\n\nexport interface OAuthRegistrationCommandTable<R extends Table, Registration> {\n  readonly table: R;\n  readonly moduleId: Column<R>;\n  readonly commandId: Column<R>;\n  readonly reference: Column<R>;\n  readonly identityKey: Column<R>;\n  readonly fingerprint: Column<R>;\n  readonly intentSnapshot: Column<R>;\n  readonly applicationSnapshot: Column<R>;\n  readonly provisioningIdentity: Column<R>;\n  readonly decision: Column<R>;\n  readonly retentionUntil: Column<R>;\n  /** Persists exact detached Type before protected pending work can start. */\n  readonly encodeInsert: (input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly commandId: string;\n    readonly fingerprint: string;\n    readonly registration: Registration;\n    readonly provisioningIdentity: string;\n  }) => InferInsertModel<R>;\n}\n\nexport interface OAuthUnlinkCommandTable<U extends Table> {\n  readonly table: U;\n  readonly moduleId: Column<U>;\n  readonly commandId: Column<U>;\n  readonly subjectId: Column<U>;\n  readonly credentialId: Column<U>;\n  readonly intentSnapshot: Column<U>;\n  readonly decision: Column<U>;\n  readonly retentionUntil: Column<U>;\n  readonly encodeInsert: (input: {\n    readonly moduleId: string;\n    readonly commandId: string;\n    readonly credential: OAuthCredentialSnapshot;\n  }) => InferInsertModel<U>;\n}\n\nexport interface OAuthEligibilityFact {\n  readonly credentialId: string;\n  readonly revision: SecurityRevision;\n  readonly usablePrimary: boolean;\n  readonly factors: ReadonlyArray<AuthenticationFactor>;\n  readonly userVerified: boolean;\n  readonly phishingResistant: boolean;\n}\n\n/** Each descriptor reads only its own subject-scoped method rows. The native row\n * projector and SQL condition must express the same installed method eligibility.\n * All source/identifier/policy mutations advance subject securityRevision. D1 also\n * guards exact selected IDs/versions and absence/count assumptions, never just a\n * stale boolean. An over-limit graph fails closed rather than truncating. */\nexport interface OAuthEligibilityTable<T extends Table, N> {\n  readonly table: T;\n  readonly subjectId: Column<T>;\n  readonly credentialId: Column<T>;\n  readonly revision: Column<T>;\n  readonly scope: string;\n  readonly condition: (subjectId: N) => SQL;\n  readonly decode: (row: InferSelectModel<T>) => OAuthEligibilityFact | undefined;\n}\n\n/** Authenticated command replay uses current subject status and this additional\n * nonconsuming SQL policy. It never consumes a fresh action factor. */\nexport interface OAuthMetadataPolicy<N> {\n  readonly condition: (subjectId: N) => SQL;\n}\n\nexport interface OAuthCleanupTable<T extends Table, N> {\n  readonly table: T;\n  readonly subjectId: Column<T>;\n  /** Bound to this subject's old revision; no opaque independently committing service. */\n  readonly condition: (input: {\n    readonly subjectId: N;\n    readonly revision: OAuthAccountRevision;\n    readonly removedCredentialId?: string;\n  }) => SQL;\n  readonly disposition: \"delete\";\n}\n\nexport interface OAuthRegistrationEligibility<N> {\n  /** Pure SQL guards for mutable app policy; evaluated again after app writes. */\n  readonly condition: (input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly nativeSubjectId?: N;\n  }) => SQL;\n}\n\nexport interface OAuthD1Mapping {\n  readonly d1: { readonly primary: true };\n}\n\nexport const requiredOAuthSignInConstraints = {\n  flow: \"unique(flow.moduleId,flow.flowId)\",\n  command: \"unique(flow.moduleId,flow.commandId)\",\n  stateDigest: \"unique(flow.stateDigest)\",\n  ownership: \"unique(ownership.identityKey)\",\n  credentialId: \"unique(credential.credentialId)\",\n  credentialIdentity: \"unique(credential.identityKey)\",\n  authorityCredential: \"unique(authority.subjectId,authority.credentialId)\",\n} as const;\n\nexport const requiredOAuthTupleConstraints = { identityKey: \"unique(tuple.identityKey)\" } as const;\n\nexport const requiredOAuthRegistrationConstraints = {\n  intentReference: \"unique(intent.moduleId,intent.reference)\",\n  intentFlow: \"unique(intent.moduleId,intent.flowId)\",\n  command: \"unique(registrationCommand.moduleId,registrationCommand.commandId)\",\n} as const;\n\nexport const requiredOAuthAccountsConstraints = {\n  unlinkCommand: \"unique(unlinkCommand.moduleId,unlinkCommand.commandId)\",\n} as const;\n\nexport interface OAuthSignInMapping<\n  S extends Table,\n  O extends Table,\n  C extends Table,\n  AC extends Table,\n  F extends Table,\n  N,\n> {\n  readonly subject: OAuthSubjectReadTable<S>;\n  readonly ownership: OAuthOwnershipReadTable<O, N>;\n  readonly credential: OAuthCredentialReadTable<C>;\n  readonly authority: OAuthAuthorityReadTable<AC>;\n  readonly flow: OAuthFlowTable<F>;\n  readonly subjectId: SubjectIdCodec<N>;\n  readonly clock: OAuthClock;\n  readonly constraints: typeof requiredOAuthSignInConstraints;\n}\n\nexport type OAuthOwnershipMutation<T extends Table, O extends Table, N> =\n  | { readonly mode: \"integrated\"; readonly tuple: OAuthTupleAuthorityTable<T, N> }\n  | {\n      readonly mode: \"separate\";\n      readonly tuple: OAuthTupleAuthorityTable<T, N>;\n      readonly external: OAuthOwnershipTable<O, N>;\n    };\n\nexport interface OAuthRegistrationIntentMapping<\n  S extends Table,\n  O extends Table,\n  C extends Table,\n  AC extends Table,\n  F extends Table,\n  T extends Table,\n  I extends Table,\n  N,\n> {\n  readonly signIn: OAuthSignInMapping<S, O, C, AC, F, N>;\n  readonly ownership: OAuthOwnershipMutation<T, O, N>;\n  readonly intent: OAuthRegistrationIntentTable<I>;\n  readonly tupleConstraints: typeof requiredOAuthTupleConstraints;\n  readonly registrationConstraints: Pick<\n    typeof requiredOAuthRegistrationConstraints,\n    \"intentReference\" | \"intentFlow\"\n  >;\n  readonly eligibility: OAuthRegistrationEligibility<N>;\n}\n\nexport interface OAuthRegistrationBase<\n  Registration,\n  T extends Table,\n  O extends Table,\n  I extends Table,\n  R extends Table,\n  N,\n> {\n  readonly ownership: OAuthOwnershipMutation<T, O, N>;\n  readonly intent: OAuthRegistrationIntentTable<I>;\n  readonly command: OAuthRegistrationCommandTable<R, Registration>;\n  readonly clock: OAuthClock;\n  readonly tupleConstraints: typeof requiredOAuthTupleConstraints;\n  readonly constraints: typeof requiredOAuthRegistrationConstraints;\n  readonly inspect: (input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly registration: Registration;\n  }) => Effect.Effect<\n    { readonly fingerprint: string; readonly eligible: boolean },\n    DrizzleMappingError\n  >;\n  /** Required for an explicitly bound native/DO command: no asynchronous callback\n   * is evaluated inside the physical owner. Standalone inspection is pre-owner. */\n  readonly inspectSync?: (input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly registration: Registration;\n  }) => { readonly fingerprint: string; readonly eligible: boolean };\n  /** Type projection, never the original wire transformation. */\n  readonly snapshot: (\n    registration: Registration,\n  ) => Effect.Effect<Registration, DrizzleMappingError>;\n  readonly snapshotSync?: (registration: Registration) => Registration;\n  /** Canonical bounded storage of Registration.Type. These are Type codecs, not\n   * the original wire decoder/encoder; decode(encode(value)) must encode identically.\n   * The engine writes and roundtrip-checks this exact string (maximum 1 MiB). */\n  readonly application: {\n    readonly encode: (registration: Registration) => string;\n    readonly decode: (stored: string) => Registration;\n  };\n  readonly eligibility: {\n    /** Stable application authority anchors, in one configured global order.\n     * Omit only for immutable/tuple-local policy or an equivalent explicit outer\n     * owner lock. Each scope must match 1..64 rows, never an absent quota row.\n     * Locks precede tuple/intent/command locks; postcondition owns changed state. */\n    readonly guards?: ReadonlyArray<OAuthRegistrationGuardDescriptor<Registration, N>>;\n    readonly admission: (input: {\n      readonly intent: OAuthRegistrationIntent;\n      readonly registration: Registration;\n      readonly nativeSubjectId?: N;\n    }) => SQL;\n    /** Evaluated after subject/application writes, including appended coordinator\n     * writes. May assert consumption of the admission invitation/quota. */\n    readonly postcondition: (input: {\n      readonly intent: OAuthRegistrationIntent;\n      readonly registration: Registration;\n      readonly nativeSubjectId?: N;\n    }) => SQL;\n  };\n  readonly allocateProvisioningIdentity: Effect.Effect<string, DrizzleMappingError>;\n  readonly retentionMillis: number;\n}\n\nexport interface OAuthRegistrationGuardTable<T extends Table, Registration, N> {\n  readonly table: T;\n  readonly orderBy: Column<T>;\n  readonly condition: (input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly registration: Registration;\n    readonly nativeSubjectId?: N;\n  }) => SQL;\n}\n\nexport interface OAuthRegistrationGuardDescriptor<Registration, N> {\n  readonly table: Table;\n  readonly orderBy: string;\n  readonly condition: OAuthRegistrationGuardTable<Table, Registration, N>[\"condition\"];\n}\n\nexport const oauthRegistrationGuardTable = <T extends Table, Registration, N>(\n  input: OAuthRegistrationGuardTable<T, Registration, N>,\n): OAuthRegistrationGuardDescriptor<Registration, N> =>\n  Object.freeze({\n    table: input.table,\n    orderBy: input.orderBy,\n    condition: input.condition,\n  });\n\nexport type OAuthRegistrationMapping<\n  Registration,\n  S extends Table,\n  O extends Table,\n  C extends Table,\n  AC extends Table,\n  T extends Table,\n  I extends Table,\n  R extends Table,\n  N,\n> = OAuthRegistrationBase<Registration, T, O, I, R, N> &\n  (\n    | {\n        readonly mode: \"pending\";\n        readonly allocatePendingReference: Effect.Effect<string, DrizzleMappingError>;\n      }\n    | {\n        readonly mode: \"atomic\";\n        readonly subjectId: SubjectIdCodec<N>;\n        readonly subject: OAuthSubjectReadTable<S>;\n        readonly credential: OAuthCredentialTable<C, N>;\n        readonly authority: OAuthAuthorityTable<AC, N>;\n        readonly allocateSubjectId: Effect.Effect<N, DrizzleMappingError>;\n        readonly allocateCredentialId: Effect.Effect<string, DrizzleMappingError>;\n        readonly allocateRevision: Effect.Effect<SecurityRevision, DrizzleMappingError>;\n        readonly encodeSubjectInsert: (\n          input: { readonly intent: OAuthRegistrationIntent; readonly registration: Registration },\n          ids: { readonly subjectId: N; readonly securityRevision: SecurityRevision },\n        ) => InferInsertModel<S>;\n      }\n  );\n\n/** Heterogeneous descriptors are made by typed factories and projected privately. */\nexport interface OAuthEligibilityDescriptor<N> {\n  readonly _tag: \"OAuthEligibilityDescriptor\";\n  readonly scope: string;\n  readonly table: Table;\n  readonly subjectId: string;\n  readonly credentialId: string;\n  readonly revision: string;\n  readonly condition: (subjectId: N) => SQL;\n  readonly decode: (row: unknown) => OAuthEligibilityFact | undefined;\n}\n\nexport const oauthEligibilityTable = <T extends Table, N>(\n  input: OAuthEligibilityTable<T, N>,\n): OAuthEligibilityDescriptor<N> => {\n  const { table, subjectId, credentialId, revision, scope, condition, decode } = input;\n\n  return Object.freeze({\n    _tag: \"OAuthEligibilityDescriptor\",\n    table,\n    subjectId,\n    credentialId,\n    revision,\n    scope,\n    condition,\n    decode: (row: unknown) => decode(row as InferSelectModel<T>),\n  });\n};\n\nexport interface OAuthCleanupDescriptor<N> {\n  readonly table: Table;\n  readonly subjectId: string;\n  readonly condition: OAuthCleanupTable<Table, N>[\"condition\"];\n}\n\nexport const oauthCleanupTable = <T extends Table, N>(\n  input: OAuthCleanupTable<T, N>,\n): OAuthCleanupDescriptor<N> =>\n  Object.freeze({ table: input.table, subjectId: input.subjectId, condition: input.condition });\n\n/** A stable application/reference lock acquired before an ownership target.\n * Missing rows retain ownership. Conditions are synchronous and use detached\n * native IDs; every writer of the guarded reference follows the same order. */\nexport interface OAuthReferenceGuardTable<T extends Table, N> {\n  readonly table: T;\n  readonly orderBy: Column<T>;\n  readonly condition: (input: {\n    readonly identity: typeof OAuthExternalIdentity.Type;\n    readonly identityKey: string;\n    readonly subjectId: N;\n  }) => SQL;\n}\n\nexport interface OAuthReferenceGuardDescriptor<N> {\n  readonly table: Table;\n  readonly orderBy: string;\n  readonly condition: OAuthReferenceGuardTable<Table, N>[\"condition\"];\n}\n\nexport const oauthReferenceGuardTable = <T extends Table, N>(\n  input: OAuthReferenceGuardTable<T, N>,\n): OAuthReferenceGuardDescriptor<N> =>\n  Object.freeze({\n    table: input.table,\n    orderBy: input.orderBy,\n    condition: input.condition,\n  });\n\nexport interface OAuthAccountsMapping<\n  S extends Table,\n  O extends Table,\n  C extends Table,\n  AC extends Table,\n  F extends Table,\n  T extends Table,\n  U extends Table,\n  N,\n> {\n  readonly subject: OAuthSubjectTable<S>;\n  readonly ownership: OAuthOwnershipMutation<T, O, N>;\n  readonly credential: OAuthCredentialTable<C, N>;\n  readonly authority: OAuthAuthorityTable<AC, N>;\n  readonly flow: OAuthFlowTable<F>;\n  readonly command: OAuthUnlinkCommandTable<U>;\n  readonly subjectId: SubjectIdCodec<N>;\n  readonly clock: OAuthClock;\n  readonly constraints: typeof requiredOAuthSignInConstraints &\n    typeof requiredOAuthAccountsConstraints;\n  readonly tupleConstraints: typeof requiredOAuthTupleConstraints;\n  readonly eligibility: ReadonlyArray<OAuthEligibilityDescriptor<N>>;\n  readonly cleanup: ReadonlyArray<OAuthCleanupDescriptor<N>>;\n  readonly metadata: OAuthMetadataPolicy<N>;\n  readonly sessionInvalidation: \"same-authority-immediate\" | \"original-absolute-expiry\";\n  /** Omit only when connected access is absent. A predicate alone conservatively\n   * retains ownership; release also needs all configured guard rows below. */\n  readonly connectedReference?: (input: {\n    readonly identityKey: string;\n    readonly subjectId: N;\n  }) => SQL;\n  /** At most 32 descriptors, each locking 1..64 stable rows in supplied order.\n   * Missing/empty guards retain Owned, even when the reference predicate is false. */\n  readonly connectedReferenceGuards?: ReadonlyArray<OAuthReferenceGuardDescriptor<N>>;\n  readonly allocateCredentialId: Effect.Effect<string, DrizzleMappingError>;\n  readonly allocateRevision: Effect.Effect<SecurityRevision, DrizzleMappingError>;\n}\n\nexport interface OAuthRegistrationAuthority<Registration> {\n  readonly read: (\n    access: import(\"../oauth/registrationModels\").OAuthRegistrationAccess,\n  ) => Effect.Effect<\n    import(\"../oauth/registrationModels\").OAuthRegistrationInspection | undefined,\n    import(\"../oauth/signInErrors\").OAuthUnavailable\n  >;\n  readonly inspect: (input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly registration: Registration;\n  }) => Effect.Effect<\n    { readonly fingerprint: import(\"../Schema\").TokenDigest; readonly eligible: boolean },\n    import(\"../oauth/signInErrors\").OAuthUnavailable\n  >;\n  readonly register: <A>(\n    input: {\n      readonly access: import(\"../oauth/registrationModels\").OAuthRegistrationAccess;\n      readonly intent: OAuthRegistrationIntent;\n      readonly commandId: typeof import(\"../oauth/signInModels\").OAuthCommandId.Type;\n      readonly registration: Registration;\n      readonly fingerprint: import(\"../Schema\").TokenDigest;\n    },\n    prepare: import(\"../oauth/OAuthSignInPersistence\").PrepareOAuthCommit<\n      import(\"../oauth/registrationModels\").OAuthRegistrationDecision,\n      A\n    >,\n  ) => Effect.Effect<\n    import(\"../hooks/commit\").PreparedCommit<A>,\n    import(\"../oauth/signInErrors\").OAuthUnavailable\n  >;\n  readonly cleanup: <A>(\n    input: import(\"../oauth/signInModels\").OAuthCleanupInput,\n    prepare: import(\"../oauth/OAuthSignInPersistence\").PrepareOAuthCommit<\n      { readonly removed: number; readonly hasMore: boolean },\n      A\n    >,\n  ) => Effect.Effect<\n    import(\"../hooks/commit\").PreparedCommit<A>,\n    import(\"../oauth/signInErrors\").OAuthUnavailable\n  >;\n}\n"],"mappings":";AAmRA,MAAa,iCAAiC;CAC5C,MAAM;CACN,SAAS;CACT,aAAa;CACb,WAAW;CACX,cAAc;CACd,oBAAoB;CACpB,qBAAqB;AACvB;AAEA,MAAa,gCAAgC,EAAE,aAAa,4BAA4B;AAExF,MAAa,uCAAuC;CAClD,iBAAiB;CACjB,YAAY;CACZ,SAAS;AACX;AAEA,MAAa,mCAAmC,EAC9C,eAAe,yDACjB;AA+HA,MAAa,+BACX,UAEA,OAAO,OAAO;CACZ,OAAO,MAAM;CACb,SAAS,MAAM;CACf,WAAW,MAAM;AACnB,CAAC;AA8CH,MAAa,yBACX,UACkC;CAClC,MAAM,EAAE,OAAO,WAAW,cAAc,UAAU,OAAO,WAAW,WAAW;CAE/E,OAAO,OAAO,OAAO;EACnB,MAAM;EACN;EACA;EACA;EACA;EACA;EACA;EACA,SAAS,QAAiB,OAAO,GAA0B;CAC7D,CAAC;AACH;AAQA,MAAa,qBACX,UAEA,OAAO,OAAO;CAAE,OAAO,MAAM;CAAO,WAAW,MAAM;CAAW,WAAW,MAAM;AAAU,CAAC;AAqB9F,MAAa,4BACX,UAEA,OAAO,OAAO;CACZ,OAAO,MAAM;CACb,SAAS,MAAM;CACf,WAAW,MAAM;AACnB,CAAC"}

package/dist/drizzle/oauth-mysql.mjs

@@ -0,0 +1,8 @@
+import { unavailable } from "./oauth-state.mjs";
+import { mysqlTransaction } from "./transaction-mysql.mjs";
+//#region src/drizzle/oauth-mysql.ts
+const mysqlOAuthTransaction = (database, body) => mysqlTransaction(unavailable, database, body);
+//#endregion
+export { mysqlOAuthTransaction };
+
+//# sourceMappingURL=oauth-mysql.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"oauth-mysql.mjs","names":[],"sources":["../../src/drizzle/oauth-mysql.ts"],"sourcesContent":["/* oxlint-disable no-explicit-any -- private native transaction adapter. */\nimport type { Effect } from \"effect\";\n\nimport { unavailable } from \"./oauth-state\";\nimport { mysqlTransaction } from \"./transaction-mysql\";\n\nexport const mysqlOAuthTransaction = <A, E, R>(\n  database: any,\n  body: (transaction: any) => Effect.Effect<A, E, R>,\n) => mysqlTransaction(unavailable, database, body);\n"],"mappings":";;;AAMA,MAAa,yBACX,UACA,SACG,iBAAiB,aAAa,UAAU,IAAI"}

package/dist/drizzle/oauth-owner.d.mts

@@ -0,0 +1,4 @@
+import "../hooks/commit.mjs";
+import "../oauth/signInErrors.mjs";
+import "./transaction-owner.mjs";
+import { Context } from "effect";

package/dist/drizzle/oauth-owner.mjs

@@ -0,0 +1,10 @@
+import { unavailable } from "./oauth-state.mjs";
+import { both, makeTransactionRows } from "./transaction-owner.mjs";
+import { Context } from "effect";
+//#region src/drizzle/oauth-owner.ts
+const { col, equal, copiedRow, matchesNativeRow } = makeTransactionRows(unavailable);
+var CurrentOAuthTransaction = class extends Context.Service()("effect-auth/drizzle/CurrentOAuthTransaction") {};
+//#endregion
+export { CurrentOAuthTransaction, both, col, copiedRow, equal, matchesNativeRow };
+
+//# sourceMappingURL=oauth-owner.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"oauth-owner.mjs","names":[],"sources":["../../src/drizzle/oauth-owner.ts"],"sourcesContent":["/* oxlint-disable no-explicit-any -- private adapter preserves the existing driver boundary. */\nimport { Context } from \"effect\";\n\nimport type { CommitJournal } from \"../hooks/commit\";\nimport type { OAuthUnavailable } from \"../oauth/signInErrors\";\nimport { unavailable } from \"./oauth-state\";\nimport {\n  makeTransactionOwner,\n  makeTransactionRows,\n  type TransactionNativeDatabase,\n  type TransactionOwner,\n} from \"./transaction-owner\";\n\nexport { both, type Observation, type Row } from \"./transaction-owner\";\nexport const { col, equal, copiedRow, matchesNativeRow } = makeTransactionRows(unavailable);\nexport type OAuthOwner = TransactionOwner<OAuthUnavailable>;\n\nexport class CurrentOAuthTransaction extends Context.Service<CurrentOAuthTransaction, OAuthOwner>()(\n  \"effect-auth/drizzle/CurrentOAuthTransaction\",\n) {}\n\nexport type OAuthNativeDatabase = TransactionNativeDatabase;\n\nexport const makeOAuthOwner = (\n  database: any,\n  journal: CommitJournal,\n  marker: string,\n  configuration: Parameters<typeof makeTransactionOwner>[4],\n): OAuthOwner => makeTransactionOwner(database, journal, marker, unavailable, configuration);\n"],"mappings":";;;;AAcA,MAAa,EAAE,KAAK,OAAO,WAAW,qBAAqB,oBAAoB,WAAW;AAG1F,IAAa,0BAAb,cAA6C,QAAQ,QAA6C,CAAC,CACjG,6CACF,CAAC,CAAC,CAAC"}

package/dist/drizzle/oauth-registration.d.mts

@@ -0,0 +1,8 @@
+import "./model.mjs";
+import "../oauth/registrationModels.mjs";
+import "../oauth/signInModels.mjs";
+import "./oauth-model.mjs";
+import "../OAuth.mjs";
+import "./transaction-owner.mjs";
+import "./oauth-owner.mjs";
+import { Effect } from "effect";

package/dist/drizzle/oauth-registration.mjs

@@ -0,0 +1,375 @@
+import { OAuthCredentialSnapshot, OAuthSignInTransactionContext } from "../oauth/signInModels.mjs";
+import { OAuthRegistrationAccess, OAuthRegistrationDecision, OAuthRegistrationFingerprint, OAuthRegistrationInspection, OAuthRegistrationIntent } from "../oauth/registrationModels.mjs";
+import { snapshotOAuthSync } from "../oauth/signInSnapshot.mjs";
+import { invariant, oauthIdentityKey, sameIdentity, storage } from "./oauth-state.mjs";
+import { both } from "./transaction-owner.mjs";
+import { CurrentOAuthTransaction, col, equal, matchesNativeRow } from "./oauth-owner.mjs";
+import { discoverOwned, exactClaim, resolveOwned, terminalFlow } from "./oauth-flow.mjs";
+import { Effect, Schema } from "effect";
+import { eq, sql } from "drizzle-orm";
+//#region src/drizzle/oauth-registration.ts
+const intentStorage = storage(OAuthRegistrationIntent);
+const decisionStorage = storage(OAuthRegistrationDecision);
+const contextStorage = storage(OAuthSignInTransactionContext);
+const reservationStorage = storage(Schema.Struct({
+	moduleId: Schema.String,
+	reference: Schema.String,
+	commandId: Schema.String,
+	fingerprint: Schema.String,
+	provisioningIdentity: Schema.String
+}));
+const readTuple = (ownership, identity) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
+	const t = ownership.tuple, key = oauthIdentityKey(identity);
+	const where = { [t.identityKey]: key };
+	const observed = yield* owner.read(t.table, equal(t.table, where), { limit: 1 });
+	if (observed.rows.length === 0) {
+		const values = {
+			...t.encodeInsert({
+				identityKey: key,
+				identity
+			}),
+			...where,
+			[t.provider]: identity.provider,
+			[t.issuer]: identity.issuer,
+			[t.externalSubject]: identity.subject,
+			[t.state]: "Unowned",
+			[t.version]: owner.marker,
+			[t.subjectId]: null,
+			[t.reservation]: null
+		};
+		observed.rows = (yield* owner.insert(t.table, values, where, true)).rows;
+	}
+	const row = observed.rows[0];
+	invariant(row[t.provider] === identity.provider && row[t.issuer] === identity.issuer && row[t.externalSubject] === identity.subject && [
+		"Unowned",
+		"Reserved",
+		"Owned"
+	].includes(row[t.state]));
+	invariant(row[t.state] === "Owned" ? row[t.subjectId] !== null : row[t.subjectId] === null && (row[t.state] === "Reserved" ? typeof row[t.reservation] === "string" : row[t.reservation] === null));
+	if (ownership.mode === "separate") {
+		const o = ownership.external;
+		const external = yield* owner.read(o.table, equal(o.table, { [o.identityKey]: key }), { limit: 1 });
+		if (row[t.state] === "Owned") {
+			const linked = external.rows[0];
+			invariant(linked !== void 0 && linked[o.provider] === identity.provider && linked[o.issuer] === identity.issuer && linked[o.externalSubject] === identity.subject && matchesNativeRow(o.table, linked, { [o.subjectId]: row[t.subjectId] }));
+			const owned = sql`exists(select 1 from ${o.table} where ${both(equal(o.table, { [o.identityKey]: key }), o.ownedCondition)})`;
+			invariant(yield* owner.check(owned));
+			owner.postconditions.push(owned);
+		} else invariant(external.rows.length === 0);
+	}
+	return {
+		observed,
+		row,
+		key
+	};
+}));
+const acquireTuple = (ownership, identity, key, subjectId) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
+	const t = ownership.tuple;
+	yield* owner.update(t.table, { [t.identityKey]: key }, {
+		[t.state]: "Owned",
+		[t.subjectId]: subjectId,
+		[t.reservation]: null,
+		[t.version]: owner.marker
+	});
+	if (ownership.mode === "separate") {
+		const o = ownership.external;
+		const values = {
+			...o.encodeInsert({
+				identity,
+				identityKey: key,
+				subjectId
+			}),
+			[o.identityKey]: key,
+			[o.provider]: identity.provider,
+			[o.issuer]: identity.issuer,
+			[o.externalSubject]: identity.subject,
+			[o.subjectId]: subjectId
+		};
+		yield* owner.insert(o.table, values, { [o.identityKey]: key });
+	}
+}));
+const settleRegistrationIntent = (mapping, input) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
+	const identity = input.identity.identity, context = input.claim.flow.context;
+	invariant(identity.provider === context.provider && identity.issuer === context.issuer);
+	const found = yield* discoverOwned(mapping.signIn, identity);
+	const tuple = found.owned ? void 0 : yield* readTuple(mapping.ownership, identity);
+	const exact = yield* exactClaim(mapping.signIn, input.claim, "sign-in");
+	if (exact === void 0) return { _tag: "Rejected" };
+	const credential = resolveOwned(mapping.signIn, context.moduleId, identity, found);
+	if (credential !== void 0) {
+		yield* terminalFlow(mapping.signIn, input.claim.flow, "Verified");
+		return {
+			_tag: "Verified",
+			credential
+		};
+	}
+	let decision = { _tag: "Rejected" };
+	if (!found.owned && tuple?.row[mapping.ownership.tuple.state] === "Unowned" && input.intent !== void 0) {
+		const intent = snapshotOAuthSync(OAuthRegistrationIntent, input.intent);
+		const c = intent.context;
+		invariant(sameIdentity(intent.identity, identity) && intent.claimId === input.claim.claimId && intent.claimedAtMillis === input.claim.claimedAtMillis && contextStorage.encode(c) === contextStorage.encode(context));
+		if (intent.issuedAtMillis >= intent.claimedAtMillis && intent.verifiedAtMillis <= intent.issuedAtMillis && intent.issuedAtMillis <= exact.now && exact.now < intent.expiresAtMillis && intent.expiresAtMillis <= c.requestBindingExpiresAtMillis && intent.retentionUntilMillis >= intent.expiresAtMillis && (yield* owner.check(mapping.eligibility.condition({ intent })))) {
+			const i = mapping.intent, encode = mapping.signIn.clock.encodeInstant;
+			const key = {
+				[i.moduleId]: c.moduleId,
+				[i.reference]: intent.reference
+			};
+			const values = {
+				...i.encodeInsert(snapshotOAuthSync(OAuthRegistrationIntent, intent)),
+				...key,
+				[i.flowId]: c.flowId,
+				[i.claimId]: intent.claimId,
+				[i.identityKey]: tuple.key,
+				[i.version]: owner.marker,
+				[i.state]: "Unbound",
+				[i.snapshot]: intentStorage.encode(intent),
+				[i.commandId]: null,
+				[i.fingerprint]: null,
+				[i.pendingReference]: null,
+				[i.expiresAt]: encode(intent.expiresAtMillis),
+				[i.retentionUntil]: encode(intent.retentionUntilMillis)
+			};
+			yield* owner.insert(i.table, values, key);
+			owner.postconditions.push(mapping.eligibility.condition({ intent }), sql`${mapping.signIn.clock.engineNowMillis} >= ${intent.issuedAtMillis} and
+            ${mapping.signIn.clock.engineNowMillis} < ${intent.expiresAtMillis}`);
+			decision = {
+				_tag: "RegistrationIssued",
+				intent
+			};
+		}
+	}
+	yield* terminalFlow(mapping.signIn, input.claim.flow, decision._tag);
+	return decision;
+}));
+const inspectIntent = (mapping, original, discovery = false) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
+	const access = snapshotOAuthSync(OAuthRegistrationAccess, original), i = mapping.intent;
+	const observed = yield* owner.read(i.table, equal(i.table, {
+		[i.moduleId]: access.moduleId,
+		[i.reference]: access.reference
+	}), {
+		limit: 1,
+		...discovery ? {
+			lock: false,
+			observe: false
+		} : {}
+	});
+	const row = observed.rows[0];
+	if (row === void 0) return void 0;
+	const intent = intentStorage.decode(row[i.snapshot]), c = intent.context, now = yield* owner.now(mapping.clock);
+	invariant(row[i.moduleId] === c.moduleId && row[i.reference] === intent.reference && row[i.flowId] === c.flowId && row[i.claimId] === intent.claimId && row[i.identityKey] === oauthIdentityKey(intent.identity) && mapping.clock.decodeInstant(row[i.expiresAt]) === intent.expiresAtMillis && mapping.clock.decodeInstant(row[i.retentionUntil]) === intent.retentionUntilMillis);
+	if (access.moduleId !== c.moduleId || access.reference !== intent.reference || access.flowId !== c.flowId || access.requestBindingVerifier !== c.requestBindingVerifier || access.requestBindingExpiresAtMillis !== c.requestBindingExpiresAtMillis || access.credentialDigest !== intent.credentialDigest || now < intent.issuedAtMillis || now >= intent.expiresAtMillis) return void 0;
+	let application;
+	if (row[i.state] === "Unbound") {
+		invariant(row[i.commandId] === null && row[i.fingerprint] === null && row[i.pendingReference] === null);
+		application = { _tag: "Unbound" };
+	} else application = {
+		_tag: row[i.state],
+		commandId: row[i.commandId],
+		fingerprint: row[i.fingerprint],
+		...row[i.state] === "ProvisioningPending" ? { reference: row[i.pendingReference] } : {}
+	};
+	const inspection = snapshotOAuthSync(OAuthRegistrationInspection, {
+		intent,
+		application
+	});
+	owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${intent.issuedAtMillis} and
+      ${mapping.clock.engineNowMillis} < ${intent.expiresAtMillis}`);
+	return {
+		observed,
+		row,
+		inspection
+	};
+}));
+const registrationResources = (mapping) => Effect.gen(function* () {
+	const provisioningIdentity = yield* mapping.allocateProvisioningIdentity;
+	invariant(typeof provisioningIdentity === "string" && provisioningIdentity.length > 0 && provisioningIdentity.length <= 256);
+	if (mapping.mode === "pending") {
+		const pendingReference = yield* mapping.allocatePendingReference;
+		invariant(typeof pendingReference === "string" && pendingReference.length > 0 && pendingReference.length <= 256);
+		return {
+			provisioningIdentity,
+			pendingReference
+		};
+	}
+	const subjectId = yield* mapping.allocateSubjectId;
+	const publicId = yield* mapping.subjectId.toSubject(subjectId);
+	invariant(mapping.subjectId.equals(subjectId, yield* mapping.subjectId.toNative(publicId)));
+	return {
+		provisioningIdentity,
+		subjectId,
+		credentialId: snapshotOAuthSync(OAuthCredentialSnapshot.fields.credentialId, yield* mapping.allocateCredentialId),
+		revision: snapshotOAuthSync(OAuthCredentialSnapshot.fields.credentialRevision, yield* mapping.allocateRevision)
+	};
+});
+const registrationData = (mapping, input, bound) => Effect.gen(function* () {
+	const snapshot = bound ? (invariant(mapping.snapshotSync !== void 0), mapping.snapshotSync(input.registration)) : yield* mapping.snapshot(input.registration);
+	const encoded = mapping.application.encode(snapshot);
+	invariant(typeof encoded === "string" && new TextEncoder().encode(encoded).length <= 1048576);
+	const detached = mapping.application.decode(encoded);
+	invariant(mapping.application.encode(detached) === encoded);
+	const checked = bound ? (invariant(mapping.inspectSync !== void 0), mapping.inspectSync({
+		intent: snapshotOAuthSync(OAuthRegistrationIntent, input.intent),
+		registration: mapping.application.decode(encoded)
+	})) : yield* mapping.inspect({
+		intent: snapshotOAuthSync(OAuthRegistrationIntent, input.intent),
+		registration: mapping.application.decode(encoded)
+	});
+	const fingerprint = snapshotOAuthSync(OAuthRegistrationFingerprint, checked.fingerprint);
+	invariant(typeof checked.eligible === "boolean");
+	return {
+		encoded,
+		registration: detached,
+		fingerprint,
+		eligible: checked.eligible && fingerprint === input.fingerprint
+	};
+});
+const register = (mapping, input, data, resources) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
+	const intent = snapshotOAuthSync(OAuthRegistrationIntent, input.intent), c = intent.context;
+	const discovered = yield* inspectIntent(mapping, input.access, true);
+	if (discovered === void 0 || intentStorage.encode(discovered.inspection.intent) !== intentStorage.encode(intent)) return { _tag: "Rejected" };
+	const nativeSubjectId = resources.subjectId;
+	const policyInput = () => ({
+		intent: snapshotOAuthSync(OAuthRegistrationIntent, intent),
+		registration: mapping.application.decode(data.encoded),
+		...mapping.mode === "atomic" ? { nativeSubjectId } : {}
+	});
+	invariant((mapping.eligibility.guards?.length ?? 0) <= 32);
+	for (const guard of mapping.eligibility.guards ?? []) {
+		const locked = yield* owner.read(guard.table, guard.condition(policyInput()), {
+			orderBy: col(guard.table, guard.orderBy),
+			admissionOnly: true
+		});
+		invariant(locked.rows.length > 0);
+	}
+	const tuple = yield* readTuple(mapping.ownership, intent.identity);
+	const inspected = yield* inspectIntent(mapping, input.access);
+	if (inspected === void 0 || intentStorage.encode(inspected.inspection.intent) !== intentStorage.encode(intent)) return { _tag: "Rejected" };
+	const r = mapping.command, i = mapping.intent, t = mapping.ownership.tuple;
+	const commandKey = {
+		[r.moduleId]: c.moduleId,
+		[r.commandId]: input.commandId
+	};
+	const command = yield* owner.read(r.table, equal(r.table, commandKey), { limit: 1 });
+	const previous = command.rows[0];
+	if (previous !== void 0) {
+		if (previous[r.reference] !== intent.reference || previous[r.identityKey] !== tuple.key || previous[r.fingerprint] !== data.fingerprint || previous[r.intentSnapshot] !== intentStorage.encode(intent) || previous[r.applicationSnapshot] !== data.encoded) return { _tag: "Conflict" };
+		invariant(mapping.application.encode(mapping.application.decode(previous[r.applicationSnapshot])) === data.encoded);
+		const old = decisionStorage.decode(previous[r.decision]);
+		invariant(inspected.inspection.application._tag === old._tag);
+		return old._tag === "Registered" || old._tag === "ProvisioningPending" ? {
+			...old,
+			replayed: true
+		} : old;
+	}
+	if (inspected.inspection.application._tag !== "Unbound" || tuple.row[t.state] !== "Unowned") return { _tag: "Conflict" };
+	if (data.fingerprint !== input.fingerprint) return { _tag: "Rejected" };
+	const admitted = data.eligible && (yield* owner.check(mapping.eligibility.admission(policyInput())));
+	let decision;
+	if (!admitted) decision = { _tag: "Rejected" };
+	else if (mapping.mode === "pending") {
+		invariant(resources.pendingReference !== void 0);
+		const reservation = reservationStorage.encode({
+			moduleId: c.moduleId,
+			reference: intent.reference,
+			commandId: input.commandId,
+			fingerprint: data.fingerprint,
+			provisioningIdentity: resources.provisioningIdentity
+		});
+		yield* owner.update(t.table, { [t.identityKey]: tuple.key }, {
+			[t.state]: "Reserved",
+			[t.version]: owner.marker,
+			[t.reservation]: reservation
+		});
+		decision = {
+			_tag: "ProvisioningPending",
+			reference: resources.pendingReference,
+			replayed: false
+		};
+	} else {
+		invariant(resources.credentialId !== void 0 && resources.revision !== void 0);
+		const s = mapping.subject, cr = mapping.credential, a = mapping.authority;
+		const subjectValues = {
+			...mapping.encodeSubjectInsert(policyInput(), {
+				subjectId: nativeSubjectId,
+				securityRevision: resources.revision
+			}),
+			[s.id]: nativeSubjectId,
+			[s.securityRevision]: resources.revision
+		};
+		yield* owner.insert(s.table, subjectValues, { [s.id]: nativeSubjectId });
+		const credentialValues = {
+			...cr.encodeInsert({
+				moduleId: c.moduleId,
+				subjectId: nativeSubjectId,
+				identityKey: tuple.key,
+				credentialId: resources.credentialId,
+				credentialRevision: resources.revision
+			}),
+			[cr.moduleId]: c.moduleId,
+			[cr.subjectId]: nativeSubjectId,
+			[cr.identityKey]: tuple.key,
+			[cr.credentialId]: resources.credentialId,
+			[cr.credentialRevision]: resources.revision
+		};
+		invariant(cr.isActiveStatus(credentialValues[cr.status]) && s.isActiveStatus(subjectValues[s.status]));
+		yield* owner.insert(cr.table, credentialValues, { [cr.credentialId]: resources.credentialId });
+		const authorityValues = {
+			...a.encodeInsert({
+				subjectId: nativeSubjectId,
+				credentialId: resources.credentialId,
+				revision: resources.revision
+			}),
+			[a.subjectId]: nativeSubjectId,
+			[a.credentialId]: resources.credentialId,
+			[a.revision]: resources.revision
+		};
+		invariant(a.isActiveStatus(authorityValues[a.status]));
+		yield* owner.insert(a.table, authorityValues, {
+			[a.subjectId]: nativeSubjectId,
+			[a.credentialId]: resources.credentialId
+		});
+		yield* acquireTuple(mapping.ownership, intent.identity, tuple.key, nativeSubjectId);
+		owner.postconditions.push(sql`exists(select 1 from ${s.table} where ${both(eq(col(s.table, s.id), nativeSubjectId), s.activeCondition)})`, sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), resources.credentialId), cr.activeCondition)})`, sql`exists(select 1 from ${a.table} where ${both(eq(col(a.table, a.credentialId), resources.credentialId), eq(col(a.table, a.subjectId), nativeSubjectId), a.activeCondition)})`);
+		decision = {
+			_tag: "Registered",
+			replayed: false
+		};
+	}
+	const now = yield* owner.now(mapping.clock);
+	invariant(Number.isSafeInteger(mapping.retentionMillis) && mapping.retentionMillis >= 12e4);
+	const values = {
+		...r.encodeInsert({
+			intent: snapshotOAuthSync(OAuthRegistrationIntent, intent),
+			commandId: input.commandId,
+			fingerprint: data.fingerprint,
+			registration: mapping.application.decode(data.encoded),
+			provisioningIdentity: resources.provisioningIdentity
+		}),
+		...commandKey,
+		[r.reference]: intent.reference,
+		[r.identityKey]: tuple.key,
+		[r.fingerprint]: data.fingerprint,
+		[r.intentSnapshot]: intentStorage.encode(intent),
+		[r.applicationSnapshot]: data.encoded,
+		[r.provisioningIdentity]: resources.provisioningIdentity,
+		[r.decision]: decisionStorage.encode(decision),
+		[r.retentionUntil]: mapping.clock.encodeInstant(Math.max(intent.retentionUntilMillis, now + mapping.retentionMillis))
+	};
+	command.rows = (yield* owner.insert(r.table, values, commandKey)).rows;
+	yield* owner.update(i.table, {
+		[i.moduleId]: c.moduleId,
+		[i.reference]: intent.reference
+	}, {
+		[i.state]: decision._tag,
+		[i.commandId]: input.commandId,
+		[i.fingerprint]: data.fingerprint,
+		[i.version]: owner.marker,
+		[i.pendingReference]: decision._tag === "ProvisioningPending" ? decision.reference : null
+	});
+	if (admitted) owner.postconditions.push(mapping.eligibility.postcondition(policyInput()));
+	return decision;
+}));
+//#endregion
+export { acquireTuple, inspectIntent, intentStorage, readTuple, register, registrationData, registrationResources, settleRegistrationIntent };
+
+//# sourceMappingURL=oauth-registration.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"oauth-registration.mjs","names":[],"sources":["../../src/drizzle/oauth-registration.ts"],"sourcesContent":["/* oxlint-disable no-explicit-any -- private owner kernel preserves Registration at the exported constructor. */\nimport { eq, sql } from \"drizzle-orm\";\nimport { Effect, Schema } from \"effect\";\n\nimport {\n  OAuthRegistrationAccess,\n  OAuthRegistrationDecision,\n  OAuthRegistrationFingerprint,\n  OAuthRegistrationInspection,\n  OAuthRegistrationIntent,\n} from \"../oauth/registrationModels\";\nimport {\n  OAuthCredentialSnapshot,\n  OAuthSignInTransactionContext,\n  type OAuthExternalIdentity,\n} from \"../oauth/signInModels\";\nimport { snapshotOAuthSync } from \"../oauth/signInSnapshot\";\nimport type { SecurityRevision } from \"../sessions/models\";\nimport type { DrizzleMappingError, SubjectIdCodec } from \"./model\";\nimport { discoverOwned, exactClaim, resolveOwned, terminalFlow } from \"./oauth-flow\";\nimport type { OAuthRegistrationBase } from \"./oauth-model\";\nimport { both, col, equal, matchesNativeRow, CurrentOAuthTransaction } from \"./oauth-owner\";\nimport { invariant, oauthIdentityKey, sameIdentity, storage } from \"./oauth-state\";\n\nexport const intentStorage = storage(OAuthRegistrationIntent);\nconst decisionStorage = storage(OAuthRegistrationDecision);\nconst contextStorage = storage(OAuthSignInTransactionContext);\n\nconst reservationStorage = storage(\n  Schema.Struct({\n    moduleId: Schema.String,\n    reference: Schema.String,\n    commandId: Schema.String,\n    fingerprint: Schema.String,\n    provisioningIdentity: Schema.String,\n  }),\n);\n\nexport const readTuple = (ownership: any, identity: typeof OAuthExternalIdentity.Type) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const t = ownership.tuple,\n        key = oauthIdentityKey(identity);\n\n      const where = { [t.identityKey]: key };\n      const observed = yield* owner.read(t.table, equal(t.table, where), { limit: 1 });\n\n      if (observed.rows.length === 0) {\n        const values = {\n          ...t.encodeInsert({ identityKey: key, identity }),\n          ...where,\n          [t.provider]: identity.provider,\n          [t.issuer]: identity.issuer,\n          [t.externalSubject]: identity.subject,\n          [t.state]: \"Unowned\",\n          [t.version]: owner.marker,\n          [t.subjectId]: null,\n          [t.reservation]: null,\n        };\n\n        const inserted = yield* owner.insert(t.table, values, where, true);\n\n        observed.rows = inserted.rows;\n      }\n      const row = observed.rows[0]!;\n\n      invariant(\n        row[t.provider] === identity.provider &&\n          row[t.issuer] === identity.issuer &&\n          row[t.externalSubject] === identity.subject &&\n          [\"Unowned\", \"Reserved\", \"Owned\"].includes(row[t.state]),\n      );\n      invariant(\n        row[t.state] === \"Owned\"\n          ? row[t.subjectId] !== null\n          : row[t.subjectId] === null &&\n              (row[t.state] === \"Reserved\"\n                ? typeof row[t.reservation] === \"string\"\n                : row[t.reservation] === null),\n      );\n      if (ownership.mode === \"separate\") {\n        const o = ownership.external;\n\n        const external = yield* owner.read(o.table, equal(o.table, { [o.identityKey]: key }), {\n          limit: 1,\n        });\n\n        if (row[t.state] === \"Owned\") {\n          const linked = external.rows[0];\n\n          invariant(\n            linked !== undefined &&\n              linked[o.provider] === identity.provider &&\n              linked[o.issuer] === identity.issuer &&\n              linked[o.externalSubject] === identity.subject &&\n              matchesNativeRow(o.table, linked, { [o.subjectId]: row[t.subjectId] }),\n          );\n          const owned = sql`exists(select 1 from ${o.table} where ${both(equal(o.table, { [o.identityKey]: key }), o.ownedCondition)})`;\n\n          invariant(yield* owner.check(owned));\n          owner.postconditions.push(owned);\n        } else invariant(external.rows.length === 0);\n      }\n\n      return { observed, row, key };\n    }),\n  );\n\nexport const acquireTuple = (\n  ownership: any,\n  identity: typeof OAuthExternalIdentity.Type,\n  key: string,\n  subjectId: unknown,\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const t = ownership.tuple;\n\n      yield* owner.update(\n        t.table,\n        { [t.identityKey]: key },\n        {\n          [t.state]: \"Owned\",\n          [t.subjectId]: subjectId,\n          [t.reservation]: null,\n          [t.version]: owner.marker,\n        },\n      );\n      if (ownership.mode === \"separate\") {\n        const o = ownership.external;\n\n        const values = {\n          ...o.encodeInsert({ identity, identityKey: key, subjectId }),\n          [o.identityKey]: key,\n          [o.provider]: identity.provider,\n          [o.issuer]: identity.issuer,\n          [o.externalSubject]: identity.subject,\n          [o.subjectId]: subjectId,\n        };\n\n        yield* owner.insert(o.table, values, { [o.identityKey]: key });\n      }\n    }),\n  );\n\nexport const settleRegistrationIntent = (mapping: any, input: any) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const identity = input.identity.identity,\n        context = input.claim.flow.context;\n\n      invariant(identity.provider === context.provider && identity.issuer === context.issuer);\n      const found = yield* discoverOwned(mapping.signIn, identity);\n      const tuple = found.owned ? undefined : yield* readTuple(mapping.ownership, identity);\n      const exact = yield* exactClaim(mapping.signIn, input.claim, \"sign-in\");\n\n      if (exact === undefined) return { _tag: \"Rejected\" } as const;\n      const credential = resolveOwned(mapping.signIn, context.moduleId, identity, found);\n\n      if (credential !== undefined) {\n        yield* terminalFlow(mapping.signIn, input.claim.flow, \"Verified\");\n\n        return { _tag: \"Verified\", credential } as const;\n      }\n      let decision: any = { _tag: \"Rejected\" };\n\n      if (\n        !found.owned &&\n        tuple?.row[mapping.ownership.tuple.state] === \"Unowned\" &&\n        input.intent !== undefined\n      ) {\n        const intent = snapshotOAuthSync(OAuthRegistrationIntent, input.intent);\n        const c = intent.context;\n\n        invariant(\n          sameIdentity(intent.identity, identity) &&\n            intent.claimId === input.claim.claimId &&\n            intent.claimedAtMillis === input.claim.claimedAtMillis &&\n            contextStorage.encode(c) === contextStorage.encode(context),\n        );\n\n        const allowed =\n          intent.issuedAtMillis >= intent.claimedAtMillis &&\n          intent.verifiedAtMillis <= intent.issuedAtMillis &&\n          intent.issuedAtMillis <= exact.now &&\n          exact.now < intent.expiresAtMillis &&\n          intent.expiresAtMillis <= c.requestBindingExpiresAtMillis &&\n          intent.retentionUntilMillis >= intent.expiresAtMillis &&\n          (yield* owner.check(mapping.eligibility.condition({ intent })));\n\n        if (allowed) {\n          const i = mapping.intent,\n            encode = mapping.signIn.clock.encodeInstant;\n\n          const key = { [i.moduleId]: c.moduleId, [i.reference]: intent.reference };\n\n          const values = {\n            ...i.encodeInsert(snapshotOAuthSync(OAuthRegistrationIntent, intent)),\n            ...key,\n            [i.flowId]: c.flowId,\n            [i.claimId]: intent.claimId,\n            [i.identityKey]: tuple.key,\n            [i.version]: owner.marker,\n            [i.state]: \"Unbound\",\n            [i.snapshot]: intentStorage.encode(intent),\n            [i.commandId]: null,\n            [i.fingerprint]: null,\n            [i.pendingReference]: null,\n            [i.expiresAt]: encode(intent.expiresAtMillis),\n            [i.retentionUntil]: encode(intent.retentionUntilMillis),\n          };\n\n          yield* owner.insert(i.table, values, key);\n          owner.postconditions.push(\n            mapping.eligibility.condition({ intent }),\n            sql`${mapping.signIn.clock.engineNowMillis} >= ${intent.issuedAtMillis} and\n            ${mapping.signIn.clock.engineNowMillis} < ${intent.expiresAtMillis}`,\n          );\n          decision = { _tag: \"RegistrationIssued\", intent };\n        }\n      }\n      yield* terminalFlow(mapping.signIn, input.claim.flow, decision._tag);\n\n      return decision;\n    }),\n  );\n\nexport const inspectIntent = (\n  mapping: any,\n  original: typeof OAuthRegistrationAccess.Type,\n  discovery = false,\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const access = snapshotOAuthSync(OAuthRegistrationAccess, original),\n        i = mapping.intent;\n\n      const observed = yield* owner.read(\n        i.table,\n        equal(i.table, {\n          [i.moduleId]: access.moduleId,\n          [i.reference]: access.reference,\n        }),\n        { limit: 1, ...(discovery ? { lock: false, observe: false } : {}) },\n      );\n\n      const row = observed.rows[0];\n\n      if (row === undefined) return undefined;\n\n      const intent = intentStorage.decode(row[i.snapshot]),\n        c = intent.context,\n        now = yield* owner.now(mapping.clock);\n\n      invariant(\n        row[i.moduleId] === c.moduleId &&\n          row[i.reference] === intent.reference &&\n          row[i.flowId] === c.flowId &&\n          row[i.claimId] === intent.claimId &&\n          row[i.identityKey] === oauthIdentityKey(intent.identity) &&\n          mapping.clock.decodeInstant(row[i.expiresAt]) === intent.expiresAtMillis &&\n          mapping.clock.decodeInstant(row[i.retentionUntil]) === intent.retentionUntilMillis,\n      );\n      if (\n        access.moduleId !== c.moduleId ||\n        access.reference !== intent.reference ||\n        access.flowId !== c.flowId ||\n        access.requestBindingVerifier !== c.requestBindingVerifier ||\n        access.requestBindingExpiresAtMillis !== c.requestBindingExpiresAtMillis ||\n        access.credentialDigest !== intent.credentialDigest ||\n        now < intent.issuedAtMillis ||\n        now >= intent.expiresAtMillis\n      )\n        return undefined;\n      let application: any;\n\n      if (row[i.state] === \"Unbound\") {\n        invariant(\n          row[i.commandId] === null &&\n            row[i.fingerprint] === null &&\n            row[i.pendingReference] === null,\n        );\n        application = { _tag: \"Unbound\" };\n      } else {\n        application = {\n          _tag: row[i.state],\n          commandId: row[i.commandId],\n          fingerprint: row[i.fingerprint],\n          ...(row[i.state] === \"ProvisioningPending\" ? { reference: row[i.pendingReference] } : {}),\n        };\n      }\n      const inspection = snapshotOAuthSync(OAuthRegistrationInspection, { intent, application });\n\n      owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${intent.issuedAtMillis} and\n      ${mapping.clock.engineNowMillis} < ${intent.expiresAtMillis}`);\n\n      return { observed, row, inspection };\n    }),\n  );\n\nexport interface RegistrationResources {\n  readonly provisioningIdentity: string;\n  readonly pendingReference?: string;\n  readonly subjectId?: unknown;\n  readonly credentialId?: string;\n  readonly revision?: string;\n}\n\n/** Public mapping callbacks are closed Effects; erasing native row shapes must\n * not erase their error or requirements channels. */\nexport type RegistrationCallbacks<Registration> = Pick<\n  OAuthRegistrationBase<Registration, any, any, any, any, unknown>,\n  \"snapshot\" | \"snapshotSync\" | \"inspect\" | \"inspectSync\"\n>;\n\nexport const registrationResources = (mapping: any) =>\n  Effect.gen(function* () {\n    const provisioningIdentity = yield* mapping.allocateProvisioningIdentity as Effect.Effect<\n      string,\n      DrizzleMappingError\n    >;\n\n    invariant(\n      typeof provisioningIdentity === \"string\" &&\n        provisioningIdentity.length > 0 &&\n        provisioningIdentity.length <= 256,\n    );\n    if (mapping.mode === \"pending\") {\n      const pendingReference = yield* mapping.allocatePendingReference as Effect.Effect<\n        string,\n        DrizzleMappingError\n      >;\n\n      invariant(\n        typeof pendingReference === \"string\" &&\n          pendingReference.length > 0 &&\n          pendingReference.length <= 256,\n      );\n\n      return { provisioningIdentity, pendingReference } as RegistrationResources;\n    }\n\n    const subjectId = yield* mapping.allocateSubjectId as Effect.Effect<\n      unknown,\n      DrizzleMappingError\n    >;\n\n    const publicId = yield* (mapping.subjectId as SubjectIdCodec<unknown>).toSubject(subjectId);\n\n    invariant(\n      mapping.subjectId.equals(\n        subjectId,\n        yield* (mapping.subjectId as SubjectIdCodec<unknown>).toNative(publicId),\n      ),\n    );\n\n    const credentialId = snapshotOAuthSync(\n      OAuthCredentialSnapshot.fields.credentialId,\n      yield* mapping.allocateCredentialId as Effect.Effect<string, DrizzleMappingError>,\n    );\n\n    const revision = snapshotOAuthSync(\n      OAuthCredentialSnapshot.fields.credentialRevision,\n      yield* mapping.allocateRevision as Effect.Effect<SecurityRevision, DrizzleMappingError>,\n    );\n\n    return { provisioningIdentity, subjectId, credentialId, revision } as RegistrationResources;\n  });\n\nexport const registrationData = <Registration>(\n  mapping: any,\n  input: {\n    readonly intent: OAuthRegistrationIntent;\n    readonly registration: Registration;\n    readonly fingerprint: string;\n  },\n  bound: boolean,\n) =>\n  Effect.gen(function* () {\n    const snapshot = bound\n      ? (invariant(mapping.snapshotSync !== undefined), mapping.snapshotSync(input.registration))\n      : yield* (mapping as RegistrationCallbacks<Registration>).snapshot(input.registration);\n\n    const encoded = mapping.application.encode(snapshot);\n\n    invariant(typeof encoded === \"string\" && new TextEncoder().encode(encoded).length <= 1048576);\n    const detached = mapping.application.decode(encoded);\n\n    invariant(mapping.application.encode(detached) === encoded);\n\n    const checked = bound\n      ? (invariant(mapping.inspectSync !== undefined),\n        mapping.inspectSync({\n          intent: snapshotOAuthSync(OAuthRegistrationIntent, input.intent),\n          registration: mapping.application.decode(encoded),\n        }))\n      : yield* (mapping as RegistrationCallbacks<Registration>).inspect({\n          intent: snapshotOAuthSync(OAuthRegistrationIntent, input.intent),\n          registration: mapping.application.decode(encoded),\n        });\n\n    const fingerprint = snapshotOAuthSync(OAuthRegistrationFingerprint, checked.fingerprint);\n\n    invariant(typeof checked.eligible === \"boolean\");\n\n    return {\n      encoded,\n      registration: detached as Registration,\n      fingerprint,\n      eligible: checked.eligible && fingerprint === input.fingerprint,\n    };\n  });\n\nexport const register = (\n  mapping: any,\n  input: any,\n  data: { readonly encoded: string; readonly fingerprint: string; readonly eligible: boolean },\n  resources: RegistrationResources,\n) =>\n  Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n    Effect.gen(function* () {\n      const intent = snapshotOAuthSync(OAuthRegistrationIntent, input.intent),\n        c = intent.context;\n\n      const discovered = yield* inspectIntent(mapping, input.access, true);\n\n      if (\n        discovered === undefined ||\n        intentStorage.encode(discovered.inspection.intent) !== intentStorage.encode(intent)\n      )\n        return { _tag: \"Rejected\" } as const;\n      const nativeSubjectId = resources.subjectId;\n\n      const policyInput = () => ({\n        intent: snapshotOAuthSync(OAuthRegistrationIntent, intent),\n        registration: mapping.application.decode(data.encoded),\n        ...(mapping.mode === \"atomic\" ? { nativeSubjectId } : {}),\n      });\n\n      invariant((mapping.eligibility.guards?.length ?? 0) <= 32);\n      for (const guard of mapping.eligibility.guards ?? []) {\n        const locked = yield* owner.read(guard.table, guard.condition(policyInput()), {\n          orderBy: col(guard.table, guard.orderBy),\n          admissionOnly: true,\n        });\n\n        invariant(locked.rows.length > 0);\n      }\n      const tuple = yield* readTuple(mapping.ownership, intent.identity);\n      const inspected = yield* inspectIntent(mapping, input.access);\n\n      if (\n        inspected === undefined ||\n        intentStorage.encode(inspected.inspection.intent) !== intentStorage.encode(intent)\n      )\n        return { _tag: \"Rejected\" } as const;\n\n      const r = mapping.command,\n        i = mapping.intent,\n        t = mapping.ownership.tuple;\n\n      const commandKey = { [r.moduleId]: c.moduleId, [r.commandId]: input.commandId };\n      const command = yield* owner.read(r.table, equal(r.table, commandKey), { limit: 1 });\n      const previous = command.rows[0];\n\n      if (previous !== undefined) {\n        if (\n          previous[r.reference] !== intent.reference ||\n          previous[r.identityKey] !== tuple.key ||\n          previous[r.fingerprint] !== data.fingerprint ||\n          previous[r.intentSnapshot] !== intentStorage.encode(intent) ||\n          previous[r.applicationSnapshot] !== data.encoded\n        )\n          return { _tag: \"Conflict\" } as const;\n        invariant(\n          mapping.application.encode(\n            mapping.application.decode(previous[r.applicationSnapshot]),\n          ) === data.encoded,\n        );\n        const old = decisionStorage.decode(previous[r.decision]);\n\n        invariant(inspected.inspection.application._tag === old._tag);\n\n        return old._tag === \"Registered\" || old._tag === \"ProvisioningPending\"\n          ? { ...old, replayed: true }\n          : old;\n      }\n      if (inspected.inspection.application._tag !== \"Unbound\" || tuple.row[t.state] !== \"Unowned\")\n        return { _tag: \"Conflict\" } as const;\n      if (data.fingerprint !== input.fingerprint) return { _tag: \"Rejected\" } as const;\n\n      const admitted =\n        data.eligible && (yield* owner.check(mapping.eligibility.admission(policyInput())));\n\n      let decision: typeof OAuthRegistrationDecision.Type;\n\n      if (!admitted) decision = { _tag: \"Rejected\" };\n      else if (mapping.mode === \"pending\") {\n        invariant(resources.pendingReference !== undefined);\n\n        const reservation = reservationStorage.encode({\n          moduleId: c.moduleId,\n          reference: intent.reference,\n          commandId: input.commandId,\n          fingerprint: data.fingerprint,\n          provisioningIdentity: resources.provisioningIdentity,\n        });\n\n        yield* owner.update(\n          t.table,\n          { [t.identityKey]: tuple.key },\n          {\n            [t.state]: \"Reserved\",\n            [t.version]: owner.marker,\n            [t.reservation]: reservation,\n          },\n        );\n        decision = {\n          _tag: \"ProvisioningPending\",\n          reference: resources.pendingReference,\n          replayed: false,\n        };\n      } else {\n        invariant(resources.credentialId !== undefined && resources.revision !== undefined);\n\n        const s = mapping.subject,\n          cr = mapping.credential,\n          a = mapping.authority;\n\n        const subjectValues = {\n          ...mapping.encodeSubjectInsert(policyInput(), {\n            subjectId: nativeSubjectId,\n            securityRevision: resources.revision,\n          }),\n          [s.id]: nativeSubjectId,\n          [s.securityRevision]: resources.revision,\n        };\n\n        yield* owner.insert(s.table, subjectValues, { [s.id]: nativeSubjectId });\n\n        const credentialValues = {\n          ...cr.encodeInsert({\n            moduleId: c.moduleId,\n            subjectId: nativeSubjectId,\n            identityKey: tuple.key,\n            credentialId: resources.credentialId,\n            credentialRevision: resources.revision,\n          }),\n          [cr.moduleId]: c.moduleId,\n          [cr.subjectId]: nativeSubjectId,\n          [cr.identityKey]: tuple.key,\n          [cr.credentialId]: resources.credentialId,\n          [cr.credentialRevision]: resources.revision,\n        };\n\n        invariant(\n          cr.isActiveStatus(credentialValues[cr.status]) &&\n            s.isActiveStatus(subjectValues[s.status]),\n        );\n        yield* owner.insert(cr.table, credentialValues, {\n          [cr.credentialId]: resources.credentialId,\n        });\n\n        const authorityValues = {\n          ...a.encodeInsert({\n            subjectId: nativeSubjectId,\n            credentialId: resources.credentialId,\n            revision: resources.revision,\n          }),\n          [a.subjectId]: nativeSubjectId,\n          [a.credentialId]: resources.credentialId,\n          [a.revision]: resources.revision,\n        };\n\n        invariant(a.isActiveStatus(authorityValues[a.status]));\n        yield* owner.insert(a.table, authorityValues, {\n          [a.subjectId]: nativeSubjectId,\n          [a.credentialId]: resources.credentialId,\n        });\n        yield* acquireTuple(mapping.ownership, intent.identity, tuple.key, nativeSubjectId);\n        owner.postconditions.push(\n          sql`exists(select 1 from ${s.table} where ${both(\n            eq(col(s.table, s.id), nativeSubjectId),\n            s.activeCondition,\n          )})`,\n          sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), resources.credentialId), cr.activeCondition)})`,\n          sql`exists(select 1 from ${a.table} where ${both(\n            eq(col(a.table, a.credentialId), resources.credentialId),\n            eq(col(a.table, a.subjectId), nativeSubjectId),\n            a.activeCondition,\n          )})`,\n        );\n        decision = { _tag: \"Registered\", replayed: false };\n      }\n      const now = yield* owner.now(mapping.clock);\n\n      invariant(Number.isSafeInteger(mapping.retentionMillis) && mapping.retentionMillis >= 120000);\n\n      const values = {\n        ...r.encodeInsert({\n          intent: snapshotOAuthSync(OAuthRegistrationIntent, intent),\n          commandId: input.commandId,\n          fingerprint: data.fingerprint,\n          registration: mapping.application.decode(data.encoded),\n          provisioningIdentity: resources.provisioningIdentity,\n        }),\n        ...commandKey,\n        [r.reference]: intent.reference,\n        [r.identityKey]: tuple.key,\n        [r.fingerprint]: data.fingerprint,\n        [r.intentSnapshot]: intentStorage.encode(intent),\n        [r.applicationSnapshot]: data.encoded,\n        [r.provisioningIdentity]: resources.provisioningIdentity,\n        [r.decision]: decisionStorage.encode(decision),\n        [r.retentionUntil]: mapping.clock.encodeInstant(\n          Math.max(intent.retentionUntilMillis, now + mapping.retentionMillis),\n        ),\n      };\n\n      const inserted = yield* owner.insert(r.table, values, commandKey);\n\n      command.rows = inserted.rows;\n      yield* owner.update(\n        i.table,\n        { [i.moduleId]: c.moduleId, [i.reference]: intent.reference },\n        {\n          [i.state]: decision._tag,\n          [i.commandId]: input.commandId,\n          [i.fingerprint]: data.fingerprint,\n          [i.version]: owner.marker,\n          [i.pendingReference]: decision._tag === \"ProvisioningPending\" ? decision.reference : null,\n        },\n      );\n      if (admitted) owner.postconditions.push(mapping.eligibility.postcondition(policyInput()));\n\n      return decision;\n    }),\n  );\n"],"mappings":";;;;;;;;;;AAwBA,MAAa,gBAAgB,QAAQ,uBAAuB;AAC5D,MAAM,kBAAkB,QAAQ,yBAAyB;AACzD,MAAM,iBAAiB,QAAQ,6BAA6B;AAE5D,MAAM,qBAAqB,QACzB,OAAO,OAAO;CACZ,UAAU,OAAO;CACjB,WAAW,OAAO;CAClB,WAAW,OAAO;CAClB,aAAa,OAAO;CACpB,sBAAsB,OAAO;AAC/B,CAAC,CACH;AAEA,MAAa,aAAa,WAAgB,aACxC,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,IAAI,UAAU,OAClB,MAAM,iBAAiB,QAAQ;CAEjC,MAAM,QAAQ,GAAG,EAAE,cAAc,IAAI;CACrC,MAAM,WAAW,OAAO,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,KAAK,GAAG,EAAE,OAAO,EAAE,CAAC;CAE/E,IAAI,SAAS,KAAK,WAAW,GAAG;EAC9B,MAAM,SAAS;GACb,GAAG,EAAE,aAAa;IAAE,aAAa;IAAK;GAAS,CAAC;GAChD,GAAG;IACF,EAAE,WAAW,SAAS;IACtB,EAAE,SAAS,SAAS;IACpB,EAAE,kBAAkB,SAAS;IAC7B,EAAE,QAAQ;IACV,EAAE,UAAU,MAAM;IAClB,EAAE,YAAY;IACd,EAAE,cAAc;EACnB;EAIA,SAAS,QAAO,OAFQ,MAAM,OAAO,EAAE,OAAO,QAAQ,OAAO,IAAI,EAAA,CAExC;CAC3B;CACA,MAAM,MAAM,SAAS,KAAK;CAE1B,UACE,IAAI,EAAE,cAAc,SAAS,YAC3B,IAAI,EAAE,YAAY,SAAS,UAC3B,IAAI,EAAE,qBAAqB,SAAS,WACpC;EAAC;EAAW;EAAY;CAAO,CAAC,CAAC,SAAS,IAAI,EAAE,MAAM,CAC1D;CACA,UACE,IAAI,EAAE,WAAW,UACb,IAAI,EAAE,eAAe,OACrB,IAAI,EAAE,eAAe,SAClB,IAAI,EAAE,WAAW,aACd,OAAO,IAAI,EAAE,iBAAiB,WAC9B,IAAI,EAAE,iBAAiB,KACnC;CACA,IAAI,UAAU,SAAS,YAAY;EACjC,MAAM,IAAI,UAAU;EAEpB,MAAM,WAAW,OAAO,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,GAAG,EAAE,cAAc,IAAI,CAAC,GAAG,EACpF,OAAO,EACT,CAAC;EAED,IAAI,IAAI,EAAE,WAAW,SAAS;GAC5B,MAAM,SAAS,SAAS,KAAK;GAE7B,UACE,WAAW,KAAA,KACT,OAAO,EAAE,cAAc,SAAS,YAChC,OAAO,EAAE,YAAY,SAAS,UAC9B,OAAO,EAAE,qBAAqB,SAAS,WACvC,iBAAiB,EAAE,OAAO,QAAQ,GAAG,EAAE,YAAY,IAAI,EAAE,WAAW,CAAC,CACzE;GACA,MAAM,QAAQ,GAAG,wBAAwB,EAAE,MAAM,SAAS,KAAK,MAAM,EAAE,OAAO,GAAG,EAAE,cAAc,IAAI,CAAC,GAAG,EAAE,cAAc,EAAE;GAE3H,UAAU,OAAO,MAAM,MAAM,KAAK,CAAC;GACnC,MAAM,eAAe,KAAK,KAAK;EACjC,OAAO,UAAU,SAAS,KAAK,WAAW,CAAC;CAC7C;CAEA,OAAO;EAAE;EAAU;EAAK;CAAI;AAC9B,CAAC,CACH;AAEF,MAAa,gBACX,WACA,UACA,KACA,cAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,IAAI,UAAU;CAEpB,OAAO,MAAM,OACX,EAAE,OACF,GAAG,EAAE,cAAc,IAAI,GACvB;GACG,EAAE,QAAQ;GACV,EAAE,YAAY;GACd,EAAE,cAAc;GAChB,EAAE,UAAU,MAAM;CACrB,CACF;CACA,IAAI,UAAU,SAAS,YAAY;EACjC,MAAM,IAAI,UAAU;EAEpB,MAAM,SAAS;GACb,GAAG,EAAE,aAAa;IAAE;IAAU,aAAa;IAAK;GAAU,CAAC;IAC1D,EAAE,cAAc;IAChB,EAAE,WAAW,SAAS;IACtB,EAAE,SAAS,SAAS;IACpB,EAAE,kBAAkB,SAAS;IAC7B,EAAE,YAAY;EACjB;EAEA,OAAO,MAAM,OAAO,EAAE,OAAO,QAAQ,GAAG,EAAE,cAAc,IAAI,CAAC;CAC/D;AACF,CAAC,CACH;AAEF,MAAa,4BAA4B,SAAc,UACrD,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,MAAM,SAAS,UAC9B,UAAU,MAAM,MAAM,KAAK;CAE7B,UAAU,SAAS,aAAa,QAAQ,YAAY,SAAS,WAAW,QAAQ,MAAM;CACtF,MAAM,QAAQ,OAAO,cAAc,QAAQ,QAAQ,QAAQ;CAC3D,MAAM,QAAQ,MAAM,QAAQ,KAAA,IAAY,OAAO,UAAU,QAAQ,WAAW,QAAQ;CACpF,MAAM,QAAQ,OAAO,WAAW,QAAQ,QAAQ,MAAM,OAAO,SAAS;CAEtE,IAAI,UAAU,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CACnD,MAAM,aAAa,aAAa,QAAQ,QAAQ,QAAQ,UAAU,UAAU,KAAK;CAEjF,IAAI,eAAe,KAAA,GAAW;EAC5B,OAAO,aAAa,QAAQ,QAAQ,MAAM,MAAM,MAAM,UAAU;EAEhE,OAAO;GAAE,MAAM;GAAY;EAAW;CACxC;CACA,IAAI,WAAgB,EAAE,MAAM,WAAW;CAEvC,IACE,CAAC,MAAM,SACP,OAAO,IAAI,QAAQ,UAAU,MAAM,WAAW,aAC9C,MAAM,WAAW,KAAA,GACjB;EACA,MAAM,SAAS,kBAAkB,yBAAyB,MAAM,MAAM;EACtE,MAAM,IAAI,OAAO;EAEjB,UACE,aAAa,OAAO,UAAU,QAAQ,KACpC,OAAO,YAAY,MAAM,MAAM,WAC/B,OAAO,oBAAoB,MAAM,MAAM,mBACvC,eAAe,OAAO,CAAC,MAAM,eAAe,OAAO,OAAO,CAC9D;EAWA,IARE,OAAO,kBAAkB,OAAO,mBAChC,OAAO,oBAAoB,OAAO,kBAClC,OAAO,kBAAkB,MAAM,OAC/B,MAAM,MAAM,OAAO,mBACnB,OAAO,mBAAmB,EAAE,iCAC5B,OAAO,wBAAwB,OAAO,oBACrC,OAAO,MAAM,MAAM,QAAQ,YAAY,UAAU,EAAE,OAAO,CAAC,CAAC,IAElD;GACX,MAAM,IAAI,QAAQ,QAChB,SAAS,QAAQ,OAAO,MAAM;GAEhC,MAAM,MAAM;KAAG,EAAE,WAAW,EAAE;KAAW,EAAE,YAAY,OAAO;GAAU;GAExE,MAAM,SAAS;IACb,GAAG,EAAE,aAAa,kBAAkB,yBAAyB,MAAM,CAAC;IACpE,GAAG;KACF,EAAE,SAAS,EAAE;KACb,EAAE,UAAU,OAAO;KACnB,EAAE,cAAc,MAAM;KACtB,EAAE,UAAU,MAAM;KAClB,EAAE,QAAQ;KACV,EAAE,WAAW,cAAc,OAAO,MAAM;KACxC,EAAE,YAAY;KACd,EAAE,cAAc;KAChB,EAAE,mBAAmB;KACrB,EAAE,YAAY,OAAO,OAAO,eAAe;KAC3C,EAAE,iBAAiB,OAAO,OAAO,oBAAoB;GACxD;GAEA,OAAO,MAAM,OAAO,EAAE,OAAO,QAAQ,GAAG;GACxC,MAAM,eAAe,KACnB,QAAQ,YAAY,UAAU,EAAE,OAAO,CAAC,GACxC,GAAG,GAAG,QAAQ,OAAO,MAAM,gBAAgB,MAAM,OAAO,eAAe;cACrE,QAAQ,OAAO,MAAM,gBAAgB,KAAK,OAAO,iBACrD;GACA,WAAW;IAAE,MAAM;IAAsB;GAAO;EAClD;CACF;CACA,OAAO,aAAa,QAAQ,QAAQ,MAAM,MAAM,MAAM,SAAS,IAAI;CAEnE,OAAO;AACT,CAAC,CACH;AAEF,MAAa,iBACX,SACA,UACA,YAAY,UAEZ,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,kBAAkB,yBAAyB,QAAQ,GAChE,IAAI,QAAQ;CAEd,MAAM,WAAW,OAAO,MAAM,KAC5B,EAAE,OACF,MAAM,EAAE,OAAO;GACZ,EAAE,WAAW,OAAO;GACpB,EAAE,YAAY,OAAO;CACxB,CAAC,GACD;EAAE,OAAO;EAAG,GAAI,YAAY;GAAE,MAAM;GAAO,SAAS;EAAM,IAAI,CAAC;CAAG,CACpE;CAEA,MAAM,MAAM,SAAS,KAAK;CAE1B,IAAI,QAAQ,KAAA,GAAW,OAAO,KAAA;CAE9B,MAAM,SAAS,cAAc,OAAO,IAAI,EAAE,SAAS,GACjD,IAAI,OAAO,SACX,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAEtC,UACE,IAAI,EAAE,cAAc,EAAE,YACpB,IAAI,EAAE,eAAe,OAAO,aAC5B,IAAI,EAAE,YAAY,EAAE,UACpB,IAAI,EAAE,aAAa,OAAO,WAC1B,IAAI,EAAE,iBAAiB,iBAAiB,OAAO,QAAQ,KACvD,QAAQ,MAAM,cAAc,IAAI,EAAE,UAAU,MAAM,OAAO,mBACzD,QAAQ,MAAM,cAAc,IAAI,EAAE,eAAe,MAAM,OAAO,oBAClE;CACA,IACE,OAAO,aAAa,EAAE,YACtB,OAAO,cAAc,OAAO,aAC5B,OAAO,WAAW,EAAE,UACpB,OAAO,2BAA2B,EAAE,0BACpC,OAAO,kCAAkC,EAAE,iCAC3C,OAAO,qBAAqB,OAAO,oBACnC,MAAM,OAAO,kBACb,OAAO,OAAO,iBAEd,OAAO,KAAA;CACT,IAAI;CAEJ,IAAI,IAAI,EAAE,WAAW,WAAW;EAC9B,UACE,IAAI,EAAE,eAAe,QACnB,IAAI,EAAE,iBAAiB,QACvB,IAAI,EAAE,sBAAsB,IAChC;EACA,cAAc,EAAE,MAAM,UAAU;CAClC,OACE,cAAc;EACZ,MAAM,IAAI,EAAE;EACZ,WAAW,IAAI,EAAE;EACjB,aAAa,IAAI,EAAE;EACnB,GAAI,IAAI,EAAE,WAAW,wBAAwB,EAAE,WAAW,IAAI,EAAE,kBAAkB,IAAI,CAAC;CACzF;CAEF,MAAM,aAAa,kBAAkB,6BAA6B;EAAE;EAAQ;CAAY,CAAC;CAEzF,MAAM,eAAe,KAAK,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO,eAAe;QACxF,QAAQ,MAAM,gBAAgB,KAAK,OAAO,iBAAiB;CAE7D,OAAO;EAAE;EAAU;EAAK;CAAW;AACrC,CAAC,CACH;AAiBF,MAAa,yBAAyB,YACpC,OAAO,IAAI,aAAa;CACtB,MAAM,uBAAuB,OAAO,QAAQ;CAK5C,UACE,OAAO,yBAAyB,YAC9B,qBAAqB,SAAS,KAC9B,qBAAqB,UAAU,GACnC;CACA,IAAI,QAAQ,SAAS,WAAW;EAC9B,MAAM,mBAAmB,OAAO,QAAQ;EAKxC,UACE,OAAO,qBAAqB,YAC1B,iBAAiB,SAAS,KAC1B,iBAAiB,UAAU,GAC/B;EAEA,OAAO;GAAE;GAAsB;EAAiB;CAClD;CAEA,MAAM,YAAY,OAAO,QAAQ;CAKjC,MAAM,WAAW,OAAQ,QAAQ,UAAsC,UAAU,SAAS;CAE1F,UACE,QAAQ,UAAU,OAChB,WACA,OAAQ,QAAQ,UAAsC,SAAS,QAAQ,CACzE,CACF;CAYA,OAAO;EAAE;EAAsB;EAAW,cAVrB,kBACnB,wBAAwB,OAAO,cAC/B,OAAO,QAAQ,oBAQoC;EAAG,UALvC,kBACf,wBAAwB,OAAO,oBAC/B,OAAO,QAAQ,gBAG8C;CAAE;AACnE,CAAC;AAEH,MAAa,oBACX,SACA,OAKA,UAEA,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,SACZ,UAAU,QAAQ,iBAAiB,KAAA,CAAS,GAAG,QAAQ,aAAa,MAAM,YAAY,KACvF,OAAQ,QAAgD,SAAS,MAAM,YAAY;CAEvF,MAAM,UAAU,QAAQ,YAAY,OAAO,QAAQ;CAEnD,UAAU,OAAO,YAAY,YAAY,IAAI,YAAY,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,UAAU,OAAO;CAC5F,MAAM,WAAW,QAAQ,YAAY,OAAO,OAAO;CAEnD,UAAU,QAAQ,YAAY,OAAO,QAAQ,MAAM,OAAO;CAE1D,MAAM,UAAU,SACX,UAAU,QAAQ,gBAAgB,KAAA,CAAS,GAC5C,QAAQ,YAAY;EAClB,QAAQ,kBAAkB,yBAAyB,MAAM,MAAM;EAC/D,cAAc,QAAQ,YAAY,OAAO,OAAO;CAClD,CAAC,KACD,OAAQ,QAAgD,QAAQ;EAC9D,QAAQ,kBAAkB,yBAAyB,MAAM,MAAM;EAC/D,cAAc,QAAQ,YAAY,OAAO,OAAO;CAClD,CAAC;CAEL,MAAM,cAAc,kBAAkB,8BAA8B,QAAQ,WAAW;CAEvF,UAAU,OAAO,QAAQ,aAAa,SAAS;CAE/C,OAAO;EACL;EACA,cAAc;EACd;EACA,UAAU,QAAQ,YAAY,gBAAgB,MAAM;CACtD;AACF,CAAC;AAEH,MAAa,YACX,SACA,OACA,MACA,cAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,kBAAkB,yBAAyB,MAAM,MAAM,GACpE,IAAI,OAAO;CAEb,MAAM,aAAa,OAAO,cAAc,SAAS,MAAM,QAAQ,IAAI;CAEnE,IACE,eAAe,KAAA,KACf,cAAc,OAAO,WAAW,WAAW,MAAM,MAAM,cAAc,OAAO,MAAM,GAElF,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,kBAAkB,UAAU;CAElC,MAAM,qBAAqB;EACzB,QAAQ,kBAAkB,yBAAyB,MAAM;EACzD,cAAc,QAAQ,YAAY,OAAO,KAAK,OAAO;EACrD,GAAI,QAAQ,SAAS,WAAW,EAAE,gBAAgB,IAAI,CAAC;CACzD;CAEA,WAAW,QAAQ,YAAY,QAAQ,UAAU,MAAM,EAAE;CACzD,KAAK,MAAM,SAAS,QAAQ,YAAY,UAAU,CAAC,GAAG;EACpD,MAAM,SAAS,OAAO,MAAM,KAAK,MAAM,OAAO,MAAM,UAAU,YAAY,CAAC,GAAG;GAC5E,SAAS,IAAI,MAAM,OAAO,MAAM,OAAO;GACvC,eAAe;EACjB,CAAC;EAED,UAAU,OAAO,KAAK,SAAS,CAAC;CAClC;CACA,MAAM,QAAQ,OAAO,UAAU,QAAQ,WAAW,OAAO,QAAQ;CACjE,MAAM,YAAY,OAAO,cAAc,SAAS,MAAM,MAAM;CAE5D,IACE,cAAc,KAAA,KACd,cAAc,OAAO,UAAU,WAAW,MAAM,MAAM,cAAc,OAAO,MAAM,GAEjF,OAAO,EAAE,MAAM,WAAW;CAE5B,MAAM,IAAI,QAAQ,SAChB,IAAI,QAAQ,QACZ,IAAI,QAAQ,UAAU;CAExB,MAAM,aAAa;GAAG,EAAE,WAAW,EAAE;GAAW,EAAE,YAAY,MAAM;CAAU;CAC9E,MAAM,UAAU,OAAO,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,UAAU,GAAG,EAAE,OAAO,EAAE,CAAC;CACnF,MAAM,WAAW,QAAQ,KAAK;CAE9B,IAAI,aAAa,KAAA,GAAW;EAC1B,IACE,SAAS,EAAE,eAAe,OAAO,aACjC,SAAS,EAAE,iBAAiB,MAAM,OAClC,SAAS,EAAE,iBAAiB,KAAK,eACjC,SAAS,EAAE,oBAAoB,cAAc,OAAO,MAAM,KAC1D,SAAS,EAAE,yBAAyB,KAAK,SAEzC,OAAO,EAAE,MAAM,WAAW;EAC5B,UACE,QAAQ,YAAY,OAClB,QAAQ,YAAY,OAAO,SAAS,EAAE,oBAAoB,CAC5D,MAAM,KAAK,OACb;EACA,MAAM,MAAM,gBAAgB,OAAO,SAAS,EAAE,SAAS;EAEvD,UAAU,UAAU,WAAW,YAAY,SAAS,IAAI,IAAI;EAE5D,OAAO,IAAI,SAAS,gBAAgB,IAAI,SAAS,wBAC7C;GAAE,GAAG;GAAK,UAAU;EAAK,IACzB;CACN;CACA,IAAI,UAAU,WAAW,YAAY,SAAS,aAAa,MAAM,IAAI,EAAE,WAAW,WAChF,OAAO,EAAE,MAAM,WAAW;CAC5B,IAAI,KAAK,gBAAgB,MAAM,aAAa,OAAO,EAAE,MAAM,WAAW;CAEtE,MAAM,WACJ,KAAK,aAAa,OAAO,MAAM,MAAM,QAAQ,YAAY,UAAU,YAAY,CAAC,CAAC;CAEnF,IAAI;CAEJ,IAAI,CAAC,UAAU,WAAW,EAAE,MAAM,WAAW;MACxC,IAAI,QAAQ,SAAS,WAAW;EACnC,UAAU,UAAU,qBAAqB,KAAA,CAAS;EAElD,MAAM,cAAc,mBAAmB,OAAO;GAC5C,UAAU,EAAE;GACZ,WAAW,OAAO;GAClB,WAAW,MAAM;GACjB,aAAa,KAAK;GAClB,sBAAsB,UAAU;EAClC,CAAC;EAED,OAAO,MAAM,OACX,EAAE,OACF,GAAG,EAAE,cAAc,MAAM,IAAI,GAC7B;IACG,EAAE,QAAQ;IACV,EAAE,UAAU,MAAM;IAClB,EAAE,cAAc;EACnB,CACF;EACA,WAAW;GACT,MAAM;GACN,WAAW,UAAU;GACrB,UAAU;EACZ;CACF,OAAO;EACL,UAAU,UAAU,iBAAiB,KAAA,KAAa,UAAU,aAAa,KAAA,CAAS;EAElF,MAAM,IAAI,QAAQ,SAChB,KAAK,QAAQ,YACb,IAAI,QAAQ;EAEd,MAAM,gBAAgB;GACpB,GAAG,QAAQ,oBAAoB,YAAY,GAAG;IAC5C,WAAW;IACX,kBAAkB,UAAU;GAC9B,CAAC;IACA,EAAE,KAAK;IACP,EAAE,mBAAmB,UAAU;EAClC;EAEA,OAAO,MAAM,OAAO,EAAE,OAAO,eAAe,GAAG,EAAE,KAAK,gBAAgB,CAAC;EAEvE,MAAM,mBAAmB;GACvB,GAAG,GAAG,aAAa;IACjB,UAAU,EAAE;IACZ,WAAW;IACX,aAAa,MAAM;IACnB,cAAc,UAAU;IACxB,oBAAoB,UAAU;GAChC,CAAC;IACA,GAAG,WAAW,EAAE;IAChB,GAAG,YAAY;IACf,GAAG,cAAc,MAAM;IACvB,GAAG,eAAe,UAAU;IAC5B,GAAG,qBAAqB,UAAU;EACrC;EAEA,UACE,GAAG,eAAe,iBAAiB,GAAG,OAAO,KAC3C,EAAE,eAAe,cAAc,EAAE,OAAO,CAC5C;EACA,OAAO,MAAM,OAAO,GAAG,OAAO,kBAAkB,GAC7C,GAAG,eAAe,UAAU,aAC/B,CAAC;EAED,MAAM,kBAAkB;GACtB,GAAG,EAAE,aAAa;IAChB,WAAW;IACX,cAAc,UAAU;IACxB,UAAU,UAAU;GACtB,CAAC;IACA,EAAE,YAAY;IACd,EAAE,eAAe,UAAU;IAC3B,EAAE,WAAW,UAAU;EAC1B;EAEA,UAAU,EAAE,eAAe,gBAAgB,EAAE,OAAO,CAAC;EACrD,OAAO,MAAM,OAAO,EAAE,OAAO,iBAAiB;IAC3C,EAAE,YAAY;IACd,EAAE,eAAe,UAAU;EAC9B,CAAC;EACD,OAAO,aAAa,QAAQ,WAAW,OAAO,UAAU,MAAM,KAAK,eAAe;EAClF,MAAM,eAAe,KACnB,GAAG,wBAAwB,EAAE,MAAM,SAAS,KAC1C,GAAG,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,eAAe,GACtC,EAAE,eACJ,EAAE,IACF,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,YAAY,GAAG,GAAG,eAAe,EAAE,IAClI,GAAG,wBAAwB,EAAE,MAAM,SAAS,KAC1C,GAAG,IAAI,EAAE,OAAO,EAAE,YAAY,GAAG,UAAU,YAAY,GACvD,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAAG,eAAe,GAC7C,EAAE,eACJ,EAAE,EACJ;EACA,WAAW;GAAE,MAAM;GAAc,UAAU;EAAM;CACnD;CACA,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,UAAU,OAAO,cAAc,QAAQ,eAAe,KAAK,QAAQ,mBAAmB,IAAM;CAE5F,MAAM,SAAS;EACb,GAAG,EAAE,aAAa;GAChB,QAAQ,kBAAkB,yBAAyB,MAAM;GACzD,WAAW,MAAM;GACjB,aAAa,KAAK;GAClB,cAAc,QAAQ,YAAY,OAAO,KAAK,OAAO;GACrD,sBAAsB,UAAU;EAClC,CAAC;EACD,GAAG;GACF,EAAE,YAAY,OAAO;GACrB,EAAE,cAAc,MAAM;GACtB,EAAE,cAAc,KAAK;GACrB,EAAE,iBAAiB,cAAc,OAAO,MAAM;GAC9C,EAAE,sBAAsB,KAAK;GAC7B,EAAE,uBAAuB,UAAU;GACnC,EAAE,WAAW,gBAAgB,OAAO,QAAQ;GAC5C,EAAE,iBAAiB,QAAQ,MAAM,cAChC,KAAK,IAAI,OAAO,sBAAsB,MAAM,QAAQ,eAAe,CACrE;CACF;CAIA,QAAQ,QAAO,OAFS,MAAM,OAAO,EAAE,OAAO,QAAQ,UAAU,EAAA,CAExC;CACxB,OAAO,MAAM,OACX,EAAE,OACF;GAAG,EAAE,WAAW,EAAE;GAAW,EAAE,YAAY,OAAO;CAAU,GAC5D;GACG,EAAE,QAAQ,SAAS;GACnB,EAAE,YAAY,MAAM;GACpB,EAAE,cAAc,KAAK;GACrB,EAAE,UAAU,MAAM;GAClB,EAAE,mBAAmB,SAAS,SAAS,wBAAwB,SAAS,YAAY;CACvF,CACF;CACA,IAAI,UAAU,MAAM,eAAe,KAAK,QAAQ,YAAY,cAAc,YAAY,CAAC,CAAC;CAExF,OAAO;AACT,CAAC,CACH"}