@lix-js/sdk 0.6.0-preview.4 → 0.6.0-preview.5

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 (234) hide show
  1. package/README.md +1 -1
  2. package/SKILL.md +65 -64
  3. package/dist/engine-wasm/index.js +4 -4
  4. package/dist/engine-wasm/wasm/lix_engine.d.ts +5 -5
  5. package/dist/engine-wasm/wasm/lix_engine.js +130 -118
  6. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  7. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +9 -8
  8. package/dist/generated/builtin-schemas.d.ts +69 -69
  9. package/dist/generated/builtin-schemas.js +94 -94
  10. package/dist/open-lix.d.ts +33 -26
  11. package/dist/open-lix.js +10 -10
  12. package/dist/sqlite/index.js +86 -30
  13. package/dist-engine-src/README.md +3 -3
  14. package/dist-engine-src/src/backend/capabilities.rs +67 -0
  15. package/dist-engine-src/src/backend/conformance/baseline.rs +1127 -0
  16. package/dist-engine-src/src/backend/conformance/factory.rs +93 -0
  17. package/dist-engine-src/src/backend/conformance/failure_tests.rs +608 -0
  18. package/dist-engine-src/src/backend/conformance/fixtures.rs +26 -0
  19. package/dist-engine-src/src/backend/conformance/mod.rs +75 -0
  20. package/dist-engine-src/src/backend/conformance/model.rs +28 -0
  21. package/dist-engine-src/src/backend/conformance/model_based.rs +257 -0
  22. package/dist-engine-src/src/backend/conformance/persistence.rs +204 -0
  23. package/dist-engine-src/src/backend/conformance/projection.rs +21 -0
  24. package/dist-engine-src/src/backend/conformance/pushdown.rs +24 -0
  25. package/dist-engine-src/src/backend/conformance/runner.rs +90 -0
  26. package/dist-engine-src/src/backend/conformance/scan.rs +24 -0
  27. package/dist-engine-src/src/backend/conformance/write.rs +16 -0
  28. package/dist-engine-src/src/backend/error.rs +94 -0
  29. package/dist-engine-src/src/backend/in_memory.rs +670 -0
  30. package/dist-engine-src/src/backend/mod.rs +36 -9
  31. package/dist-engine-src/src/backend/predicate.rs +80 -0
  32. package/dist-engine-src/src/backend/traits.rs +260 -0
  33. package/dist-engine-src/src/backend/types.rs +224 -81
  34. package/dist-engine-src/src/binary_cas/context.rs +8 -8
  35. package/dist-engine-src/src/binary_cas/kv.rs +234 -259
  36. package/dist-engine-src/src/{version → branch}/context.rs +12 -12
  37. package/dist-engine-src/src/branch/lifecycle.rs +221 -0
  38. package/dist-engine-src/src/branch/mod.rs +13 -0
  39. package/dist-engine-src/src/branch/refs.rs +321 -0
  40. package/dist-engine-src/src/branch/stage_rows.rs +67 -0
  41. package/dist-engine-src/src/branch/types.rs +21 -0
  42. package/dist-engine-src/src/catalog/context.rs +18 -18
  43. package/dist-engine-src/src/catalog/snapshot.rs +8 -8
  44. package/dist-engine-src/src/changelog/bench_support.rs +785 -0
  45. package/dist-engine-src/src/changelog/change.rs +1 -0
  46. package/dist-engine-src/src/changelog/codec.rs +497 -0
  47. package/dist-engine-src/src/changelog/commit.rs +1 -0
  48. package/dist-engine-src/src/changelog/context.rs +1614 -0
  49. package/dist-engine-src/src/changelog/mod.rs +29 -0
  50. package/dist-engine-src/src/changelog/store.rs +163 -0
  51. package/dist-engine-src/src/changelog/test_support.rs +54 -0
  52. package/dist-engine-src/src/changelog/types.rs +213 -0
  53. package/dist-engine-src/src/commit_graph/context.rs +317 -274
  54. package/dist-engine-src/src/commit_graph/mod.rs +2 -4
  55. package/dist-engine-src/src/commit_graph/types.rs +22 -42
  56. package/dist-engine-src/src/commit_graph/walker.rs +133 -103
  57. package/dist-engine-src/src/common/error.rs +52 -18
  58. package/dist-engine-src/src/common/identity.rs +2 -2
  59. package/dist-engine-src/src/common/mod.rs +1 -1
  60. package/dist-engine-src/src/domain.rs +42 -46
  61. package/dist-engine-src/src/engine.rs +74 -96
  62. package/dist-engine-src/src/{entity_identity.rs → entity_pk.rs} +89 -92
  63. package/dist-engine-src/src/functions/context.rs +56 -52
  64. package/dist-engine-src/src/functions/state.rs +51 -52
  65. package/dist-engine-src/src/init.rs +288 -154
  66. package/dist-engine-src/src/json_store/context.rs +15 -266
  67. package/dist-engine-src/src/json_store/mod.rs +26 -0
  68. package/dist-engine-src/src/json_store/store.rs +103 -718
  69. package/dist-engine-src/src/json_store/types.rs +4 -9
  70. package/dist-engine-src/src/lib.rs +49 -19
  71. package/dist-engine-src/src/live_state/context.rs +654 -790
  72. package/dist-engine-src/src/live_state/mod.rs +9 -3
  73. package/dist-engine-src/src/live_state/overlay.rs +4 -4
  74. package/dist-engine-src/src/live_state/types.rs +30 -21
  75. package/dist-engine-src/src/live_state/visibility.rs +514 -71
  76. package/dist-engine-src/src/plugin/install.rs +48 -48
  77. package/dist-engine-src/src/plugin/manifest.rs +7 -7
  78. package/dist-engine-src/src/plugin/materializer.rs +0 -275
  79. package/dist-engine-src/src/plugin/plugin_manifest.json +4 -3
  80. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +2 -2
  81. package/dist-engine-src/src/schema/builtin/lix_branch_descriptor.json +34 -0
  82. package/dist-engine-src/src/schema/builtin/lix_branch_ref.json +48 -0
  83. package/dist-engine-src/src/schema/builtin/lix_change.json +3 -3
  84. package/dist-engine-src/src/schema/builtin/lix_commit.json +1 -1
  85. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +6 -6
  86. package/dist-engine-src/src/schema/builtin/mod.rs +18 -20
  87. package/dist-engine-src/src/schema/compatibility.rs +11 -11
  88. package/dist-engine-src/src/schema/definition.json +2 -2
  89. package/dist-engine-src/src/schema/definition.rs +5 -5
  90. package/dist-engine-src/src/schema/key.rs +3 -3
  91. package/dist-engine-src/src/schema/mod.rs +1 -1
  92. package/dist-engine-src/src/schema/tests.rs +18 -18
  93. package/dist-engine-src/src/session/context.rs +803 -148
  94. package/dist-engine-src/src/session/create_branch.rs +94 -0
  95. package/dist-engine-src/src/session/execute.rs +223 -83
  96. package/dist-engine-src/src/session/merge/analysis.rs +9 -3
  97. package/dist-engine-src/src/session/merge/{version.rs → branch.rs} +119 -129
  98. package/dist-engine-src/src/session/merge/conflicts.rs +2 -2
  99. package/dist-engine-src/src/session/merge/mod.rs +5 -6
  100. package/dist-engine-src/src/session/merge/stats.rs +7 -11
  101. package/dist-engine-src/src/session/mod.rs +15 -12
  102. package/dist-engine-src/src/session/switch_branch.rs +113 -0
  103. package/dist-engine-src/src/session/transaction.rs +495 -14
  104. package/dist-engine-src/src/sql2/{classify.rs → bind/classify.rs} +3 -75
  105. package/dist-engine-src/src/sql2/bind/error.rs +5 -0
  106. package/dist-engine-src/src/sql2/bind/expr.rs +29 -0
  107. package/dist-engine-src/src/sql2/bind/mod.rs +12 -0
  108. package/dist-engine-src/src/sql2/{udfs/public_call.rs → bind/public_udf.rs} +71 -3
  109. package/dist-engine-src/src/sql2/bind/read.rs +65 -0
  110. package/dist-engine-src/src/sql2/bind/statement.rs +2236 -0
  111. package/dist-engine-src/src/sql2/bind/table.rs +273 -0
  112. package/dist-engine-src/src/sql2/bind/write.rs +86 -0
  113. package/dist-engine-src/src/sql2/branch_scope.rs +436 -0
  114. package/dist-engine-src/src/sql2/catalog/capability.rs +20 -0
  115. package/dist-engine-src/src/sql2/catalog/entity_surface.rs +296 -0
  116. package/dist-engine-src/src/sql2/catalog/mod.rs +15 -0
  117. package/dist-engine-src/src/sql2/catalog/registry.rs +556 -0
  118. package/dist-engine-src/src/sql2/catalog/schema.rs +88 -0
  119. package/dist-engine-src/src/sql2/catalog/surface.rs +41 -0
  120. package/dist-engine-src/src/sql2/change_materialization.rs +122 -0
  121. package/dist-engine-src/src/sql2/context.rs +36 -30
  122. package/dist-engine-src/src/sql2/error.rs +1 -1
  123. package/dist-engine-src/src/sql2/exec/bound_public_write.rs +1593 -0
  124. package/dist-engine-src/src/sql2/exec/datafusion.rs +5266 -0
  125. package/dist-engine-src/src/sql2/exec/fast_write.rs +82 -0
  126. package/dist-engine-src/src/sql2/exec/mod.rs +24 -0
  127. package/dist-engine-src/src/sql2/exec/write.rs +661 -0
  128. package/dist-engine-src/src/sql2/filesystem_planner.rs +72 -77
  129. package/dist-engine-src/src/sql2/filesystem_visibility.rs +21 -21
  130. package/dist-engine-src/src/sql2/history_projection.rs +8 -8
  131. package/dist-engine-src/src/sql2/history_route.rs +35 -31
  132. package/dist-engine-src/src/sql2/mod.rs +28 -23
  133. package/dist-engine-src/src/sql2/optimize/datafusion.rs +1 -0
  134. package/dist-engine-src/src/sql2/optimize/mod.rs +2 -0
  135. package/dist-engine-src/src/sql2/optimize/simple_write.rs +116 -0
  136. package/dist-engine-src/src/sql2/parse/mod.rs +69 -0
  137. package/dist-engine-src/src/sql2/parse/normalize.rs +1 -0
  138. package/dist-engine-src/src/sql2/plan/branch_scope.rs +24 -0
  139. package/dist-engine-src/src/sql2/plan/mod.rs +5 -0
  140. package/dist-engine-src/src/sql2/plan/predicate.rs +22 -0
  141. package/dist-engine-src/src/sql2/plan/write.rs +147 -0
  142. package/dist-engine-src/src/sql2/predicate_typecheck.rs +258 -0
  143. package/dist-engine-src/src/sql2/{version_provider.rs → providers/branch.rs} +218 -214
  144. package/dist-engine-src/src/sql2/{change_provider.rs → providers/change.rs} +156 -42
  145. package/dist-engine-src/src/sql2/{directory_provider.rs → providers/directory.rs} +291 -322
  146. package/dist-engine-src/src/sql2/{directory_history_provider.rs → providers/directory_history.rs} +56 -42
  147. package/dist-engine-src/src/sql2/providers/entity.rs +1484 -0
  148. package/dist-engine-src/src/sql2/{entity_history_provider.rs → providers/entity_history.rs} +43 -31
  149. package/dist-engine-src/src/sql2/{file_provider.rs → providers/file.rs} +323 -316
  150. package/dist-engine-src/src/sql2/{file_history_provider.rs → providers/file_history.rs} +60 -46
  151. package/dist-engine-src/src/sql2/{history_provider.rs → providers/history.rs} +46 -32
  152. package/dist-engine-src/src/sql2/{lix_state_provider.rs → providers/lix_state.rs} +359 -329
  153. package/dist-engine-src/src/sql2/providers/mod.rs +508 -0
  154. package/dist-engine-src/src/sql2/read_only.rs +2 -2
  155. package/dist-engine-src/src/sql2/session.rs +47 -96
  156. package/dist-engine-src/src/sql2/storage/constraints.rs +1 -0
  157. package/dist-engine-src/src/sql2/storage/mod.rs +1 -0
  158. package/dist-engine-src/src/sql2/test_support/differential.rs +712 -0
  159. package/dist-engine-src/src/sql2/test_support/generators.rs +354 -0
  160. package/dist-engine-src/src/sql2/test_support/mod.rs +2 -0
  161. package/dist-engine-src/src/sql2/udfs/{lix_active_version_commit_id.rs → lix_active_branch_commit_id.rs} +7 -7
  162. package/dist-engine-src/src/sql2/udfs/mod.rs +3 -6
  163. package/dist-engine-src/src/sql2/write_normalization.rs +45 -22
  164. package/dist-engine-src/src/storage/conformance.rs +399 -0
  165. package/dist-engine-src/src/storage/context.rs +552 -288
  166. package/dist-engine-src/src/storage/mod.rs +48 -10
  167. package/dist-engine-src/src/storage/point.rs +440 -0
  168. package/dist-engine-src/src/storage/read_scope.rs +43 -64
  169. package/dist-engine-src/src/storage/reader.rs +867 -0
  170. package/dist-engine-src/src/storage/scan.rs +784 -0
  171. package/dist-engine-src/src/storage/spaces.rs +236 -0
  172. package/dist-engine-src/src/storage/stats.rs +80 -0
  173. package/dist-engine-src/src/storage/write_set.rs +962 -0
  174. package/dist-engine-src/src/storage_bench.rs +136 -4828
  175. package/dist-engine-src/src/test_support.rs +360 -138
  176. package/dist-engine-src/src/tracked_state/bench_support.rs +394 -0
  177. package/dist-engine-src/src/tracked_state/codec.rs +155 -1057
  178. package/dist-engine-src/src/tracked_state/commit_root_rebuild.rs +358 -0
  179. package/dist-engine-src/src/tracked_state/context.rs +1927 -993
  180. package/dist-engine-src/src/tracked_state/diff.rs +1715 -261
  181. package/dist-engine-src/src/tracked_state/merge.rs +74 -88
  182. package/dist-engine-src/src/tracked_state/mod.rs +19 -16
  183. package/dist-engine-src/src/tracked_state/{materialization.rs → row_materialization.rs} +50 -178
  184. package/dist-engine-src/src/tracked_state/storage.rs +243 -191
  185. package/dist-engine-src/src/tracked_state/tree.rs +247 -371
  186. package/dist-engine-src/src/tracked_state/types.rs +49 -42
  187. package/dist-engine-src/src/transaction/bench_support.rs +407 -0
  188. package/dist-engine-src/src/transaction/commit.rs +821 -713
  189. package/dist-engine-src/src/transaction/context.rs +705 -600
  190. package/dist-engine-src/src/transaction/mod.rs +13 -2
  191. package/dist-engine-src/src/transaction/normalization.rs +63 -76
  192. package/dist-engine-src/src/transaction/prep.rs +13 -13
  193. package/dist-engine-src/src/transaction/schema_resolver.rs +19 -5
  194. package/dist-engine-src/src/transaction/staging.rs +228 -434
  195. package/dist-engine-src/src/transaction/types.rs +41 -98
  196. package/dist-engine-src/src/transaction/validation.rs +382 -446
  197. package/dist-engine-src/src/untracked_state/codec.rs +337 -29
  198. package/dist-engine-src/src/untracked_state/context.rs +7 -7
  199. package/dist-engine-src/src/untracked_state/materialization.rs +2 -2
  200. package/dist-engine-src/src/untracked_state/mod.rs +1 -1
  201. package/dist-engine-src/src/untracked_state/storage.rs +659 -157
  202. package/dist-engine-src/src/untracked_state/types.rs +21 -21
  203. package/package.json +71 -68
  204. package/dist-engine-src/src/backend/kv.rs +0 -358
  205. package/dist-engine-src/src/backend/testing.rs +0 -658
  206. package/dist-engine-src/src/commit_store/codec.rs +0 -887
  207. package/dist-engine-src/src/commit_store/context.rs +0 -944
  208. package/dist-engine-src/src/commit_store/materialization.rs +0 -84
  209. package/dist-engine-src/src/commit_store/mod.rs +0 -16
  210. package/dist-engine-src/src/commit_store/storage.rs +0 -600
  211. package/dist-engine-src/src/commit_store/types.rs +0 -215
  212. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +0 -34
  213. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +0 -48
  214. package/dist-engine-src/src/session/create_version.rs +0 -88
  215. package/dist-engine-src/src/session/merge/apply.rs +0 -23
  216. package/dist-engine-src/src/session/optimization9_sql2_bench.rs +0 -100
  217. package/dist-engine-src/src/session/switch_version.rs +0 -110
  218. package/dist-engine-src/src/sql2/entity_provider.rs +0 -3211
  219. package/dist-engine-src/src/sql2/execute.rs +0 -3533
  220. package/dist-engine-src/src/sql2/public_bind/assignment.rs +0 -46
  221. package/dist-engine-src/src/sql2/public_bind/capability.rs +0 -41
  222. package/dist-engine-src/src/sql2/public_bind/dml.rs +0 -172
  223. package/dist-engine-src/src/sql2/public_bind/mod.rs +0 -26
  224. package/dist-engine-src/src/sql2/public_bind/table.rs +0 -168
  225. package/dist-engine-src/src/sql2/version_scope.rs +0 -394
  226. package/dist-engine-src/src/storage/types.rs +0 -501
  227. package/dist-engine-src/src/tracked_state/by_file_index.rs +0 -98
  228. package/dist-engine-src/src/tracked_state/materializer.rs +0 -488
  229. package/dist-engine-src/src/transaction/live_state_overlay.rs +0 -35
  230. package/dist-engine-src/src/version/lifecycle.rs +0 -221
  231. package/dist-engine-src/src/version/mod.rs +0 -13
  232. package/dist-engine-src/src/version/refs.rs +0 -330
  233. package/dist-engine-src/src/version/stage_rows.rs +0 -67
  234. package/dist-engine-src/src/version/types.rs +0 -21
