@yielded/auth-persistence 0.1.0-beta.10

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 (182) hide show
  1. package/README.md +27 -0
  2. package/dist/Adapter.d.mts +30 -0
  3. package/dist/Adapter.mjs +25 -0
  4. package/dist/index.d.mts +7 -0
  5. package/dist/index.mjs +7 -0
  6. package/dist/internal/PasswordPreparedPostconditions.d.mts +22 -0
  7. package/dist/internal/PasswordPreparedPostconditions.mjs +12 -0
  8. package/dist/internal/PasswordPreparedPostconditions.mjs.map +1 -0
  9. package/dist/internal/configuration.d.mts +174 -0
  10. package/dist/internal/configuration.mjs +7 -0
  11. package/dist/internal/configuration.mjs.map +1 -0
  12. package/dist/internal/email-kernel.d.mts +275 -0
  13. package/dist/internal/email-kernel.mjs +487 -0
  14. package/dist/internal/email-kernel.mjs.map +1 -0
  15. package/dist/internal/mapping-error.d.mts +10 -0
  16. package/dist/internal/mapping-error.mjs +30 -0
  17. package/dist/internal/mapping-error.mjs.map +1 -0
  18. package/dist/internal/models/common.d.mts +12 -0
  19. package/dist/internal/models/email-model.d.mts +353 -0
  20. package/dist/internal/models/email-model.mjs +21 -0
  21. package/dist/internal/models/email-model.mjs.map +1 -0
  22. package/dist/internal/models/passkey-model.d.mts +266 -0
  23. package/dist/internal/models/passkey-model.mjs +34 -0
  24. package/dist/internal/models/passkey-model.mjs.map +1 -0
  25. package/dist/internal/models/passkey-registration-ceremony-model.d.mts +49 -0
  26. package/dist/internal/models/passkey-registration-ceremony-model.mjs +18 -0
  27. package/dist/internal/models/passkey-registration-ceremony-model.mjs.map +1 -0
  28. package/dist/internal/models/passkey-write-model.d.mts +189 -0
  29. package/dist/internal/models/passkey-write-model.mjs +13 -0
  30. package/dist/internal/models/passkey-write-model.mjs.map +1 -0
  31. package/dist/internal/models/password-model.d.mts +328 -0
  32. package/dist/internal/models/password-model.mjs +23 -0
  33. package/dist/internal/models/password-model.mjs.map +1 -0
  34. package/dist/internal/models/proof-model.d.mts +285 -0
  35. package/dist/internal/models/proof-model.mjs +17 -0
  36. package/dist/internal/models/proof-model.mjs.map +1 -0
  37. package/dist/internal/models/session-model.d.mts +199 -0
  38. package/dist/internal/models/session-model.mjs +20 -0
  39. package/dist/internal/models/session-model.mjs.map +1 -0
  40. package/dist/internal/models/step-up-model.d.mts +66 -0
  41. package/dist/internal/models/step-up-model.mjs +9 -0
  42. package/dist/internal/models/step-up-model.mjs.map +1 -0
  43. package/dist/internal/oauth-app.d.mts +11 -0
  44. package/dist/internal/oauth-app.mjs +57 -0
  45. package/dist/internal/oauth-app.mjs.map +1 -0
  46. package/dist/internal/oauth-server.d.mts +10 -0
  47. package/dist/internal/oauth-server.mjs +66 -0
  48. package/dist/internal/oauth-server.mjs.map +1 -0
  49. package/dist/internal/passkey/admission.d.mts +6 -0
  50. package/dist/internal/passkey/admission.mjs +216 -0
  51. package/dist/internal/passkey/admission.mjs.map +1 -0
  52. package/dist/internal/passkey/credentials.d.mts +14 -0
  53. package/dist/internal/passkey/credentials.mjs +249 -0
  54. package/dist/internal/passkey/credentials.mjs.map +1 -0
  55. package/dist/internal/passkey/enrollment.mjs +138 -0
  56. package/dist/internal/passkey/enrollment.mjs.map +1 -0
  57. package/dist/internal/passkey/flow.d.mts +21 -0
  58. package/dist/internal/passkey/flow.mjs +452 -0
  59. package/dist/internal/passkey/flow.mjs.map +1 -0
  60. package/dist/internal/passkey/management.mjs +231 -0
  61. package/dist/internal/passkey/management.mjs.map +1 -0
  62. package/dist/internal/passkey/registration-ceremony.d.mts +9 -0
  63. package/dist/internal/passkey/registration-ceremony.mjs +129 -0
  64. package/dist/internal/passkey/registration-ceremony.mjs.map +1 -0
  65. package/dist/internal/passkey/registration-custody.d.mts +2 -0
  66. package/dist/internal/passkey/registration-custody.mjs +52 -0
  67. package/dist/internal/passkey/registration-custody.mjs.map +1 -0
  68. package/dist/internal/passkey/registration-write.mjs +211 -0
  69. package/dist/internal/passkey/registration-write.mjs.map +1 -0
  70. package/dist/internal/passkey/state.d.mts +10 -0
  71. package/dist/internal/passkey/state.mjs +234 -0
  72. package/dist/internal/passkey/state.mjs.map +1 -0
  73. package/dist/internal/passkey/target.d.mts +19 -0
  74. package/dist/internal/passkey/target.mjs +190 -0
  75. package/dist/internal/passkey/target.mjs.map +1 -0
  76. package/dist/internal/passkey/write-state.d.mts +17 -0
  77. package/dist/internal/passkey/write-state.mjs +345 -0
  78. package/dist/internal/passkey/write-state.mjs.map +1 -0
  79. package/dist/internal/passkey/write-target.mjs +192 -0
  80. package/dist/internal/passkey/write-target.mjs.map +1 -0
  81. package/dist/internal/passkey-kernel.d.mts +5592 -0
  82. package/dist/internal/passkey-kernel.mjs +49 -0
  83. package/dist/internal/passkey-kernel.mjs.map +1 -0
  84. package/dist/internal/passkeys.d.mts +7 -0
  85. package/dist/internal/passkeys.mjs +368 -0
  86. package/dist/internal/passkeys.mjs.map +1 -0
  87. package/dist/internal/password-kernel.d.mts +290 -0
  88. package/dist/internal/password-kernel.mjs +704 -0
  89. package/dist/internal/password-kernel.mjs.map +1 -0
  90. package/dist/internal/persistence.d.mts +25 -0
  91. package/dist/internal/persistence.mjs +291 -0
  92. package/dist/internal/persistence.mjs.map +1 -0
  93. package/dist/internal/phone-kernel.d.mts +162 -0
  94. package/dist/internal/phone-kernel.mjs +434 -0
  95. package/dist/internal/phone-kernel.mjs.map +1 -0
  96. package/dist/internal/proof-kernel.d.mts +93 -0
  97. package/dist/internal/proof-kernel.mjs +619 -0
  98. package/dist/internal/proof-kernel.mjs.map +1 -0
  99. package/dist/internal/query-operations.d.mts +61 -0
  100. package/dist/internal/registration-contract.d.mts +16 -0
  101. package/dist/internal/registration.mjs +66 -0
  102. package/dist/internal/registration.mjs.map +1 -0
  103. package/dist/internal/session-kernel.d.mts +48 -0
  104. package/dist/internal/session-kernel.mjs +737 -0
  105. package/dist/internal/session-kernel.mjs.map +1 -0
  106. package/dist/internal/sql-persistence.d.mts +10 -0
  107. package/dist/internal/sql-persistence.mjs +37 -0
  108. package/dist/internal/sql-persistence.mjs.map +1 -0
  109. package/dist/internal/sql-query.mjs +207 -0
  110. package/dist/internal/sql-query.mjs.map +1 -0
  111. package/dist/internal/sql-table.d.mts +36 -0
  112. package/dist/internal/sql-table.mjs +81 -0
  113. package/dist/internal/sql-table.mjs.map +1 -0
  114. package/dist/internal/standalone.d.mts +9 -0
  115. package/dist/internal/standalone.mjs +13 -0
  116. package/dist/internal/standalone.mjs.map +1 -0
  117. package/dist/internal/step-up-state.d.mts +49 -0
  118. package/dist/internal/step-up-state.mjs +32 -0
  119. package/dist/internal/step-up-state.mjs.map +1 -0
  120. package/dist/internal/storage-mapping.mjs +686 -0
  121. package/dist/internal/storage-mapping.mjs.map +1 -0
  122. package/dist/internal/storage-tables.d.mts +913 -0
  123. package/dist/internal/storage-tables.mjs +387 -0
  124. package/dist/internal/storage-tables.mjs.map +1 -0
  125. package/dist/internal/storage-validation.mjs +58 -0
  126. package/dist/internal/storage-validation.mjs.map +1 -0
  127. package/dist/internal/transaction-execution-kernel.d.mts +38 -0
  128. package/dist/internal/transaction-execution-kernel.mjs +116 -0
  129. package/dist/internal/transaction-execution-kernel.mjs.map +1 -0
  130. package/dist/internal/transaction-kernel.d.mts +77 -0
  131. package/dist/internal/transaction-kernel.mjs +260 -0
  132. package/dist/internal/transaction-kernel.mjs.map +1 -0
  133. package/package.json +1 -0
  134. package/src/Adapter.ts +291 -0
  135. package/src/index.ts +6 -0
  136. package/src/internal/PasswordPreparedPostconditions.ts +30 -0
  137. package/src/internal/configuration.ts +282 -0
  138. package/src/internal/email-kernel.ts +1535 -0
  139. package/src/internal/mapping-error.ts +36 -0
  140. package/src/internal/models/common.ts +11 -0
  141. package/src/internal/models/email-model.ts +559 -0
  142. package/src/internal/models/passkey-model.ts +390 -0
  143. package/src/internal/models/passkey-registration-ceremony-model.ts +72 -0
  144. package/src/internal/models/passkey-write-model.ts +297 -0
  145. package/src/internal/models/password-model.ts +513 -0
  146. package/src/internal/models/proof-model.ts +424 -0
  147. package/src/internal/models/session-model.ts +375 -0
  148. package/src/internal/models/step-up-model.ts +135 -0
  149. package/src/internal/oauth-app.ts +82 -0
  150. package/src/internal/oauth-server.ts +89 -0
  151. package/src/internal/passkey/admission.ts +361 -0
  152. package/src/internal/passkey/credentials.ts +511 -0
  153. package/src/internal/passkey/enrollment.ts +326 -0
  154. package/src/internal/passkey/flow.ts +1062 -0
  155. package/src/internal/passkey/management.ts +421 -0
  156. package/src/internal/passkey/registration-ceremony.ts +283 -0
  157. package/src/internal/passkey/registration-custody.ts +91 -0
  158. package/src/internal/passkey/registration-write.ts +426 -0
  159. package/src/internal/passkey/state.ts +353 -0
  160. package/src/internal/passkey/target.ts +586 -0
  161. package/src/internal/passkey/write-state.ts +681 -0
  162. package/src/internal/passkey/write-target.ts +452 -0
  163. package/src/internal/passkey-kernel.ts +104 -0
  164. package/src/internal/passkeys.ts +606 -0
  165. package/src/internal/password-kernel.ts +2124 -0
  166. package/src/internal/persistence.ts +588 -0
  167. package/src/internal/phone-kernel.ts +846 -0
  168. package/src/internal/proof-kernel.ts +1954 -0
  169. package/src/internal/query-operations.ts +81 -0
  170. package/src/internal/registration-contract.ts +22 -0
  171. package/src/internal/registration.ts +161 -0
  172. package/src/internal/session-kernel.ts +2217 -0
  173. package/src/internal/sql-persistence.ts +45 -0
  174. package/src/internal/sql-query.ts +298 -0
  175. package/src/internal/sql-table.ts +104 -0
  176. package/src/internal/standalone.ts +30 -0
  177. package/src/internal/step-up-state.ts +139 -0
  178. package/src/internal/storage-mapping.ts +708 -0
  179. package/src/internal/storage-tables.ts +408 -0
  180. package/src/internal/storage-validation.ts +117 -0
  181. package/src/internal/transaction-execution-kernel.ts +313 -0
  182. package/src/internal/transaction-kernel.ts +593 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"transaction-execution-kernel.mjs","names":[],"sources":["../../src/internal/transaction-execution-kernel.ts"],"sourcesContent":["import {\n coordinateCommit,\n hasCommitScope,\n CurrentCommitJournal,\n type LifecycleHooks,\n type HookConfigurationError,\n} from \"@yielded/auth/Hooks\";\n/* oxlint-disable no-explicit-any -- existing storage kernels erase foreign table shapes; domain errors remain typed. */\n/* oxlint-disable no-explicit-any -- private execution bridge retains exact public driver wrappers. */\nimport { Context, Effect } from \"effect\";\nimport type * as SqlClient from \"effect/unstable/sql/SqlClient\";\nimport type * as SqlError from \"effect/unstable/sql/SqlError\";\nimport type { Statement } from \"effect/unstable/sql/Statement\";\n\nimport { requireStandalone } from \"./standalone\";\nimport {\n type TransactionNativeDatabase,\n type TransactionOwner,\n type makeTransactionKernel,\n} from \"./transaction-kernel\";\n\nexport interface TransactionTargetConfiguration<Failure> {\n readonly mode: \"interactive\" | \"synchronous\" | \"batch\";\n readonly dialect: \"pg\" | \"mysql\" | \"sqlite\";\n readonly locking: boolean;\n readonly standaloneGuard: (database: any) => Effect.Effect<void, Failure>;\n readonly transaction?: <A, E, R>(\n database: any,\n body: (transaction: any) => Effect.Effect<A, E, R>,\n ) => Effect.Effect<A, E | SqlError.SqlError | Failure, R>;\n}\n\nexport type TransactionCoordinatorError<E, Failure> =\n | E\n | Failure\n | HookConfigurationError\n | SqlError.SqlError;\n\nexport interface TransactionBound<Failure> {\n readonly owner: TransactionOwner<Failure>;\n used: boolean;\n poisoned: boolean;\n active: boolean;\n inFlight: number;\n}\n\nexport interface TransactionExecution<Failure, OwnerId, Requirements = LifecycleHooks> {\n readonly bound: boolean;\n readonly active: () => boolean;\n readonly admit: Effect.Effect<void, Failure>;\n readonly poison: () => void;\n readonly run: <A, E, R>(\n body: Effect.Effect<A, E, R>,\n mutation?: boolean,\n ) => Effect.Effect<A, Failure, Exclude<R, OwnerId | CurrentCommitJournal> | Requirements>;\n}\n\nexport const makeTransactionExecutionKernel = (\n transactions: Pick<\n ReturnType<typeof makeTransactionKernel>,\n \"makeTransactionOwner\" | \"reportTransactionFailure\"\n >,\n) => {\n const { makeTransactionOwner, reportTransactionFailure } = transactions;\n\n const sqlClientTransactionStandaloneGuard = <Failure>(\n unavailable: () => Failure,\n database: {\n readonly $client: Pick<SqlClient.SqlClient, \"transactionService\">;\n },\n ) => requireStandalone(unavailable, database.$client);\n\n const makeTransactionExecution = <Failure, OwnerId>(\n ownerTag: Context.Key<OwnerId, TransactionOwner<Failure>>,\n database: TransactionNativeDatabase,\n configuration: TransactionTargetConfiguration<Failure>,\n unavailable: () => Failure,\n nonce: () => string,\n bound?: TransactionBound<Failure>,\n ): TransactionExecution<Failure, OwnerId> => {\n const invariant: (value: unknown) => asserts value = (value) => {\n if (!value) throw unavailable();\n };\n\n return {\n bound: bound !== undefined,\n active: () => bound === undefined || bound.active,\n admit:\n bound !== undefined\n ? Effect.suspend(() => (bound.active ? Effect.void : Effect.fail(unavailable())))\n : Effect.gen(function* () {\n if (yield* hasCommitScope) return yield* Effect.fail(unavailable());\n yield* configuration.standaloneGuard(database);\n }),\n poison: () => {\n if (bound !== undefined) bound.poisoned = true;\n },\n run: <A, E, R>(\n body: Effect.Effect<A, E, R>,\n mutation = true,\n ): Effect.Effect<A, Failure, Exclude<R, OwnerId | CurrentCommitJournal> | LifecycleHooks> => {\n return Effect.suspend(() => {\n let entered = false;\n\n const work =\n bound !== undefined\n ? Effect.gen(function* () {\n if (!bound.active) return yield* Effect.fail(unavailable());\n entered = true;\n bound.inFlight++;\n if (!mutation)\n return yield* Effect.provideContext(\n body,\n Context.make(ownerTag, bound.owner).pipe(\n Context.add(CurrentCommitJournal, bound.owner.journal),\n ),\n );\n invariant(!bound.used && !bound.poisoned);\n bound.used = true;\n\n const result = yield* coordinateCommit(\n (journal) =>\n Effect.gen(function* () {\n bound.owner.guards.push(journal.prepare(undefined));\n\n return yield* Effect.provideContext(\n body,\n Context.make(ownerTag, { ...bound.owner, journal }).pipe(\n Context.add(CurrentCommitJournal, journal),\n ),\n );\n }),\n { mode: configuration.mode },\n );\n\n return result.value;\n }).pipe(\n Effect.onExit((exit) =>\n Effect.sync(() => {\n if (entered) bound.inFlight--;\n if (exit._tag === \"Failure\") bound.poisoned = true;\n }),\n ),\n )\n : Effect.gen(function* () {\n if (yield* hasCommitScope) return yield* Effect.fail(unavailable());\n yield* configuration.standaloneGuard(database);\n const marker = nonce();\n\n const result = yield* coordinateCommit(\n (journal) => {\n const run = (tx: TransactionNativeDatabase) =>\n Effect.gen(function* () {\n const owner = makeTransactionOwner(tx, journal, marker, unavailable, {\n client: database.$client,\n batch: configuration.mode === \"batch\",\n locking: configuration.locking,\n mysql: configuration.dialect === \"mysql\",\n dialect: configuration.dialect,\n });\n\n const value = yield* Effect.provideContext(\n body,\n Context.make(ownerTag, owner).pipe(\n Context.add(CurrentCommitJournal, journal),\n ),\n );\n\n yield* owner.finish();\n if (configuration.mode === \"batch\")\n yield* tx.$client.batch(owner.statements);\n\n return value;\n });\n\n return configuration.mode === \"batch\"\n ? run(database)\n : configuration.transaction !== undefined\n ? configuration.transaction(database, run)\n : database.transaction(run);\n },\n { mode: configuration.mode },\n );\n\n return result.value;\n });\n\n return work.pipe(\n (operation) => reportTransactionFailure(operation, unavailable),\n Effect.mapError(unavailable),\n Effect.catchDefect(() => Effect.fail(unavailable())),\n );\n });\n },\n };\n };\n\n const coordinateTransactionOwner = <\n Failure,\n OwnerId,\n Resources,\n AllocationError,\n Services,\n Transaction,\n A,\n E,\n R,\n >(\n database: TransactionNativeDatabase,\n ownerTag: Context.Key<OwnerId, TransactionOwner<Failure>>,\n configuration: TransactionTargetConfiguration<Failure>,\n allocate: Effect.Effect<Resources, AllocationError>,\n unavailable: () => Failure,\n nonce: () => string,\n services: (execution: TransactionExecution<Failure, OwnerId>, resources: Resources) => Services,\n owner: (\n transaction: Transaction,\n services: Services,\n append: (statement: Statement<any>) => void,\n ) => Effect.Effect<A, E, R>,\n ): Effect.Effect<\n A,\n TransactionCoordinatorError<E, Failure>,\n Exclude<R, CurrentCommitJournal> | LifecycleHooks\n > => {\n return Effect.gen(function* () {\n if (yield* hasCommitScope) return yield* Effect.fail(unavailable());\n yield* configuration.standaloneGuard(database);\n\n // Allocation is independent of registration data and always precedes the physical owner.\n const resources = yield* allocate.pipe(\n (operation) => reportTransactionFailure(operation, unavailable),\n Effect.mapError(unavailable),\n Effect.catchDefect(() => Effect.fail(unavailable())),\n );\n\n const marker = nonce();\n\n const result = yield* coordinateCommit(\n (journal) => {\n const run = (tx: TransactionNativeDatabase) =>\n Effect.gen(function* () {\n const state = makeTransactionOwner(tx, journal, marker, unavailable, {\n client: database.$client,\n batch: configuration.mode === \"batch\",\n dialect: configuration.dialect,\n mysql: configuration.dialect === \"mysql\",\n locking: configuration.locking,\n });\n\n const bound: TransactionBound<Failure> = {\n owner: state,\n used: false,\n poisoned: false,\n active: true,\n inFlight: 0,\n };\n\n return yield* Effect.gen(function* () {\n const value = yield* owner(\n tx as Transaction,\n services(\n makeTransactionExecution(\n ownerTag,\n tx,\n configuration,\n unavailable,\n nonce,\n bound,\n ),\n resources,\n ),\n (statement) => {\n if (!bound.active) throw unavailable();\n state.statements.push(statement);\n },\n );\n\n bound.active = false;\n if (bound.poisoned || bound.inFlight !== 0)\n return yield* Effect.fail(unavailable());\n yield* state.finish();\n if (configuration.mode === \"batch\") yield* tx.$client.batch(state.statements);\n\n return value;\n }).pipe(\n Effect.ensuring(\n Effect.sync(() => {\n bound.active = false;\n }),\n ),\n );\n });\n\n return configuration.mode === \"batch\"\n ? run(database)\n : configuration.transaction !== undefined\n ? configuration.transaction(database, run)\n : database.transaction(run);\n },\n { mode: configuration.mode },\n );\n\n return result.value as A;\n });\n };\n\n return {\n sqlClientTransactionStandaloneGuard,\n makeTransactionExecution,\n coordinateTransactionOwner,\n };\n};\n"],"mappings":";;;;AAyDA,MAAa,kCACX,iBAIG;CACH,MAAM,EAAE,sBAAsB,6BAA6B;CAE3D,MAAM,uCACJ,aACA,aAGG,kBAAkB,aAAa,SAAS,OAAO;CAEpD,MAAM,4BACJ,UACA,UACA,eACA,aACA,OACA,UAC2C;EAC3C,MAAM,aAAgD,UAAU;GAC9D,IAAI,CAAC,OAAO,MAAM,YAAY;EAChC;EAEA,OAAO;GACL,OAAO,UAAU,KAAA;GACjB,cAAc,UAAU,KAAA,KAAa,MAAM;GAC3C,OACE,UAAU,KAAA,IACN,OAAO,cAAe,MAAM,SAAS,OAAO,OAAO,OAAO,KAAK,YAAY,CAAC,CAAE,IAC9E,OAAO,IAAI,aAAa;IACtB,IAAI,OAAO,gBAAgB,OAAO,OAAO,OAAO,KAAK,YAAY,CAAC;IAClE,OAAO,cAAc,gBAAgB,QAAQ;GAC/C,CAAC;GACP,cAAc;IACZ,IAAI,UAAU,KAAA,GAAW,MAAM,WAAW;GAC5C;GACA,MACE,MACA,WAAW,SACgF;IAC3F,OAAO,OAAO,cAAc;KAC1B,IAAI,UAAU;KAqFd,QAlFE,UAAU,KAAA,IACN,OAAO,IAAI,aAAa;MACtB,IAAI,CAAC,MAAM,QAAQ,OAAO,OAAO,OAAO,KAAK,YAAY,CAAC;MAC1D,UAAU;MACV,MAAM;MACN,IAAI,CAAC,UACH,OAAO,OAAO,OAAO,eACnB,MACA,QAAQ,KAAK,UAAU,MAAM,KAAK,CAAC,CAAC,KAClC,QAAQ,IAAI,sBAAsB,MAAM,MAAM,OAAO,CACvD,CACF;MACF,UAAU,CAAC,MAAM,QAAQ,CAAC,MAAM,QAAQ;MACxC,MAAM,OAAO;MAiBb,QAAO,OAfe,kBACnB,YACC,OAAO,IAAI,aAAa;OACtB,MAAM,MAAM,OAAO,KAAK,QAAQ,QAAQ,KAAA,CAAS,CAAC;OAElD,OAAO,OAAO,OAAO,eACnB,MACA,QAAQ,KAAK,UAAU;QAAE,GAAG,MAAM;QAAO;OAAQ,CAAC,CAAC,CAAC,KAClD,QAAQ,IAAI,sBAAsB,OAAO,CAC3C,CACF;MACF,CAAC,GACH,EAAE,MAAM,cAAc,KAAK,CAC7B,EAAA,CAEc;KAChB,CAAC,CAAC,CAAC,KACD,OAAO,QAAQ,SACb,OAAO,WAAW;MAChB,IAAI,SAAS,MAAM;MACnB,IAAI,KAAK,SAAS,WAAW,MAAM,WAAW;KAChD,CAAC,CACH,CACF,IACA,OAAO,IAAI,aAAa;MACtB,IAAI,OAAO,gBAAgB,OAAO,OAAO,OAAO,KAAK,YAAY,CAAC;MAClE,OAAO,cAAc,gBAAgB,QAAQ;MAC7C,MAAM,SAAS,MAAM;MAqCrB,QAAO,OAnCe,kBACnB,YAAY;OACX,MAAM,OAAO,OACX,OAAO,IAAI,aAAa;QACtB,MAAM,QAAQ,qBAAqB,IAAI,SAAS,QAAQ,aAAa;SACnE,QAAQ,SAAS;SACjB,OAAO,cAAc,SAAS;SAC9B,SAAS,cAAc;SACvB,OAAO,cAAc,YAAY;SACjC,SAAS,cAAc;QACzB,CAAC;QAED,MAAM,QAAQ,OAAO,OAAO,eAC1B,MACA,QAAQ,KAAK,UAAU,KAAK,CAAC,CAAC,KAC5B,QAAQ,IAAI,sBAAsB,OAAO,CAC3C,CACF;QAEA,OAAO,MAAM,OAAO;QACpB,IAAI,cAAc,SAAS,SACzB,OAAO,GAAG,QAAQ,MAAM,MAAM,UAAU;QAE1C,OAAO;OACT,CAAC;OAEH,OAAO,cAAc,SAAS,UAC1B,IAAI,QAAQ,IACZ,cAAc,gBAAgB,KAAA,IAC5B,cAAc,YAAY,UAAU,GAAG,IACvC,SAAS,YAAY,GAAG;MAChC,GACA,EAAE,MAAM,cAAc,KAAK,CAC7B,EAAA,CAEc;KAChB,CAAC,EAAA,CAEK,MACT,cAAc,yBAAyB,WAAW,WAAW,GAC9D,OAAO,SAAS,WAAW,GAC3B,OAAO,kBAAkB,OAAO,KAAK,YAAY,CAAC,CAAC,CACrD;IACF,CAAC;GACH;EACF;CACF;CAEA,MAAM,8BAWJ,UACA,UACA,eACA,UACA,aACA,OACA,UACA,UASG;EACH,OAAO,OAAO,IAAI,aAAa;GAC7B,IAAI,OAAO,gBAAgB,OAAO,OAAO,OAAO,KAAK,YAAY,CAAC;GAClE,OAAO,cAAc,gBAAgB,QAAQ;GAG7C,MAAM,YAAY,OAAO,SAAS,MAC/B,cAAc,yBAAyB,WAAW,WAAW,GAC9D,OAAO,SAAS,WAAW,GAC3B,OAAO,kBAAkB,OAAO,KAAK,YAAY,CAAC,CAAC,CACrD;GAEA,MAAM,SAAS,MAAM;GAmErB,QAAO,OAjEe,kBACnB,YAAY;IACX,MAAM,OAAO,OACX,OAAO,IAAI,aAAa;KACtB,MAAM,QAAQ,qBAAqB,IAAI,SAAS,QAAQ,aAAa;MACnE,QAAQ,SAAS;MACjB,OAAO,cAAc,SAAS;MAC9B,SAAS,cAAc;MACvB,OAAO,cAAc,YAAY;MACjC,SAAS,cAAc;KACzB,CAAC;KAED,MAAM,QAAmC;MACvC,OAAO;MACP,MAAM;MACN,UAAU;MACV,QAAQ;MACR,UAAU;KACZ;KAEA,OAAO,OAAO,OAAO,IAAI,aAAa;MACpC,MAAM,QAAQ,OAAO,MACnB,IACA,SACE,yBACE,UACA,IACA,eACA,aACA,OACA,KACF,GACA,SACF,IACC,cAAc;OACb,IAAI,CAAC,MAAM,QAAQ,MAAM,YAAY;OACrC,MAAM,WAAW,KAAK,SAAS;MACjC,CACF;MAEA,MAAM,SAAS;MACf,IAAI,MAAM,YAAY,MAAM,aAAa,GACvC,OAAO,OAAO,OAAO,KAAK,YAAY,CAAC;MACzC,OAAO,MAAM,OAAO;MACpB,IAAI,cAAc,SAAS,SAAS,OAAO,GAAG,QAAQ,MAAM,MAAM,UAAU;MAE5E,OAAO;KACT,CAAC,CAAC,CAAC,KACD,OAAO,SACL,OAAO,WAAW;MAChB,MAAM,SAAS;KACjB,CAAC,CACH,CACF;IACF,CAAC;IAEH,OAAO,cAAc,SAAS,UAC1B,IAAI,QAAQ,IACZ,cAAc,gBAAgB,KAAA,IAC5B,cAAc,YAAY,UAAU,GAAG,IACvC,SAAS,YAAY,GAAG;GAChC,GACA,EAAE,MAAM,cAAc,KAAK,CAC7B,EAAA,CAEc;EAChB,CAAC;CACH;CAEA,OAAO;EACL;EACA;EACA;CACF;AACF"}
