@yielded/auth-persistence-drizzle 0.1.0-beta.0

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