@yielded/auth-persistence 0.1.0-beta.25 → 0.1.0-beta.27

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 (481) hide show
  1. package/README.md +6 -8
  2. package/dist/Adapter.d.mts +47 -33
  3. package/dist/Adapter.mjs +36 -23
  4. package/dist/OAuthPersistence.d.mts +35 -51
  5. package/dist/OAuthPersistence.mjs +60 -68
  6. package/dist/OAuthPersistence.mjs.map +1 -1
  7. package/dist/index.d.mts +2 -2
  8. package/dist/index.mjs +2 -2
  9. package/dist/internal/browser-login.d.mts +1 -1
  10. package/dist/internal/browser-login.mjs +29 -9
  11. package/dist/internal/browser-login.mjs.map +1 -1
  12. package/dist/internal/configuration.d.mts +13 -8
  13. package/dist/internal/configuration.mjs.map +1 -1
  14. package/dist/internal/crypto.d.mts +1 -0
  15. package/dist/internal/crypto.mjs +1 -1
  16. package/dist/internal/d1-planning.mjs +8 -0
  17. package/dist/internal/d1-planning.mjs.map +1 -0
  18. package/dist/internal/email-native-state.mjs +135 -0
  19. package/dist/internal/email-native-state.mjs.map +1 -0
  20. package/dist/internal/email-native.d.mts +17 -0
  21. package/dist/internal/email-native.mjs +245 -0
  22. package/dist/internal/email-native.mjs.map +1 -0
  23. package/dist/internal/email-policy.mjs +92 -0
  24. package/dist/internal/email-policy.mjs.map +1 -0
  25. package/dist/internal/email-registration-native.d.mts +38 -0
  26. package/dist/internal/email-registration-native.mjs +171 -0
  27. package/dist/internal/email-registration-native.mjs.map +1 -0
  28. package/dist/internal/models/email-model.d.mts +40 -104
  29. package/dist/internal/models/email-model.mjs +3 -5
  30. package/dist/internal/models/email-model.mjs.map +1 -1
  31. package/dist/internal/models/oauth-connected-model.d.mts +44 -213
  32. package/dist/internal/models/oauth-connected-model.mjs +6 -14
  33. package/dist/internal/models/oauth-connected-model.mjs.map +1 -1
  34. package/dist/internal/models/oauth-model.d.mts +95 -244
  35. package/dist/internal/models/oauth-model.mjs +28 -22
  36. package/dist/internal/models/oauth-model.mjs.map +1 -1
  37. package/dist/internal/models/passkey-model.d.mts +11 -147
  38. package/dist/internal/models/passkey-model.mjs +5 -24
  39. package/dist/internal/models/passkey-model.mjs.map +1 -1
  40. package/dist/internal/models/passkey-registration-ceremony-model.d.mts +5 -39
  41. package/dist/internal/models/passkey-write-model.d.mts +17 -75
  42. package/dist/internal/models/passkey-write-model.mjs +1 -7
  43. package/dist/internal/models/passkey-write-model.mjs.map +1 -1
  44. package/dist/internal/models/password-model.d.mts +14 -81
  45. package/dist/internal/models/password-model.mjs +1 -4
  46. package/dist/internal/models/password-model.mjs.map +1 -1
  47. package/dist/internal/models/phone-model.d.mts +86 -0
  48. package/dist/internal/models/phone-model.mjs +10 -0
  49. package/dist/internal/models/phone-model.mjs.map +1 -0
  50. package/dist/internal/models/proof-model.d.mts +43 -272
  51. package/dist/internal/models/proof-model.mjs +2 -10
  52. package/dist/internal/models/proof-model.mjs.map +1 -1
  53. package/dist/internal/models/session-model.d.mts +74 -93
  54. package/dist/internal/models/session-model.mjs +3 -11
  55. package/dist/internal/models/session-model.mjs.map +1 -1
  56. package/dist/internal/models/step-up-model.d.mts +12 -50
  57. package/dist/internal/models/step-up-model.mjs +2 -4
  58. package/dist/internal/models/step-up-model.mjs.map +1 -1
  59. package/dist/internal/models/totp-model.d.mts +76 -0
  60. package/dist/internal/models/totp-model.mjs +10 -0
  61. package/dist/internal/models/totp-model.mjs.map +1 -0
  62. package/dist/internal/native-sql-table.d.mts +21 -4
  63. package/dist/internal/native-sql-table.mjs +9 -5
  64. package/dist/internal/native-sql-table.mjs.map +1 -1
  65. package/dist/internal/oauth/native-accounts.d.mts +17 -0
  66. package/dist/internal/oauth/native-accounts.mjs +290 -0
  67. package/dist/internal/oauth/native-accounts.mjs.map +1 -0
  68. package/dist/internal/oauth/native-connected-state.d.mts +11 -0
  69. package/dist/internal/oauth/native-connected-state.mjs +146 -0
  70. package/dist/internal/oauth/native-connected-state.mjs.map +1 -0
  71. package/dist/internal/oauth/native-connected.d.mts +15 -0
  72. package/dist/internal/oauth/native-connected.mjs +462 -0
  73. package/dist/internal/oauth/native-connected.mjs.map +1 -0
  74. package/dist/internal/oauth/native-flow.mjs +138 -0
  75. package/dist/internal/oauth/native-flow.mjs.map +1 -0
  76. package/dist/internal/oauth/native-layers.d.mts +24 -0
  77. package/dist/internal/oauth/native-layers.mjs +13 -0
  78. package/dist/internal/oauth/native-layers.mjs.map +1 -0
  79. package/dist/internal/oauth/native-mutation.mjs +122 -0
  80. package/dist/internal/oauth/native-mutation.mjs.map +1 -0
  81. package/dist/internal/oauth/native-registration.d.mts +24 -0
  82. package/dist/internal/oauth/native-registration.mjs +328 -0
  83. package/dist/internal/oauth/native-registration.mjs.map +1 -0
  84. package/dist/internal/oauth/native-revocations.d.mts +17 -0
  85. package/dist/internal/oauth/native-revocations.mjs +106 -0
  86. package/dist/internal/oauth/native-revocations.mjs.map +1 -0
  87. package/dist/internal/oauth/native-sign-in.d.mts +17 -0
  88. package/dist/internal/oauth/native-sign-in.mjs +50 -0
  89. package/dist/internal/oauth/native-sign-in.mjs.map +1 -0
  90. package/dist/internal/oauth/native-state.d.mts +10 -0
  91. package/dist/internal/oauth/native-state.mjs +214 -0
  92. package/dist/internal/oauth/native-state.mjs.map +1 -0
  93. package/dist/internal/oauth/state.d.mts +10 -0
  94. package/dist/internal/oauth/state.mjs +3 -27
  95. package/dist/internal/oauth/state.mjs.map +1 -1
  96. package/dist/internal/passkey-actions.mjs +55 -0
  97. package/dist/internal/passkey-actions.mjs.map +1 -0
  98. package/dist/internal/passkey-inputs.mjs +73 -0
  99. package/dist/internal/passkey-inputs.mjs.map +1 -0
  100. package/dist/internal/passkey-managed.mjs +224 -0
  101. package/dist/internal/passkey-managed.mjs.map +1 -0
  102. package/dist/internal/passkey-native-ceremony.d.mts +35 -0
  103. package/dist/internal/passkey-native-ceremony.mjs +38 -0
  104. package/dist/internal/passkey-native-ceremony.mjs.map +1 -0
  105. package/dist/internal/passkey-native-flow.mjs +91 -0
  106. package/dist/internal/passkey-native-flow.mjs.map +1 -0
  107. package/dist/internal/passkey-native-registration.d.mts +10 -0
  108. package/dist/internal/passkey-native-registration.mjs +114 -0
  109. package/dist/internal/passkey-native-registration.mjs.map +1 -0
  110. package/dist/internal/passkey-native-state.d.mts +15 -0
  111. package/dist/internal/passkey-native-state.mjs +186 -0
  112. package/dist/internal/passkey-native-state.mjs.map +1 -0
  113. package/dist/internal/passkey-native-write.d.mts +82 -0
  114. package/dist/internal/passkey-native-write.mjs +330 -0
  115. package/dist/internal/passkey-native-write.mjs.map +1 -0
  116. package/dist/internal/passkey-native.d.mts +835 -0
  117. package/dist/internal/passkey-native.mjs +175 -0
  118. package/dist/internal/passkey-native.mjs.map +1 -0
  119. package/dist/internal/passkey-policy.mjs +115 -0
  120. package/dist/internal/passkey-policy.mjs.map +1 -0
  121. package/dist/internal/password-credentials.mjs +38 -9
  122. package/dist/internal/password-credentials.mjs.map +1 -1
  123. package/dist/internal/password-native.d.mts +14 -0
  124. package/dist/internal/password-native.mjs +292 -0
  125. package/dist/internal/password-native.mjs.map +1 -0
  126. package/dist/internal/password-policy.mjs +93 -0
  127. package/dist/internal/password-policy.mjs.map +1 -0
  128. package/dist/internal/password-registration-native.d.mts +22 -0
  129. package/dist/internal/password-registration-native.mjs +142 -0
  130. package/dist/internal/password-registration-native.mjs.map +1 -0
  131. package/dist/internal/persistence.d.mts +6 -19
  132. package/dist/internal/persistence.mjs +199 -166
  133. package/dist/internal/persistence.mjs.map +1 -1
  134. package/dist/internal/phone-composed.mjs +79 -0
  135. package/dist/internal/phone-composed.mjs.map +1 -0
  136. package/dist/internal/phone-native.d.mts +15 -0
  137. package/dist/internal/phone-native.mjs +354 -0
  138. package/dist/internal/phone-native.mjs.map +1 -0
  139. package/dist/internal/proof-native.d.mts +15 -0
  140. package/dist/internal/proof-native.mjs +289 -0
  141. package/dist/internal/proof-native.mjs.map +1 -0
  142. package/dist/internal/registration.mjs +50 -60
  143. package/dist/internal/registration.mjs.map +1 -1
  144. package/dist/internal/session-native-authority.d.mts +15 -0
  145. package/dist/internal/session-native-authority.mjs +91 -0
  146. package/dist/internal/session-native-authority.mjs.map +1 -0
  147. package/dist/internal/session-native-cleanup.d.mts +14 -0
  148. package/dist/internal/session-native-cleanup.mjs +48 -0
  149. package/dist/internal/session-native-cleanup.mjs.map +1 -0
  150. package/dist/internal/session-native-login.d.mts +15 -0
  151. package/dist/internal/session-native-login.mjs +87 -0
  152. package/dist/internal/session-native-login.mjs.map +1 -0
  153. package/dist/internal/session-native-pending-read.mjs +42 -0
  154. package/dist/internal/session-native-pending-read.mjs.map +1 -0
  155. package/dist/internal/session-native-pending.mjs +134 -0
  156. package/dist/internal/session-native-pending.mjs.map +1 -0
  157. package/dist/internal/session-native-record.mjs +79 -0
  158. package/dist/internal/session-native-record.mjs.map +1 -0
  159. package/dist/internal/session-native-state.mjs +130 -0
  160. package/dist/internal/session-native-state.mjs.map +1 -0
  161. package/dist/internal/session-native-stateful.d.mts +16 -0
  162. package/dist/internal/session-native-stateful.mjs +225 -0
  163. package/dist/internal/session-native-stateful.mjs.map +1 -0
  164. package/dist/internal/session-native-step-up.d.mts +15 -0
  165. package/dist/internal/session-native-step-up.mjs +212 -0
  166. package/dist/internal/session-native-step-up.mjs.map +1 -0
  167. package/dist/internal/session-native-validity.d.mts +15 -0
  168. package/dist/internal/session-native-validity.mjs +97 -0
  169. package/dist/internal/session-native-validity.mjs.map +1 -0
  170. package/dist/internal/session-policy.mjs +29 -0
  171. package/dist/internal/session-policy.mjs.map +1 -0
  172. package/dist/internal/sql-authority.d.mts +16 -0
  173. package/dist/internal/sql-authority.mjs +32 -0
  174. package/dist/internal/sql-authority.mjs.map +1 -0
  175. package/dist/internal/sql-change.mjs +21 -0
  176. package/dist/internal/sql-change.mjs.map +1 -0
  177. package/dist/internal/sql-cleanup.mjs +35 -0
  178. package/dist/internal/sql-cleanup.mjs.map +1 -0
  179. package/dist/internal/sql-commit.d.mts +72 -0
  180. package/dist/internal/sql-commit.mjs +176 -0
  181. package/dist/internal/sql-commit.mjs.map +1 -0
  182. package/dist/internal/sql-expression.d.mts +17 -0
  183. package/dist/internal/sql-expression.mjs +49 -0
  184. package/dist/internal/sql-expression.mjs.map +1 -0
  185. package/dist/internal/sql-oauth-connected-model.d.mts +7 -23
  186. package/dist/internal/sql-oauth-model.d.mts +27 -52
  187. package/dist/internal/sql-oauth-model.mjs +3 -4
  188. package/dist/internal/sql-oauth-model.mjs.map +1 -1
  189. package/dist/internal/sql-persistence.mjs +5 -9
  190. package/dist/internal/sql-persistence.mjs.map +1 -1
  191. package/dist/internal/sql-storage-validation.mjs +1 -2
  192. package/dist/internal/sql-storage-validation.mjs.map +1 -1
  193. package/dist/internal/sql-table.d.mts +3 -16
  194. package/dist/internal/sql-table.mjs +21 -42
  195. package/dist/internal/sql-table.mjs.map +1 -1
  196. package/dist/internal/standalone.mjs +2 -3
  197. package/dist/internal/standalone.mjs.map +1 -1
  198. package/dist/internal/step-up-state.mjs +5 -8
  199. package/dist/internal/step-up-state.mjs.map +1 -1
  200. package/dist/internal/storage-clock.mjs +44 -0
  201. package/dist/internal/storage-clock.mjs.map +1 -0
  202. package/dist/internal/storage-mapping.d.mts +11 -8
  203. package/dist/internal/storage-mapping.mjs +88 -302
  204. package/dist/internal/storage-mapping.mjs.map +1 -1
  205. package/dist/internal/storage-plans.mjs +15 -73
  206. package/dist/internal/storage-plans.mjs.map +1 -1
  207. package/dist/internal/storage-tables.d.mts +37 -520
  208. package/dist/internal/storage-tables.mjs +31 -211
  209. package/dist/internal/storage-tables.mjs.map +1 -1
  210. package/dist/internal/storage-validation.d.mts +1 -6
  211. package/dist/internal/storage-validation.mjs +1 -42
  212. package/dist/internal/storage-validation.mjs.map +1 -1
  213. package/dist/internal/table-model.d.mts +21 -0
  214. package/dist/internal/totp-native.d.mts +15 -0
  215. package/dist/internal/totp-native.mjs +401 -0
  216. package/dist/internal/totp-native.mjs.map +1 -0
  217. package/package.json +1 -1
  218. package/src/Adapter.ts +143 -199
  219. package/src/OAuthPersistence.ts +128 -271
  220. package/src/index.ts +1 -1
  221. package/src/internal/browser-login.ts +54 -24
  222. package/src/internal/configuration.ts +16 -31
  223. package/src/internal/d1-planning.ts +7 -0
  224. package/src/internal/email-native-state.ts +247 -0
  225. package/src/internal/email-native.ts +514 -0
  226. package/src/internal/email-policy.ts +235 -0
  227. package/src/internal/email-registration-native.ts +386 -0
  228. package/src/internal/models/email-model.ts +76 -214
  229. package/src/internal/models/oauth-connected-model.ts +50 -288
  230. package/src/internal/models/oauth-model.ts +147 -368
  231. package/src/internal/models/passkey-model.ts +11 -208
  232. package/src/internal/models/passkey-registration-ceremony-model.ts +6 -60
  233. package/src/internal/models/passkey-write-model.ts +14 -95
  234. package/src/internal/models/password-model.ts +26 -147
  235. package/src/internal/models/phone-model.ts +110 -0
  236. package/src/internal/models/proof-model.ts +48 -404
  237. package/src/internal/models/session-model.ts +102 -200
  238. package/src/internal/models/step-up-model.ts +17 -96
  239. package/src/internal/models/totp-model.ts +82 -0
  240. package/src/internal/native-sql-table.ts +32 -11
  241. package/src/internal/oauth/native-accounts.ts +576 -0
  242. package/src/internal/oauth/native-connected-state.ts +288 -0
  243. package/src/internal/oauth/native-connected.ts +888 -0
  244. package/src/internal/oauth/native-flow.ts +253 -0
  245. package/src/internal/oauth/native-layers.ts +83 -0
  246. package/src/internal/oauth/native-mutation.ts +222 -0
  247. package/src/internal/oauth/native-registration.ts +545 -0
  248. package/src/internal/oauth/native-revocations.ts +190 -0
  249. package/src/internal/oauth/native-sign-in.ts +111 -0
  250. package/src/internal/oauth/native-state.ts +346 -0
  251. package/src/internal/oauth/state.ts +2 -70
  252. package/src/internal/passkey-actions.ts +70 -0
  253. package/src/internal/passkey-inputs.ts +56 -0
  254. package/src/internal/passkey-managed.ts +360 -0
  255. package/src/internal/passkey-native-ceremony.ts +66 -0
  256. package/src/internal/passkey-native-flow.ts +140 -0
  257. package/src/internal/passkey-native-registration.ts +221 -0
  258. package/src/internal/passkey-native-state.ts +335 -0
  259. package/src/internal/passkey-native-write.ts +611 -0
  260. package/src/internal/passkey-native.ts +372 -0
  261. package/src/internal/passkey-policy.ts +246 -0
  262. package/src/internal/password-credentials.ts +52 -10
  263. package/src/internal/password-native.ts +571 -0
  264. package/src/internal/password-policy.ts +307 -0
  265. package/src/internal/password-registration-native.ts +322 -0
  266. package/src/internal/persistence.ts +336 -290
  267. package/src/internal/phone-composed.ts +86 -0
  268. package/src/internal/phone-native.ts +659 -0
  269. package/src/internal/proof-native.ts +448 -0
  270. package/src/internal/registration.ts +96 -143
  271. package/src/internal/session-native-authority.ts +247 -0
  272. package/src/internal/session-native-cleanup.ts +65 -0
  273. package/src/internal/session-native-login.ts +205 -0
  274. package/src/internal/session-native-pending-read.ts +68 -0
  275. package/src/internal/session-native-pending.ts +223 -0
  276. package/src/internal/session-native-record.ts +141 -0
  277. package/src/internal/session-native-state.ts +259 -0
  278. package/src/internal/session-native-stateful.ts +512 -0
  279. package/src/internal/session-native-step-up.ts +450 -0
  280. package/src/internal/session-native-validity.ts +208 -0
  281. package/src/internal/session-policy.ts +59 -0
  282. package/src/internal/sql-authority.ts +56 -0
  283. package/src/internal/sql-change.ts +38 -0
  284. package/src/internal/sql-cleanup.ts +56 -0
  285. package/src/internal/sql-commit.ts +435 -0
  286. package/src/internal/sql-expression.ts +94 -0
  287. package/src/internal/sql-metadata.ts +100 -0
  288. package/src/internal/sql-oauth-connected-model.ts +6 -95
  289. package/src/internal/sql-oauth-model.ts +31 -134
  290. package/src/internal/sql-persistence.ts +2 -6
  291. package/src/internal/sql-storage-validation.ts +1 -2
  292. package/src/internal/sql-table.ts +19 -52
  293. package/src/internal/standalone.ts +2 -11
  294. package/src/internal/step-up-state.ts +4 -17
  295. package/src/internal/storage-clock.ts +58 -0
  296. package/src/internal/storage-mapping.ts +125 -340
  297. package/src/internal/storage-plans.ts +14 -80
  298. package/src/internal/storage-tables.ts +28 -212
  299. package/src/internal/storage-validation.ts +0 -58
  300. package/src/internal/table-model.ts +24 -0
  301. package/src/internal/totp-native.ts +701 -0
  302. package/dist/internal/PasswordPreparedPostconditions.d.mts +0 -22
  303. package/dist/internal/PasswordPreparedPostconditions.mjs +0 -12
  304. package/dist/internal/PasswordPreparedPostconditions.mjs.map +0 -1
  305. package/dist/internal/authority-snapshot.mjs +0 -53
  306. package/dist/internal/authority-snapshot.mjs.map +0 -1
  307. package/dist/internal/email-kernel.d.mts +0 -276
  308. package/dist/internal/email-kernel.mjs +0 -497
  309. package/dist/internal/email-kernel.mjs.map +0 -1
  310. package/dist/internal/models/passkey-registration-ceremony-model.mjs +0 -18
  311. package/dist/internal/models/passkey-registration-ceremony-model.mjs.map +0 -1
  312. package/dist/internal/oauth/accounts.d.mts +0 -8
  313. package/dist/internal/oauth/accounts.mjs +0 -379
  314. package/dist/internal/oauth/accounts.mjs.map +0 -1
  315. package/dist/internal/oauth/connected-access.d.mts +0 -9
  316. package/dist/internal/oauth/connected-access.mjs +0 -229
  317. package/dist/internal/oauth/connected-access.mjs.map +0 -1
  318. package/dist/internal/oauth/connected-collection.d.mts +0 -7
  319. package/dist/internal/oauth/connected-collection.mjs +0 -214
  320. package/dist/internal/oauth/connected-collection.mjs.map +0 -1
  321. package/dist/internal/oauth/connected-custody.d.mts +0 -6
  322. package/dist/internal/oauth/connected-custody.mjs +0 -165
  323. package/dist/internal/oauth/connected-custody.mjs.map +0 -1
  324. package/dist/internal/oauth/connected-flow.d.mts +0 -7
  325. package/dist/internal/oauth/connected-flow.mjs +0 -324
  326. package/dist/internal/oauth/connected-flow.mjs.map +0 -1
  327. package/dist/internal/oauth/connected-input.mjs +0 -122
  328. package/dist/internal/oauth/connected-input.mjs.map +0 -1
  329. package/dist/internal/oauth/connected-keys.d.mts +0 -2
  330. package/dist/internal/oauth/connected-keys.mjs +0 -22
  331. package/dist/internal/oauth/connected-keys.mjs.map +0 -1
  332. package/dist/internal/oauth/connected-maintenance.d.mts +0 -9
  333. package/dist/internal/oauth/connected-maintenance.mjs +0 -226
  334. package/dist/internal/oauth/connected-maintenance.mjs.map +0 -1
  335. package/dist/internal/oauth/connected-management.d.mts +0 -9
  336. package/dist/internal/oauth/connected-management.mjs +0 -243
  337. package/dist/internal/oauth/connected-management.mjs.map +0 -1
  338. package/dist/internal/oauth/connected-reference.mjs +0 -63
  339. package/dist/internal/oauth/connected-reference.mjs.map +0 -1
  340. package/dist/internal/oauth/connected-settlement.d.mts +0 -8
  341. package/dist/internal/oauth/connected-settlement.mjs +0 -141
  342. package/dist/internal/oauth/connected-settlement.mjs.map +0 -1
  343. package/dist/internal/oauth/connected-sign-in.d.mts +0 -10
  344. package/dist/internal/oauth/connected-sign-in.mjs +0 -281
  345. package/dist/internal/oauth/connected-sign-in.mjs.map +0 -1
  346. package/dist/internal/oauth/connected-state.d.mts +0 -14
  347. package/dist/internal/oauth/connected-state.mjs +0 -469
  348. package/dist/internal/oauth/connected-state.mjs.map +0 -1
  349. package/dist/internal/oauth/connected-target.d.mts +0 -21
  350. package/dist/internal/oauth/connected-target.mjs +0 -117
  351. package/dist/internal/oauth/connected-target.mjs.map +0 -1
  352. package/dist/internal/oauth/flow.d.mts +0 -5
  353. package/dist/internal/oauth/flow.mjs +0 -279
  354. package/dist/internal/oauth/flow.mjs.map +0 -1
  355. package/dist/internal/oauth/input.mjs +0 -127
  356. package/dist/internal/oauth/input.mjs.map +0 -1
  357. package/dist/internal/oauth/owner.d.mts +0 -10
  358. package/dist/internal/oauth/owner.mjs +0 -10
  359. package/dist/internal/oauth/owner.mjs.map +0 -1
  360. package/dist/internal/oauth/query-compiler.d.mts +0 -7
  361. package/dist/internal/oauth/query-compiler.mjs +0 -9
  362. package/dist/internal/oauth/query-compiler.mjs.map +0 -1
  363. package/dist/internal/oauth/registration.d.mts +0 -7
  364. package/dist/internal/oauth/registration.mjs +0 -393
  365. package/dist/internal/oauth/registration.mjs.map +0 -1
  366. package/dist/internal/oauth/target.d.mts +0 -31
  367. package/dist/internal/oauth/target.mjs +0 -273
  368. package/dist/internal/oauth/target.mjs.map +0 -1
  369. package/dist/internal/oauth-kernel.d.mts +0 -1423
  370. package/dist/internal/oauth-kernel.mjs +0 -187
  371. package/dist/internal/oauth-kernel.mjs.map +0 -1
  372. package/dist/internal/passkey/admission.d.mts +0 -6
  373. package/dist/internal/passkey/admission.mjs +0 -220
  374. package/dist/internal/passkey/admission.mjs.map +0 -1
  375. package/dist/internal/passkey/credentials.d.mts +0 -14
  376. package/dist/internal/passkey/credentials.mjs +0 -249
  377. package/dist/internal/passkey/credentials.mjs.map +0 -1
  378. package/dist/internal/passkey/enrollment.mjs +0 -138
  379. package/dist/internal/passkey/enrollment.mjs.map +0 -1
  380. package/dist/internal/passkey/flow.d.mts +0 -21
  381. package/dist/internal/passkey/flow.mjs +0 -452
  382. package/dist/internal/passkey/flow.mjs.map +0 -1
  383. package/dist/internal/passkey/management.mjs +0 -231
  384. package/dist/internal/passkey/management.mjs.map +0 -1
  385. package/dist/internal/passkey/registration-ceremony.d.mts +0 -9
  386. package/dist/internal/passkey/registration-ceremony.mjs +0 -129
  387. package/dist/internal/passkey/registration-ceremony.mjs.map +0 -1
  388. package/dist/internal/passkey/registration-custody.d.mts +0 -2
  389. package/dist/internal/passkey/registration-custody.mjs +0 -52
  390. package/dist/internal/passkey/registration-custody.mjs.map +0 -1
  391. package/dist/internal/passkey/registration-write.mjs +0 -211
  392. package/dist/internal/passkey/registration-write.mjs.map +0 -1
  393. package/dist/internal/passkey/state.d.mts +0 -10
  394. package/dist/internal/passkey/state.mjs +0 -234
  395. package/dist/internal/passkey/state.mjs.map +0 -1
  396. package/dist/internal/passkey/target.d.mts +0 -20
  397. package/dist/internal/passkey/target.mjs +0 -200
  398. package/dist/internal/passkey/target.mjs.map +0 -1
  399. package/dist/internal/passkey/write-state.d.mts +0 -17
  400. package/dist/internal/passkey/write-state.mjs +0 -354
  401. package/dist/internal/passkey/write-state.mjs.map +0 -1
  402. package/dist/internal/passkey/write-target.mjs +0 -192
  403. package/dist/internal/passkey/write-target.mjs.map +0 -1
  404. package/dist/internal/passkey-kernel.d.mts +0 -6045
  405. package/dist/internal/passkey-kernel.mjs +0 -49
  406. package/dist/internal/passkey-kernel.mjs.map +0 -1
  407. package/dist/internal/passkeys.d.mts +0 -7
  408. package/dist/internal/passkeys.mjs +0 -387
  409. package/dist/internal/passkeys.mjs.map +0 -1
  410. package/dist/internal/password-credentials.d.mts +0 -11
  411. package/dist/internal/password-kernel.d.mts +0 -278
  412. package/dist/internal/password-kernel.mjs +0 -508
  413. package/dist/internal/password-kernel.mjs.map +0 -1
  414. package/dist/internal/phone-kernel.d.mts +0 -162
  415. package/dist/internal/phone-kernel.mjs +0 -437
  416. package/dist/internal/phone-kernel.mjs.map +0 -1
  417. package/dist/internal/proof-kernel.d.mts +0 -94
  418. package/dist/internal/proof-kernel.mjs +0 -624
  419. package/dist/internal/proof-kernel.mjs.map +0 -1
  420. package/dist/internal/query-operations.d.mts +0 -68
  421. package/dist/internal/session-kernel.d.mts +0 -62
  422. package/dist/internal/session-kernel.mjs +0 -820
  423. package/dist/internal/session-kernel.mjs.map +0 -1
  424. package/dist/internal/sql-oauth-connected-model.mjs +0 -7
  425. package/dist/internal/sql-oauth-connected-model.mjs.map +0 -1
  426. package/dist/internal/sql-query.d.mts +0 -12
  427. package/dist/internal/sql-query.mjs +0 -206
  428. package/dist/internal/sql-query.mjs.map +0 -1
  429. package/dist/internal/step-up-state.d.mts +0 -49
  430. package/dist/internal/transaction-execution-kernel.d.mts +0 -37
  431. package/dist/internal/transaction-execution-kernel.mjs +0 -120
  432. package/dist/internal/transaction-execution-kernel.mjs.map +0 -1
  433. package/dist/internal/transaction-kernel.d.mts +0 -81
  434. package/dist/internal/transaction-kernel.mjs +0 -264
  435. package/dist/internal/transaction-kernel.mjs.map +0 -1
  436. package/src/internal/PasswordPreparedPostconditions.ts +0 -30
  437. package/src/internal/authority-snapshot.ts +0 -91
  438. package/src/internal/email-kernel.ts +0 -1556
  439. package/src/internal/oauth/accounts.ts +0 -839
  440. package/src/internal/oauth/connected-access.ts +0 -388
  441. package/src/internal/oauth/connected-collection.ts +0 -345
  442. package/src/internal/oauth/connected-custody.ts +0 -308
  443. package/src/internal/oauth/connected-flow.ts +0 -562
  444. package/src/internal/oauth/connected-input.ts +0 -147
  445. package/src/internal/oauth/connected-keys.ts +0 -31
  446. package/src/internal/oauth/connected-maintenance.ts +0 -379
  447. package/src/internal/oauth/connected-management.ts +0 -391
  448. package/src/internal/oauth/connected-reference.ts +0 -135
  449. package/src/internal/oauth/connected-settlement.ts +0 -278
  450. package/src/internal/oauth/connected-sign-in.ts +0 -472
  451. package/src/internal/oauth/connected-state.ts +0 -924
  452. package/src/internal/oauth/connected-target.ts +0 -307
  453. package/src/internal/oauth/flow.ts +0 -505
  454. package/src/internal/oauth/input.ts +0 -201
  455. package/src/internal/oauth/owner.ts +0 -22
  456. package/src/internal/oauth/query-compiler.ts +0 -15
  457. package/src/internal/oauth/registration.ts +0 -676
  458. package/src/internal/oauth/target.ts +0 -803
  459. package/src/internal/oauth-kernel.ts +0 -294
  460. package/src/internal/passkey/admission.ts +0 -368
  461. package/src/internal/passkey/credentials.ts +0 -511
  462. package/src/internal/passkey/enrollment.ts +0 -326
  463. package/src/internal/passkey/flow.ts +0 -1062
  464. package/src/internal/passkey/management.ts +0 -426
  465. package/src/internal/passkey/registration-ceremony.ts +0 -283
  466. package/src/internal/passkey/registration-custody.ts +0 -91
  467. package/src/internal/passkey/registration-write.ts +0 -426
  468. package/src/internal/passkey/state.ts +0 -351
  469. package/src/internal/passkey/target.ts +0 -598
  470. package/src/internal/passkey/write-state.ts +0 -692
  471. package/src/internal/passkey/write-target.ts +0 -450
  472. package/src/internal/passkey-kernel.ts +0 -112
  473. package/src/internal/passkeys.ts +0 -652
  474. package/src/internal/password-kernel.ts +0 -1523
  475. package/src/internal/phone-kernel.ts +0 -872
  476. package/src/internal/proof-kernel.ts +0 -1992
  477. package/src/internal/query-operations.ts +0 -91
  478. package/src/internal/session-kernel.ts +0 -2406
  479. package/src/internal/sql-query.ts +0 -304
  480. package/src/internal/transaction-execution-kernel.ts +0 -335
  481. package/src/internal/transaction-kernel.ts +0 -603
