@yielded/auth-persistence-drizzle 0.1.0-beta.22 → 0.1.0-beta.24

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (200) hide show
  1. package/README.md +3 -0
  2. package/dist/D1.d.mts +11 -11
  3. package/dist/D1.mjs +2 -1
  4. package/dist/D1.mjs.map +1 -1
  5. package/dist/Libsql.d.mts +40 -56
  6. package/dist/Libsql.mjs +2 -1
  7. package/dist/Libsql.mjs.map +1 -1
  8. package/dist/Mysql2.d.mts +16 -17
  9. package/dist/Pglite.d.mts +18 -18
  10. package/dist/Pglite.mjs +2 -1
  11. package/dist/Pglite.mjs.map +1 -1
  12. package/dist/Postgres.d.mts +24 -24
  13. package/dist/Postgres.mjs +2 -1
  14. package/dist/Postgres.mjs.map +1 -1
  15. package/dist/SqliteBun.d.mts +39 -55
  16. package/dist/SqliteBun.mjs +2 -1
  17. package/dist/SqliteBun.mjs.map +1 -1
  18. package/dist/SqliteDo.d.mts +48 -64
  19. package/dist/SqliteDo.mjs +2 -1
  20. package/dist/SqliteDo.mjs.map +1 -1
  21. package/dist/SqliteNode.d.mts +45 -61
  22. package/dist/SqliteNode.mjs +2 -1
  23. package/dist/SqliteNode.mjs.map +1 -1
  24. package/dist/SqliteWasm.d.mts +48 -64
  25. package/dist/SqliteWasm.mjs +2 -1
  26. package/dist/SqliteWasm.mjs.map +1 -1
  27. package/dist/drizzle/crypto.mjs +1 -1
  28. package/dist/drizzle/d1-emails.d.mts +1 -1
  29. package/dist/drizzle/d1-oauth.d.mts +14 -14
  30. package/dist/drizzle/d1-passkey.d.mts +1 -1
  31. package/dist/drizzle/d1-password-prepared.d.mts +4 -4
  32. package/dist/drizzle/d1-password-prepared.mjs.map +1 -1
  33. package/dist/drizzle/d1-passwords.d.mts +18 -35
  34. package/dist/drizzle/d1-passwords.mjs +78 -290
  35. package/dist/drizzle/d1-passwords.mjs.map +1 -1
  36. package/dist/drizzle/d1-phone.d.mts +1 -1
  37. package/dist/drizzle/d1-proofs.d.mts +2 -2
  38. package/dist/drizzle/d1-sessions.d.mts +3 -3
  39. package/dist/drizzle/d1-sessions.mjs +11 -6
  40. package/dist/drizzle/d1-sessions.mjs.map +1 -1
  41. package/dist/drizzle/d1-totp.d.mts +1 -1
  42. package/dist/drizzle/mysql-password-prepared.d.mts +5 -5
  43. package/dist/drizzle/mysql-password-prepared.mjs.map +1 -1
  44. package/dist/drizzle/mysql-passwords.d.mts +16 -32
  45. package/dist/drizzle/mysql-passwords.mjs.map +1 -1
  46. package/dist/drizzle/mysql-sessions.d.mts +1 -1
  47. package/dist/drizzle/native-sql-table.mjs +135 -0
  48. package/dist/drizzle/native-sql-table.mjs.map +1 -0
  49. package/dist/drizzle/oauth-connected-model.d.mts +20 -281
  50. package/dist/drizzle/oauth-connected-model.mjs +3 -17
  51. package/dist/drizzle/oauth-connected-model.mjs.map +1 -1
  52. package/dist/drizzle/oauth-connected-reference.d.mts +1 -3
  53. package/dist/drizzle/oauth-connected-reference.mjs +4 -53
  54. package/dist/drizzle/oauth-connected-reference.mjs.map +1 -1
  55. package/dist/drizzle/oauth-connected-target.d.mts +3 -990
  56. package/dist/drizzle/oauth-connected-target.mjs +8 -92
  57. package/dist/drizzle/oauth-connected-target.mjs.map +1 -1
  58. package/dist/drizzle/oauth-kernel.mjs +11 -0
  59. package/dist/drizzle/oauth-kernel.mjs.map +1 -0
  60. package/dist/drizzle/oauth-model.d.mts +35 -438
  61. package/dist/drizzle/oauth-model.mjs +6 -44
  62. package/dist/drizzle/oauth-model.mjs.map +1 -1
  63. package/dist/drizzle/oauth-mysql.mjs +2 -2
  64. package/dist/drizzle/oauth-mysql.mjs.map +1 -1
  65. package/dist/drizzle/oauth-proxy.d.mts +10 -0
  66. package/dist/drizzle/oauth-proxy.mjs +54 -0
  67. package/dist/drizzle/oauth-proxy.mjs.map +1 -0
  68. package/dist/drizzle/oauth-target.d.mts +6 -107
  69. package/dist/drizzle/oauth-target.mjs +15 -245
  70. package/dist/drizzle/oauth-target.mjs.map +1 -1
  71. package/dist/drizzle/password-model.d.mts +5 -8
  72. package/dist/drizzle/password-prepared-model.d.mts +5 -5
  73. package/dist/drizzle/password-prepared-model.mjs.map +1 -1
  74. package/dist/drizzle/password-prepared-state.mjs +1 -1
  75. package/dist/drizzle/password-sql.mjs +2 -1
  76. package/dist/drizzle/password-sql.mjs.map +1 -1
  77. package/dist/drizzle/password-target.mjs +13 -2
  78. package/dist/drizzle/password-target.mjs.map +1 -1
  79. package/dist/drizzle/pg-password-prepared.d.mts +5 -5
  80. package/dist/drizzle/pg-password-prepared.mjs.map +1 -1
  81. package/dist/drizzle/pg-passwords.d.mts +16 -32
  82. package/dist/drizzle/pg-passwords.mjs.map +1 -1
  83. package/dist/drizzle/pg-sessions.d.mts +1 -1
  84. package/dist/drizzle/phone-target.d.mts +2 -2
  85. package/dist/drizzle/phone-target.mjs +1 -1
  86. package/dist/drizzle/query-operations.mjs +3 -1
  87. package/dist/drizzle/query-operations.mjs.map +1 -1
  88. package/dist/drizzle/session-sql.mjs +2 -1
  89. package/dist/drizzle/session-sql.mjs.map +1 -1
  90. package/dist/drizzle/sqlite-password-prepared.mjs.map +1 -1
  91. package/dist/drizzle/sqlite-passwords.mjs.map +1 -1
  92. package/dist/drizzle/storage-validation.mjs +10 -198
  93. package/dist/drizzle/storage-validation.mjs.map +1 -1
  94. package/dist/drizzle/totp-target.d.mts +3 -3
  95. package/dist/drizzle/totp-target.mjs +2 -2
  96. package/dist/drizzle/transaction-execution.d.mts +2 -2
  97. package/dist/drizzle/transaction-owner.d.mts +1 -2
  98. package/dist/index.d.mts +3 -2
  99. package/dist/internal/drizzle-postgres-oauth-proxy.d.mts +138 -0
  100. package/dist/internal/drizzle-postgres-oauth-proxy.mjs +29 -0
  101. package/dist/internal/drizzle-postgres-oauth-proxy.mjs.map +1 -0
  102. package/dist/internal/drizzle-postgres.mjs +2 -0
  103. package/dist/internal/drizzle-postgres.mjs.map +1 -1
  104. package/dist/internal/drizzle-sqlite-oauth-proxy.d.mts +146 -0
  105. package/dist/internal/drizzle-sqlite-oauth-proxy.mjs +29 -0
  106. package/dist/internal/drizzle-sqlite-oauth-proxy.mjs.map +1 -0
  107. package/dist/internal/drizzle-sqlite.mjs +2 -0
  108. package/dist/internal/drizzle-sqlite.mjs.map +1 -1
  109. package/package.json +1 -1
  110. package/src/D1.ts +2 -0
  111. package/src/Libsql.ts +2 -0
  112. package/src/Pglite.ts +2 -0
  113. package/src/Postgres.ts +2 -0
  114. package/src/SqliteBun.ts +2 -0
  115. package/src/SqliteDo.ts +2 -0
  116. package/src/SqliteNode.ts +2 -0
  117. package/src/SqliteWasm.ts +2 -0
  118. package/src/drizzle/d1-password-prepared.ts +2 -23
  119. package/src/drizzle/d1-passwords.ts +158 -780
  120. package/src/drizzle/d1-sessions.ts +21 -6
  121. package/src/drizzle/mysql-password-prepared.ts +4 -16
  122. package/src/drizzle/mysql-passwords.ts +5 -20
  123. package/src/drizzle/native-sql-table.ts +259 -0
  124. package/src/drizzle/oauth-connected-model.ts +97 -315
  125. package/src/drizzle/oauth-connected-reference.ts +13 -93
  126. package/src/drizzle/oauth-connected-target.ts +14 -271
  127. package/src/drizzle/oauth-kernel.ts +10 -0
  128. package/src/drizzle/oauth-model.ts +188 -541
  129. package/src/drizzle/oauth-mysql.ts +2 -2
  130. package/src/drizzle/oauth-proxy.ts +101 -0
  131. package/src/drizzle/oauth-target.ts +33 -737
  132. package/src/drizzle/password-model.ts +0 -33
  133. package/src/drizzle/password-prepared-model.ts +0 -18
  134. package/src/drizzle/password-sql.ts +3 -0
  135. package/src/drizzle/password-target.ts +41 -4
  136. package/src/drizzle/pg-password-prepared.ts +4 -16
  137. package/src/drizzle/pg-passwords.ts +5 -20
  138. package/src/drizzle/query-operations.ts +4 -0
  139. package/src/drizzle/session-sql.ts +2 -1
  140. package/src/drizzle/sqlite-password-prepared.ts +4 -52
  141. package/src/drizzle/sqlite-passwords.ts +7 -28
  142. package/src/drizzle/storage-validation.ts +13 -222
  143. package/src/index.ts +2 -8
  144. package/src/internal/drizzle-postgres-oauth-proxy.ts +37 -0
  145. package/src/internal/drizzle-postgres.ts +2 -0
  146. package/src/internal/drizzle-sqlite-oauth-proxy.ts +44 -0
  147. package/src/internal/drizzle-sqlite.ts +2 -0
  148. package/dist/_virtual/_rolldown/runtime.mjs +0 -13
  149. package/dist/drizzle/oauth-accounts.mjs +0 -359
  150. package/dist/drizzle/oauth-accounts.mjs.map +0 -1
  151. package/dist/drizzle/oauth-connected-access.mjs +0 -212
  152. package/dist/drizzle/oauth-connected-access.mjs.map +0 -1
  153. package/dist/drizzle/oauth-connected-collection.mjs +0 -202
  154. package/dist/drizzle/oauth-connected-collection.mjs.map +0 -1
  155. package/dist/drizzle/oauth-connected-custody.mjs +0 -147
  156. package/dist/drizzle/oauth-connected-custody.mjs.map +0 -1
  157. package/dist/drizzle/oauth-connected-flow.mjs +0 -297
  158. package/dist/drizzle/oauth-connected-flow.mjs.map +0 -1
  159. package/dist/drizzle/oauth-connected-input.mjs +0 -122
  160. package/dist/drizzle/oauth-connected-input.mjs.map +0 -1
  161. package/dist/drizzle/oauth-connected-maintenance.mjs +0 -214
  162. package/dist/drizzle/oauth-connected-maintenance.mjs.map +0 -1
  163. package/dist/drizzle/oauth-connected-management.mjs +0 -229
  164. package/dist/drizzle/oauth-connected-management.mjs.map +0 -1
  165. package/dist/drizzle/oauth-connected-settlement.mjs +0 -128
  166. package/dist/drizzle/oauth-connected-settlement.mjs.map +0 -1
  167. package/dist/drizzle/oauth-connected-sign-in.mjs +0 -265
  168. package/dist/drizzle/oauth-connected-sign-in.mjs.map +0 -1
  169. package/dist/drizzle/oauth-connected-state.d.mts +0 -2062
  170. package/dist/drizzle/oauth-connected-state.mjs +0 -430
  171. package/dist/drizzle/oauth-connected-state.mjs.map +0 -1
  172. package/dist/drizzle/oauth-flow.d.mts +0 -22
  173. package/dist/drizzle/oauth-flow.mjs +0 -253
  174. package/dist/drizzle/oauth-flow.mjs.map +0 -1
  175. package/dist/drizzle/oauth-input.mjs +0 -127
  176. package/dist/drizzle/oauth-input.mjs.map +0 -1
  177. package/dist/drizzle/oauth-owner.d.mts +0 -10
  178. package/dist/drizzle/oauth-owner.mjs +0 -10
  179. package/dist/drizzle/oauth-owner.mjs.map +0 -1
  180. package/dist/drizzle/oauth-registration.d.mts +0 -5
  181. package/dist/drizzle/oauth-registration.mjs +0 -374
  182. package/dist/drizzle/oauth-registration.mjs.map +0 -1
  183. package/dist/drizzle/oauth-state.mjs +0 -107
  184. package/dist/drizzle/oauth-state.mjs.map +0 -1
  185. package/src/drizzle/oauth-accounts.ts +0 -805
  186. package/src/drizzle/oauth-connected-access.ts +0 -361
  187. package/src/drizzle/oauth-connected-collection.ts +0 -324
  188. package/src/drizzle/oauth-connected-custody.ts +0 -279
  189. package/src/drizzle/oauth-connected-flow.ts +0 -529
  190. package/src/drizzle/oauth-connected-input.ts +0 -147
  191. package/src/drizzle/oauth-connected-maintenance.ts +0 -346
  192. package/src/drizzle/oauth-connected-management.ts +0 -365
  193. package/src/drizzle/oauth-connected-settlement.ts +0 -251
  194. package/src/drizzle/oauth-connected-sign-in.ts +0 -443
  195. package/src/drizzle/oauth-connected-state.ts +0 -872
  196. package/src/drizzle/oauth-flow.ts +0 -462
  197. package/src/drizzle/oauth-input.ts +0 -201
  198. package/src/drizzle/oauth-owner.ts +0 -29
  199. package/src/drizzle/oauth-registration.ts +0 -640
  200. package/src/drizzle/oauth-state.ts +0 -218
