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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (274) hide show
  1. package/README.md +76 -4
  2. package/dist/errors.d.ts +7 -0
  3. package/dist/errors.js +19 -0
  4. package/dist/index.d.ts +4 -5
  5. package/dist/index.js +3 -3
  6. package/dist/native.d.ts +1 -0
  7. package/dist/native.js +47 -0
  8. package/dist/open-lix.d.ts +38 -207
  9. package/dist/open-lix.js +59 -284
  10. package/dist/result.d.ts +18 -0
  11. package/dist/result.js +48 -0
  12. package/dist/types.d.ts +114 -1
  13. package/dist/value.d.ts +28 -0
  14. package/dist/value.js +245 -0
  15. package/package.json +38 -71
  16. package/SKILL.md +0 -507
  17. package/dist/builtin-schemas.d.ts +0 -1
  18. package/dist/builtin-schemas.js +0 -1
  19. package/dist/engine-wasm/index.d.ts +0 -87
  20. package/dist/engine-wasm/index.js +0 -339
  21. package/dist/engine-wasm/wasm/lix_engine.d.ts +0 -79
  22. package/dist/engine-wasm/wasm/lix_engine.js +0 -833
  23. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  24. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +0 -27
  25. package/dist/generated/builtin-schemas.d.ts +0 -427
  26. package/dist/generated/builtin-schemas.js +0 -643
  27. package/dist/sqlite/index.d.ts +0 -12
  28. package/dist/sqlite/index.js +0 -359
  29. package/dist-engine-src/README.md +0 -18
  30. package/dist-engine-src/src/backend/capabilities.rs +0 -67
  31. package/dist-engine-src/src/backend/conformance/baseline.rs +0 -1127
  32. package/dist-engine-src/src/backend/conformance/factory.rs +0 -93
  33. package/dist-engine-src/src/backend/conformance/failure_tests.rs +0 -608
  34. package/dist-engine-src/src/backend/conformance/fixtures.rs +0 -26
  35. package/dist-engine-src/src/backend/conformance/mod.rs +0 -75
  36. package/dist-engine-src/src/backend/conformance/model.rs +0 -28
  37. package/dist-engine-src/src/backend/conformance/model_based.rs +0 -257
  38. package/dist-engine-src/src/backend/conformance/persistence.rs +0 -204
  39. package/dist-engine-src/src/backend/conformance/projection.rs +0 -21
  40. package/dist-engine-src/src/backend/conformance/pushdown.rs +0 -24
  41. package/dist-engine-src/src/backend/conformance/runner.rs +0 -90
  42. package/dist-engine-src/src/backend/conformance/scan.rs +0 -24
  43. package/dist-engine-src/src/backend/conformance/write.rs +0 -16
  44. package/dist-engine-src/src/backend/error.rs +0 -94
  45. package/dist-engine-src/src/backend/in_memory.rs +0 -670
  46. package/dist-engine-src/src/backend/mod.rs +0 -39
  47. package/dist-engine-src/src/backend/predicate.rs +0 -80
  48. package/dist-engine-src/src/backend/traits.rs +0 -260
  49. package/dist-engine-src/src/backend/types.rs +0 -239
  50. package/dist-engine-src/src/binary_cas/chunking.rs +0 -31
  51. package/dist-engine-src/src/binary_cas/codec.rs +0 -346
  52. package/dist-engine-src/src/binary_cas/context.rs +0 -139
  53. package/dist-engine-src/src/binary_cas/kv.rs +0 -1038
  54. package/dist-engine-src/src/binary_cas/mod.rs +0 -11
  55. package/dist-engine-src/src/binary_cas/types.rs +0 -121
  56. package/dist-engine-src/src/branch/context.rs +0 -40
  57. package/dist-engine-src/src/branch/lifecycle.rs +0 -221
  58. package/dist-engine-src/src/branch/mod.rs +0 -13
  59. package/dist-engine-src/src/branch/refs.rs +0 -321
  60. package/dist-engine-src/src/branch/stage_rows.rs +0 -67
  61. package/dist-engine-src/src/branch/types.rs +0 -21
  62. package/dist-engine-src/src/catalog/context.rs +0 -412
  63. package/dist-engine-src/src/catalog/mod.rs +0 -10
  64. package/dist-engine-src/src/catalog/schema.rs +0 -4
  65. package/dist-engine-src/src/catalog/snapshot.rs +0 -1114
  66. package/dist-engine-src/src/cel/context.rs +0 -86
  67. package/dist-engine-src/src/cel/error.rs +0 -19
  68. package/dist-engine-src/src/cel/mod.rs +0 -8
  69. package/dist-engine-src/src/cel/provider.rs +0 -9
  70. package/dist-engine-src/src/cel/runtime.rs +0 -167
  71. package/dist-engine-src/src/cel/value.rs +0 -50
  72. package/dist-engine-src/src/changelog/bench_support.rs +0 -785
  73. package/dist-engine-src/src/changelog/change.rs +0 -1
  74. package/dist-engine-src/src/changelog/codec.rs +0 -497
  75. package/dist-engine-src/src/changelog/commit.rs +0 -1
  76. package/dist-engine-src/src/changelog/context.rs +0 -1614
  77. package/dist-engine-src/src/changelog/mod.rs +0 -29
  78. package/dist-engine-src/src/changelog/store.rs +0 -163
  79. package/dist-engine-src/src/changelog/test_support.rs +0 -54
  80. package/dist-engine-src/src/changelog/types.rs +0 -213
  81. package/dist-engine-src/src/commit_graph/context.rs +0 -944
  82. package/dist-engine-src/src/commit_graph/mod.rs +0 -9
  83. package/dist-engine-src/src/commit_graph/types.rs +0 -89
  84. package/dist-engine-src/src/commit_graph/walker.rs +0 -786
  85. package/dist-engine-src/src/common/error.rs +0 -347
  86. package/dist-engine-src/src/common/fingerprint.rs +0 -3
  87. package/dist-engine-src/src/common/fs_path.rs +0 -1336
  88. package/dist-engine-src/src/common/identity.rs +0 -145
  89. package/dist-engine-src/src/common/json_pointer.rs +0 -67
  90. package/dist-engine-src/src/common/metadata.rs +0 -40
  91. package/dist-engine-src/src/common/mod.rs +0 -23
  92. package/dist-engine-src/src/common/types.rs +0 -105
  93. package/dist-engine-src/src/common/wire.rs +0 -222
  94. package/dist-engine-src/src/domain.rs +0 -320
  95. package/dist-engine-src/src/engine.rs +0 -203
  96. package/dist-engine-src/src/entity_pk.rs +0 -402
  97. package/dist-engine-src/src/functions/context.rs +0 -296
  98. package/dist-engine-src/src/functions/deterministic.rs +0 -113
  99. package/dist-engine-src/src/functions/mod.rs +0 -18
  100. package/dist-engine-src/src/functions/provider.rs +0 -130
  101. package/dist-engine-src/src/functions/state.rs +0 -335
  102. package/dist-engine-src/src/functions/types.rs +0 -37
  103. package/dist-engine-src/src/init.rs +0 -692
  104. package/dist-engine-src/src/json_store/compression.rs +0 -77
  105. package/dist-engine-src/src/json_store/context.rs +0 -172
  106. package/dist-engine-src/src/json_store/encoded.rs +0 -15
  107. package/dist-engine-src/src/json_store/mod.rs +0 -38
  108. package/dist-engine-src/src/json_store/store.rs +0 -494
  109. package/dist-engine-src/src/json_store/types.rs +0 -212
  110. package/dist-engine-src/src/lib.rs +0 -92
  111. package/dist-engine-src/src/live_state/context.rs +0 -1883
  112. package/dist-engine-src/src/live_state/mod.rs +0 -21
  113. package/dist-engine-src/src/live_state/overlay.rs +0 -75
  114. package/dist-engine-src/src/live_state/reader.rs +0 -23
  115. package/dist-engine-src/src/live_state/types.rs +0 -231
  116. package/dist-engine-src/src/live_state/visibility.rs +0 -666
  117. package/dist-engine-src/src/plugin/archive.rs +0 -438
  118. package/dist-engine-src/src/plugin/component.rs +0 -183
  119. package/dist-engine-src/src/plugin/install.rs +0 -619
  120. package/dist-engine-src/src/plugin/manifest.rs +0 -516
  121. package/dist-engine-src/src/plugin/materializer.rs +0 -202
  122. package/dist-engine-src/src/plugin/mod.rs +0 -33
  123. package/dist-engine-src/src/plugin/plugin_manifest.json +0 -119
  124. package/dist-engine-src/src/plugin/storage.rs +0 -74
  125. package/dist-engine-src/src/schema/annotations/defaults.rs +0 -275
  126. package/dist-engine-src/src/schema/annotations/mod.rs +0 -1
  127. package/dist-engine-src/src/schema/builtin/lix_account.json +0 -21
  128. package/dist-engine-src/src/schema/builtin/lix_active_account.json +0 -29
  129. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +0 -29
  130. package/dist-engine-src/src/schema/builtin/lix_branch_descriptor.json +0 -34
  131. package/dist-engine-src/src/schema/builtin/lix_branch_ref.json +0 -48
  132. package/dist-engine-src/src/schema/builtin/lix_change.json +0 -63
  133. package/dist-engine-src/src/schema/builtin/lix_change_author.json +0 -45
  134. package/dist-engine-src/src/schema/builtin/lix_commit.json +0 -24
  135. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +0 -53
  136. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +0 -52
  137. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +0 -52
  138. package/dist-engine-src/src/schema/builtin/lix_key_value.json +0 -40
  139. package/dist-engine-src/src/schema/builtin/lix_label.json +0 -29
  140. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +0 -74
  141. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +0 -25
  142. package/dist-engine-src/src/schema/builtin/mod.rs +0 -220
  143. package/dist-engine-src/src/schema/compatibility.rs +0 -787
  144. package/dist-engine-src/src/schema/definition.json +0 -187
  145. package/dist-engine-src/src/schema/definition.rs +0 -742
  146. package/dist-engine-src/src/schema/key.rs +0 -138
  147. package/dist-engine-src/src/schema/mod.rs +0 -20
  148. package/dist-engine-src/src/schema/seed.rs +0 -14
  149. package/dist-engine-src/src/schema/tests.rs +0 -780
  150. package/dist-engine-src/src/session/context.rs +0 -1059
  151. package/dist-engine-src/src/session/create_branch.rs +0 -94
  152. package/dist-engine-src/src/session/execute.rs +0 -681
  153. package/dist-engine-src/src/session/merge/analysis.rs +0 -108
  154. package/dist-engine-src/src/session/merge/branch.rs +0 -417
  155. package/dist-engine-src/src/session/merge/conflicts.rs +0 -63
  156. package/dist-engine-src/src/session/merge/mod.rs +0 -10
  157. package/dist-engine-src/src/session/merge/stats.rs +0 -61
  158. package/dist-engine-src/src/session/mod.rs +0 -30
  159. package/dist-engine-src/src/session/switch_branch.rs +0 -113
  160. package/dist-engine-src/src/session/transaction.rs +0 -557
  161. package/dist-engine-src/src/sql2/bind/classify.rs +0 -102
  162. package/dist-engine-src/src/sql2/bind/error.rs +0 -5
  163. package/dist-engine-src/src/sql2/bind/expr.rs +0 -29
  164. package/dist-engine-src/src/sql2/bind/mod.rs +0 -12
  165. package/dist-engine-src/src/sql2/bind/public_udf.rs +0 -306
  166. package/dist-engine-src/src/sql2/bind/read.rs +0 -65
  167. package/dist-engine-src/src/sql2/bind/statement.rs +0 -2236
  168. package/dist-engine-src/src/sql2/bind/table.rs +0 -273
  169. package/dist-engine-src/src/sql2/bind/write.rs +0 -86
  170. package/dist-engine-src/src/sql2/branch_scope.rs +0 -436
  171. package/dist-engine-src/src/sql2/catalog/capability.rs +0 -20
  172. package/dist-engine-src/src/sql2/catalog/entity_surface.rs +0 -296
  173. package/dist-engine-src/src/sql2/catalog/mod.rs +0 -15
  174. package/dist-engine-src/src/sql2/catalog/registry.rs +0 -556
  175. package/dist-engine-src/src/sql2/catalog/schema.rs +0 -88
  176. package/dist-engine-src/src/sql2/catalog/surface.rs +0 -41
  177. package/dist-engine-src/src/sql2/change_materialization.rs +0 -122
  178. package/dist-engine-src/src/sql2/context.rs +0 -317
  179. package/dist-engine-src/src/sql2/dml.rs +0 -148
  180. package/dist-engine-src/src/sql2/error.rs +0 -215
  181. package/dist-engine-src/src/sql2/exec/bound_public_write.rs +0 -1593
  182. package/dist-engine-src/src/sql2/exec/datafusion.rs +0 -5266
  183. package/dist-engine-src/src/sql2/exec/fast_write.rs +0 -82
  184. package/dist-engine-src/src/sql2/exec/mod.rs +0 -24
  185. package/dist-engine-src/src/sql2/exec/write.rs +0 -661
  186. package/dist-engine-src/src/sql2/filesystem_planner.rs +0 -1485
  187. package/dist-engine-src/src/sql2/filesystem_predicates.rs +0 -159
  188. package/dist-engine-src/src/sql2/filesystem_visibility.rs +0 -383
  189. package/dist-engine-src/src/sql2/history_projection.rs +0 -56
  190. package/dist-engine-src/src/sql2/history_route.rs +0 -661
  191. package/dist-engine-src/src/sql2/mod.rs +0 -52
  192. package/dist-engine-src/src/sql2/optimize/datafusion.rs +0 -1
  193. package/dist-engine-src/src/sql2/optimize/mod.rs +0 -2
  194. package/dist-engine-src/src/sql2/optimize/simple_write.rs +0 -116
  195. package/dist-engine-src/src/sql2/parse/mod.rs +0 -69
  196. package/dist-engine-src/src/sql2/parse/normalize.rs +0 -1
  197. package/dist-engine-src/src/sql2/plan/branch_scope.rs +0 -24
  198. package/dist-engine-src/src/sql2/plan/mod.rs +0 -5
  199. package/dist-engine-src/src/sql2/plan/predicate.rs +0 -22
  200. package/dist-engine-src/src/sql2/plan/write.rs +0 -147
  201. package/dist-engine-src/src/sql2/predicate_typecheck.rs +0 -504
  202. package/dist-engine-src/src/sql2/providers/branch.rs +0 -1206
  203. package/dist-engine-src/src/sql2/providers/change.rs +0 -445
  204. package/dist-engine-src/src/sql2/providers/directory.rs +0 -2422
  205. package/dist-engine-src/src/sql2/providers/directory_history.rs +0 -645
  206. package/dist-engine-src/src/sql2/providers/entity.rs +0 -1484
  207. package/dist-engine-src/src/sql2/providers/entity_history.rs +0 -452
  208. package/dist-engine-src/src/sql2/providers/file.rs +0 -3686
  209. package/dist-engine-src/src/sql2/providers/file_history.rs +0 -924
  210. package/dist-engine-src/src/sql2/providers/history.rs +0 -426
  211. package/dist-engine-src/src/sql2/providers/lix_state.rs +0 -2542
  212. package/dist-engine-src/src/sql2/providers/mod.rs +0 -508
  213. package/dist-engine-src/src/sql2/read_only.rs +0 -63
  214. package/dist-engine-src/src/sql2/record_batch.rs +0 -17
  215. package/dist-engine-src/src/sql2/result_metadata.rs +0 -29
  216. package/dist-engine-src/src/sql2/runtime.rs +0 -60
  217. package/dist-engine-src/src/sql2/session.rs +0 -83
  218. package/dist-engine-src/src/sql2/storage/constraints.rs +0 -1
  219. package/dist-engine-src/src/sql2/storage/mod.rs +0 -1
  220. package/dist-engine-src/src/sql2/test_support/differential.rs +0 -712
  221. package/dist-engine-src/src/sql2/test_support/generators.rs +0 -354
  222. package/dist-engine-src/src/sql2/test_support/mod.rs +0 -2
  223. package/dist-engine-src/src/sql2/udfs/common.rs +0 -295
  224. package/dist-engine-src/src/sql2/udfs/lix_active_branch_commit_id.rs +0 -53
  225. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +0 -47
  226. package/dist-engine-src/src/sql2/udfs/lix_json.rs +0 -100
  227. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +0 -99
  228. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +0 -99
  229. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +0 -82
  230. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +0 -85
  231. package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +0 -76
  232. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +0 -76
  233. package/dist-engine-src/src/sql2/udfs/mod.rs +0 -86
  234. package/dist-engine-src/src/sql2/write_normalization.rs +0 -368
  235. package/dist-engine-src/src/storage/conformance.rs +0 -399
  236. package/dist-engine-src/src/storage/context.rs +0 -620
  237. package/dist-engine-src/src/storage/mod.rs +0 -52
  238. package/dist-engine-src/src/storage/point.rs +0 -440
  239. package/dist-engine-src/src/storage/read_scope.rs +0 -67
  240. package/dist-engine-src/src/storage/reader.rs +0 -867
  241. package/dist-engine-src/src/storage/scan.rs +0 -784
  242. package/dist-engine-src/src/storage/spaces.rs +0 -236
  243. package/dist-engine-src/src/storage/stats.rs +0 -80
  244. package/dist-engine-src/src/storage/write_set.rs +0 -962
  245. package/dist-engine-src/src/storage_bench.rs +0 -171
  246. package/dist-engine-src/src/test_support.rs +0 -450
  247. package/dist-engine-src/src/tracked_state/bench_support.rs +0 -394
  248. package/dist-engine-src/src/tracked_state/codec.rs +0 -1183
  249. package/dist-engine-src/src/tracked_state/commit_root_rebuild.rs +0 -358
  250. package/dist-engine-src/src/tracked_state/context.rs +0 -2801
  251. package/dist-engine-src/src/tracked_state/diff.rs +0 -2140
  252. package/dist-engine-src/src/tracked_state/merge.rs +0 -478
  253. package/dist-engine-src/src/tracked_state/mod.rs +0 -35
  254. package/dist-engine-src/src/tracked_state/row_materialization.rs +0 -275
  255. package/dist-engine-src/src/tracked_state/storage.rs +0 -427
  256. package/dist-engine-src/src/tracked_state/tree.rs +0 -3063
  257. package/dist-engine-src/src/tracked_state/types.rs +0 -238
  258. package/dist-engine-src/src/transaction/bench_support.rs +0 -407
  259. package/dist-engine-src/src/transaction/commit.rs +0 -1592
  260. package/dist-engine-src/src/transaction/context.rs +0 -1653
  261. package/dist-engine-src/src/transaction/mod.rs +0 -24
  262. package/dist-engine-src/src/transaction/normalization.rs +0 -877
  263. package/dist-engine-src/src/transaction/prep.rs +0 -37
  264. package/dist-engine-src/src/transaction/schema_resolver.rs +0 -163
  265. package/dist-engine-src/src/transaction/staging.rs +0 -1525
  266. package/dist-engine-src/src/transaction/types.rs +0 -403
  267. package/dist-engine-src/src/transaction/validation.rs +0 -5766
  268. package/dist-engine-src/src/untracked_state/codec.rs +0 -615
  269. package/dist-engine-src/src/untracked_state/context.rs +0 -98
  270. package/dist-engine-src/src/untracked_state/materialization.rs +0 -63
  271. package/dist-engine-src/src/untracked_state/mod.rs +0 -15
  272. package/dist-engine-src/src/untracked_state/storage.rs +0 -898
  273. package/dist-engine-src/src/untracked_state/types.rs +0 -146
  274. package/dist-engine-src/src/wasm/mod.rs +0 -60
