@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,113 +0,0 @@
1
- use crate::functions::FunctionProvider;
2
-
3
- const DETERMINISTIC_UUID_COUNTER_MASK: u64 = 0x0000_FFFF_FFFF_FFFF;
4
-
5
- /// Deterministic function provider for engine execution.
6
- ///
7
- /// The provider is pure runtime state: it does not load or persist the sequence
8
- /// itself. Session/transaction code owns that boundary so tests can decide when
9
- /// deterministic state is read and written.
10
- #[derive(Debug, Clone)]
11
- pub(crate) struct DeterministicFunctionProvider {
12
- next_sequence: i64,
13
- timestamp_shuffle: bool,
14
- highest_seen: Option<i64>,
15
- }
16
-
17
- impl DeterministicFunctionProvider {
18
- pub(crate) fn new(next_sequence: i64, timestamp_shuffle: bool) -> Self {
19
- Self {
20
- next_sequence,
21
- timestamp_shuffle,
22
- highest_seen: None,
23
- }
24
- }
25
-
26
- pub(crate) fn highest_seen(&self) -> Option<i64> {
27
- self.highest_seen
28
- }
29
-
30
- fn take_sequence(&mut self) -> i64 {
31
- let current = self.next_sequence;
32
- self.next_sequence += 1;
33
- self.highest_seen = Some(current);
34
- current
35
- }
36
- }
37
-
38
- impl FunctionProvider for DeterministicFunctionProvider {
39
- fn uuid_v7(&mut self) -> String {
40
- let counter = self.take_sequence();
41
- let counter_bits = (counter as u64) & DETERMINISTIC_UUID_COUNTER_MASK;
42
- format!("01920000-0000-7000-8000-{counter_bits:012x}")
43
- }
44
-
45
- fn timestamp(&mut self) -> String {
46
- let counter = self.take_sequence();
47
- let millis = if self.timestamp_shuffle {
48
- shuffled_timestamp_millis(counter)
49
- } else {
50
- counter
51
- };
52
- let dt = chrono::DateTime::<chrono::Utc>::from_timestamp_millis(millis)
53
- .unwrap_or(chrono::DateTime::<chrono::Utc>::UNIX_EPOCH);
54
- dt.to_rfc3339_opts(chrono::SecondsFormat::Millis, true)
55
- }
56
-
57
- fn deterministic_sequence_persist_highest_seen(&self) -> Option<i64> {
58
- self.highest_seen()
59
- }
60
- }
61
-
62
- fn shuffled_timestamp_millis(counter: i64) -> i64 {
63
- const WINDOW: i64 = 1000;
64
- const MULTIPLIER: i64 = 733;
65
- const OFFSET: i64 = 271;
66
-
67
- let cycle = counter.div_euclid(WINDOW);
68
- let within = counter.rem_euclid(WINDOW);
69
- let shuffled = (within * MULTIPLIER + OFFSET).rem_euclid(WINDOW);
70
- cycle * WINDOW + shuffled
71
- }
72
-
73
- #[cfg(test)]
74
- mod tests {
75
- use super::*;
76
- use crate::functions::DeterministicSequence;
77
-
78
- #[test]
79
- fn deterministic_uuid_uses_sequence_counter() {
80
- let mut provider = DeterministicFunctionProvider::new(0, false);
81
-
82
- assert_eq!(provider.uuid_v7(), "01920000-0000-7000-8000-000000000000");
83
- assert_eq!(provider.uuid_v7(), "01920000-0000-7000-8000-000000000001");
84
- assert_eq!(provider.highest_seen(), Some(1));
85
- }
86
-
87
- #[test]
88
- fn deterministic_timestamp_uses_sequence_counter() {
89
- let mut provider = DeterministicFunctionProvider::new(1, false);
90
-
91
- assert_eq!(provider.timestamp(), "1970-01-01T00:00:00.001Z");
92
- assert_eq!(provider.highest_seen(), Some(1));
93
- }
94
-
95
- #[test]
96
- fn deterministic_timestamp_shuffle_can_be_non_monotonic() {
97
- let mut provider = DeterministicFunctionProvider::new(0, true);
98
- let first = provider.timestamp();
99
- let second = provider.timestamp();
100
-
101
- assert!(second < first);
102
- assert_eq!(provider.highest_seen(), Some(1));
103
- }
104
-
105
- #[test]
106
- fn deterministic_sequence_can_start_after_persisted_highest_seen() {
107
- let sequence = DeterministicSequence { highest_seen: 41 };
108
- let mut provider = DeterministicFunctionProvider::new(sequence.next_sequence(), false);
109
-
110
- assert_eq!(provider.uuid_v7(), "01920000-0000-7000-8000-00000000002a");
111
- assert_eq!(provider.highest_seen(), Some(42));
112
- }
113
- }
@@ -1,18 +0,0 @@
1
- //! Engine runtime function boundary.
2
- //!
3
- //! Sessions prepare one function context per execution. SQL, providers, and
4
- //! transaction staging receive only a function provider; deterministic mode is
5
- //! resolved privately inside this module.
6
-
7
- mod context;
8
- mod deterministic;
9
- mod provider;
10
- mod state;
11
- mod types;
12
-
13
- pub(crate) use context::FunctionContext;
14
- pub(crate) use deterministic::DeterministicFunctionProvider;
15
- pub(crate) use provider::{
16
- FunctionProvider, FunctionProviderHandle, SharedFunctionProvider, SystemFunctionProvider,
17
- };
18
- pub(crate) use types::{DeterministicMode, DeterministicSequence};
@@ -1,130 +0,0 @@
1
- use std::sync::{Arc, Mutex};
2
-
3
- use crate::cel::CelFunctionProvider;
4
-
5
- /// Engine-owned runtime function provider trait.
6
- pub(crate) trait FunctionProvider: Send {
7
- fn uuid_v7(&mut self) -> String;
8
- fn timestamp(&mut self) -> String;
9
-
10
- fn deterministic_sequence_persist_highest_seen(&self) -> Option<i64> {
11
- None
12
- }
13
- }
14
-
15
- pub(crate) type FunctionProviderHandle = SharedFunctionProvider<Box<dyn FunctionProvider + Send>>;
16
-
17
- /// Shareable function provider used across SQL planning, UDFs, and staging.
18
- pub(crate) struct SharedFunctionProvider<P> {
19
- inner: Arc<Mutex<P>>,
20
- }
21
-
22
- impl<P> Clone for SharedFunctionProvider<P> {
23
- fn clone(&self) -> Self {
24
- Self {
25
- inner: Arc::clone(&self.inner),
26
- }
27
- }
28
- }
29
-
30
- impl<P> SharedFunctionProvider<P> {
31
- pub(crate) fn new(provider: P) -> Self {
32
- Self {
33
- inner: Arc::new(Mutex::new(provider)),
34
- }
35
- }
36
-
37
- fn with_lock<R>(&self, f: impl FnOnce(&P) -> R) -> R {
38
- let guard = self
39
- .inner
40
- .lock()
41
- .expect("engine function provider mutex poisoned");
42
- f(&guard)
43
- }
44
-
45
- fn with_lock_mut<R>(&self, f: impl FnOnce(&mut P) -> R) -> R {
46
- let mut guard = self
47
- .inner
48
- .lock()
49
- .expect("engine function provider mutex poisoned");
50
- f(&mut guard)
51
- }
52
- }
53
-
54
- impl<P> SharedFunctionProvider<P>
55
- where
56
- P: FunctionProvider,
57
- {
58
- pub(crate) fn call_uuid_v7(&self) -> String {
59
- self.with_lock_mut(|provider| provider.uuid_v7())
60
- }
61
-
62
- pub(crate) fn call_timestamp(&self) -> String {
63
- self.with_lock_mut(|provider| provider.timestamp())
64
- }
65
-
66
- pub(crate) fn deterministic_sequence_persist_highest_seen(&self) -> Option<i64> {
67
- self.with_lock(|provider| provider.deterministic_sequence_persist_highest_seen())
68
- }
69
- }
70
-
71
- impl<P> CelFunctionProvider for SharedFunctionProvider<P>
72
- where
73
- P: FunctionProvider + Send + 'static,
74
- {
75
- fn call_uuid_v7(&self) -> String {
76
- SharedFunctionProvider::call_uuid_v7(self)
77
- }
78
-
79
- fn call_timestamp(&self) -> String {
80
- SharedFunctionProvider::call_timestamp(self)
81
- }
82
- }
83
-
84
- impl<P> FunctionProvider for SharedFunctionProvider<P>
85
- where
86
- P: FunctionProvider,
87
- {
88
- fn uuid_v7(&mut self) -> String {
89
- self.call_uuid_v7()
90
- }
91
-
92
- fn timestamp(&mut self) -> String {
93
- self.call_timestamp()
94
- }
95
-
96
- fn deterministic_sequence_persist_highest_seen(&self) -> Option<i64> {
97
- SharedFunctionProvider::deterministic_sequence_persist_highest_seen(self)
98
- }
99
- }
100
-
101
- impl<T> FunctionProvider for Box<T>
102
- where
103
- T: FunctionProvider + ?Sized,
104
- {
105
- fn uuid_v7(&mut self) -> String {
106
- (**self).uuid_v7()
107
- }
108
-
109
- fn timestamp(&mut self) -> String {
110
- (**self).timestamp()
111
- }
112
-
113
- fn deterministic_sequence_persist_highest_seen(&self) -> Option<i64> {
114
- (**self).deterministic_sequence_persist_highest_seen()
115
- }
116
- }
117
-
118
- /// System-backed engine function provider.
119
- #[derive(Debug, Default, Clone, Copy)]
120
- pub(crate) struct SystemFunctionProvider;
121
-
122
- impl FunctionProvider for SystemFunctionProvider {
123
- fn uuid_v7(&mut self) -> String {
124
- uuid::Uuid::now_v7().to_string()
125
- }
126
-
127
- fn timestamp(&mut self) -> String {
128
- chrono::Utc::now().to_rfc3339_opts(chrono::SecondsFormat::Millis, true)
129
- }
130
- }
@@ -1,335 +0,0 @@
1
- use serde_json::Value as JsonValue;
2
- use std::sync::Arc;
3
-
4
- use crate::entity_pk::EntityPk;
5
- use crate::functions::{DeterministicMode, DeterministicSequence};
6
- use crate::json_store::NormalizedJson;
7
- use crate::live_state::{LiveStateReader, LiveStateRowRequest, MaterializedLiveStateRow};
8
- use crate::storage::StorageWriteSet;
9
- use crate::untracked_state::UntrackedStateContext;
10
- use crate::untracked_state::UntrackedStateRow;
11
- use crate::GLOBAL_BRANCH_ID;
12
- use crate::{LixError, NullableKeyFilter};
13
-
14
- pub(crate) const DETERMINISTIC_MODE_KEY: &str = "lix_deterministic_mode";
15
- pub(crate) const DETERMINISTIC_SEQUENCE_KEY: &str = "lix_deterministic_sequence_number";
16
-
17
- const KEY_VALUE_SCHEMA_KEY: &str = "lix_key_value";
18
-
19
- /// Loads deterministic-mode settings from visible live state.
20
- ///
21
- /// Missing mode means deterministic execution is disabled. Malformed mode rows
22
- /// are errors because they would make runtime function behavior ambiguous.
23
- pub(crate) async fn load_mode(
24
- live_state: &dyn LiveStateReader,
25
- ) -> Result<DeterministicMode, LixError> {
26
- let Some(row) = load_key_value_row(live_state, DETERMINISTIC_MODE_KEY).await? else {
27
- return Ok(DeterministicMode::disabled());
28
- };
29
- let value = key_value_payload(&row, DETERMINISTIC_MODE_KEY)?;
30
- parse_mode_value(value)
31
- }
32
-
33
- /// Loads the persisted deterministic sequence position.
34
- ///
35
- /// Missing sequence means no deterministic values have been produced yet, so
36
- /// execution starts at sequence zero.
37
- pub(crate) async fn load_sequence(
38
- live_state: &dyn LiveStateReader,
39
- ) -> Result<DeterministicSequence, LixError> {
40
- let Some(row) = load_key_value_row(live_state, DETERMINISTIC_SEQUENCE_KEY).await? else {
41
- return Ok(DeterministicSequence::uninitialized());
42
- };
43
- let value = key_value_payload(&row, DETERMINISTIC_SEQUENCE_KEY)?;
44
- parse_sequence_value(value)
45
- }
46
-
47
- /// Persists the highest deterministic sequence value used by an execution.
48
- ///
49
- /// The row is untracked global `lix_key_value` state: it is durable local
50
- /// runtime state, not a changelog fact.
51
- pub(crate) async fn stage_sequence(
52
- writes: &mut StorageWriteSet,
53
- sequence: DeterministicSequence,
54
- timestamp: &str,
55
- ) -> Result<(), LixError> {
56
- let snapshot_content = serde_json::to_string(&serde_json::json!({
57
- "key": DETERMINISTIC_SEQUENCE_KEY,
58
- "value": sequence.highest_seen,
59
- }))
60
- .map_err(|error| {
61
- LixError::new(
62
- "LIX_ERROR_UNKNOWN",
63
- format!("deterministic sequence snapshot serialization failed: {error}"),
64
- )
65
- })?;
66
- let snapshot = NormalizedJson::from_arc_unchecked(Arc::from(snapshot_content.as_str()));
67
- let row =
68
- deterministic_key_value_row(DETERMINISTIC_SEQUENCE_KEY, snapshot.as_str(), timestamp)?;
69
- UntrackedStateContext::new()
70
- .writer(writes)
71
- .stage_rows(std::iter::once(row.as_ref()))
72
- }
73
-
74
- async fn load_key_value_row(
75
- live_state: &dyn LiveStateReader,
76
- key: &str,
77
- ) -> Result<Option<MaterializedLiveStateRow>, LixError> {
78
- live_state
79
- .load_row(&LiveStateRowRequest {
80
- schema_key: KEY_VALUE_SCHEMA_KEY.to_string(),
81
- branch_id: GLOBAL_BRANCH_ID.to_string(),
82
- entity_pk: EntityPk::single(key),
83
- file_id: NullableKeyFilter::Null,
84
- })
85
- .await
86
- }
87
-
88
- fn key_value_payload(row: &MaterializedLiveStateRow, key: &str) -> Result<JsonValue, LixError> {
89
- let snapshot_content = row.snapshot_content.as_deref().ok_or_else(|| {
90
- LixError::new(
91
- "LIX_ERROR_UNKNOWN",
92
- format!("deterministic key-value row '{key}' is missing snapshot_content"),
93
- )
94
- })?;
95
- let snapshot = serde_json::from_str::<JsonValue>(snapshot_content).map_err(|error| {
96
- LixError::new(
97
- "LIX_ERROR_UNKNOWN",
98
- format!("deterministic key-value row '{key}' has invalid JSON: {error}"),
99
- )
100
- })?;
101
- let stored_key = snapshot.get("key").and_then(JsonValue::as_str);
102
- if stored_key != Some(key) {
103
- return Err(LixError::new(
104
- "LIX_ERROR_UNKNOWN",
105
- format!("deterministic key-value row '{key}' has mismatched key field"),
106
- ));
107
- }
108
- snapshot.get("value").cloned().ok_or_else(|| {
109
- LixError::new(
110
- "LIX_ERROR_UNKNOWN",
111
- format!("deterministic key-value row '{key}' is missing value"),
112
- )
113
- })
114
- }
115
-
116
- fn parse_mode_value(value: JsonValue) -> Result<DeterministicMode, LixError> {
117
- let Some(object) = value.as_object() else {
118
- return Err(LixError::new(
119
- "LIX_ERROR_UNKNOWN",
120
- "deterministic mode value must be an object",
121
- ));
122
- };
123
-
124
- let enabled = object
125
- .get("enabled")
126
- .and_then(JsonValue::as_bool)
127
- .unwrap_or(false);
128
- if !enabled {
129
- return Ok(DeterministicMode::disabled());
130
- }
131
- let timestamp_shuffle = object
132
- .get("timestamp_shuffle")
133
- .and_then(JsonValue::as_bool)
134
- .unwrap_or(false);
135
- Ok(DeterministicMode {
136
- enabled,
137
- timestamp_shuffle,
138
- })
139
- }
140
-
141
- fn parse_sequence_value(value: JsonValue) -> Result<DeterministicSequence, LixError> {
142
- let Some(highest_seen) = value.as_i64() else {
143
- return Err(LixError::new(
144
- "LIX_ERROR_UNKNOWN",
145
- "deterministic sequence value must be an integer",
146
- ));
147
- };
148
- Ok(DeterministicSequence { highest_seen })
149
- }
150
-
151
- fn deterministic_key_value_row(
152
- key: &str,
153
- snapshot_content: &str,
154
- timestamp: &str,
155
- ) -> Result<UntrackedStateRow, LixError> {
156
- Ok(UntrackedStateRow {
157
- entity_pk: crate::entity_pk::EntityPk::single(key),
158
- schema_key: KEY_VALUE_SCHEMA_KEY.to_string(),
159
- file_id: None,
160
- snapshot_content: Some(snapshot_content.to_string()),
161
- metadata: None,
162
- created_at: timestamp.to_string(),
163
- updated_at: timestamp.to_string(),
164
- global: true,
165
- branch_id: GLOBAL_BRANCH_ID.to_string(),
166
- })
167
- }
168
-
169
- #[cfg(test)]
170
- mod tests {
171
- use crate::live_state::{LiveStateContext, LiveStateRowRequest};
172
- use crate::storage::StorageContext;
173
- use crate::storage::{InMemoryStorageBackend, StorageReadOptions, StorageWriteOptions};
174
-
175
- use super::*;
176
-
177
- fn live_state_context() -> LiveStateContext {
178
- LiveStateContext::new(
179
- crate::tracked_state::TrackedStateContext::new(),
180
- crate::untracked_state::UntrackedStateContext::new(),
181
- crate::commit_graph::CommitGraphContext::new(),
182
- )
183
- }
184
-
185
- #[tokio::test]
186
- async fn missing_mode_is_disabled() {
187
- let storage = StorageContext::new(InMemoryStorageBackend::new());
188
- let live_state = live_state_context();
189
- let reader = live_state.reader(
190
- storage
191
- .begin_read(StorageReadOptions::default())
192
- .expect("read should open"),
193
- );
194
-
195
- let mode = load_mode(&reader)
196
- .await
197
- .expect("missing mode should decode");
198
-
199
- assert_eq!(mode, DeterministicMode::disabled());
200
- }
201
-
202
- #[tokio::test]
203
- async fn valid_mode_decodes_flags() {
204
- let storage = StorageContext::new(InMemoryStorageBackend::new());
205
- let live_state = live_state_context();
206
- crate::test_support::seed_global_branch_head(storage.clone()).await;
207
- write_test_key_value(
208
- storage.clone(),
209
- DETERMINISTIC_MODE_KEY,
210
- serde_json::json!({
211
- "enabled": true,
212
- "timestamp_shuffle": true,
213
- }),
214
- )
215
- .await;
216
-
217
- let reader = live_state.reader(
218
- storage
219
- .begin_read(StorageReadOptions::default())
220
- .expect("read should open"),
221
- );
222
- let mode = load_mode(&reader).await.expect("valid mode should decode");
223
-
224
- assert_eq!(
225
- mode,
226
- DeterministicMode {
227
- enabled: true,
228
- timestamp_shuffle: true,
229
- }
230
- );
231
- }
232
-
233
- #[tokio::test]
234
- async fn missing_sequence_is_uninitialized() {
235
- let storage = StorageContext::new(InMemoryStorageBackend::new());
236
- let live_state = live_state_context();
237
- let reader = live_state.reader(
238
- storage
239
- .begin_read(StorageReadOptions::default())
240
- .expect("read should open"),
241
- );
242
-
243
- let sequence = load_sequence(&reader)
244
- .await
245
- .expect("missing sequence should decode");
246
-
247
- assert_eq!(sequence, DeterministicSequence::uninitialized());
248
- }
249
-
250
- #[tokio::test]
251
- async fn valid_sequence_decodes_highest_seen() {
252
- let storage = StorageContext::new(InMemoryStorageBackend::new());
253
- let live_state = live_state_context();
254
- crate::test_support::seed_global_branch_head(storage.clone()).await;
255
- write_test_key_value(
256
- storage.clone(),
257
- DETERMINISTIC_SEQUENCE_KEY,
258
- serde_json::json!(41),
259
- )
260
- .await;
261
-
262
- let reader = live_state.reader(
263
- storage
264
- .begin_read(StorageReadOptions::default())
265
- .expect("read should open"),
266
- );
267
- let sequence = load_sequence(&reader)
268
- .await
269
- .expect("valid sequence should decode");
270
-
271
- assert_eq!(sequence, DeterministicSequence { highest_seen: 41 });
272
- assert_eq!(sequence.next_sequence(), 42);
273
- }
274
-
275
- #[tokio::test]
276
- async fn write_sequence_persists_untracked_global_key_value() {
277
- let storage = StorageContext::new(InMemoryStorageBackend::new());
278
- let live_state = live_state_context();
279
- crate::test_support::seed_global_branch_head(storage.clone()).await;
280
-
281
- let mut writes = storage.new_write_set();
282
- stage_sequence(
283
- &mut writes,
284
- DeterministicSequence { highest_seen: 7 },
285
- "1970-01-01T00:00:00.000Z",
286
- )
287
- .await
288
- .expect("sequence should stage");
289
- storage
290
- .commit_write_set(writes, StorageWriteOptions::default())
291
- .expect("sequence should commit");
292
-
293
- let reader = live_state.reader(
294
- storage
295
- .begin_read(StorageReadOptions::default())
296
- .expect("read should open"),
297
- );
298
- let row = reader
299
- .load_row(&LiveStateRowRequest {
300
- schema_key: KEY_VALUE_SCHEMA_KEY.to_string(),
301
- branch_id: GLOBAL_BRANCH_ID.to_string(),
302
- entity_pk: crate::entity_pk::EntityPk::single(DETERMINISTIC_SEQUENCE_KEY),
303
- file_id: NullableKeyFilter::Null,
304
- })
305
- .await
306
- .expect("sequence row should load")
307
- .expect("sequence row should exist");
308
- assert!(row.untracked);
309
- assert!(row.global);
310
- assert_eq!(row.change_id, None);
311
- assert_eq!(row.commit_id, None);
312
- assert_eq!(
313
- row.snapshot_content.as_deref(),
314
- Some("{\"key\":\"lix_deterministic_sequence_number\",\"value\":7}")
315
- );
316
- }
317
-
318
- async fn write_test_key_value(storage: StorageContext, key: &str, value: JsonValue) {
319
- let snapshot_content = serde_json::to_string(&serde_json::json!({
320
- "key": key,
321
- "value": value,
322
- }))
323
- .expect("snapshot should serialize");
324
- let mut writes = storage.new_write_set();
325
- let row = deterministic_key_value_row(key, &snapshot_content, "1970-01-01T00:00:00.000Z")
326
- .expect("test key-value should canonicalize");
327
- UntrackedStateContext::new()
328
- .writer(&mut writes)
329
- .stage_rows(std::iter::once(row.as_ref()))
330
- .expect("test key-value should stage");
331
- storage
332
- .commit_write_set(writes, StorageWriteOptions::default())
333
- .expect("test key-value should commit");
334
- }
335
- }
@@ -1,37 +0,0 @@
1
- /// Decoded deterministic-mode setting.
2
- ///
3
- /// Storage can decide where this setting lives. The type only describes the
4
- /// behavior engine should apply while preparing runtime functions.
5
- #[derive(Debug, Clone, Copy, PartialEq, Eq)]
6
- pub(crate) struct DeterministicMode {
7
- pub(crate) enabled: bool,
8
- pub(crate) timestamp_shuffle: bool,
9
- }
10
-
11
- impl DeterministicMode {
12
- pub(crate) fn disabled() -> Self {
13
- Self {
14
- enabled: false,
15
- timestamp_shuffle: false,
16
- }
17
- }
18
- }
19
-
20
- /// Persisted deterministic sequence position.
21
- ///
22
- /// `highest_seen` is the last sequence value returned by the runtime provider.
23
- /// The next deterministic execution starts at `highest_seen + 1`.
24
- #[derive(Debug, Clone, Copy, PartialEq, Eq)]
25
- pub(crate) struct DeterministicSequence {
26
- pub(crate) highest_seen: i64,
27
- }
28
-
29
- impl DeterministicSequence {
30
- pub(crate) fn uninitialized() -> Self {
31
- Self { highest_seen: -1 }
32
- }
33
-
34
- pub(crate) fn next_sequence(self) -> i64 {
35
- self.highest_seen + 1
36
- }
37
- }