@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,275 +0,0 @@
1
- use crate::entity_pk::EntityPk;
2
- use crate::json_store::JsonRef;
3
- use crate::json_store::{JsonLoadRequestRef, JsonReadScopeRef, JsonStoreContext};
4
- use crate::storage::StorageRead;
5
- use crate::tracked_state::types::{TrackedStateIndexValue, TrackedStateKey};
6
- use crate::tracked_state::MaterializedTrackedStateRow;
7
- use crate::LixError;
8
-
9
- /// Materializes tracked-state index entries.
10
- ///
11
- /// The durable tracked_state value is authoritative for scalar materialization
12
- /// fields and stores the JSON refs needed for payload hydration. Snapshot and
13
- /// metadata bytes are hydrated from grouped json_store loads only when the
14
- /// requested materialization needs them.
15
- pub(crate) async fn materialize_rows_from_index_entries<S>(
16
- store: &S,
17
- entries: Vec<(TrackedStateKey, TrackedStateIndexValue)>,
18
- materialization: &TrackedRowMaterialization,
19
- ) -> Result<Vec<MaterializedTrackedStateRow>, LixError>
20
- where
21
- S: StorageRead + Send + Sync,
22
- {
23
- if !materialization.snapshot_content && !materialization.metadata {
24
- return Ok(entries
25
- .into_iter()
26
- .map(materialize_entry_without_json)
27
- .collect());
28
- }
29
-
30
- let json_slots_per_row =
31
- usize::from(materialization.snapshot_content) + usize::from(materialization.metadata);
32
- let json_ref_capacity = entries.len().saturating_mul(json_slots_per_row);
33
- let mut row_plans = Vec::with_capacity(entries.len());
34
- let mut json_refs = Vec::with_capacity(json_ref_capacity);
35
- let mut json_ref_localities = Vec::with_capacity(json_ref_capacity);
36
- for (key, value) in entries {
37
- let snapshot_ref_index = materialized_json_ref_index(
38
- materialization.snapshot_content,
39
- value.snapshot_ref,
40
- &mut json_refs,
41
- &mut json_ref_localities,
42
- );
43
- let metadata_ref_index = materialized_json_ref_index(
44
- materialization.metadata,
45
- value.metadata_ref,
46
- &mut json_refs,
47
- &mut json_ref_localities,
48
- );
49
- row_plans.push(TrackedRowMaterializationPlan {
50
- entity_pk: key.entity_pk,
51
- schema_key: key.schema_key,
52
- file_id: key.file_id,
53
- deleted: value.deleted,
54
- created_at: value.created_at,
55
- updated_at: value.updated_at,
56
- change_id: value.change_id,
57
- commit_id: value.commit_id,
58
- snapshot_ref_index,
59
- metadata_ref_index,
60
- });
61
- }
62
-
63
- let mut json_values =
64
- load_materialization_json_values(store, &json_refs, &json_ref_localities).await?;
65
- row_plans
66
- .into_iter()
67
- .map(|plan| materialize_row_plan(plan, &json_refs, &mut json_values))
68
- .collect()
69
- }
70
-
71
- fn materialize_entry_without_json(
72
- (key, value): (TrackedStateKey, TrackedStateIndexValue),
73
- ) -> MaterializedTrackedStateRow {
74
- MaterializedTrackedStateRow {
75
- entity_pk: key.entity_pk,
76
- schema_key: key.schema_key,
77
- file_id: key.file_id,
78
- snapshot_content: None,
79
- metadata: None,
80
- deleted: value.deleted,
81
- created_at: value.created_at,
82
- updated_at: value.updated_at,
83
- change_id: value.change_id,
84
- commit_id: value.commit_id,
85
- }
86
- }
87
-
88
- struct TrackedRowMaterializationPlan {
89
- entity_pk: EntityPk,
90
- schema_key: String,
91
- file_id: Option<String>,
92
- deleted: bool,
93
- created_at: String,
94
- updated_at: String,
95
- change_id: String,
96
- commit_id: String,
97
- snapshot_ref_index: Option<usize>,
98
- metadata_ref_index: Option<usize>,
99
- }
100
-
101
- fn materialized_json_ref_index(
102
- include: bool,
103
- json_ref: Option<JsonRef>,
104
- json_refs: &mut Vec<JsonRef>,
105
- json_ref_localities: &mut Vec<JsonRefLocality>,
106
- ) -> Option<usize> {
107
- if !include {
108
- return None;
109
- }
110
- let index = json_refs.len();
111
- json_refs.push(json_ref?);
112
- json_ref_localities.push(JsonRefLocality);
113
- Some(index)
114
- }
115
-
116
- struct JsonRefLocality;
117
-
118
- async fn load_materialization_json_values<S>(
119
- store: &S,
120
- json_refs: &[JsonRef],
121
- json_ref_localities: &[JsonRefLocality],
122
- ) -> Result<Vec<Option<Vec<u8>>>, LixError>
123
- where
124
- S: StorageRead + Send + Sync,
125
- {
126
- if json_refs.len() != json_ref_localities.len() {
127
- return Err(LixError::new(
128
- LixError::CODE_INTERNAL_ERROR,
129
- "tracked_state materialization JSON refs and locality indexes diverged",
130
- ));
131
- }
132
-
133
- let mut json_values = vec![None; json_refs.len()];
134
- let mut out_of_band_indexes = Vec::new();
135
- let mut out_of_band_refs = Vec::new();
136
- for (index, json_ref) in json_refs.iter().copied().enumerate() {
137
- let _locality = json_ref_localities.get(index).ok_or_else(|| {
138
- LixError::new(
139
- LixError::CODE_INTERNAL_ERROR,
140
- "tracked_state materialization lost JSON locality index",
141
- )
142
- })?;
143
- out_of_band_indexes.push(index);
144
- out_of_band_refs.push(json_ref);
145
- }
146
-
147
- if !out_of_band_refs.is_empty() {
148
- let values = JsonStoreContext::new()
149
- .load_bytes_many(
150
- store,
151
- JsonLoadRequestRef {
152
- refs: &out_of_band_refs,
153
- scope: JsonReadScopeRef::OutOfBand,
154
- },
155
- )
156
- .await?
157
- .into_values();
158
- for (index, value) in out_of_band_indexes.into_iter().zip(values) {
159
- if value.is_some() {
160
- json_values[index] = value;
161
- }
162
- }
163
- }
164
-
165
- Ok(json_values)
166
- }
167
-
168
- fn materialize_row_plan(
169
- plan: TrackedRowMaterializationPlan,
170
- json_refs: &[JsonRef],
171
- json_values: &mut [Option<Vec<u8>>],
172
- ) -> Result<MaterializedTrackedStateRow, LixError> {
173
- Ok(MaterializedTrackedStateRow {
174
- entity_pk: plan.entity_pk,
175
- schema_key: plan.schema_key,
176
- file_id: plan.file_id,
177
- snapshot_content: materialized_json_string(
178
- plan.snapshot_ref_index,
179
- json_refs,
180
- json_values,
181
- )?,
182
- metadata: materialized_json_string(plan.metadata_ref_index, json_refs, json_values)?,
183
- deleted: plan.deleted,
184
- created_at: plan.created_at,
185
- updated_at: plan.updated_at,
186
- change_id: plan.change_id,
187
- commit_id: plan.commit_id,
188
- })
189
- }
190
-
191
- fn materialized_json_string(
192
- index: Option<usize>,
193
- json_refs: &[JsonRef],
194
- json_values: &mut [Option<Vec<u8>>],
195
- ) -> Result<Option<String>, LixError> {
196
- let Some(index) = index else {
197
- return Ok(None);
198
- };
199
- let json_ref = json_refs.get(index).ok_or_else(|| {
200
- LixError::new(
201
- LixError::CODE_INTERNAL_ERROR,
202
- "tracked_state materialization lost JSON ref index",
203
- )
204
- })?;
205
- // Each row plan owns its materialized JSON slots. If this path starts
206
- // deduplicating refs, duplicate consumers must clone intentionally.
207
- let bytes = json_values
208
- .get_mut(index)
209
- .ok_or_else(|| {
210
- LixError::new(
211
- LixError::CODE_INTERNAL_ERROR,
212
- "tracked_state materialization lost JSON value index",
213
- )
214
- })?
215
- .take()
216
- .ok_or_else(|| {
217
- LixError::new(
218
- LixError::CODE_INTERNAL_ERROR,
219
- format!(
220
- "tracked_state materialization missing JSON payload '{}'",
221
- json_ref.to_hex()
222
- ),
223
- )
224
- })?;
225
- String::from_utf8(bytes).map(Some).map_err(|error| {
226
- let utf8_error = error.utf8_error();
227
- LixError::new(
228
- LixError::CODE_INTERNAL_ERROR,
229
- format!("tracked_state materialized JSON payload is not UTF-8: {utf8_error}"),
230
- )
231
- })
232
- }
233
-
234
- #[derive(Debug, Clone, Copy, PartialEq, Eq)]
235
- pub(crate) struct TrackedRowMaterialization {
236
- pub(crate) snapshot_content: bool,
237
- pub(crate) metadata: bool,
238
- }
239
-
240
- impl TrackedRowMaterialization {
241
- pub(crate) fn full() -> Self {
242
- Self {
243
- snapshot_content: true,
244
- metadata: true,
245
- }
246
- }
247
-
248
- pub(crate) fn from_columns(columns: &[String]) -> Self {
249
- if columns.is_empty() {
250
- return Self::full();
251
- }
252
- Self {
253
- snapshot_content: columns.iter().any(|column| column == "snapshot_content"),
254
- metadata: columns.iter().any(|column| column == "metadata"),
255
- }
256
- }
257
- }
258
-
259
- #[cfg(test)]
260
- mod tests {
261
- use super::*;
262
-
263
- #[test]
264
- fn materialized_json_string_consumes_owned_payload_bytes() {
265
- let json = br#"{"value":1}"#.to_vec();
266
- let json_ref = JsonRef::for_content(&json);
267
- let mut json_values = vec![Some(json)];
268
-
269
- let materialized = materialized_json_string(Some(0), &[json_ref], &mut json_values)
270
- .expect("json should materialize");
271
-
272
- assert_eq!(materialized, Some(r#"{"value":1}"#.to_string()));
273
- assert!(json_values[0].is_none());
274
- }
275
- }
@@ -1,427 +0,0 @@
1
- use std::collections::HashMap;
2
-
3
- use crate::storage::{PointReadPlan, StorageRead, StorageSpace, StorageWriteSet};
4
- use crate::storage::{
5
- StorageGetOptions, StorageKey, StorageProjectedValue, StorageSpaceId, StorageValue,
6
- };
7
- use crate::tracked_state::codec::PendingChunkWrite;
8
- use crate::tracked_state::types::{
9
- TrackedStateCommitRoot, TrackedStateCommitRootParent, TrackedStateRootId,
10
- TRACKED_STATE_HASH_BYTES,
11
- };
12
- use crate::LixError;
13
- use bytes::Bytes;
14
-
15
- pub(crate) const TRACKED_STATE_TREE_CHUNK_NAMESPACE: &'static str = "tracked_state.tree_chunk";
16
- pub(crate) const TRACKED_STATE_COMMIT_ROOT_NAMESPACE: &'static str = "tracked_state.commit_root";
17
- pub(crate) const TRACKED_STATE_TREE_CHUNK_SPACE: StorageSpace = StorageSpace::new(
18
- StorageSpaceId(0x0004_0001),
19
- TRACKED_STATE_TREE_CHUNK_NAMESPACE,
20
- );
21
- pub(crate) const TRACKED_STATE_COMMIT_ROOT_SPACE: StorageSpace = StorageSpace::new(
22
- StorageSpaceId(0x0004_0004),
23
- TRACKED_STATE_COMMIT_ROOT_NAMESPACE,
24
- );
25
-
26
- const COMMIT_ROOT_MAGIC: &[u8; 5] = b"LXTR1";
27
-
28
- async fn get_one(
29
- store: &(impl StorageRead + ?Sized),
30
- space: StorageSpace,
31
- key: Vec<u8>,
32
- ) -> Result<Option<Vec<u8>>, LixError> {
33
- let result = PointReadPlan::new(space, &[StorageKey(Bytes::from(key))])
34
- .materialize(store, StorageGetOptions::default())?;
35
- Ok(result
36
- .value
37
- .into_iter()
38
- .next()
39
- .flatten()
40
- .and_then(full_value))
41
- }
42
-
43
- pub(crate) async fn load_root(
44
- store: &(impl StorageRead + ?Sized),
45
- commit_id: &str,
46
- ) -> Result<Option<TrackedStateRootId>, LixError> {
47
- Ok(load_commit_root(store, commit_id)
48
- .await?
49
- .map(|metadata| metadata.root_id))
50
- }
51
-
52
- pub(crate) async fn load_commit_root(
53
- store: &(impl StorageRead + ?Sized),
54
- commit_id: &str,
55
- ) -> Result<Option<TrackedStateCommitRoot>, LixError> {
56
- let Some(bytes) = get_one(
57
- store,
58
- TRACKED_STATE_COMMIT_ROOT_SPACE,
59
- commit_id.as_bytes().to_vec(),
60
- )
61
- .await?
62
- else {
63
- return Ok(None);
64
- };
65
- let metadata = decode_commit_root(&bytes)?;
66
- if metadata.commit_id != commit_id {
67
- return Err(LixError::new(
68
- LixError::CODE_INTERNAL_ERROR,
69
- format!(
70
- "tracked_state commit_root key for commit '{commit_id}' contains root metadata for commit '{}'",
71
- metadata.commit_id
72
- ),
73
- ));
74
- }
75
- Ok(Some(metadata))
76
- }
77
-
78
- pub(crate) fn stage_commit_root(
79
- writes: &mut StorageWriteSet,
80
- metadata: &TrackedStateCommitRoot,
81
- ) -> Result<(), LixError> {
82
- writes.put(
83
- TRACKED_STATE_COMMIT_ROOT_SPACE,
84
- key(metadata.commit_id.as_bytes().to_vec()),
85
- value(encode_commit_root(metadata)?),
86
- );
87
- Ok(())
88
- }
89
-
90
- pub(crate) async fn read_chunk(
91
- store: &(impl StorageRead + ?Sized),
92
- hash: &[u8; TRACKED_STATE_HASH_BYTES],
93
- ) -> Result<Option<Vec<u8>>, LixError> {
94
- get_one(store, TRACKED_STATE_TREE_CHUNK_SPACE, hash.to_vec()).await
95
- }
96
-
97
- pub(crate) fn verify_chunk_hash(
98
- expected: &[u8; TRACKED_STATE_HASH_BYTES],
99
- bytes: &[u8],
100
- ) -> Result<(), LixError> {
101
- let actual = crate::tracked_state::codec::hash_bytes(bytes);
102
- if &actual != expected {
103
- return Err(LixError::new(
104
- "LIX_ERROR_UNKNOWN",
105
- "tracked-state chunk hash mismatch",
106
- ));
107
- }
108
- Ok(())
109
- }
110
-
111
- pub(crate) fn stage_chunks(writes: &mut StorageWriteSet, chunks: &[PendingChunkWrite]) {
112
- for chunk in chunks {
113
- writes.put(
114
- TRACKED_STATE_TREE_CHUNK_SPACE,
115
- key(chunk.hash.to_vec()),
116
- value(chunk.data.clone()),
117
- );
118
- }
119
- }
120
-
121
- #[derive(Debug, Default)]
122
- pub(crate) struct TrackedStateChunkOverlay {
123
- chunks: HashMap<[u8; TRACKED_STATE_HASH_BYTES], Vec<u8>>,
124
- }
125
-
126
- impl TrackedStateChunkOverlay {
127
- pub(crate) fn new() -> Self {
128
- Self::default()
129
- }
130
-
131
- pub(crate) async fn read_chunk(
132
- &self,
133
- store: &(impl StorageRead + ?Sized),
134
- hash: &[u8; TRACKED_STATE_HASH_BYTES],
135
- ) -> Result<Option<Vec<u8>>, LixError> {
136
- if let Some(bytes) = self.chunks.get(hash) {
137
- return Ok(Some(bytes.clone()));
138
- }
139
- read_chunk(store, hash).await
140
- }
141
-
142
- pub(crate) fn stage_chunks(
143
- &mut self,
144
- writes: &mut StorageWriteSet,
145
- chunks: &[PendingChunkWrite],
146
- ) {
147
- for chunk in chunks {
148
- self.chunks.insert(chunk.hash, chunk.data.clone());
149
- }
150
- stage_chunks(writes, chunks);
151
- }
152
- }
153
-
154
- fn key(bytes: Vec<u8>) -> StorageKey {
155
- StorageKey(Bytes::from(bytes))
156
- }
157
-
158
- fn value(bytes: Vec<u8>) -> StorageValue {
159
- StorageValue {
160
- bytes: Bytes::from(bytes),
161
- }
162
- }
163
-
164
- fn full_value(value: StorageProjectedValue) -> Option<Vec<u8>> {
165
- match value {
166
- StorageProjectedValue::FullValue(bytes) => Some(bytes.to_vec()),
167
- StorageProjectedValue::KeyOnly => None,
168
- }
169
- }
170
-
171
- fn encode_commit_root(metadata: &TrackedStateCommitRoot) -> Result<Vec<u8>, LixError> {
172
- let mut out = Vec::new();
173
- out.extend_from_slice(COMMIT_ROOT_MAGIC);
174
- write_string(&mut out, &metadata.commit_id)?;
175
- out.extend_from_slice(metadata.root_id.as_bytes());
176
- write_u32(&mut out, metadata.parent_roots.len(), "parent root count")?;
177
- for parent in &metadata.parent_roots {
178
- write_string(&mut out, &parent.commit_id)?;
179
- out.extend_from_slice(parent.root_id.as_bytes());
180
- }
181
- out.extend_from_slice(&metadata.changed_key_count.to_le_bytes());
182
- out.extend_from_slice(&metadata.row_count_estimate.to_le_bytes());
183
- out.extend_from_slice(&metadata.tree_height.to_le_bytes());
184
- out.extend_from_slice(&metadata.primary_chunk_count.to_le_bytes());
185
- out.extend_from_slice(&metadata.primary_chunk_bytes.to_le_bytes());
186
- Ok(out)
187
- }
188
-
189
- fn decode_commit_root(bytes: &[u8]) -> Result<TrackedStateCommitRoot, LixError> {
190
- let mut cursor = CommitRootCursor { bytes, offset: 0 };
191
- cursor.expect_magic()?;
192
- let commit_id = cursor.read_string("commit_id")?;
193
- let root_id = cursor.read_root_id("root_id")?;
194
- let parent_count = cursor.read_u32("parent root count")? as usize;
195
- let mut parent_roots = Vec::with_capacity(parent_count);
196
- for _ in 0..parent_count {
197
- parent_roots.push(TrackedStateCommitRootParent {
198
- commit_id: cursor.read_string("parent commit_id")?,
199
- root_id: cursor.read_root_id("parent root_id")?,
200
- });
201
- }
202
- let changed_key_count = cursor.read_u64("changed_key_count")?;
203
- let row_count_estimate = cursor.read_u64("row_count_estimate")?;
204
- let tree_height = cursor.read_u32("tree_height")?;
205
- let primary_chunk_count = cursor.read_u64("primary_chunk_count")?;
206
- let primary_chunk_bytes = cursor.read_u64("primary_chunk_bytes")?;
207
- cursor.expect_end()?;
208
- Ok(TrackedStateCommitRoot {
209
- commit_id,
210
- root_id,
211
- parent_roots,
212
- changed_key_count,
213
- row_count_estimate,
214
- tree_height,
215
- primary_chunk_count,
216
- primary_chunk_bytes,
217
- })
218
- }
219
-
220
- fn write_string(out: &mut Vec<u8>, value: &str) -> Result<(), LixError> {
221
- write_u32(out, value.len(), "string length")?;
222
- out.extend_from_slice(value.as_bytes());
223
- Ok(())
224
- }
225
-
226
- fn write_u32(out: &mut Vec<u8>, value: usize, field: &str) -> Result<(), LixError> {
227
- let value = u32::try_from(value).map_err(|_| {
228
- LixError::new(
229
- LixError::CODE_INTERNAL_ERROR,
230
- format!("tracked_state commit root metadata {field} exceeds u32"),
231
- )
232
- })?;
233
- out.extend_from_slice(&value.to_le_bytes());
234
- Ok(())
235
- }
236
-
237
- struct CommitRootCursor<'a> {
238
- bytes: &'a [u8],
239
- offset: usize,
240
- }
241
-
242
- impl CommitRootCursor<'_> {
243
- fn expect_magic(&mut self) -> Result<(), LixError> {
244
- let magic = self.read_exact(COMMIT_ROOT_MAGIC.len(), "magic")?;
245
- if magic != COMMIT_ROOT_MAGIC {
246
- return Err(LixError::new(
247
- LixError::CODE_INTERNAL_ERROR,
248
- "failed to decode tracked_state commit_root: bad magic",
249
- ));
250
- }
251
- Ok(())
252
- }
253
-
254
- fn expect_end(&self) -> Result<(), LixError> {
255
- if self.offset != self.bytes.len() {
256
- return Err(LixError::new(
257
- LixError::CODE_INTERNAL_ERROR,
258
- "failed to decode tracked_state commit_root: trailing bytes",
259
- ));
260
- }
261
- Ok(())
262
- }
263
-
264
- fn read_string(&mut self, field: &str) -> Result<String, LixError> {
265
- let len = self.read_u32(field)? as usize;
266
- let bytes = self.read_exact(len, field)?;
267
- String::from_utf8(bytes.to_vec()).map_err(|error| {
268
- LixError::new(
269
- LixError::CODE_INTERNAL_ERROR,
270
- format!("failed to decode tracked_state commit_root {field}: {error}"),
271
- )
272
- })
273
- }
274
-
275
- fn read_root_id(&mut self, field: &str) -> Result<TrackedStateRootId, LixError> {
276
- let bytes = self.read_exact(TRACKED_STATE_HASH_BYTES, field)?;
277
- TrackedStateRootId::from_slice(bytes)
278
- }
279
-
280
- fn read_u32(&mut self, field: &str) -> Result<u32, LixError> {
281
- let bytes = self.read_exact(std::mem::size_of::<u32>(), field)?;
282
- Ok(u32::from_le_bytes(bytes.try_into().expect("fixed u32")))
283
- }
284
-
285
- fn read_u64(&mut self, field: &str) -> Result<u64, LixError> {
286
- let bytes = self.read_exact(std::mem::size_of::<u64>(), field)?;
287
- Ok(u64::from_le_bytes(bytes.try_into().expect("fixed u64")))
288
- }
289
-
290
- fn read_exact(&mut self, len: usize, field: &str) -> Result<&[u8], LixError> {
291
- let end = self.offset.checked_add(len).ok_or_else(|| {
292
- LixError::new(
293
- LixError::CODE_INTERNAL_ERROR,
294
- format!("failed to decode tracked_state commit_root {field}: overflow"),
295
- )
296
- })?;
297
- if end > self.bytes.len() {
298
- return Err(LixError::new(
299
- LixError::CODE_INTERNAL_ERROR,
300
- format!("failed to decode tracked_state commit_root {field}: truncated"),
301
- ));
302
- }
303
- let out = &self.bytes[self.offset..end];
304
- self.offset = end;
305
- Ok(out)
306
- }
307
- }
308
-
309
- #[cfg(test)]
310
- mod tests {
311
- use std::collections::BTreeMap;
312
- use std::fs;
313
- use std::path::{Path, PathBuf};
314
-
315
- use crate::binary_cas::kv::{
316
- BINARY_CAS_CHUNK_SPACE, BINARY_CAS_MANIFEST_CHUNK_SPACE, BINARY_CAS_MANIFEST_SPACE,
317
- };
318
- use crate::changelog::{CHANGE_SPACE, COMMIT_CHANGE_REF_CHUNK_SPACE, COMMIT_SPACE};
319
- use crate::json_store::store::JSON_SPACE;
320
- use crate::untracked_state::storage::UNTRACKED_STATE_ROW_SPACE;
321
-
322
- use super::{TRACKED_STATE_COMMIT_ROOT_SPACE, TRACKED_STATE_TREE_CHUNK_SPACE};
323
-
324
- #[test]
325
- fn native_storage_space_ids_are_unique_across_owner_layouts() {
326
- let spaces = [
327
- UNTRACKED_STATE_ROW_SPACE,
328
- JSON_SPACE,
329
- TRACKED_STATE_TREE_CHUNK_SPACE,
330
- TRACKED_STATE_COMMIT_ROOT_SPACE,
331
- BINARY_CAS_MANIFEST_SPACE,
332
- BINARY_CAS_MANIFEST_CHUNK_SPACE,
333
- BINARY_CAS_CHUNK_SPACE,
334
- COMMIT_SPACE,
335
- CHANGE_SPACE,
336
- COMMIT_CHANGE_REF_CHUNK_SPACE,
337
- ];
338
- let mut seen = BTreeMap::new();
339
- for space in spaces {
340
- assert_eq!(
341
- seen.insert(space.id, space.name),
342
- None,
343
- "storage space id {:?} is reused by {} and {}",
344
- space.id,
345
- seen.get(&space.id).copied().unwrap_or(space.name),
346
- space.name
347
- );
348
- }
349
- }
350
-
351
- #[test]
352
- fn production_tracked_state_sources_do_not_call_storage_batch_writer() {
353
- let tracked_state_dir = Path::new(env!("CARGO_MANIFEST_DIR")).join("src/tracked_state");
354
- let forbidden = ["write", "kv", "batch"].join("_");
355
-
356
- for path in rust_sources(&tracked_state_dir) {
357
- let source =
358
- fs::read_to_string(&path).expect("tracked_state source should be readable");
359
- for (line_number, line) in production_lines(&source) {
360
- assert!(
361
- !line.contains(&forbidden),
362
- "production tracked_state source must stage into StorageWriteSet instead of calling {forbidden}: {}:{}",
363
- path.display(),
364
- line_number
365
- );
366
- }
367
- }
368
- }
369
-
370
- fn rust_sources(dir: &Path) -> Vec<PathBuf> {
371
- let mut sources = Vec::new();
372
- for entry in fs::read_dir(dir).expect("tracked_state source dir should be readable") {
373
- let path = entry
374
- .expect("tracked_state source entry should be readable")
375
- .path();
376
- if path.is_dir() {
377
- sources.extend(rust_sources(&path));
378
- } else if path.extension().and_then(|extension| extension.to_str()) == Some("rs") {
379
- sources.push(path);
380
- }
381
- }
382
- sources
383
- }
384
-
385
- fn production_lines(source: &str) -> Vec<(usize, &str)> {
386
- let mut lines = Vec::new();
387
- let mut skipping_cfg_test_item = false;
388
- let mut pending_cfg_test = false;
389
- let mut item_started = false;
390
- let mut brace_depth = 0i32;
391
-
392
- for (index, line) in source.lines().enumerate() {
393
- let trimmed = line.trim();
394
- if trimmed == "#[cfg(test)]" {
395
- pending_cfg_test = true;
396
- continue;
397
- }
398
-
399
- if pending_cfg_test || skipping_cfg_test_item {
400
- if pending_cfg_test && !item_started && trimmed.ends_with(';') {
401
- pending_cfg_test = false;
402
- continue;
403
- }
404
- let opens = line.matches('{').count() as i32;
405
- let closes = line.matches('}').count() as i32;
406
- if opens > 0 {
407
- item_started = true;
408
- skipping_cfg_test_item = true;
409
- }
410
- if item_started {
411
- brace_depth += opens - closes;
412
- if brace_depth <= 0 {
413
- pending_cfg_test = false;
414
- skipping_cfg_test_item = false;
415
- item_started = false;
416
- brace_depth = 0;
417
- }
418
- }
419
- continue;
420
- }
421
-
422
- lines.push((index + 1, line));
423
- }
424
-
425
- lines
426
- }
427
- }