@lix-js/sdk 0.6.0-preview.4 → 0.6.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 (223) hide show
  1. package/README.md +76 -4
  2. package/dist/errors.d.ts +7 -0
  3. package/dist/errors.js +19 -0
  4. package/dist/index.d.ts +4 -5
  5. package/dist/index.js +3 -3
  6. package/dist/native.d.ts +1 -0
  7. package/dist/native.js +47 -0
  8. package/dist/open-lix.d.ts +39 -201
  9. package/dist/open-lix.js +59 -284
  10. package/dist/result.d.ts +18 -0
  11. package/dist/result.js +48 -0
  12. package/dist/types.d.ts +114 -1
  13. package/dist/value.d.ts +28 -0
  14. package/dist/value.js +245 -0
  15. package/package.json +20 -50
  16. package/SKILL.md +0 -506
  17. package/dist/builtin-schemas.d.ts +0 -1
  18. package/dist/builtin-schemas.js +0 -1
  19. package/dist/engine-wasm/index.d.ts +0 -87
  20. package/dist/engine-wasm/index.js +0 -339
  21. package/dist/engine-wasm/wasm/lix_engine.d.ts +0 -79
  22. package/dist/engine-wasm/wasm/lix_engine.js +0 -821
  23. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  24. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +0 -26
  25. package/dist/generated/builtin-schemas.d.ts +0 -427
  26. package/dist/generated/builtin-schemas.js +0 -643
  27. package/dist/sqlite/index.d.ts +0 -12
  28. package/dist/sqlite/index.js +0 -303
  29. package/dist-engine-src/README.md +0 -18
  30. package/dist-engine-src/src/backend/kv.rs +0 -358
  31. package/dist-engine-src/src/backend/mod.rs +0 -12
  32. package/dist-engine-src/src/backend/testing.rs +0 -658
  33. package/dist-engine-src/src/backend/types.rs +0 -96
  34. package/dist-engine-src/src/binary_cas/chunking.rs +0 -31
  35. package/dist-engine-src/src/binary_cas/codec.rs +0 -346
  36. package/dist-engine-src/src/binary_cas/context.rs +0 -139
  37. package/dist-engine-src/src/binary_cas/kv.rs +0 -1063
  38. package/dist-engine-src/src/binary_cas/mod.rs +0 -11
  39. package/dist-engine-src/src/binary_cas/types.rs +0 -121
  40. package/dist-engine-src/src/catalog/context.rs +0 -412
  41. package/dist-engine-src/src/catalog/mod.rs +0 -10
  42. package/dist-engine-src/src/catalog/schema.rs +0 -4
  43. package/dist-engine-src/src/catalog/snapshot.rs +0 -1114
  44. package/dist-engine-src/src/cel/context.rs +0 -86
  45. package/dist-engine-src/src/cel/error.rs +0 -19
  46. package/dist-engine-src/src/cel/mod.rs +0 -8
  47. package/dist-engine-src/src/cel/provider.rs +0 -9
  48. package/dist-engine-src/src/cel/runtime.rs +0 -167
  49. package/dist-engine-src/src/cel/value.rs +0 -50
  50. package/dist-engine-src/src/commit_graph/context.rs +0 -901
  51. package/dist-engine-src/src/commit_graph/mod.rs +0 -11
  52. package/dist-engine-src/src/commit_graph/types.rs +0 -109
  53. package/dist-engine-src/src/commit_graph/walker.rs +0 -756
  54. package/dist-engine-src/src/commit_store/codec.rs +0 -887
  55. package/dist-engine-src/src/commit_store/context.rs +0 -944
  56. package/dist-engine-src/src/commit_store/materialization.rs +0 -84
  57. package/dist-engine-src/src/commit_store/mod.rs +0 -16
  58. package/dist-engine-src/src/commit_store/storage.rs +0 -600
  59. package/dist-engine-src/src/commit_store/types.rs +0 -215
  60. package/dist-engine-src/src/common/error.rs +0 -313
  61. package/dist-engine-src/src/common/fingerprint.rs +0 -3
  62. package/dist-engine-src/src/common/fs_path.rs +0 -1336
  63. package/dist-engine-src/src/common/identity.rs +0 -145
  64. package/dist-engine-src/src/common/json_pointer.rs +0 -67
  65. package/dist-engine-src/src/common/metadata.rs +0 -40
  66. package/dist-engine-src/src/common/mod.rs +0 -23
  67. package/dist-engine-src/src/common/types.rs +0 -105
  68. package/dist-engine-src/src/common/wire.rs +0 -222
  69. package/dist-engine-src/src/domain.rs +0 -324
  70. package/dist-engine-src/src/engine.rs +0 -225
  71. package/dist-engine-src/src/entity_identity.rs +0 -405
  72. package/dist-engine-src/src/functions/context.rs +0 -292
  73. package/dist-engine-src/src/functions/deterministic.rs +0 -113
  74. package/dist-engine-src/src/functions/mod.rs +0 -18
  75. package/dist-engine-src/src/functions/provider.rs +0 -130
  76. package/dist-engine-src/src/functions/state.rs +0 -336
  77. package/dist-engine-src/src/functions/types.rs +0 -37
  78. package/dist-engine-src/src/init.rs +0 -558
  79. package/dist-engine-src/src/json_store/compression.rs +0 -77
  80. package/dist-engine-src/src/json_store/context.rs +0 -423
  81. package/dist-engine-src/src/json_store/encoded.rs +0 -15
  82. package/dist-engine-src/src/json_store/mod.rs +0 -12
  83. package/dist-engine-src/src/json_store/store.rs +0 -1109
  84. package/dist-engine-src/src/json_store/types.rs +0 -217
  85. package/dist-engine-src/src/lib.rs +0 -62
  86. package/dist-engine-src/src/live_state/context.rs +0 -2019
  87. package/dist-engine-src/src/live_state/mod.rs +0 -15
  88. package/dist-engine-src/src/live_state/overlay.rs +0 -75
  89. package/dist-engine-src/src/live_state/reader.rs +0 -23
  90. package/dist-engine-src/src/live_state/types.rs +0 -222
  91. package/dist-engine-src/src/live_state/visibility.rs +0 -223
  92. package/dist-engine-src/src/plugin/archive.rs +0 -438
  93. package/dist-engine-src/src/plugin/component.rs +0 -183
  94. package/dist-engine-src/src/plugin/install.rs +0 -619
  95. package/dist-engine-src/src/plugin/manifest.rs +0 -516
  96. package/dist-engine-src/src/plugin/materializer.rs +0 -477
  97. package/dist-engine-src/src/plugin/mod.rs +0 -33
  98. package/dist-engine-src/src/plugin/plugin_manifest.json +0 -118
  99. package/dist-engine-src/src/plugin/storage.rs +0 -74
  100. package/dist-engine-src/src/schema/annotations/defaults.rs +0 -275
  101. package/dist-engine-src/src/schema/annotations/mod.rs +0 -1
  102. package/dist-engine-src/src/schema/builtin/lix_account.json +0 -21
  103. package/dist-engine-src/src/schema/builtin/lix_active_account.json +0 -29
  104. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +0 -29
  105. package/dist-engine-src/src/schema/builtin/lix_change.json +0 -63
  106. package/dist-engine-src/src/schema/builtin/lix_change_author.json +0 -45
  107. package/dist-engine-src/src/schema/builtin/lix_commit.json +0 -24
  108. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +0 -53
  109. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +0 -52
  110. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +0 -52
  111. package/dist-engine-src/src/schema/builtin/lix_key_value.json +0 -40
  112. package/dist-engine-src/src/schema/builtin/lix_label.json +0 -29
  113. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +0 -74
  114. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +0 -25
  115. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +0 -34
  116. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +0 -48
  117. package/dist-engine-src/src/schema/builtin/mod.rs +0 -222
  118. package/dist-engine-src/src/schema/compatibility.rs +0 -787
  119. package/dist-engine-src/src/schema/definition.json +0 -187
  120. package/dist-engine-src/src/schema/definition.rs +0 -742
  121. package/dist-engine-src/src/schema/key.rs +0 -138
  122. package/dist-engine-src/src/schema/mod.rs +0 -20
  123. package/dist-engine-src/src/schema/seed.rs +0 -14
  124. package/dist-engine-src/src/schema/tests.rs +0 -780
  125. package/dist-engine-src/src/session/context.rs +0 -404
  126. package/dist-engine-src/src/session/create_version.rs +0 -88
  127. package/dist-engine-src/src/session/execute.rs +0 -541
  128. package/dist-engine-src/src/session/merge/analysis.rs +0 -102
  129. package/dist-engine-src/src/session/merge/apply.rs +0 -23
  130. package/dist-engine-src/src/session/merge/conflicts.rs +0 -63
  131. package/dist-engine-src/src/session/merge/mod.rs +0 -11
  132. package/dist-engine-src/src/session/merge/stats.rs +0 -65
  133. package/dist-engine-src/src/session/merge/version.rs +0 -427
  134. package/dist-engine-src/src/session/mod.rs +0 -27
  135. package/dist-engine-src/src/session/optimization9_sql2_bench.rs +0 -100
  136. package/dist-engine-src/src/session/switch_version.rs +0 -110
  137. package/dist-engine-src/src/session/transaction.rs +0 -76
  138. package/dist-engine-src/src/sql2/change_provider.rs +0 -331
  139. package/dist-engine-src/src/sql2/classify.rs +0 -174
  140. package/dist-engine-src/src/sql2/context.rs +0 -311
  141. package/dist-engine-src/src/sql2/directory_history_provider.rs +0 -631
  142. package/dist-engine-src/src/sql2/directory_provider.rs +0 -2453
  143. package/dist-engine-src/src/sql2/dml.rs +0 -148
  144. package/dist-engine-src/src/sql2/entity_history_provider.rs +0 -440
  145. package/dist-engine-src/src/sql2/entity_provider.rs +0 -3211
  146. package/dist-engine-src/src/sql2/error.rs +0 -215
  147. package/dist-engine-src/src/sql2/execute.rs +0 -3533
  148. package/dist-engine-src/src/sql2/file_history_provider.rs +0 -910
  149. package/dist-engine-src/src/sql2/file_provider.rs +0 -3679
  150. package/dist-engine-src/src/sql2/filesystem_planner.rs +0 -1490
  151. package/dist-engine-src/src/sql2/filesystem_predicates.rs +0 -159
  152. package/dist-engine-src/src/sql2/filesystem_visibility.rs +0 -383
  153. package/dist-engine-src/src/sql2/history_projection.rs +0 -56
  154. package/dist-engine-src/src/sql2/history_provider.rs +0 -412
  155. package/dist-engine-src/src/sql2/history_route.rs +0 -657
  156. package/dist-engine-src/src/sql2/lix_state_provider.rs +0 -2512
  157. package/dist-engine-src/src/sql2/mod.rs +0 -47
  158. package/dist-engine-src/src/sql2/predicate_typecheck.rs +0 -246
  159. package/dist-engine-src/src/sql2/public_bind/assignment.rs +0 -46
  160. package/dist-engine-src/src/sql2/public_bind/capability.rs +0 -41
  161. package/dist-engine-src/src/sql2/public_bind/dml.rs +0 -172
  162. package/dist-engine-src/src/sql2/public_bind/mod.rs +0 -26
  163. package/dist-engine-src/src/sql2/public_bind/table.rs +0 -168
  164. package/dist-engine-src/src/sql2/read_only.rs +0 -63
  165. package/dist-engine-src/src/sql2/record_batch.rs +0 -17
  166. package/dist-engine-src/src/sql2/result_metadata.rs +0 -29
  167. package/dist-engine-src/src/sql2/runtime.rs +0 -60
  168. package/dist-engine-src/src/sql2/session.rs +0 -132
  169. package/dist-engine-src/src/sql2/udfs/common.rs +0 -295
  170. package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +0 -53
  171. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +0 -47
  172. package/dist-engine-src/src/sql2/udfs/lix_json.rs +0 -100
  173. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +0 -99
  174. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +0 -99
  175. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +0 -82
  176. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +0 -85
  177. package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +0 -76
  178. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +0 -76
  179. package/dist-engine-src/src/sql2/udfs/mod.rs +0 -89
  180. package/dist-engine-src/src/sql2/udfs/public_call.rs +0 -238
  181. package/dist-engine-src/src/sql2/version_provider.rs +0 -1202
  182. package/dist-engine-src/src/sql2/version_scope.rs +0 -394
  183. package/dist-engine-src/src/sql2/write_normalization.rs +0 -345
  184. package/dist-engine-src/src/storage/context.rs +0 -356
  185. package/dist-engine-src/src/storage/mod.rs +0 -14
  186. package/dist-engine-src/src/storage/read_scope.rs +0 -88
  187. package/dist-engine-src/src/storage/types.rs +0 -501
  188. package/dist-engine-src/src/storage_bench.rs +0 -4863
  189. package/dist-engine-src/src/test_support.rs +0 -228
  190. package/dist-engine-src/src/tracked_state/by_file_index.rs +0 -98
  191. package/dist-engine-src/src/tracked_state/codec.rs +0 -2085
  192. package/dist-engine-src/src/tracked_state/context.rs +0 -1867
  193. package/dist-engine-src/src/tracked_state/diff.rs +0 -686
  194. package/dist-engine-src/src/tracked_state/materialization.rs +0 -403
  195. package/dist-engine-src/src/tracked_state/materializer.rs +0 -488
  196. package/dist-engine-src/src/tracked_state/merge.rs +0 -492
  197. package/dist-engine-src/src/tracked_state/mod.rs +0 -32
  198. package/dist-engine-src/src/tracked_state/storage.rs +0 -375
  199. package/dist-engine-src/src/tracked_state/tree.rs +0 -3187
  200. package/dist-engine-src/src/tracked_state/types.rs +0 -231
  201. package/dist-engine-src/src/transaction/commit.rs +0 -1484
  202. package/dist-engine-src/src/transaction/context.rs +0 -1548
  203. package/dist-engine-src/src/transaction/live_state_overlay.rs +0 -35
  204. package/dist-engine-src/src/transaction/mod.rs +0 -13
  205. package/dist-engine-src/src/transaction/normalization.rs +0 -890
  206. package/dist-engine-src/src/transaction/prep.rs +0 -37
  207. package/dist-engine-src/src/transaction/schema_resolver.rs +0 -149
  208. package/dist-engine-src/src/transaction/staging.rs +0 -1731
  209. package/dist-engine-src/src/transaction/types.rs +0 -460
  210. package/dist-engine-src/src/transaction/validation.rs +0 -5830
  211. package/dist-engine-src/src/untracked_state/codec.rs +0 -307
  212. package/dist-engine-src/src/untracked_state/context.rs +0 -98
  213. package/dist-engine-src/src/untracked_state/materialization.rs +0 -63
  214. package/dist-engine-src/src/untracked_state/mod.rs +0 -15
  215. package/dist-engine-src/src/untracked_state/storage.rs +0 -396
  216. package/dist-engine-src/src/untracked_state/types.rs +0 -146
  217. package/dist-engine-src/src/version/context.rs +0 -40
  218. package/dist-engine-src/src/version/lifecycle.rs +0 -221
  219. package/dist-engine-src/src/version/mod.rs +0 -13
  220. package/dist-engine-src/src/version/refs.rs +0 -330
  221. package/dist-engine-src/src/version/stage_rows.rs +0 -67
  222. package/dist-engine-src/src/version/types.rs +0 -21
  223. package/dist-engine-src/src/wasm/mod.rs +0 -60
