@lix-js/sdk 0.6.0-preview.3 → 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 (235) hide show
  1. package/README.md +1 -1
  2. package/SKILL.md +105 -65
  3. package/dist/engine-wasm/index.js +4 -4
  4. package/dist/engine-wasm/wasm/lix_engine.d.ts +30 -6
  5. package/dist/engine-wasm/wasm/lix_engine.js +187 -117
  6. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  7. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +14 -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 +42 -28
  11. package/dist/open-lix.js +49 -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 +819 -124
  94. package/dist-engine-src/src/session/create_branch.rs +94 -0
  95. package/dist-engine-src/src/session/execute.rs +260 -57
  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 +19 -16
  102. package/dist-engine-src/src/session/switch_branch.rs +113 -0
  103. package/dist-engine-src/src/session/transaction.rs +557 -0
  104. package/dist-engine-src/src/sql2/bind/classify.rs +102 -0
  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} +98 -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 +4 -5
  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 +30 -24
  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 -109
  218. package/dist-engine-src/src/sql2/classify.rs +0 -182
  219. package/dist-engine-src/src/sql2/entity_provider.rs +0 -3211
  220. package/dist-engine-src/src/sql2/execute.rs +0 -3440
  221. package/dist-engine-src/src/sql2/public_bind/assignment.rs +0 -46
  222. package/dist-engine-src/src/sql2/public_bind/capability.rs +0 -41
  223. package/dist-engine-src/src/sql2/public_bind/dml.rs +0 -166
  224. package/dist-engine-src/src/sql2/public_bind/mod.rs +0 -25
  225. package/dist-engine-src/src/sql2/public_bind/table.rs +0 -168
  226. package/dist-engine-src/src/sql2/version_scope.rs +0 -394
  227. package/dist-engine-src/src/storage/types.rs +0 -501
  228. package/dist-engine-src/src/tracked_state/by_file_index.rs +0 -98
  229. package/dist-engine-src/src/tracked_state/materializer.rs +0 -488
  230. package/dist-engine-src/src/transaction/live_state_overlay.rs +0 -35
  231. package/dist-engine-src/src/version/lifecycle.rs +0 -221
  232. package/dist-engine-src/src/version/mod.rs +0 -13
  233. package/dist-engine-src/src/version/refs.rs +0 -330
  234. package/dist-engine-src/src/version/stage_rows.rs +0 -67
  235. package/dist-engine-src/src/version/types.rs +0 -21
@@ -1,11 +1,10 @@
1
- use crate::commit_store::{ChangeLocator, ChangeLocatorRef, ChangeRef};
2
- use crate::entity_identity::EntityIdentity;
1
+ use crate::entity_pk::EntityPk;
3
2
  use crate::json_store::JsonRef;
4
3
  use crate::{LixError, NullableKeyFilter};
5
4
 
6
5
  pub(crate) const TRACKED_STATE_HASH_BYTES: usize = 32;
7
6
 
8
- /// Content-addressed root id for one tracked-state projection tree.
7
+ /// Content-addressed root id for one tracked-state commit-root tree.
9
8
  #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
10
9
  pub(crate) struct TrackedStateRootId([u8; TRACKED_STATE_HASH_BYTES]);
11
10
 
@@ -34,12 +33,12 @@ impl TrackedStateRootId {
34
33
  }
35
34
  }
36
35
 
37
- /// Root-independent tracked entity identity.
36
+ /// Root-independent tracked entity primary key.
38
37
  #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
39
38
  pub(crate) struct TrackedStateKey {
40
39
  pub(crate) schema_key: String,
41
40
  pub(crate) file_id: Option<String>,
42
- pub(crate) entity_id: EntityIdentity,
41
+ pub(crate) entity_pk: EntityPk,
43
42
  }
44
43
 
45
44
  /// Zero-copy view of primary tracked-state key.
@@ -47,32 +46,29 @@ pub(crate) struct TrackedStateKey {
47
46
  pub(crate) struct TrackedStateKeyRef<'a> {
48
47
  pub(crate) schema_key: &'a str,
49
48
  pub(crate) file_id: Option<&'a str>,
50
- pub(crate) entity_id: &'a EntityIdentity,
49
+ pub(crate) entity_pk: &'a EntityPk,
51
50
  }
52
51
 