@@ -0,0 +1,77 @@
1
+ import { QueryOperations, SqlColumn, SqlExpression, SqlFragment } from "./query-operations.mjs";
2
+ import { Effect } from "effect";
3
+ import { CommitJournal, PreparedCommit } from "@yielded/auth/Hooks";
4
+ import { Statement } from "effect/unstable/sql/Statement";
5
+ import * as SqlClient from "effect/unstable/sql/SqlClient";
6
+ import { SqlError } from "effect/unstable/sql/SqlError";
7
+ //#region src/internal/transaction-kernel.d.ts
8
+ type Table = object;
9
+ export type Row = Record<string, any>;
10
+ export interface TransactionNativeDatabase {
11
+ readonly $client: SqlClient.SqlClient & {
12
+ readonly batch: (statements: ReadonlyArray<Statement<any>>) => Effect.Effect<any, SqlError>;
13
+ };
14
+ readonly transaction: <A, E, R>(body: (transaction: any) => Effect.Effect<A, E, R>) => Effect.Effect<A, E | SqlError, R>;
15
+ }
16
+ export interface Observation {
17
+ readonly table: Table;
18
+ readonly where: SqlExpression;
19
+ rows: ReadonlyArray<Row>;
20
+ }
21
+ /** Expressions deliberately do not replace observed values. Read only semantic
22
+ * columns when telemetry changes atomically, and state the physical result. */
23
+ export interface GuardedUpdate {
24
+ readonly rows: number;
25
+ readonly postcondition: SqlExpression;
26
+ }
27
+ export interface TransactionOwner<Failure> {
28
+ readonly database: any;
29
+ readonly journal: CommitJournal;
30
+ readonly marker: string;
31
+ readonly batch: boolean;
32
+ readonly observations: Observation[];
33
+ readonly postconditions: Array<SqlExpression | (() => SqlExpression)>;
34
+ readonly statements: Statement<any>[];
35
+ readonly guards: PreparedCommit<void>[];
36
+ exact(table: Table, row: Row): SqlExpression;
37
+ read(table: Table, where: SqlExpression, options?: {
38
+ readonly lock?: boolean;
39
+ readonly limit?: number;
40
+ readonly observe?: boolean;
41
+ readonly admissionOnly?: boolean;
42
+ readonly takeOnly?: boolean;
43
+ readonly orderBy?: any;
44
+ readonly columns?: ReadonlyArray<string>;
45
+ }): Effect.Effect<Observation, Failure>;
46
+ write(query: any): Effect.Effect<void, Failure>;
47
+ insert(table: Table, values: Row, key: Row, absent?: boolean): Effect.Effect<Observation, Failure>;
48
+ update(table: Table, key: Row, values: Row): Effect.Effect<void, Failure>;
49
+ updateGuarded(table: Table, where: SqlExpression, values: Row, guard: GuardedUpdate): Effect.Effect<void, Failure>;
50
+ /** Internal SQL only, run once after application work and before final guards. */
51
+ finalUpdate(table: Table, where: SqlExpression, values: Row, guard: GuardedUpdate): Effect.Effect<void, Failure>;
52
+ remove(table: Table, key: Row): Effect.Effect<void, Failure>;
53
+ check(condition: SqlExpression): Effect.Effect<boolean, Failure>;
54
+ now(clock: {
55
+ readonly engineNowMillis: SqlExpression;
56
+ }): Effect.Effect<number, Failure>;
57
+ finish(): Effect.Effect<void, Failure>;
58
+ }
59
+ export declare const makeTransactionKernel: <Fragment extends SqlFragment = SqlFragment, Column extends SqlColumn = SqlColumn>(operations: QueryOperations<Fragment, Column>) => {
60
+ reportTransactionFailure: <A, E, R, Failure>(effect: Effect.Effect<A, E, R>, unavailable: () => Failure) => Effect.Effect<A, E, R>;
61
+ both: (...parts: ReadonlyArray<SqlExpression | undefined>) => Fragment;
62
+ makeTransactionRows: <Failure>(unavailable: () => Failure) => {
63
+ col: (table: Table, key: string) => Column;
64
+ equal: (table: Table, values: Row) => Fragment;
65
+ copiedRow: (row: Row) => Row;
66
+ matchesNativeRow: (table: Table, row: Row, key: Row) => boolean;
67
+ };
68
+ makeTransactionOwner: <Failure>(database: any, journal: CommitJournal, marker: string, unavailable: () => Failure, configuration: {
69
+ readonly client?: any;
70
+ readonly batch: boolean;
71
+ readonly locking: boolean;
72
+ readonly mysql: boolean;
73
+ readonly dialect: "pg" | "mysql" | "sqlite";
74
+ }) => TransactionOwner<Failure>;
75
+ };
76
+ //#endregion
77
+ //# sourceMappingURL=transaction-kernel.d.mts.map
@@ -0,0 +1,260 @@
1
+ import { Cause, Effect } from "effect";
2
+ import "@yielded/auth/Hooks";
3
+ import { reportAuthFailure } from "@yielded/auth/Persistence";
4
+ //#region src/internal/transaction-kernel.ts
5
+ const makeTransactionKernel = (operations) => {
6
+ const { eq, getTableColumns, isNull, sql, balancedD1And, compactD1GeneratedStatement } = operations;
7
+ const isUnavailableCause = (cause, unavailable) => {
8
+ const expected = unavailable();
9
+ const tag = typeof expected === "object" && expected !== null && "_tag" in expected ? expected._tag : void 0;
10
+ return tag !== void 0 && cause.reasons.length > 0 && cause.reasons.every((reason) => Cause.isFailReason(reason) && typeof reason.error === "object" && reason.error !== null && "_tag" in reason.error && reason.error._tag === tag);
11
+ };
12
+ /** Report once, before an adapter replaces the raw cause with its public
13
+ * unavailable error. Already translated failures stay quiet at outer owners. */
14
+ const reportTransactionFailure = (effect, unavailable) => Effect.catchCause(effect, (cause) => isUnavailableCause(cause, unavailable) ? Effect.failCause(cause) : reportAuthFailure("auth-persistence", cause).pipe(Effect.andThen(Effect.failCause(cause))));
15
+ const both = (...parts) => balancedD1And(...parts) ?? sql`1 = 1`;
16
+ const makeTransactionRows = (unavailable) => {
17
+ const invariant = (value) => {
18
+ if (!value) throw unavailable();
19
+ };
20
+ const col = (table, key) => {
21
+ const value = getTableColumns(table)[key];
22
+ invariant(value !== void 0);
23
+ return value;
24
+ };
25
+ const equal = (table, values) => both(...Object.entries(values).map(([key, value]) => value === null ? isNull(col(table, key)) : eq(col(table, key), value)));
26
+ /** Mapped driver values use plain data, Dates and binary views. Application
27
+ * identity classes are reconstructed by the mapped codecs, never cloned here. */
28
+ const copiedRow = (row) => {
29
+ const seen = /* @__PURE__ */ new WeakSet();
30
+ const supported = (value) => {
31
+ if (value === null || typeof value !== "object" || seen.has(value)) return;
32
+ seen.add(value);
33
+ if (value instanceof Date || value instanceof ArrayBuffer || ArrayBuffer.isView(value)) return;
34
+ invariant(Array.isArray(value) || Object.getPrototypeOf(value) === Object.prototype || Object.getPrototypeOf(value) === null);
35
+ for (const item of Object.values(value)) supported(item);
36
+ };
37
+ supported(row);
38
+ return structuredClone(row);
39
+ };
40
+ const nativeKey = (value) => {
41
+ const packed = (tag, text) => tag + text.length + ":" + text;
42
+ if (value instanceof Date) return packed("date", value.toISOString());
43
+ if (typeof value === "bigint") return packed("bigint", value.toString());
44
+ const bytes = value instanceof ArrayBuffer ? new Uint8Array(value) : ArrayBuffer.isView(value) ? new Uint8Array(value.buffer, value.byteOffset, value.byteLength) : void 0;
45
+ if (bytes !== void 0) return packed("bytes", Array.from(bytes).join(","));
46
+ if (value === null || typeof value !== "object") return packed(typeof value, String(value));
47
+ if (Array.isArray(value)) return packed("array", value.map(nativeKey).join(""));
48
+ invariant(Object.getPrototypeOf(value) === Object.prototype || Object.getPrototypeOf(value) === null);
49
+ return packed("object", Object.entries(value).sort(([a], [b]) => a.localeCompare(b)).map(([name, item]) => nativeKey(name) + nativeKey(item)).join(""));
50
+ };
51
+ const matchesNativeRow = (table, row, key) => Object.entries(key).every(([name, value]) => {
52
+ if (value === null || row[name] === null) return value === row[name];
53
+ const column = col(table, name);
54
+ return nativeKey(column.mapToDriverValue(row[name])) === nativeKey(column.mapToDriverValue(value));
55
+ });
56
+ return {
57
+ col,
58
+ equal,
59
+ copiedRow,
60
+ matchesNativeRow
61
+ };
62
+ };
63
+ const makeTransactionOwner = (database, journal, marker, unavailable, configuration) => {
64
+ const invariant = (value) => {
65
+ if (!value) throw unavailable();
66
+ };
67
+ const { col, equal, matchesNativeRow } = makeTransactionRows(unavailable);
68
+ let phase = "open";
69
+ let poisoned = false;
70
+ const open = () => invariant(phase === "open" && !poisoned);
71
+ const result = (effect) => effect.pipe((operation) => reportTransactionFailure(operation, unavailable), Effect.mapError(unavailable), Effect.catchDefect(() => Effect.fail(unavailable())), Effect.onExit((exit) => Effect.sync(() => {
72
+ if (exit._tag === "Failure") poisoned = true;
73
+ })));
74
+ const observations = [];
75
+ const statements = [];
76
+ const postconditions = [];
77
+ const guards = [];
78
+ const finalUpdates = [];
79
+ const exactRow = (table, row) => both(...Object.entries(row).map(([key, value]) => {
80
+ if (typeof value !== "string") return equal(table, { [key]: value });
81
+ const column = col(table, key), bound = sql.param(value, column);
82
+ return configuration.dialect === "mysql" ? sql`binary ${column} = binary ${bound}` : configuration.dialect === "pg" ? sql`convert_to(cast(${column} as text), 'UTF8') = convert_to(cast(${bound} as text), 'UTF8')` : sql`cast(${column} as blob) = cast(${bound} as blob)`;
83
+ }));
84
+ const toStatement = (query) => {
85
+ const rendered = query.toSQL();
86
+ const client = configuration.client ?? database.$client;
87
+ return compactD1GeneratedStatement(client, client.unsafe(rendered.sql, rendered.params), unavailable);
88
+ };
89
+ const assertion = (condition) => database.select({ value: sql`case when ${condition} then 1 else json_extract('[]', ${"$[oauth-owner-" + marker + "]"}) end` }).from(sql`(select 1) as oauth_assertion`);
90
+ const observedConditions = (table, where, rows) => [sql`(select count(*) from ${table} where ${where}) = ${rows.length}`, ...rows.map((row) => sql`exists(select 1 from ${table} where ${both(where, exactRow(table, row))})`)];
91
+ const chunks = (conditions) => {
92
+ const output = [];
93
+ let pending = [];
94
+ for (const condition of conditions) {
95
+ const candidate = [...pending, condition];
96
+ const rendered = assertion(both(...candidate)).toSQL();
97
+ if (pending.length > 0 && (rendered.params.length > 96 || new TextEncoder().encode(rendered.sql).length > 48e3)) {
98
+ output.push(both(...pending));
99
+ pending = [condition];
100
+ } else pending = candidate;
101
+ }
102
+ if (pending.length > 0) output.push(both(...pending));
103
+ return output;
104
+ };
105
+ const appendAssertions = (conditions) => {
106
+ for (const condition of chunks(conditions)) statements.push(toStatement(assertion(condition)));
107
+ };
108
+ const observed = (table, where, rows) => {
109
+ const observation = {
110
+ table,
111
+ where,
112
+ rows
113
+ };
114
+ observations.push(observation);
115
+ return observation;
116
+ };
117
+ const queryCondition = (condition) => database.select({ value: sql`case when ${condition} then 1 else 0 end`.mapWith(Number).as("value") }).from(sql`(select 1) as oauth_guard`);
118
+ const conditionHolds = (condition) => Effect.gen(function* () {
119
+ const query = queryCondition(condition);
120
+ const rows = yield* configuration.dialect === "sqlite" ? toStatement(query) : query;
121
+ invariant(rows.length === 1);
122
+ return rows[0].value === 1;
123
+ });
124
+ const guardedQuery = (table, where, values, guard) => {
125
+ invariant(Number.isSafeInteger(guard.rows) && guard.rows > 0 && guard.rows <= 128);
126
+ return {
127
+ query: database.update(table).set(values).where(where),
128
+ guard: { ...guard }
129
+ };
130
+ };
131
+ const applyGuarded = (entry) => Effect.gen(function* () {
132
+ if (configuration.batch) {
133
+ statements.push(toStatement(entry.query));
134
+ statements.push(toStatement(assertion(sql`changes() = ${entry.guard.rows}`)));
135
+ appendAssertions([entry.guard.postcondition]);
136
+ } else {
137
+ if (configuration.mysql) {
138
+ const changed = yield* entry.query;
139
+ invariant(changed.affectedRows === entry.guard.rows);
140
+ } else {
141
+ const changed = yield* entry.query.returning({ value: sql`1` });
142
+ invariant(changed.length === entry.guard.rows);
143
+ }
144
+ invariant(yield* conditionHolds(entry.guard.postcondition));
145
+ }
146
+ });
147
+ const owner = {
148
+ database,
149
+ journal,
150
+ marker,
151
+ batch: configuration.batch,
152
+ observations,
153
+ statements,
154
+ postconditions,
155
+ guards,
156
+ exact: exactRow,
157
+ read: (table, where, options = {}) => result(Effect.gen(function* () {
158
+ open();
159
+ const limit = options.limit ?? 64;
160
+ let query = database.select(options.columns === void 0 ? void 0 : Object.fromEntries(options.columns.map((key) => [key, col(table, key)]))).from(table).where(where).limit(options.takeOnly ? limit : limit + 1);
161
+ if (options.orderBy !== void 0) query = query.orderBy(options.orderBy);
162
+ if (options.lock !== false && configuration.locking) query = query.for("update");
163
+ const rows = yield* query;
164
+ invariant(rows.length <= limit);
165
+ if (configuration.batch && (options.observe !== false || options.admissionOnly)) appendAssertions(observedConditions(table, where, rows));
166
+ return options.observe === false || options.admissionOnly ? {
167
+ table,
168
+ where,
169
+ rows
170
+ } : observed(table, where, rows);
171
+ })),
172
+ write: (query) => result(Effect.gen(function* () {
173
+ open();
174
+ if (configuration.batch) statements.push(toStatement(query));
175
+ else yield* query;
176
+ })),
177
+ insert: (table, values, key, absent = false) => result(Effect.gen(function* () {
178
+ open();
179
+ let query = database.insert(table).values(values);
180
+ if (absent) query = configuration.mysql ? query.onDuplicateKeyUpdate({ set: { [Object.keys(key)[0]]: col(table, Object.keys(key)[0]) } }) : query.onConflictDoNothing();
181
+ yield* owner.write(query);
182
+ const where = equal(table, key);
183
+ if (configuration.batch) return observed(table, where, [values]);
184
+ const found = yield* owner.read(table, where, { limit: 1 });
185
+ const markerColumn = Object.keys(values).find((key) => values[key] === marker);
186
+ if (!absent || markerColumn !== void 0 && found.rows[0]?.[markerColumn] === marker) invariant(yield* owner.check(sql`exists(select 1 from ${table} where ${both(where, exactRow(table, values))})`));
187
+ return found;
188
+ })),
189
+ update: (table, key, values) => result(Effect.gen(function* () {
190
+ open();
191
+ yield* owner.write(database.update(table).set(values).where(equal(table, key)));
192
+ for (const observation of observations) if (observation.table === table) observation.rows = observation.rows.map((row) => matchesNativeRow(table, row, key) ? {
193
+ ...row,
194
+ ...values
195
+ } : row);
196
+ })),
197
+ updateGuarded: (table, where, values, guard) => result(Effect.gen(function* () {
198
+ open();
199
+ const entry = guardedQuery(table, where, values, guard);
200
+ yield* applyGuarded(entry);
201
+ postconditions.push(entry.guard.postcondition);
202
+ })),
203
+ finalUpdate: (table, where, values, guard) => result(Effect.sync(() => {
204
+ open();
205
+ invariant(finalUpdates.length < 128);
206
+ finalUpdates.push(guardedQuery(table, where, values, guard));
207
+ })),
208
+ remove: (table, key) => result(Effect.gen(function* () {
209
+ open();
210
+ yield* owner.write(database.delete(table).where(equal(table, key)));
211
+ for (const observation of observations) if (observation.table === table) observation.rows = observation.rows.filter((row) => !matchesNativeRow(table, row, key));
212
+ })),
213
+ check: (condition) => result(Effect.gen(function* () {
214
+ open();
215
+ const holds = yield* conditionHolds(condition);
216
+ if (configuration.batch) statements.push(toStatement(assertion(holds ? condition : sql`not (${condition})`)));
217
+ return holds;
218
+ })),
219
+ now: (clock) => result(Effect.gen(function* () {
220
+ open();
221
+ const value = (yield* database.select({ value: sql`${clock.engineNowMillis}`.mapWith(Number) }).from(sql`(select 1) as oauth_clock`))[0]?.value;
222
+ invariant(Number.isSafeInteger(value) && value >= 0);
223
+ return value;
224
+ })),
225
+ finish: () => result(Effect.gen(function* () {
226
+ open();
227
+ phase = "finishing";
228
+ Object.freeze(observations);
229
+ Object.freeze(postconditions);
230
+ Object.freeze(guards);
231
+ Object.freeze(finalUpdates);
232
+ const conditions = observations.flatMap((observation) => observedConditions(observation.table, observation.where, observation.rows));
233
+ conditions.push(...postconditions.map((condition) => typeof condition === "function" ? condition() : condition));
234
+ conditions.push(...finalUpdates.map((entry) => entry.guard.postcondition));
235
+ for (const guard of guards) {
236
+ const status = yield* Effect.result(guard.read);
237
+ invariant(status._tag === "Failure" && status.failure._tag === "CommitPending");
238
+ }
239
+ invariant(!poisoned);
240
+ for (const entry of finalUpdates) yield* applyGuarded(entry);
241
+ if (configuration.batch) appendAssertions(conditions);
242
+ else for (const condition of chunks(conditions)) invariant(yield* conditionHolds(condition));
243
+ invariant(!poisoned);
244
+ }).pipe(Effect.ensuring(Effect.sync(() => {
245
+ phase = "finished";
246
+ }))))
247
+ };
248
+ return owner;
249
+ };
250
+ return {
251
+ reportTransactionFailure,
252
+ both,
253
+ makeTransactionRows,
254
+ makeTransactionOwner
255
+ };
256
+ };
257
+ //#endregion
258
+ export { makeTransactionKernel };
259
+
260
+ //# sourceMappingURL=transaction-kernel.mjs.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"transaction-kernel.mjs","names":[],"sources":["../../src/internal/transaction-kernel.ts"],"sourcesContent":["import { type CommitJournal, type PreparedCommit } from \"@yielded/auth/Hooks\";\nimport { reportAuthFailure } from \"@yielded/auth/Persistence\";\n/* oxlint-disable no-explicit-any -- existing storage kernels erase foreign table shapes; domain errors remain typed. */\nimport { Cause, Effect } from \"effect\";\nimport type * as SqlClient from \"effect/unstable/sql/SqlClient\";\nimport type { SqlError } from \"effect/unstable/sql/SqlError\";\nimport type { Statement } from \"effect/unstable/sql/Statement\";\n\nimport type {\n SqlExpression as SQL,\n QueryFailure,\n QueryOperations,\n SqlFragment,\n SqlColumn,\n} from \"./query-operations\";\n\ntype Table = object;\n\nexport type Row = Record<string, any>;\n\n/** Only query-builder/table shapes are erased here. Installed native\n * queries have captured clients, and their error channel remains explicit. */\ntype NativeQuery<A> = Effect.Effect<A, QueryFailure | SqlError>;\n\nexport interface TransactionNativeDatabase {\n readonly $client: SqlClient.SqlClient & {\n readonly batch: (statements: ReadonlyArray<Statement<any>>) => Effect.Effect<any, SqlError>;\n };\n readonly transaction: <A, E, R>(\n body: (transaction: any) => Effect.Effect<A, E, R>,\n ) => Effect.Effect<A, E | SqlError, R>;\n}\n\nexport interface Observation {\n readonly table: Table;\n readonly where: SQL;\n rows: ReadonlyArray<Row>;\n}\n\n/** Expressions deliberately do not replace observed values. Read only semantic\n * columns when telemetry changes atomically, and state the physical result. */\nexport interface GuardedUpdate {\n readonly rows: number;\n readonly postcondition: SQL;\n}\n\nexport interface TransactionOwner<Failure> {\n readonly database: any;\n readonly journal: CommitJournal;\n readonly marker: string;\n readonly batch: boolean;\n readonly observations: Observation[];\n readonly postconditions: Array<SQL | (() => SQL)>;\n readonly statements: Statement<any>[];\n readonly guards: PreparedCommit<void>[];\n exact(table: Table, row: Row): SQL;\n read(\n table: Table,\n where: SQL,\n options?: {\n readonly lock?: boolean;\n readonly limit?: number;\n readonly observe?: boolean;\n readonly admissionOnly?: boolean;\n readonly takeOnly?: boolean;\n readonly orderBy?: any;\n readonly columns?: ReadonlyArray<string>;\n },\n ): Effect.Effect<Observation, Failure>;\n write(query: any): Effect.Effect<void, Failure>;\n insert(\n table: Table,\n values: Row,\n key: Row,\n absent?: boolean,\n ): Effect.Effect<Observation, Failure>;\n update(table: Table, key: Row, values: Row): Effect.Effect<void, Failure>;\n updateGuarded(\n table: Table,\n where: SQL,\n values: Row,\n guard: GuardedUpdate,\n ): Effect.Effect<void, Failure>;\n /** Internal SQL only, run once after application work and before final guards. */\n finalUpdate(\n table: Table,\n where: SQL,\n values: Row,\n guard: GuardedUpdate,\n ): Effect.Effect<void, Failure>;\n remove(table: Table, key: Row): Effect.Effect<void, Failure>;\n check(condition: SQL): Effect.Effect<boolean, Failure>;\n now(clock: { readonly engineNowMillis: SQL }): Effect.Effect<number, Failure>;\n finish(): Effect.Effect<void, Failure>;\n}\n\nexport const makeTransactionKernel = <\n Fragment extends SqlFragment = SqlFragment,\n Column extends SqlColumn = SqlColumn,\n>(\n operations: QueryOperations<Fragment, Column>,\n) => {\n const { eq, getTableColumns, isNull, sql, balancedD1And, compactD1GeneratedStatement } =\n operations;\n\n const isUnavailableCause = <Failure>(cause: Cause.Cause<unknown>, unavailable: () => Failure) => {\n const expected = unavailable();\n\n const tag =\n typeof expected === \"object\" && expected !== null && \"_tag\" in expected\n ? expected._tag\n : undefined;\n\n return (\n tag !== undefined &&\n cause.reasons.length > 0 &&\n cause.reasons.every(\n (reason) =>\n Cause.isFailReason(reason) &&\n typeof reason.error === \"object\" &&\n reason.error !== null &&\n \"_tag\" in reason.error &&\n reason.error._tag === tag,\n )\n );\n };\n\n /** Report once, before an adapter replaces the raw cause with its public\n * unavailable error. Already translated failures stay quiet at outer owners. */\n const reportTransactionFailure = <A, E, R, Failure>(\n effect: Effect.Effect<A, E, R>,\n unavailable: () => Failure,\n ): Effect.Effect<A, E, R> =>\n Effect.catchCause(effect, (cause) =>\n isUnavailableCause(cause, unavailable)\n ? Effect.failCause(cause)\n : reportAuthFailure(\"auth-persistence\", cause).pipe(\n Effect.andThen(Effect.failCause(cause)),\n ),\n );\n\n const both = (...parts: ReadonlyArray<SQL | undefined>) => balancedD1And(...parts) ?? sql`1 = 1`;\n\n const makeTransactionRows = <Failure>(unavailable: () => Failure) => {\n const invariant: (value: unknown) => asserts value = (value) => {\n if (!value) throw unavailable();\n };\n\n const col = (table: Table, key: string) => {\n const value = getTableColumns(table)[key];\n\n invariant(value !== undefined);\n\n return value;\n };\n\n const equal = (table: Table, values: Row) =>\n both(\n ...Object.entries(values).map(([key, value]) =>\n value === null ? isNull(col(table, key)) : eq(col(table, key), value),\n ),\n );\n\n /** Mapped driver values use plain data, Dates and binary views. Application\n * identity classes are reconstructed by the mapped codecs, never cloned here. */\n const copiedRow = (row: Row) => {\n const seen = new WeakSet<object>();\n\n const supported = (value: unknown): void => {\n if (value === null || typeof value !== \"object\" || seen.has(value)) return;\n seen.add(value);\n if (value instanceof Date || value instanceof ArrayBuffer || ArrayBuffer.isView(value))\n return;\n invariant(\n Array.isArray(value) ||\n Object.getPrototypeOf(value) === Object.prototype ||\n Object.getPrototypeOf(value) === null,\n );\n for (const item of Object.values(value)) supported(item);\n };\n\n supported(row);\n\n return structuredClone(row);\n };\n\n const nativeKey = (value: unknown): string => {\n const packed = (tag: string, text: string) => tag + text.length + \":\" + text;\n\n if (value instanceof Date) return packed(\"date\", value.toISOString());\n if (typeof value === \"bigint\") return packed(\"bigint\", value.toString());\n\n const bytes =\n value instanceof ArrayBuffer\n ? new Uint8Array(value)\n : ArrayBuffer.isView(value)\n ? new Uint8Array(value.buffer, value.byteOffset, value.byteLength)\n : undefined;\n\n if (bytes !== undefined) return packed(\"bytes\", Array.from(bytes).join(\",\"));\n if (value === null || typeof value !== \"object\") return packed(typeof value, String(value));\n if (Array.isArray(value)) return packed(\"array\", value.map(nativeKey).join(\"\"));\n invariant(\n Object.getPrototypeOf(value) === Object.prototype || Object.getPrototypeOf(value) === null,\n );\n\n return packed(\n \"object\",\n Object.entries(value)\n .sort(([a], [b]) => a.localeCompare(b))\n .map(([name, item]) => nativeKey(name) + nativeKey(item))\n .join(\"\"),\n );\n };\n\n const matchesNativeRow = (table: Table, row: Row, key: Row) =>\n Object.entries(key).every(([name, value]) => {\n if (value === null || row[name] === null) return value === row[name];\n const column = col(table, name);\n\n return (\n nativeKey(column.mapToDriverValue(row[name])) ===\n nativeKey(column.mapToDriverValue(value))\n );\n });\n\n return { col, equal, copiedRow, matchesNativeRow };\n };\n\n const makeTransactionOwner = <Failure>(\n database: any,\n journal: CommitJournal,\n marker: string,\n unavailable: () => Failure,\n configuration: {\n readonly client?: any;\n readonly batch: boolean;\n readonly locking: boolean;\n readonly mysql: boolean;\n readonly dialect: \"pg\" | \"mysql\" | \"sqlite\";\n },\n ): TransactionOwner<Failure> => {\n const invariant: (value: unknown) => asserts value = (value) => {\n if (!value) throw unavailable();\n };\n\n const { col, equal, matchesNativeRow } = makeTransactionRows(unavailable);\n let phase: \"open\" | \"finishing\" | \"finished\" = \"open\";\n let poisoned = false;\n const open = () => invariant(phase === \"open\" && !poisoned);\n\n const result = <A, E>(effect: Effect.Effect<A, E>) =>\n effect.pipe(\n (operation) => reportTransactionFailure(operation, unavailable),\n Effect.mapError(unavailable),\n Effect.catchDefect(() => Effect.fail(unavailable())),\n Effect.onExit((exit) =>\n Effect.sync(() => {\n if (exit._tag === \"Failure\") poisoned = true;\n }),\n ),\n );\n\n const observations: Observation[] = [];\n const statements: Statement<any>[] = [];\n const postconditions: Array<SQL | (() => SQL)> = [];\n const guards: PreparedCommit<void>[] = [];\n const finalUpdates: Array<{ readonly query: any; readonly guard: GuardedUpdate }> = [];\n\n const exactRow = (table: Table, row: Row) =>\n both(\n ...Object.entries(row).map(([key, value]) => {\n if (typeof value !== \"string\") return equal(table, { [key]: value });\n\n const column = col(table, key),\n bound = sql.param(value, column);\n\n return configuration.dialect === \"mysql\"\n ? sql`binary ${column} = binary ${bound}`\n : configuration.dialect === \"pg\"\n ? sql`convert_to(cast(${column} as text), 'UTF8') = convert_to(cast(${bound} as text), 'UTF8')`\n : sql`cast(${column} as blob) = cast(${bound} as blob)`;\n }),\n );\n\n const toStatement = (query: any): Statement<any> => {\n const rendered = query.toSQL();\n const client = configuration.client ?? database.$client;\n\n return compactD1GeneratedStatement(\n client,\n client.unsafe(rendered.sql, rendered.params),\n unavailable,\n );\n };\n\n const assertion = (condition: SQL) =>\n database\n .select({\n value: sql`case when ${condition} then 1 else json_extract('[]', ${\"$[oauth-owner-\" + marker + \"]\"}) end`,\n })\n .from(sql`(select 1) as oauth_assertion`);\n\n const observedConditions = (table: Table, where: SQL, rows: ReadonlyArray<Row>) => [\n sql`(select count(*) from ${table} where ${where}) = ${rows.length}`,\n ...rows.map(\n (row) => sql`exists(select 1 from ${table} where ${both(where, exactRow(table, row))})`,\n ),\n ];\n\n // All chunks remain inside the same native owner or atomic D1 batch. A single\n // wide row is compacted; separate observations cannot accumulate unbounded\n // bind parameters or expression depth in one final SELECT.\n const chunks = (conditions: ReadonlyArray<SQL>) => {\n const output: SQL[] = [];\n let pending: SQL[] = [];\n\n for (const condition of conditions) {\n const candidate = [...pending, condition];\n const rendered = assertion(both(...candidate)).toSQL();\n\n if (\n pending.length > 0 &&\n (rendered.params.length > 96 || new TextEncoder().encode(rendered.sql).length > 48_000)\n ) {\n output.push(both(...pending));\n pending = [condition];\n } else pending = candidate;\n }\n if (pending.length > 0) output.push(both(...pending));\n\n return output;\n };\n\n const appendAssertions = (conditions: ReadonlyArray<SQL>) => {\n for (const condition of chunks(conditions))\n statements.push(toStatement(assertion(condition)));\n };\n\n const observed = (table: Table, where: SQL, rows: ReadonlyArray<Row>) => {\n const observation = { table, where, rows };\n\n observations.push(observation);\n\n return observation;\n };\n\n const queryCondition = (condition: SQL) =>\n database\n .select({\n value: sql`case when ${condition} then 1 else 0 end`.mapWith(Number).as(\"value\"),\n })\n .from(sql`(select 1) as oauth_guard`);\n\n const conditionHolds = (condition: SQL) =>\n Effect.gen(function* () {\n const query = queryCondition(condition);\n\n const rows: ReadonlyArray<Row> = yield* configuration.dialect === \"sqlite\"\n ? toStatement(query)\n : (query as NativeQuery<Row[]>);\n\n invariant(rows.length === 1);\n\n return rows[0]!.value === 1;\n });\n\n const guardedQuery = (table: Table, where: SQL, values: Row, guard: GuardedUpdate) => {\n invariant(Number.isSafeInteger(guard.rows) && guard.rows > 0 && guard.rows <= 128);\n\n return { query: database.update(table).set(values).where(where), guard: { ...guard } };\n };\n\n const applyGuarded = (entry: { readonly query: any; readonly guard: GuardedUpdate }) =>\n Effect.gen(function* () {\n if (configuration.batch) {\n statements.push(toStatement(entry.query));\n statements.push(toStatement(assertion(sql`changes() = ${entry.guard.rows}`)));\n appendAssertions([entry.guard.postcondition]);\n } else {\n if (configuration.mysql) {\n // mysql2 reports matched rows (FOUND_ROWS), including a telemetry no-op.\n const changed = yield* entry.query as NativeQuery<{ readonly affectedRows: number }>;\n\n invariant(changed.affectedRows === entry.guard.rows);\n } else {\n const changed = yield* entry.query.returning({ value: sql`1` }) as NativeQuery<\n ReadonlyArray<Row>\n >;\n\n invariant(changed.length === entry.guard.rows);\n }\n invariant(yield* conditionHolds(entry.guard.postcondition));\n }\n });\n\n const owner: TransactionOwner<Failure> = {\n database,\n journal,\n marker,\n batch: configuration.batch,\n observations,\n statements,\n postconditions,\n guards,\n exact: exactRow,\n read: (table, where, options = {}) =>\n result(\n Effect.gen(function* () {\n open();\n const limit = options.limit ?? 64;\n\n let query = database\n .select(\n options.columns === undefined\n ? undefined\n : Object.fromEntries(options.columns.map((key) => [key, col(table, key)])),\n )\n .from(table)\n .where(where)\n .limit(options.takeOnly ? limit : limit + 1);\n\n if (options.orderBy !== undefined) query = query.orderBy(options.orderBy);\n if (options.lock !== false && configuration.locking) query = query.for(\"update\");\n const rows: Row[] = yield* query as NativeQuery<Row[]>;\n\n invariant(rows.length <= limit);\n if (configuration.batch && (options.observe !== false || options.admissionOnly))\n appendAssertions(observedConditions(table, where, rows));\n\n return options.observe === false || options.admissionOnly\n ? { table, where, rows }\n : observed(table, where, rows);\n }),\n ),\n write: (query) =>\n result(\n Effect.gen(function* () {\n open();\n if (configuration.batch) statements.push(toStatement(query));\n else yield* query as NativeQuery<unknown>;\n }),\n ),\n insert: (table, values, key, absent = false) =>\n result(\n Effect.gen(function* () {\n open();\n let query = database.insert(table).values(values);\n\n if (absent)\n query = configuration.mysql\n ? query.onDuplicateKeyUpdate({\n set: { [Object.keys(key)[0]!]: col(table, Object.keys(key)[0]!) },\n })\n : query.onConflictDoNothing();\n yield* owner.write(query);\n const where = equal(table, key);\n\n if (configuration.batch) return observed(table, where, [values]);\n const found = yield* owner.read(table, where, { limit: 1 });\n const markerColumn = Object.keys(values).find((key) => values[key] === marker);\n\n if (!absent || (markerColumn !== undefined && found.rows[0]?.[markerColumn] === marker))\n invariant(\n yield* owner.check(\n sql`exists(select 1 from ${table} where ${both(where, exactRow(table, values))})`,\n ),\n );\n\n return found;\n }),\n ),\n update: (table, key, values) =>\n result(\n Effect.gen(function* () {\n open();\n yield* owner.write(database.update(table).set(values).where(equal(table, key)));\n for (const observation of observations)\n if (observation.table === table)\n observation.rows = observation.rows.map((row) =>\n matchesNativeRow(table, row, key) ? { ...row, ...values } : row,\n );\n }),\n ),\n updateGuarded: (table, where, values, guard) =>\n result(\n Effect.gen(function* () {\n open();\n const entry = guardedQuery(table, where, values, guard);\n\n yield* applyGuarded(entry);\n postconditions.push(entry.guard.postcondition);\n }),\n ),\n finalUpdate: (table, where, values, guard) =>\n result(\n Effect.sync(() => {\n open();\n invariant(finalUpdates.length < 128);\n finalUpdates.push(guardedQuery(table, where, values, guard));\n }),\n ),\n remove: (table, key) =>\n result(\n Effect.gen(function* () {\n open();\n yield* owner.write(database.delete(table).where(equal(table, key)));\n for (const observation of observations)\n if (observation.table === table)\n observation.rows = observation.rows.filter(\n (row) => !matchesNativeRow(table, row, key),\n );\n }),\n ),\n check: (condition) =>\n result(\n Effect.gen(function* () {\n open();\n const holds = yield* conditionHolds(condition);\n\n if (configuration.batch)\n statements.push(toStatement(assertion(holds ? condition : sql`not (${condition})`)));\n\n return holds;\n }),\n ),\n now: (clock) =>\n result(\n Effect.gen(function* () {\n open();\n\n const rows: Row[] = yield* database\n .select({\n value: sql`${clock.engineNowMillis}`.mapWith(Number),\n })\n .from(sql`(select 1) as oauth_clock`) as NativeQuery<Row[]>;\n\n const value = rows[0]?.value;\n\n invariant(Number.isSafeInteger(value) && value >= 0);\n\n return value as number;\n }),\n ),\n finish: () =>\n result(\n Effect.gen(function* () {\n open();\n phase = \"finishing\";\n Object.freeze(observations);\n Object.freeze(postconditions);\n Object.freeze(guards);\n Object.freeze(finalUpdates);\n\n // Close registration before any late-bound SQL predicate is materialized.\n // No callback is invoked after the first final write.\n const conditions: SQL[] = observations.flatMap((observation) =>\n observedConditions(observation.table, observation.where, observation.rows),\n );\n\n conditions.push(\n ...postconditions.map((condition) =>\n typeof condition === \"function\" ? condition() : condition,\n ),\n );\n conditions.push(...finalUpdates.map((entry) => entry.guard.postcondition));\n for (const guard of guards) {\n const status = yield* Effect.result(guard.read);\n\n invariant(status._tag === \"Failure\" && status.failure._tag === \"CommitPending\");\n }\n invariant(!poisoned);\n for (const entry of finalUpdates) yield* applyGuarded(entry);\n if (configuration.batch) appendAssertions(conditions);\n else\n for (const condition of chunks(conditions))\n invariant(yield* conditionHolds(condition));\n invariant(!poisoned);\n }).pipe(\n Effect.ensuring(\n Effect.sync(() => {\n phase = \"finished\";\n }),\n ),\n ),\n ),\n };\n\n return owner;\n };\n\n return { reportTransactionFailure, both, makeTransactionRows, makeTransactionOwner };\n};\n"],"mappings":";;;;AAgGA,MAAa,yBAIX,eACG;CACH,MAAM,EAAE,IAAI,iBAAiB,QAAQ,KAAK,eAAe,gCACvD;CAEF,MAAM,sBAA+B,OAA6B,gBAA+B;EAC/F,MAAM,WAAW,YAAY;EAE7B,MAAM,MACJ,OAAO,aAAa,YAAY,aAAa,QAAQ,UAAU,WAC3D,SAAS,OACT,KAAA;EAEN,OACE,QAAQ,KAAA,KACR,MAAM,QAAQ,SAAS,KACvB,MAAM,QAAQ,OACX,WACC,MAAM,aAAa,MAAM,KACzB,OAAO,OAAO,UAAU,YACxB,OAAO,UAAU,QACjB,UAAU,OAAO,SACjB,OAAO,MAAM,SAAS,GAC1B;CAEJ;;;CAIA,MAAM,4BACJ,QACA,gBAEA,OAAO,WAAW,SAAS,UACzB,mBAAmB,OAAO,WAAW,IACjC,OAAO,UAAU,KAAK,IACtB,kBAAkB,oBAAoB,KAAK,CAAC,CAAC,KAC3C,OAAO,QAAQ,OAAO,UAAU,KAAK,CAAC,CACxC,CACN;CAEF,MAAM,QAAQ,GAAG,UAA0C,cAAc,GAAG,KAAK,KAAK,GAAG;CAEzF,MAAM,uBAAgC,gBAA+B;EACnE,MAAM,aAAgD,UAAU;GAC9D,IAAI,CAAC,OAAO,MAAM,YAAY;EAChC;EAEA,MAAM,OAAO,OAAc,QAAgB;GACzC,MAAM,QAAQ,gBAAgB,KAAK,CAAC,CAAC;GAErC,UAAU,UAAU,KAAA,CAAS;GAE7B,OAAO;EACT;EAEA,MAAM,SAAS,OAAc,WAC3B,KACE,GAAG,OAAO,QAAQ,MAAM,CAAC,CAAC,KAAK,CAAC,KAAK,WACnC,UAAU,OAAO,OAAO,IAAI,OAAO,GAAG,CAAC,IAAI,GAAG,IAAI,OAAO,GAAG,GAAG,KAAK,CACtE,CACF;;;EAIF,MAAM,aAAa,QAAa;GAC9B,MAAM,uBAAO,IAAI,QAAgB;GAEjC,MAAM,aAAa,UAAyB;IAC1C,IAAI,UAAU,QAAQ,OAAO,UAAU,YAAY,KAAK,IAAI,KAAK,GAAG;IACpE,KAAK,IAAI,KAAK;IACd,IAAI,iBAAiB,QAAQ,iBAAiB,eAAe,YAAY,OAAO,KAAK,GACnF;IACF,UACE,MAAM,QAAQ,KAAK,KACjB,OAAO,eAAe,KAAK,MAAM,OAAO,aACxC,OAAO,eAAe,KAAK,MAAM,IACrC;IACA,KAAK,MAAM,QAAQ,OAAO,OAAO,KAAK,GAAG,UAAU,IAAI;GACzD;GAEA,UAAU,GAAG;GAEb,OAAO,gBAAgB,GAAG;EAC5B;EAEA,MAAM,aAAa,UAA2B;GAC5C,MAAM,UAAU,KAAa,SAAiB,MAAM,KAAK,SAAS,MAAM;GAExE,IAAI,iBAAiB,MAAM,OAAO,OAAO,QAAQ,MAAM,YAAY,CAAC;GACpE,IAAI,OAAO,UAAU,UAAU,OAAO,OAAO,UAAU,MAAM,SAAS,CAAC;GAEvE,MAAM,QACJ,iBAAiB,cACb,IAAI,WAAW,KAAK,IACpB,YAAY,OAAO,KAAK,IACtB,IAAI,WAAW,MAAM,QAAQ,MAAM,YAAY,MAAM,UAAU,IAC/D,KAAA;GAER,IAAI,UAAU,KAAA,GAAW,OAAO,OAAO,SAAS,MAAM,KAAK,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC;GAC3E,IAAI,UAAU,QAAQ,OAAO,UAAU,UAAU,OAAO,OAAO,OAAO,OAAO,OAAO,KAAK,CAAC;GAC1F,IAAI,MAAM,QAAQ,KAAK,GAAG,OAAO,OAAO,SAAS,MAAM,IAAI,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC;GAC9E,UACE,OAAO,eAAe,KAAK,MAAM,OAAO,aAAa,OAAO,eAAe,KAAK,MAAM,IACxF;GAEA,OAAO,OACL,UACA,OAAO,QAAQ,KAAK,CAAC,CAClB,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CACtC,KAAK,CAAC,MAAM,UAAU,UAAU,IAAI,IAAI,UAAU,IAAI,CAAC,CAAC,CACxD,KAAK,EAAE,CACZ;EACF;EAEA,MAAM,oBAAoB,OAAc,KAAU,QAChD,OAAO,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,WAAW;GAC3C,IAAI,UAAU,QAAQ,IAAI,UAAU,MAAM,OAAO,UAAU,IAAI;GAC/D,MAAM,SAAS,IAAI,OAAO,IAAI;GAE9B,OACE,UAAU,OAAO,iBAAiB,IAAI,KAAK,CAAC,MAC5C,UAAU,OAAO,iBAAiB,KAAK,CAAC;EAE5C,CAAC;EAEH,OAAO;GAAE;GAAK;GAAO;GAAW;EAAiB;CACnD;CAEA,MAAM,wBACJ,UACA,SACA,QACA,aACA,kBAO8B;EAC9B,MAAM,aAAgD,UAAU;GAC9D,IAAI,CAAC,OAAO,MAAM,YAAY;EAChC;EAEA,MAAM,EAAE,KAAK,OAAO,qBAAqB,oBAAoB,WAAW;EACxE,IAAI,QAA2C;EAC/C,IAAI,WAAW;EACf,MAAM,aAAa,UAAU,UAAU,UAAU,CAAC,QAAQ;EAE1D,MAAM,UAAgB,WACpB,OAAO,MACJ,cAAc,yBAAyB,WAAW,WAAW,GAC9D,OAAO,SAAS,WAAW,GAC3B,OAAO,kBAAkB,OAAO,KAAK,YAAY,CAAC,CAAC,GACnD,OAAO,QAAQ,SACb,OAAO,WAAW;GAChB,IAAI,KAAK,SAAS,WAAW,WAAW;EAC1C,CAAC,CACH,CACF;EAEF,MAAM,eAA8B,CAAC;EACrC,MAAM,aAA+B,CAAC;EACtC,MAAM,iBAA2C,CAAC;EAClD,MAAM,SAAiC,CAAC;EACxC,MAAM,eAA8E,CAAC;EAErF,MAAM,YAAY,OAAc,QAC9B,KACE,GAAG,OAAO,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,WAAW;GAC3C,IAAI,OAAO,UAAU,UAAU,OAAO,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC;GAEnE,MAAM,SAAS,IAAI,OAAO,GAAG,GAC3B,QAAQ,IAAI,MAAM,OAAO,MAAM;GAEjC,OAAO,cAAc,YAAY,UAC7B,GAAG,UAAU,OAAO,YAAY,UAChC,cAAc,YAAY,OACxB,GAAG,mBAAmB,OAAO,uCAAuC,MAAM,sBAC1E,GAAG,QAAQ,OAAO,mBAAmB,MAAM;EACnD,CAAC,CACH;EAEF,MAAM,eAAe,UAA+B;GAClD,MAAM,WAAW,MAAM,MAAM;GAC7B,MAAM,SAAS,cAAc,UAAU,SAAS;GAEhD,OAAO,4BACL,QACA,OAAO,OAAO,SAAS,KAAK,SAAS,MAAM,GAC3C,WACF;EACF;EAEA,MAAM,aAAa,cACjB,SACG,OAAO,EACN,OAAO,GAAG,aAAa,UAAU,kCAAkC,mBAAmB,SAAS,IAAI,OACrG,CAAC,CAAC,CACD,KAAK,GAAG,+BAA+B;EAE5C,MAAM,sBAAsB,OAAc,OAAY,SAA6B,CACjF,GAAG,yBAAyB,MAAM,SAAS,MAAM,MAAM,KAAK,UAC5D,GAAG,KAAK,KACL,QAAQ,GAAG,wBAAwB,MAAM,SAAS,KAAK,OAAO,SAAS,OAAO,GAAG,CAAC,EAAE,EACvF,CACF;EAKA,MAAM,UAAU,eAAmC;GACjD,MAAM,SAAgB,CAAC;GACvB,IAAI,UAAiB,CAAC;GAEtB,KAAK,MAAM,aAAa,YAAY;IAClC,MAAM,YAAY,CAAC,GAAG,SAAS,SAAS;IACxC,MAAM,WAAW,UAAU,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM;IAErD,IACE,QAAQ,SAAS,MAChB,SAAS,OAAO,SAAS,MAAM,IAAI,YAAY,CAAC,CAAC,OAAO,SAAS,GAAG,CAAC,CAAC,SAAS,OAChF;KACA,OAAO,KAAK,KAAK,GAAG,OAAO,CAAC;KAC5B,UAAU,CAAC,SAAS;IACtB,OAAO,UAAU;GACnB;GACA,IAAI,QAAQ,SAAS,GAAG,OAAO,KAAK,KAAK,GAAG,OAAO,CAAC;GAEpD,OAAO;EACT;EAEA,MAAM,oBAAoB,eAAmC;GAC3D,KAAK,MAAM,aAAa,OAAO,UAAU,GACvC,WAAW,KAAK,YAAY,UAAU,SAAS,CAAC,CAAC;EACrD;EAEA,MAAM,YAAY,OAAc,OAAY,SAA6B;GACvE,MAAM,cAAc;IAAE;IAAO;IAAO;GAAK;GAEzC,aAAa,KAAK,WAAW;GAE7B,OAAO;EACT;EAEA,MAAM,kBAAkB,cACtB,SACG,OAAO,EACN,OAAO,GAAG,aAAa,UAAU,oBAAoB,QAAQ,MAAM,CAAC,CAAC,GAAG,OAAO,EACjF,CAAC,CAAC,CACD,KAAK,GAAG,2BAA2B;EAExC,MAAM,kBAAkB,cACtB,OAAO,IAAI,aAAa;GACtB,MAAM,QAAQ,eAAe,SAAS;GAEtC,MAAM,OAA2B,OAAO,cAAc,YAAY,WAC9D,YAAY,KAAK,IAChB;GAEL,UAAU,KAAK,WAAW,CAAC;GAE3B,OAAO,KAAK,EAAE,CAAE,UAAU;EAC5B,CAAC;EAEH,MAAM,gBAAgB,OAAc,OAAY,QAAa,UAAyB;GACpF,UAAU,OAAO,cAAc,MAAM,IAAI,KAAK,MAAM,OAAO,KAAK,MAAM,QAAQ,GAAG;GAEjF,OAAO;IAAE,OAAO,SAAS,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,KAAK;IAAG,OAAO,EAAE,GAAG,MAAM;GAAE;EACvF;EAEA,MAAM,gBAAgB,UACpB,OAAO,IAAI,aAAa;GACtB,IAAI,cAAc,OAAO;IACvB,WAAW,KAAK,YAAY,MAAM,KAAK,CAAC;IACxC,WAAW,KAAK,YAAY,UAAU,GAAG,eAAe,MAAM,MAAM,MAAM,CAAC,CAAC;IAC5E,iBAAiB,CAAC,MAAM,MAAM,aAAa,CAAC;GAC9C,OAAO;IACL,IAAI,cAAc,OAAO;KAEvB,MAAM,UAAU,OAAO,MAAM;KAE7B,UAAU,QAAQ,iBAAiB,MAAM,MAAM,IAAI;IACrD,OAAO;KACL,MAAM,UAAU,OAAO,MAAM,MAAM,UAAU,EAAE,OAAO,GAAG,IAAI,CAAC;KAI9D,UAAU,QAAQ,WAAW,MAAM,MAAM,IAAI;IAC/C;IACA,UAAU,OAAO,eAAe,MAAM,MAAM,aAAa,CAAC;GAC5D;EACF,CAAC;EAEH,MAAM,QAAmC;GACvC;GACA;GACA;GACA,OAAO,cAAc;GACrB;GACA;GACA;GACA;GACA,OAAO;GACP,OAAO,OAAO,OAAO,UAAU,CAAC,MAC9B,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,MAAM,QAAQ,QAAQ,SAAS;IAE/B,IAAI,QAAQ,SACT,OACC,QAAQ,YAAY,KAAA,IAChB,KAAA,IACA,OAAO,YAAY,QAAQ,QAAQ,KAAK,QAAQ,CAAC,KAAK,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,CAC7E,CAAC,CACA,KAAK,KAAK,CAAC,CACX,MAAM,KAAK,CAAC,CACZ,MAAM,QAAQ,WAAW,QAAQ,QAAQ,CAAC;IAE7C,IAAI,QAAQ,YAAY,KAAA,GAAW,QAAQ,MAAM,QAAQ,QAAQ,OAAO;IACxE,IAAI,QAAQ,SAAS,SAAS,cAAc,SAAS,QAAQ,MAAM,IAAI,QAAQ;IAC/E,MAAM,OAAc,OAAO;IAE3B,UAAU,KAAK,UAAU,KAAK;IAC9B,IAAI,cAAc,UAAU,QAAQ,YAAY,SAAS,QAAQ,gBAC/D,iBAAiB,mBAAmB,OAAO,OAAO,IAAI,CAAC;IAEzD,OAAO,QAAQ,YAAY,SAAS,QAAQ,gBACxC;KAAE;KAAO;KAAO;IAAK,IACrB,SAAS,OAAO,OAAO,IAAI;GACjC,CAAC,CACH;GACF,QAAQ,UACN,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,IAAI,cAAc,OAAO,WAAW,KAAK,YAAY,KAAK,CAAC;SACtD,OAAO;GACd,CAAC,CACH;GACF,SAAS,OAAO,QAAQ,KAAK,SAAS,UACpC,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,IAAI,QAAQ,SAAS,OAAO,KAAK,CAAC,CAAC,OAAO,MAAM;IAEhD,IAAI,QACF,QAAQ,cAAc,QAClB,MAAM,qBAAqB,EACzB,KAAK,GAAG,OAAO,KAAK,GAAG,CAAC,CAAC,KAAM,IAAI,OAAO,OAAO,KAAK,GAAG,CAAC,CAAC,EAAG,EAAE,EAClE,CAAC,IACD,MAAM,oBAAoB;IAChC,OAAO,MAAM,MAAM,KAAK;IACxB,MAAM,QAAQ,MAAM,OAAO,GAAG;IAE9B,IAAI,cAAc,OAAO,OAAO,SAAS,OAAO,OAAO,CAAC,MAAM,CAAC;IAC/D,MAAM,QAAQ,OAAO,MAAM,KAAK,OAAO,OAAO,EAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,eAAe,OAAO,KAAK,MAAM,CAAC,CAAC,MAAM,QAAQ,OAAO,SAAS,MAAM;IAE7E,IAAI,CAAC,UAAW,iBAAiB,KAAA,KAAa,MAAM,KAAK,EAAE,GAAG,kBAAkB,QAC9E,UACE,OAAO,MAAM,MACX,GAAG,wBAAwB,MAAM,SAAS,KAAK,OAAO,SAAS,OAAO,MAAM,CAAC,EAAE,EACjF,CACF;IAEF,OAAO;GACT,CAAC,CACH;GACF,SAAS,OAAO,KAAK,WACnB,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,OAAO,MAAM,MAAM,SAAS,OAAO,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC;IAC9E,KAAK,MAAM,eAAe,cACxB,IAAI,YAAY,UAAU,OACxB,YAAY,OAAO,YAAY,KAAK,KAAK,QACvC,iBAAiB,OAAO,KAAK,GAAG,IAAI;KAAE,GAAG;KAAK,GAAG;IAAO,IAAI,GAC9D;GACN,CAAC,CACH;GACF,gBAAgB,OAAO,OAAO,QAAQ,UACpC,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,MAAM,QAAQ,aAAa,OAAO,OAAO,QAAQ,KAAK;IAEtD,OAAO,aAAa,KAAK;IACzB,eAAe,KAAK,MAAM,MAAM,aAAa;GAC/C,CAAC,CACH;GACF,cAAc,OAAO,OAAO,QAAQ,UAClC,OACE,OAAO,WAAW;IAChB,KAAK;IACL,UAAU,aAAa,SAAS,GAAG;IACnC,aAAa,KAAK,aAAa,OAAO,OAAO,QAAQ,KAAK,CAAC;GAC7D,CAAC,CACH;GACF,SAAS,OAAO,QACd,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,OAAO,MAAM,MAAM,SAAS,OAAO,KAAK,CAAC,CAAC,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC;IAClE,KAAK,MAAM,eAAe,cACxB,IAAI,YAAY,UAAU,OACxB,YAAY,OAAO,YAAY,KAAK,QACjC,QAAQ,CAAC,iBAAiB,OAAO,KAAK,GAAG,CAC5C;GACN,CAAC,CACH;GACF,QAAQ,cACN,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,MAAM,QAAQ,OAAO,eAAe,SAAS;IAE7C,IAAI,cAAc,OAChB,WAAW,KAAK,YAAY,UAAU,QAAQ,YAAY,GAAG,QAAQ,UAAU,EAAE,CAAC,CAAC;IAErF,OAAO;GACT,CAAC,CACH;GACF,MAAM,UACJ,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IAQL,MAAM,SAAQ,OANa,SACxB,OAAO,EACN,OAAO,GAAG,GAAG,MAAM,kBAAkB,QAAQ,MAAM,EACrD,CAAC,CAAC,CACD,KAAK,GAAG,2BAA2B,EAAA,CAEnB,EAAE,EAAE;IAEvB,UAAU,OAAO,cAAc,KAAK,KAAK,SAAS,CAAC;IAEnD,OAAO;GACT,CAAC,CACH;GACF,cACE,OACE,OAAO,IAAI,aAAa;IACtB,KAAK;IACL,QAAQ;IACR,OAAO,OAAO,YAAY;IAC1B,OAAO,OAAO,cAAc;IAC5B,OAAO,OAAO,MAAM;IACpB,OAAO,OAAO,YAAY;IAI1B,MAAM,aAAoB,aAAa,SAAS,gBAC9C,mBAAmB,YAAY,OAAO,YAAY,OAAO,YAAY,IAAI,CAC3E;IAEA,WAAW,KACT,GAAG,eAAe,KAAK,cACrB,OAAO,cAAc,aAAa,UAAU,IAAI,SAClD,CACF;IACA,WAAW,KAAK,GAAG,aAAa,KAAK,UAAU,MAAM,MAAM,aAAa,CAAC;IACzE,KAAK,MAAM,SAAS,QAAQ;KAC1B,MAAM,SAAS,OAAO,OAAO,OAAO,MAAM,IAAI;KAE9C,UAAU,OAAO,SAAS,aAAa,OAAO,QAAQ,SAAS,eAAe;IAChF;IACA,UAAU,CAAC,QAAQ;IACnB,KAAK,MAAM,SAAS,cAAc,OAAO,aAAa,KAAK;IAC3D,IAAI,cAAc,OAAO,iBAAiB,UAAU;SAElD,KAAK,MAAM,aAAa,OAAO,UAAU,GACvC,UAAU,OAAO,eAAe,SAAS,CAAC;IAC9C,UAAU,CAAC,QAAQ;GACrB,CAAC,CAAC,CAAC,KACD,OAAO,SACL,OAAO,WAAW;IAChB,QAAQ;GACV,CAAC,CACH,CACF,CACF;EACJ;EAEA,OAAO;CACT;CAEA,OAAO;EAAE;EAA0B;EAAM;EAAqB;CAAqB;AACrF"}
package/package.json ADDED
@@ -0,0 +1 @@
1
+ {"name":"@yielded/auth-persistence","version":"0.1.0-beta.10","dependencies":{"@noble/hashes":"2.3.0","@yielded/auth":"0.1.0-beta.10","@yielded/auth-crypto":"0.1.0-beta.0"},"devDependencies":{"@effect/platform-node":"4.0.0-rc.117","@effect/sql-libsql":"4.0.0-rc.117","@effect/sql-sqlite-node":"4.0.0-rc.117","@effect/vitest":"4.0.0-rc.117","effect":"4.0.0-rc.117","typescript":"7.0.2","vite-plus":"1.0.0-rc.0"},"peerDependencies":{"effect":"^4.0.0-rc.117"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./Adapter":{"types":"./dist/Adapter.d.mts","default":"./dist/Adapter.mjs"}},"description":"Direct Effect SQL persistence and shared storage contracts for Yielded Auth.","homepage":"https://yielded.dev/auth/","bugs":{"url":"https://github.com/yielded-dev/auth/issues"},"license":"MIT","repository":{"type":"git","url":"git+https://github.com/yielded-dev/auth.git","directory":"packages/auth-persistence"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}