@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
@@ -0,0 +1,394 @@
1
+ use crate::entity_pk::EntityPk;
2
+ use crate::json_store::{JsonStoreContext, JsonWritePlacementRef, NormalizedJsonRef};
3
+ use crate::storage::{
4
+ StorageBackend, StorageBackendRead, StorageBackendReadOf, StorageContext, StorageRead,
5
+ StorageReadOptions, StorageReadScope, StorageWriteOptions, StorageWriteSetStats,
6
+ };
7
+ use crate::tracked_state::{
8
+ TrackedStateContext, TrackedStateDeltaRef, TrackedStateFilter, TrackedStateKey,
9
+ TrackedStateReadColumns, TrackedStateScanRequest,
10
+ };
11
+
12
+ #[derive(Clone)]
13
+ pub struct BenchTrackedRow {
14
+ pub schema_key: String,
15
+ pub file_id: Option<String>,
16
+ pub entity_pk: String,
17
+ pub value: Vec<u8>,
18
+ pub updated_value: Vec<u8>,
19
+ }
20
+
21
+ pub struct BenchTrackedFixture<B: StorageBackend> {
22
+ storage: StorageContext<B>,
23
+ context: TrackedStateContext,
24
+ rows: Vec<BenchTrackedRow>,
25
+ current_commit_id: Option<String>,
26
+ next_commit_index: usize,
27
+ }
28
+
29
+ #[derive(Clone, Debug)]
30
+ pub struct BenchWriteAccounting {
31
+ pub logical_rows: usize,
32
+ pub staged_puts: u64,
33
+ pub staged_deletes: u64,
34
+ pub touched_spaces: u64,
35
+ pub backend_calls: u64,
36
+ pub put_batches: u64,
37
+ pub delete_batches: u64,
38
+ pub written_bytes: u64,
39
+ }
40
+
41
+ #[derive(Clone, Debug)]
42
+ pub struct BenchLayoutAccounting {
43
+ pub space_id: u32,
44
+ pub space: &'static str,
45
+ pub rows: u64,
46
+ pub key_bytes: u64,
47
+ pub value_bytes: u64,
48
+ }
49
+
50
+ struct BenchWriteOutcome {
51
+ logical_rows: usize,
52
+ stats: StorageWriteSetStats,
53
+ }
54
+
55
+ impl BenchWriteOutcome {
56
+ fn accounting(&self) -> BenchWriteAccounting {
57
+ BenchWriteAccounting {
58
+ logical_rows: self.logical_rows,
59
+ staged_puts: self.stats.staged_puts,
60
+ staged_deletes: self.stats.staged_deletes,
61
+ touched_spaces: self.stats.touched_spaces,
62
+ backend_calls: self.stats.backend_calls,
63
+ put_batches: self.stats.put_batches,
64
+ delete_batches: self.stats.delete_batches,
65
+ written_bytes: self.stats.written_bytes,
66
+ }
67
+ }
68
+ }
69
+
70
+ struct BenchRead<R> {
71
+ inner: StorageReadScope<R>,
72
+ }
73
+
74
+ impl<R> BenchRead<R> {
75
+ fn new(inner: StorageReadScope<R>) -> Self {
76
+ Self { inner }
77
+ }
78
+ }
79
+
80
+ // The storage bench runs these fixtures on one thread. This wrapper lets the
81
+ // tracked-state internals use their existing `Send + Sync` reader bound with
82
+ // test backends such as SQLite whose read handle is not `Sync`.
83
+ unsafe impl<R: Send> Send for BenchRead<R> {}
84
+ unsafe impl<R: Send> Sync for BenchRead<R> {}
85
+
86
+ impl<R> StorageRead for BenchRead<R>
87
+ where
88
+ R: StorageBackendRead,
89
+ {
90
+ type BackendRead = R;
91
+
92
+ fn backend_read(&self) -> &Self::BackendRead {
93
+ self.inner.backend_read()
94
+ }
95
+ }
96
+
97
+ impl<B> BenchTrackedFixture<B>
98
+ where
99
+ B: StorageBackend,
100
+ for<'a> StorageBackendReadOf<'a, B>: Send,
101
+ {
102
+ pub fn new(storage: StorageContext<B>, rows: Vec<BenchTrackedRow>) -> Self {
103
+ Self {
104
+ storage,
105
+ context: TrackedStateContext::new(),
106
+ rows,
107
+ current_commit_id: None,
108
+ next_commit_index: 0,
109
+ }
110
+ }
111
+
112
+ pub async fn seed(&mut self) -> usize {
113
+ self.insert_all().await
114
+ }
115
+
116
+ pub async fn insert_all(&mut self) -> usize {
117
+ self.insert_all_accounting().await.logical_rows
118
+ }
119
+
120
+ pub async fn insert_all_accounting(&mut self) -> BenchWriteAccounting {
121
+ let rows = self.rows.clone();
122
+ self.stage_rows(rows, None).await.accounting()
123
+ }
124
+
125
+ pub async fn update_all(&mut self) -> usize {
126
+ self.update_all_accounting().await.logical_rows
127
+ }
128
+
129
+ pub async fn update_all_accounting(&mut self) -> BenchWriteAccounting {
130
+ let rows = self
131
+ .rows
132
+ .iter()
133
+ .cloned()
134
+ .map(|mut row| {
135
+ row.value = row.updated_value.clone();
136
+ row
137
+ })
138
+ .collect::<Vec<_>>();
139
+ self.stage_rows(rows, self.current_commit_id.clone())
140
+ .await
141
+ .accounting()
142
+ }
143
+
144
+ pub async fn update_one_by_pk(&mut self) -> usize {
145
+ self.update_one_by_pk_accounting().await.logical_rows
146
+ }
147
+
148
+ pub async fn update_one_by_pk_accounting(&mut self) -> BenchWriteAccounting {
149
+ let mut row = self.rows[self.rows.len() / 2].clone();
150
+ row.value = row.updated_value.clone();
151
+ self.stage_rows(vec![row], self.current_commit_id.clone())
152
+ .await
153
+ .accounting()
154
+ }
155
+
156
+ pub async fn delete_all(&mut self) -> usize {
157
+ self.delete_all_accounting().await.logical_rows
158
+ }
159
+
160
+ pub async fn delete_all_accounting(&mut self) -> BenchWriteAccounting {
161
+ let rows = self
162
+ .rows
163
+ .iter()
164
+ .cloned()
165
+ .map(|mut row| {
166
+ row.value.clear();
167
+ row
168
+ })
169
+ .collect::<Vec<_>>();
170
+ self.stage_rows_as_deletes(rows, self.current_commit_id.clone())
171
+ .await
172
+ .accounting()
173
+ }
174
+
175
+ pub async fn delete_one_by_pk(&mut self) -> usize {
176
+ self.delete_one_by_pk_accounting().await.logical_rows
177
+ }
178
+
179
+ pub async fn delete_one_by_pk_accounting(&mut self) -> BenchWriteAccounting {
180
+ let mut row = self.rows[self.rows.len() / 2].clone();
181
+ row.value.clear();
182
+ self.stage_rows_as_deletes(vec![row], self.current_commit_id.clone())
183
+ .await
184
+ .accounting()
185
+ }
186
+
187
+ pub async fn read_all(&self) -> usize {
188
+ let read = BenchRead::new(
189
+ self.storage
190
+ .begin_read(StorageReadOptions::default())
191
+ .expect("begin tracked-state read"),
192
+ );
193
+ let mut reader = self.context.reader(read);
194
+ let rows = reader
195
+ .scan_rows_at_commit(
196
+ self.current_commit_id(),
197
+ &TrackedStateScanRequest {
198
+ filter: TrackedStateFilter::default(),
199
+ read_columns: TrackedStateReadColumns::default(),
200
+ limit: None,
201
+ },
202
+ )
203
+ .await
204
+ .expect("scan tracked-state rows");
205
+ assert_eq!(rows.len(), self.rows.len());
206
+ rows.len()
207
+ }
208
+
209
+ pub async fn read_all_by_pk(&self) -> usize {
210
+ let keys = self.rows.iter().map(row_key).collect::<Vec<_>>();
211
+ self.read_by_pk(&keys).await
212
+ }
213
+
214
+ pub async fn read_one_by_pk(&self) -> usize {
215
+ let key = row_key(&self.rows[self.rows.len() / 2]);
216
+ self.read_by_pk(&[key]).await
217
+ }
218
+
219
+ async fn read_by_pk(&self, keys: &[TrackedStateKey]) -> usize {
220
+ let read = BenchRead::new(
221
+ self.storage
222
+ .begin_read(StorageReadOptions::default())
223
+ .expect("begin tracked-state read"),
224
+ );
225
+ let mut reader = self.context.reader(read);
226
+ let rows = reader
227
+ .load_rows_at_commit(self.current_commit_id(), keys)
228
+ .await
229
+ .expect("load tracked-state rows");
230
+ assert!(rows.iter().all(Option::is_some));
231
+ rows.len()
232
+ }
233
+
234
+ async fn stage_rows(
235
+ &mut self,
236
+ rows: Vec<BenchTrackedRow>,
237
+ parent_commit_id: Option<String>,
238
+ ) -> BenchWriteOutcome {
239
+ self.stage_rows_inner(rows, parent_commit_id, false).await
240
+ }
241
+
242
+ async fn stage_rows_as_deletes(
243
+ &mut self,
244
+ rows: Vec<BenchTrackedRow>,
245
+ parent_commit_id: Option<String>,
246
+ ) -> BenchWriteOutcome {
247
+ self.stage_rows_inner(rows, parent_commit_id, true).await
248
+ }
249
+
250
+ async fn stage_rows_inner(
251
+ &mut self,
252
+ rows: Vec<BenchTrackedRow>,
253
+ parent_commit_id: Option<String>,
254
+ deleted: bool,
255
+ ) -> BenchWriteOutcome {
256
+ let commit_id = self.next_commit_id();
257
+ let mut writes = self.storage.new_write_set();
258
+ let owned = rows
259
+ .into_iter()
260
+ .enumerate()
261
+ .map(|(index, row)| OwnedDelta::new(row, &commit_id, index, deleted, &mut writes))
262
+ .collect::<Vec<_>>();
263
+ let deltas = owned.iter().map(OwnedDelta::as_ref).collect::<Vec<_>>();
264
+ {
265
+ let read = BenchRead::new(
266
+ self.storage
267
+ .begin_read(StorageReadOptions::default())
268
+ .expect("begin tracked-state write read"),
269
+ );
270
+ let mut writer = self.context.writer(&read, &mut writes);
271
+ writer
272
+ .stage_commit_root(&commit_id, parent_commit_id.as_deref(), deltas)
273
+ .await
274
+ .expect("stage tracked-state commit root");
275
+ }
276
+ let (_commit, stats) = self
277
+ .storage
278
+ .commit_write_set(writes, StorageWriteOptions::default())
279
+ .expect("commit tracked-state writes");
280
+ assert!(
281
+ stats.staged_puts > 0,
282
+ "tracked-state write should stage physical puts"
283
+ );
284
+ self.current_commit_id = Some(commit_id);
285
+ BenchWriteOutcome {
286
+ logical_rows: owned.len(),
287
+ stats,
288
+ }
289
+ }
290
+
291
+ pub fn layout_accounting(&self) -> Vec<BenchLayoutAccounting> {
292
+ let read = BenchRead::new(
293
+ self.storage
294
+ .begin_read(StorageReadOptions::default())
295
+ .expect("begin tracked-state layout accounting read"),
296
+ );
297
+ crate::storage_bench::layout_accounting(&read)
298
+ .into_iter()
299
+ .map(|space| BenchLayoutAccounting {
300
+ space_id: space.space_id,
301
+ space: space.space,
302
+ rows: space.rows,
303
+ key_bytes: space.key_bytes,
304
+ value_bytes: space.value_bytes,
305
+ })
306
+ .collect()
307
+ }
308
+
309
+ fn next_commit_id(&mut self) -> String {
310
+ self.next_commit_index += 1;
311
+ format!("tracked-crud-commit-{}", self.next_commit_index)
312
+ }
313
+
314
+ fn current_commit_id(&self) -> &str {
315
+ self.current_commit_id
316
+ .as_deref()
317
+ .expect("tracked-state fixture should be seeded")
318
+ }
319
+ }
320
+
321
+ struct OwnedDelta {
322
+ change_id: String,
323
+ commit_id: String,
324
+ entity_pk: EntityPk,
325
+ schema_key: String,
326
+ file_id: Option<String>,
327
+ snapshot_ref: Option<crate::json_store::JsonRef>,
328
+ metadata_ref: Option<crate::json_store::JsonRef>,
329
+ deleted: bool,
330
+ created_at: String,
331
+ updated_at: String,
332
+ }
333
+
334
+ impl OwnedDelta {
335
+ fn new(
336
+ row: BenchTrackedRow,
337
+ commit_id: &str,
338
+ index: usize,
339
+ deleted: bool,
340
+ writes: &mut crate::storage::StorageWriteSet,
341
+ ) -> Self {
342
+ let snapshot_ref = if deleted {
343
+ None
344
+ } else {
345
+ let json = std::str::from_utf8(&row.value)
346
+ .expect("tracked-state bench row payload should be UTF-8 JSON");
347
+ let mut json_writer = JsonStoreContext::new().writer();
348
+ let refs = json_writer
349
+ .stage_batch(
350
+ writes,
351
+ JsonWritePlacementRef::OutOfBand,
352
+ [NormalizedJsonRef::new(json)],
353
+ )
354
+ .expect("stage tracked-state bench JSON payload");
355
+ Some(refs[0])
356
+ };
357
+ let change_id = format!("tracked-crud-change-{commit_id}-{index}");
358
+ Self {
359
+ change_id,
360
+ commit_id: commit_id.to_string(),
361
+ entity_pk: EntityPk::single(row.entity_pk),
362
+ schema_key: row.schema_key,
363
+ file_id: row.file_id,
364
+ snapshot_ref,
365
+ metadata_ref: None,
366
+ deleted,
367
+ created_at: "2026-05-19T00:00:00.000Z".to_string(),
368
+ updated_at: "2026-05-19T00:00:00.000Z".to_string(),
369
+ }
370
+ }
371
+
372
+ fn as_ref(&self) -> TrackedStateDeltaRef<'_> {
373
+ TrackedStateDeltaRef {
374
+ schema_key: &self.schema_key,
375
+ file_id: self.file_id.as_deref(),
376
+ entity_pk: &self.entity_pk,
377
+ change_id: &self.change_id,
378
+ commit_id: &self.commit_id,
379
+ snapshot_ref: self.snapshot_ref.as_ref(),
380
+ metadata_ref: self.metadata_ref.as_ref(),
381
+ deleted: self.deleted,
382
+ created_at: &self.created_at,
383
+ updated_at: &self.updated_at,
384
+ }
385
+ }
386
+ }
387
+
388
+ fn row_key(row: &BenchTrackedRow) -> TrackedStateKey {
389
+ TrackedStateKey {
390
+ schema_key: row.schema_key.clone(),
391
+ entity_pk: EntityPk::single(row.entity_pk.clone()),
392
+ file_id: row.file_id.clone(),
393
+ }
394
+ }