@yielded/auth-persistence 0.1.0-beta.7

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 (526) hide show
  1. package/README.md +21 -0
  2. package/dist/Drizzle.d.mts +28 -0
  3. package/dist/Drizzle.mjs +28 -0
  4. package/dist/DrizzleD1.d.mts +963 -0
  5. package/dist/DrizzleD1.mjs +29 -0
  6. package/dist/DrizzleD1.mjs.map +1 -0
  7. package/dist/DrizzleLibsql.d.mts +2284 -0
  8. package/dist/DrizzleLibsql.mjs +92 -0
  9. package/dist/DrizzleLibsql.mjs.map +1 -0
  10. package/dist/DrizzleMysql2.d.mts +1820 -0
  11. package/dist/DrizzleMysql2.mjs +55 -0
  12. package/dist/DrizzleMysql2.mjs.map +1 -0
  13. package/dist/DrizzlePglite.d.mts +1826 -0
  14. package/dist/DrizzlePglite.mjs +53 -0
  15. package/dist/DrizzlePglite.mjs.map +1 -0
  16. package/dist/DrizzlePostgres.d.mts +1826 -0
  17. package/dist/DrizzlePostgres.mjs +53 -0
  18. package/dist/DrizzlePostgres.mjs.map +1 -0
  19. package/dist/DrizzleSqliteBun.d.mts +2279 -0
  20. package/dist/DrizzleSqliteBun.mjs +70 -0
  21. package/dist/DrizzleSqliteBun.mjs.map +1 -0
  22. package/dist/DrizzleSqliteDo.d.mts +2329 -0
  23. package/dist/DrizzleSqliteDo.mjs +105 -0
  24. package/dist/DrizzleSqliteDo.mjs.map +1 -0
  25. package/dist/DrizzleSqliteNode.d.mts +2279 -0
  26. package/dist/DrizzleSqliteNode.mjs +70 -0
  27. package/dist/DrizzleSqliteNode.mjs.map +1 -0
  28. package/dist/DrizzleSqliteWasm.d.mts +2282 -0
  29. package/dist/DrizzleSqliteWasm.mjs +70 -0
  30. package/dist/DrizzleSqliteWasm.mjs.map +1 -0
  31. package/dist/drizzle/D1BatchStatements.d.mts +11 -0
  32. package/dist/drizzle/D1BatchStatements.mjs +8 -0
  33. package/dist/drizzle/D1BatchStatements.mjs.map +1 -0
  34. package/dist/drizzle/PasswordPreparedPostconditions.mjs +12 -0
  35. package/dist/drizzle/PasswordPreparedPostconditions.mjs.map +1 -0
  36. package/dist/drizzle/SuppliedService.d.mts +10 -0
  37. package/dist/drizzle/d1-emails.d.mts +62 -0
  38. package/dist/drizzle/d1-emails.mjs +580 -0
  39. package/dist/drizzle/d1-emails.mjs.map +1 -0
  40. package/dist/drizzle/d1-generated-statement.d.mts +2 -0
  41. package/dist/drizzle/d1-generated-statement.mjs +79 -0
  42. package/dist/drizzle/d1-generated-statement.mjs.map +1 -0
  43. package/dist/drizzle/d1-identity.d.mts +31 -0
  44. package/dist/drizzle/d1-identity.mjs +119 -0
  45. package/dist/drizzle/d1-identity.mjs.map +1 -0
  46. package/dist/drizzle/d1-oauth.d.mts +301 -0
  47. package/dist/drizzle/d1-oauth.mjs +76 -0
  48. package/dist/drizzle/d1-oauth.mjs.map +1 -0
  49. package/dist/drizzle/d1-passkey.d.mts +51 -0
  50. package/dist/drizzle/d1-passkey.mjs +95 -0
  51. package/dist/drizzle/d1-passkey.mjs.map +1 -0
  52. package/dist/drizzle/d1-password-prepared.d.mts +25 -0
  53. package/dist/drizzle/d1-password-prepared.mjs +461 -0
  54. package/dist/drizzle/d1-password-prepared.mjs.map +1 -0
  55. package/dist/drizzle/d1-passwords.d.mts +87 -0
  56. package/dist/drizzle/d1-passwords.mjs +1004 -0
  57. package/dist/drizzle/d1-passwords.mjs.map +1 -0
  58. package/dist/drizzle/d1-phone.d.mts +26 -0
  59. package/dist/drizzle/d1-phone.mjs +30 -0
  60. package/dist/drizzle/d1-phone.mjs.map +1 -0
  61. package/dist/drizzle/d1-planning.d.mts +12 -0
  62. package/dist/drizzle/d1-planning.mjs +43 -0
  63. package/dist/drizzle/d1-planning.mjs.map +1 -0
  64. package/dist/drizzle/d1-proofs.d.mts +80 -0
  65. package/dist/drizzle/d1-proofs.mjs +830 -0
  66. package/dist/drizzle/d1-proofs.mjs.map +1 -0
  67. package/dist/drizzle/d1-sessions.d.mts +67 -0
  68. package/dist/drizzle/d1-sessions.mjs +966 -0
  69. package/dist/drizzle/d1-sessions.mjs.map +1 -0
  70. package/dist/drizzle/d1-totp.d.mts +26 -0
  71. package/dist/drizzle/d1-totp.mjs +27 -0
  72. package/dist/drizzle/d1-totp.mjs.map +1 -0
  73. package/dist/drizzle/email-model.d.mts +354 -0
  74. package/dist/drizzle/email-model.mjs +21 -0
  75. package/dist/drizzle/email-model.mjs.map +1 -0
  76. package/dist/drizzle/email-registration.d.mts +30 -0
  77. package/dist/drizzle/email-registration.mjs +238 -0
  78. package/dist/drizzle/email-registration.mjs.map +1 -0
  79. package/dist/drizzle/email-sql.d.mts +4 -0
  80. package/dist/drizzle/email-sql.mjs +9 -0
  81. package/dist/drizzle/email-sql.mjs.map +1 -0
  82. package/dist/drizzle/email-target.d.mts +20 -0
  83. package/dist/drizzle/email-target.mjs +72 -0
  84. package/dist/drizzle/email-target.mjs.map +1 -0
  85. package/dist/drizzle/model.d.mts +250 -0
  86. package/dist/drizzle/model.mjs +58 -0
  87. package/dist/drizzle/model.mjs.map +1 -0
  88. package/dist/drizzle/mysql-emails.d.mts +71 -0
  89. package/dist/drizzle/mysql-emails.mjs +38 -0
  90. package/dist/drizzle/mysql-emails.mjs.map +1 -0
  91. package/dist/drizzle/mysql-identity.d.mts +22 -0
  92. package/dist/drizzle/mysql-identity.mjs +94 -0
  93. package/dist/drizzle/mysql-identity.mjs.map +1 -0
  94. package/dist/drizzle/mysql-password-prepared.d.mts +30 -0
  95. package/dist/drizzle/mysql-password-prepared.mjs +16 -0
  96. package/dist/drizzle/mysql-password-prepared.mjs.map +1 -0
  97. package/dist/drizzle/mysql-passwords.d.mts +86 -0
  98. package/dist/drizzle/mysql-passwords.mjs +38 -0
  99. package/dist/drizzle/mysql-passwords.mjs.map +1 -0
  100. package/dist/drizzle/mysql-proofs.d.mts +75 -0
  101. package/dist/drizzle/mysql-proofs.mjs +23 -0
  102. package/dist/drizzle/mysql-proofs.mjs.map +1 -0
  103. package/dist/drizzle/mysql-sessions.d.mts +237 -0
  104. package/dist/drizzle/mysql-sessions.mjs +53 -0
  105. package/dist/drizzle/mysql-sessions.mjs.map +1 -0
  106. package/dist/drizzle/mysql.d.mts +70 -0
  107. package/dist/drizzle/mysql.mjs +218 -0
  108. package/dist/drizzle/mysql.mjs.map +1 -0
  109. package/dist/drizzle/oauth-accounts.mjs +358 -0
  110. package/dist/drizzle/oauth-accounts.mjs.map +1 -0
  111. package/dist/drizzle/oauth-connected-access.mjs +210 -0
  112. package/dist/drizzle/oauth-connected-access.mjs.map +1 -0
  113. package/dist/drizzle/oauth-connected-collection.mjs +202 -0
  114. package/dist/drizzle/oauth-connected-collection.mjs.map +1 -0
  115. package/dist/drizzle/oauth-connected-custody.mjs +146 -0
  116. package/dist/drizzle/oauth-connected-custody.mjs.map +1 -0
  117. package/dist/drizzle/oauth-connected-drivers.mjs +76 -0
  118. package/dist/drizzle/oauth-connected-drivers.mjs.map +1 -0
  119. package/dist/drizzle/oauth-connected-flow.mjs +247 -0
  120. package/dist/drizzle/oauth-connected-flow.mjs.map +1 -0
  121. package/dist/drizzle/oauth-connected-input.mjs +103 -0
  122. package/dist/drizzle/oauth-connected-input.mjs.map +1 -0
  123. package/dist/drizzle/oauth-connected-maintenance.mjs +214 -0
  124. package/dist/drizzle/oauth-connected-maintenance.mjs.map +1 -0
  125. package/dist/drizzle/oauth-connected-management.mjs +228 -0
  126. package/dist/drizzle/oauth-connected-management.mjs.map +1 -0
  127. package/dist/drizzle/oauth-connected-model.d.mts +278 -0
  128. package/dist/drizzle/oauth-connected-model.mjs +22 -0
  129. package/dist/drizzle/oauth-connected-model.mjs.map +1 -0
  130. package/dist/drizzle/oauth-connected-reference.d.mts +17 -0
  131. package/dist/drizzle/oauth-connected-reference.mjs +53 -0
  132. package/dist/drizzle/oauth-connected-reference.mjs.map +1 -0
  133. package/dist/drizzle/oauth-connected-settlement.mjs +117 -0
  134. package/dist/drizzle/oauth-connected-settlement.mjs.map +1 -0
  135. package/dist/drizzle/oauth-connected-state.d.mts +14 -0
  136. package/dist/drizzle/oauth-connected-state.mjs +422 -0
  137. package/dist/drizzle/oauth-connected-state.mjs.map +1 -0
  138. package/dist/drizzle/oauth-connected-target.d.mts +753 -0
  139. package/dist/drizzle/oauth-connected-target.mjs +91 -0
  140. package/dist/drizzle/oauth-connected-target.mjs.map +1 -0
  141. package/dist/drizzle/oauth-drivers.mjs +51 -0
  142. package/dist/drizzle/oauth-drivers.mjs.map +1 -0
  143. package/dist/drizzle/oauth-flow.d.mts +5 -0
  144. package/dist/drizzle/oauth-flow.mjs +253 -0
  145. package/dist/drizzle/oauth-flow.mjs.map +1 -0
  146. package/dist/drizzle/oauth-input.mjs +127 -0
  147. package/dist/drizzle/oauth-input.mjs.map +1 -0
  148. package/dist/drizzle/oauth-model.d.mts +463 -0
  149. package/dist/drizzle/oauth-model.mjs +49 -0
  150. package/dist/drizzle/oauth-model.mjs.map +1 -0
  151. package/dist/drizzle/oauth-mysql.mjs +8 -0
  152. package/dist/drizzle/oauth-mysql.mjs.map +1 -0
  153. package/dist/drizzle/oauth-owner.d.mts +4 -0
  154. package/dist/drizzle/oauth-owner.mjs +10 -0
  155. package/dist/drizzle/oauth-owner.mjs.map +1 -0
  156. package/dist/drizzle/oauth-registration.d.mts +6 -0
  157. package/dist/drizzle/oauth-registration.mjs +374 -0
  158. package/dist/drizzle/oauth-registration.mjs.map +1 -0
  159. package/dist/drizzle/oauth-state.mjs +107 -0
  160. package/dist/drizzle/oauth-state.mjs.map +1 -0
  161. package/dist/drizzle/oauth-target.d.mts +111 -0
  162. package/dist/drizzle/oauth-target.mjs +246 -0
  163. package/dist/drizzle/oauth-target.mjs.map +1 -0
  164. package/dist/drizzle/passkey-drivers.mjs +34 -0
  165. package/dist/drizzle/passkey-drivers.mjs.map +1 -0
  166. package/dist/drizzle/passkey-kernel.mjs +8 -0
  167. package/dist/drizzle/passkey-kernel.mjs.map +1 -0
  168. package/dist/drizzle/passkey-model.d.mts +272 -0
  169. package/dist/drizzle/passkey-model.mjs +34 -0
  170. package/dist/drizzle/passkey-model.mjs.map +1 -0
  171. package/dist/drizzle/passkey-registration-ceremony-model.d.mts +50 -0
  172. package/dist/drizzle/passkey-registration-ceremony-model.mjs +18 -0
  173. package/dist/drizzle/passkey-registration-ceremony-model.mjs.map +1 -0
  174. package/dist/drizzle/passkey-state.mjs +7 -0
  175. package/dist/drizzle/passkey-state.mjs.map +1 -0
  176. package/dist/drizzle/passkey-target.d.mts +9 -0
  177. package/dist/drizzle/passkey-target.mjs +7 -0
  178. package/dist/drizzle/passkey-target.mjs.map +1 -0
  179. package/dist/drizzle/passkey-write-drivers.mjs +32 -0
  180. package/dist/drizzle/passkey-write-drivers.mjs.map +1 -0
  181. package/dist/drizzle/passkey-write-model.d.mts +190 -0
  182. package/dist/drizzle/passkey-write-model.mjs +13 -0
  183. package/dist/drizzle/passkey-write-model.mjs.map +1 -0
  184. package/dist/drizzle/passkey-write-target.d.mts +11 -0
  185. package/dist/drizzle/passkey-write-target.mjs +7 -0
  186. package/dist/drizzle/passkey-write-target.mjs.map +1 -0
  187. package/dist/drizzle/password-model.d.mts +329 -0
  188. package/dist/drizzle/password-model.mjs +23 -0
  189. package/dist/drizzle/password-model.mjs.map +1 -0
  190. package/dist/drizzle/password-prepared-model.d.mts +94 -0
  191. package/dist/drizzle/password-prepared-model.mjs +11 -0
  192. package/dist/drizzle/password-prepared-model.mjs.map +1 -0
  193. package/dist/drizzle/password-prepared-sql.mjs +390 -0
  194. package/dist/drizzle/password-prepared-sql.mjs.map +1 -0
  195. package/dist/drizzle/password-prepared-state.mjs +104 -0
  196. package/dist/drizzle/password-prepared-state.mjs.map +1 -0
  197. package/dist/drizzle/password-prepared-target.d.mts +12 -0
  198. package/dist/drizzle/password-prepared-target.mjs +56 -0
  199. package/dist/drizzle/password-prepared-target.mjs.map +1 -0
  200. package/dist/drizzle/password-registration.d.mts +19 -0
  201. package/dist/drizzle/password-registration.mjs +135 -0
  202. package/dist/drizzle/password-registration.mjs.map +1 -0
  203. package/dist/drizzle/password-sql.d.mts +5 -0
  204. package/dist/drizzle/password-sql.mjs +9 -0
  205. package/dist/drizzle/password-sql.mjs.map +1 -0
  206. package/dist/drizzle/password-target.d.mts +17 -0
  207. package/dist/drizzle/password-target.mjs +61 -0
  208. package/dist/drizzle/password-target.mjs.map +1 -0
  209. package/dist/drizzle/pg-emails.d.mts +72 -0
  210. package/dist/drizzle/pg-emails.mjs +38 -0
  211. package/dist/drizzle/pg-emails.mjs.map +1 -0
  212. package/dist/drizzle/pg-password-prepared.d.mts +31 -0
  213. package/dist/drizzle/pg-password-prepared.mjs +16 -0
  214. package/dist/drizzle/pg-password-prepared.mjs.map +1 -0
  215. package/dist/drizzle/pg-passwords.d.mts +87 -0
  216. package/dist/drizzle/pg-passwords.mjs +38 -0
  217. package/dist/drizzle/pg-passwords.mjs.map +1 -0
  218. package/dist/drizzle/pg-proofs.d.mts +76 -0
  219. package/dist/drizzle/pg-proofs.mjs +22 -0
  220. package/dist/drizzle/pg-proofs.mjs.map +1 -0
  221. package/dist/drizzle/pg-sessions.d.mts +238 -0
  222. package/dist/drizzle/pg-sessions.mjs +53 -0
  223. package/dist/drizzle/pg-sessions.mjs.map +1 -0
  224. package/dist/drizzle/pg.d.mts +81 -0
  225. package/dist/drizzle/pg.mjs +290 -0
  226. package/dist/drizzle/pg.mjs.map +1 -0
  227. package/dist/drizzle/phone-model.d.mts +115 -0
  228. package/dist/drizzle/phone-model.mjs +39 -0
  229. package/dist/drizzle/phone-model.mjs.map +1 -0
  230. package/dist/drizzle/phone-state.mjs +16 -0
  231. package/dist/drizzle/phone-state.mjs.map +1 -0
  232. package/dist/drizzle/phone-target.d.mts +17 -0
  233. package/dist/drizzle/phone-target.mjs +170 -0
  234. package/dist/drizzle/phone-target.mjs.map +1 -0
  235. package/dist/drizzle/proof-model.d.mts +286 -0
  236. package/dist/drizzle/proof-model.mjs +17 -0
  237. package/dist/drizzle/proof-model.mjs.map +1 -0
  238. package/dist/drizzle/proof-sql.d.mts +4 -0
  239. package/dist/drizzle/proof-sql.mjs +8 -0
  240. package/dist/drizzle/proof-sql.mjs.map +1 -0
  241. package/dist/drizzle/proof-target.d.mts +12 -0
  242. package/dist/drizzle/proof-target.mjs +36 -0
  243. package/dist/drizzle/proof-target.mjs.map +1 -0
  244. package/dist/drizzle/query-operations.mjs +26 -0
  245. package/dist/drizzle/query-operations.mjs.map +1 -0
  246. package/dist/drizzle/session-model.d.mts +200 -0
  247. package/dist/drizzle/session-model.mjs +20 -0
  248. package/dist/drizzle/session-model.mjs.map +1 -0
  249. package/dist/drizzle/session-sql.mjs +8 -0
  250. package/dist/drizzle/session-sql.mjs.map +1 -0
  251. package/dist/drizzle/session-target.d.mts +28 -0
  252. package/dist/drizzle/session-target.mjs +47 -0
  253. package/dist/drizzle/session-target.mjs.map +1 -0
  254. package/dist/drizzle/sqlite-emails.mjs +45 -0
  255. package/dist/drizzle/sqlite-emails.mjs.map +1 -0
  256. package/dist/drizzle/sqlite-identity.mjs +91 -0
  257. package/dist/drizzle/sqlite-identity.mjs.map +1 -0
  258. package/dist/drizzle/sqlite-password-prepared.mjs +21 -0
  259. package/dist/drizzle/sqlite-password-prepared.mjs.map +1 -0
  260. package/dist/drizzle/sqlite-passwords.mjs +49 -0
  261. package/dist/drizzle/sqlite-passwords.mjs.map +1 -0
  262. package/dist/drizzle/sqlite-proofs.mjs +29 -0
  263. package/dist/drizzle/sqlite-proofs.mjs.map +1 -0
  264. package/dist/drizzle/sqlite-sessions.mjs +74 -0
  265. package/dist/drizzle/sqlite-sessions.mjs.map +1 -0
  266. package/dist/drizzle/sqlite.d.mts +78 -0
  267. package/dist/drizzle/sqlite.mjs +217 -0
  268. package/dist/drizzle/sqlite.mjs.map +1 -0
  269. package/dist/drizzle/standalone-guard.mjs +19 -0
  270. package/dist/drizzle/standalone-guard.mjs.map +1 -0
  271. package/dist/drizzle/step-up-model.d.mts +65 -0
  272. package/dist/drizzle/step-up-model.mjs +9 -0
  273. package/dist/drizzle/step-up-model.mjs.map +1 -0
  274. package/dist/drizzle/step-up-state.mjs +32 -0
  275. package/dist/drizzle/step-up-state.mjs.map +1 -0
  276. package/dist/drizzle/totp-model.d.mts +84 -0
  277. package/dist/drizzle/totp-model.mjs +13 -0
  278. package/dist/drizzle/totp-model.mjs.map +1 -0
  279. package/dist/drizzle/totp-state.d.mts +38 -0
  280. package/dist/drizzle/totp-state.mjs +287 -0
  281. package/dist/drizzle/totp-state.mjs.map +1 -0
  282. package/dist/drizzle/totp-target.d.mts +17 -0
  283. package/dist/drizzle/totp-target.mjs +81 -0
  284. package/dist/drizzle/totp-target.mjs.map +1 -0
  285. package/dist/drizzle/transaction-execution.d.mts +4 -0
  286. package/dist/drizzle/transaction-execution.mjs +11 -0
  287. package/dist/drizzle/transaction-execution.mjs.map +1 -0
  288. package/dist/drizzle/transaction-mysql.mjs +46 -0
  289. package/dist/drizzle/transaction-mysql.mjs.map +1 -0
  290. package/dist/drizzle/transaction-owner.d.mts +2 -0
  291. package/dist/drizzle/transaction-owner.mjs +8 -0
  292. package/dist/drizzle/transaction-owner.mjs.map +1 -0
  293. package/dist/index.d.mts +5 -0
  294. package/dist/index.mjs +5 -0
  295. package/dist/internal/configuration.d.mts +174 -0
  296. package/dist/internal/configuration.mjs +7 -0
  297. package/dist/internal/configuration.mjs.map +1 -0
  298. package/dist/internal/drizzle-migrations.mjs +19 -0
  299. package/dist/internal/drizzle-migrations.mjs.map +1 -0
  300. package/dist/internal/drizzle-postgres.mjs +39 -0
  301. package/dist/internal/drizzle-postgres.mjs.map +1 -0
  302. package/dist/internal/drizzle-sqlite.mjs +37 -0
  303. package/dist/internal/drizzle-sqlite.mjs.map +1 -0
  304. package/dist/internal/email-kernel.d.mts +13 -0
  305. package/dist/internal/email-kernel.mjs +487 -0
  306. package/dist/internal/email-kernel.mjs.map +1 -0
  307. package/dist/internal/mapping-error.d.mts +11 -0
  308. package/dist/internal/mapping-error.mjs +30 -0
  309. package/dist/internal/mapping-error.mjs.map +1 -0
  310. package/dist/internal/passkey/admission.d.mts +7 -0
  311. package/dist/internal/passkey/admission.mjs +216 -0
  312. package/dist/internal/passkey/admission.mjs.map +1 -0
  313. package/dist/internal/passkey/credentials.d.mts +6 -0
  314. package/dist/internal/passkey/credentials.mjs +249 -0
  315. package/dist/internal/passkey/credentials.mjs.map +1 -0
  316. package/dist/internal/passkey/enrollment.mjs +138 -0
  317. package/dist/internal/passkey/enrollment.mjs.map +1 -0
  318. package/dist/internal/passkey/flow.d.mts +10 -0
  319. package/dist/internal/passkey/flow.mjs +452 -0
  320. package/dist/internal/passkey/flow.mjs.map +1 -0
  321. package/dist/internal/passkey/management.mjs +231 -0
  322. package/dist/internal/passkey/management.mjs.map +1 -0
  323. package/dist/internal/passkey/registration-ceremony.d.mts +9 -0
  324. package/dist/internal/passkey/registration-ceremony.mjs +129 -0
  325. package/dist/internal/passkey/registration-ceremony.mjs.map +1 -0
  326. package/dist/internal/passkey/registration-custody.d.mts +2 -0
  327. package/dist/internal/passkey/registration-custody.mjs +52 -0
  328. package/dist/internal/passkey/registration-custody.mjs.map +1 -0
  329. package/dist/internal/passkey/registration-write.mjs +211 -0
  330. package/dist/internal/passkey/registration-write.mjs.map +1 -0
  331. package/dist/internal/passkey/state.d.mts +5 -0
  332. package/dist/internal/passkey/state.mjs +234 -0
  333. package/dist/internal/passkey/state.mjs.map +1 -0
  334. package/dist/internal/passkey/target.d.mts +19 -0
  335. package/dist/internal/passkey/target.mjs +190 -0
  336. package/dist/internal/passkey/target.mjs.map +1 -0
  337. package/dist/internal/passkey/write-state.mjs +345 -0
  338. package/dist/internal/passkey/write-state.mjs.map +1 -0
  339. package/dist/internal/passkey/write-target.mjs +192 -0
  340. package/dist/internal/passkey/write-target.mjs.map +1 -0
  341. package/dist/internal/passkey-kernel.mjs +49 -0
  342. package/dist/internal/passkey-kernel.mjs.map +1 -0
  343. package/dist/internal/passkeys.mjs +367 -0
  344. package/dist/internal/passkeys.mjs.map +1 -0
  345. package/dist/internal/password-kernel.d.mts +13 -0
  346. package/dist/internal/password-kernel.mjs +704 -0
  347. package/dist/internal/password-kernel.mjs.map +1 -0
  348. package/dist/internal/persistence.mjs +289 -0
  349. package/dist/internal/persistence.mjs.map +1 -0
  350. package/dist/internal/phone-kernel.mjs +434 -0
  351. package/dist/internal/phone-kernel.mjs.map +1 -0
  352. package/dist/internal/proof-kernel.d.mts +9 -0
  353. package/dist/internal/proof-kernel.mjs +619 -0
  354. package/dist/internal/proof-kernel.mjs.map +1 -0
  355. package/dist/internal/query-operations.d.mts +3 -0
  356. package/dist/internal/registration.mjs +65 -0
  357. package/dist/internal/registration.mjs.map +1 -0
  358. package/dist/internal/session-kernel.mjs +737 -0
  359. package/dist/internal/session-kernel.mjs.map +1 -0
  360. package/dist/internal/sql-persistence.d.mts +11 -0
  361. package/dist/internal/sql-persistence.mjs +37 -0
  362. package/dist/internal/sql-persistence.mjs.map +1 -0
  363. package/dist/internal/sql-query.mjs +207 -0
  364. package/dist/internal/sql-query.mjs.map +1 -0
  365. package/dist/internal/sql-table.d.mts +37 -0
  366. package/dist/internal/sql-table.mjs +71 -0
  367. package/dist/internal/sql-table.mjs.map +1 -0
  368. package/dist/internal/storage-mapping.mjs +687 -0
  369. package/dist/internal/storage-mapping.mjs.map +1 -0
  370. package/dist/internal/storage-tables.d.mts +914 -0
  371. package/dist/internal/storage-tables.mjs +387 -0
  372. package/dist/internal/storage-tables.mjs.map +1 -0
  373. package/dist/internal/storage-validation.mjs +58 -0
  374. package/dist/internal/storage-validation.mjs.map +1 -0
  375. package/dist/internal/transaction-execution-kernel.d.mts +18 -0
  376. package/dist/internal/transaction-execution-kernel.mjs +118 -0
  377. package/dist/internal/transaction-execution-kernel.mjs.map +1 -0
  378. package/dist/internal/transaction-kernel.d.mts +7 -0
  379. package/dist/internal/transaction-kernel.mjs +260 -0
  380. package/dist/internal/transaction-kernel.mjs.map +1 -0
  381. package/package.json +1 -0
  382. package/src/Drizzle.ts +378 -0
  383. package/src/DrizzleD1.ts +136 -0
  384. package/src/DrizzleLibsql.ts +301 -0
  385. package/src/DrizzleMysql2.ts +184 -0
  386. package/src/DrizzlePglite.ts +174 -0
  387. package/src/DrizzlePostgres.ts +174 -0
  388. package/src/DrizzleSqliteBun.ts +258 -0
  389. package/src/DrizzleSqliteDo.ts +473 -0
  390. package/src/DrizzleSqliteNode.ts +259 -0
  391. package/src/DrizzleSqliteWasm.ts +263 -0
  392. package/src/drizzle/D1BatchStatements.ts +10 -0
  393. package/src/drizzle/PasswordPreparedPostconditions.ts +30 -0
  394. package/src/drizzle/SuppliedService.ts +10 -0
  395. package/src/drizzle/d1-emails.ts +1829 -0
  396. package/src/drizzle/d1-generated-statement.ts +129 -0
  397. package/src/drizzle/d1-identity.ts +375 -0
  398. package/src/drizzle/d1-oauth.ts +340 -0
  399. package/src/drizzle/d1-passkey.ts +373 -0
  400. package/src/drizzle/d1-password-prepared.ts +1270 -0
  401. package/src/drizzle/d1-passwords.ts +2656 -0
  402. package/src/drizzle/d1-phone.ts +96 -0
  403. package/src/drizzle/d1-planning.ts +104 -0
  404. package/src/drizzle/d1-proofs.ts +2305 -0
  405. package/src/drizzle/d1-sessions.ts +2857 -0
  406. package/src/drizzle/d1-totp.ts +78 -0
  407. package/src/drizzle/email-model.ts +516 -0
  408. package/src/drizzle/email-registration.ts +698 -0
  409. package/src/drizzle/email-sql.ts +24 -0
  410. package/src/drizzle/email-target.ts +243 -0
  411. package/src/drizzle/model.ts +463 -0
  412. package/src/drizzle/mysql-emails.ts +321 -0
  413. package/src/drizzle/mysql-identity.ts +324 -0
  414. package/src/drizzle/mysql-password-prepared.ts +204 -0
  415. package/src/drizzle/mysql-passwords.ts +339 -0
  416. package/src/drizzle/mysql-proofs.ts +181 -0
  417. package/src/drizzle/mysql-sessions.ts +741 -0
  418. package/src/drizzle/mysql.ts +687 -0
  419. package/src/drizzle/oauth-accounts.ts +804 -0
  420. package/src/drizzle/oauth-connected-access.ts +354 -0
  421. package/src/drizzle/oauth-connected-collection.ts +324 -0
  422. package/src/drizzle/oauth-connected-custody.ts +277 -0
  423. package/src/drizzle/oauth-connected-drivers.ts +465 -0
  424. package/src/drizzle/oauth-connected-flow.ts +441 -0
  425. package/src/drizzle/oauth-connected-input.ts +127 -0
  426. package/src/drizzle/oauth-connected-maintenance.ts +345 -0
  427. package/src/drizzle/oauth-connected-management.ts +365 -0
  428. package/src/drizzle/oauth-connected-model.ts +347 -0
  429. package/src/drizzle/oauth-connected-reference.ts +112 -0
  430. package/src/drizzle/oauth-connected-settlement.ts +226 -0
  431. package/src/drizzle/oauth-connected-state.ts +845 -0
  432. package/src/drizzle/oauth-connected-target.ts +264 -0
  433. package/src/drizzle/oauth-drivers.ts +569 -0
  434. package/src/drizzle/oauth-flow.ts +462 -0
  435. package/src/drizzle/oauth-input.ts +201 -0
  436. package/src/drizzle/oauth-model.ts +617 -0
  437. package/src/drizzle/oauth-mysql.ts +10 -0
  438. package/src/drizzle/oauth-owner.ts +29 -0
  439. package/src/drizzle/oauth-registration.ts +640 -0
  440. package/src/drizzle/oauth-state.ts +215 -0
  441. package/src/drizzle/oauth-target.ts +750 -0
  442. package/src/drizzle/passkey-drivers.ts +385 -0
  443. package/src/drizzle/passkey-kernel.ts +3 -0
  444. package/src/drizzle/passkey-model.ts +353 -0
  445. package/src/drizzle/passkey-registration-ceremony-model.ts +69 -0
  446. package/src/drizzle/passkey-state.ts +3 -0
  447. package/src/drizzle/passkey-target.ts +23 -0
  448. package/src/drizzle/passkey-write-drivers.ts +395 -0
  449. package/src/drizzle/passkey-write-model.ts +271 -0
  450. package/src/drizzle/passkey-write-target.ts +9 -0
  451. package/src/drizzle/password-model.ts +491 -0
  452. package/src/drizzle/password-prepared-model.ts +259 -0
  453. package/src/drizzle/password-prepared-sql.ts +1191 -0
  454. package/src/drizzle/password-prepared-state.ts +231 -0
  455. package/src/drizzle/password-prepared-target.ts +160 -0
  456. package/src/drizzle/password-registration.ts +374 -0
  457. package/src/drizzle/password-sql.ts +12 -0
  458. package/src/drizzle/password-target.ts +224 -0
  459. package/src/drizzle/pg-emails.ts +321 -0
  460. package/src/drizzle/pg-password-prepared.ts +205 -0
  461. package/src/drizzle/pg-passwords.ts +338 -0
  462. package/src/drizzle/pg-proofs.ts +191 -0
  463. package/src/drizzle/pg-sessions.ts +750 -0
  464. package/src/drizzle/pg.ts +984 -0
  465. package/src/drizzle/phone-model.ts +190 -0
  466. package/src/drizzle/phone-state.ts +21 -0
  467. package/src/drizzle/phone-target.ts +472 -0
  468. package/src/drizzle/proof-model.ts +398 -0
  469. package/src/drizzle/proof-sql.ts +9 -0
  470. package/src/drizzle/proof-target.ts +122 -0
  471. package/src/drizzle/query-operations.ts +37 -0
  472. package/src/drizzle/session-model.ts +370 -0
  473. package/src/drizzle/session-sql.ts +13 -0
  474. package/src/drizzle/session-target.ts +338 -0
  475. package/src/drizzle/sqlite-emails.ts +366 -0
  476. package/src/drizzle/sqlite-identity.ts +344 -0
  477. package/src/drizzle/sqlite-password-prepared.ts +260 -0
  478. package/src/drizzle/sqlite-passwords.ts +497 -0
  479. package/src/drizzle/sqlite-proofs.ts +202 -0
  480. package/src/drizzle/sqlite-sessions.ts +971 -0
  481. package/src/drizzle/sqlite.ts +705 -0
  482. package/src/drizzle/standalone-guard.ts +38 -0
  483. package/src/drizzle/step-up-model.ts +128 -0
  484. package/src/drizzle/step-up-state.ts +139 -0
  485. package/src/drizzle/totp-model.ts +92 -0
  486. package/src/drizzle/totp-state.ts +525 -0
  487. package/src/drizzle/totp-target.ts +308 -0
  488. package/src/drizzle/transaction-execution.ts +12 -0
  489. package/src/drizzle/transaction-mysql.ts +104 -0
  490. package/src/drizzle/transaction-owner.ts +10 -0
  491. package/src/index.ts +4 -0
  492. package/src/internal/configuration.ts +282 -0
  493. package/src/internal/drizzle-migrations.ts +30 -0
  494. package/src/internal/drizzle-postgres.ts +81 -0
  495. package/src/internal/drizzle-sqlite.ts +79 -0
  496. package/src/internal/email-kernel.ts +1532 -0
  497. package/src/internal/mapping-error.ts +36 -0
  498. package/src/internal/passkey/admission.ts +362 -0
  499. package/src/internal/passkey/credentials.ts +511 -0
  500. package/src/internal/passkey/enrollment.ts +326 -0
  501. package/src/internal/passkey/flow.ts +1062 -0
  502. package/src/internal/passkey/management.ts +422 -0
  503. package/src/internal/passkey/registration-ceremony.ts +283 -0
  504. package/src/internal/passkey/registration-custody.ts +91 -0
  505. package/src/internal/passkey/registration-write.ts +426 -0
  506. package/src/internal/passkey/state.ts +354 -0
  507. package/src/internal/passkey/target.ts +586 -0
  508. package/src/internal/passkey/write-state.ts +681 -0
  509. package/src/internal/passkey/write-target.ts +452 -0
  510. package/src/internal/passkey-kernel.ts +102 -0
  511. package/src/internal/passkeys.ts +597 -0
  512. package/src/internal/password-kernel.ts +2122 -0
  513. package/src/internal/persistence.ts +590 -0
  514. package/src/internal/phone-kernel.ts +843 -0
  515. package/src/internal/proof-kernel.ts +1949 -0
  516. package/src/internal/query-operations.ts +26 -0
  517. package/src/internal/registration.ts +160 -0
  518. package/src/internal/session-kernel.ts +2210 -0
  519. package/src/internal/sql-persistence.ts +45 -0
  520. package/src/internal/sql-query.ts +298 -0
  521. package/src/internal/sql-table.ts +89 -0
  522. package/src/internal/storage-mapping.ts +706 -0
  523. package/src/internal/storage-tables.ts +408 -0
  524. package/src/internal/storage-validation.ts +117 -0
  525. package/src/internal/transaction-execution-kernel.ts +317 -0
  526. package/src/internal/transaction-kernel.ts +582 -0