@@ -1,238 +0,0 @@
1
- use crate::entity_pk::EntityPk;
2
- use crate::json_store::JsonRef;
3
- use crate::{LixError, NullableKeyFilter};
4
-
5
- pub(crate) const TRACKED_STATE_HASH_BYTES: usize = 32;
6
-
7
- /// Content-addressed root id for one tracked-state commit-root tree.
8
- #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
9
- pub(crate) struct TrackedStateRootId([u8; TRACKED_STATE_HASH_BYTES]);
10
-
11
- impl TrackedStateRootId {
12
- pub(crate) fn new(bytes: [u8; TRACKED_STATE_HASH_BYTES]) -> Self {
13
- Self(bytes)
14
- }
15
-
16
- pub(crate) fn from_slice(bytes: &[u8]) -> Result<Self, LixError> {
17
- if bytes.len() != TRACKED_STATE_HASH_BYTES {
18
- return Err(LixError::new(
19
- "LIX_ERROR_UNKNOWN",
20
- format!(
21
- "tracked-state tree root id must be {TRACKED_STATE_HASH_BYTES} bytes, got {}",
22
- bytes.len()
23
- ),
24
- ));
25
- }
26
- let mut out = [0_u8; TRACKED_STATE_HASH_BYTES];
27
- out.copy_from_slice(bytes);
28
- Ok(Self(out))
29
- }
30
-
31
- pub(crate) fn as_bytes(&self) -> &[u8; TRACKED_STATE_HASH_BYTES] {
32
- &self.0
33
- }
34
- }
35
-
36
- /// Root-independent tracked entity primary key.
37
- #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
38
- pub(crate) struct TrackedStateKey {
39
- pub(crate) schema_key: String,
40
- pub(crate) file_id: Option<String>,
41
- pub(crate) entity_pk: EntityPk,
42
- }
43
-
44
- /// Zero-copy view of primary tracked-state key.
45
- #[derive(Debug, Clone, Copy)]
46
- pub(crate) struct TrackedStateKeyRef<'a> {
47
- pub(crate) schema_key: &'a str,
48
- pub(crate) file_id: Option<&'a str>,
49
- pub(crate) entity_pk: &'a EntityPk,
50
- }
51
-
52
- /// Zero-copy tracked-state commit-root delta prepared from changelog facts.
53
- #[derive(Debug, Clone, Copy)]
54
- pub(crate) struct TrackedStateDeltaRef<'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,
63
- pub(crate) created_at: &'a str,
64
- pub(crate) updated_at: &'a str,
65
- }
66
-
67
- /// Value stored in tracked-state commit-root trees.
68
- #[derive(Debug, Clone, PartialEq, Eq)]
69
- pub(crate) struct TrackedStateIndexValue {
70
- pub(crate) change_id: String,
71
- pub(crate) commit_id: String,
72
- pub(crate) deleted: bool,
73
- pub(crate) snapshot_ref: Option<JsonRef>,
74
- pub(crate) metadata_ref: Option<JsonRef>,
75
- pub(crate) created_at: String,
76
- pub(crate) updated_at: String,
77
- }
78
-
79
- /// Zero-copy view of a tracked-state commit-root value.
80
- #[derive(Debug, Clone, Copy)]
81
- pub(crate) struct TrackedStateIndexValueRef<'a> {
82
- pub(crate) change_id: &'a str,
83
- pub(crate) commit_id: &'a str,
84
- pub(crate) deleted: bool,
85
- pub(crate) snapshot_ref: Option<&'a JsonRef>,
86
- pub(crate) metadata_ref: Option<&'a JsonRef>,
87
- pub(crate) created_at: &'a str,
88
- pub(crate) updated_at: &'a str,
89
- }
90
-
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.
111
- ///
112
- /// Tracked rows are the serving state that can be rebuilt from changelog facts.
113
- /// They intentionally do not carry an `untracked` flag: untracked local overlay
114
- /// data belongs to `untracked_state`, and the serving `live_state` facade is
115
- /// responsible for combining both sources.
116
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
117
- pub(crate) struct MaterializedTrackedStateRow {
118
- pub(crate) entity_pk: EntityPk,
119
- pub(crate) schema_key: String,
120
- pub(crate) file_id: Option<String>,
121
- pub(crate) snapshot_content: Option<String>,
122
- pub(crate) metadata: Option<String>,
123
- pub(crate) deleted: bool,
124
- pub(crate) created_at: String,
125
- pub(crate) updated_at: String,
126
- pub(crate) change_id: String,
127
- pub(crate) commit_id: String,
128
- }
129
-
130
- /// Identity-centered filter for tracked-state scans.
131
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
132
- pub(crate) struct TrackedStateFilter {
133
- #[serde(default)]
134
- pub(crate) schema_keys: Vec<String>,
135
- #[serde(default)]
136
- pub(crate) entity_pks: Vec<EntityPk>,
137
- #[serde(default)]
138
- pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
139
- #[serde(default)]
140
- pub(crate) include_tombstones: bool,
141
- }
142
-
143
- /// Requested property set for a tracked-state scan.
144
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
145
- pub(crate) struct TrackedStateReadColumns {
146
- #[serde(default)]
147
- pub(crate) columns: Vec<String>,
148
- }
149
-
150
- /// Scan request for tracked-state commit roots.
151
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
152
- pub(crate) struct TrackedStateScanRequest {
153
- #[serde(default)]
154
- pub(crate) filter: TrackedStateFilter,
155
- #[serde(default)]
156
- pub(crate) read_columns: TrackedStateReadColumns,
157
- #[serde(default)]
158
- pub(crate) limit: Option<usize>,
159
- }
160
-
161
- #[derive(Debug, PartialEq, Eq)]
162
- pub(crate) struct TrackedStateMutation {
163
- pub(crate) encoded_key: Vec<u8>,
164
- pub(crate) encoded_value: Vec<u8>,
165
- }
166
-
167
- impl TrackedStateMutation {
168
- pub(crate) fn put_encoded(encoded_key: Vec<u8>, encoded_value: Vec<u8>) -> Self {
169
- Self {
170
- encoded_key,
171
- encoded_value,
172
- }
173
- }
174
- }
175
-
176
- #[derive(Debug, Clone, PartialEq, Eq)]
177
- pub(crate) struct TrackedStateTreeScanRequest {
178
- pub(crate) schema_keys: Vec<String>,
179
- pub(crate) entity_pks: Vec<EntityPk>,
180
- pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
181
- pub(crate) include_tombstones: bool,
182
- pub(crate) limit: Option<usize>,
183
- }
184
-
185
- impl Default for TrackedStateTreeScanRequest {
186
- fn default() -> Self {
187
- Self {
188
- schema_keys: Vec::new(),
189
- entity_pks: Vec::new(),
190
- file_ids: Vec::new(),
191
- include_tombstones: true,
192
- limit: None,
193
- }
194
- }
195
- }
196
-
197
- impl TrackedStateTreeScanRequest {
198
- pub(crate) fn matches(&self, key: &TrackedStateKey, value: &TrackedStateIndexValue) -> bool {
199
- if !self.include_tombstones && value.deleted {
200
- return false;
201
- }
202
- self.matches_key(key)
203
- }
204
-
205
- pub(crate) fn matches_key(&self, key: &TrackedStateKey) -> bool {
206
- if !self.schema_keys.is_empty() && !self.schema_keys.contains(&key.schema_key) {
207
- return false;
208
- }
209
- if !self.entity_pks.is_empty() && !self.entity_pks.contains(&key.entity_pk) {
210
- return false;
211
- }
212
- if !self.file_ids.is_empty()
213
- && !self.file_ids.iter().any(|filter| match filter {
214
- NullableKeyFilter::Any => true,
215
- NullableKeyFilter::Null => key.file_id.is_none(),
216
- NullableKeyFilter::Value(value) => key.file_id.as_ref() == Some(value),
217
- })
218
- {
219
- return false;
220
- }
221
- true
222
- }
223
- }
224
-
225
- #[derive(Debug, Clone, PartialEq, Eq)]
226
- pub(crate) struct TrackedStateApplyResult {
227
- pub(crate) root_id: TrackedStateRootId,
228
- pub(crate) row_count: usize,
229
- pub(crate) tree_height: usize,
230
- pub(crate) chunk_count: usize,
231
- pub(crate) chunk_bytes: usize,
232
- }
233
-
234
- #[derive(Debug, Clone, PartialEq, Eq)]
235
- pub(crate) struct TrackedStateTreeDiffEntry {
236
- pub(crate) before: Option<(TrackedStateKey, TrackedStateIndexValue)>,
237
- pub(crate) after: Option<(TrackedStateKey, TrackedStateIndexValue)>,
238
- }
@@ -1,407 +0,0 @@
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
- }