@@ -1,249 +0,0 @@
1
- import { CurrentPasskeyTransaction } from "./state.mjs";
2
- import { Effect, Schema } from "effect";
3
- import { PasskeyCredential, PasskeyDescriptor, PasskeyRevision, PasskeyUserHandle, snapshotPasskeySync, validatePasskeyPolicy } from "@yielded/auth/Passkey";
4
- //#region src/internal/passkey/credentials.ts
5
- const makePasskeyCredentialsKernel = (operations, state, transactions) => {
6
- const { asc, inArray, sql } = operations;
7
- const { assertNow, col, copiedRow, credentialKey, equal, handleKey, mappedColumns, observeSemantic, matchesNativeRow, semanticCredentialColumns, unavailable } = state;
8
- const invariant = state.invariant;
9
- const { both } = transactions;
10
- const readSubject = Effect.fn("passkey.readSubject")(function* (mapping, subjectId) {
11
- const owner = yield* CurrentPasskeyTransaction;
12
- const descriptor = mapping.subject;
13
- const nativeId = mapping.subjectIds.toNative(subjectId);
14
- invariant(mapping.subjectIds.toSubject(nativeId) === subjectId);
15
- const row = (yield* owner.read(descriptor.table, equal(descriptor.table, { [descriptor.id]: nativeId }), {
16
- limit: 1,
17
- columns: [
18
- descriptor.id,
19
- descriptor.status,
20
- descriptor.securityRevision
21
- ]
22
- })).rows[0];
23
- if (row === void 0 || !descriptor.isActiveStatus(row[descriptor.status])) return void 0;
24
- invariant(mapping.subjectIds.equals(descriptor.decodeId(copiedRow(row)), nativeId));
25
- const active = sql`exists(select 1 from ${descriptor.table} where ${both(owner.exact(descriptor.table, row), descriptor.activeCondition)})`;
26
- if (!(yield* owner.check(active))) return void 0;
27
- owner.postconditions.push(active);
28
- return {
29
- nativeId,
30
- subjectId,
31
- securityRevision: Schema.decodeUnknownSync(PasskeyRevision.fields.securityRevision)(row[descriptor.securityRevision])
32
- };
33
- });
34
- const readModule = Effect.fn("passkey.readModule")(function* (mapping) {
35
- const owner = yield* CurrentPasskeyTransaction;
36
- const descriptor = mapping.module;
37
- const columns = [.../* @__PURE__ */ new Set([
38
- descriptor.moduleId,
39
- descriptor.status,
40
- descriptor.policyRevision,
41
- ...descriptor.policyColumns
42
- ])];
43
- const row = (yield* owner.read(descriptor.table, equal(descriptor.table, { [descriptor.moduleId]: mapping.moduleId }), {
44
- limit: 1,
45
- columns
46
- })).rows[0];
47
- if (row === void 0 || !descriptor.isActiveStatus(row[descriptor.status])) return void 0;
48
- invariant(row[descriptor.moduleId] === mapping.moduleId);
49
- yield* assertNow(sql`exists(select 1 from ${descriptor.table} where ${both(owner.exact(descriptor.table, row), descriptor.activeCondition)})`);
50
- return yield* validatePasskeyPolicy(descriptor.decodeMethodPolicy(copiedRow(row))).pipe(Effect.mapError(unavailable));
51
- });
52
- const readPolicyGuards = Effect.fn("passkey.readPolicyGuards")(function* (mapping) {
53
- const owner = yield* CurrentPasskeyTransaction;
54
- for (const guard of [...mapping.module.guards ?? []].sort((a, b) => a.scope < b.scope ? -1 : a.scope > b.scope ? 1 : 0)) {
55
- const locked = yield* owner.read(guard.table, guard.where(mapping.moduleId), {
56
- limit: 1,
57
- columns: guard.columns
58
- });
59
- invariant(locked.rows.length === 1);
60
- yield* assertNow(guard.condition(mapping.moduleId));
61
- }
62
- });
63
- /** Advisory discovery never locks a tuple before its subject. All fields are
64
- * reread under the common subject/tuple lock order by readCredential. */
65
- const discoverSubject = Effect.fn("passkey.discoverSubject")(function* (mapping, rpId, protocolCredentialId) {
66
- const owner = yield* CurrentPasskeyTransaction;
67
- const descriptor = mapping.credentialOwnership;
68
- const row = (yield* owner.read(descriptor.table, equal(descriptor.table, { [descriptor.credentialKey]: yield* credentialKey(rpId, protocolCredentialId) }), {
69
- lock: false,
70
- observe: false,
71
- limit: 1,
72
- columns: mappedColumns(descriptor)
73
- })).rows[0];
74
- if (row === void 0) return void 0;
75
- invariant(row[descriptor.rpId] === rpId && row[descriptor.protocolCredentialId] === protocolCredentialId);
76
- if (!descriptor.isOwnedState(row[descriptor.state])) return void 0;
77
- const native = descriptor.decodeSubjectId(copiedRow(row));
78
- const subjectId = mapping.subjectIds.toSubject(native);
79
- invariant(mapping.subjectIds.equals(mapping.subjectIds.toNative(subjectId), native));
80
- return subjectId;
81
- });
82
- const readRevision = Effect.fn("passkey.readRevision")(function* (mapping, subject, ids) {
83
- const owner = yield* CurrentPasskeyTransaction;
84
- if (ids !== void 0) invariant(ids.length <= 64 && new Set(ids).size === ids.length);
85
- const descriptor = mapping.authority;
86
- const where = both(equal(descriptor.table, { [descriptor.subjectId]: subject.nativeId }), descriptor.activeCondition, ids === void 0 ? void 0 : ids.length === 0 ? sql`1 = 0` : inArray(col(descriptor.table, descriptor.credentialId), [...ids]));
87
- const credentials = (yield* owner.read(descriptor.table, where, {
88
- limit: 64,
89
- columns: mappedColumns(descriptor),
90
- orderBy: asc(col(descriptor.table, descriptor.credentialId))
91
- })).rows.map((row) => {
92
- invariant(descriptor.isActiveStatus(row[descriptor.status]));
93
- return {
94
- credentialId: row[descriptor.credentialId],
95
- revision: row[descriptor.revision]
96
- };
97
- });
98
- const revision = snapshotPasskeySync(PasskeyRevision, {
99
- subjectId: subject.subjectId,
100
- securityRevision: subject.securityRevision,
101
- credentials
102
- });
103
- invariant(new Set(revision.credentials.map((item) => item.credentialId)).size === revision.credentials.length);
104
- if (ids !== void 0 && (revision.credentials.length !== ids.length || !ids.every((id) => revision.credentials.some((item) => item.credentialId === id)))) return void 0;
105
- return revision;
106
- });
107
- const readCredential = Effect.fn("passkey.readCredential")(function* (mapping, subject, rpId, protocolCredentialId, ids) {
108
- const owner = yield* CurrentPasskeyTransaction;
109
- const ownership = mapping.credentialOwnership;
110
- const tupleKey = yield* credentialKey(rpId, protocolCredentialId);
111
- const tuple = (yield* owner.read(ownership.table, equal(ownership.table, { [ownership.credentialKey]: tupleKey }), {
112
- limit: 1,
113
- columns: mappedColumns(ownership)
114
- })).rows[0];
115
- if (tuple === void 0) return void 0;
116
- invariant(tuple[ownership.rpId] === rpId && tuple[ownership.protocolCredentialId] === protocolCredentialId);
117
- if (!ownership.isOwnedState(tuple[ownership.state])) return void 0;
118
- if (!mapping.subjectIds.equals(ownership.decodeSubjectId(copiedRow(tuple)), subject.nativeId)) return void 0;
119
- yield* assertNow(sql`exists(select 1 from ${ownership.table} where ${both(owner.exact(ownership.table, tuple), ownership.ownedCondition)})`);
120
- const descriptor = mapping.credential;
121
- const where = equal(descriptor.table, { [descriptor.credentialId]: tuple[ownership.credentialId] });
122
- let row = (yield* owner.read(descriptor.table, where, {
123
- limit: 1,
124
- lock: false,
125
- observe: false,
126
- columns: mappedColumns(descriptor)
127
- })).rows[0];
128
- if (row === void 0) return void 0;
129
- if (!descriptor.isActiveStatus(row[descriptor.status])) return void 0;
130
- if (!mapping.subjectIds.equals(descriptor.decodeSubjectId(copiedRow(row)), subject.nativeId)) return void 0;
131
- let decoded = descriptor.decode(copiedRow(row));
132
- const handle = mapping.handleOwnership;
133
- const expectedHandleKey = yield* handleKey(rpId, decoded.userHandle);
134
- const handleRow = (yield* owner.read(handle.table, equal(handle.table, { [handle.handleKey]: expectedHandleKey }), {
135
- limit: 1,
136
- columns: mappedColumns(handle)
137
- })).rows[0];
138
- invariant(row[descriptor.credentialKey] === tupleKey && row[descriptor.handleKey] === expectedHandleKey);
139
- if (handleRow === void 0 || !handle.isOwnedState(handleRow[handle.state])) return void 0;
140
- invariant(handleRow[handle.rpId] === rpId && handleRow[handle.userHandle] === decoded.userHandle);
141
- if (!mapping.subjectIds.equals(handle.decodeSubjectId(copiedRow(handleRow)), subject.nativeId)) return void 0;
142
- yield* assertNow(sql`exists(select 1 from ${handle.table} where ${both(owner.exact(handle.table, handleRow), handle.ownedCondition)})`);
143
- const locked = (yield* owner.read(descriptor.table, where, {
144
- limit: 1,
145
- observe: false,
146
- columns: mappedColumns(descriptor)
147
- })).rows[0];
148
- if (locked === void 0) return void 0;
149
- invariant(matchesNativeRow(descriptor.table, locked, Object.fromEntries(semanticCredentialColumns(descriptor).map((column) => [column, row[column]]))));
150
- row = locked;
151
- decoded = descriptor.decode(copiedRow(row));
152
- yield* observeSemantic(descriptor, where, row);
153
- yield* assertNow(sql`exists(select 1 from ${descriptor.table} where ${both(owner.exact(descriptor.table, {
154
- [descriptor.credentialId]: row[descriptor.credentialId],
155
- [descriptor.credentialRevision]: row[descriptor.credentialRevision]
156
- }), descriptor.activeCondition)})`);
157
- const requested = ids === void 0 ? void 0 : [.../* @__PURE__ */ new Set([...ids, decoded.credentialId])].sort();
158
- const revision = yield* readRevision(mapping, subject, requested);
159
- if (revision === void 0) return void 0;
160
- const credential = snapshotPasskeySync(PasskeyCredential, {
161
- ...decoded,
162
- revision,
163
- active: true
164
- });
165
- invariant(credential.rpId === rpId && credential.protocolCredentialId === protocolCredentialId);
166
- invariant(credential.credentialId === row[descriptor.credentialId] && credential.credentialId === tuple[ownership.credentialId]);
167
- invariant(credential.profile.rpId === rpId && credential.profile.algorithms.includes(credential.algorithm));
168
- invariant(credential.counter === Number(row[descriptor.counter]) && credential.maximumCounter === Number(row[descriptor.maximumCounter]));
169
- invariant(credential.maximumCounter >= credential.counter && (!credential.backupState || credential.backupEligible));
170
- if (!revision.credentials.some((item) => item.credentialId === credential.credentialId && item.revision === row[descriptor.credentialRevision])) return void 0;
171
- return {
172
- credential,
173
- row
174
- };
175
- });
176
- return {
177
- readSubject,
178
- readModule,
179
- readPolicyGuards,
180
- discoverSubject,
181
- readRevision,
182
- readCredential,
183
- lookupCredential: Effect.fn("passkey.lookupCredential")(function* (mapping, rpId, protocolCredentialId) {
184
- const subjectId = yield* discoverSubject(mapping, rpId, protocolCredentialId);
185
- if (subjectId === void 0) return void 0;
186
- const subject = yield* readSubject(mapping, subjectId);
187
- if (subject === void 0) return void 0;
188
- return (yield* readCredential(mapping, subject, rpId, protocolCredentialId))?.credential;
189
- }),
190
- captureEnrollmentContext: Effect.fn("passkey.captureEnrollmentContext")(function* (mapping, input) {
191
- const owner = yield* CurrentPasskeyTransaction;
192
- if (input.moduleId !== mapping.moduleId) return void 0;
193
- const policy = yield* readModule(mapping);
194
- if (policy === void 0 || !policy.profiles.some((profile) => profile.rpId === input.rpId)) return void 0;
195
- const subject = yield* readSubject(mapping.read, input.subjectId);
196
- if (subject === void 0) return void 0;
197
- yield* readPolicyGuards(mapping);
198
- const handle = mapping.read.handleOwnership;
199
- const handleRow = (yield* owner.read(handle.table, both(equal(handle.table, {
200
- [handle.rpId]: input.rpId,
201
- [handle.subjectId]: subject.nativeId
202
- }), handle.ownedCondition), {
203
- limit: 1,
204
- columns: mappedColumns(handle)
205
- })).rows[0];
206
- let userHandle;
207
- if (handleRow !== void 0) {
208
- invariant(handle.isOwnedState(handleRow[handle.state]) && handleRow[handle.rpId] === input.rpId);
209
- invariant(mapping.read.subjectIds.equals(handle.decodeSubjectId(copiedRow(handleRow)), subject.nativeId));
210
- userHandle = Schema.decodeUnknownSync(PasskeyUserHandle)(handleRow[handle.userHandle]);
211
- invariant(handleRow[handle.handleKey] === (yield* handleKey(input.rpId, userHandle)));
212
- }
213
- const credential = mapping.read.credential;
214
- const credentials = (yield* owner.read(credential.table, both(equal(credential.table, {
215
- [credential.rpId]: input.rpId,
216
- [credential.subjectId]: subject.nativeId
217
- }), credential.activeCondition), {
218
- limit: 64,
219
- columns: [
220
- credential.credentialId,
221
- credential.rpId,
222
- credential.protocolCredentialId,
223
- credential.subjectId,
224
- credential.credentialRevision,
225
- credential.status
226
- ],
227
- orderBy: asc(col(credential.table, credential.protocolCredentialId))
228
- })).rows.map((row) => {
229
- invariant(credential.isActiveStatus(row[credential.status]) && row[credential.rpId] === input.rpId);
230
- return snapshotPasskeySync(PasskeyDescriptor, {
231
- type: "public-key",
232
- id: row[credential.protocolCredentialId]
233
- });
234
- });
235
- invariant(new Set(credentials.map((item) => item.id)).size === credentials.length);
236
- const revision = yield* readRevision(mapping.read, subject);
237
- invariant(revision !== void 0);
238
- return {
239
- revision,
240
- ...userHandle === void 0 ? {} : { userHandle },
241
- credentials
242
- };
243
- })
244
- };
245
- };
246
- //#endregion
247
- export { makePasskeyCredentialsKernel };
248
-
249
- //# sourceMappingURL=credentials.mjs.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"credentials.mjs","names":[],"sources":["../../../src/internal/passkey/credentials.ts"],"sourcesContent":["/* oxlint-disable no-explicit-any -- existing mapped-row bridge; public adapters preserve table, ID, and Effect types. */\n\nimport {\n PasskeyCredential,\n PasskeyDescriptor,\n PasskeyRevision,\n PasskeyUserHandle,\n validatePasskeyPolicy,\n snapshotPasskeySync,\n} from \"@yielded/auth/Passkey\";\nimport type { SubjectId } from \"@yielded/auth/Schema\";\nimport { Effect, Schema } from \"effect\";\n\nimport type { QueryOperations } from \"../query-operations\";\nimport type { makeTransactionKernel } from \"../transaction-kernel\";\nimport { CurrentPasskeyTransaction } from \"./state\";\nimport type { makePasskeyStateKernel } from \"./state\";\n\nexport interface SubjectRead {\n readonly nativeId: unknown;\n readonly subjectId: SubjectId;\n readonly securityRevision: typeof PasskeyRevision.Type.securityRevision;\n}\n\nexport interface CredentialRead {\n readonly credential: PasskeyCredential;\n readonly row: Record<string, unknown>;\n}\n\nexport const makePasskeyCredentialsKernel = (\n operations: QueryOperations,\n state: Pick<\n ReturnType<typeof makePasskeyStateKernel>,\n | \"assertNow\"\n | \"col\"\n | \"copiedRow\"\n | \"credentialKey\"\n | \"equal\"\n | \"handleKey\"\n | \"invariant\"\n | \"mappedColumns\"\n | \"observeSemantic\"\n | \"matchesNativeRow\"\n | \"semanticCredentialColumns\"\n | \"unavailable\"\n >,\n transactions: Pick<ReturnType<typeof makeTransactionKernel>, \"both\">,\n) => {\n const { asc, inArray, sql } = operations;\n\n const {\n assertNow,\n col,\n copiedRow,\n credentialKey,\n equal,\n handleKey,\n mappedColumns,\n observeSemantic,\n matchesNativeRow,\n semanticCredentialColumns,\n unavailable,\n } = state;\n\n const invariant: (value: unknown) => asserts value = state.invariant;\n const { both } = transactions;\n\n const readSubject = Effect.fn(\"passkey.readSubject\")(function* (\n mapping: any,\n subjectId: SubjectId,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n const descriptor = mapping.subject;\n const nativeId = mapping.subjectIds.toNative(subjectId);\n\n invariant(mapping.subjectIds.toSubject(nativeId) === subjectId);\n\n const found = yield* owner.read(\n descriptor.table,\n equal(descriptor.table, { [descriptor.id]: nativeId }),\n {\n limit: 1,\n columns: [descriptor.id, descriptor.status, descriptor.securityRevision],\n },\n );\n\n const row = found.rows[0];\n\n if (row === undefined || !descriptor.isActiveStatus(row[descriptor.status])) return undefined;\n invariant(mapping.subjectIds.equals(descriptor.decodeId(copiedRow(row)), nativeId));\n\n const active = sql`exists(select 1 from ${descriptor.table} where ${both(\n owner.exact(descriptor.table, row),\n descriptor.activeCondition,\n )})`;\n\n if (!(yield* owner.check(active))) return undefined;\n owner.postconditions.push(active);\n\n // oxlint-disable-next-line no-restricted-properties -- native SQL column values enter through this untyped driver boundary.\n const securityRevision = Schema.decodeUnknownSync(PasskeyRevision.fields.securityRevision)(\n row[descriptor.securityRevision],\n );\n\n return { nativeId, subjectId, securityRevision };\n });\n\n const readModule = Effect.fn(\"passkey.readModule\")(function* (mapping: any) {\n const owner = yield* CurrentPasskeyTransaction;\n const descriptor = mapping.module;\n\n const columns = [\n ...new Set<string>([\n descriptor.moduleId,\n descriptor.status,\n descriptor.policyRevision,\n ...descriptor.policyColumns,\n ]),\n ];\n\n const found = yield* owner.read(\n descriptor.table,\n equal(descriptor.table, { [descriptor.moduleId]: mapping.moduleId }),\n {\n limit: 1,\n columns,\n },\n );\n\n const row = found.rows[0];\n\n if (row === undefined || !descriptor.isActiveStatus(row[descriptor.status])) return undefined;\n invariant(row[descriptor.moduleId] === mapping.moduleId);\n yield* assertNow(\n sql`exists(select 1 from ${descriptor.table} where ${both(\n owner.exact(descriptor.table, row),\n descriptor.activeCondition,\n )})`,\n );\n\n return yield* validatePasskeyPolicy(descriptor.decodeMethodPolicy(copiedRow(row))).pipe(\n Effect.mapError(unavailable),\n );\n });\n\n const readPolicyGuards = Effect.fn(\"passkey.readPolicyGuards\")(function* (mapping: any) {\n const owner = yield* CurrentPasskeyTransaction;\n\n for (const guard of [...(mapping.module.guards ?? [])].sort((a, b) =>\n a.scope < b.scope ? -1 : a.scope > b.scope ? 1 : 0,\n )) {\n const locked = yield* owner.read(guard.table, guard.where(mapping.moduleId), {\n limit: 1,\n columns: guard.columns,\n });\n\n invariant(locked.rows.length === 1);\n yield* assertNow(guard.condition(mapping.moduleId));\n }\n });\n\n /** Advisory discovery never locks a tuple before its subject. All fields are\n * reread under the common subject/tuple lock order by readCredential. */\n const discoverSubject = Effect.fn(\"passkey.discoverSubject\")(function* (\n mapping: any,\n rpId: string,\n protocolCredentialId: string,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n const descriptor = mapping.credentialOwnership;\n\n const found = yield* owner.read(\n descriptor.table,\n equal(descriptor.table, {\n [descriptor.credentialKey]: yield* credentialKey(rpId, protocolCredentialId),\n }),\n { lock: false, observe: false, limit: 1, columns: mappedColumns(descriptor) },\n );\n\n const row = found.rows[0];\n\n if (row === undefined) return undefined;\n invariant(\n row[descriptor.rpId] === rpId &&\n row[descriptor.protocolCredentialId] === protocolCredentialId,\n );\n if (!descriptor.isOwnedState(row[descriptor.state])) return undefined;\n const native = descriptor.decodeSubjectId(copiedRow(row));\n const subjectId = mapping.subjectIds.toSubject(native);\n\n invariant(mapping.subjectIds.equals(mapping.subjectIds.toNative(subjectId), native));\n\n return subjectId as SubjectId;\n });\n\n const readRevision = Effect.fn(\"passkey.readRevision\")(function* (\n mapping: any,\n subject: SubjectRead,\n ids?: ReadonlyArray<string>,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n\n if (ids !== undefined) invariant(ids.length <= 64 && new Set(ids).size === ids.length);\n const descriptor = mapping.authority;\n\n const where = both(\n equal(descriptor.table, { [descriptor.subjectId]: subject.nativeId }),\n descriptor.activeCondition,\n ids === undefined\n ? undefined\n : ids.length === 0\n ? sql`1 = 0`\n : inArray(col(descriptor.table, descriptor.credentialId), [...ids]),\n );\n\n const found = yield* owner.read(descriptor.table, where, {\n limit: 64,\n columns: mappedColumns(descriptor),\n orderBy: asc(col(descriptor.table, descriptor.credentialId)),\n });\n\n const credentials = found.rows.map((row) => {\n invariant(descriptor.isActiveStatus(row[descriptor.status]));\n\n return {\n credentialId: row[descriptor.credentialId],\n revision: row[descriptor.revision],\n };\n });\n\n const revision = snapshotPasskeySync(PasskeyRevision, {\n subjectId: subject.subjectId,\n securityRevision: subject.securityRevision,\n credentials,\n });\n\n invariant(\n new Set(revision.credentials.map((item) => item.credentialId)).size ===\n revision.credentials.length,\n );\n if (\n ids !== undefined &&\n (revision.credentials.length !== ids.length ||\n !ids.every((id) => revision.credentials.some((item) => item.credentialId === id)))\n )\n return undefined;\n\n return revision;\n });\n\n const readCredential = Effect.fn(\"passkey.readCredential\")(function* (\n mapping: any,\n subject: SubjectRead,\n rpId: string,\n protocolCredentialId: string,\n ids?: ReadonlyArray<string>,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n const ownership = mapping.credentialOwnership;\n const tupleKey = yield* credentialKey(rpId, protocolCredentialId);\n\n const tuple = (yield* owner.read(\n ownership.table,\n equal(ownership.table, { [ownership.credentialKey]: tupleKey }),\n {\n limit: 1,\n columns: mappedColumns(ownership),\n },\n )).rows[0];\n\n if (tuple === undefined) return undefined;\n invariant(\n tuple[ownership.rpId] === rpId &&\n tuple[ownership.protocolCredentialId] === protocolCredentialId,\n );\n if (!ownership.isOwnedState(tuple[ownership.state])) return undefined;\n if (!mapping.subjectIds.equals(ownership.decodeSubjectId(copiedRow(tuple)), subject.nativeId))\n return undefined;\n yield* assertNow(\n sql`exists(select 1 from ${ownership.table} where ${both(owner.exact(ownership.table, tuple), ownership.ownedCondition)})`,\n );\n const descriptor = mapping.credential;\n\n const where = equal(descriptor.table, {\n [descriptor.credentialId]: tuple[ownership.credentialId],\n });\n\n let row = (yield* owner.read(descriptor.table, where, {\n limit: 1,\n lock: false,\n observe: false,\n columns: mappedColumns(descriptor),\n })).rows[0];\n\n if (row === undefined) return undefined;\n if (!descriptor.isActiveStatus(row[descriptor.status])) return undefined;\n if (!mapping.subjectIds.equals(descriptor.decodeSubjectId(copiedRow(row)), subject.nativeId))\n return undefined;\n let decoded = descriptor.decode(copiedRow(row));\n const handle = mapping.handleOwnership;\n const expectedHandleKey = yield* handleKey(rpId, decoded.userHandle);\n\n const handleRow = (yield* owner.read(\n handle.table,\n equal(handle.table, { [handle.handleKey]: expectedHandleKey }),\n {\n limit: 1,\n columns: mappedColumns(handle),\n },\n )).rows[0];\n\n invariant(\n row[descriptor.credentialKey] === tupleKey && row[descriptor.handleKey] === expectedHandleKey,\n );\n if (handleRow === undefined || !handle.isOwnedState(handleRow[handle.state])) return undefined;\n invariant(\n handleRow[handle.rpId] === rpId && handleRow[handle.userHandle] === decoded.userHandle,\n );\n if (!mapping.subjectIds.equals(handle.decodeSubjectId(copiedRow(handleRow)), subject.nativeId))\n return undefined;\n yield* assertNow(\n sql`exists(select 1 from ${handle.table} where ${both(owner.exact(handle.table, handleRow), handle.ownedCondition)})`,\n );\n\n const locked = (yield* owner.read(descriptor.table, where, {\n limit: 1,\n observe: false,\n columns: mappedColumns(descriptor),\n })).rows[0];\n\n if (locked === undefined) return undefined;\n invariant(\n matchesNativeRow(\n descriptor.table,\n locked,\n Object.fromEntries(\n semanticCredentialColumns(descriptor).map((column) => [column, row![column]]),\n ),\n ),\n );\n row = locked;\n decoded = descriptor.decode(copiedRow(row));\n yield* observeSemantic(descriptor, where, row);\n yield* assertNow(\n sql`exists(select 1 from ${descriptor.table} where ${both(\n owner.exact(descriptor.table, {\n [descriptor.credentialId]: row[descriptor.credentialId],\n [descriptor.credentialRevision]: row[descriptor.credentialRevision],\n }),\n descriptor.activeCondition,\n )})`,\n );\n\n const requested =\n ids === undefined ? undefined : [...new Set([...ids, decoded.credentialId])].sort();\n\n const revision = yield* readRevision(mapping, subject, requested);\n\n if (revision === undefined) return undefined;\n\n const credential = snapshotPasskeySync(PasskeyCredential, {\n ...decoded,\n revision,\n active: true,\n });\n\n invariant(credential.rpId === rpId && credential.protocolCredentialId === protocolCredentialId);\n invariant(\n credential.credentialId === row[descriptor.credentialId] &&\n credential.credentialId === tuple[ownership.credentialId],\n );\n invariant(\n credential.profile.rpId === rpId &&\n credential.profile.algorithms.includes(credential.algorithm),\n );\n invariant(\n credential.counter === Number(row[descriptor.counter]) &&\n credential.maximumCounter === Number(row[descriptor.maximumCounter]),\n );\n invariant(\n credential.maximumCounter >= credential.counter &&\n (!credential.backupState || credential.backupEligible),\n );\n if (\n !revision.credentials.some(\n (item) =>\n item.credentialId === credential.credentialId &&\n item.revision === row[descriptor.credentialRevision],\n )\n )\n return undefined;\n\n return { credential, row };\n });\n\n const lookupCredential = Effect.fn(\"passkey.lookupCredential\")(function* (\n mapping: any,\n rpId: string,\n protocolCredentialId: string,\n ) {\n const subjectId = yield* discoverSubject(mapping, rpId, protocolCredentialId);\n\n if (subjectId === undefined) return undefined;\n const subject = yield* readSubject(mapping, subjectId);\n\n if (subject === undefined) return undefined;\n\n return (yield* readCredential(mapping, subject, rpId, protocolCredentialId))?.credential;\n });\n\n const captureEnrollmentContext = Effect.fn(\"passkey.captureEnrollmentContext\")(function* (\n mapping: any,\n input: { readonly moduleId: string; readonly rpId: string; readonly subjectId: SubjectId },\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n\n if (input.moduleId !== mapping.moduleId) return undefined;\n const policy = yield* readModule(mapping);\n\n if (policy === undefined || !policy.profiles.some((profile) => profile.rpId === input.rpId))\n return undefined;\n const subject = yield* readSubject(mapping.read, input.subjectId);\n\n if (subject === undefined) return undefined;\n yield* readPolicyGuards(mapping);\n const handle = mapping.read.handleOwnership;\n\n const handles = yield* owner.read(\n handle.table,\n both(\n equal(handle.table, {\n [handle.rpId]: input.rpId,\n [handle.subjectId]: subject.nativeId,\n }),\n handle.ownedCondition,\n ),\n { limit: 1, columns: mappedColumns(handle) },\n );\n\n const handleRow = handles.rows[0];\n let userHandle: PasskeyUserHandle | undefined;\n\n if (handleRow !== undefined) {\n invariant(\n handle.isOwnedState(handleRow[handle.state]) && handleRow[handle.rpId] === input.rpId,\n );\n invariant(\n mapping.read.subjectIds.equals(\n handle.decodeSubjectId(copiedRow(handleRow)),\n subject.nativeId,\n ),\n );\n // oxlint-disable-next-line no-restricted-properties -- native SQL column values enter through this untyped driver boundary.\n userHandle = Schema.decodeUnknownSync(PasskeyUserHandle)(handleRow[handle.userHandle]);\n invariant(handleRow[handle.handleKey] === (yield* handleKey(input.rpId, userHandle)));\n }\n const credential = mapping.read.credential;\n\n const found = yield* owner.read(\n credential.table,\n both(\n equal(credential.table, {\n [credential.rpId]: input.rpId,\n [credential.subjectId]: subject.nativeId,\n }),\n credential.activeCondition,\n ),\n {\n limit: 64,\n columns: [\n credential.credentialId,\n credential.rpId,\n credential.protocolCredentialId,\n credential.subjectId,\n credential.credentialRevision,\n credential.status,\n ],\n orderBy: asc(col(credential.table, credential.protocolCredentialId)),\n },\n );\n\n const credentials = found.rows.map((row) => {\n invariant(\n credential.isActiveStatus(row[credential.status]) && row[credential.rpId] === input.rpId,\n );\n\n return snapshotPasskeySync(PasskeyDescriptor, {\n type: \"public-key\",\n id: row[credential.protocolCredentialId],\n });\n });\n\n invariant(new Set(credentials.map((item) => item.id)).size === credentials.length);\n const revision = yield* readRevision(mapping.read, subject);\n\n invariant(revision !== undefined);\n\n return { revision, ...(userHandle === undefined ? {} : { userHandle }), credentials };\n });\n\n return {\n readSubject,\n readModule,\n readPolicyGuards,\n discoverSubject,\n readRevision,\n readCredential,\n lookupCredential,\n captureEnrollmentContext,\n };\n};\n"],"mappings":";;;;AA6BA,MAAa,gCACX,YACA,OAeA,iBACG;CACH,MAAM,EAAE,KAAK,SAAS,QAAQ;CAE9B,MAAM,EACJ,WACA,KACA,WACA,eACA,OACA,WACA,eACA,iBACA,kBACA,2BACA,gBACE;CAEJ,MAAM,YAA+C,MAAM;CAC3D,MAAM,EAAE,SAAS;CAEjB,MAAM,cAAc,OAAO,GAAG,qBAAqB,CAAC,CAAC,WACnD,SACA,WACA;EACA,MAAM,QAAQ,OAAO;EACrB,MAAM,aAAa,QAAQ;EAC3B,MAAM,WAAW,QAAQ,WAAW,SAAS,SAAS;EAEtD,UAAU,QAAQ,WAAW,UAAU,QAAQ,MAAM,SAAS;EAW9D,MAAM,OAAM,OATS,MAAM,KACzB,WAAW,OACX,MAAM,WAAW,OAAO,GAAG,WAAW,KAAK,SAAS,CAAC,GACrD;GACE,OAAO;GACP,SAAS;IAAC,WAAW;IAAI,WAAW;IAAQ,WAAW;GAAgB;EACzE,CACF,EAAA,CAEkB,KAAK;EAEvB,IAAI,QAAQ,KAAA,KAAa,CAAC,WAAW,eAAe,IAAI,WAAW,OAAO,GAAG,OAAO,KAAA;EACpF,UAAU,QAAQ,WAAW,OAAO,WAAW,SAAS,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC;EAElF,MAAM,SAAS,GAAG,wBAAwB,WAAW,MAAM,SAAS,KAClE,MAAM,MAAM,WAAW,OAAO,GAAG,GACjC,WAAW,eACb,EAAE;EAEF,IAAI,EAAE,OAAO,MAAM,MAAM,MAAM,IAAI,OAAO,KAAA;EAC1C,MAAM,eAAe,KAAK,MAAM;EAOhC,OAAO;GAAE;GAAU;GAAW,kBAJL,OAAO,kBAAkB,gBAAgB,OAAO,gBAAgB,CAAC,CACxF,IAAI,WAAW,iBAG4B;EAAE;CACjD,CAAC;CAED,MAAM,aAAa,OAAO,GAAG,oBAAoB,CAAC,CAAC,WAAW,SAAc;EAC1E,MAAM,QAAQ,OAAO;EACrB,MAAM,aAAa,QAAQ;EAE3B,MAAM,UAAU,CACd,mBAAG,IAAI,IAAY;GACjB,WAAW;GACX,WAAW;GACX,WAAW;GACX,GAAG,WAAW;EAChB,CAAC,CACH;EAWA,MAAM,OAAM,OATS,MAAM,KACzB,WAAW,OACX,MAAM,WAAW,OAAO,GAAG,WAAW,WAAW,QAAQ,SAAS,CAAC,GACnE;GACE,OAAO;GACP;EACF,CACF,EAAA,CAEkB,KAAK;EAEvB,IAAI,QAAQ,KAAA,KAAa,CAAC,WAAW,eAAe,IAAI,WAAW,OAAO,GAAG,OAAO,KAAA;EACpF,UAAU,IAAI,WAAW,cAAc,QAAQ,QAAQ;EACvD,OAAO,UACL,GAAG,wBAAwB,WAAW,MAAM,SAAS,KACnD,MAAM,MAAM,WAAW,OAAO,GAAG,GACjC,WAAW,eACb,EAAE,EACJ;EAEA,OAAO,OAAO,sBAAsB,WAAW,mBAAmB,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,KACjF,OAAO,SAAS,WAAW,CAC7B;CACF,CAAC;CAED,MAAM,mBAAmB,OAAO,GAAG,0BAA0B,CAAC,CAAC,WAAW,SAAc;EACtF,MAAM,QAAQ,OAAO;EAErB,KAAK,MAAM,SAAS,CAAC,GAAI,QAAQ,OAAO,UAAU,CAAC,CAAE,CAAC,CAAC,MAAM,GAAG,MAC9D,EAAE,QAAQ,EAAE,QAAQ,KAAK,EAAE,QAAQ,EAAE,QAAQ,IAAI,CACnD,GAAG;GACD,MAAM,SAAS,OAAO,MAAM,KAAK,MAAM,OAAO,MAAM,MAAM,QAAQ,QAAQ,GAAG;IAC3E,OAAO;IACP,SAAS,MAAM;GACjB,CAAC;GAED,UAAU,OAAO,KAAK,WAAW,CAAC;GAClC,OAAO,UAAU,MAAM,UAAU,QAAQ,QAAQ,CAAC;EACpD;CACF,CAAC;;;CAID,MAAM,kBAAkB,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAC3D,SACA,MACA,sBACA;EACA,MAAM,QAAQ,OAAO;EACrB,MAAM,aAAa,QAAQ;EAU3B,MAAM,OAAM,OARS,MAAM,KACzB,WAAW,OACX,MAAM,WAAW,OAAO,GACrB,WAAW,gBAAgB,OAAO,cAAc,MAAM,oBAAoB,EAC7E,CAAC,GACD;GAAE,MAAM;GAAO,SAAS;GAAO,OAAO;GAAG,SAAS,cAAc,UAAU;EAAE,CAC9E,EAAA,CAEkB,KAAK;EAEvB,IAAI,QAAQ,KAAA,GAAW,OAAO,KAAA;EAC9B,UACE,IAAI,WAAW,UAAU,QACvB,IAAI,WAAW,0BAA0B,oBAC7C;EACA,IAAI,CAAC,WAAW,aAAa,IAAI,WAAW,MAAM,GAAG,OAAO,KAAA;EAC5D,MAAM,SAAS,WAAW,gBAAgB,UAAU,GAAG,CAAC;EACxD,MAAM,YAAY,QAAQ,WAAW,UAAU,MAAM;EAErD,UAAU,QAAQ,WAAW,OAAO,QAAQ,WAAW,SAAS,SAAS,GAAG,MAAM,CAAC;EAEnF,OAAO;CACT,CAAC;CAED,MAAM,eAAe,OAAO,GAAG,sBAAsB,CAAC,CAAC,WACrD,SACA,SACA,KACA;EACA,MAAM,QAAQ,OAAO;EAErB,IAAI,QAAQ,KAAA,GAAW,UAAU,IAAI,UAAU,MAAM,IAAI,IAAI,GAAG,CAAC,CAAC,SAAS,IAAI,MAAM;EACrF,MAAM,aAAa,QAAQ;EAE3B,MAAM,QAAQ,KACZ,MAAM,WAAW,OAAO,GAAG,WAAW,YAAY,QAAQ,SAAS,CAAC,GACpE,WAAW,iBACX,QAAQ,KAAA,IACJ,KAAA,IACA,IAAI,WAAW,IACb,GAAG,UACH,QAAQ,IAAI,WAAW,OAAO,WAAW,YAAY,GAAG,CAAC,GAAG,GAAG,CAAC,CACxE;EAQA,MAAM,eAAc,OANC,MAAM,KAAK,WAAW,OAAO,OAAO;GACvD,OAAO;GACP,SAAS,cAAc,UAAU;GACjC,SAAS,IAAI,IAAI,WAAW,OAAO,WAAW,YAAY,CAAC;EAC7D,CAAC,EAAA,CAEyB,KAAK,KAAK,QAAQ;GAC1C,UAAU,WAAW,eAAe,IAAI,WAAW,OAAO,CAAC;GAE3D,OAAO;IACL,cAAc,IAAI,WAAW;IAC7B,UAAU,IAAI,WAAW;GAC3B;EACF,CAAC;EAED,MAAM,WAAW,oBAAoB,iBAAiB;GACpD,WAAW,QAAQ;GACnB,kBAAkB,QAAQ;GAC1B;EACF,CAAC;EAED,UACE,IAAI,IAAI,SAAS,YAAY,KAAK,SAAS,KAAK,YAAY,CAAC,CAAC,CAAC,SAC7D,SAAS,YAAY,MACzB;EACA,IACE,QAAQ,KAAA,MACP,SAAS,YAAY,WAAW,IAAI,UACnC,CAAC,IAAI,OAAO,OAAO,SAAS,YAAY,MAAM,SAAS,KAAK,iBAAiB,EAAE,CAAC,IAElF,OAAO,KAAA;EAET,OAAO;CACT,CAAC;CAED,MAAM,iBAAiB,OAAO,GAAG,wBAAwB,CAAC,CAAC,WACzD,SACA,SACA,MACA,sBACA,KACA;EACA,MAAM,QAAQ,OAAO;EACrB,MAAM,YAAY,QAAQ;EAC1B,MAAM,WAAW,OAAO,cAAc,MAAM,oBAAoB;EAEhE,MAAM,SAAS,OAAO,MAAM,KAC1B,UAAU,OACV,MAAM,UAAU,OAAO,GAAG,UAAU,gBAAgB,SAAS,CAAC,GAC9D;GACE,OAAO;GACP,SAAS,cAAc,SAAS;EAClC,CACF,EAAA,CAAG,KAAK;EAER,IAAI,UAAU,KAAA,GAAW,OAAO,KAAA;EAChC,UACE,MAAM,UAAU,UAAU,QACxB,MAAM,UAAU,0BAA0B,oBAC9C;EACA,IAAI,CAAC,UAAU,aAAa,MAAM,UAAU,MAAM,GAAG,OAAO,KAAA;EAC5D,IAAI,CAAC,QAAQ,WAAW,OAAO,UAAU,gBAAgB,UAAU,KAAK,CAAC,GAAG,QAAQ,QAAQ,GAC1F,OAAO,KAAA;EACT,OAAO,UACL,GAAG,wBAAwB,UAAU,MAAM,SAAS,KAAK,MAAM,MAAM,UAAU,OAAO,KAAK,GAAG,UAAU,cAAc,EAAE,EAC1H;EACA,MAAM,aAAa,QAAQ;EAE3B,MAAM,QAAQ,MAAM,WAAW,OAAO,GACnC,WAAW,eAAe,MAAM,UAAU,cAC7C,CAAC;EAED,IAAI,OAAO,OAAO,MAAM,KAAK,WAAW,OAAO,OAAO;GACpD,OAAO;GACP,MAAM;GACN,SAAS;GACT,SAAS,cAAc,UAAU;EACnC,CAAC,EAAA,CAAG,KAAK;EAET,IAAI,QAAQ,KAAA,GAAW,OAAO,KAAA;EAC9B,IAAI,CAAC,WAAW,eAAe,IAAI,WAAW,OAAO,GAAG,OAAO,KAAA;EAC/D,IAAI,CAAC,QAAQ,WAAW,OAAO,WAAW,gBAAgB,UAAU,GAAG,CAAC,GAAG,QAAQ,QAAQ,GACzF,OAAO,KAAA;EACT,IAAI,UAAU,WAAW,OAAO,UAAU,GAAG,CAAC;EAC9C,MAAM,SAAS,QAAQ;EACvB,MAAM,oBAAoB,OAAO,UAAU,MAAM,QAAQ,UAAU;EAEnE,MAAM,aAAa,OAAO,MAAM,KAC9B,OAAO,OACP,MAAM,OAAO,OAAO,GAAG,OAAO,YAAY,kBAAkB,CAAC,GAC7D;GACE,OAAO;GACP,SAAS,cAAc,MAAM;EAC/B,CACF,EAAA,CAAG,KAAK;EAER,UACE,IAAI,WAAW,mBAAmB,YAAY,IAAI,WAAW,eAAe,iBAC9E;EACA,IAAI,cAAc,KAAA,KAAa,CAAC,OAAO,aAAa,UAAU,OAAO,MAAM,GAAG,OAAO,KAAA;EACrF,UACE,UAAU,OAAO,UAAU,QAAQ,UAAU,OAAO,gBAAgB,QAAQ,UAC9E;EACA,IAAI,CAAC,QAAQ,WAAW,OAAO,OAAO,gBAAgB,UAAU,SAAS,CAAC,GAAG,QAAQ,QAAQ,GAC3F,OAAO,KAAA;EACT,OAAO,UACL,GAAG,wBAAwB,OAAO,MAAM,SAAS,KAAK,MAAM,MAAM,OAAO,OAAO,SAAS,GAAG,OAAO,cAAc,EAAE,EACrH;EAEA,MAAM,UAAU,OAAO,MAAM,KAAK,WAAW,OAAO,OAAO;GACzD,OAAO;GACP,SAAS;GACT,SAAS,cAAc,UAAU;EACnC,CAAC,EAAA,CAAG,KAAK;EAET,IAAI,WAAW,KAAA,GAAW,OAAO,KAAA;EACjC,UACE,iBACE,WAAW,OACX,QACA,OAAO,YACL,0BAA0B,UAAU,CAAC,CAAC,KAAK,WAAW,CAAC,QAAQ,IAAK,OAAO,CAAC,CAC9E,CACF,CACF;EACA,MAAM;EACN,UAAU,WAAW,OAAO,UAAU,GAAG,CAAC;EAC1C,OAAO,gBAAgB,YAAY,OAAO,GAAG;EAC7C,OAAO,UACL,GAAG,wBAAwB,WAAW,MAAM,SAAS,KACnD,MAAM,MAAM,WAAW,OAAO;IAC3B,WAAW,eAAe,IAAI,WAAW;IACzC,WAAW,qBAAqB,IAAI,WAAW;EAClD,CAAC,GACD,WAAW,eACb,EAAE,EACJ;EAEA,MAAM,YACJ,QAAQ,KAAA,IAAY,KAAA,IAAY,CAAC,mBAAG,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK;EAEpF,MAAM,WAAW,OAAO,aAAa,SAAS,SAAS,SAAS;EAEhE,IAAI,aAAa,KAAA,GAAW,OAAO,KAAA;EAEnC,MAAM,aAAa,oBAAoB,mBAAmB;GACxD,GAAG;GACH;GACA,QAAQ;EACV,CAAC;EAED,UAAU,WAAW,SAAS,QAAQ,WAAW,yBAAyB,oBAAoB;EAC9F,UACE,WAAW,iBAAiB,IAAI,WAAW,iBACzC,WAAW,iBAAiB,MAAM,UAAU,aAChD;EACA,UACE,WAAW,QAAQ,SAAS,QAC1B,WAAW,QAAQ,WAAW,SAAS,WAAW,SAAS,CAC/D;EACA,UACE,WAAW,YAAY,OAAO,IAAI,WAAW,QAAQ,KACnD,WAAW,mBAAmB,OAAO,IAAI,WAAW,eAAe,CACvE;EACA,UACE,WAAW,kBAAkB,WAAW,YACrC,CAAC,WAAW,eAAe,WAAW,eAC3C;EACA,IACE,CAAC,SAAS,YAAY,MACnB,SACC,KAAK,iBAAiB,WAAW,gBACjC,KAAK,aAAa,IAAI,WAAW,mBACrC,GAEA,OAAO,KAAA;EAET,OAAO;GAAE;GAAY;EAAI;CAC3B,CAAC;CA2GD,OAAO;EACL;EACA;EACA;EACA;EACA;EACA;EACA,kBAhHuB,OAAO,GAAG,0BAA0B,CAAC,CAAC,WAC7D,SACA,MACA,sBACA;GACA,MAAM,YAAY,OAAO,gBAAgB,SAAS,MAAM,oBAAoB;GAE5E,IAAI,cAAc,KAAA,GAAW,OAAO,KAAA;GACpC,MAAM,UAAU,OAAO,YAAY,SAAS,SAAS;GAErD,IAAI,YAAY,KAAA,GAAW,OAAO,KAAA;GAElC,QAAQ,OAAO,eAAe,SAAS,SAAS,MAAM,oBAAoB,EAAA,EAAI;EAChF,CAmGiB;EACf,0BAlG+B,OAAO,GAAG,kCAAkC,CAAC,CAAC,WAC7E,SACA,OACA;GACA,MAAM,QAAQ,OAAO;GAErB,IAAI,MAAM,aAAa,QAAQ,UAAU,OAAO,KAAA;GAChD,MAAM,SAAS,OAAO,WAAW,OAAO;GAExC,IAAI,WAAW,KAAA,KAAa,CAAC,OAAO,SAAS,MAAM,YAAY,QAAQ,SAAS,MAAM,IAAI,GACxF,OAAO,KAAA;GACT,MAAM,UAAU,OAAO,YAAY,QAAQ,MAAM,MAAM,SAAS;GAEhE,IAAI,YAAY,KAAA,GAAW,OAAO,KAAA;GAClC,OAAO,iBAAiB,OAAO;GAC/B,MAAM,SAAS,QAAQ,KAAK;GAc5B,MAAM,aAAY,OAZK,MAAM,KAC3B,OAAO,OACP,KACE,MAAM,OAAO,OAAO;KACjB,OAAO,OAAO,MAAM;KACpB,OAAO,YAAY,QAAQ;GAC9B,CAAC,GACD,OAAO,cACT,GACA;IAAE,OAAO;IAAG,SAAS,cAAc,MAAM;GAAE,CAC7C,EAAA,CAE0B,KAAK;GAC/B,IAAI;GAEJ,IAAI,cAAc,KAAA,GAAW;IAC3B,UACE,OAAO,aAAa,UAAU,OAAO,MAAM,KAAK,UAAU,OAAO,UAAU,MAAM,IACnF;IACA,UACE,QAAQ,KAAK,WAAW,OACtB,OAAO,gBAAgB,UAAU,SAAS,CAAC,GAC3C,QAAQ,QACV,CACF;IAEA,aAAa,OAAO,kBAAkB,iBAAiB,CAAC,CAAC,UAAU,OAAO,WAAW;IACrF,UAAU,UAAU,OAAO,gBAAgB,OAAO,UAAU,MAAM,MAAM,UAAU,EAAE;GACtF;GACA,MAAM,aAAa,QAAQ,KAAK;GAyBhC,MAAM,eAAc,OAvBC,MAAM,KACzB,WAAW,OACX,KACE,MAAM,WAAW,OAAO;KACrB,WAAW,OAAO,MAAM;KACxB,WAAW,YAAY,QAAQ;GAClC,CAAC,GACD,WAAW,eACb,GACA;IACE,OAAO;IACP,SAAS;KACP,WAAW;KACX,WAAW;KACX,WAAW;KACX,WAAW;KACX,WAAW;KACX,WAAW;IACb;IACA,SAAS,IAAI,IAAI,WAAW,OAAO,WAAW,oBAAoB,CAAC;GACrE,CACF,EAAA,CAE0B,KAAK,KAAK,QAAQ;IAC1C,UACE,WAAW,eAAe,IAAI,WAAW,OAAO,KAAK,IAAI,WAAW,UAAU,MAAM,IACtF;IAEA,OAAO,oBAAoB,mBAAmB;KAC5C,MAAM;KACN,IAAI,IAAI,WAAW;IACrB,CAAC;GACH,CAAC;GAED,UAAU,IAAI,IAAI,YAAY,KAAK,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,YAAY,MAAM;GACjF,MAAM,WAAW,OAAO,aAAa,QAAQ,MAAM,OAAO;GAE1D,UAAU,aAAa,KAAA,CAAS;GAEhC,OAAO;IAAE;IAAU,GAAI,eAAe,KAAA,IAAY,CAAC,IAAI,EAAE,WAAW;IAAI;GAAY;EACtF,CAUyB;CACzB;AACF"}
@@ -1,138 +0,0 @@
1
- import { CurrentPasskeyTransaction } from "./state.mjs";
2
- import { Effect } from "effect";
3
- import { PasskeyCeremony } from "@yielded/auth/Passkey";
4
- //#region src/internal/passkey/enrollment.ts
5
- const makePasskeyEnrollmentKernel = (operations, admission, credentials, flow, state, writeState, transactions) => {
6
- const { sql } = operations;
7
- const { lockAdmission, readCharges, guardChargeSet } = admission;
8
- const { readModule, readPolicyGuards } = credentials;
9
- const { compatiblePolicy, exactClaim, issueAssertion, liveCondition, readFlow, terminalFlow } = flow;
10
- const { equal, handleKey, sameRevision, credentialKey: credentialKeyFor } = state;
11
- const invariant = state.invariant;
12
- const { authorizeAction, credentialRows, currentSubject, enrollmentDigest, digest, insertCredential, managementPolicy, validRegistration } = writeState;
13
- const { both } = transactions;
14
- const enrollmentHandle = Effect.fn("passkey.enrollmentHandle")(function* (mapping, subject, ceremony, create) {
15
- const owner = yield* CurrentPasskeyTransaction;
16
- invariant(ceremony.context._tag === "Enrollment");
17
- const table = mapping.read.handleOwnership;
18
- const where = equal(table.table, {
19
- [table.rpId]: ceremony.profile.rpId,
20
- [table.subjectId]: subject.nativeId
21
- });
22
- const found = yield* owner.read(table.table, where, { limit: 1 });
23
- const row = found.rows[0];
24
- const hashed = yield* handleKey(ceremony.profile.rpId, ceremony.context.userHandle);
25
- if (row !== void 0) return table.isOwnedState(row[table.state]) && row[table.handleKey] === hashed && row[table.userHandle] === ceremony.context.userHandle && mapping.read.subjectIds.equals(table.decodeSubjectId(row), subject.nativeId);
26
- if (!create) return false;
27
- const absent = yield* owner.read(table.table, equal(table.table, { [table.handleKey]: hashed }), { limit: 1 });
28
- if (absent.rows.length !== 0) return false;
29
- const inserted = yield* owner.insert(table.table, {
30
- ...mapping.write.handleOwnership.encodeInsert({
31
- subjectId: subject.nativeId,
32
- rpId: ceremony.profile.rpId,
33
- userHandle: ceremony.context.userHandle,
34
- marker: owner.marker
35
- }),
36
- [table.handleKey]: hashed,
37
- [table.rpId]: ceremony.profile.rpId,
38
- [table.userHandle]: ceremony.context.userHandle,
39
- [table.subjectId]: subject.nativeId,
40
- [table.state]: mapping.write.handleOwnership.ownedState,
41
- [table.version]: owner.marker,
42
- [table.reservationId]: null
43
- }, { [table.handleKey]: hashed });
44
- found.rows = inserted.rows;
45
- absent.rows = inserted.rows;
46
- return true;
47
- });
48
- const capCondition = (mapping, subject, maximum, addition) => {
49
- const table = mapping.read.credential;
50
- return sql`(select count(*) from ${table.table} where ${both(equal(table.table, { [table.subjectId]: subject.nativeId }), table.activeCondition)}) + ${addition} <= ${maximum}`;
51
- };
52
- return {
53
- enrollmentHandle,
54
- issueEnrollment: Effect.fn("passkey.issueEnrollment")(function* (mapping, input) {
55
- const owner = yield* CurrentPasskeyTransaction;
56
- const ceremony = input.ceremony;
57
- if (ceremony.context._tag !== "Enrollment" || ceremony.purpose !== "enrollment" || ceremony.moduleId !== mapping.moduleId) return { _tag: "Rejected" };
58
- const current = yield* readModule(mapping);
59
- if (current === void 0 || !compatiblePolicy(ceremony, input.policy, current)) return { _tag: "Rejected" };
60
- yield* lockAdmission(mapping);
61
- const subject = yield* currentSubject(mapping, ceremony.context.revision.subjectId);
62
- if (subject === void 0 || !sameRevision(subject.revision, ceremony.context.revision)) return { _tag: "Rejected" };
63
- yield* readPolicyGuards(mapping);
64
- const policy = managementPolicy(mapping, subject);
65
- const maximum = Math.min(policy.maximumCredentials, input.management.maximumCredentials);
66
- const ids = (yield* credentialRows(mapping, subject, ceremony.profile.rpId)).map((row) => row[mapping.read.credential.protocolCredentialId]);
67
- if (ids.length !== ceremony.allowedCredentials.length || !ids.every((id) => ceremony.allowedCredentials.some((item) => item.id === id)) || !(yield* owner.check(capCondition(mapping, subject, maximum, 1)))) return { _tag: "Rejected" };
68
- if (!(yield* authorizeAction(mapping, subject, input.authorization, {
69
- action: "enroll-begin",
70
- commandId: ceremony.commandId,
71
- flowId: ceremony.flowId,
72
- bindingDigest: yield* enrollmentDigest(ceremony),
73
- revision: ceremony.context.revision
74
- }, {
75
- ...policy,
76
- maximumEvidenceAgeMillis: Math.min(policy.maximumEvidenceAgeMillis, input.management.maximumEvidenceAgeMillis)
77
- }))) return { _tag: "Rejected" };
78
- invariant((yield* digest(PasskeyCeremony.fields.context, ceremony.context)) === (yield* digest(PasskeyCeremony.fields.context, {
79
- ...ceremony.context,
80
- authorization: input.authorization
81
- })));
82
- const issued = yield* issueAssertion(mapping, ceremony, input.policy);
83
- if (issued._tag !== "Issued") return issued;
84
- invariant(yield* enrollmentHandle(mapping, subject, ceremony, true));
85
- owner.postconditions.push(capCondition(mapping, subject, maximum, 1));
86
- return issued;
87
- }),
88
- completeEnrollment: Effect.fn("passkey.completeEnrollment")(function* (mapping, input) {
89
- const owner = yield* CurrentPasskeyTransaction;
90
- const ceremony = input.claim.ceremony;
91
- if (ceremony.context._tag !== "Enrollment" || ceremony.purpose !== "enrollment" || ceremony.moduleId !== mapping.moduleId) return { _tag: "Rejected" };
92
- const current = yield* readModule(mapping);
93
- if (current === void 0) return { _tag: "Rejected" };
94
- yield* lockAdmission(mapping);
95
- const subject = yield* currentSubject(mapping, ceremony.context.revision.subjectId);
96
- yield* readPolicyGuards(mapping);
97
- const read = yield* readFlow(mapping, ceremony.flowId);
98
- if (read === void 0 || !exactClaim(read, input.claim)) return { _tag: "Rejected" };
99
- const reject = Effect.gen(function* () {
100
- yield* terminalFlow(mapping, read, "Rejected");
101
- return { _tag: "Rejected" };
102
- });
103
- if (subject === void 0 || !sameRevision(subject.revision, ceremony.context.revision) || !compatiblePolicy(ceremony, read.policy, current) || !validRegistration(ceremony, input.verified) || !(yield* owner.check(liveCondition(mapping, ceremony, input.claim)))) return yield* reject;
104
- const policy = managementPolicy(mapping, subject);
105
- const maximum = Math.min(policy.maximumCredentials, input.management.maximumCredentials);
106
- if (!(yield* owner.check(capCondition(mapping, subject, maximum, 1))) || !(yield* enrollmentHandle(mapping, subject, ceremony, false))) return yield* reject;
107
- if (!(yield* authorizeAction(mapping, subject, input.authorization, {
108
- action: "enroll-complete",
109
- commandId: ceremony.commandId,
110
- flowId: ceremony.flowId,
111
- bindingDigest: yield* digest(PasskeyCeremony, ceremony),
112
- revision: ceremony.context.revision
113
- }, {
114
- ...policy,
115
- maximumEvidenceAgeMillis: Math.min(policy.maximumEvidenceAgeMillis, input.management.maximumEvidenceAgeMillis)
116
- }, ceremony.context.authorization.requirement))) return yield* reject;
117
- const tuple = mapping.read.credentialOwnership;
118
- const key = yield* credentialKeyFor(ceremony.profile.rpId, input.verified.protocolCredentialId);
119
- if ((yield* owner.read(tuple.table, equal(tuple.table, { [tuple.credentialKey]: key }), {
120
- limit: 1,
121
- observe: false
122
- })).rows.length !== 0) return yield* reject;
123
- yield* readCharges(mapping, ceremony, read.policy, subject.subjectId);
124
- yield* guardChargeSet(mapping, ceremony, subject.subjectId);
125
- const safe = yield* insertCredential(mapping, subject, ceremony, input.verified, yield* owner.now(mapping.clock));
126
- yield* terminalFlow(mapping, read, "Verified");
127
- owner.postconditions.push(liveCondition(mapping, ceremony, input.claim), capCondition(mapping, subject, maximum, 0));
128
- return {
129
- _tag: "Enrolled",
130
- credential: safe
131
- };
132
- })
133
- };
134
- };
135
- //#endregion
136
- export { makePasskeyEnrollmentKernel };
137
-
138
- //# sourceMappingURL=enrollment.mjs.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"enrollment.mjs","names":["Ceremony"],"sources":["../../../src/internal/passkey/enrollment.ts"],"sourcesContent":["/* oxlint-disable no-explicit-any -- existing mapped-row bridge; public adapters preserve table, ID, and Effect types. */\n\nimport {\n type PasskeyCeremony,\n PasskeyCeremony as Ceremony,\n type PasskeyManagementPersistence,\n} from \"@yielded/auth/Passkey\";\nimport { Effect } from \"effect\";\n\nimport type { QueryOperations } from \"../query-operations\";\nimport type { makeTransactionKernel } from \"../transaction-kernel\";\nimport type { makePasskeyAdmissionKernel } from \"./admission\";\nimport type { makePasskeyCredentialsKernel } from \"./credentials\";\nimport type { makePasskeyFlowKernel } from \"./flow\";\nimport { CurrentPasskeyTransaction } from \"./state\";\nimport type { makePasskeyStateKernel } from \"./state\";\nimport type { WriteSubject, makePasskeyWriteStateKernel } from \"./write-state\";\n\ntype Issue = Parameters<PasskeyManagementPersistence[\"Service\"][\"issueEnrollment\"]>[0];\n\ntype Complete = Parameters<PasskeyManagementPersistence[\"Service\"][\"completeEnrollment\"]>[0];\n\nexport const makePasskeyEnrollmentKernel = (\n operations: QueryOperations,\n admission: Pick<\n ReturnType<typeof makePasskeyAdmissionKernel>,\n \"lockAdmission\" | \"readCharges\" | \"guardChargeSet\"\n >,\n credentials: Pick<\n ReturnType<typeof makePasskeyCredentialsKernel>,\n \"readModule\" | \"readPolicyGuards\"\n >,\n flow: Pick<\n ReturnType<typeof makePasskeyFlowKernel>,\n | \"compatiblePolicy\"\n | \"exactClaim\"\n | \"issueAssertion\"\n | \"liveCondition\"\n | \"readFlow\"\n | \"terminalFlow\"\n >,\n state: Pick<\n ReturnType<typeof makePasskeyStateKernel>,\n \"equal\" | \"handleKey\" | \"invariant\" | \"sameRevision\" | \"credentialKey\"\n >,\n writeState: Pick<\n ReturnType<typeof makePasskeyWriteStateKernel>,\n | \"authorizeAction\"\n | \"credentialRows\"\n | \"currentSubject\"\n | \"enrollmentDigest\"\n | \"digest\"\n | \"insertCredential\"\n | \"managementPolicy\"\n | \"validRegistration\"\n >,\n transactions: Pick<ReturnType<typeof makeTransactionKernel>, \"both\">,\n) => {\n const { sql } = operations;\n const { lockAdmission, readCharges, guardChargeSet } = admission;\n const { readModule, readPolicyGuards } = credentials;\n\n const { compatiblePolicy, exactClaim, issueAssertion, liveCondition, readFlow, terminalFlow } =\n flow;\n\n const { equal, handleKey, sameRevision, credentialKey: credentialKeyFor } = state;\n const invariant: (value: unknown) => asserts value = state.invariant;\n\n const {\n authorizeAction,\n credentialRows,\n currentSubject,\n enrollmentDigest,\n digest,\n insertCredential,\n managementPolicy,\n validRegistration,\n } = writeState;\n\n const { both } = transactions;\n\n const enrollmentHandle = Effect.fn(\"passkey.enrollmentHandle\")(function* (\n mapping: any,\n subject: WriteSubject,\n ceremony: PasskeyCeremony,\n create: boolean,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n\n invariant(ceremony.context._tag === \"Enrollment\");\n const table = mapping.read.handleOwnership;\n\n const where = equal(table.table, {\n [table.rpId]: ceremony.profile.rpId,\n [table.subjectId]: subject.nativeId,\n });\n\n const found = yield* owner.read(table.table, where, { limit: 1 });\n const row = found.rows[0];\n const hashed = yield* handleKey(ceremony.profile.rpId, ceremony.context.userHandle);\n\n if (row !== undefined)\n return (\n table.isOwnedState(row[table.state]) &&\n row[table.handleKey] === hashed &&\n row[table.userHandle] === ceremony.context.userHandle &&\n mapping.read.subjectIds.equals(table.decodeSubjectId(row), subject.nativeId)\n );\n if (!create) return false;\n\n const absent = yield* owner.read(\n table.table,\n equal(table.table, { [table.handleKey]: hashed }),\n {\n limit: 1,\n },\n );\n\n if (absent.rows.length !== 0) return false;\n\n const inserted = yield* owner.insert(\n table.table,\n {\n ...mapping.write.handleOwnership.encodeInsert({\n subjectId: subject.nativeId,\n rpId: ceremony.profile.rpId,\n userHandle: ceremony.context.userHandle,\n marker: owner.marker,\n }),\n [table.handleKey]: hashed,\n [table.rpId]: ceremony.profile.rpId,\n [table.userHandle]: ceremony.context.userHandle,\n [table.subjectId]: subject.nativeId,\n [table.state]: mapping.write.handleOwnership.ownedState,\n [table.version]: owner.marker,\n [table.reservationId]: null,\n },\n { [table.handleKey]: hashed },\n );\n\n found.rows = inserted.rows;\n absent.rows = inserted.rows;\n\n return true;\n });\n\n const capCondition = (mapping: any, subject: WriteSubject, maximum: number, addition: number) => {\n const table = mapping.read.credential;\n\n return sql`(select count(*) from ${table.table} where ${both(equal(table.table, { [table.subjectId]: subject.nativeId }), table.activeCondition)}) + ${addition} <= ${maximum}`;\n };\n\n const issueEnrollment = Effect.fn(\"passkey.issueEnrollment\")(function* (\n mapping: any,\n input: Issue,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n const ceremony = input.ceremony;\n\n if (\n ceremony.context._tag !== \"Enrollment\" ||\n ceremony.purpose !== \"enrollment\" ||\n ceremony.moduleId !== mapping.moduleId\n )\n return { _tag: \"Rejected\" } as const;\n const current = yield* readModule(mapping);\n\n if (current === undefined || !compatiblePolicy(ceremony, input.policy, current))\n return { _tag: \"Rejected\" } as const;\n yield* lockAdmission(mapping);\n const subject = yield* currentSubject(mapping, ceremony.context.revision.subjectId);\n\n if (subject === undefined || !sameRevision(subject.revision, ceremony.context.revision))\n return { _tag: \"Rejected\" } as const;\n yield* readPolicyGuards(mapping);\n const policy = managementPolicy(mapping, subject);\n const maximum = Math.min(policy.maximumCredentials, input.management.maximumCredentials);\n const rows = yield* credentialRows(mapping, subject, ceremony.profile.rpId);\n const ids = rows.map((row) => row[mapping.read.credential.protocolCredentialId]);\n\n if (\n ids.length !== ceremony.allowedCredentials.length ||\n !ids.every((id) => ceremony.allowedCredentials.some((item) => item.id === id)) ||\n !(yield* owner.check(capCondition(mapping, subject, maximum, 1)))\n )\n return { _tag: \"Rejected\" } as const;\n if (\n !(yield* authorizeAction(\n mapping,\n subject,\n input.authorization,\n {\n action: \"enroll-begin\",\n commandId: ceremony.commandId,\n flowId: ceremony.flowId,\n bindingDigest: yield* enrollmentDigest(ceremony),\n revision: ceremony.context.revision,\n },\n {\n ...policy,\n maximumEvidenceAgeMillis: Math.min(\n policy.maximumEvidenceAgeMillis,\n input.management.maximumEvidenceAgeMillis,\n ),\n },\n ))\n )\n return { _tag: \"Rejected\" } as const;\n invariant(\n (yield* digest(Ceremony.fields.context, ceremony.context)) ===\n (yield* digest(Ceremony.fields.context, {\n ...ceremony.context,\n authorization: input.authorization,\n })),\n );\n const issued = yield* issueAssertion(mapping, ceremony, input.policy);\n\n if (issued._tag !== \"Issued\") return issued;\n invariant(yield* enrollmentHandle(mapping, subject, ceremony, true));\n owner.postconditions.push(capCondition(mapping, subject, maximum, 1));\n\n return issued;\n });\n\n const completeEnrollment = Effect.fn(\"passkey.completeEnrollment\")(function* (\n mapping: any,\n input: Complete,\n ) {\n const owner = yield* CurrentPasskeyTransaction;\n const ceremony = input.claim.ceremony;\n\n if (\n ceremony.context._tag !== \"Enrollment\" ||\n ceremony.purpose !== \"enrollment\" ||\n ceremony.moduleId !== mapping.moduleId\n )\n return { _tag: \"Rejected\" } as const;\n const current = yield* readModule(mapping);\n\n if (current === undefined) return { _tag: \"Rejected\" } as const;\n yield* lockAdmission(mapping);\n const subject = yield* currentSubject(mapping, ceremony.context.revision.subjectId);\n\n yield* readPolicyGuards(mapping);\n const read = yield* readFlow(mapping, ceremony.flowId);\n\n if (read === undefined || !exactClaim(read, input.claim)) return { _tag: \"Rejected\" } as const;\n\n const reject = Effect.gen(function* () {\n yield* terminalFlow(mapping, read, \"Rejected\");\n\n return { _tag: \"Rejected\" } as const;\n });\n\n if (\n subject === undefined ||\n !sameRevision(subject.revision, ceremony.context.revision) ||\n !compatiblePolicy(ceremony, read.policy, current) ||\n !validRegistration(ceremony, input.verified) ||\n !(yield* owner.check(liveCondition(mapping, ceremony, input.claim)))\n )\n return yield* reject;\n const policy = managementPolicy(mapping, subject);\n const maximum = Math.min(policy.maximumCredentials, input.management.maximumCredentials);\n\n if (\n !(yield* owner.check(capCondition(mapping, subject, maximum, 1))) ||\n !(yield* enrollmentHandle(mapping, subject, ceremony, false))\n )\n return yield* reject;\n if (\n !(yield* authorizeAction(\n mapping,\n subject,\n input.authorization,\n {\n action: \"enroll-complete\",\n commandId: ceremony.commandId,\n flowId: ceremony.flowId,\n bindingDigest: yield* digest(Ceremony, ceremony),\n revision: ceremony.context.revision,\n },\n {\n ...policy,\n maximumEvidenceAgeMillis: Math.min(\n policy.maximumEvidenceAgeMillis,\n input.management.maximumEvidenceAgeMillis,\n ),\n },\n ceremony.context.authorization.requirement,\n ))\n )\n return yield* reject;\n const tuple = mapping.read.credentialOwnership;\n // Credential ownership is RP-global, including retained registration custody.\n const key = yield* credentialKeyFor(ceremony.profile.rpId, input.verified.protocolCredentialId);\n\n if (\n (yield* owner.read(tuple.table, equal(tuple.table, { [tuple.credentialKey]: key }), {\n limit: 1,\n observe: false,\n })).rows.length !== 0\n )\n return yield* reject;\n yield* readCharges(mapping, ceremony, read.policy, subject.subjectId);\n yield* guardChargeSet(mapping, ceremony, subject.subjectId);\n\n const safe = yield* insertCredential(\n mapping,\n subject,\n ceremony,\n input.verified,\n yield* owner.now(mapping.clock),\n );\n\n yield* terminalFlow(mapping, read, \"Verified\");\n owner.postconditions.push(\n liveCondition(mapping, ceremony, input.claim),\n capCondition(mapping, subject, maximum, 0),\n );\n\n return { _tag: \"Enrolled\", credential: safe } as const;\n });\n\n return { enrollmentHandle, issueEnrollment, completeEnrollment };\n};\n"],"mappings":";;;;AAsBA,MAAa,+BACX,YACA,WAIA,aAIA,MASA,OAIA,YAWA,iBACG;CACH,MAAM,EAAE,QAAQ;CAChB,MAAM,EAAE,eAAe,aAAa,mBAAmB;CACvD,MAAM,EAAE,YAAY,qBAAqB;CAEzC,MAAM,EAAE,kBAAkB,YAAY,gBAAgB,eAAe,UAAU,iBAC7E;CAEF,MAAM,EAAE,OAAO,WAAW,cAAc,eAAe,qBAAqB;CAC5E,MAAM,YAA+C,MAAM;CAE3D,MAAM,EACJ,iBACA,gBACA,gBACA,kBACA,QACA,kBACA,kBACA,sBACE;CAEJ,MAAM,EAAE,SAAS;CAEjB,MAAM,mBAAmB,OAAO,GAAG,0BAA0B,CAAC,CAAC,WAC7D,SACA,SACA,UACA,QACA;EACA,MAAM,QAAQ,OAAO;EAErB,UAAU,SAAS,QAAQ,SAAS,YAAY;EAChD,MAAM,QAAQ,QAAQ,KAAK;EAE3B,MAAM,QAAQ,MAAM,MAAM,OAAO;IAC9B,MAAM,OAAO,SAAS,QAAQ;IAC9B,MAAM,YAAY,QAAQ;EAC7B,CAAC;EAED,MAAM,QAAQ,OAAO,MAAM,KAAK,MAAM,OAAO,OAAO,EAAE,OAAO,EAAE,CAAC;EAChE,MAAM,MAAM,MAAM,KAAK;EACvB,MAAM,SAAS,OAAO,UAAU,SAAS,QAAQ,MAAM,SAAS,QAAQ,UAAU;EAElF,IAAI,QAAQ,KAAA,GACV,OACE,MAAM,aAAa,IAAI,MAAM,MAAM,KACnC,IAAI,MAAM,eAAe,UACzB,IAAI,MAAM,gBAAgB,SAAS,QAAQ,cAC3C,QAAQ,KAAK,WAAW,OAAO,MAAM,gBAAgB,GAAG,GAAG,QAAQ,QAAQ;EAE/E,IAAI,CAAC,QAAQ,OAAO;EAEpB,MAAM,SAAS,OAAO,MAAM,KAC1B,MAAM,OACN,MAAM,MAAM,OAAO,GAAG,MAAM,YAAY,OAAO,CAAC,GAChD,EACE,OAAO,EACT,CACF;EAEA,IAAI,OAAO,KAAK,WAAW,GAAG,OAAO;EAErC,MAAM,WAAW,OAAO,MAAM,OAC5B,MAAM,OACN;GACE,GAAG,QAAQ,MAAM,gBAAgB,aAAa;IAC5C,WAAW,QAAQ;IACnB,MAAM,SAAS,QAAQ;IACvB,YAAY,SAAS,QAAQ;IAC7B,QAAQ,MAAM;GAChB,CAAC;IACA,MAAM,YAAY;IAClB,MAAM,OAAO,SAAS,QAAQ;IAC9B,MAAM,aAAa,SAAS,QAAQ;IACpC,MAAM,YAAY,QAAQ;IAC1B,MAAM,QAAQ,QAAQ,MAAM,gBAAgB;IAC5C,MAAM,UAAU,MAAM;IACtB,MAAM,gBAAgB;EACzB,GACA,GAAG,MAAM,YAAY,OAAO,CAC9B;EAEA,MAAM,OAAO,SAAS;EACtB,OAAO,OAAO,SAAS;EAEvB,OAAO;CACT,CAAC;CAED,MAAM,gBAAgB,SAAc,SAAuB,SAAiB,aAAqB;EAC/F,MAAM,QAAQ,QAAQ,KAAK;EAE3B,OAAO,GAAG,yBAAyB,MAAM,MAAM,SAAS,KAAK,MAAM,MAAM,OAAO,GAAG,MAAM,YAAY,QAAQ,SAAS,CAAC,GAAG,MAAM,eAAe,EAAE,MAAM,SAAS,MAAM;CACxK;CA8KA,OAAO;EAAE;EAAkB,iBA5KH,OAAO,GAAG,yBAAyB,CAAC,CAAC,WAC3D,SACA,OACA;GACA,MAAM,QAAQ,OAAO;GACrB,MAAM,WAAW,MAAM;GAEvB,IACE,SAAS,QAAQ,SAAS,gBAC1B,SAAS,YAAY,gBACrB,SAAS,aAAa,QAAQ,UAE9B,OAAO,EAAE,MAAM,WAAW;GAC5B,MAAM,UAAU,OAAO,WAAW,OAAO;GAEzC,IAAI,YAAY,KAAA,KAAa,CAAC,iBAAiB,UAAU,MAAM,QAAQ,OAAO,GAC5E,OAAO,EAAE,MAAM,WAAW;GAC5B,OAAO,cAAc,OAAO;GAC5B,MAAM,UAAU,OAAO,eAAe,SAAS,SAAS,QAAQ,SAAS,SAAS;GAElF,IAAI,YAAY,KAAA,KAAa,CAAC,aAAa,QAAQ,UAAU,SAAS,QAAQ,QAAQ,GACpF,OAAO,EAAE,MAAM,WAAW;GAC5B,OAAO,iBAAiB,OAAO;GAC/B,MAAM,SAAS,iBAAiB,SAAS,OAAO;GAChD,MAAM,UAAU,KAAK,IAAI,OAAO,oBAAoB,MAAM,WAAW,kBAAkB;GAEvF,MAAM,OAAM,OADQ,eAAe,SAAS,SAAS,SAAS,QAAQ,IAAI,EAAA,CACzD,KAAK,QAAQ,IAAI,QAAQ,KAAK,WAAW,qBAAqB;GAE/E,IACE,IAAI,WAAW,SAAS,mBAAmB,UAC3C,CAAC,IAAI,OAAO,OAAO,SAAS,mBAAmB,MAAM,SAAS,KAAK,OAAO,EAAE,CAAC,KAC7E,EAAE,OAAO,MAAM,MAAM,aAAa,SAAS,SAAS,SAAS,CAAC,CAAC,IAE/D,OAAO,EAAE,MAAM,WAAW;GAC5B,IACE,EAAE,OAAO,gBACP,SACA,SACA,MAAM,eACN;IACE,QAAQ;IACR,WAAW,SAAS;IACpB,QAAQ,SAAS;IACjB,eAAe,OAAO,iBAAiB,QAAQ;IAC/C,UAAU,SAAS,QAAQ;GAC7B,GACA;IACE,GAAG;IACH,0BAA0B,KAAK,IAC7B,OAAO,0BACP,MAAM,WAAW,wBACnB;GACF,CACF,IAEA,OAAO,EAAE,MAAM,WAAW;GAC5B,WACG,OAAO,OAAOA,gBAAS,OAAO,SAAS,SAAS,OAAO,QACrD,OAAO,OAAOA,gBAAS,OAAO,SAAS;IACtC,GAAG,SAAS;IACZ,eAAe,MAAM;GACvB,CAAC,EACL;GACA,MAAM,SAAS,OAAO,eAAe,SAAS,UAAU,MAAM,MAAM;GAEpE,IAAI,OAAO,SAAS,UAAU,OAAO;GACrC,UAAU,OAAO,iBAAiB,SAAS,SAAS,UAAU,IAAI,CAAC;GACnE,MAAM,eAAe,KAAK,aAAa,SAAS,SAAS,SAAS,CAAC,CAAC;GAEpE,OAAO;EACT,CAsGyC;EAAG,oBApGjB,OAAO,GAAG,4BAA4B,CAAC,CAAC,WACjE,SACA,OACA;GACA,MAAM,QAAQ,OAAO;GACrB,MAAM,WAAW,MAAM,MAAM;GAE7B,IACE,SAAS,QAAQ,SAAS,gBAC1B,SAAS,YAAY,gBACrB,SAAS,aAAa,QAAQ,UAE9B,OAAO,EAAE,MAAM,WAAW;GAC5B,MAAM,UAAU,OAAO,WAAW,OAAO;GAEzC,IAAI,YAAY,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;GACrD,OAAO,cAAc,OAAO;GAC5B,MAAM,UAAU,OAAO,eAAe,SAAS,SAAS,QAAQ,SAAS,SAAS;GAElF,OAAO,iBAAiB,OAAO;GAC/B,MAAM,OAAO,OAAO,SAAS,SAAS,SAAS,MAAM;GAErD,IAAI,SAAS,KAAA,KAAa,CAAC,WAAW,MAAM,MAAM,KAAK,GAAG,OAAO,EAAE,MAAM,WAAW;GAEpF,MAAM,SAAS,OAAO,IAAI,aAAa;IACrC,OAAO,aAAa,SAAS,MAAM,UAAU;IAE7C,OAAO,EAAE,MAAM,WAAW;GAC5B,CAAC;GAED,IACE,YAAY,KAAA,KACZ,CAAC,aAAa,QAAQ,UAAU,SAAS,QAAQ,QAAQ,KACzD,CAAC,iBAAiB,UAAU,KAAK,QAAQ,OAAO,KAChD,CAAC,kBAAkB,UAAU,MAAM,QAAQ,KAC3C,EAAE,OAAO,MAAM,MAAM,cAAc,SAAS,UAAU,MAAM,KAAK,CAAC,IAElE,OAAO,OAAO;GAChB,MAAM,SAAS,iBAAiB,SAAS,OAAO;GAChD,MAAM,UAAU,KAAK,IAAI,OAAO,oBAAoB,MAAM,WAAW,kBAAkB;GAEvF,IACE,EAAE,OAAO,MAAM,MAAM,aAAa,SAAS,SAAS,SAAS,CAAC,CAAC,MAC/D,EAAE,OAAO,iBAAiB,SAAS,SAAS,UAAU,KAAK,IAE3D,OAAO,OAAO;GAChB,IACE,EAAE,OAAO,gBACP,SACA,SACA,MAAM,eACN;IACE,QAAQ;IACR,WAAW,SAAS;IACpB,QAAQ,SAAS;IACjB,eAAe,OAAO,OAAOA,iBAAU,QAAQ;IAC/C,UAAU,SAAS,QAAQ;GAC7B,GACA;IACE,GAAG;IACH,0BAA0B,KAAK,IAC7B,OAAO,0BACP,MAAM,WAAW,wBACnB;GACF,GACA,SAAS,QAAQ,cAAc,WACjC,IAEA,OAAO,OAAO;GAChB,MAAM,QAAQ,QAAQ,KAAK;GAE3B,MAAM,MAAM,OAAO,iBAAiB,SAAS,QAAQ,MAAM,MAAM,SAAS,oBAAoB;GAE9F,KACG,OAAO,MAAM,KAAK,MAAM,OAAO,MAAM,MAAM,OAAO,GAAG,MAAM,gBAAgB,IAAI,CAAC,GAAG;IAClF,OAAO;IACP,SAAS;GACX,CAAC,EAAA,CAAG,KAAK,WAAW,GAEpB,OAAO,OAAO;GAChB,OAAO,YAAY,SAAS,UAAU,KAAK,QAAQ,QAAQ,SAAS;GACpE,OAAO,eAAe,SAAS,UAAU,QAAQ,SAAS;GAE1D,MAAM,OAAO,OAAO,iBAClB,SACA,SACA,UACA,MAAM,UACN,OAAO,MAAM,IAAI,QAAQ,KAAK,CAChC;GAEA,OAAO,aAAa,SAAS,MAAM,UAAU;GAC7C,MAAM,eAAe,KACnB,cAAc,SAAS,UAAU,MAAM,KAAK,GAC5C,aAAa,SAAS,SAAS,SAAS,CAAC,CAC3C;GAEA,OAAO;IAAE,MAAM;IAAY,YAAY;GAAK;EAC9C,CAE6D;CAAE;AACjE"}
@@ -1,21 +0,0 @@
1
- import "../transaction-kernel.mjs";
2
- import "../query-operations.mjs";
3
- import { PasskeyFlowState } from "../models/passkey-model.mjs";
4
- import "./state.mjs";
5
- import "./credentials.mjs";
6
- import "./admission.mjs";
7
- import "./registration-custody.mjs";
8
- import { DateTime, Effect } from "effect";
9
- import { PasskeyAccess, PasskeyAssertionVerified, PasskeyCeremony, PasskeyClaim, PasskeyCredential, PasskeyEvidence, PasskeyMethodPolicy } from "@yielded/auth/Passkey";
10
- import { SubjectId } from "@yielded/auth/Schema";
11
- //#region src/internal/passkey/flow.d.ts
12
- export interface FlowRead {
13
- readonly row: Record<string, any>;
14
- readonly ceremony: PasskeyCeremony;
15
- readonly policy: PasskeyMethodPolicy;
16
- readonly state: PasskeyFlowState;
17
- readonly claim?: PasskeyClaim;
18
- readonly credential?: PasskeyCredential;
19
- }
20
- //#endregion
21
- //# sourceMappingURL=flow.d.mts.map