@@ -1,488 +0,0 @@
1
- use crate::commit_store::{Change, ChangeLocator, Commit, CommitStoreContext};
2
- use crate::storage::StorageReader;
3
- use crate::tracked_state::context::{TrackedStateMaterializer, TrackedStateWriteReport};
4
- use crate::tracked_state::types::TrackedStateKey;
5
- use crate::tracked_state::TrackedStateDeltaRef;
6
- use crate::LixError;
7
- use std::collections::{BTreeMap, BTreeSet};
8
-
9
- /// Owned materialization delta used only by explicit projection-root hydration.
10
- ///
11
- /// Normal transaction commits already have borrowed `ChangeRef` and
12
- /// `ChangeLocatorRef` values available while staging commit_store.
13
- /// Materialization loads those facts back from storage, so it owns the decoded
14
- /// data internally and immediately passes a borrowed view into the same
15
- /// tracked-state root writer.
16
- #[derive(Debug, Clone, PartialEq, Eq)]
17
- pub(crate) struct MaterializationDelta {
18
- pub(crate) change: Change,
19
- pub(crate) locator: ChangeLocator,
20
- pub(crate) created_at: String,
21
- pub(crate) updated_at: String,
22
- }
23
-
24
- impl MaterializationDelta {
25
- pub(crate) fn as_ref(&self) -> TrackedStateDeltaRef<'_> {
26
- TrackedStateDeltaRef {
27
- change: self.change.as_ref(),
28
- locator: self.locator.as_ref(),
29
- created_at: &self.created_at,
30
- updated_at: &self.updated_at,
31
- }
32
- }
33
- }
34
-
35
- #[derive(Debug, Clone, PartialEq, Eq)]
36
- pub(crate) struct MaterializationInput {
37
- pub(crate) commit_id: String,
38
- pub(crate) parent_commit_id: Option<String>,
39
- pub(crate) deltas: Vec<MaterializationDelta>,
40
- }
41
-
42
- struct LocatedChange {
43
- locator: ChangeLocator,
44
- change: Change,
45
- }
46
-
47
- /// Explicit projection-root materialization over commit_store.
48
- ///
49
- /// Normal transaction commits must use `TrackedStateWriter::stage_delta` with
50
- /// already prepared commit_store refs. This path exists for deliberate
51
- /// materialization only.
52
- pub(crate) async fn materialize_root_at<S>(
53
- materializer: &mut TrackedStateMaterializer<'_, S>,
54
- commit_id: &str,
55
- ) -> Result<TrackedStateWriteReport, LixError>
56
- where
57
- S: StorageReader + ?Sized,
58
- {
59
- let input =
60
- build_materialization_input(materializer.store, materializer.commit_store, commit_id)
61
- .await?;
62
- let delta_refs = input
63
- .deltas
64
- .iter()
65
- .map(MaterializationDelta::as_ref)
66
- .collect::<Vec<_>>();
67
- materializer
68
- .tracked_state
69
- .writer(materializer.store, materializer.writes)
70
- .stage_projection_root(
71
- &input.commit_id,
72
- input.parent_commit_id.as_deref(),
73
- delta_refs,
74
- )
75
- .await
76
- }
77
-
78
- async fn build_materialization_input<S>(
79
- store: &mut S,
80
- commit_store: &CommitStoreContext,
81
- commit_id: &str,
82
- ) -> Result<MaterializationInput, LixError>
83
- where
84
- S: StorageReader + ?Sized,
85
- {
86
- let lineage = load_first_parent_lineage(store, commit_store, commit_id).await?;
87
- let mut located_changes = Vec::new();
88
- for commit in lineage {
89
- located_changes
90
- .append(&mut load_commit_located_changes(store, commit_store, &commit).await?);
91
- }
92
- let deltas = project_materialization_deltas(located_changes);
93
-
94
- Ok(MaterializationInput {
95
- commit_id: commit_id.to_string(),
96
- parent_commit_id: None,
97
- deltas,
98
- })
99
- }
100
-
101
- async fn load_first_parent_lineage<S>(
102
- store: &mut S,
103
- commit_store: &CommitStoreContext,
104
- commit_id: &str,
105
- ) -> Result<Vec<Commit>, LixError>
106
- where
107
- S: StorageReader + ?Sized,
108
- {
109
- let mut lineage = Vec::new();
110
- let mut seen = BTreeSet::new();
111
- let mut current = Some(commit_id.to_string());
112
- while let Some(current_id) = current {
113
- if !seen.insert(current_id.clone()) {
114
- return Err(LixError::new(
115
- LixError::CODE_INTERNAL_ERROR,
116
- format!(
117
- "tracked_state materialization found first-parent cycle at commit '{current_id}'"
118
- ),
119
- ));
120
- }
121
- let commit = commit_store
122
- .load_commit_from(store, &current_id)
123
- .await?
124
- .ok_or_else(|| missing_commit_error(&current_id))?;
125
- current = commit.parent_ids.first().cloned();
126
- lineage.push(commit);
127
- }
128
- lineage.reverse();
129
- Ok(lineage)
130
- }
131
-
132
- async fn load_commit_located_changes<S>(
133
- store: &mut S,
134
- commit_store: &CommitStoreContext,
135
- commit: &Commit,
136
- ) -> Result<Vec<LocatedChange>, LixError>
137
- where
138
- S: StorageReader + ?Sized,
139
- {
140
- let mut located_changes = Vec::new();
141
- for pack_id in 0..commit.change_pack_count {
142
- let changes = commit_store
143
- .load_change_pack_from(store, &commit.id, pack_id)
144
- .await?
145
- .ok_or_else(|| missing_pack_error("change", &commit.id, pack_id))?;
146
- for (source_ordinal, change) in changes.into_iter().enumerate() {
147
- let locator = ChangeLocator {
148
- source_commit_id: commit.id.clone(),
149
- source_pack_id: pack_id,
150
- source_ordinal: u32::try_from(source_ordinal).map_err(|_| {
151
- LixError::new(
152
- LixError::CODE_INTERNAL_ERROR,
153
- "tracked_state materialization change pack ordinal exceeds u32",
154
- )
155
- })?,
156
- change_id: change.id.clone(),
157
- };
158
- located_changes.push(LocatedChange { locator, change });
159
- }
160
- }
161
-
162
- let mut adopted_locators = Vec::new();
163
- for pack_id in 0..commit.membership_pack_count {
164
- let mut locators = commit_store
165
- .load_membership_pack_from(store, &commit.id, pack_id)
166
- .await?
167
- .ok_or_else(|| missing_pack_error("membership", &commit.id, pack_id))?;
168
- adopted_locators.append(&mut locators);
169
- }
170
- let adopted_changes = load_changes_by_locators(store, commit_store, &adopted_locators).await?;
171
- located_changes.extend(
172
- adopted_locators
173
- .into_iter()
174
- .zip(adopted_changes)
175
- .map(|(locator, change)| LocatedChange { locator, change }),
176
- );
177
- Ok(located_changes)
178
- }
179
-
180
- fn project_materialization_deltas(
181
- changes: impl IntoIterator<Item = LocatedChange>,
182
- ) -> Vec<MaterializationDelta> {
183
- let mut projected = BTreeMap::<TrackedStateKey, MaterializationDelta>::new();
184
- for LocatedChange { locator, change } in changes {
185
- let key = TrackedStateKey {
186
- schema_key: change.schema_key.clone(),
187
- file_id: change.file_id.clone(),
188
- entity_id: change.entity_id.clone(),
189
- };
190
- let created_at = projected
191
- .get(&key)
192
- .map(|delta| delta.created_at.clone())
193
- .unwrap_or_else(|| change.created_at.clone());
194
- let updated_at = change.created_at.clone();
195
- projected.insert(
196
- key,
197
- MaterializationDelta {
198
- change,
199
- locator,
200
- created_at,
201
- updated_at,
202
- },
203
- );
204
- }
205
- projected.into_values().collect()
206
- }
207
-
208
- async fn load_changes_by_locators(
209
- store: &mut (impl StorageReader + ?Sized),
210
- commit_store: &CommitStoreContext,
211
- locators: &[ChangeLocator],
212
- ) -> Result<Vec<Change>, LixError> {
213
- let mut packs = BTreeMap::<(String, u32), Vec<Change>>::new();
214
- for locator in locators {
215
- let key = (locator.source_commit_id.clone(), locator.source_pack_id);
216
- if packs.contains_key(&key) {
217
- continue;
218
- }
219
- let changes = commit_store
220
- .load_change_pack_from(store, &locator.source_commit_id, locator.source_pack_id)
221
- .await?
222
- .ok_or_else(|| {
223
- missing_pack_error("change", &locator.source_commit_id, locator.source_pack_id)
224
- })?;
225
- packs.insert(key, changes);
226
- }
227
-
228
- locators
229
- .iter()
230
- .map(|locator| change_from_loaded_packs(&packs, locator))
231
- .collect()
232
- }
233
-
234
- fn change_from_loaded_packs(
235
- packs: &BTreeMap<(String, u32), Vec<Change>>,
236
- locator: &ChangeLocator,
237
- ) -> Result<Change, LixError> {
238
- let key = (locator.source_commit_id.clone(), locator.source_pack_id);
239
- let changes = packs.get(&key).ok_or_else(|| {
240
- LixError::new(
241
- LixError::CODE_INTERNAL_ERROR,
242
- format!(
243
- "tracked_state materialization lost loaded change pack ({}, {})",
244
- locator.source_commit_id, locator.source_pack_id
245
- ),
246
- )
247
- })?;
248
- let change = changes
249
- .get(usize::try_from(locator.source_ordinal).map_err(|_| {
250
- LixError::new(
251
- LixError::CODE_INTERNAL_ERROR,
252
- "tracked_state materialization locator ordinal does not fit usize",
253
- )
254
- })?)
255
- .ok_or_else(|| {
256
- LixError::new(
257
- LixError::CODE_INTERNAL_ERROR,
258
- format!(
259
- "tracked_state materialization locator for '{}' points past pack ({}, {})",
260
- locator.change_id, locator.source_commit_id, locator.source_pack_id
261
- ),
262
- )
263
- })?;
264
- if change.id != locator.change_id {
265
- return Err(LixError::new(
266
- LixError::CODE_INTERNAL_ERROR,
267
- format!(
268
- "tracked_state materialization locator expected '{}' but found '{}'",
269
- locator.change_id, change.id
270
- ),
271
- ));
272
- }
273
- Ok(change.clone())
274
- }
275
-
276
- fn missing_pack_error(label: &str, commit_id: &str, pack_id: u32) -> LixError {
277
- LixError::new(
278
- LixError::CODE_INTERNAL_ERROR,
279
- format!("tracked_state materialization missing {label} pack ({commit_id}, {pack_id})"),
280
- )
281
- }
282
-
283
- fn missing_commit_error(commit_id: &str) -> LixError {
284
- LixError::new(
285
- LixError::CODE_INTERNAL_ERROR,
286
- format!("tracked_state materialization missing commit '{commit_id}'"),
287
- )
288
- }
289
-
290
- #[cfg(test)]
291
- mod tests {
292
- use super::*;
293
- use crate::commit_store::ChangeLocator;
294
- use crate::entity_identity::EntityIdentity;
295
-
296
- #[test]
297
- fn materialization_delta_ref_borrows_owned_facts() {
298
- let delta = MaterializationDelta {
299
- change: Change {
300
- id: "change-1".to_string(),
301
- entity_id: EntityIdentity::single("entity-1"),
302
- schema_key: "schema".to_string(),
303
- file_id: Some("file".to_string()),
304
- snapshot_ref: None,
305
- metadata_ref: None,
306
- created_at: "2026-01-01T00:00:00Z".to_string(),
307
- },
308
- locator: ChangeLocator {
309
- source_commit_id: "commit-1".to_string(),
310
- source_pack_id: 7,
311
- source_ordinal: 11,
312
- change_id: "change-1".to_string(),
313
- },
314
- created_at: "2026-01-01T00:00:00Z".to_string(),
315
- updated_at: "2026-02-01T00:00:00Z".to_string(),
316
- };
317
-
318
- let delta_ref = delta.as_ref();
319
-
320
- assert_eq!(delta_ref.change.id, "change-1");
321
- assert_eq!(delta_ref.change.schema_key, "schema");
322
- assert_eq!(delta_ref.change.file_id, Some("file"));
323
- assert_eq!(delta_ref.locator.source_commit_id, "commit-1");
324
- assert_eq!(delta_ref.locator.source_pack_id, 7);
325
- assert_eq!(delta_ref.locator.source_ordinal, 11);
326
- assert_eq!(delta_ref.created_at, "2026-01-01T00:00:00Z");
327
- assert_eq!(delta_ref.updated_at, "2026-02-01T00:00:00Z");
328
- }
329
-
330
- #[test]
331
- fn change_from_loaded_packs_resolves_locator_by_pack_and_ordinal() {
332
- let mut packs = BTreeMap::new();
333
- packs.insert(
334
- ("source-commit".to_string(), 3),
335
- vec![change("change-0"), change("change-1"), change("change-2")],
336
- );
337
- let locator = ChangeLocator {
338
- source_commit_id: "source-commit".to_string(),
339
- source_pack_id: 3,
340
- source_ordinal: 1,
341
- change_id: "change-1".to_string(),
342
- };
343
-
344
- let resolved = change_from_loaded_packs(&packs, &locator).expect("locator should resolve");
345
-
346
- assert_eq!(resolved.id, "change-1");
347
- }
348
-
349
- #[test]
350
- fn change_from_loaded_packs_rejects_locator_change_id_mismatch() {
351
- let mut packs = BTreeMap::new();
352
- packs.insert(("source-commit".to_string(), 3), vec![change("actual")]);
353
- let locator = ChangeLocator {
354
- source_commit_id: "source-commit".to_string(),
355
- source_pack_id: 3,
356
- source_ordinal: 0,
357
- change_id: "expected".to_string(),
358
- };
359
-
360
- let error =
361
- change_from_loaded_packs(&packs, &locator).expect_err("mismatched locator should fail");
362
-
363
- assert!(error.message.contains("expected"));
364
- assert!(error.message.contains("actual"));
365
- }
366
-
367
- #[test]
368
- fn project_materialization_deltas_keeps_first_seen_created_at_and_latest_updated_at() {
369
- let deltas = project_materialization_deltas(vec![
370
- located_change(
371
- "commit-1",
372
- 0,
373
- "change-create",
374
- "entity-1",
375
- "2026-01-01T00:00:00Z",
376
- ),
377
- located_change(
378
- "commit-2",
379
- 0,
380
- "change-update",
381
- "entity-1",
382
- "2026-02-01T00:00:00Z",
383
- ),
384
- ]);
385
-
386
- assert_eq!(deltas.len(), 1);
387
- let delta = &deltas[0];
388
- assert_eq!(delta.change.id, "change-update");
389
- assert_eq!(delta.locator.source_commit_id, "commit-2");
390
- assert_eq!(delta.created_at, "2026-01-01T00:00:00Z");
391
- assert_eq!(delta.updated_at, "2026-02-01T00:00:00Z");
392
- }
393
-
394
- #[test]
395
- fn project_materialization_deltas_uses_adopted_change_time_not_target_commit_time() {
396
- let deltas = project_materialization_deltas(vec![located_change(
397
- "source-commit",
398
- 0,
399
- "adopted-change",
400
- "entity-1",
401
- "2026-01-01T00:00:00Z",
402
- )]);
403
-
404
- assert_eq!(deltas.len(), 1);
405
- assert_eq!(deltas[0].created_at, "2026-01-01T00:00:00Z");
406
- assert_eq!(deltas[0].updated_at, "2026-01-01T00:00:00Z");
407
- }
408
-
409
- #[test]
410
- fn project_materialization_deltas_tracks_entities_independently() {
411
- let deltas = project_materialization_deltas(vec![
412
- located_change(
413
- "commit-1",
414
- 0,
415
- "entity-a-create",
416
- "entity-a",
417
- "2026-01-01T00:00:00Z",
418
- ),
419
- located_change(
420
- "commit-1",
421
- 1,
422
- "entity-b-create",
423
- "entity-b",
424
- "2026-01-02T00:00:00Z",
425
- ),
426
- located_change(
427
- "commit-2",
428
- 0,
429
- "entity-a-update",
430
- "entity-a",
431
- "2026-02-01T00:00:00Z",
432
- ),
433
- ]);
434
-
435
- let entity_a = deltas
436
- .iter()
437
- .find(|delta| delta.change.entity_id == EntityIdentity::single("entity-a"))
438
- .expect("entity-a delta");
439
- let entity_b = deltas
440
- .iter()
441
- .find(|delta| delta.change.entity_id == EntityIdentity::single("entity-b"))
442
- .expect("entity-b delta");
443
- assert_eq!(entity_a.change.id, "entity-a-update");
444
- assert_eq!(entity_a.created_at, "2026-01-01T00:00:00Z");
445
- assert_eq!(entity_a.updated_at, "2026-02-01T00:00:00Z");
446
- assert_eq!(entity_b.change.id, "entity-b-create");
447
- assert_eq!(entity_b.created_at, "2026-01-02T00:00:00Z");
448
- assert_eq!(entity_b.updated_at, "2026-01-02T00:00:00Z");
449
- }
450
-
451
- fn change(id: &str) -> Change {
452
- Change {
453
- id: id.to_string(),
454
- entity_id: EntityIdentity::single("entity-1"),
455
- schema_key: "schema".to_string(),
456
- file_id: Some("file".to_string()),
457
- snapshot_ref: None,
458
- metadata_ref: None,
459
- created_at: "2026-01-01T00:00:00Z".to_string(),
460
- }
461
- }
462
-
463
- fn located_change(
464
- commit_id: &str,
465
- source_ordinal: u32,
466
- change_id: &str,
467
- entity_id: &str,
468
- created_at: &str,
469
- ) -> LocatedChange {
470
- LocatedChange {
471
- locator: ChangeLocator {
472
- source_commit_id: commit_id.to_string(),
473
- source_pack_id: 0,
474
- source_ordinal,
475
- change_id: change_id.to_string(),
476
- },
477
- change: Change {
478
- id: change_id.to_string(),
479
- entity_id: EntityIdentity::single(entity_id),
480
- schema_key: "schema".to_string(),
481
- file_id: Some("file".to_string()),
482
- snapshot_ref: None,
483
- metadata_ref: None,
484
- created_at: created_at.to_string(),
485
- },
486
- }
487
- }
488
- }
@@ -1,35 +0,0 @@
1
- use std::collections::BTreeSet;
2
-
3
- use crate::live_state::MaterializedLiveStateRow;
4
- use crate::live_state::{LiveStateReader, LiveStateScanRequest};
5
- use crate::transaction::staging::{PreparedStateRowIdentity, PreparedStateRowOverlay};
6
- use crate::LixError;
7
-
8
- pub(crate) async fn overlay_scan_rows(
9
- base: &dyn LiveStateReader,
10
- staged: &PreparedStateRowOverlay,
11
- request: &LiveStateScanRequest,
12
- ) -> Result<Vec<MaterializedLiveStateRow>, LixError> {
13
- let staged_parts = staged.scan_parts(request)?;
14
- let hidden_identities = staged_parts.hidden_identities;
15
- let mut rows = staged_parts.rows;
16
- let mut visible_identities = rows
17
- .iter()
18
- .map(PreparedStateRowIdentity::from)
19
- .collect::<BTreeSet<_>>();
20
-
21
- for row in base.scan_rows(request).await? {
22
- let identity = PreparedStateRowIdentity::from(&row);
23
- if hidden_identities.contains(&identity) {
24
- continue;
25
- }
26
- if visible_identities.insert(identity) {
27
- rows.push(row);
28
- }
29
- }
30
-
31
- if let Some(limit) = request.limit {
32
- rows.truncate(limit);
33
- }
34
- Ok(rows)
35
- }