@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,396 +0,0 @@
1
- use crate::storage::KvScanRange;
2
- use crate::storage::{KvGetGroup, KvGetRequest, KvScanRequest, StorageReader, StorageWriteSet};
3
- use crate::untracked_state::{
4
- MaterializedUntrackedStateRow, UntrackedMaterializationProjection, UntrackedStateIdentity,
5
- UntrackedStateIdentityRef, UntrackedStateRow, UntrackedStateRowRef, UntrackedStateRowRequest,
6
- UntrackedStateScanRequest,
7
- };
8
- use crate::{LixError, NullableKeyFilter};
9
-
10
- pub(super) const UNTRACKED_STATE_ROW_NAMESPACE: &str = "untracked_state.row";
11
-
12
- pub(crate) async fn scan_rows(
13
- store: &mut impl StorageReader,
14
- request: &UntrackedStateScanRequest,
15
- ) -> Result<Vec<MaterializedUntrackedStateRow>, LixError> {
16
- let mut rows = scan_all_canonical_rows(store).await?;
17
- rows.retain(|row| row_matches_scan(row, request));
18
- if let Some(limit) = request.limit {
19
- rows.truncate(limit);
20
- }
21
- let projection = UntrackedMaterializationProjection::from_columns(&request.projection.columns);
22
- let mut materialized = Vec::with_capacity(rows.len());
23
- for row in rows {
24
- materialized.push(crate::untracked_state::materialize_row(row, &projection)?);
25
- }
26
- Ok(materialized)
27
- }
28
-
29
- pub(crate) async fn load_row(
30
- store: &mut impl StorageReader,
31
- request: &UntrackedStateRowRequest,
32
- ) -> Result<Option<MaterializedUntrackedStateRow>, LixError> {
33
- let Some(identity) = identity_from_request(request) else {
34
- return Ok(None);
35
- };
36
- let bytes = store
37
- .get_values(KvGetRequest {
38
- groups: vec![KvGetGroup {
39
- namespace: UNTRACKED_STATE_ROW_NAMESPACE.to_string(),
40
- keys: vec![encode_untracked_state_row_key(&identity)],
41
- }],
42
- })
43
- .await?
44
- .groups
45
- .into_iter()
46
- .next()
47
- .and_then(|group| group.single_value_owned());
48
- let Some(bytes) = bytes else {
49
- return Ok(None);
50
- };
51
- let row = crate::untracked_state::codec::decode_row(&bytes)?;
52
- crate::untracked_state::materialize_row(row, &UntrackedMaterializationProjection::full())
53
- .map(Some)
54
- }
55
-
56
- pub(super) async fn existing_identities<'a>(
57
- store: &mut (impl StorageReader + ?Sized),
58
- identities: impl IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
59
- ) -> Result<Vec<UntrackedStateIdentity>, LixError> {
60
- let mut candidates = identities
61
- .into_iter()
62
- .map(|identity| {
63
- let owned = UntrackedStateIdentity {
64
- version_id: identity.version_id.to_string(),
65
- schema_key: identity.schema_key.to_string(),
66
- entity_id: identity.entity_id.clone(),
67
- file_id: identity.file_id.map(str::to_string),
68
- };
69
- let key = encode_untracked_state_row_key_ref(owned.as_ref());
70
- (key, owned)
71
- })
72
- .collect::<Vec<_>>();
73
- candidates.sort_by(|(left, _), (right, _)| left.cmp(right));
74
- candidates.dedup_by(|(left, _), (right, _)| left == right);
75
- if candidates.is_empty() {
76
- return Ok(Vec::new());
77
- }
78
- let keys = candidates
79
- .iter()
80
- .map(|(key, _)| key.clone())
81
- .collect::<Vec<_>>();
82
-
83
- let result = store
84
- .exists_many(KvGetRequest {
85
- groups: vec![KvGetGroup {
86
- namespace: UNTRACKED_STATE_ROW_NAMESPACE.to_string(),
87
- keys,
88
- }],
89
- })
90
- .await?;
91
- let group = result.groups.into_iter().next().ok_or_else(|| {
92
- LixError::new(
93
- LixError::CODE_INTERNAL_ERROR,
94
- "untracked identity existence probe returned no result group",
95
- )
96
- })?;
97
- if group.exists.len() != candidates.len() {
98
- return Err(LixError::new(
99
- LixError::CODE_INTERNAL_ERROR,
100
- format!(
101
- "untracked identity existence probe returned {} results for {} requested keys",
102
- group.exists.len(),
103
- candidates.len()
104
- ),
105
- ));
106
- }
107
-
108
- Ok(candidates
109
- .into_iter()
110
- .zip(group.exists)
111
- .filter_map(|((_, identity), exists)| exists.then_some(identity))
112
- .collect())
113
- }
114
-
115
- pub(crate) fn stage_rows<'a, I>(writes: &mut StorageWriteSet, rows: I) -> Result<(), LixError>
116
- where
117
- I: IntoIterator<Item = UntrackedStateRowRef<'a>>,
118
- {
119
- for row in rows {
120
- if row.snapshot_content.is_none() {
121
- writes.delete(
122
- UNTRACKED_STATE_ROW_NAMESPACE,
123
- encode_untracked_state_row_key_ref(row.into()),
124
- );
125
- } else {
126
- writes.put(
127
- UNTRACKED_STATE_ROW_NAMESPACE,
128
- encode_untracked_state_row_key_ref(row.into()),
129
- crate::untracked_state::codec::encode_row_ref(row)?,
130
- );
131
- }
132
- }
133
- Ok(())
134
- }
135
-
136
- pub(crate) fn stage_delete_rows<'a, I>(writes: &mut StorageWriteSet, identities: I)
137
- where
138
- I: IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
139
- {
140
- for identity in identities {
141
- writes.delete(
142
- UNTRACKED_STATE_ROW_NAMESPACE,
143
- encode_untracked_state_row_key_ref(identity),
144
- );
145
- }
146
- }
147
-
148
- async fn scan_all_canonical_rows(
149
- store: &mut impl StorageReader,
150
- ) -> Result<Vec<UntrackedStateRow>, LixError> {
151
- let page = store
152
- .scan_values(KvScanRequest {
153
- namespace: UNTRACKED_STATE_ROW_NAMESPACE.to_string(),
154
- range: KvScanRange::prefix(Vec::new()),
155
- after: None,
156
- limit: usize::MAX,
157
- })
158
- .await?;
159
- page.values
160
- .iter()
161
- .map(crate::untracked_state::codec::decode_row)
162
- .collect()
163
- }
164
-
165
- fn row_matches_scan(row: &UntrackedStateRow, request: &UntrackedStateScanRequest) -> bool {
166
- (request.filter.schema_keys.is_empty() || request.filter.schema_keys.contains(&row.schema_key))
167
- && (request.filter.entity_ids.is_empty()
168
- || request.filter.entity_ids.contains(&row.entity_id))
169
- && (request.filter.version_ids.is_empty()
170
- || request.filter.version_ids.contains(&row.version_id))
171
- && nullable_matches_filters(&row.file_id, &request.filter.file_ids)
172
- }
173
-
174
- fn nullable_matches_filters(value: &Option<String>, filters: &[NullableKeyFilter<String>]) -> bool {
175
- filters.is_empty()
176
- || filters.iter().any(|filter| match filter {
177
- NullableKeyFilter::Any => true,
178
- NullableKeyFilter::Null => value.is_none(),
179
- NullableKeyFilter::Value(expected) => value.as_ref() == Some(expected),
180
- })
181
- }
182
-
183
- fn identity_from_request(request: &UntrackedStateRowRequest) -> Option<UntrackedStateIdentity> {
184
- let file_id = match &request.file_id {
185
- NullableKeyFilter::Null => None,
186
- NullableKeyFilter::Value(value) => Some(value.clone()),
187
- NullableKeyFilter::Any => return None,
188
- };
189
- Some(UntrackedStateIdentity {
190
- version_id: request.version_id.clone(),
191
- schema_key: request.schema_key.clone(),
192
- entity_id: request.entity_id.clone(),
193
- file_id,
194
- })
195
- }
196
-
197
- fn encode_untracked_state_row_key(identity: &UntrackedStateIdentity) -> Vec<u8> {
198
- encode_untracked_state_row_key_ref(identity.as_ref())
199
- }
200
-
201
- pub(super) fn encode_untracked_state_row_key_ref(
202
- identity: UntrackedStateIdentityRef<'_>,
203
- ) -> Vec<u8> {
204
- let mut out = Vec::new();
205
- push_component(&mut out, identity.version_id);
206
- push_component(&mut out, identity.schema_key);
207
- let entity_id = identity
208
- .entity_id
209
- .as_json_array_text()
210
- .expect("untracked-state identity should project");
211
- push_component(&mut out, &entity_id);
212
- match identity.file_id {
213
- Some(file_id) => {
214
- out.push(1);
215
- push_component(&mut out, file_id);
216
- }
217
- None => out.push(0),
218
- }
219
- out
220
- }
221
-
222
- fn push_component(out: &mut Vec<u8>, value: &str) {
223
- let bytes = value.as_bytes();
224
- out.extend_from_slice(&(bytes.len() as u32).to_be_bytes());
225
- out.extend_from_slice(bytes);
226
- }
227
-
228
- #[cfg(test)]
229
- mod tests {
230
- use std::sync::Arc;
231
-
232
- use super::*;
233
- use crate::backend::testing::UnitTestBackend;
234
- use crate::storage::{StorageContext, StorageWriteTransaction};
235
- use crate::untracked_state::UntrackedStateContext;
236
-
237
- async fn write_materialized_rows_to_store(
238
- context: &UntrackedStateContext,
239
- store: &mut (impl StorageWriteTransaction + ?Sized),
240
- rows: &[MaterializedUntrackedStateRow],
241
- ) {
242
- let mut writes = StorageWriteSet::new();
243
- let canonical_rows = rows
244
- .iter()
245
- .map(|row| crate::test_support::untracked_state_row_from_materialized(&mut writes, row))
246
- .collect::<Result<Vec<_>, _>>()
247
- .expect("rows should canonicalize");
248
- context
249
- .writer(&mut writes)
250
- .stage_rows(canonical_rows.iter().map(|row| row.as_ref()))
251
- .expect("rows should write");
252
- writes.apply(store).await.expect("rows should apply");
253
- }
254
-
255
- #[tokio::test]
256
- async fn write_and_load_roundtrips() {
257
- let backend = Arc::new(UnitTestBackend::new());
258
- let storage = StorageContext::new(backend.clone());
259
- let context = UntrackedStateContext::new();
260
- let row = untracked_row("global", "lix_key_value", "ui-tab");
261
-
262
- let mut transaction = storage
263
- .begin_write_transaction()
264
- .await
265
- .expect("transaction should open");
266
- write_materialized_rows_to_store(
267
- &context,
268
- transaction.as_mut(),
269
- std::slice::from_ref(&row),
270
- )
271
- .await;
272
- transaction.commit().await.expect("commit should succeed");
273
-
274
- let loaded = {
275
- let mut reader = context.reader(storage.clone());
276
- reader
277
- .load_row(&UntrackedStateRowRequest {
278
- schema_key: "lix_key_value".to_string(),
279
- version_id: "global".to_string(),
280
- entity_id: crate::entity_identity::EntityIdentity::single("ui-tab"),
281
- file_id: NullableKeyFilter::Null,
282
- })
283
- .await
284
- }
285
- .expect("load should succeed");
286
- assert_eq!(loaded, Some(row));
287
- }
288
-
289
- #[tokio::test]
290
- async fn scan_filters_by_schema_and_version() {
291
- let backend = Arc::new(UnitTestBackend::new());
292
- let storage = StorageContext::new(backend.clone());
293
- let context = UntrackedStateContext::new();
294
- let mut transaction = storage
295
- .begin_write_transaction()
296
- .await
297
- .expect("transaction should open");
298
- write_materialized_rows_to_store(
299
- &context,
300
- transaction.as_mut(),
301
- &[
302
- untracked_row("global", "lix_key_value", "global-ui"),
303
- untracked_row("version-a", "lix_key_value", "version-ui"),
304
- untracked_row("version-a", "other_schema", "other"),
305
- ],
306
- )
307
- .await;
308
- transaction.commit().await.expect("commit should succeed");
309
-
310
- let rows = {
311
- let mut reader = context.reader(storage.clone());
312
- reader
313
- .scan_rows(&UntrackedStateScanRequest {
314
- filter: crate::untracked_state::UntrackedStateFilter {
315
- schema_keys: vec!["lix_key_value".to_string()],
316
- version_ids: vec!["version-a".to_string()],
317
- ..Default::default()
318
- },
319
- ..Default::default()
320
- })
321
- .await
322
- }
323
- .expect("scan should succeed");
324
-
325
- assert_eq!(rows.len(), 1);
326
- assert_eq!(
327
- rows[0].entity_id,
328
- crate::entity_identity::EntityIdentity::single("version-ui")
329
- );
330
- }
331
-
332
- #[tokio::test]
333
- async fn delete_removes_row() {
334
- let backend = Arc::new(UnitTestBackend::new());
335
- let storage = StorageContext::new(backend.clone());
336
- let context = UntrackedStateContext::new();
337
- let row = untracked_row("global", "lix_key_value", "ui-tab");
338
- let identity = UntrackedStateIdentity {
339
- version_id: row.version_id.clone(),
340
- schema_key: row.schema_key.clone(),
341
- entity_id: row.entity_id.clone(),
342
- file_id: row.file_id.clone(),
343
- };
344
- let mut transaction = storage
345
- .begin_write_transaction()
346
- .await
347
- .expect("transaction should open");
348
- let mut writes = StorageWriteSet::new();
349
- let canonical_row =
350
- crate::test_support::untracked_state_row_from_materialized(&mut writes, &row)
351
- .expect("row should canonicalize");
352
- let mut writer = context.writer(&mut writes);
353
- writer
354
- .stage_rows(std::iter::once(canonical_row.as_ref()))
355
- .expect("write should succeed");
356
- writer.stage_delete_rows(std::iter::once(identity.as_ref()));
357
- writes
358
- .apply(&mut transaction.as_mut())
359
- .await
360
- .expect("writes should apply");
361
- transaction.commit().await.expect("commit should succeed");
362
-
363
- let loaded = {
364
- let mut reader = context.reader(storage.clone());
365
- reader
366
- .load_row(&UntrackedStateRowRequest {
367
- schema_key: "lix_key_value".to_string(),
368
- version_id: "global".to_string(),
369
- entity_id: crate::entity_identity::EntityIdentity::single("ui-tab"),
370
- file_id: NullableKeyFilter::Null,
371
- })
372
- .await
373
- }
374
- .expect("load should succeed");
375
- assert_eq!(loaded, None);
376
- }
377
-
378
- fn untracked_row(
379
- version_id: &str,
380
- schema_key: &str,
381
- entity_id: &str,
382
- ) -> MaterializedUntrackedStateRow {
383
- MaterializedUntrackedStateRow {
384
- entity_id: crate::entity_identity::EntityIdentity::single(entity_id),
385
- schema_key: schema_key.to_string(),
386
- file_id: None,
387
- snapshot_content: Some(format!("{{\"key\":\"{}\",\"value\":\"value\"}}", entity_id)),
388
- metadata: None,
389
- deleted: false,
390
- created_at: "2026-01-01T00:00:00Z".to_string(),
391
- updated_at: "2026-01-01T00:00:00Z".to_string(),
392
- global: version_id == "global",
393
- version_id: version_id.to_string(),
394
- }
395
- }
396
- }
@@ -1,146 +0,0 @@
1
- use crate::entity_identity::EntityIdentity;
2
- use crate::NullableKeyFilter;
3
-
4
- /// Durable local row excluded from changelog and commit membership.
5
- ///
6
- /// This is the canonical physical shape: identity/header fields are stored
7
- /// directly, and mutable JSON payloads are stored inline in the sidecar row.
8
- #[derive(Debug, Clone, PartialEq, Eq)]
9
- pub(crate) struct UntrackedStateRow {
10
- pub(crate) entity_id: EntityIdentity,
11
- pub(crate) schema_key: String,
12
- pub(crate) file_id: Option<String>,
13
- pub(crate) snapshot_content: Option<String>,
14
- pub(crate) metadata: Option<String>,
15
- pub(crate) created_at: String,
16
- pub(crate) updated_at: String,
17
- pub(crate) global: bool,
18
- pub(crate) version_id: String,
19
- }
20
-
21
- impl UntrackedStateRow {
22
- pub(crate) fn as_ref(&self) -> UntrackedStateRowRef<'_> {
23
- UntrackedStateRowRef {
24
- entity_id: &self.entity_id,
25
- schema_key: &self.schema_key,
26
- file_id: self.file_id.as_deref(),
27
- snapshot_content: self.snapshot_content.as_deref(),
28
- metadata: self.metadata.as_deref(),
29
- created_at: &self.created_at,
30
- updated_at: &self.updated_at,
31
- global: self.global,
32
- version_id: &self.version_id,
33
- }
34
- }
35
- }
36
-
37
- /// Zero-copy view of untracked-state write row.
38
- ///
39
- /// Untracked state owns this storage-facing write shape. Callers adapt into it
40
- /// without making untracked_state depend on transaction or live-state types.
41
- #[derive(Debug, Clone, Copy)]
42
- pub(crate) struct UntrackedStateRowRef<'a> {
43
- pub(crate) entity_id: &'a EntityIdentity,
44
- pub(crate) schema_key: &'a str,
45
- pub(crate) file_id: Option<&'a str>,
46
- pub(crate) snapshot_content: Option<&'a str>,
47
- pub(crate) metadata: Option<&'a str>,
48
- pub(crate) created_at: &'a str,
49
- pub(crate) updated_at: &'a str,
50
- pub(crate) global: bool,
51
- pub(crate) version_id: &'a str,
52
- }
53
-
54
- /// Hydrated boundary shape for callers that still work with JSON payloads.
55
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
56
- pub(crate) struct MaterializedUntrackedStateRow {
57
- pub(crate) entity_id: EntityIdentity,
58
- pub(crate) schema_key: String,
59
- pub(crate) file_id: Option<String>,
60
- pub(crate) snapshot_content: Option<String>,
61
- pub(crate) metadata: Option<String>,
62
- pub(crate) deleted: bool,
63
- pub(crate) created_at: String,
64
- pub(crate) updated_at: String,
65
- pub(crate) global: bool,
66
- pub(crate) version_id: String,
67
- }
68
-
69
- /// Stable identity for one local untracked overlay row.
70
- #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
71
- pub(crate) struct UntrackedStateIdentity {
72
- pub(crate) version_id: String,
73
- pub(crate) schema_key: String,
74
- pub(crate) entity_id: EntityIdentity,
75
- pub(crate) file_id: Option<String>,
76
- }
77
-
78
- #[derive(Debug, Clone, Copy, PartialEq, Eq)]
79
- pub(crate) struct UntrackedStateIdentityRef<'a> {
80
- pub(crate) version_id: &'a str,
81
- pub(crate) schema_key: &'a str,
82
- pub(crate) entity_id: &'a EntityIdentity,
83
- pub(crate) file_id: Option<&'a str>,
84
- }
85
-
86
- impl UntrackedStateIdentity {
87
- pub(crate) fn as_ref(&self) -> UntrackedStateIdentityRef<'_> {
88
- UntrackedStateIdentityRef {
89
- version_id: &self.version_id,
90
- schema_key: &self.schema_key,
91
- entity_id: &self.entity_id,
92
- file_id: self.file_id.as_deref(),
93
- }
94
- }
95
- }
96
-
97
- impl<'a> From<UntrackedStateRowRef<'a>> for UntrackedStateIdentityRef<'a> {
98
- fn from(row: UntrackedStateRowRef<'a>) -> Self {
99
- Self {
100
- version_id: row.version_id,
101
- schema_key: row.schema_key,
102
- entity_id: row.entity_id,
103
- file_id: row.file_id,
104
- }
105
- }
106
- }
107
-
108
- /// Identity-centered filter for untracked local overlay scans.
109
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
110
- pub(crate) struct UntrackedStateFilter {
111
- #[serde(default)]
112
- pub(crate) schema_keys: Vec<String>,
113
- #[serde(default)]
114
- pub(crate) entity_ids: Vec<EntityIdentity>,
115
- #[serde(default)]
116
- pub(crate) version_ids: Vec<String>,
117
- #[serde(default)]
118
- pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
119
- }
120
-
121
- /// Requested property set for an untracked-state scan.
122
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
123
- pub(crate) struct UntrackedStateProjection {
124
- #[serde(default)]
125
- pub(crate) columns: Vec<String>,
126
- }
127
-
128
- /// Scan request for local untracked overlay rows.
129
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
130
- pub(crate) struct UntrackedStateScanRequest {
131
- #[serde(default)]
132
- pub(crate) filter: UntrackedStateFilter,
133
- #[serde(default)]
134
- pub(crate) projection: UntrackedStateProjection,
135
- #[serde(default)]
136
- pub(crate) limit: Option<usize>,
137
- }
138
-
139
- /// Point lookup request for one untracked local overlay row.
140
- #[derive(Debug, Clone, PartialEq, Eq)]
141
- pub(crate) struct UntrackedStateRowRequest {
142
- pub(crate) schema_key: String,
143
- pub(crate) version_id: String,
144
- pub(crate) entity_id: EntityIdentity,
145
- pub(crate) file_id: NullableKeyFilter<String>,
146
- }
@@ -1,40 +0,0 @@
1
- use std::sync::Arc;
2
-
3
- use crate::storage::{StorageReader, StorageWriteSet};
4
- use crate::untracked_state::{UntrackedStateContext, UntrackedStateRow};
5
-
6
- use super::refs::VersionRefContext;
7
- use super::VersionRefReader;
8
-
9
- /// Aggregate entrypoint for version-domain services.
10
- ///
11
- /// Today this owns the moving-ref subsystem. Descriptor helpers are re-exported
12
- /// by `version`; future version APIs can grow here without making session or
13
- /// SQL code depend directly on ref storage details.
14
- pub(crate) struct VersionContext {
15
- refs: Arc<VersionRefContext>,
16
- }
17
-
18
- impl VersionContext {
19
- pub(crate) fn new(untracked_state: Arc<UntrackedStateContext>) -> Self {
20
- Self {
21
- refs: Arc::new(VersionRefContext::new(untracked_state)),
22
- }
23
- }
24
-
25
- /// Creates a version-ref reader over a caller-provided KV store.
26
- pub(crate) fn ref_reader<S>(&self, store: S) -> impl VersionRefReader
27
- where
28
- S: StorageReader + Send,
29
- {
30
- self.refs.reader(store)
31
- }
32
-
33
- pub(crate) fn stage_canonical_ref_rows(
34
- &self,
35
- writes: &mut StorageWriteSet,
36
- rows: &[UntrackedStateRow],
37
- ) -> Result<(), crate::LixError> {
38
- self.refs.writer(writes).stage_rows(rows)
39
- }
40
- }