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

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,402 +0,0 @@
1
- use serde_json::Value as JsonValue;
2
-
3
- use crate::common::json_pointer_get;
4
- use crate::LixError;
5
-
6
- /// Logical entity primary key derived from a schema primary key.
7
- ///
8
- /// Keep this as typed tuple data inside engine. SQL `entity_pk` surfaces
9
- /// should use the JSON-array projection.
10
- #[derive(
11
- Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash, serde::Serialize, serde::Deserialize,
12
- )]
13
- pub(crate) struct EntityPk {
14
- pub(crate) parts: Vec<String>,
15
- }
16
-
17
- #[derive(Debug, Clone, PartialEq, Eq)]
18
- pub(crate) enum EntityPkError {
19
- EmptyPrimaryKey,
20
- EmptyPrimaryKeyPath { index: usize },
21
- MissingPrimaryKeyValue { index: usize },
22
- UnsupportedPrimaryKeyValue { index: usize },
23
- InvalidEncodedEntityPk,
24
- }
25
-
26
- impl std::fmt::Display for EntityPkError {
27
- fn fmt(&self, formatter: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
28
- match self {
29
- Self::EmptyPrimaryKey => {
30
- write!(formatter, "primary key must contain at least one path")
31
- }
32
- Self::EmptyPrimaryKeyPath { index } => {
33
- write!(
34
- formatter,
35
- "primary-key path at index {index} must not be empty"
36
- )
37
- }
38
- Self::MissingPrimaryKeyValue { index } => {
39
- write!(formatter, "primary-key value at index {index} is missing")
40
- }
41
- Self::UnsupportedPrimaryKeyValue { index } => write!(
42
- formatter,
43
- "primary-key value at index {index} must be a JSON string"
44
- ),
45
- Self::InvalidEncodedEntityPk => {
46
- write!(
47
- formatter,
48
- "encoded entity primary key must be a non-empty JSON array of strings"
49
- )
50
- }
51
- }
52
- }
53
- }
54
-
55
- impl EntityPk {
56
- pub(crate) fn single(value: impl Into<String>) -> Self {
57
- Self {
58
- parts: vec![value.into()],
59
- }
60
- }
61
-
62
- pub(crate) fn from_parts(parts: Vec<String>) -> Result<Self, EntityPkError> {
63
- validate_parts(&parts)?;
64
- Ok(Self { parts })
65
- }
66
-
67
- #[cfg(test)]
68
- pub(crate) fn tuple(parts: Vec<String>) -> Result<Self, EntityPkError> {
69
- Self::from_parts(parts)
70
- }
71
-
72
- pub(crate) fn from_primary_key_paths(
73
- snapshot: &JsonValue,
74
- primary_key_paths: &[Vec<String>],
75
- ) -> Result<Self, EntityPkError> {
76
- if primary_key_paths.is_empty() {
77
- return Err(EntityPkError::EmptyPrimaryKey);
78
- }
79
-
80
- let mut parts = Vec::with_capacity(primary_key_paths.len());
81
- for (index, path) in primary_key_paths.iter().enumerate() {
82
- if path.is_empty() {
83
- return Err(EntityPkError::EmptyPrimaryKeyPath { index });
84
- }
85
- let Some(value) = json_pointer_get(snapshot, path) else {
86
- return Err(EntityPkError::MissingPrimaryKeyValue { index });
87
- };
88
- parts.push(string_part_from_json_value(value, index)?);
89
- }
90
-
91
- Ok(Self { parts })
92
- }
93
-
94
- pub(crate) fn as_json_array_value(&self) -> Result<JsonValue, LixError> {
95
- if self.parts.is_empty() {
96
- return Err(LixError::unknown(
97
- "entity primary key must contain at least one primary-key part",
98
- ));
99
- }
100
-
101
- Ok(JsonValue::Array(
102
- self.parts
103
- .iter()
104
- .map(|part| JsonValue::String(part.clone()))
105
- .collect(),
106
- ))
107
- }
108
-
109
- pub(crate) fn as_json_array_text(&self) -> Result<String, LixError> {
110
- serde_json::to_string(&self.as_json_array_value()?).map_err(|error| {
111
- LixError::unknown(format!("failed to encode entity pk as JSON: {error}"))
112
- })
113
- }
114
-
115
- pub(crate) fn as_single_string(&self) -> Result<&str, LixError> {
116
- if self.parts.is_empty() {
117
- return Err(LixError::unknown(
118
- "entity primary key must contain at least one primary-key part",
119
- ));
120
- }
121
-
122
- if let [value] = self.parts.as_slice() {
123
- return Ok(value.as_str());
124
- }
125
-
126
- Err(LixError::unknown(
127
- "entity primary key is not a single string primary-key tuple",
128
- ))
129
- }
130
-
131
- pub(crate) fn as_single_string_owned(&self) -> Result<String, LixError> {
132
- Ok(self.as_single_string()?.to_owned())
133
- }
134
-
135
- pub(crate) fn from_json_array_text(entity_pk: &str) -> Result<Self, EntityPkError> {
136
- let value = serde_json::from_str::<JsonValue>(entity_pk)
137
- .map_err(|_| EntityPkError::InvalidEncodedEntityPk)?;
138
- Self::from_json_array_value(&value)
139
- }
140
-
141
- pub(crate) fn from_json_array_value(entity_pk: &JsonValue) -> Result<Self, EntityPkError> {
142
- let JsonValue::Array(values) = entity_pk else {
143
- return Err(EntityPkError::InvalidEncodedEntityPk);
144
- };
145
- if values.is_empty() {
146
- return Err(EntityPkError::EmptyPrimaryKey);
147
- }
148
-
149
- let mut parts = Vec::with_capacity(values.len());
150
- for (index, value) in values.iter().enumerate() {
151
- parts.push(string_part_from_json_value(value, index)?);
152
- }
153
- Ok(Self { parts })
154
- }
155
- }
156
-
157
- fn validate_parts(parts: &[String]) -> Result<(), EntityPkError> {
158
- if parts.is_empty() {
159
- return Err(EntityPkError::EmptyPrimaryKey);
160
- }
161
- Ok(())
162
- }
163
-
164
- fn string_part_from_json_value(value: &JsonValue, index: usize) -> Result<String, EntityPkError> {
165
- match value {
166
- JsonValue::String(value) => Ok(value.clone()),
167
- _ => Err(EntityPkError::UnsupportedPrimaryKeyValue { index }),
168
- }
169
- }
170
-
171
- pub(crate) fn canonical_json_text(value: &JsonValue) -> serde_json::Result<String> {
172
- serde_json::to_string(&canonical_json_value(value))
173
- }
174
-
175
- fn canonical_json_value(value: &JsonValue) -> JsonValue {
176
- match value {
177
- JsonValue::Array(values) => {
178
- JsonValue::Array(values.iter().map(canonical_json_value).collect())
179
- }
180
- JsonValue::Object(object) => {
181
- let mut entries = object.iter().collect::<Vec<_>>();
182
- entries.sort_by(|(left, _), (right, _)| left.cmp(right));
183
-
184
- let mut canonical = serde_json::Map::new();
185
- for (key, value) in entries {
186
- canonical.insert(key.clone(), canonical_json_value(value));
187
- }
188
- JsonValue::Object(canonical)
189
- }
190
- _ => value.clone(),
191
- }
192
- }
193
-
194
- #[cfg(test)]
195
- mod tests {
196
- use serde_json::json;
197
-
198
- use super::*;
199
-
200
- #[test]
201
- fn single_string_identity_projects_to_single_string() {
202
- let identity = EntityPk::single("plain-id");
203
-
204
- assert_eq!(
205
- identity.as_single_string().expect("projection should work"),
206
- "plain-id"
207
- );
208
- }
209
-
210
- #[test]
211
- fn single_identity_projects_to_json_array_entity_pk() {
212
- let identity = EntityPk::single("plain-id");
213
-
214
- assert_eq!(
215
- identity
216
- .as_json_array_text()
217
- .expect("projection should work"),
218
- "[\"plain-id\"]"
219
- );
220
- }
221
-
222
- #[test]
223
- fn composite_identity_projects_to_json_array_entity_pk() {
224
- let identity = EntityPk::tuple(vec!["namespace".to_string(), "42".to_string()])
225
- .expect("tuple identity");
226
-
227
- assert_eq!(
228
- identity
229
- .as_json_array_text()
230
- .expect("projection should work"),
231
- "[\"namespace\",\"42\"]"
232
- );
233
- }
234
-
235
- #[test]
236
- fn entity_pk_json_array_roundtrips() {
237
- let identity = EntityPk::tuple(vec!["namespace".to_string(), "42".to_string()])
238
- .expect("tuple identity");
239
- let encoded = identity
240
- .as_json_array_text()
241
- .expect("projection should work");
242
-
243
- assert_eq!(
244
- EntityPk::from_json_array_text(&encoded).expect("decode should work"),
245
- identity
246
- );
247
- }
248
-
249
- #[test]
250
- fn entity_pk_json_array_allows_empty_string_part() {
251
- assert_eq!(
252
- EntityPk::from_json_array_text("[\"\"]").expect("empty string is a valid part"),
253
- EntityPk::single("")
254
- );
255
- }
256
-
257
- #[test]
258
- fn tuple_allows_empty_string_part() {
259
- assert_eq!(
260
- EntityPk::tuple(vec!["namespace".to_string(), "".to_string()])
261
- .expect("empty string is a valid part"),
262
- EntityPk {
263
- parts: vec!["namespace".to_string(), "".to_string()],
264
- }
265
- );
266
- }
267
-
268
- #[test]
269
- fn entity_pk_json_array_does_not_collide_on_delimiter_like_values() {
270
- let left =
271
- EntityPk::tuple(vec!["a~b".to_string(), "c".to_string()]).expect("left tuple identity");
272
- let right = EntityPk::tuple(vec!["a".to_string(), "b~c".to_string()])
273
- .expect("right tuple identity");
274
-
275
- assert_ne!(
276
- left.as_json_array_text().expect("left should encode"),
277
- right.as_json_array_text().expect("right should encode")
278
- );
279
- }
280
-
281
- #[test]
282
- fn composite_identity_rejects_single_string_projection() {
283
- let identity = EntityPk::tuple(vec!["namespace".to_string(), "42".to_string()])
284
- .expect("tuple identity");
285
-
286
- assert!(identity.as_single_string().is_err());
287
- }
288
-
289
- #[test]
290
- fn composite_identity_does_not_collide_on_delimiter_like_values() {
291
- let left =
292
- EntityPk::tuple(vec!["a~b".to_string(), "1".to_string()]).expect("left tuple identity");
293
- let right = EntityPk::tuple(vec!["a".to_string(), "b~1".to_string()])
294
- .expect("right tuple identity");
295
-
296
- assert_ne!(
297
- left.as_json_array_text().expect("left should encode"),
298
- right.as_json_array_text().expect("right should encode")
299
- );
300
- }
301
-
302
- #[test]
303
- fn from_primary_key_paths_derives_ordered_parts() {
304
- let snapshot = json!({
305
- "namespace": "messages",
306
- "locale": "en"
307
- });
308
-
309
- let identity = EntityPk::from_primary_key_paths(
310
- &snapshot,
311
- &[vec!["namespace".to_string()], vec!["locale".to_string()]],
312
- )
313
- .expect("primary key should derive");
314
-
315
- assert_eq!(
316
- identity,
317
- EntityPk {
318
- parts: vec!["messages".to_string(), "en".to_string()],
319
- }
320
- );
321
- }
322
-
323
- #[test]
324
- fn entity_pk_json_array_rejects_non_string_parts() {
325
- assert_eq!(
326
- EntityPk::from_json_array_text("[\"namespace\",42]"),
327
- Err(EntityPkError::UnsupportedPrimaryKeyValue { index: 1 })
328
- );
329
- assert_eq!(
330
- EntityPk::from_json_array_text("[\"namespace\",null]"),
331
- Err(EntityPkError::UnsupportedPrimaryKeyValue { index: 1 })
332
- );
333
- assert_eq!(
334
- EntityPk::from_json_array_text("[[\"nested\"]]"),
335
- Err(EntityPkError::UnsupportedPrimaryKeyValue { index: 0 })
336
- );
337
- }
338
-
339
- #[test]
340
- fn from_primary_key_paths_rejects_non_string_parts() {
341
- let snapshot = json!({
342
- "namespace": "messages",
343
- "index": 7
344
- });
345
-
346
- assert_eq!(
347
- EntityPk::from_primary_key_paths(
348
- &snapshot,
349
- &[vec!["namespace".to_string()], vec!["index".to_string()],],
350
- ),
351
- Err(EntityPkError::UnsupportedPrimaryKeyValue { index: 1 })
352
- );
353
- }
354
-
355
- #[test]
356
- fn from_primary_key_paths_allows_empty_string_parts() {
357
- let snapshot = json!({
358
- "namespace": "messages",
359
- "id": ""
360
- });
361
-
362
- assert_eq!(
363
- EntityPk::from_primary_key_paths(
364
- &snapshot,
365
- &[vec!["namespace".to_string()], vec!["id".to_string()],],
366
- )
367
- .expect("empty string is a valid primary-key value"),
368
- EntityPk {
369
- parts: vec!["messages".to_string(), "".to_string()],
370
- }
371
- );
372
- }
373
-
374
- #[test]
375
- fn from_primary_key_paths_rejects_nested_json_parts() {
376
- let snapshot = json!({
377
- "entity_pk": ["welcome.title", "en"],
378
- "schema_key": "message"
379
- });
380
-
381
- assert_eq!(
382
- EntityPk::from_primary_key_paths(
383
- &snapshot,
384
- &[
385
- vec!["entity_pk".to_string()],
386
- vec!["schema_key".to_string()],
387
- ],
388
- ),
389
- Err(EntityPkError::UnsupportedPrimaryKeyValue { index: 0 })
390
- );
391
- }
392
-
393
- #[test]
394
- fn from_primary_key_paths_rejects_missing_parts() {
395
- let snapshot = json!({ "id": "a" });
396
-
397
- assert_eq!(
398
- EntityPk::from_primary_key_paths(&snapshot, &[vec!["missing".to_string()]]),
399
- Err(EntityPkError::MissingPrimaryKeyValue { index: 0 })
400
- );
401
- }
402
- }
@@ -1,296 +0,0 @@
1
- use crate::functions::{
2
- state, DeterministicFunctionProvider, DeterministicSequence, FunctionProvider,
3
- FunctionProviderHandle, SharedFunctionProvider, SystemFunctionProvider,
4
- };
5
- use crate::live_state::LiveStateReader;
6
- use crate::storage::StorageWriteSet;
7
- use crate::LixError;
8
-
9
- /// Execution-scoped runtime function context.
10
- ///
11
- /// Lower layers should only receive function providers. This context owns the
12
- /// lifecycle at the session/transaction boundary: prepare the right function
13
- /// source before execution and persist deterministic sequence progress after
14
- /// successful execution.
15
- pub(crate) struct FunctionContext {
16
- functions: FunctionProviderHandle,
17
- bookkeeping_timestamp: String,
18
- }
19
-
20
- impl FunctionContext {
21
- /// Prepares the runtime function provider for one execution.
22
- ///
23
- /// If deterministic mode is absent or disabled, the context uses system
24
- /// functions. If enabled, it starts from the persisted sequence + 1.
25
- pub(crate) async fn prepare(live_state: &dyn LiveStateReader) -> Result<Self, LixError> {
26
- let mode = state::load_mode(live_state).await?;
27
- let mut bookkeeping_functions = SystemFunctionProvider;
28
- let bookkeeping_timestamp = bookkeeping_functions.timestamp();
29
- if !mode.enabled {
30
- return Ok(Self {
31
- functions: SharedFunctionProvider::new(
32
- Box::new(SystemFunctionProvider) as Box<dyn FunctionProvider + Send>
33
- ),
34
- bookkeeping_timestamp,
35
- });
36
- }
37
-
38
- let sequence = state::load_sequence(live_state).await?;
39
- Ok(Self {
40
- functions: SharedFunctionProvider::new(Box::new(DeterministicFunctionProvider::new(
41
- sequence.next_sequence(),
42
- mode.timestamp_shuffle,
43
- ))
44
- as Box<dyn FunctionProvider + Send>),
45
- bookkeeping_timestamp,
46
- })
47
- }
48
-
49
- /// Returns the engine-owned provider used by SQL and transaction staging.
50
- pub(crate) fn provider(&self) -> FunctionProviderHandle {
51
- self.functions.clone()
52
- }
53
-
54
- /// Persists deterministic sequence progress if this execution used any.
55
- ///
56
- /// System functions report no sequence state, so this is a no-op when
57
- /// deterministic mode is disabled.
58
- pub(crate) async fn stage_persist_if_needed(
59
- &self,
60
- writes: &mut StorageWriteSet,
61
- ) -> Result<(), LixError> {
62
- let Some(highest_seen) = self.functions.deterministic_sequence_persist_highest_seen()
63
- else {
64
- return Ok(());
65
- };
66
- state::stage_sequence(
67
- writes,
68
- DeterministicSequence { highest_seen },
69
- &self.bookkeeping_timestamp,
70
- )
71
- .await
72
- }
73
- }
74
-
75
- #[cfg(test)]
76
- mod tests {
77
- use crate::functions::state::{DETERMINISTIC_MODE_KEY, DETERMINISTIC_SEQUENCE_KEY};
78
- use crate::functions::{state::load_sequence, DeterministicSequence};
79
- use crate::live_state::LiveStateContext;
80
- use crate::storage::StorageContext;
81
- use crate::storage::{InMemoryStorageBackend, StorageReadOptions, StorageWriteOptions};
82
- use crate::GLOBAL_BRANCH_ID;
83
-
84
- use super::*;
85
-
86
- fn live_state_context() -> LiveStateContext {
87
- LiveStateContext::new(
88
- crate::tracked_state::TrackedStateContext::new(),
89
- crate::untracked_state::UntrackedStateContext::new(),
90
- crate::commit_graph::CommitGraphContext::new(),
91
- )
92
- }
93
-
94
- #[tokio::test]
95
- async fn prepare_uses_system_functions_when_mode_missing() {
96
- let storage = StorageContext::new(InMemoryStorageBackend::new());
97
- let live_state = live_state_context();
98
- let reader = live_state.reader(
99
- storage
100
- .begin_read(StorageReadOptions::default())
101
- .expect("read should open"),
102
- );
103
-
104
- let context = FunctionContext::prepare(&reader)
105
- .await
106
- .expect("runtime context should prepare");
107
-
108
- assert_eq!(
109
- context
110
- .provider()
111
- .deterministic_sequence_persist_highest_seen(),
112
- None
113
- );
114
- }
115
-
116
- #[tokio::test]
117
- async fn prepare_starts_deterministic_functions_at_sequence_zero() {
118
- let storage = StorageContext::new(InMemoryStorageBackend::new());
119
- let live_state = live_state_context();
120
- crate::test_support::seed_global_branch_head(storage.clone()).await;
121
- write_key_value(
122
- storage.clone(),
123
- DETERMINISTIC_MODE_KEY,
124
- serde_json::json!({
125
- "enabled": true,
126
- }),
127
- )
128
- .await;
129
-
130
- let reader = live_state.reader(
131
- storage
132
- .begin_read(StorageReadOptions::default())
133
- .expect("read should open"),
134
- );
135
- let context = FunctionContext::prepare(&reader)
136
- .await
137
- .expect("runtime context should prepare");
138
- let functions = context.provider();
139
-
140
- assert_eq!(
141
- functions.call_uuid_v7(),
142
- "01920000-0000-7000-8000-000000000000"
143
- );
144
- assert_eq!(functions.call_timestamp(), "1970-01-01T00:00:00.001Z");
145
- assert_eq!(
146
- context
147
- .provider()
148
- .deterministic_sequence_persist_highest_seen(),
149
- Some(1)
150
- );
151
- }
152
-
153
- #[tokio::test]
154
- async fn prepare_continues_from_persisted_sequence() {
155
- let storage = StorageContext::new(InMemoryStorageBackend::new());
156
- let live_state = live_state_context();
157
- crate::test_support::seed_global_branch_head(storage.clone()).await;
158
- write_key_value(
159
- storage.clone(),
160
- DETERMINISTIC_MODE_KEY,
161
- serde_json::json!({
162
- "enabled": true,
163
- }),
164
- )
165
- .await;
166
- write_key_value(
167
- storage.clone(),
168
- DETERMINISTIC_SEQUENCE_KEY,
169
- serde_json::json!(41),
170
- )
171
- .await;
172
-
173
- let reader = live_state.reader(
174
- storage
175
- .begin_read(StorageReadOptions::default())
176
- .expect("read should open"),
177
- );
178
- let context = FunctionContext::prepare(&reader)
179
- .await
180
- .expect("runtime context should prepare");
181
- let functions = context.provider();
182
-
183
- assert_eq!(
184
- functions.call_uuid_v7(),
185
- "01920000-0000-7000-8000-00000000002a"
186
- );
187
- assert_eq!(
188
- context
189
- .provider()
190
- .deterministic_sequence_persist_highest_seen(),
191
- Some(42)
192
- );
193
- }
194
-
195
- #[tokio::test]
196
- async fn persist_if_needed_writes_sequence_when_deterministic_functions_advanced() {
197
- let storage = StorageContext::new(InMemoryStorageBackend::new());
198
- let live_state = live_state_context();
199
- crate::test_support::seed_global_branch_head(storage.clone()).await;
200
- write_key_value(
201
- storage.clone(),
202
- DETERMINISTIC_MODE_KEY,
203
- serde_json::json!({
204
- "enabled": true,
205
- }),
206
- )
207
- .await;
208
-
209
- let context = {
210
- let reader = live_state.reader(
211
- storage
212
- .begin_read(StorageReadOptions::default())
213
- .expect("read should open"),
214
- );
215
- FunctionContext::prepare(&reader)
216
- .await
217
- .expect("runtime context should prepare")
218
- };
219
- context.provider().call_uuid_v7();
220
-
221
- let mut writes = storage.new_write_set();
222
- context
223
- .stage_persist_if_needed(&mut writes)
224
- .await
225
- .expect("sequence should stage");
226
- storage
227
- .commit_write_set(writes, StorageWriteOptions::default())
228
- .expect("sequence should commit");
229
-
230
- let reader = live_state.reader(
231
- storage
232
- .begin_read(StorageReadOptions::default())
233
- .expect("read should open"),
234
- );
235
- let sequence = load_sequence(&reader).await.expect("sequence should load");
236
- assert_eq!(sequence, DeterministicSequence { highest_seen: 0 });
237
- }
238
-
239
- #[tokio::test]
240
- async fn persist_if_needed_is_noop_for_system_functions() {
241
- let storage = StorageContext::new(InMemoryStorageBackend::new());
242
- let live_state = live_state_context();
243
- let reader = live_state.reader(
244
- storage
245
- .begin_read(StorageReadOptions::default())
246
- .expect("read should open"),
247
- );
248
- let context = FunctionContext::prepare(&reader)
249
- .await
250
- .expect("runtime context should prepare");
251
-
252
- let mut writes = storage.new_write_set();
253
- context
254
- .stage_persist_if_needed(&mut writes)
255
- .await
256
- .expect("persist should no-op");
257
- assert!(writes.is_empty());
258
-
259
- let reader = live_state.reader(
260
- storage
261
- .begin_read(StorageReadOptions::default())
262
- .expect("read should open"),
263
- );
264
- let sequence = load_sequence(&reader)
265
- .await
266
- .expect("missing sequence should load");
267
- assert_eq!(sequence, DeterministicSequence::uninitialized());
268
- }
269
-
270
- async fn write_key_value(storage: StorageContext, key: &str, value: serde_json::Value) {
271
- let snapshot_content = serde_json::to_string(&serde_json::json!({
272
- "key": key,
273
- "value": value,
274
- }))
275
- .expect("snapshot should serialize");
276
- let mut writes = storage.new_write_set();
277
- let row = crate::untracked_state::UntrackedStateRow {
278
- entity_pk: crate::entity_pk::EntityPk::single(key),
279
- schema_key: "lix_key_value".to_string(),
280
- file_id: None,
281
- snapshot_content: Some(snapshot_content),
282
- metadata: None,
283
- created_at: "1970-01-01T00:00:00.000Z".to_string(),
284
- updated_at: "1970-01-01T00:00:00.000Z".to_string(),
285
- global: true,
286
- branch_id: GLOBAL_BRANCH_ID.to_string(),
287
- };
288
- crate::untracked_state::UntrackedStateContext::new()
289
- .writer(&mut writes)
290
- .stage_rows(std::iter::once(row.as_ref()))
291
- .expect("test key-value should stage");
292
- storage
293
- .commit_write_set(writes, StorageWriteOptions::default())
294
- .expect("test key-value should commit");
295
- }
296
- }