@@ -1,359 +0,0 @@
1
- import { invariant, oauthIdentityKey, sameRevision, satisfies, storage, validAction } from "./oauth-state.mjs";
2
- import { both } from "./transaction-owner.mjs";
3
- import { CurrentOAuthTransaction, col, copiedRow, equal } from "./oauth-owner.mjs";
4
- import { claimFlow, credentialStorage, currentSubject, exactClaim, issueFlow, linkStorage, matchesAccess, readFlow, terminalFlow } from "./oauth-flow.mjs";
5
- import { acquireTuple, readTuple } from "./oauth-registration.mjs";
6
- import { eq, sql } from "drizzle-orm";
7
- import { DateTime, Effect } from "effect";
8
- import { AuthenticationRequirement, SecurityRevision, SessionInvalidationWindow } from "@yielded/auth/Sessions";
9
- import { OAuthAccountRevision, OAuthActionAuthorization, OAuthCredentialSnapshot, OAuthLinkAccess, OAuthLinkClaim, OAuthLinkPendingFlow, OAuthLinkTransactionContext, OAuthUnlinked, snapshotOAuthSync } from "@yielded/auth/OAuth";
10
- //#region src/drizzle/oauth-accounts.ts
11
- const contextStorage = storage(OAuthLinkTransactionContext);
12
- const unlinkedStorage = storage(OAuthUnlinked);
13
- const accountCurrent = (mapping, subjectId) => Effect.gen(function* () {
14
- const native = yield* mapping.subjectId.toNative(subjectId);
15
- return yield* currentSubject(mapping, native);
16
- });
17
- const authorization = (mapping, current, auth, action, flowId, commandId, intent, maximumAge) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
18
- const now = yield* owner.now(mapping.clock);
19
- const currentRequirement = snapshotOAuthSync(AuthenticationRequirement, mapping.subject.decodeActionRequirement(copiedRow(current.row), action));
20
- if (!(yield* validAction(auth, {
21
- moduleId: auth.challenge.moduleId,
22
- action,
23
- flowId,
24
- commandId,
25
- revision: current.revision,
26
- intent
27
- }, currentRequirement, now, maximumAge))) return false;
28
- const age = Math.min(maximumAge, auth.requirement.maximumAgeMillis, currentRequirement.maximumAgeMillis);
29
- const fresh = auth.evidence.proofs.filter((proof) => now - DateTime.toEpochMillis(proof.verifiedAt) < age);
30
- invariant(fresh.length > 0);
31
- const deadline = Math.min(...fresh.map((proof) => DateTime.toEpochMillis(proof.verifiedAt) + age));
32
- owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${now} and ${mapping.clock.engineNowMillis} < ${deadline}`);
33
- return true;
34
- }));
35
- const currentLink = (mapping, flow) => Effect.gen(function* () {
36
- const current = yield* accountCurrent(mapping, flow.context.revision.subjectId);
37
- return current !== void 0 && sameRevision(current.revision, flow.context.revision) ? current : void 0;
38
- });
39
- const issueLink = (mapping, input) => Effect.gen(function* () {
40
- const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow), c = flow.context;
41
- const current = yield* currentLink(mapping, flow);
42
- const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);
43
- if (current === void 0 || auth.challenge.moduleId !== c.moduleId || !(yield* authorization(mapping, current, auth, "link-begin", c.flowId, c.commandId, contextStorage.encode(c), c.maximumEvidenceAgeMillis))) return { _tag: "Rejected" };
44
- return yield* issueFlow(mapping, flow, "link");
45
- });
46
- const preflightLink = (mapping, original) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
47
- const input = snapshotOAuthSync(OAuthLinkAccess, original);
48
- const current = yield* accountCurrent(mapping, input.subjectId);
49
- const found = yield* readFlow(mapping, input, "link");
50
- const now = yield* owner.now(mapping.clock);
51
- if (current === void 0 || found.flow === void 0 || found.row?.[mapping.flow.state] !== "Pending" || !matchesAccess(found.flow, input)) return void 0;
52
- const flow = snapshotOAuthSync(OAuthLinkPendingFlow, found.flow), c = flow.context;
53
- if (c.revision.subjectId !== input.subjectId || !sameRevision(current.revision, c.revision) || now < c.issuedAtMillis || now >= c.expiresAtMillis) return void 0;
54
- owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${c.issuedAtMillis} and ${mapping.clock.engineNowMillis} < ${c.expiresAtMillis}`);
55
- return {
56
- current,
57
- flow,
58
- row: found.row
59
- };
60
- }));
61
- const claimLink = (mapping, input) => Effect.gen(function* () {
62
- const found = yield* preflightLink(mapping, input.access);
63
- const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow);
64
- const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization), c = flow.context;
65
- if (found === void 0 || linkStorage.encode(found.flow) !== linkStorage.encode(flow) || auth.challenge.moduleId !== c.moduleId || !(yield* authorization(mapping, found.current, auth, "link-complete", c.flowId, c.commandId, contextStorage.encode(c), c.maximumEvidenceAgeMillis))) return { _tag: "Rejected" };
66
- const claim = yield* claimFlow(mapping, {
67
- row: found.row,
68
- flow
69
- }, input.claimId);
70
- return claim === void 0 ? { _tag: "Rejected" } : {
71
- _tag: "Claimed",
72
- claim
73
- };
74
- });
75
- const checkInvalidation = (mapping, original) => {
76
- const value = snapshotOAuthSync(SessionInvalidationWindow, original);
77
- invariant(value.trigger === "credential-change" && value.oldAuthenticationEvidence === "rejected" && (mapping.sessionInvalidation === "same-authority-immediate" ? value.existingSessions === "immediate" && value.maximumExposureMillis === 0 : value.existingSessions === "original-absolute-expiry"));
78
- return value;
79
- };
80
- const advance = (mapping, current, removed) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
81
- const revision = mapping.subject.nextSecurityRevision(current.revision.securityRevision);
82
- invariant(typeof revision === "string" && revision.length > 0 && revision.length <= 256 && revision !== current.revision.securityRevision);
83
- const subject = mapping.subject;
84
- yield* owner.update(subject.table, { [subject.id]: current.nativeId }, { [subject.securityRevision]: revision });
85
- for (const cleanup of mapping.cleanup) {
86
- const condition = both(eq(col(cleanup.table, cleanup.subjectId), current.nativeId), cleanup.condition({
87
- subjectId: current.nativeId,
88
- revision: snapshotOAuthSync(OAuthAccountRevision, current.revision),
89
- ...removed === void 0 ? {} : { removedCredentialId: removed }
90
- }));
91
- yield* owner.write(owner.database.delete(cleanup.table).where(condition));
92
- owner.postconditions.push(sql`not exists(select 1 from ${cleanup.table} where ${condition})`);
93
- }
94
- return SecurityRevision.make(revision);
95
- }));
96
- const settleLink = (mapping, input, allocated) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
97
- const claim = snapshotOAuthSync(OAuthLinkClaim, input.claim), flow = claim.flow, c = flow.context;
98
- const current = yield* currentLink(mapping, flow);
99
- const identity = input.outcome._tag === "Verified" ? input.outcome.identity.identity : void 0;
100
- if (identity !== void 0) invariant(identity.provider === c.provider && identity.issuer === c.issuer);
101
- const tuple = identity !== void 0 && current !== void 0 ? yield* readTuple(mapping.ownership, identity) : void 0;
102
- if ((yield* exactClaim(mapping, claim, "link")) === void 0) return { _tag: "Rejected" };
103
- let decision = { _tag: input.outcome._tag };
104
- if (input.outcome._tag === "Verified") {
105
- decision = { _tag: "Rejected" };
106
- const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);
107
- if (current !== void 0 && tuple !== void 0 && auth.challenge.moduleId === c.moduleId && (yield* authorization(mapping, current, auth, "link-complete", c.flowId, c.commandId, contextStorage.encode(c), c.maximumEvidenceAgeMillis))) {
108
- const t = mapping.ownership.tuple, cr = mapping.credential, a = mapping.authority;
109
- const login = yield* owner.read(cr.table, eq(col(cr.table, cr.identityKey), tuple.key), { limit: 1 });
110
- const previous = login.rows[0];
111
- if (tuple.row[t.state] === "Reserved" || tuple.row[t.state] === "Owned" && !mapping.subjectId.equals(tuple.row[t.subjectId], current.nativeId) || previous !== void 0 && (previous[cr.moduleId] !== c.moduleId || !mapping.subjectId.equals(previous[cr.subjectId], current.nativeId) || !cr.isActiveStatus(previous[cr.status]))) decision = { _tag: "Conflict" };
112
- else if (previous !== void 0) {
113
- const shared = current.revision.credentials.find((item) => item.credentialId === previous[cr.credentialId]);
114
- if (tuple.row[t.state] !== "Owned" || shared?.revision !== previous[cr.credentialRevision] || !(yield* owner.check(sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.identityKey), tuple.key), cr.activeCondition)})`))) decision = { _tag: "Conflict" };
115
- else decision = {
116
- _tag: "Linked",
117
- changed: false,
118
- credential: snapshotOAuthSync(OAuthCredentialSnapshot, {
119
- moduleId: c.moduleId,
120
- identity,
121
- credentialId: previous[cr.credentialId],
122
- credentialRevision: previous[cr.credentialRevision],
123
- revision: current.revision
124
- })
125
- };
126
- } else {
127
- checkInvalidation(mapping, input.invalidation);
128
- const values = {
129
- ...cr.encodeInsert({
130
- moduleId: c.moduleId,
131
- subjectId: current.nativeId,
132
- identityKey: tuple.key,
133
- credentialId: allocated.credentialId,
134
- credentialRevision: allocated.revision
135
- }),
136
- [cr.moduleId]: c.moduleId,
137
- [cr.subjectId]: current.nativeId,
138
- [cr.identityKey]: tuple.key,
139
- [cr.credentialId]: allocated.credentialId,
140
- [cr.credentialRevision]: allocated.revision
141
- };
142
- invariant(cr.isActiveStatus(values[cr.status]));
143
- login.rows = (yield* owner.insert(cr.table, values, { [cr.credentialId]: allocated.credentialId })).rows;
144
- const sharedValues = {
145
- ...a.encodeInsert({
146
- subjectId: current.nativeId,
147
- credentialId: allocated.credentialId,
148
- revision: allocated.revision
149
- }),
150
- [a.subjectId]: current.nativeId,
151
- [a.credentialId]: allocated.credentialId,
152
- [a.revision]: allocated.revision
153
- };
154
- invariant(a.isActiveStatus(sharedValues[a.status]));
155
- const shared = yield* owner.insert(a.table, sharedValues, {
156
- [a.subjectId]: current.nativeId,
157
- [a.credentialId]: allocated.credentialId
158
- });
159
- current.authorities.rows = [...current.authorities.rows, ...shared.rows];
160
- owner.postconditions.push(sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), allocated.credentialId), cr.activeCondition)})`, sql`exists(select 1 from ${a.table} where ${both(eq(col(a.table, a.subjectId), current.nativeId), eq(col(a.table, a.credentialId), allocated.credentialId), a.activeCondition)})`);
161
- if (tuple.row[t.state] === "Unowned") yield* acquireTuple(mapping.ownership, identity, tuple.key, current.nativeId);
162
- const next = yield* advance(mapping, current);
163
- const revision = snapshotOAuthSync(OAuthAccountRevision, {
164
- ...current.revision,
165
- securityRevision: next,
166
- credentials: [...current.revision.credentials, {
167
- credentialId: allocated.credentialId,
168
- revision: allocated.revision
169
- }]
170
- });
171
- decision = {
172
- _tag: "Linked",
173
- changed: true,
174
- credential: snapshotOAuthSync(OAuthCredentialSnapshot, {
175
- moduleId: c.moduleId,
176
- identity,
177
- credentialId: allocated.credentialId,
178
- credentialRevision: allocated.revision,
179
- revision
180
- })
181
- };
182
- }
183
- }
184
- }
185
- yield* terminalFlow(mapping, flow, decision._tag);
186
- return decision;
187
- }));
188
- const targetCredential = (mapping, moduleId, credentialId, current) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
189
- const cr = mapping.credential;
190
- const row = (yield* owner.read(cr.table, eq(col(cr.table, cr.credentialId), credentialId), { limit: 1 })).rows[0];
191
- if (row === void 0 || row[cr.moduleId] !== moduleId || !mapping.subjectId.equals(row[cr.subjectId], current.nativeId) || !cr.isActiveStatus(row[cr.status])) return void 0;
192
- const t = mapping.ownership.tuple;
193
- const ownership = (yield* owner.read(t.table, eq(col(t.table, t.identityKey), row[cr.identityKey]), { limit: 1 })).rows[0];
194
- if (ownership === void 0 || ownership[t.state] !== "Owned" || !mapping.subjectId.equals(ownership[t.subjectId], current.nativeId)) return void 0;
195
- const identity = {
196
- provider: ownership[t.provider],
197
- issuer: ownership[t.issuer],
198
- subject: ownership[t.externalSubject]
199
- };
200
- invariant((yield* oauthIdentityKey(identity)) === row[cr.identityKey]);
201
- if (current.revision.credentials.find((item) => item.credentialId === credentialId)?.revision !== row[cr.credentialRevision] || !(yield* owner.check(sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), credentialId), cr.activeCondition)})`))) return void 0;
202
- return snapshotOAuthSync(OAuthCredentialSnapshot, {
203
- moduleId,
204
- identity,
205
- credentialId,
206
- credentialRevision: row[cr.credentialRevision],
207
- revision: current.revision
208
- });
209
- }));
210
- const unlinkCommand = (mapping, moduleId, commandId) => Effect.flatMap(CurrentOAuthTransaction, (owner) => owner.read(mapping.command.table, equal(mapping.command.table, {
211
- [mapping.command.moduleId]: moduleId,
212
- [mapping.command.commandId]: commandId
213
- }), { limit: 1 }));
214
- const inspectUnlink = (mapping, input) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
215
- const current = yield* accountCurrent(mapping, input.subjectId);
216
- if (current === void 0) return { _tag: "Rejected" };
217
- const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId), r = mapping.command;
218
- const old = command.rows[0];
219
- if (old !== void 0) {
220
- const intent = credentialStorage.decode(old[r.intentSnapshot]);
221
- if (intent.moduleId !== input.moduleId || intent.revision.subjectId !== input.subjectId || intent.credentialId !== input.credentialId || !mapping.subjectId.equals(old[r.subjectId], current.nativeId) || old[r.credentialId] !== input.credentialId) return { _tag: "Conflict" };
222
- const metadata = mapping.metadata.condition(current.nativeId);
223
- if (!(yield* owner.check(metadata))) return { _tag: "Rejected" };
224
- owner.postconditions.push(metadata);
225
- return {
226
- _tag: "Replay",
227
- result: unlinkedStorage.decode(old[r.decision])
228
- };
229
- }
230
- const credential = yield* targetCredential(mapping, input.moduleId, input.credentialId, current);
231
- return credential === void 0 ? { _tag: "Rejected" } : {
232
- _tag: "Target",
233
- credential
234
- };
235
- }));
236
- const remainingEligibility = (mapping, current, removed) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
237
- invariant(mapping.eligibility.length > 0 && mapping.eligibility.length <= 32);
238
- const facts = /* @__PURE__ */ new Map();
239
- const revisions = new Map(current.revision.credentials.map((item) => [item.credentialId, item.revision]));
240
- for (const descriptor of mapping.eligibility) {
241
- const observed = yield* owner.read(descriptor.table, both(eq(col(descriptor.table, descriptor.subjectId), current.nativeId), descriptor.condition(current.nativeId)), { orderBy: col(descriptor.table, descriptor.credentialId) });
242
- for (const row of observed.rows) {
243
- const fact = descriptor.decode(copiedRow(row));
244
- if (fact === void 0 || fact.credentialId === removed) continue;
245
- invariant(fact.credentialId === row[descriptor.credentialId] && fact.revision === row[descriptor.revision] && revisions.get(fact.credentialId) === fact.revision && fact.factors.length <= 8 && fact.factors.every((factor) => [
246
- "knowledge",
247
- "possession",
248
- "inherence"
249
- ].includes(factor)));
250
- invariant(typeof fact.usablePrimary === "boolean" && typeof fact.userVerified === "boolean" && typeof fact.phishingResistant === "boolean");
251
- const normalized = {
252
- credentialId: fact.credentialId,
253
- revision: fact.revision,
254
- usablePrimary: fact.usablePrimary,
255
- factors: [...new Set(fact.factors)].sort(),
256
- userVerified: fact.userVerified,
257
- phishingResistant: fact.phishingResistant
258
- };
259
- const prior = facts.get(fact.credentialId);
260
- invariant(prior === void 0 || JSON.stringify(prior) === JSON.stringify(normalized));
261
- facts.set(fact.credentialId, normalized);
262
- }
263
- }
264
- const available = [...facts.values()];
265
- const requirement = snapshotOAuthSync(AuthenticationRequirement, mapping.subject.decodeAuthenticationRequirement(copiedRow(current.row)));
266
- return available.some((fact) => fact.usablePrimary) && satisfies(available, requirement);
267
- }));
268
- const unlink = (mapping, input) => Effect.flatMap(CurrentOAuthTransaction, (owner) => Effect.gen(function* () {
269
- const expected = snapshotOAuthSync(OAuthCredentialSnapshot, input.credential);
270
- invariant(expected.moduleId === input.moduleId);
271
- const current = yield* accountCurrent(mapping, expected.revision.subjectId);
272
- if (current === void 0) return { _tag: "Rejected" };
273
- const guards = mapping.connectedReferenceGuards ?? [];
274
- invariant(guards.length <= 32);
275
- let referencesGuarded = mapping.connectedReference !== void 0 && guards.length > 0;
276
- if (mapping.connectedReference !== void 0) for (const guard of guards) {
277
- const condition = guard.condition({
278
- identity: snapshotOAuthSync(OAuthCredentialSnapshot.fields.identity, expected.identity),
279
- identityKey: yield* oauthIdentityKey(expected.identity),
280
- subjectId: copiedRow({ value: current.nativeId }).value
281
- });
282
- if ((yield* owner.read(guard.table, Effect.isEffect(condition) ? yield* condition : condition, { orderBy: col(guard.table, guard.orderBy) })).rows.length === 0) referencesGuarded = false;
283
- }
284
- const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId), r = mapping.command;
285
- const previous = command.rows[0];
286
- if (previous !== void 0) {
287
- if (previous[r.intentSnapshot] !== credentialStorage.encode(expected) || previous[r.credentialId] !== expected.credentialId || !mapping.subjectId.equals(previous[r.subjectId], current.nativeId)) return { _tag: "Conflict" };
288
- const metadata = mapping.metadata.condition(current.nativeId);
289
- if (!(yield* owner.check(metadata))) return { _tag: "Rejected" };
290
- owner.postconditions.push(metadata);
291
- return {
292
- _tag: "Unlinked",
293
- replayed: true,
294
- result: unlinkedStorage.decode(previous[r.decision])
295
- };
296
- }
297
- const actual = yield* targetCredential(mapping, input.moduleId, expected.credentialId, current);
298
- if (actual === void 0 || credentialStorage.encode(actual) !== credentialStorage.encode(expected)) return { _tag: "Rejected" };
299
- const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);
300
- if (auth.challenge.moduleId !== input.moduleId || !(yield* authorization(mapping, current, auth, "unlink", input.commandId, input.commandId, credentialStorage.encode(expected), auth.requirement.maximumAgeMillis))) return { _tag: "Rejected" };
301
- if (!(yield* remainingEligibility(mapping, current, expected.credentialId))) return { _tag: "LastSignInMethod" };
302
- const invalidation = checkInvalidation(mapping, input.invalidation), cr = mapping.credential, a = mapping.authority;
303
- const key = yield* oauthIdentityKey(expected.identity), t = mapping.ownership.tuple;
304
- const connected = mapping.connectedReference?.({
305
- identityKey: key,
306
- subjectId: copiedRow({ value: current.nativeId }).value
307
- });
308
- const retain = connected !== void 0 && (!referencesGuarded || (yield* owner.check(connected)));
309
- if (connected !== void 0 && referencesGuarded) owner.postconditions.push(retain ? connected : sql`not (${connected})`);
310
- yield* owner.remove(cr.table, { [cr.credentialId]: expected.credentialId });
311
- yield* owner.remove(a.table, {
312
- [a.subjectId]: current.nativeId,
313
- [a.credentialId]: expected.credentialId
314
- });
315
- if (!retain) {
316
- yield* owner.update(t.table, { [t.identityKey]: key }, {
317
- [t.state]: "Unowned",
318
- [t.subjectId]: null,
319
- [t.reservation]: null,
320
- [t.version]: owner.marker
321
- });
322
- if (mapping.ownership.mode === "separate") yield* owner.remove(mapping.ownership.external.table, { [mapping.ownership.external.identityKey]: key });
323
- }
324
- yield* advance(mapping, current, expected.credentialId);
325
- const result = snapshotOAuthSync(OAuthUnlinked, {
326
- _tag: "Unlinked",
327
- credentialId: expected.credentialId,
328
- invalidation
329
- });
330
- const now = yield* owner.now(mapping.clock);
331
- invariant(Number.isSafeInteger(input.retentionUntilMillis) && input.retentionUntilMillis > now && input.retentionUntilMillis >= input.nowMillis + 12e4);
332
- const commandKey = {
333
- [r.moduleId]: input.moduleId,
334
- [r.commandId]: input.commandId
335
- };
336
- const values = {
337
- ...r.encodeInsert({
338
- moduleId: input.moduleId,
339
- commandId: input.commandId,
340
- credential: snapshotOAuthSync(OAuthCredentialSnapshot, expected)
341
- }),
342
- ...commandKey,
343
- [r.subjectId]: current.nativeId,
344
- [r.credentialId]: expected.credentialId,
345
- [r.intentSnapshot]: credentialStorage.encode(expected),
346
- [r.decision]: unlinkedStorage.encode(result),
347
- [r.retentionUntil]: mapping.clock.encodeInstant(input.retentionUntilMillis)
348
- };
349
- command.rows = (yield* owner.insert(r.table, values, commandKey)).rows;
350
- return {
351
- _tag: "Unlinked",
352
- result,
353
- replayed: false
354
- };
355
- }));
356
- //#endregion
357
- export { accountCurrent, claimLink, inspectUnlink, issueLink, preflightLink, settleLink, unlink };
358
-
359
- //# sourceMappingURL=oauth-accounts.mjs.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"oauth-accounts.mjs","names":[],"sources":["../../src/drizzle/oauth-accounts.ts"],"sourcesContent":["import {\n OAuthAccountRevision,\n OAuthActionAuthorization,\n OAuthLinkAccess,\n OAuthLinkClaim,\n OAuthLinkPendingFlow,\n OAuthLinkTransactionContext,\n OAuthUnlinked,\n OAuthCredentialSnapshot,\n snapshotOAuthSync,\n} from \"@yielded/auth/OAuth\";\nimport {\n SessionInvalidationWindow,\n AuthenticationRequirement,\n SecurityRevision,\n} from \"@yielded/auth/Sessions\";\n/* oxlint-disable no-explicit-any -- private owner implementation; public mappings retain native IDs. */\nimport { eq, sql } from \"drizzle-orm\";\nimport { DateTime, Effect } from \"effect\";\n\nimport type { SubjectIdCodec } from \"./model\";\nimport {\n claimFlow,\n credentialStorage,\n currentSubject,\n exactClaim,\n issueFlow,\n linkStorage,\n matchesAccess,\n readFlow,\n terminalFlow,\n} from \"./oauth-flow\";\nimport type { OAuthReferenceGuardDescriptor, OAuthEligibilityFact } from \"./oauth-model\";\nimport { both, col, copiedRow, equal, CurrentOAuthTransaction } from \"./oauth-owner\";\nimport { acquireTuple, readTuple } from \"./oauth-registration\";\nimport {\n invariant,\n oauthIdentityKey,\n sameRevision,\n satisfies,\n storage,\n validAction,\n} from \"./oauth-state\";\n\nconst contextStorage = storage(OAuthLinkTransactionContext);\nconst unlinkedStorage = storage(OAuthUnlinked);\n\nexport const accountCurrent = (mapping: any, subjectId: OAuthAccountRevision[\"subjectId\"]) =>\n Effect.gen(function* () {\n const native = yield* (mapping.subjectId as SubjectIdCodec<unknown>).toNative(subjectId);\n\n return yield* currentSubject(mapping, native);\n });\n\nconst authorization = (\n mapping: any,\n current: any,\n auth: OAuthActionAuthorization,\n action: OAuthActionAuthorization[\"challenge\"][\"action\"],\n flowId: string,\n commandId: string,\n intent: string,\n maximumAge: number,\n) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const now = yield* owner.now(mapping.clock);\n\n const currentRequirement = snapshotOAuthSync(\n AuthenticationRequirement,\n mapping.subject.decodeActionRequirement(copiedRow(current.row), action),\n );\n\n const accepted = yield* validAction(\n auth,\n {\n moduleId: auth.challenge.moduleId,\n action,\n flowId,\n commandId,\n revision: current.revision,\n intent,\n },\n currentRequirement,\n now,\n maximumAge,\n );\n\n if (!accepted) return false;\n\n const age = Math.min(\n maximumAge,\n auth.requirement.maximumAgeMillis,\n currentRequirement.maximumAgeMillis,\n );\n\n const fresh = auth.evidence.proofs.filter(\n (proof) => now - DateTime.toEpochMillis(proof.verifiedAt) < age,\n );\n\n invariant(fresh.length > 0);\n\n const deadline = Math.min(\n ...fresh.map((proof) => DateTime.toEpochMillis(proof.verifiedAt) + age),\n );\n\n owner.postconditions.push(\n sql`${mapping.clock.engineNowMillis} >= ${now} and ${mapping.clock.engineNowMillis} < ${deadline}`,\n );\n\n return true;\n }),\n );\n\nconst currentLink = (mapping: any, flow: typeof OAuthLinkPendingFlow.Type) =>\n Effect.gen(function* () {\n const current = yield* accountCurrent(mapping, flow.context.revision.subjectId);\n\n return current !== undefined && sameRevision(current.revision, flow.context.revision)\n ? current\n : undefined;\n });\n\nexport const issueLink = (mapping: any, input: any) =>\n Effect.gen(function* () {\n const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow),\n c = flow.context;\n\n const current = yield* currentLink(mapping, flow);\n const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n if (\n current === undefined ||\n auth.challenge.moduleId !== c.moduleId ||\n !(yield* authorization(\n mapping,\n current,\n auth,\n \"link-begin\",\n c.flowId,\n c.commandId,\n contextStorage.encode(c),\n c.maximumEvidenceAgeMillis,\n ))\n )\n return { _tag: \"Rejected\" } as const;\n\n return yield* issueFlow(mapping, flow, \"link\");\n });\n\nexport const preflightLink = (mapping: any, original: typeof OAuthLinkAccess.Type) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const input = snapshotOAuthSync(OAuthLinkAccess, original);\n // The authenticated subject is known before discovering/locking any flow.\n const current = yield* accountCurrent(mapping, input.subjectId);\n const found = yield* readFlow(mapping, input, \"link\");\n const now = yield* owner.now(mapping.clock);\n\n if (\n current === undefined ||\n found.flow === undefined ||\n found.row?.[mapping.flow.state] !== \"Pending\" ||\n !matchesAccess(found.flow, input)\n )\n return undefined;\n\n const flow = snapshotOAuthSync(OAuthLinkPendingFlow, found.flow as never),\n c = flow.context;\n\n if (\n c.revision.subjectId !== input.subjectId ||\n !sameRevision(current.revision, c.revision) ||\n now < c.issuedAtMillis ||\n now >= c.expiresAtMillis\n )\n return undefined;\n owner.postconditions.push(\n sql`${mapping.clock.engineNowMillis} >= ${c.issuedAtMillis} and ${mapping.clock.engineNowMillis} < ${c.expiresAtMillis}`,\n );\n\n return { current, flow, row: found.row };\n }),\n );\n\nexport const claimLink = (mapping: any, input: any) =>\n Effect.gen(function* () {\n const found = yield* preflightLink(mapping, input.access);\n const flow = snapshotOAuthSync(OAuthLinkPendingFlow, input.flow);\n\n const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization),\n c = flow.context;\n\n if (\n found === undefined ||\n linkStorage.encode(found.flow) !== linkStorage.encode(flow) ||\n auth.challenge.moduleId !== c.moduleId ||\n !(yield* authorization(\n mapping,\n found.current,\n auth,\n \"link-complete\",\n c.flowId,\n c.commandId,\n contextStorage.encode(c),\n c.maximumEvidenceAgeMillis,\n ))\n )\n return { _tag: \"Rejected\" } as const;\n const claim = yield* claimFlow(mapping, { row: found.row!, flow }, input.claimId);\n\n return claim === undefined\n ? ({ _tag: \"Rejected\" } as const)\n : ({ _tag: \"Claimed\", claim } as const);\n });\n\nconst checkInvalidation = (mapping: any, original: SessionInvalidationWindow) => {\n const value = snapshotOAuthSync(SessionInvalidationWindow, original);\n\n invariant(\n value.trigger === \"credential-change\" &&\n value.oldAuthenticationEvidence === \"rejected\" &&\n (mapping.sessionInvalidation === \"same-authority-immediate\"\n ? value.existingSessions === \"immediate\" && value.maximumExposureMillis === 0\n : value.existingSessions === \"original-absolute-expiry\"),\n );\n\n return value;\n};\n\nconst advance = (mapping: any, current: any, removed?: string) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const revision = mapping.subject.nextSecurityRevision(current.revision.securityRevision);\n\n invariant(\n typeof revision === \"string\" &&\n revision.length > 0 &&\n revision.length <= 256 &&\n revision !== current.revision.securityRevision,\n );\n const subject = mapping.subject;\n\n yield* owner.update(\n subject.table,\n { [subject.id]: current.nativeId },\n { [subject.securityRevision]: revision },\n );\n for (const cleanup of mapping.cleanup) {\n const condition = both(\n eq(col(cleanup.table, cleanup.subjectId), current.nativeId),\n cleanup.condition({\n subjectId: current.nativeId,\n revision: snapshotOAuthSync(OAuthAccountRevision, current.revision),\n ...(removed === undefined ? {} : { removedCredentialId: removed }),\n }),\n );\n\n yield* owner.write(owner.database.delete(cleanup.table).where(condition));\n owner.postconditions.push(\n sql`not exists(select 1 from ${cleanup.table} where ${condition})`,\n );\n }\n\n return SecurityRevision.make(revision);\n }),\n );\n\nexport const settleLink = (\n mapping: any,\n input: any,\n allocated: { readonly credentialId: string; readonly revision: SecurityRevision },\n) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const claim = snapshotOAuthSync(OAuthLinkClaim, input.claim),\n flow = claim.flow,\n c = flow.context;\n\n const current = yield* currentLink(mapping, flow);\n\n // Known subject is always locked before tuple/flow; even a rejected outcome\n // settles its exact original claim without adopting a newer revision.\n const identity =\n input.outcome._tag === \"Verified\" ? input.outcome.identity.identity : undefined;\n\n if (identity !== undefined)\n invariant(identity.provider === c.provider && identity.issuer === c.issuer);\n\n const tuple =\n identity !== undefined && current !== undefined\n ? yield* readTuple(mapping.ownership, identity)\n : undefined;\n\n const exact = yield* exactClaim(mapping, claim, \"link\");\n\n if (exact === undefined) return { _tag: \"Rejected\" } as const;\n let decision: any = { _tag: input.outcome._tag };\n\n if (input.outcome._tag === \"Verified\") {\n decision = { _tag: \"Rejected\" };\n const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n if (\n current !== undefined &&\n tuple !== undefined &&\n auth.challenge.moduleId === c.moduleId &&\n (yield* authorization(\n mapping,\n current,\n auth,\n \"link-complete\",\n c.flowId,\n c.commandId,\n contextStorage.encode(c),\n c.maximumEvidenceAgeMillis,\n ))\n ) {\n const t = mapping.ownership.tuple,\n cr = mapping.credential,\n a = mapping.authority;\n\n const login = yield* owner.read(cr.table, eq(col(cr.table, cr.identityKey), tuple.key), {\n limit: 1,\n });\n\n const previous = login.rows[0];\n\n if (\n tuple.row[t.state] === \"Reserved\" ||\n (tuple.row[t.state] === \"Owned\" &&\n !mapping.subjectId.equals(tuple.row[t.subjectId], current.nativeId)) ||\n (previous !== undefined &&\n (previous[cr.moduleId] !== c.moduleId ||\n !mapping.subjectId.equals(previous[cr.subjectId], current.nativeId) ||\n !cr.isActiveStatus(previous[cr.status])))\n )\n decision = { _tag: \"Conflict\" };\n else if (previous !== undefined) {\n const shared = current.revision.credentials.find(\n (item: any) => item.credentialId === previous[cr.credentialId],\n );\n\n if (\n tuple.row[t.state] !== \"Owned\" ||\n shared?.revision !== previous[cr.credentialRevision] ||\n !(yield* owner.check(\n sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.identityKey), tuple.key), cr.activeCondition)})`,\n ))\n )\n decision = { _tag: \"Conflict\" };\n else\n decision = {\n _tag: \"Linked\",\n changed: false,\n credential: snapshotOAuthSync(OAuthCredentialSnapshot, {\n moduleId: c.moduleId,\n identity,\n credentialId: previous[cr.credentialId],\n credentialRevision: previous[cr.credentialRevision],\n revision: current.revision,\n }),\n };\n } else {\n checkInvalidation(mapping, input.invalidation);\n\n const values = {\n ...cr.encodeInsert({\n moduleId: c.moduleId,\n subjectId: current.nativeId,\n identityKey: tuple.key,\n credentialId: allocated.credentialId,\n credentialRevision: allocated.revision,\n }),\n [cr.moduleId]: c.moduleId,\n [cr.subjectId]: current.nativeId,\n [cr.identityKey]: tuple.key,\n [cr.credentialId]: allocated.credentialId,\n [cr.credentialRevision]: allocated.revision,\n };\n\n invariant(cr.isActiveStatus(values[cr.status]));\n\n const inserted = yield* owner.insert(cr.table, values, {\n [cr.credentialId]: allocated.credentialId,\n });\n\n login.rows = inserted.rows;\n\n const sharedValues = {\n ...a.encodeInsert({\n subjectId: current.nativeId,\n credentialId: allocated.credentialId,\n revision: allocated.revision,\n }),\n [a.subjectId]: current.nativeId,\n [a.credentialId]: allocated.credentialId,\n [a.revision]: allocated.revision,\n };\n\n invariant(a.isActiveStatus(sharedValues[a.status]));\n\n const shared = yield* owner.insert(a.table, sharedValues, {\n [a.subjectId]: current.nativeId,\n [a.credentialId]: allocated.credentialId,\n });\n\n current.authorities.rows = [...current.authorities.rows, ...shared.rows];\n owner.postconditions.push(\n sql`exists(select 1 from ${cr.table} where ${both(\n eq(col(cr.table, cr.credentialId), allocated.credentialId),\n cr.activeCondition,\n )})`,\n sql`exists(select 1 from ${a.table} where ${both(\n eq(col(a.table, a.subjectId), current.nativeId),\n eq(col(a.table, a.credentialId), allocated.credentialId),\n a.activeCondition,\n )})`,\n );\n if (tuple.row[t.state] === \"Unowned\")\n yield* acquireTuple(mapping.ownership, identity, tuple.key, current.nativeId);\n const next = yield* advance(mapping, current);\n\n const revision = snapshotOAuthSync(OAuthAccountRevision, {\n ...current.revision,\n securityRevision: next,\n credentials: [\n ...current.revision.credentials,\n { credentialId: allocated.credentialId, revision: allocated.revision },\n ],\n });\n\n decision = {\n _tag: \"Linked\",\n changed: true,\n credential: snapshotOAuthSync(OAuthCredentialSnapshot, {\n moduleId: c.moduleId,\n identity,\n credentialId: allocated.credentialId,\n credentialRevision: allocated.revision as never,\n revision,\n }),\n };\n }\n }\n }\n yield* terminalFlow(mapping, flow, decision._tag);\n\n return decision;\n }),\n );\n\nconst targetCredential = (mapping: any, moduleId: string, credentialId: string, current: any) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const cr = mapping.credential;\n\n const found = yield* owner.read(cr.table, eq(col(cr.table, cr.credentialId), credentialId), {\n limit: 1,\n });\n\n const row = found.rows[0];\n\n if (\n row === undefined ||\n row[cr.moduleId] !== moduleId ||\n !mapping.subjectId.equals(row[cr.subjectId], current.nativeId) ||\n !cr.isActiveStatus(row[cr.status])\n )\n return undefined;\n const t = mapping.ownership.tuple;\n\n const tuple = yield* owner.read(\n t.table,\n eq(col(t.table, t.identityKey), row[cr.identityKey]),\n {\n limit: 1,\n },\n );\n\n const ownership = tuple.rows[0];\n\n if (\n ownership === undefined ||\n ownership[t.state] !== \"Owned\" ||\n !mapping.subjectId.equals(ownership[t.subjectId], current.nativeId)\n )\n return undefined;\n\n const identity = {\n provider: ownership[t.provider],\n issuer: ownership[t.issuer],\n subject: ownership[t.externalSubject],\n };\n\n invariant((yield* oauthIdentityKey(identity)) === row[cr.identityKey]);\n\n const shared = current.revision.credentials.find(\n (item: any) => item.credentialId === credentialId,\n );\n\n if (\n shared?.revision !== row[cr.credentialRevision] ||\n !(yield* owner.check(\n sql`exists(select 1 from ${cr.table} where ${both(eq(col(cr.table, cr.credentialId), credentialId), cr.activeCondition)})`,\n ))\n )\n return undefined;\n\n return snapshotOAuthSync(OAuthCredentialSnapshot, {\n moduleId: moduleId as never,\n identity,\n credentialId,\n credentialRevision: row[cr.credentialRevision],\n revision: current.revision,\n });\n }),\n );\n\nconst unlinkCommand = (mapping: any, moduleId: string, commandId: string) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n owner.read(\n mapping.command.table,\n equal(mapping.command.table, {\n [mapping.command.moduleId]: moduleId,\n [mapping.command.commandId]: commandId,\n }),\n { limit: 1 },\n ),\n );\n\nexport const inspectUnlink = (mapping: any, input: any) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const current = yield* accountCurrent(mapping, input.subjectId);\n\n if (current === undefined) return { _tag: \"Rejected\" } as const;\n\n const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId),\n r = mapping.command;\n\n const old = command.rows[0];\n\n if (old !== undefined) {\n const intent = credentialStorage.decode(old[r.intentSnapshot]);\n\n if (\n intent.moduleId !== input.moduleId ||\n intent.revision.subjectId !== input.subjectId ||\n intent.credentialId !== input.credentialId ||\n !mapping.subjectId.equals(old[r.subjectId], current.nativeId) ||\n old[r.credentialId] !== input.credentialId\n )\n return { _tag: \"Conflict\" } as const;\n const metadata = mapping.metadata.condition(current.nativeId);\n\n if (!(yield* owner.check(metadata))) return { _tag: \"Rejected\" } as const;\n owner.postconditions.push(metadata);\n\n return { _tag: \"Replay\", result: unlinkedStorage.decode(old[r.decision]) } as const;\n }\n\n const credential = yield* targetCredential(\n mapping,\n input.moduleId,\n input.credentialId,\n current,\n );\n\n return credential === undefined\n ? ({ _tag: \"Rejected\" } as const)\n : ({ _tag: \"Target\", credential } as const);\n }),\n );\n\nconst remainingEligibility = (mapping: any, current: any, removed: string) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n invariant(mapping.eligibility.length > 0 && mapping.eligibility.length <= 32);\n const facts = new Map<string, OAuthEligibilityFact>();\n\n const revisions = new Map(\n current.revision.credentials.map((item: any) => [item.credentialId, item.revision]),\n );\n\n for (const descriptor of mapping.eligibility) {\n const observed = yield* owner.read(\n descriptor.table,\n both(\n eq(col(descriptor.table, descriptor.subjectId), current.nativeId),\n descriptor.condition(current.nativeId),\n ),\n { orderBy: col(descriptor.table, descriptor.credentialId) },\n );\n\n for (const row of observed.rows) {\n const fact = descriptor.decode(copiedRow(row)) as OAuthEligibilityFact | undefined;\n\n if (fact === undefined || fact.credentialId === removed) continue;\n invariant(\n fact.credentialId === row[descriptor.credentialId] &&\n fact.revision === row[descriptor.revision] &&\n revisions.get(fact.credentialId) === fact.revision &&\n fact.factors.length <= 8 &&\n fact.factors.every((factor) =>\n [\"knowledge\", \"possession\", \"inherence\"].includes(factor),\n ),\n );\n invariant(\n typeof fact.usablePrimary === \"boolean\" &&\n typeof fact.userVerified === \"boolean\" &&\n typeof fact.phishingResistant === \"boolean\",\n );\n\n const normalized = {\n credentialId: fact.credentialId,\n revision: fact.revision,\n usablePrimary: fact.usablePrimary,\n factors: [...new Set(fact.factors)].sort(),\n userVerified: fact.userVerified,\n phishingResistant: fact.phishingResistant,\n };\n\n const prior = facts.get(fact.credentialId);\n\n // oxlint-disable-next-line no-restricted-properties -- Canonical bounded eligibility fact fingerprint rejects contradictory duplicate IDs.\n invariant(prior === undefined || JSON.stringify(prior) === JSON.stringify(normalized));\n facts.set(fact.credentialId, normalized);\n }\n }\n const available = [...facts.values()];\n\n const requirement = snapshotOAuthSync(\n AuthenticationRequirement,\n mapping.subject.decodeAuthenticationRequirement(copiedRow(current.row)),\n );\n\n return available.some((fact) => fact.usablePrimary) && satisfies(available, requirement);\n }),\n );\n\nexport const unlink = (mapping: any, input: any) =>\n Effect.flatMap(CurrentOAuthTransaction, (owner) =>\n Effect.gen(function* () {\n const expected = snapshotOAuthSync(OAuthCredentialSnapshot, input.credential);\n\n invariant(expected.moduleId === input.moduleId);\n const current = yield* accountCurrent(mapping, expected.revision.subjectId);\n\n if (current === undefined) return { _tag: \"Rejected\" } as const;\n\n const guards: ReadonlyArray<OAuthReferenceGuardDescriptor<unknown>> =\n mapping.connectedReferenceGuards ?? [];\n\n invariant(guards.length <= 32);\n let referencesGuarded = mapping.connectedReference !== undefined && guards.length > 0;\n\n if (mapping.connectedReference !== undefined)\n for (const guard of guards) {\n const condition = guard.condition({\n identity: snapshotOAuthSync(OAuthCredentialSnapshot.fields.identity, expected.identity),\n identityKey: yield* oauthIdentityKey(expected.identity),\n subjectId: copiedRow({ value: current.nativeId }).value,\n });\n\n const read = yield* owner.read(\n guard.table,\n Effect.isEffect(condition) ? yield* condition : condition,\n { orderBy: col(guard.table, guard.orderBy) },\n );\n\n if (read.rows.length === 0) referencesGuarded = false;\n }\n\n const command = yield* unlinkCommand(mapping, input.moduleId, input.commandId),\n r = mapping.command;\n\n const previous = command.rows[0];\n\n if (previous !== undefined) {\n if (\n previous[r.intentSnapshot] !== credentialStorage.encode(expected) ||\n previous[r.credentialId] !== expected.credentialId ||\n !mapping.subjectId.equals(previous[r.subjectId], current.nativeId)\n )\n return { _tag: \"Conflict\" } as const;\n const metadata = mapping.metadata.condition(current.nativeId);\n\n if (!(yield* owner.check(metadata))) return { _tag: \"Rejected\" } as const;\n owner.postconditions.push(metadata);\n\n return {\n _tag: \"Unlinked\",\n replayed: true,\n result: unlinkedStorage.decode(previous[r.decision]),\n } as const;\n }\n\n const actual = yield* targetCredential(\n mapping,\n input.moduleId,\n expected.credentialId,\n current,\n );\n\n if (\n actual === undefined ||\n credentialStorage.encode(actual) !== credentialStorage.encode(expected)\n )\n return { _tag: \"Rejected\" } as const;\n const auth = snapshotOAuthSync(OAuthActionAuthorization, input.authorization);\n\n if (\n auth.challenge.moduleId !== input.moduleId ||\n !(yield* authorization(\n mapping,\n current,\n auth,\n \"unlink\",\n input.commandId,\n input.commandId,\n credentialStorage.encode(expected),\n auth.requirement.maximumAgeMillis,\n ))\n )\n return { _tag: \"Rejected\" } as const;\n if (!(yield* remainingEligibility(mapping, current, expected.credentialId)))\n return { _tag: \"LastSignInMethod\" } as const;\n\n const invalidation = checkInvalidation(mapping, input.invalidation),\n cr = mapping.credential,\n a = mapping.authority;\n\n const key = yield* oauthIdentityKey(expected.identity),\n t = mapping.ownership.tuple;\n\n const connected = mapping.connectedReference?.({\n identityKey: key,\n subjectId: copiedRow({ value: current.nativeId }).value,\n });\n\n const retain =\n connected !== undefined && (!referencesGuarded || (yield* owner.check(connected)));\n\n if (connected !== undefined && referencesGuarded)\n owner.postconditions.push(retain ? connected : sql`not (${connected})`);\n yield* owner.remove(cr.table, { [cr.credentialId]: expected.credentialId });\n yield* owner.remove(a.table, {\n [a.subjectId]: current.nativeId,\n [a.credentialId]: expected.credentialId,\n });\n if (!retain) {\n yield* owner.update(\n t.table,\n { [t.identityKey]: key },\n {\n [t.state]: \"Unowned\",\n [t.subjectId]: null,\n [t.reservation]: null,\n [t.version]: owner.marker,\n },\n );\n if (mapping.ownership.mode === \"separate\")\n yield* owner.remove(mapping.ownership.external.table, {\n [mapping.ownership.external.identityKey]: key,\n });\n }\n yield* advance(mapping, current, expected.credentialId);\n\n const result = snapshotOAuthSync(OAuthUnlinked, {\n _tag: \"Unlinked\",\n credentialId: expected.credentialId,\n invalidation,\n });\n\n const now = yield* owner.now(mapping.clock);\n\n invariant(\n Number.isSafeInteger(input.retentionUntilMillis) &&\n input.retentionUntilMillis > now &&\n input.retentionUntilMillis >= input.nowMillis + 120000,\n );\n const commandKey = { [r.moduleId]: input.moduleId, [r.commandId]: input.commandId };\n\n const values = {\n ...r.encodeInsert({\n moduleId: input.moduleId,\n commandId: input.commandId,\n credential: snapshotOAuthSync(OAuthCredentialSnapshot, expected),\n }),\n ...commandKey,\n [r.subjectId]: current.nativeId,\n [r.credentialId]: expected.credentialId,\n [r.intentSnapshot]: credentialStorage.encode(expected),\n [r.decision]: unlinkedStorage.encode(result),\n [r.retentionUntil]: mapping.clock.encodeInstant(input.retentionUntilMillis),\n };\n\n const inserted = yield* owner.insert(r.table, values, commandKey);\n\n command.rows = inserted.rows;\n\n return { _tag: \"Unlinked\", result, replayed: false } as const;\n }),\n );\n"],"mappings":";;;;;;;;;;AA4CA,MAAM,iBAAiB,QAAQ,2BAA2B;AAC1D,MAAM,kBAAkB,QAAQ,aAAa;AAE7C,MAAa,kBAAkB,SAAc,cAC3C,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,OAAQ,QAAQ,UAAsC,SAAS,SAAS;CAEvF,OAAO,OAAO,eAAe,SAAS,MAAM;AAC9C,CAAC;AAEH,MAAM,iBACJ,SACA,SACA,MACA,QACA,QACA,WACA,QACA,eAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,MAAM,qBAAqB,kBACzB,2BACA,QAAQ,QAAQ,wBAAwB,UAAU,QAAQ,GAAG,GAAG,MAAM,CACxE;CAiBA,IAAI,EAAC,OAfmB,YACtB,MACA;EACE,UAAU,KAAK,UAAU;EACzB;EACA;EACA;EACA,UAAU,QAAQ;EAClB;CACF,GACA,oBACA,KACA,UACF,IAEe,OAAO;CAEtB,MAAM,MAAM,KAAK,IACf,YACA,KAAK,YAAY,kBACjB,mBAAmB,gBACrB;CAEA,MAAM,QAAQ,KAAK,SAAS,OAAO,QAChC,UAAU,MAAM,SAAS,cAAc,MAAM,UAAU,IAAI,GAC9D;CAEA,UAAU,MAAM,SAAS,CAAC;CAE1B,MAAM,WAAW,KAAK,IACpB,GAAG,MAAM,KAAK,UAAU,SAAS,cAAc,MAAM,UAAU,IAAI,GAAG,CACxE;CAEA,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,IAAI,OAAO,QAAQ,MAAM,gBAAgB,KAAK,UAC1F;CAEA,OAAO;AACT,CAAC,CACH;AAEF,MAAM,eAAe,SAAc,SACjC,OAAO,IAAI,aAAa;CACtB,MAAM,UAAU,OAAO,eAAe,SAAS,KAAK,QAAQ,SAAS,SAAS;CAE9E,OAAO,YAAY,KAAA,KAAa,aAAa,QAAQ,UAAU,KAAK,QAAQ,QAAQ,IAChF,UACA,KAAA;AACN,CAAC;AAEH,MAAa,aAAa,SAAc,UACtC,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAI,GAC7D,IAAI,KAAK;CAEX,MAAM,UAAU,OAAO,YAAY,SAAS,IAAI;CAChD,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;CAE5E,IACE,YAAY,KAAA,KACZ,KAAK,UAAU,aAAa,EAAE,YAC9B,EAAE,OAAO,cACP,SACA,SACA,MACA,cACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IAEA,OAAO,EAAE,MAAM,WAAW;CAE5B,OAAO,OAAO,UAAU,SAAS,MAAM,MAAM;AAC/C,CAAC;AAEH,MAAa,iBAAiB,SAAc,aAC1C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,kBAAkB,iBAAiB,QAAQ;CAEzD,MAAM,UAAU,OAAO,eAAe,SAAS,MAAM,SAAS;CAC9D,MAAM,QAAQ,OAAO,SAAS,SAAS,OAAO,MAAM;CACpD,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,IACE,YAAY,KAAA,KACZ,MAAM,SAAS,KAAA,KACf,MAAM,MAAM,QAAQ,KAAK,WAAW,aACpC,CAAC,cAAc,MAAM,MAAM,KAAK,GAEhC,OAAO,KAAA;CAET,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAa,GACtE,IAAI,KAAK;CAEX,IACE,EAAE,SAAS,cAAc,MAAM,aAC/B,CAAC,aAAa,QAAQ,UAAU,EAAE,QAAQ,KAC1C,MAAM,EAAE,kBACR,OAAO,EAAE,iBAET,OAAO,KAAA;CACT,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,EAAE,eAAe,OAAO,QAAQ,MAAM,gBAAgB,KAAK,EAAE,iBACzG;CAEA,OAAO;EAAE;EAAS;EAAM,KAAK,MAAM;CAAI;AACzC,CAAC,CACH;AAEF,MAAa,aAAa,SAAc,UACtC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,OAAO,cAAc,SAAS,MAAM,MAAM;CACxD,MAAM,OAAO,kBAAkB,sBAAsB,MAAM,IAAI;CAE/D,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa,GAC1E,IAAI,KAAK;CAEX,IACE,UAAU,KAAA,KACV,YAAY,OAAO,MAAM,IAAI,MAAM,YAAY,OAAO,IAAI,KAC1D,KAAK,UAAU,aAAa,EAAE,YAC9B,EAAE,OAAO,cACP,SACA,MAAM,SACN,MACA,iBACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IAEA,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,QAAQ,OAAO,UAAU,SAAS;EAAE,KAAK,MAAM;EAAM;CAAK,GAAG,MAAM,OAAO;CAEhF,OAAO,UAAU,KAAA,IACZ,EAAE,MAAM,WAAW,IACnB;EAAE,MAAM;EAAW;CAAM;AAChC,CAAC;AAEH,MAAM,qBAAqB,SAAc,aAAwC;CAC/E,MAAM,QAAQ,kBAAkB,2BAA2B,QAAQ;CAEnE,UACE,MAAM,YAAY,uBAChB,MAAM,8BAA8B,eACnC,QAAQ,wBAAwB,6BAC7B,MAAM,qBAAqB,eAAe,MAAM,0BAA0B,IAC1E,MAAM,qBAAqB,2BACnC;CAEA,OAAO;AACT;AAEA,MAAM,WAAW,SAAc,SAAc,YAC3C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,QAAQ,QAAQ,qBAAqB,QAAQ,SAAS,gBAAgB;CAEvF,UACE,OAAO,aAAa,YAClB,SAAS,SAAS,KAClB,SAAS,UAAU,OACnB,aAAa,QAAQ,SAAS,gBAClC;CACA,MAAM,UAAU,QAAQ;CAExB,OAAO,MAAM,OACX,QAAQ,OACR,GAAG,QAAQ,KAAK,QAAQ,SAAS,GACjC,GAAG,QAAQ,mBAAmB,SAAS,CACzC;CACA,KAAK,MAAM,WAAW,QAAQ,SAAS;EACrC,MAAM,YAAY,KAChB,GAAG,IAAI,QAAQ,OAAO,QAAQ,SAAS,GAAG,QAAQ,QAAQ,GAC1D,QAAQ,UAAU;GAChB,WAAW,QAAQ;GACnB,UAAU,kBAAkB,sBAAsB,QAAQ,QAAQ;GAClE,GAAI,YAAY,KAAA,IAAY,CAAC,IAAI,EAAE,qBAAqB,QAAQ;EAClE,CAAC,CACH;EAEA,OAAO,MAAM,MAAM,MAAM,SAAS,OAAO,QAAQ,KAAK,CAAC,CAAC,MAAM,SAAS,CAAC;EACxE,MAAM,eAAe,KACnB,GAAG,4BAA4B,QAAQ,MAAM,SAAS,UAAU,EAClE;CACF;CAEA,OAAO,iBAAiB,KAAK,QAAQ;AACvC,CAAC,CACH;AAEF,MAAa,cACX,SACA,OACA,cAEA,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,QAAQ,kBAAkB,gBAAgB,MAAM,KAAK,GACzD,OAAO,MAAM,MACb,IAAI,KAAK;CAEX,MAAM,UAAU,OAAO,YAAY,SAAS,IAAI;CAIhD,MAAM,WACJ,MAAM,QAAQ,SAAS,aAAa,MAAM,QAAQ,SAAS,WAAW,KAAA;CAExE,IAAI,aAAa,KAAA,GACf,UAAU,SAAS,aAAa,EAAE,YAAY,SAAS,WAAW,EAAE,MAAM;CAE5E,MAAM,QACJ,aAAa,KAAA,KAAa,YAAY,KAAA,IAClC,OAAO,UAAU,QAAQ,WAAW,QAAQ,IAC5C,KAAA;CAIN,KAAI,OAFiB,WAAW,SAAS,OAAO,MAAM,OAExC,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CACnD,IAAI,WAAgB,EAAE,MAAM,MAAM,QAAQ,KAAK;CAE/C,IAAI,MAAM,QAAQ,SAAS,YAAY;EACrC,WAAW,EAAE,MAAM,WAAW;EAC9B,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;EAE5E,IACE,YAAY,KAAA,KACZ,UAAU,KAAA,KACV,KAAK,UAAU,aAAa,EAAE,aAC7B,OAAO,cACN,SACA,SACA,MACA,iBACA,EAAE,QACF,EAAE,WACF,eAAe,OAAO,CAAC,GACvB,EAAE,wBACJ,IACA;GACA,MAAM,IAAI,QAAQ,UAAU,OAC1B,KAAK,QAAQ,YACb,IAAI,QAAQ;GAEd,MAAM,QAAQ,OAAO,MAAM,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,GAAG,EACtF,OAAO,EACT,CAAC;GAED,MAAM,WAAW,MAAM,KAAK;GAE5B,IACE,MAAM,IAAI,EAAE,WAAW,cACtB,MAAM,IAAI,EAAE,WAAW,WACtB,CAAC,QAAQ,UAAU,OAAO,MAAM,IAAI,EAAE,YAAY,QAAQ,QAAQ,KACnE,aAAa,KAAA,MACX,SAAS,GAAG,cAAc,EAAE,YAC3B,CAAC,QAAQ,UAAU,OAAO,SAAS,GAAG,YAAY,QAAQ,QAAQ,KAClE,CAAC,GAAG,eAAe,SAAS,GAAG,OAAO,IAE1C,WAAW,EAAE,MAAM,WAAW;QAC3B,IAAI,aAAa,KAAA,GAAW;IAC/B,MAAM,SAAS,QAAQ,SAAS,YAAY,MACzC,SAAc,KAAK,iBAAiB,SAAS,GAAG,aACnD;IAEA,IACE,MAAM,IAAI,EAAE,WAAW,WACvB,QAAQ,aAAa,SAAS,GAAG,uBACjC,EAAE,OAAO,MAAM,MACb,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,GAAG,GAAG,GAAG,eAAe,EAAE,EACtH,IAEA,WAAW,EAAE,MAAM,WAAW;SAE9B,WAAW;KACT,MAAM;KACN,SAAS;KACT,YAAY,kBAAkB,yBAAyB;MACrD,UAAU,EAAE;MACZ;MACA,cAAc,SAAS,GAAG;MAC1B,oBAAoB,SAAS,GAAG;MAChC,UAAU,QAAQ;KACpB,CAAC;IACH;GACJ,OAAO;IACL,kBAAkB,SAAS,MAAM,YAAY;IAE7C,MAAM,SAAS;KACb,GAAG,GAAG,aAAa;MACjB,UAAU,EAAE;MACZ,WAAW,QAAQ;MACnB,aAAa,MAAM;MACnB,cAAc,UAAU;MACxB,oBAAoB,UAAU;KAChC,CAAC;MACA,GAAG,WAAW,EAAE;MAChB,GAAG,YAAY,QAAQ;MACvB,GAAG,cAAc,MAAM;MACvB,GAAG,eAAe,UAAU;MAC5B,GAAG,qBAAqB,UAAU;IACrC;IAEA,UAAU,GAAG,eAAe,OAAO,GAAG,OAAO,CAAC;IAM9C,MAAM,QAAO,OAJW,MAAM,OAAO,GAAG,OAAO,QAAQ,GACpD,GAAG,eAAe,UAAU,aAC/B,CAAC,EAAA,CAEqB;IAEtB,MAAM,eAAe;KACnB,GAAG,EAAE,aAAa;MAChB,WAAW,QAAQ;MACnB,cAAc,UAAU;MACxB,UAAU,UAAU;KACtB,CAAC;MACA,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe,UAAU;MAC3B,EAAE,WAAW,UAAU;IAC1B;IAEA,UAAU,EAAE,eAAe,aAAa,EAAE,OAAO,CAAC;IAElD,MAAM,SAAS,OAAO,MAAM,OAAO,EAAE,OAAO,cAAc;MACvD,EAAE,YAAY,QAAQ;MACtB,EAAE,eAAe,UAAU;IAC9B,CAAC;IAED,QAAQ,YAAY,OAAO,CAAC,GAAG,QAAQ,YAAY,MAAM,GAAG,OAAO,IAAI;IACvE,MAAM,eAAe,KACnB,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAC3C,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,YAAY,GACzD,GAAG,eACL,EAAE,IACF,GAAG,wBAAwB,EAAE,MAAM,SAAS,KAC1C,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAAG,QAAQ,QAAQ,GAC9C,GAAG,IAAI,EAAE,OAAO,EAAE,YAAY,GAAG,UAAU,YAAY,GACvD,EAAE,eACJ,EAAE,EACJ;IACA,IAAI,MAAM,IAAI,EAAE,WAAW,WACzB,OAAO,aAAa,QAAQ,WAAW,UAAU,MAAM,KAAK,QAAQ,QAAQ;IAC9E,MAAM,OAAO,OAAO,QAAQ,SAAS,OAAO;IAE5C,MAAM,WAAW,kBAAkB,sBAAsB;KACvD,GAAG,QAAQ;KACX,kBAAkB;KAClB,aAAa,CACX,GAAG,QAAQ,SAAS,aACpB;MAAE,cAAc,UAAU;MAAc,UAAU,UAAU;KAAS,CACvE;IACF,CAAC;IAED,WAAW;KACT,MAAM;KACN,SAAS;KACT,YAAY,kBAAkB,yBAAyB;MACrD,UAAU,EAAE;MACZ;MACA,cAAc,UAAU;MACxB,oBAAoB,UAAU;MAC9B;KACF,CAAC;IACH;GACF;EACF;CACF;CACA,OAAO,aAAa,SAAS,MAAM,SAAS,IAAI;CAEhD,OAAO;AACT,CAAC,CACH;AAEF,MAAM,oBAAoB,SAAc,UAAkB,cAAsB,YAC9E,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,KAAK,QAAQ;CAMnB,MAAM,OAAM,OAJS,MAAM,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,EAC1F,OAAO,EACT,CAAC,EAAA,CAEiB,KAAK;CAEvB,IACE,QAAQ,KAAA,KACR,IAAI,GAAG,cAAc,YACrB,CAAC,QAAQ,UAAU,OAAO,IAAI,GAAG,YAAY,QAAQ,QAAQ,KAC7D,CAAC,GAAG,eAAe,IAAI,GAAG,OAAO,GAEjC,OAAO,KAAA;CACT,MAAM,IAAI,QAAQ,UAAU;CAU5B,MAAM,aAAY,OARG,MAAM,KACzB,EAAE,OACF,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,GAAG,IAAI,GAAG,YAAY,GACnD,EACE,OAAO,EACT,CACF,EAAA,CAEwB,KAAK;CAE7B,IACE,cAAc,KAAA,KACd,UAAU,EAAE,WAAW,WACvB,CAAC,QAAQ,UAAU,OAAO,UAAU,EAAE,YAAY,QAAQ,QAAQ,GAElE,OAAO,KAAA;CAET,MAAM,WAAW;EACf,UAAU,UAAU,EAAE;EACtB,QAAQ,UAAU,EAAE;EACpB,SAAS,UAAU,EAAE;CACvB;CAEA,WAAW,OAAO,iBAAiB,QAAQ,OAAO,IAAI,GAAG,YAAY;CAMrE,IAJe,QAAQ,SAAS,YAAY,MACzC,SAAc,KAAK,iBAAiB,YAIhC,CAAC,EAAE,aAAa,IAAI,GAAG,uBAC5B,EAAE,OAAO,MAAM,MACb,GAAG,wBAAwB,GAAG,MAAM,SAAS,KAAK,GAAG,IAAI,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,GAAG,eAAe,EAAE,EAC1H,IAEA,OAAO,KAAA;CAET,OAAO,kBAAkB,yBAAyB;EACtC;EACV;EACA;EACA,oBAAoB,IAAI,GAAG;EAC3B,UAAU,QAAQ;CACpB,CAAC;AACH,CAAC,CACH;AAEF,MAAM,iBAAiB,SAAc,UAAkB,cACrD,OAAO,QAAQ,0BAA0B,UACvC,MAAM,KACJ,QAAQ,QAAQ,OAChB,MAAM,QAAQ,QAAQ,OAAO;EAC1B,QAAQ,QAAQ,WAAW;EAC3B,QAAQ,QAAQ,YAAY;AAC/B,CAAC,GACD,EAAE,OAAO,EAAE,CACb,CACF;AAEF,MAAa,iBAAiB,SAAc,UAC1C,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,UAAU,OAAO,eAAe,SAAS,MAAM,SAAS;CAE9D,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CAErD,MAAM,UAAU,OAAO,cAAc,SAAS,MAAM,UAAU,MAAM,SAAS,GAC3E,IAAI,QAAQ;CAEd,MAAM,MAAM,QAAQ,KAAK;CAEzB,IAAI,QAAQ,KAAA,GAAW;EACrB,MAAM,SAAS,kBAAkB,OAAO,IAAI,EAAE,eAAe;EAE7D,IACE,OAAO,aAAa,MAAM,YAC1B,OAAO,SAAS,cAAc,MAAM,aACpC,OAAO,iBAAiB,MAAM,gBAC9B,CAAC,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,QAAQ,QAAQ,KAC5D,IAAI,EAAE,kBAAkB,MAAM,cAE9B,OAAO,EAAE,MAAM,WAAW;EAC5B,MAAM,WAAW,QAAQ,SAAS,UAAU,QAAQ,QAAQ;EAE5D,IAAI,EAAE,OAAO,MAAM,MAAM,QAAQ,IAAI,OAAO,EAAE,MAAM,WAAW;EAC/D,MAAM,eAAe,KAAK,QAAQ;EAElC,OAAO;GAAE,MAAM;GAAU,QAAQ,gBAAgB,OAAO,IAAI,EAAE,SAAS;EAAE;CAC3E;CAEA,MAAM,aAAa,OAAO,iBACxB,SACA,MAAM,UACN,MAAM,cACN,OACF;CAEA,OAAO,eAAe,KAAA,IACjB,EAAE,MAAM,WAAW,IACnB;EAAE,MAAM;EAAU;CAAW;AACpC,CAAC,CACH;AAEF,MAAM,wBAAwB,SAAc,SAAc,YACxD,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,UAAU,QAAQ,YAAY,SAAS,KAAK,QAAQ,YAAY,UAAU,EAAE;CAC5E,MAAM,wBAAQ,IAAI,IAAkC;CAEpD,MAAM,YAAY,IAAI,IACpB,QAAQ,SAAS,YAAY,KAAK,SAAc,CAAC,KAAK,cAAc,KAAK,QAAQ,CAAC,CACpF;CAEA,KAAK,MAAM,cAAc,QAAQ,aAAa;EAC5C,MAAM,WAAW,OAAO,MAAM,KAC5B,WAAW,OACX,KACE,GAAG,IAAI,WAAW,OAAO,WAAW,SAAS,GAAG,QAAQ,QAAQ,GAChE,WAAW,UAAU,QAAQ,QAAQ,CACvC,GACA,EAAE,SAAS,IAAI,WAAW,OAAO,WAAW,YAAY,EAAE,CAC5D;EAEA,KAAK,MAAM,OAAO,SAAS,MAAM;GAC/B,MAAM,OAAO,WAAW,OAAO,UAAU,GAAG,CAAC;GAE7C,IAAI,SAAS,KAAA,KAAa,KAAK,iBAAiB,SAAS;GACzD,UACE,KAAK,iBAAiB,IAAI,WAAW,iBACnC,KAAK,aAAa,IAAI,WAAW,aACjC,UAAU,IAAI,KAAK,YAAY,MAAM,KAAK,YAC1C,KAAK,QAAQ,UAAU,KACvB,KAAK,QAAQ,OAAO,WAClB;IAAC;IAAa;IAAc;GAAW,CAAC,CAAC,SAAS,MAAM,CAC1D,CACJ;GACA,UACE,OAAO,KAAK,kBAAkB,aAC5B,OAAO,KAAK,iBAAiB,aAC7B,OAAO,KAAK,sBAAsB,SACtC;GAEA,MAAM,aAAa;IACjB,cAAc,KAAK;IACnB,UAAU,KAAK;IACf,eAAe,KAAK;IACpB,SAAS,CAAC,GAAG,IAAI,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK;IACzC,cAAc,KAAK;IACnB,mBAAmB,KAAK;GAC1B;GAEA,MAAM,QAAQ,MAAM,IAAI,KAAK,YAAY;GAGzC,UAAU,UAAU,KAAA,KAAa,KAAK,UAAU,KAAK,MAAM,KAAK,UAAU,UAAU,CAAC;GACrF,MAAM,IAAI,KAAK,cAAc,UAAU;EACzC;CACF;CACA,MAAM,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC;CAEpC,MAAM,cAAc,kBAClB,2BACA,QAAQ,QAAQ,gCAAgC,UAAU,QAAQ,GAAG,CAAC,CACxE;CAEA,OAAO,UAAU,MAAM,SAAS,KAAK,aAAa,KAAK,UAAU,WAAW,WAAW;AACzF,CAAC,CACH;AAEF,MAAa,UAAU,SAAc,UACnC,OAAO,QAAQ,0BAA0B,UACvC,OAAO,IAAI,aAAa;CACtB,MAAM,WAAW,kBAAkB,yBAAyB,MAAM,UAAU;CAE5E,UAAU,SAAS,aAAa,MAAM,QAAQ;CAC9C,MAAM,UAAU,OAAO,eAAe,SAAS,SAAS,SAAS,SAAS;CAE1E,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;CAErD,MAAM,SACJ,QAAQ,4BAA4B,CAAC;CAEvC,UAAU,OAAO,UAAU,EAAE;CAC7B,IAAI,oBAAoB,QAAQ,uBAAuB,KAAA,KAAa,OAAO,SAAS;CAEpF,IAAI,QAAQ,uBAAuB,KAAA,GACjC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,YAAY,MAAM,UAAU;GAChC,UAAU,kBAAkB,wBAAwB,OAAO,UAAU,SAAS,QAAQ;GACtF,aAAa,OAAO,iBAAiB,SAAS,QAAQ;GACtD,WAAW,UAAU,EAAE,OAAO,QAAQ,SAAS,CAAC,CAAC,CAAC;EACpD,CAAC;EAQD,KAAI,OANgB,MAAM,KACxB,MAAM,OACN,OAAO,SAAS,SAAS,IAAI,OAAO,YAAY,WAChD,EAAE,SAAS,IAAI,MAAM,OAAO,MAAM,OAAO,EAAE,CAC7C,EAAA,CAES,KAAK,WAAW,GAAG,oBAAoB;CAClD;CAEF,MAAM,UAAU,OAAO,cAAc,SAAS,MAAM,UAAU,MAAM,SAAS,GAC3E,IAAI,QAAQ;CAEd,MAAM,WAAW,QAAQ,KAAK;CAE9B,IAAI,aAAa,KAAA,GAAW;EAC1B,IACE,SAAS,EAAE,oBAAoB,kBAAkB,OAAO,QAAQ,KAChE,SAAS,EAAE,kBAAkB,SAAS,gBACtC,CAAC,QAAQ,UAAU,OAAO,SAAS,EAAE,YAAY,QAAQ,QAAQ,GAEjE,OAAO,EAAE,MAAM,WAAW;EAC5B,MAAM,WAAW,QAAQ,SAAS,UAAU,QAAQ,QAAQ;EAE5D,IAAI,EAAE,OAAO,MAAM,MAAM,QAAQ,IAAI,OAAO,EAAE,MAAM,WAAW;EAC/D,MAAM,eAAe,KAAK,QAAQ;EAElC,OAAO;GACL,MAAM;GACN,UAAU;GACV,QAAQ,gBAAgB,OAAO,SAAS,EAAE,SAAS;EACrD;CACF;CAEA,MAAM,SAAS,OAAO,iBACpB,SACA,MAAM,UACN,SAAS,cACT,OACF;CAEA,IACE,WAAW,KAAA,KACX,kBAAkB,OAAO,MAAM,MAAM,kBAAkB,OAAO,QAAQ,GAEtE,OAAO,EAAE,MAAM,WAAW;CAC5B,MAAM,OAAO,kBAAkB,0BAA0B,MAAM,aAAa;CAE5E,IACE,KAAK,UAAU,aAAa,MAAM,YAClC,EAAE,OAAO,cACP,SACA,SACA,MACA,UACA,MAAM,WACN,MAAM,WACN,kBAAkB,OAAO,QAAQ,GACjC,KAAK,YAAY,gBACnB,IAEA,OAAO,EAAE,MAAM,WAAW;CAC5B,IAAI,EAAE,OAAO,qBAAqB,SAAS,SAAS,SAAS,YAAY,IACvE,OAAO,EAAE,MAAM,mBAAmB;CAEpC,MAAM,eAAe,kBAAkB,SAAS,MAAM,YAAY,GAChE,KAAK,QAAQ,YACb,IAAI,QAAQ;CAEd,MAAM,MAAM,OAAO,iBAAiB,SAAS,QAAQ,GACnD,IAAI,QAAQ,UAAU;CAExB,MAAM,YAAY,QAAQ,qBAAqB;EAC7C,aAAa;EACb,WAAW,UAAU,EAAE,OAAO,QAAQ,SAAS,CAAC,CAAC,CAAC;CACpD,CAAC;CAED,MAAM,SACJ,cAAc,KAAA,MAAc,CAAC,sBAAsB,OAAO,MAAM,MAAM,SAAS;CAEjF,IAAI,cAAc,KAAA,KAAa,mBAC7B,MAAM,eAAe,KAAK,SAAS,YAAY,GAAG,QAAQ,UAAU,EAAE;CACxE,OAAO,MAAM,OAAO,GAAG,OAAO,GAAG,GAAG,eAAe,SAAS,aAAa,CAAC;CAC1E,OAAO,MAAM,OAAO,EAAE,OAAO;GAC1B,EAAE,YAAY,QAAQ;GACtB,EAAE,eAAe,SAAS;CAC7B,CAAC;CACD,IAAI,CAAC,QAAQ;EACX,OAAO,MAAM,OACX,EAAE,OACF,GAAG,EAAE,cAAc,IAAI,GACvB;IACG,EAAE,QAAQ;IACV,EAAE,YAAY;IACd,EAAE,cAAc;IAChB,EAAE,UAAU,MAAM;EACrB,CACF;EACA,IAAI,QAAQ,UAAU,SAAS,YAC7B,OAAO,MAAM,OAAO,QAAQ,UAAU,SAAS,OAAO,GACnD,QAAQ,UAAU,SAAS,cAAc,IAC5C,CAAC;CACL;CACA,OAAO,QAAQ,SAAS,SAAS,SAAS,YAAY;CAEtD,MAAM,SAAS,kBAAkB,eAAe;EAC9C,MAAM;EACN,cAAc,SAAS;EACvB;CACF,CAAC;CAED,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;CAE1C,UACE,OAAO,cAAc,MAAM,oBAAoB,KAC7C,MAAM,uBAAuB,OAC7B,MAAM,wBAAwB,MAAM,YAAY,IACpD;CACA,MAAM,aAAa;GAAG,EAAE,WAAW,MAAM;GAAW,EAAE,YAAY,MAAM;CAAU;CAElF,MAAM,SAAS;EACb,GAAG,EAAE,aAAa;GAChB,UAAU,MAAM;GAChB,WAAW,MAAM;GACjB,YAAY,kBAAkB,yBAAyB,QAAQ;EACjE,CAAC;EACD,GAAG;GACF,EAAE,YAAY,QAAQ;GACtB,EAAE,eAAe,SAAS;GAC1B,EAAE,iBAAiB,kBAAkB,OAAO,QAAQ;GACpD,EAAE,WAAW,gBAAgB,OAAO,MAAM;GAC1C,EAAE,iBAAiB,QAAQ,MAAM,cAAc,MAAM,oBAAoB;CAC5E;CAIA,QAAQ,QAAO,OAFS,MAAM,OAAO,EAAE,OAAO,QAAQ,UAAU,EAAA,CAExC;CAExB,OAAO;EAAE,MAAM;EAAY;EAAQ,UAAU;CAAM;AACrD,CAAC,CACH"}