53
- /// Zero-copy tracked-state projection delta prepared from commit_store facts.
52
+ /// Zero-copy tracked-state commit-root delta prepared from changelog facts.
54
53
  #[derive(Debug, Clone, Copy)]
55
54
  pub(crate) struct TrackedStateDeltaRef<'a> {
56
- pub(crate) change: ChangeRef<'a>,
57
- pub(crate) locator: ChangeLocatorRef<'a>,
55
+ pub(crate) schema_key: &'a str,
56
+ pub(crate) file_id: Option<&'a str>,
57
+ pub(crate) entity_pk: &'a EntityPk,
58
+ pub(crate) change_id: &'a str,
59
+ pub(crate) commit_id: &'a str,
60
+ pub(crate) snapshot_ref: Option<&'a JsonRef>,
61
+ pub(crate) metadata_ref: Option<&'a JsonRef>,
62
+ pub(crate) deleted: bool,
58
63
  pub(crate) created_at: &'a str,
59
64
  pub(crate) updated_at: &'a str,
60
65
  }
61
66
 
62
- /// Owned per-commit projection delta entry.
63
- ///
64
- /// Normal commits persist these entries in `tracked_state.delta_pack`. Full
65
- /// projection roots are materialized separately from these deltas.
66
- #[derive(Debug, Clone, PartialEq, Eq)]
67
- pub(crate) struct TrackedStateDeltaEntry {
68
- pub(crate) key: TrackedStateKey,
69
- pub(crate) value: TrackedStateIndexValue,
70
- }
71
-
72
- /// Projection value stored in tracked-state trees.
67
+ /// Value stored in tracked-state commit-root trees.
73
68
  #[derive(Debug, Clone, PartialEq, Eq)]
74
69
  pub(crate) struct TrackedStateIndexValue {
75
- pub(crate) change_locator: ChangeLocator,
70
+ pub(crate) change_id: String,
71
+ pub(crate) commit_id: String,
76
72
  pub(crate) deleted: bool,
77
73
  pub(crate) snapshot_ref: Option<JsonRef>,
78
74
  pub(crate) metadata_ref: Option<JsonRef>,
@@ -80,10 +76,11 @@ pub(crate) struct TrackedStateIndexValue {
80
76
  pub(crate) updated_at: String,
81
77
  }
82
78
 
83
- /// Zero-copy view of a tracked-state projection value.
79
+ /// Zero-copy view of a tracked-state commit-root value.
84
80
  #[derive(Debug, Clone, Copy)]
85
81
  pub(crate) struct TrackedStateIndexValueRef<'a> {
86
- pub(crate) change_locator: ChangeLocatorRef<'a>,
82
+ pub(crate) change_id: &'a str,
83
+ pub(crate) commit_id: &'a str,
87
84
  pub(crate) deleted: bool,
88
85
  pub(crate) snapshot_ref: Option<&'a JsonRef>,
89
86
  pub(crate) metadata_ref: Option<&'a JsonRef>,
@@ -91,15 +88,34 @@ pub(crate) struct TrackedStateIndexValueRef<'a> {
91
88
  pub(crate) updated_at: &'a str,
92
89
  }
93
90
 
94
- /// Materialized tracked-state projection row.
91
+ /// Durable tracked-state root metadata for one commit.
92
+ #[derive(Debug, Clone, PartialEq, Eq)]
93
+ pub(crate) struct TrackedStateCommitRoot {
94
+ pub(crate) commit_id: String,
95
+ pub(crate) root_id: TrackedStateRootId,
96
+ pub(crate) parent_roots: Vec<TrackedStateCommitRootParent>,
97
+ pub(crate) changed_key_count: u64,
98
+ pub(crate) row_count_estimate: u64,
99
+ pub(crate) tree_height: u32,
100
+ pub(crate) primary_chunk_count: u64,
101
+ pub(crate) primary_chunk_bytes: u64,
102
+ }
103
+
104
+ #[derive(Debug, Clone, PartialEq, Eq)]
105
+ pub(crate) struct TrackedStateCommitRootParent {
106
+ pub(crate) commit_id: String,
107
+ pub(crate) root_id: TrackedStateRootId,
108
+ }
109
+
110
+ /// Materialized tracked-state commit-root row.
95
111
  ///