@@ -0,0 +1,966 @@
1
+ import { PersistenceMappingError, isMappedConstraintConflict } from "../internal/mapping-error.mjs";
2
+ import { decodeStepUpIntent, encodeStepUpIntent, stepUpIntentLive, validateStepUpPlan } from "./step-up-state.mjs";
3
+ import { column, updateValues } from "./model.mjs";
4
+ import { compactD1GeneratedStatement } from "./d1-generated-statement.mjs";
5
+ import { D1BatchStatements } from "./D1BatchStatements.mjs";
6
+ import { CurrentD1PlanningDatabase, makeD1Owner } from "./d1-planning.mjs";
7
+ import { Cause, Context, Data, DateTime, Effect, Schema } from "effect";
8
+ import { reportPersistenceFailure } from "@yielded/auth/Persistence";
9
+ import { CurrentCommitJournal, LifecycleHooks, coordinateCommit, hasCommitScope } from "@yielded/auth/Hooks";
10
+ import { AuthenticationAuthority, PendingAuthenticationInvalid, SessionConflict, SessionInvalid, SessionMetadata, SessionStepUpInvalid, SessionUnavailable, StaleAuthentication, assessAuthentication, pendingAuthenticationContext, snapshotPendingAuthenticationContext, snapshotSessionAuthenticationProvenance } from "@yielded/auth/Sessions";
11
+ import { and, eq, getTableColumns, gt, inArray, not, or, sql } from "drizzle-orm";
12
+ //#region src/drizzle/d1-sessions.ts
13
+ var CurrentD1SessionBatch = class extends Context.Service()("effect-auth/drizzle/CurrentD1SessionBatch") {};
14
+ var D1BatchFailure = class extends Data.TaggedError("D1BatchFailure") {};
15
+ const unavailable = () => SessionUnavailable.make({});
16
+ const stale = () => StaleAuthentication.make({});
17
+ const invalidPending = () => PendingAuthenticationInvalid.make({});
18
+ const invalidSession = () => SessionInvalid.make({});
19
+ const mapFailureCause = (effect, map) => Effect.catchCause(effect, (cause) => Effect.failCause(Cause.map(cause, map)));
20
+ const isD1DomainError = (error) => {
21
+ const tag = typeof error === "object" && error !== null ? Reflect.get(error, "_tag") : void 0;
22
+ return tag === "SessionStepUpInvalid" || tag === "PendingAuthenticationInvalid" || tag === "SessionConflict" || tag === "SessionInvalid" || tag === "SessionUnavailable" || tag === "StaleAuthentication";
23
+ };
24
+ const normalizeD1Failure = (effect, isExpected) => reportPersistenceFailure(effect, isExpected).pipe(Effect.catchCause((cause) => Effect.failCause(Cause.map(cause, (error) => isD1DomainError(error) ? error : unavailable()))));
25
+ const terminalD1 = (effect) => normalizeD1Failure(effect, isD1DomainError);
26
+ const containsFailure = (failure, predicate) => {
27
+ const seen = /* @__PURE__ */ new Set();
28
+ const pending = [failure];
29
+ for (let inspected = 0; inspected < 24 && pending.length > 0; inspected++) {
30
+ const current = pending.shift();
31
+ if (current === void 0 || current === null || seen.has(current)) continue;
32
+ seen.add(current);
33
+ if (predicate(current)) return true;
34
+ if (Cause.isCause(current)) {
35
+ for (const reason of current.reasons) if (Cause.isFailReason(reason)) pending.push(reason.error);
36
+ else if (Cause.isDieReason(reason)) pending.push(reason.defect);
37
+ continue;
38
+ }
39
+ if (typeof current !== "object") continue;
40
+ const wrapped = current;
41
+ if (wrapped.cause !== void 0) pending.push(wrapped.cause);
42
+ if (wrapped.reason !== void 0) pending.push(wrapped.reason);
43
+ if (wrapped.message !== void 0) pending.push(wrapped.message);
44
+ }
45
+ return false;
46
+ };
47
+ const isGuardFailure = (failure) => containsFailure(failure, (value) => typeof value === "string" && value.includes("effect-auth-session-guard"));
48
+ const recoverBatchFailure = (failure) => {
49
+ const { cause, mutation } = failure;
50
+ const onlyFailures = cause.reasons.length > 0 && cause.reasons.every(Cause.isFailReason);
51
+ if (mutation === void 0) return Effect.failCause(cause);
52
+ if (onlyFailures && mutation.isConstraintConflict !== void 0 && cause.reasons.every((reason) => Cause.isFailReason(reason) && isMappedConstraintConflict(mutation.isConstraintConflict, reason.error))) return Effect.fail(SessionConflict.make({}));
53
+ if (onlyFailures && mutation.recoverGuard !== void 0 && cause.reasons.every((reason) => Cause.isFailReason(reason) && isGuardFailure(reason.error))) return mutation.recoverGuard;
54
+ return Effect.failCause(cause);
55
+ };
56
+ const splitD1BatchFailure = (cause) => {
57
+ const marker = cause.reasons.find((reason) => Cause.isFailReason(reason) && reason.error instanceof D1BatchFailure);
58
+ if (marker === void 0 || !Cause.isFailReason(marker)) return void 0;
59
+ const remaining = Cause.fromReasons(cause.reasons.filter((reason) => reason !== marker));
60
+ return {
61
+ failure: marker.error,
62
+ remaining
63
+ };
64
+ };
65
+ const recoverD1BatchCause = (cause) => {
66
+ const split = splitD1BatchFailure(cause);
67
+ if (split === void 0) return Effect.failCause(cause);
68
+ return recoverBatchFailure(split.failure).pipe(Effect.catchCause((recovered) => Effect.failCause(Cause.combine(recovered, split.remaining))));
69
+ };
70
+ const recoverCoordinatedD1BatchCause = (cause) => {
71
+ const split = splitD1BatchFailure(cause);
72
+ if (split === void 0) return Effect.failCause(cause);
73
+ return terminalD1(recoverBatchFailure(split.failure)).pipe(Effect.catchCause((recovered) => Effect.failCause(Cause.combine(recovered, split.remaining))));
74
+ };
75
+ const statement = (query) => Effect.map(CurrentD1PlanningDatabase, (database) => {
76
+ const rendered = query.toSQL();
77
+ return compactD1GeneratedStatement(database.$client, database.$client.unsafe(rendered.sql, rendered.params), unavailable);
78
+ });
79
+ const assertion = (condition) => Effect.gen(function* () {
80
+ const database = yield* CurrentD1PlanningDatabase;
81
+ return yield* statement(database.select({ ok: sql`case when ${condition} then 1 else json_extract('[]', '$[effect-auth-session-guard]') end`.as("ok") }).from(sql`(select 1)`));
82
+ });
83
+ const conditionMatches = (condition) => Effect.flatMap(CurrentD1PlanningDatabase, (database) => database.select({ ok: sql`1` }).from(sql`(select 1)`).where(condition).limit(1).pipe(Effect.map((rows) => rows.length > 0)));
84
+ function runPlanned(plan, isConstraintConflict, recoverGuard) {
85
+ const planned = plan.pipe(Effect.map((value) => ({
86
+ ...value,
87
+ isConstraintConflict,
88
+ recoverGuard
89
+ })));
90
+ const execution = Effect.gen(function* () {
91
+ const batch = yield* Effect.serviceOption(CurrentD1SessionBatch);
92
+ if (batch._tag === "Some") {
93
+ const owned = batch.value;
94
+ return (yield* coordinateCommit(() => Effect.gen(function* () {
95
+ yield* owned.owner.check;
96
+ const journal = yield* CurrentCommitJournal;
97
+ const value = yield* planned;
98
+ yield* owned.owner.check;
99
+ const guarded = {
100
+ ...value,
101
+ journalGuard: journal.prepare(void 0)
102
+ };
103
+ yield* owned.append(guarded);
104
+ return guarded.receipt;
105
+ }), { mode: "batch" })).value;
106
+ }
107
+ const database = yield* CurrentD1PlanningDatabase;
108
+ return (yield* coordinateCommit(() => Effect.gen(function* () {
109
+ const prepared = yield* planned;
110
+ yield* database.$client.batch(prepared.statements).pipe(Effect.catchCause((cause) => Effect.fail(new D1BatchFailure({
111
+ cause,
112
+ mutation: prepared
113
+ }))));
114
+ return prepared.receipt;
115
+ }), { mode: "batch" })).value;
116
+ });
117
+ return normalizeD1Failure(execution.pipe(Effect.catchCause(recoverD1BatchCause)), isD1DomainError);
118
+ }
119
+ const subjectColumns = (mapping) => ({
120
+ id: column(mapping.subject.table, mapping.subject.id),
121
+ status: column(mapping.subject.table, mapping.subject.status),
122
+ revision: column(mapping.subject.table, mapping.subject.securityRevision)
123
+ });
124
+ const credentialColumns = (mapping) => ({
125
+ subjectId: column(mapping.credential.table, mapping.credential.subjectId),
126
+ id: column(mapping.credential.table, mapping.credential.credentialId),
127
+ revision: column(mapping.credential.table, mapping.credential.revision),
128
+ ...mapping.credential.status === void 0 ? {} : { status: column(mapping.credential.table, mapping.credential.status) }
129
+ });
130
+ const flowColumns = (mapping) => ({
131
+ flowId: column(mapping.flow.table, mapping.flow.flowId),
132
+ subjectId: column(mapping.flow.table, mapping.flow.subjectId),
133
+ state: column(mapping.flow.table, mapping.flow.state),
134
+ pendingDigest: column(mapping.flow.table, mapping.flow.pendingDigest),
135
+ dedupUntil: column(mapping.flow.table, mapping.flow.dedupUntil)
136
+ });
137
+ const hasActiveFlow = Effect.fn("D1Session.hasActiveFlow")(function* (mapping, flowId) {
138
+ const database = yield* CurrentD1PlanningDatabase;
139
+ const f = flowColumns(mapping);
140
+ return yield* database.select({ flowId: f.flowId }).from(mapping.flow.table).where(and(eq(f.flowId, flowId), gt(f.dedupUntil, mapping.d1.engineNow))).limit(1).pipe(Effect.map((rows) => rows.length > 0));
141
+ });
142
+ const recoverFlowOrStale = (mapping, flowId) => hasActiveFlow(mapping, flowId).pipe(Effect.flatMap((active) => Effect.fail(active ? SessionConflict.make({}) : StaleAuthentication.make({}))));
143
+ const pendingColumns = (mapping) => ({
144
+ digest: column(mapping.pending.table, mapping.pending.digest),
145
+ version: column(mapping.pending.table, mapping.pending.version),
146
+ flowId: column(mapping.pending.table, mapping.pending.flowId),
147
+ subjectId: column(mapping.pending.table, mapping.pending.subjectId),
148
+ bindingDigest: column(mapping.pending.table, mapping.pending.bindingDigest),
149
+ expiresAt: column(mapping.pending.table, mapping.pending.expiresAt),
150
+ attemptLimit: column(mapping.pending.table, mapping.pending.attemptLimit),
151
+ failedAttempts: column(mapping.pending.table, mapping.pending.failedAttempts),
152
+ consumed: column(mapping.pending.table, mapping.pending.consumed)
153
+ });
154
+ const sessionColumns = (mapping) => ({
155
+ sessionId: column(mapping.session.table, mapping.session.sessionId),
156
+ subjectId: column(mapping.session.table, mapping.session.subjectId),
157
+ digest: column(mapping.session.table, mapping.session.digest),
158
+ version: column(mapping.session.table, mapping.session.version),
159
+ securityRevision: column(mapping.session.table, mapping.session.securityRevision),
160
+ issuedAt: column(mapping.session.table, mapping.session.issuedAt),
161
+ expiresAt: column(mapping.session.table, mapping.session.expiresAt),
162
+ absoluteExpiresAt: column(mapping.session.table, mapping.session.absoluteExpiresAt)
163
+ });
164
+ const captureDetails = Effect.fn("DrizzleD1Session.captureDetails")(function* (mapping, subjectId, credentialIds) {
165
+ const database = yield* CurrentD1PlanningDatabase;
166
+ const requested = [...new Set(credentialIds)].sort();
167
+ if (requested.length !== credentialIds.length) return yield* stale();
168
+ const nativeSubjectId = yield* mapping.subjectId.toNative(subjectId);
169
+ const sc = subjectColumns(mapping);
170
+ const cc = credentialColumns(mapping);
171
+ const rows = yield* requested.length === 0 ? database.select({ subject: getTableColumns(mapping.subject.table) }).from(mapping.subject.table).where(eq(sc.id, nativeSubjectId)).limit(1).pipe(Effect.map((selected) => selected.map((row) => ({
172
+ subject: row.subject,
173
+ credential: void 0
174
+ })))) : database.select({
175
+ subject: getTableColumns(mapping.subject.table),
176
+ credential: getTableColumns(mapping.credential.table)
177
+ }).from(mapping.subject.table).innerJoin(mapping.credential.table, and(eq(cc.subjectId, sc.id), inArray(cc.id, requested))).where(eq(sc.id, nativeSubjectId));
178
+ const subject = rows[0]?.subject;
179
+ if (subject === void 0 || !mapping.subject.isActiveStatus(subject[mapping.subject.status])) return yield* stale();
180
+ const credentials = rows.flatMap((row) => row.credential === void 0 || row.credential === null ? [] : [row.credential]);
181
+ if (credentials.length !== requested.length || credentials.some((row) => mapping.credential.status !== void 0 && mapping.credential.isActiveStatus?.(row[mapping.credential.status]) !== true)) return yield* stale();
182
+ return {
183
+ subject,
184
+ revision: {
185
+ subjectId,
186
+ securityRevision: subject[mapping.subject.securityRevision],
187
+ credentials: credentials.map((row) => ({
188
+ credentialId: row[mapping.credential.credentialId],
189
+ revision: row[mapping.credential.revision]
190
+ })).sort((a, b) => a.credentialId.localeCompare(b.credentialId))
191
+ }
192
+ };
193
+ });
194
+ const capture = Effect.fn("DrizzleD1Session.capture")(function* (mapping, subjectId, credentialIds) {
195
+ return (yield* captureDetails(mapping, subjectId, credentialIds)).revision;
196
+ });
197
+ const requirement = Effect.fn("DrizzleD1Session.requirement")(function* (mapping, evidence) {
198
+ const current = yield* captureDetails(mapping, evidence.revision.subjectId, evidence.revision.credentials.map((item) => item.credentialId));
199
+ const expected = new Map(evidence.revision.credentials.map((item) => [item.credentialId, item.revision]));
200
+ if (current.revision.securityRevision !== evidence.revision.securityRevision || current.revision.credentials.some((item) => expected.get(item.credentialId) !== item.revision)) return yield* stale();
201
+ return yield* mapping.subject.decodeRequirement(current.subject);
202
+ });
203
+ const authorityCondition = (mapping, nativeSubjectId, evidence) => {
204
+ const sc = subjectColumns(mapping);
205
+ const cc = credentialColumns(mapping);
206
+ const subject = sql`exists(select 1 from ${mapping.subject.table} where ${sc.id} = ${sql.param(nativeSubjectId, sc.id)} and ${sc.status} = ${sql.param(mapping.d1.activeSubjectStatusValue, sc.status)} and ${sc.revision} = ${sql.param(evidence.revision.securityRevision, sc.revision)})`;
207
+ const credentials = evidence.revision.credentials.map((item) => sql`exists(select 1 from ${mapping.credential.table} where ${cc.subjectId} = ${sql.param(nativeSubjectId, cc.subjectId)} and ${cc.id} = ${sql.param(item.credentialId, cc.id)} and ${cc.revision} = ${sql.param(item.revision, cc.revision)}${mapping.credential.status === void 0 ? sql`` : sql` and ${cc.status} = ${sql.param(mapping.d1.activeCredentialStatusValue, cc.status)}`})`);
208
+ return and(subject, ...credentials);
209
+ };
210
+ const subjectRevisionCondition = (mapping, nativeSubjectId, revision) => {
211
+ const sc = subjectColumns(mapping);
212
+ return sql`exists(select 1 from ${mapping.subject.table} where ${sc.id} = ${sql.param(nativeSubjectId, sc.id)} and ${sc.status} = ${sql.param(mapping.d1.activeSubjectStatusValue, sc.status)} and ${sc.revision} = ${sql.param(revision, sc.revision)})`;
213
+ };
214
+ /** Engine-time counterpart of assessAuthentication. Complete transitions must
215
+ * satisfy an entire alternative; incomplete pending flows need one eligible proof. */
216
+ const freshnessCondition = (mapping, evidence, requirement, complete) => {
217
+ const fresh = evidence.proofs.map((proof) => {
218
+ const verified = DateTime.toEpochMillis(proof.verifiedAt);
219
+ return and(sql`${mapping.d1.engineNowMillis} >= ${verified}`, sql`${mapping.d1.engineNowMillis} - ${verified} < ${requirement.maximumAgeMillis}`);
220
+ });
221
+ const any = (conditions) => conditions.length === 0 ? sql`false` : or(...conditions);
222
+ const notFuture = evidence.proofs.map((proof) => sql`${mapping.d1.engineNowMillis} >= ${DateTime.toEpochMillis(proof.verifiedAt)}`);
223
+ if (!complete) return and(...notFuture, any(fresh));
224
+ const byCredential = /* @__PURE__ */ new Map();
225
+ evidence.proofs.forEach((proof, index) => {
226
+ const previous = byCredential.get(proof.credentialId) ?? [];
227
+ previous.push(fresh[index]);
228
+ byCredential.set(proof.credentialId, previous);
229
+ });
230
+ const credentialCount = sql.join([...byCredential.values()].map((proofs) => sql`case when ${any(proofs)} then 1 else 0 end`), sql` + `);
231
+ const alternatives = requirement.alternatives.map((alternative) => and(...alternative.factors.map((factor) => any(fresh.filter((_, index) => evidence.proofs[index].factors.includes(factor)))), sql`(${credentialCount}) >= ${alternative.minimumCredentials}`, any(fresh.filter((_, index) => (!alternative.userVerified || evidence.proofs[index].userVerified) && (!alternative.phishingResistant || evidence.proofs[index].phishingResistant)))));
232
+ return and(...notFuture, any(alternatives));
233
+ };
234
+ const allocate = (asynchronous, synchronous) => asynchronous !== void 0 ? asynchronous : synchronous === void 0 ? Effect.fail(unavailable()) : Effect.try({
235
+ try: synchronous,
236
+ catch: (cause) => PersistenceMappingError.make({
237
+ operation: "allocate",
238
+ cause
239
+ })
240
+ });
241
+ const sameOriginalRevision = (completed, original) => {
242
+ const current = new Map(completed.revision.credentials.map((item) => [item.credentialId, item.revision]));
243
+ return completed.flowId === original.flowId && completed.bindingDigest === original.bindingDigest && completed.revision.subjectId === original.revision.subjectId && completed.revision.securityRevision === original.revision.securityRevision && original.revision.credentials.every((item) => current.get(item.credentialId) === item.revision) && original.proofs.every((expected) => completed.proofs.some((proof) => proof.method === expected.method && proof.credentialId === expected.credentialId && proof.userVerified === expected.userVerified && proof.phishingResistant === expected.phishingResistant && DateTime.toEpochMillis(proof.verifiedAt) === DateTime.toEpochMillis(expected.verifiedAt) && proof.factors.length === expected.factors.length && proof.factors.every((factor, index) => factor === expected.factors[index])));
244
+ };
245
+ const readPendingWith = Effect.fn("D1Session.readPendingWith")(function* (mapping, digest, projection) {
246
+ const row = (yield* (yield* CurrentD1PlanningDatabase).select().from(mapping.pending.table).where(eq(pendingColumns(mapping).digest, digest)).limit(1))[0];
247
+ if (row === void 0) return void 0;
248
+ return yield* (projection === "context" ? mapping.pending.decodeContext : mapping.pending.decode)(row);
249
+ });
250
+ const readPending = (mapping, digest) => readPendingWith(mapping, digest, "record");
251
+ const pendingCondition = (mapping, input, nativeSubjectId) => {
252
+ const p = pendingColumns(mapping);
253
+ const f = flowColumns(mapping);
254
+ return and(sql`exists(select 1 from ${mapping.pending.table} where ${p.digest} = ${sql.param(input.digest, p.digest)} and ${p.version} = ${sql.param(input.version, p.version)} and ${p.flowId} = ${sql.param(input.flowId, p.flowId)} and ${p.subjectId} = ${sql.param(nativeSubjectId, p.subjectId)} and ${p.bindingDigest} = ${sql.param(input.bindingDigest, p.bindingDigest)} and ${p.consumed} = ${sql.param(false, p.consumed)} and ${p.failedAttempts} < ${p.attemptLimit} and ${p.expiresAt} > ${mapping.d1.engineNow})`, sql`exists(select 1 from ${mapping.flow.table} where ${f.flowId} = ${sql.param(input.flowId, f.flowId)} and ${f.subjectId} = ${sql.param(nativeSubjectId, f.subjectId)} and ${f.state} = ${sql.param(mapping.flow.pendingStateValue, f.state)} and ${f.pendingDigest} = ${sql.param(input.digest, f.pendingDigest)} and ${f.dedupUntil} > ${mapping.d1.engineNow})`);
255
+ };
256
+ const recoverPendingOrStale = (mapping, input, subjectId) => mapping.subjectId.toNative(subjectId).pipe(Effect.flatMap((nativeSubjectId) => conditionMatches(pendingCondition(mapping, input, nativeSubjectId))), Effect.flatMap((pendingIsCurrent) => Effect.fail(pendingIsCurrent ? StaleAuthentication.make({}) : PendingAuthenticationInvalid.make({}))));
257
+ const consumePendingStatements = Effect.fn("D1Session.consumePendingStatements")(function* (mapping, input, absoluteExpiresAt) {
258
+ const database = yield* CurrentD1PlanningDatabase;
259
+ return [yield* statement(database.update(mapping.pending.table).set(updateValues([[mapping.pending.consumed, true]])).where(and(eq(pendingColumns(mapping).digest, input.digest), eq(pendingColumns(mapping).version, input.version)))), yield* statement(database.update(mapping.flow.table).set(updateValues([
260
+ [mapping.flow.state, mapping.flow.establishedStateValue],
261
+ [mapping.flow.pendingDigest, null],
262
+ [mapping.flow.dedupUntil, mapping.flow.encodeInstant(absoluteExpiresAt)]
263
+ ])).where(eq(flowColumns(mapping).flowId, input.flowId)))];
264
+ });
265
+ const makeD1AuthenticationAuthority = (mapping) => ({
266
+ capture: (subjectId, credentialIds) => capture(mapping, subjectId, credentialIds).pipe(terminalD1),
267
+ requirements: (evidence) => requirement(mapping, evidence).pipe(terminalD1),
268
+ approve: (input, prepare) => runPlanned(Effect.gen(function* () {
269
+ const journal = yield* CurrentCommitJournal;
270
+ const policy = yield* requirement(mapping, input.evidence);
271
+ if (!(yield* assessAuthentication(input.evidence, policy)).satisfied) return yield* stale();
272
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.evidence.revision.subjectId);
273
+ let condition = and(authorityCondition(mapping, nativeSubjectId, input.evidence), freshnessCondition(mapping, input.evidence, policy, true), sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(input.expiresAt)}`, sql`${DateTime.toEpochMillis(input.expiresAt)} <= ${DateTime.toEpochMillis(input.absoluteExpiresAt)}`);
274
+ const statements = [];
275
+ if (input.pending !== void 0) {
276
+ if (mapping.pending === void 0) return yield* invalidPending();
277
+ const pendingMapping = {
278
+ ...mapping,
279
+ ...mapping.pending
280
+ };
281
+ const stored = yield* readPending(pendingMapping, input.pending.digest);
282
+ if (stored === void 0 || !sameOriginalRevision(input.evidence, stored.evidence)) return yield* invalidPending();
283
+ condition = and(condition, pendingCondition(pendingMapping, input.pending, nativeSubjectId));
284
+ statements.push(...yield* consumePendingStatements(pendingMapping, input.pending, input.absoluteExpiresAt));
285
+ }
286
+ return {
287
+ receipt: prepare(void 0, journal),
288
+ statements: [yield* assertion(condition), ...statements]
289
+ };
290
+ }), void 0, Effect.suspend(() => input.pending === void 0 || mapping.pending === void 0 ? Effect.fail(stale()) : recoverPendingOrStale({
291
+ ...mapping,
292
+ ...mapping.pending
293
+ }, input.pending, input.evidence.revision.subjectId)))
294
+ });
295
+ /** D1's last authoritative statement checks the original record version and
296
+ * security state together. A later race is still rejected by final consumption. */
297
+ const readAuthenticatedPending = Effect.fn("D1Session.readAuthenticatedPending")(function* (mapping, input, projection) {
298
+ const record = yield* readPendingWith(mapping, input.digest, projection);
299
+ if (record === void 0 || input.bindingDigest !== void 0 && record.evidence.bindingDigest !== input.bindingDigest) return yield* invalidPending();
300
+ const policy = yield* mapFailureCause(requirement(mapping, record.evidence), (error) => error._tag === "StaleAuthentication" ? invalidPending() : error);
301
+ yield* assessAuthentication(record.evidence, policy).pipe(Effect.mapError(() => invalidPending()));
302
+ const nativeSubjectId = yield* mapping.subjectId.toNative(record.evidence.revision.subjectId);
303
+ if (!(yield* conditionMatches(and(authorityCondition(mapping, nativeSubjectId, record.evidence), freshnessCondition(mapping, record.evidence, policy, false), pendingCondition(mapping, {
304
+ digest: input.digest,
305
+ bindingDigest: record.evidence.bindingDigest,
306
+ flowId: record.evidence.flowId,
307
+ version: record.version
308
+ }, nativeSubjectId))))) return yield* invalidPending();
309
+ return record;
310
+ });
311
+ const makeD1PendingAuthentication = (mapping) => ({
312
+ create: (input, _now, prepare) => runPlanned(Effect.gen(function* () {
313
+ const database = yield* CurrentD1PlanningDatabase;
314
+ const journal = yield* CurrentCommitJournal;
315
+ const policy = yield* requirement(mapping, input.evidence);
316
+ yield* assessAuthentication(input.evidence, policy);
317
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.evidence.revision.subjectId);
318
+ if (yield* hasActiveFlow(mapping, input.evidence.flowId)) return yield* SessionConflict.make({});
319
+ const version = yield* allocate(mapping.pending.allocateVersion, mapping.pending.allocateVersionSync);
320
+ const record = {
321
+ ...input,
322
+ version
323
+ };
324
+ const f = flowColumns(mapping);
325
+ const condition = and(authorityCondition(mapping, nativeSubjectId, input.evidence), freshnessCondition(mapping, input.evidence, policy, false), sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(input.expiresAt)}`, not(sql`exists(select 1 from ${mapping.flow.table} where ${f.flowId} = ${sql.param(input.evidence.flowId, f.flowId)} and ${f.dedupUntil} > ${mapping.d1.engineNow})`));
326
+ const cleanupPending = database.delete(mapping.pending.table).where(sql`${pendingColumns(mapping).flowId} in (select ${f.flowId} from ${mapping.flow.table} where ${f.flowId} = ${sql.param(input.evidence.flowId, f.flowId)} and ${f.dedupUntil} <= ${mapping.d1.engineNow})`);
327
+ const cleanupFlow = database.delete(mapping.flow.table).where(and(eq(f.flowId, input.evidence.flowId), sql`${f.dedupUntil} <= ${mapping.d1.engineNow}`));
328
+ const insertFlow = database.insert(mapping.flow.table).values(mapping.flow.encodePendingInsert({
329
+ evidence: input.evidence,
330
+ subjectId: nativeSubjectId,
331
+ pendingDigest: input.digest,
332
+ dedupUntil: input.expiresAt
333
+ }));
334
+ const insertPending = database.insert(mapping.pending.table).values(mapping.pending.encodeInsert(record, {
335
+ subjectId: nativeSubjectId,
336
+ failedAttempts: 0,
337
+ consumed: false
338
+ }));
339
+ return {
340
+ receipt: prepare(record, journal),
341
+ statements: [
342
+ yield* assertion(condition),
343
+ yield* statement(cleanupPending),
344
+ yield* statement(cleanupFlow),
345
+ yield* statement(insertFlow),
346
+ yield* statement(insertPending)
347
+ ]
348
+ };
349
+ }), mapping.isConstraintConflict, recoverFlowOrStale(mapping, input.evidence.flowId)),
350
+ context: (input) => readAuthenticatedPending(mapping, input, "context").pipe(Effect.flatMap(pendingAuthenticationContext), terminalD1),
351
+ read: (input) => readAuthenticatedPending(mapping, input, "record").pipe(terminalD1),
352
+ reject: (input, prepare) => runPlanned(Effect.gen(function* () {
353
+ const database = yield* CurrentD1PlanningDatabase;
354
+ const journal = yield* CurrentCommitJournal;
355
+ const record = yield* readPendingWith(mapping, input.digest, "context");
356
+ if (record === void 0) return {
357
+ receipt: prepare({ _tag: "Rejected" }, journal),
358
+ statements: [yield* assertion(sql`true`)]
359
+ };
360
+ const nativeSubjectId = yield* mapping.subjectId.toNative(record.evidence.revision.subjectId);
361
+ const p = pendingColumns(mapping);
362
+ const condition = and(authorityCondition(mapping, nativeSubjectId, record.evidence), eq(p.digest, input.digest), eq(p.bindingDigest, input.bindingDigest), eq(p.consumed, false), gt(p.expiresAt, mapping.d1.engineNow));
363
+ const update = database.update(mapping.pending.table).set(updateValues([[mapping.pending.failedAttempts, sql`case when ${p.failedAttempts} < ${p.attemptLimit} then ${p.failedAttempts} + 1 else ${p.failedAttempts} end`]])).where(condition);
364
+ return {
365
+ receipt: prepare({ _tag: "Rejected" }, journal),
366
+ statements: [yield* statement(update)]
367
+ };
368
+ }))
369
+ });
370
+ const makeD1StatefulSessions = (mapping) => {
371
+ const s = sessionColumns(mapping);
372
+ return {
373
+ persistence: {
374
+ establish: (input, prepare) => runPlanned(Effect.gen(function* () {
375
+ const database = yield* CurrentD1PlanningDatabase;
376
+ const journal = yield* CurrentCommitJournal;
377
+ const policy = yield* requirement(mapping, input.evidence);
378
+ const assessed = yield* assessAuthentication(input.evidence, policy);
379
+ if (!assessed.satisfied) return yield* stale();
380
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.evidence.revision.subjectId);
381
+ if (input.pending === void 0 && (yield* hasActiveFlow(mapping, input.evidence.flowId))) return yield* SessionConflict.make({});
382
+ const nativeSessionId = yield* allocate(mapping.session.allocateId, mapping.session.allocateIdSync);
383
+ const sessionId = yield* mapping.sessionId.toSession(nativeSessionId);
384
+ const version = yield* allocate(mapping.session.allocateVersion, mapping.session.allocateVersionSync);
385
+ const record = {
386
+ ...input.session,
387
+ sessionId,
388
+ version,
389
+ subjectId: input.evidence.revision.subjectId,
390
+ securityRevision: input.evidence.revision.securityRevision,
391
+ assurance: assessed.assurance,
392
+ provenance: yield* snapshotSessionAuthenticationProvenance({ evidence: input.evidence }),
393
+ issuedAt: DateTime.makeUnsafe(DateTime.toEpochMillis(input.session.issuedAt))
394
+ };
395
+ let condition = and(authorityCondition(mapping, nativeSubjectId, input.evidence), freshnessCondition(mapping, input.evidence, policy, true), sql`${DateTime.toEpochMillis(record.issuedAt)} <= ${mapping.d1.engineNowMillis}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(record.expiresAt)}`, sql`${DateTime.toEpochMillis(record.expiresAt)} <= ${DateTime.toEpochMillis(record.absoluteExpiresAt)}`);
396
+ const statements = [];
397
+ if (input.pending === void 0) {
398
+ const f = flowColumns(mapping);
399
+ condition = and(condition, not(sql`exists(select 1 from ${mapping.flow.table} where ${f.flowId} = ${sql.param(input.evidence.flowId, f.flowId)} and ${f.dedupUntil} > ${mapping.d1.engineNow})`));
400
+ if (mapping.pending !== void 0) statements.push(yield* statement(database.delete(mapping.pending.table).where(eq(column(mapping.pending.table, mapping.pending.flowId), input.evidence.flowId))));
401
+ statements.push(yield* statement(database.delete(mapping.flow.table).where(eq(f.flowId, input.evidence.flowId))), yield* statement(database.insert(mapping.flow.table).values(mapping.flow.encodeEstablishedInsert({
402
+ evidence: input.evidence,
403
+ subjectId: nativeSubjectId,
404
+ dedupUntil: record.absoluteExpiresAt
405
+ }))));
406
+ } else {
407
+ if (mapping.pending === void 0) return yield* invalidPending();
408
+ const stored = yield* readPending(mapping, input.pending.digest);
409
+ if (stored === void 0 || !sameOriginalRevision(input.evidence, stored.evidence)) return yield* invalidPending();
410
+ condition = and(condition, pendingCondition(mapping, input.pending, nativeSubjectId));
411
+ statements.push(...yield* consumePendingStatements(mapping, input.pending, record.absoluteExpiresAt));
412
+ }
413
+ statements.push(yield* statement(database.insert(mapping.session.table).values(mapping.session.encodeInsert(record, {
414
+ subjectId: nativeSubjectId,
415
+ sessionId: nativeSessionId
416
+ }))));
417
+ return {
418
+ receipt: prepare(record, journal),
419
+ statements: [yield* assertion(condition), ...statements]
420
+ };
421
+ }), mapping.isConstraintConflict, Effect.suspend(() => input.pending === void 0 ? recoverFlowOrStale(mapping, input.evidence.flowId) : recoverPendingOrStale(mapping, input.pending, input.evidence.revision.subjectId))),
422
+ verify: (input) => Effect.gen(function* () {
423
+ const rows = yield* (yield* CurrentD1PlanningDatabase).select({ ...getTableColumns(mapping.session.table) }).from(mapping.session.table).innerJoin(mapping.subject.table, and(eq(s.subjectId, subjectColumns(mapping).id), eq(s.securityRevision, subjectColumns(mapping).revision), eq(subjectColumns(mapping).status, mapping.d1.activeSubjectStatusValue))).where(and(eq(s.digest, input.digest), gt(s.expiresAt, mapping.d1.engineNow), gt(s.absoluteExpiresAt, mapping.d1.engineNow))).limit(1);
424
+ if (rows[0] === void 0) return yield* invalidSession();
425
+ return yield* mapping.session.decode(rows[0]);
426
+ }).pipe(terminalD1),
427
+ rotate: (input, prepare) => runPlanned(Effect.gen(function* () {
428
+ const database = yield* CurrentD1PlanningDatabase;
429
+ const journal = yield* CurrentCommitJournal;
430
+ const nativeSessionId = yield* mapping.sessionId.toNative(input.sessionId);
431
+ const row = (yield* database.select().from(mapping.session.table).where(eq(s.sessionId, nativeSessionId)).limit(1))[0];
432
+ if (row === void 0) return yield* SessionConflict.make({});
433
+ const current = yield* mapping.session.decode(row);
434
+ const nativeSubjectId = yield* mapping.subjectId.toNative(current.subjectId);
435
+ const version = yield* allocate(mapping.session.allocateVersion, mapping.session.allocateVersionSync);
436
+ const next = {
437
+ ...current,
438
+ digest: input.nextDigest,
439
+ credentialVersion: input.nextCredentialVersion,
440
+ version,
441
+ issuedAt: DateTime.makeUnsafe(DateTime.toEpochMillis(input.now)),
442
+ expiresAt: input.nextExpiresAt
443
+ };
444
+ const sessionCondition = and(eq(s.sessionId, nativeSessionId), eq(s.digest, input.expectedDigest), eq(s.version, input.expectedVersion), eq(s.securityRevision, input.expectedSecurityRevision), gt(s.expiresAt, mapping.d1.engineNow), gt(s.absoluteExpiresAt, mapping.d1.engineNow));
445
+ const timeCondition = and(sql`${DateTime.toEpochMillis(next.issuedAt)} <= ${mapping.d1.engineNowMillis}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(input.nextExpiresAt)}`, sql`${DateTime.toEpochMillis(input.nextExpiresAt)} <= ${DateTime.toEpochMillis(current.absoluteExpiresAt)}`);
446
+ const authority = subjectRevisionCondition(mapping, nativeSubjectId, input.expectedSecurityRevision);
447
+ const assertionCondition = and(authority, sql`exists(select 1 from ${mapping.session.table} where ${sessionCondition})`, timeCondition);
448
+ const update = database.update(mapping.session.table).set(mapping.session.encodeRotation(next)).where(and(authority, sessionCondition, timeCondition));
449
+ return {
450
+ receipt: prepare(next, journal),
451
+ statements: [yield* assertion(assertionCondition), yield* statement(update)]
452
+ };
453
+ }), void 0, Effect.fail(SessionConflict.make({}))),
454
+ revokeDigest: (digest, prepare) => runPlanned(Effect.gen(function* () {
455
+ const database = yield* CurrentD1PlanningDatabase;
456
+ const journal = yield* CurrentCommitJournal;
457
+ const row = (yield* database.select().from(mapping.session.table).where(eq(s.digest, digest)).limit(1))[0];
458
+ const statements = row === void 0 ? [yield* assertion(sql`true`)] : [yield* statement(database.delete(mapping.session.table).where(eq(s.digest, digest)))];
459
+ return {
460
+ receipt: prepare(row !== void 0, journal),
461
+ statements
462
+ };
463
+ })),
464
+ revoke: (input, prepare) => runPlanned(Effect.gen(function* () {
465
+ const database = yield* CurrentD1PlanningDatabase;
466
+ const journal = yield* CurrentCommitJournal;
467
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.subjectId);
468
+ const nativeSessionId = yield* mapping.sessionId.toNative(input.sessionId);
469
+ const condition = subjectRevisionCondition(mapping, nativeSubjectId, input.expectedSecurityRevision);
470
+ const remove = database.delete(mapping.session.table).where(and(eq(s.subjectId, nativeSubjectId), eq(s.sessionId, nativeSessionId)));
471
+ return {
472
+ receipt: prepare(void 0, journal),
473
+ statements: [yield* assertion(condition), yield* statement(remove)]
474
+ };
475
+ }), void 0, Effect.fail(stale())),
476
+ revokeAll: (input, prepare) => runPlanned(Effect.gen(function* () {
477
+ const database = yield* CurrentD1PlanningDatabase;
478
+ const journal = yield* CurrentCommitJournal;
479
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.subjectId);
480
+ const next = yield* allocate(mapping.subject.nextSecurityRevision?.(input.expectedSecurityRevision), mapping.subject.nextSecurityRevisionSync === void 0 ? void 0 : () => mapping.subject.nextSecurityRevisionSync(input.expectedSecurityRevision));
481
+ const sc = subjectColumns(mapping);
482
+ const condition = and(eq(sc.id, nativeSubjectId), eq(sc.status, mapping.d1.activeSubjectStatusValue), eq(sc.revision, input.expectedSecurityRevision));
483
+ const updateSubject = database.update(mapping.subject.table).set(updateValues([[mapping.subject.securityRevision, next]])).where(condition);
484
+ const removeSessions = database.delete(mapping.session.table).where(eq(s.subjectId, nativeSubjectId));
485
+ return {
486
+ receipt: prepare(void 0, journal),
487
+ statements: [
488
+ yield* assertion(sql`exists(select 1 from ${mapping.subject.table} where ${condition})`),
489
+ yield* statement(updateSubject),
490
+ yield* statement(removeSessions)
491
+ ]
492
+ };
493
+ }), void 0, Effect.fail(stale()))
494
+ },
495
+ repository: { list: (input) => Effect.gen(function* () {
496
+ const database = yield* CurrentD1PlanningDatabase;
497
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.subjectId);
498
+ const cursor = input.cursor === void 0 ? void 0 : yield* mapping.sessionId.toNative(input.cursor);
499
+ const rows = yield* database.select({ ...getTableColumns(mapping.session.table) }).from(mapping.session.table).innerJoin(mapping.subject.table, and(eq(s.subjectId, subjectColumns(mapping).id), eq(s.securityRevision, subjectColumns(mapping).revision), eq(subjectColumns(mapping).status, mapping.d1.activeSubjectStatusValue))).where(and(eq(s.subjectId, nativeSubjectId), gt(s.expiresAt, mapping.d1.engineNow), gt(s.absoluteExpiresAt, mapping.d1.engineNow), cursor === void 0 ? void 0 : gt(s.sessionId, cursor))).orderBy(s.sessionId).limit(input.limit + 1);
500
+ const decoded = yield* Effect.forEach(rows, (row) => mapping.session.decode(row));
501
+ const codec = Schema.toCodecJson(Schema.toType(SessionMetadata));
502
+ const sessions = yield* Effect.forEach(decoded.slice(0, input.limit), (record) => Schema.encodeEffect(codec)(record).pipe(Effect.flatMap(Schema.decodeEffect(codec))));
503
+ return {
504
+ sessions,
505
+ ...decoded.length <= input.limit ? {} : { nextCursor: sessions.at(-1)?.sessionId }
506
+ };
507
+ }).pipe(terminalD1) }
508
+ };
509
+ };
510
+ const makeD1SignedValidity = (mapping) => {
511
+ const sc = subjectColumns(mapping);
512
+ const t = {
513
+ subjectId: column(mapping.tombstone.table, mapping.tombstone.subjectId),
514
+ sessionId: column(mapping.tombstone.table, mapping.tombstone.sessionId),
515
+ absoluteExpiresAt: column(mapping.tombstone.table, mapping.tombstone.absoluteExpiresAt)
516
+ };
517
+ return {
518
+ verify: (session, _now) => Effect.gen(function* () {
519
+ const database = yield* CurrentD1PlanningDatabase;
520
+ const nativeSubjectId = yield* mapping.subjectId.toNative(session.subjectId);
521
+ const nativeSessionId = yield* mapping.sessionId.toNative(session.sessionId);
522
+ if ((yield* database.select({ subjectId: sc.id }).from(mapping.subject.table).where(and(eq(sc.id, nativeSubjectId), eq(sc.status, mapping.d1.activeSubjectStatusValue), eq(sc.revision, session.securityRevision), sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(session.expiresAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(session.absoluteExpiresAt)}`, not(sql`exists(select 1 from ${mapping.tombstone.table} where ${t.subjectId} = ${sql.param(nativeSubjectId, t.subjectId)} and ${t.sessionId} = ${sql.param(nativeSessionId, t.sessionId)} and ${t.absoluteExpiresAt} > ${mapping.d1.engineNow})`))).limit(1)).length === 0) return yield* invalidSession();
523
+ }).pipe(terminalD1),
524
+ revoke: (input, prepare) => runPlanned(Effect.gen(function* () {
525
+ const database = yield* CurrentD1PlanningDatabase;
526
+ const journal = yield* CurrentCommitJournal;
527
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.subjectId);
528
+ const nativeSessionId = yield* mapping.sessionId.toNative(input.sessionId);
529
+ const condition = sql`exists(select 1 from ${mapping.subject.table} where ${sc.id} = ${sql.param(nativeSubjectId, sc.id)} and ${sc.status} = ${sql.param(mapping.d1.activeSubjectStatusValue, sc.status)} and ${sc.revision} = ${sql.param(input.expectedSecurityRevision, sc.revision)})`;
530
+ const encodedExpiry = mapping.tombstone.encodeInstant(input.absoluteExpiresAt);
531
+ const desiredExpiry = sql.param(encodedExpiry, t.absoluteExpiresAt);
532
+ const write = database.insert(mapping.tombstone.table).values(mapping.tombstone.encodeInsert({
533
+ subjectId: nativeSubjectId,
534
+ sessionId: nativeSessionId,
535
+ absoluteExpiresAt: input.absoluteExpiresAt
536
+ })).onConflictDoUpdate({
537
+ target: [t.subjectId, t.sessionId],
538
+ set: updateValues([[mapping.tombstone.absoluteExpiresAt, sql`case when ${t.absoluteExpiresAt} < ${desiredExpiry} then ${desiredExpiry} else ${t.absoluteExpiresAt} end`]])
539
+ });
540
+ return {
541
+ receipt: prepare(void 0, journal),
542
+ statements: [yield* assertion(condition), yield* statement(write)]
543
+ };
544
+ }), void 0, Effect.fail(stale())),
545
+ revokeAll: (input, prepare) => runPlanned(Effect.gen(function* () {
546
+ const database = yield* CurrentD1PlanningDatabase;
547
+ const journal = yield* CurrentCommitJournal;
548
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.subjectId);
549
+ const next = yield* allocate(mapping.subject.nextSecurityRevision?.(input.expectedSecurityRevision), mapping.subject.nextSecurityRevisionSync === void 0 ? void 0 : () => mapping.subject.nextSecurityRevisionSync(input.expectedSecurityRevision));
550
+ const condition = and(eq(sc.id, nativeSubjectId), eq(sc.status, mapping.d1.activeSubjectStatusValue), eq(sc.revision, input.expectedSecurityRevision));
551
+ const updateSubject = database.update(mapping.subject.table).set(updateValues([[mapping.subject.securityRevision, next]])).where(condition);
552
+ return {
553
+ receipt: prepare(void 0, journal),
554
+ statements: [yield* assertion(sql`exists(select 1 from ${mapping.subject.table} where ${condition})`), yield* statement(updateSubject)]
555
+ };
556
+ }), void 0, Effect.fail(stale()))
557
+ };
558
+ };
559
+ const makeD1SessionServiceEffects = {
560
+ authority: (database, mapping) => Effect.gen(function* () {
561
+ const hooks = yield* LifecycleHooks;
562
+ const raw = makeD1AuthenticationAuthority(mapping);
563
+ const run = (effect) => Effect.gen(function* () {
564
+ if ((yield* Effect.serviceOption(CurrentD1SessionBatch))._tag === "Some" || (yield* hasCommitScope)) return yield* unavailable();
565
+ return yield* effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks));
566
+ });
567
+ return { authenticationAuthority: {
568
+ capture: (subjectId, credentialIds) => run(raw.capture(subjectId, credentialIds)),
569
+ requirements: (evidence) => run(raw.requirements(evidence)),
570
+ approve: (input, prepare) => run(raw.approve(input, prepare))
571
+ } };
572
+ }),
573
+ pending: (database, mapping) => Effect.gen(function* () {
574
+ const hooks = yield* LifecycleHooks;
575
+ const raw = makeD1PendingAuthentication(mapping);
576
+ const run = (effect) => Effect.gen(function* () {
577
+ if ((yield* Effect.serviceOption(CurrentD1SessionBatch))._tag === "Some" || (yield* hasCommitScope)) return yield* unavailable();
578
+ return yield* effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks));
579
+ });
580
+ return { pendingAuthentication: {
581
+ create: (input, now, prepare) => run(raw.create(input, now, prepare)),
582
+ context: (input) => run(raw.context(input)),
583
+ read: (input) => run(raw.read(input)),
584
+ reject: (input, prepare) => run(raw.reject(input, prepare))
585
+ } };
586
+ }),
587
+ stateful: (database, mapping) => Effect.gen(function* () {
588
+ const hooks = yield* LifecycleHooks;
589
+ const raw = makeD1StatefulSessions(mapping);
590
+ const run = (effect) => Effect.gen(function* () {
591
+ if ((yield* Effect.serviceOption(CurrentD1SessionBatch))._tag === "Some" || (yield* hasCommitScope)) return yield* unavailable();
592
+ return yield* effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks));
593
+ });
594
+ return {
595
+ statefulSessionPersistence: {
596
+ establish: (input, prepare) => run(raw.persistence.establish(input, prepare)),
597
+ verify: (input) => run(raw.persistence.verify(input)),
598
+ rotate: (input, prepare) => run(raw.persistence.rotate(input, prepare)),
599
+ revokeDigest: (digest, prepare) => run(raw.persistence.revokeDigest(digest, prepare)),
600
+ revoke: (input, prepare) => run(raw.persistence.revoke(input, prepare)),
601
+ revokeAll: (input, prepare) => run(raw.persistence.revokeAll(input, prepare))
602
+ },
603
+ sessionRepository: { list: (input) => run(raw.repository.list(input)) }
604
+ };
605
+ }),
606
+ validity: (database, mapping) => Effect.gen(function* () {
607
+ const hooks = yield* LifecycleHooks;
608
+ const raw = makeD1SignedValidity(mapping);
609
+ const run = (effect) => Effect.gen(function* () {
610
+ if ((yield* Effect.serviceOption(CurrentD1SessionBatch))._tag === "Some" || (yield* hasCommitScope)) return yield* unavailable();
611
+ return yield* effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks));
612
+ });
613
+ return { signedSessionValidity: {
614
+ verify: (session, now) => run(raw.verify(session, now)),
615
+ revoke: (input, prepare) => run(raw.revoke(input, prepare)),
616
+ revokeAll: (input, prepare) => run(raw.revokeAll(input, prepare))
617
+ } };
618
+ })
619
+ };
620
+ /**
621
+ * Owns one atomic D1 persistence transition together with any number of
622
+ * application statements appended by `owner`. Keeping one persistence
623
+ * transition makes a failed batch's domain guard recoverable without exposing
624
+ * a prepared value. Compose additional transitions in later root batches.
625
+ * Interruption or owner failure before `$client.batch` discards the journal;
626
+ * the adapter performs no hidden retry and a retry must re-plan the whole owner.
627
+ * Caller failures remain in the error channel. D1 batch/transport failures that
628
+ * cannot be tied to this adapter's reserved guard become `SessionUnavailable`.
629
+ */
630
+ const coordinateD1SessionBatch = (database, make, owner) => Effect.gen(function* () {
631
+ if (yield* hasCommitScope) return yield* unavailable();
632
+ return (yield* coordinateCommit(() => Effect.gen(function* () {
633
+ const statements = [];
634
+ let mutation;
635
+ const nativeCollector = D1BatchStatements.of({ append: (statement) => Effect.sync(() => statements.push(statement)) });
636
+ const d1Owner = yield* makeD1Owner(unavailable()).pipe(Effect.provideService(D1BatchStatements, nativeCollector));
637
+ let batch;
638
+ const appendMutation = (input) => d1Owner.run(Effect.suspend(() => {
639
+ if (mutation !== void 0) return Effect.fail(unavailable());
640
+ mutation = input;
641
+ statements.push(...input.statements);
642
+ return Effect.void;
643
+ }));
644
+ batch = {
645
+ owner: d1Owner,
646
+ append: appendMutation
647
+ };
648
+ const services = yield* make(batch);
649
+ const value = yield* d1Owner.close(Effect.provideService(owner(services, batch), D1BatchStatements, d1Owner.collector));
650
+ if (mutation?.journalGuard !== void 0) {
651
+ const status = yield* Effect.result(mutation.journalGuard.read);
652
+ if (status._tag === "Success" || status.failure._tag !== "CommitPending") return yield* unavailable();
653
+ }
654
+ yield* database.$client.batch(statements).pipe(Effect.catchCause((cause) => Effect.fail(new D1BatchFailure({
655
+ cause,
656
+ ...mutation === void 0 ? {} : { mutation }
657
+ }))));
658
+ return value;
659
+ }), { mode: "batch" }).pipe(Effect.catchCause(recoverCoordinatedD1BatchCause), Effect.provideService(CurrentD1PlanningDatabase, database))).value;
660
+ });
661
+ const makeD1AuthenticationAuthorityServices = (database, mapping) => makeD1SessionServiceEffects.authority(database, mapping);
662
+ const makeD1PendingAuthenticationServices = (database, mapping) => makeD1SessionServiceEffects.pending(database, mapping);
663
+ const makeD1StatefulSessionServices = (database, mapping) => makeD1SessionServiceEffects.stateful(database, mapping);
664
+ const makeD1SignedSessionValidityServices = (database, mapping) => makeD1SessionServiceEffects.validity(database, mapping);
665
+ function coordinateD1AuthenticationAuthority(acquire, options, body) {
666
+ return Effect.flatMap(acquire, (database) => coordinateD1SessionBatch(database, (batch) => Effect.gen(function* () {
667
+ const hooks = yield* LifecycleHooks;
668
+ const raw = makeD1AuthenticationAuthority(options.mapping);
669
+ const run = (effect) => batch.owner.run(effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks), Effect.provideService(CurrentD1SessionBatch, batch)));
670
+ return { authenticationAuthority: {
671
+ capture: (subjectId, credentialIds) => run(raw.capture(subjectId, credentialIds)),
672
+ requirements: (evidence) => run(raw.requirements(evidence)),
673
+ approve: (input, prepare) => run(raw.approve(input, prepare))
674
+ } };
675
+ }), (ownedServices, batch) => {
676
+ const provided = Context.make(AuthenticationAuthority, ownedServices.authenticationAuthority).pipe(Context.add(D1BatchStatements, batch.owner.collector));
677
+ return Effect.provideContext(body, provided);
678
+ }));
679
+ }
680
+ function coordinateD1PendingAuthentication(acquire, options, body) {
681
+ return Effect.flatMap(acquire, (database) => coordinateD1SessionBatch(database, (batch) => Effect.gen(function* () {
682
+ const hooks = yield* LifecycleHooks;
683
+ const raw = makeD1PendingAuthentication(options.mapping);
684
+ const run = (effect) => batch.owner.run(effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks), Effect.provideService(CurrentD1SessionBatch, batch)));
685
+ return { pendingAuthentication: {
686
+ create: (input, now, prepare) => run(raw.create(input, now, prepare)),
687
+ context: (input) => run(raw.context(input)),
688
+ read: (input) => run(raw.read(input)),
689
+ reject: (input, prepare) => run(raw.reject(input, prepare))
690
+ } };
691
+ }), (ownedServices, batch) => {
692
+ const provided = Context.make(options.target, ownedServices.pendingAuthentication).pipe(Context.add(D1BatchStatements, batch.owner.collector));
693
+ return Effect.provideContext(body, provided);
694
+ }));
695
+ }
696
+ function coordinateD1StatefulSessions(acquire, options, body) {
697
+ return Effect.flatMap(acquire, (database) => coordinateD1SessionBatch(database, (batch) => Effect.gen(function* () {
698
+ const hooks = yield* LifecycleHooks;
699
+ const raw = makeD1StatefulSessions(options.mapping);
700
+ const run = (effect) => batch.owner.run(effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks), Effect.provideService(CurrentD1SessionBatch, batch)));
701
+ return {
702
+ statefulSessionPersistence: {
703
+ establish: (input, prepare) => run(raw.persistence.establish(input, prepare)),
704
+ verify: (input) => run(raw.persistence.verify(input)),
705
+ rotate: (input, prepare) => run(raw.persistence.rotate(input, prepare)),
706
+ revokeDigest: (digest, prepare) => run(raw.persistence.revokeDigest(digest, prepare)),
707
+ revoke: (input, prepare) => run(raw.persistence.revoke(input, prepare)),
708
+ revokeAll: (input, prepare) => run(raw.persistence.revokeAll(input, prepare))
709
+ },
710
+ sessionRepository: { list: (input) => run(raw.repository.list(input)) }
711
+ };
712
+ }), (ownedServices, batch) => {
713
+ const provided = Context.make(options.persistence, ownedServices.statefulSessionPersistence).pipe(Context.add(options.repository, ownedServices.sessionRepository), Context.add(D1BatchStatements, batch.owner.collector));
714
+ return Effect.provideContext(body, provided);
715
+ }));
716
+ }
717
+ function coordinateD1SignedSessionValidity(acquire, options, body) {
718
+ return Effect.flatMap(acquire, (database) => coordinateD1SessionBatch(database, (batch) => Effect.gen(function* () {
719
+ const hooks = yield* LifecycleHooks;
720
+ const raw = makeD1SignedValidity(options.mapping);
721
+ const run = (effect) => batch.owner.run(effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks), Effect.provideService(CurrentD1SessionBatch, batch)));
722
+ return { signedSessionValidity: {
723
+ verify: (session, now) => run(raw.verify(session, now)),
724
+ revoke: (input, prepare) => run(raw.revoke(input, prepare)),
725
+ revokeAll: (input, prepare) => run(raw.revokeAll(input, prepare))
726
+ } };
727
+ }), (ownedServices, batch) => {
728
+ const provided = Context.make(options.target, ownedServices.signedSessionValidity).pipe(Context.add(D1BatchStatements, batch.owner.collector));
729
+ return Effect.provideContext(body, provided);
730
+ }));
731
+ }
732
+ const stepUpColumns = (mapping) => Object.fromEntries([
733
+ "digest",
734
+ "version",
735
+ "flowId",
736
+ "subjectId",
737
+ "bindingDigest",
738
+ "snapshot",
739
+ "expiresAt",
740
+ "attemptLimit",
741
+ "failedAttempts",
742
+ "consumed"
743
+ ].map((key) => [key, column(mapping.intent.table, mapping.intent[key])]));
744
+ const stepUpSourceCondition = (mapping, intent, nativeSubjectId, nativeSessionId, plan) => {
745
+ const source = mapping.source;
746
+ if (source.kind !== intent.sourceKind) return sql`false`;
747
+ const time = and(sql`${mapping.d1.engineNowMillis} >= ${DateTime.toEpochMillis(intent.sourceAuthenticatedAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(intent.sourceExpiresAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(intent.sourceAbsoluteExpiresAt)}`);
748
+ if (source.kind === "StatelessSigned") return time;
749
+ if (source.kind === "StateAssistedSigned") {
750
+ const t = source.tombstone, owner = column(t.table, t.subjectId), id = column(t.table, t.sessionId), expiry = column(t.table, t.absoluteExpiresAt);
751
+ return and(time, not(sql`exists(select 1 from ${t.table} where ${owner}=${sql.param(nativeSubjectId, owner)} and ${id}=${sql.param(nativeSessionId, id)} and ${expiry}>${mapping.d1.engineNow})`));
752
+ }
753
+ const s = source.session, c = sessionColumns(source);
754
+ const condition = and(eq(c.sessionId, nativeSessionId), eq(c.subjectId, nativeSubjectId), eq(c.securityRevision, intent.revision.securityRevision), eq(column(s.table, s.credentialVersion), intent.sourceCredentialVersion), eq(column(s.table, s.authenticatedAt), s.encodeInstant(intent.sourceAuthenticatedAt)), eq(c.expiresAt, s.encodeInstant(intent.sourceExpiresAt)), eq(c.absoluteExpiresAt, s.encodeInstant(intent.sourceAbsoluteExpiresAt)), gt(c.expiresAt, mapping.d1.engineNow), gt(c.absoluteExpiresAt, mapping.d1.engineNow), plan?.replacement._tag === "Stateful" ? eq(c.digest, plan.replacement.expectedDigest) : void 0, plan?.replacement._tag === "Stateful" ? eq(c.version, plan.replacement.expectedRowVersion) : void 0);
755
+ return and(time, sql`exists(select 1 from ${s.table} where ${condition})`);
756
+ };
757
+ const stepUpRowCondition = (mapping, row, intent, nativeSubjectId) => {
758
+ const c = stepUpColumns(mapping), m = mapping.intent;
759
+ return and(eq(c.digest, intent.digest), eq(c.version, intent.version), eq(c.flowId, intent.flowId), eq(c.subjectId, nativeSubjectId), eq(c.bindingDigest, intent.bindingDigest), eq(c.snapshot, row[m.snapshot]), eq(c.expiresAt, m.encodeInstant(intent.expiresAt)), eq(c.attemptLimit, intent.attemptLimit), eq(c.consumed, false), eq(c.failedAttempts, row[m.failedAttempts]), sql`${c.failedAttempts} >= 0`, sql`${c.failedAttempts} < ${c.attemptLimit}`, gt(c.expiresAt, mapping.d1.engineNow));
760
+ };
761
+ const readD1StepUp = Effect.fn("DrizzleD1StepUp.read")(function* (mapping, digest) {
762
+ const database = yield* CurrentD1PlanningDatabase;
763
+ const m = mapping.intent, c = stepUpColumns(mapping);
764
+ const row = (yield* database.select().from(m.table).where(eq(c.digest, digest)).limit(1))[0];
765
+ if (row === void 0) return yield* SessionStepUpInvalid.make({});
766
+ const intent = yield* decodeStepUpIntent(row[m.snapshot]);
767
+ if (intent.digest !== digest || !stepUpIntentLive(intent, mapping.source.kind, yield* DateTime.now) || !Schema.is(Schema.Natural)(row[m.failedAttempts])) return yield* SessionStepUpInvalid.make({});
768
+ const nativeSubjectId = yield* mapping.subjectId.toNative(intent.revision.subjectId);
769
+ const nativeSessionId = mapping.source.kind === "StatelessSigned" ? void 0 : yield* mapping.source.sessionId.toNative(intent.sourceSessionId);
770
+ const condition = and(authorityCondition(mapping, nativeSubjectId, intent), stepUpSourceCondition(mapping, intent, nativeSubjectId, nativeSessionId), sql`exists(select 1 from ${m.table} where ${stepUpRowCondition(mapping, row, intent, nativeSubjectId)})`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(intent.expiresAt)}`);
771
+ if (!(yield* conditionMatches(condition))) return yield* SessionStepUpInvalid.make({});
772
+ return {
773
+ row,
774
+ intent,
775
+ nativeSubjectId,
776
+ nativeSessionId
777
+ };
778
+ });
779
+ const isD1StepUpRejectAbsence = (error) => typeof error === "object" && error !== null && Reflect.get(error, "_tag") === "SessionStepUpInvalid";
780
+ const recoverD1StepUpRejectAbsence = (effect, rejected) => effect.pipe(Effect.catchCause((cause) => {
781
+ if (cause.reasons.length > 0 && cause.reasons.every((reason) => Cause.isFailReason(reason) && isD1StepUpRejectAbsence(reason.error))) return Effect.succeed(rejected);
782
+ return Effect.failCause(Cause.map(cause, (error) => isD1StepUpRejectAbsence(error) ? SessionUnavailable.make({}) : error));
783
+ }));
784
+ const makeD1SessionStepUp = (mapping) => {
785
+ const m = mapping.intent, c = stepUpColumns(mapping);
786
+ const recover = Effect.fail(SessionStepUpInvalid.make({}));
787
+ return {
788
+ create: (input, _now, prepare) => runPlanned(Effect.gen(function* () {
789
+ const database = yield* CurrentD1PlanningDatabase;
790
+ const journal = yield* CurrentCommitJournal;
791
+ const version = yield* allocate(m.allocateVersion, m.allocateVersionSync), record = {
792
+ ...input,
793
+ version
794
+ };
795
+ if (!stepUpIntentLive(record, mapping.source.kind, yield* DateTime.now)) return yield* stale();
796
+ const nativeSubjectId = yield* mapping.subjectId.toNative(input.revision.subjectId);
797
+ const nativeSessionId = mapping.source.kind === "StatelessSigned" ? void 0 : yield* mapping.source.sessionId.toNative(input.sourceSessionId);
798
+ if ((yield* database.select().from(m.table).where(or(eq(c.digest, input.digest), eq(c.flowId, input.flowId))).limit(1)).length > 0) return yield* SessionConflict.make({});
799
+ const condition = and(authorityCondition(mapping, nativeSubjectId, record), stepUpSourceCondition(mapping, record, nativeSubjectId, nativeSessionId), sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(input.expiresAt)}`);
800
+ if (!(yield* conditionMatches(condition))) return yield* stale();
801
+ const snapshot = yield* encodeStepUpIntent(record);
802
+ const values = {
803
+ ...m.encodeInsert(record, { subjectId: nativeSubjectId }),
804
+ ...updateValues([
805
+ [m.digest, record.digest],
806
+ [m.version, version],
807
+ [m.flowId, record.flowId],
808
+ [m.subjectId, nativeSubjectId],
809
+ [m.bindingDigest, record.bindingDigest],
810
+ [m.snapshot, snapshot],
811
+ [m.expiresAt, m.encodeInstant(record.expiresAt)],
812
+ [m.attemptLimit, record.attemptLimit],
813
+ [m.failedAttempts, 0],
814
+ [m.consumed, false]
815
+ ])
816
+ };
817
+ const receipt = prepare(record, journal);
818
+ const exact = and(eq(c.digest, record.digest), eq(c.version, version), eq(c.flowId, record.flowId), eq(c.subjectId, nativeSubjectId), eq(c.bindingDigest, record.bindingDigest), eq(c.snapshot, snapshot), eq(c.expiresAt, m.encodeInstant(record.expiresAt)), eq(c.attemptLimit, record.attemptLimit), eq(c.failedAttempts, 0), eq(c.consumed, false));
819
+ return {
820
+ receipt,
821
+ statements: [
822
+ yield* assertion(condition),
823
+ yield* statement(database.insert(m.table).values(values)),
824
+ yield* assertion(sql`changes() = 1`),
825
+ yield* assertion(and(condition, sql`exists(select 1 from ${m.table} where ${exact})`))
826
+ ]
827
+ };
828
+ }), mapping.isConstraintConflict, Effect.fail(stale())),
829
+ context: (input) => mapFailureCause(readD1StepUp(mapping, input.digest).pipe(Effect.flatMap(({ intent }) => snapshotPendingAuthenticationContext({
830
+ flowId: intent.flowId,
831
+ bindingDigest: intent.bindingDigest,
832
+ revision: intent.revision,
833
+ expiresAtMillis: DateTime.toEpochMillis(intent.expiresAt)
834
+ }))), (error) => error._tag === "PendingAuthenticationInvalid" ? unavailable() : error).pipe(terminalD1),
835
+ read: (input) => readD1StepUp(mapping, input.digest).pipe(Effect.flatMap(({ intent }) => intent.bindingDigest === input.bindingDigest ? Effect.succeed(intent) : Effect.fail(SessionStepUpInvalid.make({}))), terminalD1),
836
+ reject: (input, prepare) => runPlanned(Effect.gen(function* () {
837
+ const database = yield* CurrentD1PlanningDatabase;
838
+ const journal = yield* CurrentCommitJournal;
839
+ const selected = yield* recoverD1StepUpRejectAbsence(readD1StepUp(mapping, input.digest).pipe(Effect.map((value) => ({
840
+ _tag: "Found",
841
+ value
842
+ }))), { _tag: "Rejected" });
843
+ if (selected._tag === "Rejected") return {
844
+ receipt: prepare({ _tag: "Rejected" }, journal),
845
+ statements: []
846
+ };
847
+ const { row, intent, nativeSubjectId, nativeSessionId } = selected.value;
848
+ const condition = and(eq(c.digest, intent.digest), eq(c.version, intent.version), eq(c.snapshot, row[m.snapshot]), eq(c.subjectId, nativeSubjectId), eq(c.bindingDigest, intent.bindingDigest), eq(c.flowId, intent.flowId), eq(c.expiresAt, m.encodeInstant(intent.expiresAt)), eq(c.attemptLimit, intent.attemptLimit), eq(c.consumed, false), sql`${c.failedAttempts} >= 0`, sql`${c.failedAttempts} < ${c.attemptLimit}`, gt(c.expiresAt, mapping.d1.engineNow), authorityCondition(mapping, nativeSubjectId, intent), stepUpSourceCondition(mapping, intent, nativeSubjectId, nativeSessionId));
849
+ const write = database.update(m.table).set(updateValues([[m.failedAttempts, sql`${c.failedAttempts} + 1`]])).where(condition);
850
+ const settled = sql`changes() = 1 or not exists(select 1 from ${m.table} where ${condition})`;
851
+ return {
852
+ receipt: prepare({ _tag: "Rejected" }, journal),
853
+ statements: [yield* statement(write), yield* assertion(settled)]
854
+ };
855
+ }), void 0, Effect.fail(unavailable())),
856
+ complete: (plan, prepare) => runPlanned(Effect.gen(function* () {
857
+ const database = yield* CurrentD1PlanningDatabase;
858
+ const journal = yield* CurrentCommitJournal;
859
+ yield* validateStepUpPlan(plan);
860
+ const stored = yield* readD1StepUp(mapping, plan.intent.digest);
861
+ if ((yield* encodeStepUpIntent(stored.intent)) !== (yield* encodeStepUpIntent(plan.intent))) return yield* SessionStepUpInvalid.make({});
862
+ const base = yield* requirement(mapping, plan.evidence);
863
+ if (!(yield* assessAuthentication(plan.evidence, base)).satisfied || !(yield* assessAuthentication(plan.evidence, stored.intent.requirement)).satisfied) return yield* stale();
864
+ const { row, intent, nativeSubjectId, nativeSessionId } = stored, replacement = plan.replacement;
865
+ const target = replacement.inspection.session;
866
+ if (DateTime.toEpochMillis(target.expiresAt) > DateTime.toEpochMillis(intent.sourceAbsoluteExpiresAt)) return yield* SessionStepUpInvalid.make({});
867
+ const live = and(authorityCondition(mapping, nativeSubjectId, plan.evidence), freshnessCondition(mapping, plan.evidence, base, true), freshnessCondition(mapping, plan.evidence, intent.requirement, true), sql`${mapping.d1.engineNowMillis} >= ${DateTime.toEpochMillis(intent.sourceAuthenticatedAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(intent.expiresAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(intent.sourceExpiresAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(intent.sourceAbsoluteExpiresAt)}`, sql`${mapping.d1.engineNowMillis} >= ${DateTime.toEpochMillis(target.issuedAt)}`, sql`${mapping.d1.engineNowMillis} < ${DateTime.toEpochMillis(target.expiresAt)}`);
868
+ const source = stepUpSourceCondition(mapping, intent, nativeSubjectId, nativeSessionId, plan);
869
+ const version = yield* allocate(m.allocateVersion, m.allocateVersionSync);
870
+ if (version === intent.version) return yield* unavailable();
871
+ const snapshot = yield* encodeStepUpIntent({
872
+ ...intent,
873
+ version
874
+ });
875
+ const consume = database.update(m.table).set(updateValues([
876
+ [m.consumed, true],
877
+ [m.version, version],
878
+ [m.snapshot, snapshot]
879
+ ])).where(and(stepUpRowCondition(mapping, row, intent, nativeSubjectId), live, source));
880
+ const marker = sql`exists(select 1 from ${m.table} where ${c.digest}=${sql.param(intent.digest, c.digest)} and ${c.version}=${sql.param(version, c.version)} and ${c.snapshot}=${sql.param(snapshot, c.snapshot)} and ${c.consumed}=${sql.param(true, c.consumed)} and ${c.failedAttempts}=${row[m.failedAttempts]})`;
881
+ const statements = [yield* statement(consume), yield* assertion(sql`changes() = 1`)];
882
+ let post = sql`true`;
883
+ if (replacement._tag === "Stateful") {
884
+ if (mapping.source.kind !== "Stateful") return yield* SessionStepUpInvalid.make({});
885
+ const s = mapping.source.session, sc = sessionColumns(mapping.source);
886
+ const rowVersion = yield* allocate(s.allocateVersion, s.allocateVersionSync);
887
+ const next = {
888
+ ...target,
889
+ provenance: replacement.inspection.provenance,
890
+ credentialVersion: replacement.inspection.credentialVersion,
891
+ digest: replacement.nextDigest,
892
+ version: rowVersion
893
+ };
894
+ const rotation = {
895
+ ...s.encodeRotation(next),
896
+ ...updateValues([
897
+ [s.version, rowVersion],
898
+ [s.digest, next.digest],
899
+ [s.credentialVersion, next.credentialVersion],
900
+ [s.authenticatedAt, s.encodeInstant(target.assurance.authenticatedAt)],
901
+ [s.issuedAt, s.encodeInstant(target.issuedAt)],
902
+ [s.expiresAt, s.encodeInstant(target.expiresAt)],
903
+ [s.absoluteExpiresAt, s.encodeInstant(target.absoluteExpiresAt)]
904
+ ])
905
+ };
906
+ const write = database.update(s.table).set(rotation).where(and(eq(sc.sessionId, nativeSessionId), eq(sc.digest, replacement.expectedDigest), eq(sc.version, replacement.expectedRowVersion), marker, source, live));
907
+ statements.push(yield* statement(write), yield* assertion(sql`changes() = 1`));
908
+ const exact = and(eq(sc.sessionId, nativeSessionId), eq(sc.subjectId, nativeSubjectId), eq(sc.version, rowVersion), eq(sc.digest, next.digest), eq(sc.securityRevision, target.securityRevision), eq(column(s.table, s.credentialVersion), next.credentialVersion), eq(column(s.table, s.authenticatedAt), s.encodeInstant(target.assurance.authenticatedAt)), eq(sc.issuedAt, s.encodeInstant(target.issuedAt)), eq(sc.expiresAt, s.encodeInstant(target.expiresAt)), eq(sc.absoluteExpiresAt, s.encodeInstant(target.absoluteExpiresAt)));
909
+ post = sql`exists(select 1 from ${s.table} where ${exact})`;
910
+ } else if (replacement._tag === "StateAssistedSigned") {
911
+ if (mapping.source.kind !== "StateAssistedSigned") return yield* SessionStepUpInvalid.make({});
912
+ const t = mapping.source.tombstone, owner = column(t.table, t.subjectId), id = column(t.table, t.sessionId), expiry = column(t.table, t.absoluteExpiresAt);
913
+ statements.push(yield* statement(database.delete(t.table).where(and(eq(owner, nativeSubjectId), eq(id, nativeSessionId), sql`${expiry} <= ${mapping.d1.engineNow}`, marker))));
914
+ const values = t.encodeInsert({
915
+ subjectId: nativeSubjectId,
916
+ sessionId: nativeSessionId,
917
+ absoluteExpiresAt: replacement.tombstoneUntil
918
+ });
919
+ statements.push(yield* statement(database.insert(t.table).values(values)), yield* assertion(sql`changes() = 1`));
920
+ const exact = and(eq(owner, nativeSubjectId), eq(id, nativeSessionId), eq(expiry, t.encodeInstant(replacement.tombstoneUntil)));
921
+ post = sql`exists(select 1 from ${t.table} where ${exact})`;
922
+ }
923
+ statements.push(yield* assertion(and(marker, post, live)));
924
+ return {
925
+ receipt: prepare(replacement.inspection, journal),
926
+ statements
927
+ };
928
+ }), mapping.isConstraintConflict, recover)
929
+ };
930
+ };
931
+ const makeD1SessionStepUpServices = (database, mapping, target) => Effect.gen(function* () {
932
+ const hooks = yield* LifecycleHooks;
933
+ const raw = makeD1SessionStepUp(mapping);
934
+ const run = (effect) => Effect.gen(function* () {
935
+ if ((yield* Effect.serviceOption(CurrentD1SessionBatch))._tag === "Some" || (yield* hasCommitScope)) return yield* unavailable();
936
+ return yield* effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks));
937
+ });
938
+ return { sessionStepUpPersistence: target.of({
939
+ create: (input, now, prepare) => run(raw.create(input, now, prepare)),
940
+ context: (input) => run(raw.context(input)),
941
+ read: (input) => run(raw.read(input)),
942
+ reject: (input, prepare) => run(raw.reject(input, prepare)),
943
+ complete: (plan, prepare) => run(raw.complete(plan, prepare))
944
+ }) };
945
+ });
946
+ function coordinateD1SessionStepUp(acquire, options, body) {
947
+ return Effect.flatMap(acquire, (database) => coordinateD1SessionBatch(database, (batch) => Effect.gen(function* () {
948
+ const hooks = yield* LifecycleHooks;
949
+ const raw = makeD1SessionStepUp(options.mapping);
950
+ const run = (effect) => batch.owner.run(effect.pipe(Effect.provideService(CurrentD1PlanningDatabase, database), Effect.provideService(LifecycleHooks, hooks), Effect.provideService(CurrentD1SessionBatch, batch)));
951
+ return { sessionStepUpPersistence: options.target.of({
952
+ create: (input, now, prepare) => run(raw.create(input, now, prepare)),
953
+ context: (input) => run(raw.context(input)),
954
+ read: (input) => run(raw.read(input)),
955
+ reject: (input, prepare) => run(raw.reject(input, prepare)),
956
+ complete: (plan, prepare) => run(raw.complete(plan, prepare))
957
+ }) };
958
+ }), (ownedServices, batch) => {
959
+ const provided = Context.make(options.target, ownedServices.sessionStepUpPersistence).pipe(Context.add(D1BatchStatements, batch.owner.collector));
960
+ return Effect.provideContext(body, provided);
961
+ }));
962
+ }
963
+ //#endregion
964
+ export { coordinateD1AuthenticationAuthority, coordinateD1PendingAuthentication, coordinateD1SessionBatch, coordinateD1SessionStepUp, coordinateD1SignedSessionValidity, coordinateD1StatefulSessions, makeD1AuthenticationAuthority, makeD1AuthenticationAuthorityServices, makeD1PendingAuthentication, makeD1PendingAuthenticationServices, makeD1SessionServiceEffects, makeD1SessionStepUp, makeD1SessionStepUpServices, makeD1SignedSessionValidityServices, makeD1SignedValidity, makeD1StatefulSessionServices, makeD1StatefulSessions };
965
+
966
+ //# sourceMappingURL=d1-sessions.mjs.map