@@ -1,404 +0,0 @@
1
- use std::future::Future;
2
- use std::pin::Pin;
3
- use std::sync::atomic::{AtomicBool, Ordering};
4
- use std::sync::Arc;
5
-
6
- use serde_json::Value as JsonValue;
7
-
8
- use crate::binary_cas::{BinaryCasContext, BlobDataReader};
9
- use crate::catalog::CatalogContext;
10
- use crate::commit_graph::{CommitGraphContext, CommitGraphReader};
11
- use crate::commit_store::CommitStoreContext;
12
- use crate::entity_identity::EntityIdentity;
13
- use crate::functions::FunctionProviderHandle;
14
- use crate::json_store::JsonStoreContext;
15
- use crate::live_state::{LiveStateContext, LiveStateReader, LiveStateRowRequest};
16
- use crate::sql2::{CommitStoreQuerySource, SqlCommitStoreQuerySource, SqlExecutionContext};
17
- use crate::storage::{
18
- ScopedStorageReader, StorageContext, StorageReadScope, StorageReadTransaction, StorageReader,
19
- };
20
- use crate::tracked_state::TrackedStateContext;
21
- use crate::transaction::{open_transaction, Transaction};
22
- use crate::version::{
23
- VersionContext, VersionLifecycle, VersionOperation, VersionRefReader, VersionReferenceRole,
24
- };
25
- use crate::GLOBAL_VERSION_ID;
26
- use crate::{LixError, NullableKeyFilter};
27
-
28
- use super::transaction::transaction_state_error;
29
-
30
- pub(crate) const WORKSPACE_VERSION_KEY: &str = "lix_workspace_version_id";
31
-
32
- #[derive(Clone)]
33
- pub(crate) enum SessionMode {
34
- Pinned { version_id: String },
35
- Workspace,
36
- }
37
-
38
- /// Session-context state for engine execution.
39
- ///
40
- /// A session context pins the active version selector and shared execution
41
- /// services. Parent-handle `execute(...)` runs as an implicit single-statement
42
- /// transaction. Explicit transactions hold the session execution lease until
43
- /// commit or rollback, so all SQL during that window must run through the
44
- /// transaction handle.
45
- #[derive(Clone)]
46
- pub struct SessionContext {
47
- pub(super) mode: SessionMode,
48
- pub(super) storage: StorageContext,
49
- pub(super) live_state: Arc<LiveStateContext>,
50
- pub(super) tracked_state: Arc<TrackedStateContext>,
51
- pub(super) binary_cas: Arc<BinaryCasContext>,
52
- pub(super) commit_store: Arc<CommitStoreContext>,
53
- pub(super) version_ctx: Arc<VersionContext>,
54
- pub(super) catalog_context: Arc<CatalogContext>,
55
- closed: Arc<AtomicBool>,
56
- active_transaction: Arc<AtomicBool>,
57
- }
58
-
59
- impl SessionContext {
60
- pub(crate) async fn open_workspace(
61
- storage: StorageContext,
62
- live_state: Arc<LiveStateContext>,
63
- tracked_state: Arc<TrackedStateContext>,
64
- binary_cas: Arc<BinaryCasContext>,
65
- commit_store: Arc<CommitStoreContext>,
66
- version_ctx: Arc<VersionContext>,
67
- catalog_context: Arc<CatalogContext>,
68
- ) -> Result<Self, LixError> {
69
- let session = Self::new(
70
- SessionMode::Workspace,
71
- storage,
72
- live_state,
73
- tracked_state,
74
- binary_cas,
75
- commit_store,
76
- version_ctx,
77
- catalog_context,
78
- );
79
- session.active_version_id().await?;
80
- Ok(session)
81
- }
82
-
83
- pub(crate) async fn open(
84
- active_version_id: String,
85
- storage: StorageContext,
86
- live_state: Arc<LiveStateContext>,
87
- tracked_state: Arc<TrackedStateContext>,
88
- binary_cas: Arc<BinaryCasContext>,
89
- commit_store: Arc<CommitStoreContext>,
90
- version_ctx: Arc<VersionContext>,
91
- catalog_context: Arc<CatalogContext>,
92
- ) -> Result<Self, LixError> {
93
- Ok(Self::new(
94
- SessionMode::Pinned {
95
- version_id: active_version_id,
96
- },
97
- storage,
98
- live_state,
99
- tracked_state,
100
- binary_cas,
101
- commit_store,
102
- version_ctx,
103
- catalog_context,
104
- ))
105
- }
106
-
107
- pub(super) fn new(
108
- mode: SessionMode,
109
- storage: StorageContext,
110
- live_state: Arc<LiveStateContext>,
111
- tracked_state: Arc<TrackedStateContext>,
112
- binary_cas: Arc<BinaryCasContext>,
113
- commit_store: Arc<CommitStoreContext>,
114
- version_ctx: Arc<VersionContext>,
115
- catalog_context: Arc<CatalogContext>,
116
- ) -> Self {
117
- Self::new_with_closed(
118
- mode,
119
- storage,
120
- live_state,
121
- tracked_state,
122
- binary_cas,
123
- commit_store,
124
- version_ctx,
125
- catalog_context,
126
- Arc::new(AtomicBool::new(false)),
127
- Arc::new(AtomicBool::new(false)),
128
- )
129
- }
130
-
131
- pub(super) fn new_with_closed(
132
- mode: SessionMode,
133
- storage: StorageContext,
134
- live_state: Arc<LiveStateContext>,
135
- tracked_state: Arc<TrackedStateContext>,
136
- binary_cas: Arc<BinaryCasContext>,
137
- commit_store: Arc<CommitStoreContext>,
138
- version_ctx: Arc<VersionContext>,
139
- catalog_context: Arc<CatalogContext>,
140
- closed: Arc<AtomicBool>,
141
- active_transaction: Arc<AtomicBool>,
142
- ) -> Self {
143
- Self {
144
- mode,
145
- storage,
146
- live_state,
147
- tracked_state,
148
- binary_cas,
149
- commit_store,
150
- version_ctx,
151
- catalog_context,
152
- closed,
153
- active_transaction,
154
- }
155
- }
156
-
157
- /// Releases this logical session handle. This is a lifecycle boundary only:
158
- /// successful writes are committed before their operation returns.
159
- pub async fn close(&self) -> Result<(), LixError> {
160
- self.closed.store(true, Ordering::SeqCst);
161
- Ok(())
162
- }
163
-
164
- pub fn is_closed(&self) -> bool {
165
- self.closed.load(Ordering::SeqCst)
166
- }
167
-
168
- pub(crate) fn closed_flag(&self) -> Arc<AtomicBool> {
169
- Arc::clone(&self.closed)
170
- }
171
-
172
- pub(crate) fn active_transaction_flag(&self) -> Arc<AtomicBool> {
173
- Arc::clone(&self.active_transaction)
174
- }
175
-
176
- pub(crate) fn ensure_open(&self) -> Result<(), LixError> {
177
- if self.is_closed() {
178
- return Err(closed_error());
179
- }
180
- Ok(())
181
- }
182
-
183
- /// Resolves the version this session should operate on right now.
184
- ///
185
- /// This is a read-path helper. Write flows must resolve the active version
186
- /// through the transaction capability so the read is scoped to the
187
- /// same backend transaction as the writes it influences.
188
- ///
189
- /// Pinned sessions are pure in-memory views over one version. Workspace
190
- /// sessions read the shared workspace selector from untracked global
191
- /// `lix_key_value` state so multiple open app sessions can observe the same
192
- /// active workspace version.
193
- pub async fn active_version_id(&self) -> Result<String, LixError> {
194
- let mut transaction = self.storage.begin_read_transaction().await?;
195
- let result = self
196
- .active_version_id_from_reader(transaction.as_mut())
197
- .await;
198
- match result {
199
- Ok(version_id) => {
200
- transaction.rollback().await?;
201
- Ok(version_id)
202
- }
203
- Err(error) => {
204
- let _ = transaction.rollback().await;
205
- Err(error)
206
- }
207
- }
208
- }
209
-
210
- pub(super) async fn active_version_id_from_reader<S>(
211
- &self,
212
- reader: &mut S,
213
- ) -> Result<String, LixError>
214
- where
215
- S: StorageReader + ?Sized,
216
- {
217
- self.ensure_open()?;
218
- match &self.mode {
219
- SessionMode::Pinned { version_id } => Ok(version_id.clone()),
220
- SessionMode::Workspace => self.load_workspace_version_id(reader).await,
221
- }
222
- }
223
-
224
- async fn load_workspace_version_id<S>(&self, reader: &mut S) -> Result<String, LixError>
225
- where
226
- S: StorageReader + ?Sized,
227
- {
228
- let row = self
229
- .live_state
230
- .reader(&mut *reader)
231
- .load_row(&LiveStateRowRequest {
232
- schema_key: "lix_key_value".to_string(),
233
- version_id: GLOBAL_VERSION_ID.to_string(),
234
- entity_id: EntityIdentity::single(WORKSPACE_VERSION_KEY),
235
- file_id: NullableKeyFilter::Null,
236
- })
237
- .await?
238
- .ok_or_else(|| {
239
- LixError::new(
240
- "LIX_ERROR_UNKNOWN",
241
- "workspace version selector is missing lix_key_value:lix_workspace_version_id",
242
- )
243
- })?;
244
- let snapshot_content = row.snapshot_content.as_deref().ok_or_else(|| {
245
- LixError::new(
246
- "LIX_ERROR_UNKNOWN",
247
- "workspace version selector is missing snapshot_content",
248
- )
249
- })?;
250
- let snapshot = serde_json::from_str::<JsonValue>(snapshot_content).map_err(|error| {
251
- LixError::new(
252
- "LIX_ERROR_UNKNOWN",
253
- format!("workspace version selector snapshot is invalid JSON: {error}"),
254
- )
255
- })?;
256
- let version_id = snapshot
257
- .get("value")
258
- .and_then(JsonValue::as_str)
259
- .filter(|value| !value.is_empty())
260
- .ok_or_else(|| {
261
- LixError::new(
262
- "LIX_ERROR_UNKNOWN",
263
- "workspace version selector value must be a non-empty string",
264
- )
265
- })?
266
- .to_string();
267
-
268
- let version_ref = self.version_ctx.ref_reader(&mut *reader);
269
- VersionLifecycle::new(&version_ref)
270
- .require_existing_ref(
271
- &version_id,
272
- VersionOperation::LoadWorkspaceSelector,
273
- VersionReferenceRole::WorkspaceSelector,
274
- )
275
- .await?;
276
-
277
- Ok(version_id)
278
- }
279
-
280
- pub(crate) async fn with_write_transaction<T, F>(&self, f: F) -> Result<T, LixError>
281
- where
282
- F: for<'tx> FnOnce(
283
- &'tx mut Transaction,
284
- ) -> Pin<Box<dyn Future<Output = Result<T, LixError>> + 'tx>>,
285
- {
286
- self.ensure_open()?;
287
- let _transaction_guard = self.reserve_session_transaction()?;
288
- self.with_write_transaction_reserved(f).await
289
- }
290
-
291
- pub(crate) async fn with_write_transaction_reserved<T, F>(&self, f: F) -> Result<T, LixError>
292
- where
293
- F: for<'tx> FnOnce(
294
- &'tx mut Transaction,
295
- ) -> Pin<Box<dyn Future<Output = Result<T, LixError>> + 'tx>>,
296
- {
297
- let opened = open_transaction(
298
- &self.mode,
299
- self.storage.clone(),
300
- Arc::clone(&self.live_state),
301
- Arc::clone(&self.tracked_state),
302
- Arc::clone(&self.binary_cas),
303
- Arc::clone(&self.commit_store),
304
- Arc::clone(&self.version_ctx),
305
- Arc::clone(&self.catalog_context),
306
- )
307
- .await?;
308
- let mut transaction = opened.transaction;
309
- let runtime_functions = opened.runtime_functions;
310
-
311
- match f(&mut transaction).await {
312
- Ok(value) => {
313
- transaction.commit(&runtime_functions).await?;
314
- Ok(value)
315
- }
316
- Err(error) => {
317
- let _ = transaction.rollback().await;
318
- Err(error)
319
- }
320
- }
321
- }
322
-
323
- pub(super) fn reserve_session_transaction(&self) -> Result<SessionTransactionGuard, LixError> {
324
- let active_transaction = self.active_transaction_flag();
325
- if active_transaction
326
- .compare_exchange(false, true, Ordering::SeqCst, Ordering::SeqCst)
327
- .is_err()
328
- {
329
- return Err(transaction_state_error(
330
- "Lix handle has an active transaction; use the transaction handle for reads and writes until it is committed or rolled back",
331
- ));
332
- }
333
- Ok(SessionTransactionGuard { active_transaction })
334
- }
335
- }
336
-
337
- fn closed_error() -> LixError {
338
- LixError::new(LixError::CODE_CLOSED, "Lix handle is closed")
339
- .with_hint("Open a new Lix handle before calling this method.")
340
- }
341
-
342
- pub(super) struct SessionTransactionGuard {
343
- active_transaction: Arc<AtomicBool>,
344
- }
345
-
346
- impl Drop for SessionTransactionGuard {
347
- fn drop(&mut self) {
348
- self.active_transaction.store(false, Ordering::SeqCst);
349
- }
350
- }
351
-
352
- /// Read-only SQL execution context derived from a session.
353
- ///
354
- /// Write statements re-plan against `Transaction`; this context intentionally
355
- /// has no write stager.
356
- pub(super) struct SessionSqlExecutionContext<'a> {
357
- pub(super) active_version_id: &'a str,
358
- pub(super) read_store:
359
- ScopedStorageReader<Box<dyn StorageReadTransaction + Send + Sync + 'static>>,
360
- pub(super) live_state: Arc<LiveStateContext>,
361
- pub(super) binary_cas: Arc<BinaryCasContext>,
362
- pub(super) commit_store: Arc<CommitStoreContext>,
363
- pub(super) version_ctx: Arc<VersionContext>,
364
- pub(super) visible_schemas: Vec<JsonValue>,
365
- pub(super) functions: FunctionProviderHandle,
366
- }
367
-
368
- impl SqlExecutionContext for SessionSqlExecutionContext<'_> {
369
- fn active_version_id(&self) -> &str {
370
- self.active_version_id
371
- }
372
-
373
- fn live_state(&self) -> Arc<dyn LiveStateReader> {
374
- Arc::new(self.live_state.reader(self.read_store.clone())) as Arc<dyn LiveStateReader>
375
- }
376
-
377
- fn commit_store_query_source(&self) -> SqlCommitStoreQuerySource {
378
- let read_scope = StorageReadScope::new(self.read_store.clone());
379
- CommitStoreQuerySource {
380
- commit_store_reader: Arc::new(self.commit_store.reader(read_scope.store())),
381
- json_reader: JsonStoreContext::new().reader(read_scope.store()),
382
- }
383
- }
384
-
385
- fn commit_graph(&self) -> Box<dyn CommitGraphReader> {
386
- Box::new(CommitGraphContext::new().reader(self.read_store.clone()))
387
- }
388
-
389
- fn version_ref(&self) -> Arc<dyn VersionRefReader> {
390
- Arc::new(self.version_ctx.ref_reader(self.read_store.clone()))
391
- }
392
-
393
- fn functions(&self) -> FunctionProviderHandle {
394
- self.functions.clone()
395
- }
396
-
397
- fn blob_reader(&self) -> Arc<dyn BlobDataReader> {
398
- Arc::new(self.binary_cas.reader(self.read_store.clone())) as Arc<dyn BlobDataReader>
399
- }
400
-
401
- fn list_visible_schemas(&self) -> Result<Vec<JsonValue>, LixError> {
402
- Ok(self.visible_schemas.clone())
403
- }
404
- }
@@ -1,88 +0,0 @@
1
- use crate::transaction::types::{TransactionWrite, TransactionWriteMode};
2
- use crate::version::{
3
- version_descriptor_stage_row, version_ref_stage_row, VersionLifecycle, VersionOperation,
4
- VersionReferenceRole,
5
- };
6
- use crate::LixError;
7
-
8
- use super::context::SessionContext;
9
-
10
- /// Options for creating a new version from the session's active version.
11
- #[derive(Debug, Clone, PartialEq, Eq)]
12
- pub struct CreateVersionOptions {
13
- /// Optional caller-provided version id. If omitted, engine generates one.
14
- pub id: Option<String>,
15
- /// User-facing version name.
16
- pub name: String,
17
- /// Optional commit id for the new version head. If omitted, the current
18
- /// active version head is used.
19
- pub from_commit_id: Option<String>,
20
- }
21
-
22
- /// Receipt returned after creating a version.
23
- #[derive(Debug, Clone, PartialEq, Eq)]
24
- pub struct CreateVersionReceipt {
25
- pub id: String,
26
- pub name: String,
27
- pub hidden: bool,
28
- pub commit_id: String,
29
- }
30
-
31
- impl SessionContext {
32
- /// Creates a new version from this session's current version head.
33
- ///
34
- /// Version descriptors are tracked global facts so every version agrees on
35
- /// which versions exist. Version refs are untracked global moving pointers,
36
- /// so creating a ref does not add another changelog fact.
37
- pub async fn create_version(
38
- &self,
39
- options: CreateVersionOptions,
40
- ) -> Result<CreateVersionReceipt, LixError> {
41
- self.with_write_transaction(|transaction| {
42
- Box::pin(async move {
43
- let version_id = options
44
- .id
45
- .unwrap_or_else(|| transaction.functions().call_uuid_v7());
46
- let source_head = if let Some(from_commit_id) = options.from_commit_id {
47
- let mut commit_graph = transaction.commit_graph_reader();
48
- VersionLifecycle::require_existing_commit(
49
- &mut commit_graph,
50
- &from_commit_id,
51
- VersionOperation::CreateVersion,
52
- VersionReferenceRole::CommitSource,
53
- )
54
- .await?;
55
- from_commit_id
56
- } else {
57
- let active_version_id = transaction.active_version_id().to_string();
58
- let reader = transaction.version_ref_reader();
59
- VersionLifecycle::new(&reader)
60
- .require_existing_commit_id(
61
- &active_version_id,
62
- VersionOperation::CreateVersion,
63
- VersionReferenceRole::Source,
64
- )
65
- .await?
66
- };
67
-
68
- transaction
69
- .stage_write(TransactionWrite::Rows {
70
- mode: TransactionWriteMode::Insert,
71
- rows: vec![
72
- version_descriptor_stage_row(&version_id, &options.name, false),
73
- version_ref_stage_row(&version_id, &source_head),
74
- ],
75
- })
76
- .await?;
77
-
78
- Ok(CreateVersionReceipt {
79
- id: version_id,
80
- name: options.name,
81
- hidden: false,
82
- commit_id: source_head,
83
- })
84
- })
85
- })
86
- .await
87
- }
88
- }