96
- /// Tracked rows are the projection that can be rebuilt from changelog facts.
112
+ /// Tracked rows are the serving state that can be rebuilt from changelog facts.
97
113
  /// They intentionally do not carry an `untracked` flag: untracked local overlay
98
114
  /// data belongs to `untracked_state`, and the serving `live_state` facade is
99
115
  /// responsible for combining both sources.
100
116
  #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
101
117
  pub(crate) struct MaterializedTrackedStateRow {
102
- pub(crate) entity_id: EntityIdentity,
118
+ pub(crate) entity_pk: EntityPk,
103
119
  pub(crate) schema_key: String,
104
120
  pub(crate) file_id: Option<String>,
105
121
  pub(crate) snapshot_content: Option<String>,
@@ -117,7 +133,7 @@ pub(crate) struct TrackedStateFilter {
117
133
  #[serde(default)]
118
134
  pub(crate) schema_keys: Vec<String>,
119
135
  #[serde(default)]
120
- pub(crate) entity_ids: Vec<EntityIdentity>,
136
+ pub(crate) entity_pks: Vec<EntityPk>,
121
137
  #[serde(default)]
122
138
  pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
123
139
  #[serde(default)]
@@ -126,30 +142,22 @@ pub(crate) struct TrackedStateFilter {
126
142
 
127
143
  /// Requested property set for a tracked-state scan.
128
144
  #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
129
- pub(crate) struct TrackedStateProjection {
145
+ pub(crate) struct TrackedStateReadColumns {
130
146
  #[serde(default)]
131
147
  pub(crate) columns: Vec<String>,
132
148
  }
133
149
 
134
- /// Scan request for the tracked-state projection.
150
+ /// Scan request for tracked-state commit roots.
135
151
  #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
136
152
  pub(crate) struct TrackedStateScanRequest {
137
153
  #[serde(default)]
138
154
  pub(crate) filter: TrackedStateFilter,
139
155
  #[serde(default)]
140
- pub(crate) projection: TrackedStateProjection,
156
+ pub(crate) read_columns: TrackedStateReadColumns,
141
157
  #[serde(default)]
142
158
  pub(crate) limit: Option<usize>,
143
159
  }
144
160
 
145
- /// Point lookup request for one tracked-state row.
146
- #[derive(Debug, Clone, PartialEq, Eq)]
147
- pub(crate) struct TrackedStateRowRequest {
148
- pub(crate) schema_key: String,
149
- pub(crate) entity_id: EntityIdentity,
150
- pub(crate) file_id: NullableKeyFilter<String>,
151
- }
152
-
153
161
  #[derive(Debug, PartialEq, Eq)]
154
162
  pub(crate) struct TrackedStateMutation {
155
163
  pub(crate) encoded_key: Vec<u8>,
@@ -168,7 +176,7 @@ impl TrackedStateMutation {
168
176
  #[derive(Debug, Clone, PartialEq, Eq)]
169
177
  pub(crate) struct TrackedStateTreeScanRequest {
170
178
  pub(crate) schema_keys: Vec<String>,
171
- pub(crate) entity_ids: Vec<EntityIdentity>,
179
+ pub(crate) entity_pks: Vec<EntityPk>,
172
180
  pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
173
181
  pub(crate) include_tombstones: bool,
174
182
  pub(crate) limit: Option<usize>,
@@ -178,7 +186,7 @@ impl Default for TrackedStateTreeScanRequest {
178
186
  fn default() -> Self {
179
187
  Self {
180
188
  schema_keys: Vec::new(),
181
- entity_ids: Vec::new(),
189
+ entity_pks: Vec::new(),
182
190
  file_ids: Vec::new(),
183
191
  include_tombstones: true,
184
192
  limit: None,
@@ -198,7 +206,7 @@ impl TrackedStateTreeScanRequest {
198
206
  if !self.schema_keys.is_empty() && !self.schema_keys.contains(&key.schema_key) {
199
207
  return false;
200
208
  }
201
- if !self.entity_ids.is_empty() && !self.entity_ids.contains(&key.entity_id) {
209
+ if !self.entity_pks.is_empty() && !self.entity_pks.contains(&key.entity_pk) {
202
210
  return false;
203
211
  }
204
212
  if !self.file_ids.is_empty()
@@ -221,7 +229,6 @@ pub(crate) struct TrackedStateApplyResult {
221
229
  pub(crate) tree_height: usize,
222
230
  pub(crate) chunk_count: usize,
223
231
  pub(crate) chunk_bytes: usize,
224
- pub(crate) persisted_root: bool,
225
232
  }
226
233
 
227
234
  #[derive(Debug, Clone, PartialEq, Eq)]
@@ -0,0 +1,407 @@
1
+ use std::sync::Arc;
2
+
3
+ use serde_json::{json, Value as JsonValue};
4
+
5
+ use crate::binary_cas::BinaryCasContext;
6
+ use crate::branch::BranchContext;
7
+ use crate::catalog::CatalogContext;
8
+ use crate::entity_pk::EntityPk;
9
+ use crate::live_state::{
10
+ LiveStateContext, LiveStateFilter, LiveStateProjection, LiveStateRowRequest,
11
+ LiveStateScanRequest,
12
+ };
13
+ use crate::session::SessionMode;
14
+ use crate::storage::{
15
+ StorageBackend, StorageBackendRead, StorageBackendReadOf, StorageContext, StorageRead,
16
+ StorageReadOptions, StorageReadScope, StorageWriteSet, StorageWriteSetStats,
17
+ };
18
+ use crate::tracked_state::TrackedStateContext;
19
+ use crate::transaction::types::{TransactionJson, TransactionWriteRow};
20
+ use crate::untracked_state::UntrackedStateContext;
21
+ use crate::{NullableKeyFilter, GLOBAL_BRANCH_ID};
22
+
23
+ const SCHEMA_FIXTURE_COMMIT_ID: &str = "tracked-crud-schema-fixture";
24
+ const TIMESTAMP: &str = "2026-05-19T00:00:00.000Z";
25
+ const BENCH_BRANCH_ID: &str = "tracked-crud-branch";
26
+
27
+ #[derive(Clone)]
28
+ pub struct BenchTransactionRow {
29
+ pub schema_key: String,
30
+ pub file_id: Option<String>,
31
+ pub entity_pk: String,
32
+ pub value: JsonValue,
33
+ pub updated_value: JsonValue,
34
+ }
35
+
36
+ pub struct BenchTransactionFixture<B: StorageBackend> {
37
+ storage: StorageContext<B>,
38
+ live_state: Arc<LiveStateContext>,
39
+ tracked_state: Arc<TrackedStateContext>,
40
+ binary_cas: Arc<BinaryCasContext>,
41
+ branch_ctx: Arc<BranchContext>,
42
+ catalog_context: Arc<CatalogContext>,
43
+ rows: Vec<BenchTransactionRow>,
44
+ }
45
+
46
+ struct BenchRead<R> {
47
+ inner: StorageReadScope<R>,
48
+ }
49
+
50
+ impl<R> BenchRead<R> {
51
+ fn new(inner: StorageReadScope<R>) -> Self {
52
+ Self { inner }
53
+ }
54
+ }
55
+
56
+ unsafe impl<R: Send> Send for BenchRead<R> {}
57
+ unsafe impl<R: Send> Sync for BenchRead<R> {}
58
+
59
+ impl<R> StorageRead for BenchRead<R>
60
+ where
61
+ R: StorageBackendRead,
62
+ {
63
+ type BackendRead = R;
64
+
65
+ fn backend_read(&self) -> &Self::BackendRead {
66
+ self.inner.backend_read()
67
+ }
68
+ }
69
+
70
+ #[derive(Clone, Debug)]
71
+ pub struct BenchWriteAccounting {
72
+ pub logical_rows: usize,
73
+ pub staged_puts: u64,
74
+ pub staged_deletes: u64,
75
+ pub touched_spaces: u64,
76
+ pub backend_calls: u64,
77
+ pub put_batches: u64,
78
+ pub delete_batches: u64,
79
+ pub written_bytes: u64,
80
+ }
81
+
82
+ #[derive(Clone, Debug)]
83
+ pub struct BenchLayoutAccounting {
84
+ pub space_id: u32,
85
+ pub space: &'static str,
86
+ pub rows: u64,
87
+ pub key_bytes: u64,
88
+ pub value_bytes: u64,
89
+ }
90
+
91
+ impl<B> BenchTransactionFixture<B>
92
+ where
93
+ B: StorageBackend + Clone + Send + Sync + 'static,
94
+ for<'backend> B::Read<'backend>: Clone + Send + Sync + 'static,
95
+ for<'backend> B::Write<'backend>: Send,
96
+ {
97
+ pub async fn new(storage: StorageContext<B>, rows: Vec<BenchTransactionRow>) -> Self {
98
+ let tracked_state = Arc::new(TrackedStateContext::new());
99
+ let live_state = Arc::new(LiveStateContext::new(
100
+ tracked_state.as_ref().clone(),
101
+ UntrackedStateContext::new(),
102
+ crate::commit_graph::CommitGraphContext::new(),
103
+ ));
104
+ let branch_ctx = Arc::new(BranchContext::new(Arc::new(UntrackedStateContext::new())));
105
+ seed_visible_schema_rows(storage.clone(), tracked_state.as_ref()).await;
106
+ Self {
107
+ storage,
108
+ live_state,
109
+ tracked_state,
110
+ binary_cas: Arc::new(BinaryCasContext::new()),
111
+ branch_ctx,
112
+ catalog_context: Arc::new(CatalogContext::new()),
113
+ rows,
114
+ }
115
+ }
116
+
117
+ pub async fn seed(&mut self) -> usize {
118
+ self.insert_all().await
119
+ }
120
+
121
+ pub async fn insert_all(&mut self) -> usize {
122
+ self.insert_all_accounting().await.logical_rows
123
+ }
124
+
125
+ pub async fn insert_all_accounting(&mut self) -> BenchWriteAccounting {
126
+ let rows = self
127
+ .rows
128
+ .iter()
129
+ .map(|row| transaction_row(row, &row.value))
130
+ .collect();
131
+ self.commit_rows(rows).await
132
+ }
133
+
134
+ pub async fn update_all(&mut self) -> usize {
135
+ self.update_all_accounting().await.logical_rows
136
+ }
137
+
138
+ pub async fn update_all_accounting(&mut self) -> BenchWriteAccounting {
139
+ let rows = self
140
+ .rows
141
+ .iter()
142
+ .map(|row| transaction_row(row, &row.updated_value))
143
+ .collect();
144
+ self.commit_rows(rows).await
145
+ }
146
+
147
+ pub async fn update_one_by_pk(&mut self) -> usize {
148
+ self.update_one_by_pk_accounting().await.logical_rows
149
+ }
150
+
151
+ pub async fn update_one_by_pk_accounting(&mut self) -> BenchWriteAccounting {
152
+ let row = &self.rows[self.rows.len() / 2];
153
+ self.commit_rows(vec![transaction_row(row, &row.updated_value)])
154
+ .await
155
+ }
156
+
157
+ pub async fn delete_all(&mut self) -> usize {
158
+ self.delete_all_accounting().await.logical_rows
159
+ }
160
+
161
+ pub async fn delete_all_accounting(&mut self) -> BenchWriteAccounting {
162
+ let rows = self.rows.iter().map(transaction_delete_row).collect();
163
+ self.commit_rows(rows).await
164
+ }
165
+
166
+ pub async fn delete_one_by_pk(&mut self) -> usize {
167
+ self.delete_one_by_pk_accounting().await.logical_rows
168
+ }
169
+
170
+ pub async fn delete_one_by_pk_accounting(&mut self) -> BenchWriteAccounting {
171
+ let row = &self.rows[self.rows.len() / 2];
172
+ self.commit_rows(vec![transaction_delete_row(row)]).await
173
+ }
174
+
175
+ pub async fn read_all(&self) -> usize {
176
+ let read = self
177
+ .storage
178
+ .begin_read(StorageReadOptions::default())
179
+ .expect("begin transaction bench read");
180
+ let rows = self
181
+ .live_state
182
+ .reader(&read)
183
+ .scan_rows(&LiveStateScanRequest {
184
+ filter: LiveStateFilter {
185
+ schema_keys: vec!["json_pointer".to_string()],
186
+ branch_ids: vec![BENCH_BRANCH_ID.to_string()],
187
+ file_ids: vec![NullableKeyFilter::Null],
188
+ include_tombstones: false,
189
+ ..LiveStateFilter::default()
190
+ },
191
+ projection: LiveStateProjection::default(),
192
+ limit: None,
193
+ })
194
+ .await
195
+ .expect("scan transaction bench rows");
196
+ assert_eq!(rows.len(), self.rows.len());
197
+ rows.len()
198
+ }
199
+
200
+ pub async fn read_all_by_pk(&self) -> usize {
201
+ let mut count = 0;
202
+ for row in &self.rows {
203
+ count += self.read_one(row).await;
204
+ }
205
+ count
206
+ }
207
+
208
+ pub async fn read_many_by_pk(&self, count: usize) -> usize {
209
+ let count = count.min(self.rows.len());
210
+ let mut found = 0;
211
+ for row in &self.rows[..count] {
212
+ found += self.read_one(row).await;
213
+ }
214
+ found
215
+ }
216
+
217
+ pub async fn read_one_by_pk(&self) -> usize {
218
+ self.read_one(&self.rows[self.rows.len() / 2]).await
219
+ }
220
+
221
+ async fn read_one(&self, row: &BenchTransactionRow) -> usize {
222
+ let read = self
223
+ .storage
224
+ .begin_read(StorageReadOptions::default())
225
+ .expect("begin transaction bench read");
226
+ let row = self
227
+ .live_state
228
+ .reader(&read)
229
+ .load_row(&LiveStateRowRequest {
230
+ schema_key: "json_pointer".to_string(),
231
+ branch_id: BENCH_BRANCH_ID.to_string(),
232
+ entity_pk: EntityPk::single(row.entity_pk.clone()),
233
+ file_id: NullableKeyFilter::Null,
234
+ })
235
+ .await
236
+ .expect("load transaction bench row");
237
+ assert!(row.is_some());
238
+ 1
239
+ }
240
+
241
+ async fn commit_rows(&mut self, rows: Vec<TransactionWriteRow>) -> BenchWriteAccounting {
242
+ let logical_rows = rows.len();
243
+ let opened = super::open_transaction(
244
+ &SessionMode::Pinned {
245
+ branch_id: BENCH_BRANCH_ID.to_string(),
246
+ },
247
+ self.storage.clone(),
248
+ Arc::clone(&self.live_state),
249
+ Arc::clone(&self.tracked_state),
250
+ Arc::clone(&self.binary_cas),
251
+ Arc::clone(&self.branch_ctx),
252
+ Arc::clone(&self.catalog_context),
253
+ )
254
+ .await
255
+ .expect("open transaction bench transaction");
256
+ let mut transaction = opened.transaction;
257
+ transaction
258
+ .stage_rows(rows)
259
+ .await
260
+ .expect("stage transaction bench rows");
261
+ let outcome = transaction
262
+ .commit(&opened.runtime_functions)
263
+ .await
264
+ .expect("commit transaction bench rows");
265
+ write_accounting(logical_rows, outcome.storage_stats)
266
+ }
267
+
268
+ pub fn layout_accounting(&self) -> Vec<BenchLayoutAccounting> {
269
+ let read = self
270
+ .storage
271
+ .begin_read(StorageReadOptions::default())
272
+ .expect("begin transaction layout accounting read");
273
+ crate::storage_bench::layout_accounting(&read)
274
+ .into_iter()
275
+ .map(|space| BenchLayoutAccounting {
276
+ space_id: space.space_id,
277
+ space: space.space,
278
+ rows: space.rows,
279
+ key_bytes: space.key_bytes,
280
+ value_bytes: space.value_bytes,
281
+ })
282
+ .collect()
283
+ }
284
+ }
285
+
286
+ fn write_accounting(logical_rows: usize, stats: StorageWriteSetStats) -> BenchWriteAccounting {
287
+ BenchWriteAccounting {
288
+ logical_rows,
289
+ staged_puts: stats.staged_puts,
290
+ staged_deletes: stats.staged_deletes,
291
+ touched_spaces: stats.touched_spaces,
292
+ backend_calls: stats.backend_calls,
293
+ put_batches: stats.put_batches,
294
+ delete_batches: stats.delete_batches,
295
+ written_bytes: stats.written_bytes,
296
+ }
297
+ }
298
+
299
+ fn transaction_row(row: &BenchTransactionRow, value: &JsonValue) -> TransactionWriteRow {
300
+ TransactionWriteRow {
301
+ entity_pk: Some(EntityPk::single(row.entity_pk.clone())),
302
+ schema_key: row.schema_key.clone(),
303
+ file_id: row.file_id.clone(),
304
+ snapshot: Some(TransactionJson::from_value_unchecked(value.clone())),
305
+ metadata: None,
306
+ origin: None,
307
+ created_at: None,
308
+ updated_at: None,
309
+ global: false,
310
+ change_id: None,
311
+ commit_id: None,
312
+ untracked: false,
313
+ branch_id: BENCH_BRANCH_ID.to_string(),
314
+ }
315
+ }
316
+
317
+ fn transaction_delete_row(row: &BenchTransactionRow) -> TransactionWriteRow {
318
+ let mut out = transaction_row(row, &row.value);
319
+ out.snapshot = None;
320
+ out
321
+ }
322
+
323
+ async fn seed_visible_schema_rows<B>(
324
+ storage: StorageContext<B>,
325
+ tracked_state: &TrackedStateContext,
326
+ ) where
327
+ B: StorageBackend + Clone,
328
+ for<'a> StorageBackendReadOf<'a, B>: Send,
329
+ {
330
+ let mut writes = StorageWriteSet::new();
331
+ let mut schemas = crate::schema::seed_schema_definitions()
332
+ .into_iter()
333
+ .cloned()
334
+ .collect::<Vec<_>>();
335
+ schemas.push(json_pointer_schema());
336
+ let rows = schemas
337
+ .iter()
338
+ .map(|schema| {
339
+ let key = crate::schema::schema_key_from_definition(schema)
340
+ .expect("seed schema key should derive");
341
+ let snapshot_content = json!({ "value": schema }).to_string();
342
+ crate::tracked_state::MaterializedTrackedStateRow {
343
+ entity_pk: crate::schema::registered_schema_entity_pk(&key.schema_key)
344
+ .expect("registered schema identity should derive"),
345
+ schema_key: "lix_registered_schema".to_string(),
346
+ file_id: None,
347
+ snapshot_content: Some(snapshot_content),
348
+ metadata: None,
349
+ deleted: false,
350
+ created_at: TIMESTAMP.to_string(),
351
+ updated_at: TIMESTAMP.to_string(),
352
+ change_id: format!("schema-fixture-{}", key.schema_key),
353
+ commit_id: SCHEMA_FIXTURE_COMMIT_ID.to_string(),
354
+ }
355
+ })
356
+ .collect::<Vec<_>>();
357
+ let global_branch_ref_row = crate::transaction::prepare_branch_ref_row(
358
+ GLOBAL_BRANCH_ID,
359
+ SCHEMA_FIXTURE_COMMIT_ID,
360
+ TIMESTAMP,
361
+ )
362
+ .expect("schema fixture branch ref should stage");
363
+ let bench_branch_ref_row = crate::transaction::prepare_branch_ref_row(
364
+ BENCH_BRANCH_ID,
365
+ SCHEMA_FIXTURE_COMMIT_ID,
366
+ TIMESTAMP,
367
+ )
368
+ .expect("bench fixture branch ref should stage");
369
+ let mut read = BenchRead::new(
370
+ storage
371
+ .begin_read(StorageReadOptions::default())
372
+ .expect("schema fixture read should open"),
373
+ );
374
+ crate::test_support::stage_tracked_root_from_materialized(
375
+ &mut read,
376
+ &mut writes,
377
+ tracked_state,
378
+ SCHEMA_FIXTURE_COMMIT_ID,
379
+ None,
380
+ &rows,
381
+ )
382
+ .await
383
+ .expect("schema fixture rows should stage");
384
+ UntrackedStateContext::new()
385
+ .writer(&mut writes)
386
+ .stage_rows([
387
+ global_branch_ref_row.row.as_ref(),
388
+ bench_branch_ref_row.row.as_ref(),
389
+ ])
390
+ .expect("schema fixture branch ref should stage");
391
+ crate::storage_bench::commit_write_set_for_bench(&storage, writes)
392
+ .expect("schema fixture transaction should commit");
393
+ }
394
+
395
+ fn json_pointer_schema() -> JsonValue {
396
+ json!({
397
+ "x-lix-key": "json_pointer",
398
+ "x-lix-primary-key": ["/path"],
399
+ "type": "object",
400
+ "properties": {
401
+ "path": { "type": "string" },
402
+ "value": true
403
+ },
404
+ "required": ["path", "value"],
405
+ "additionalProperties": false
406
+ })
407
+ }