@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,712 +0,0 @@
1
- //! Differential test harness target for fast and normal sql2 write execution.
2
-
3
- #[cfg(test)]
4
- mod tests {
5
- use crate::common::serialize_row_metadata;
6
- use crate::entity_pk::EntityPk;
7
- use crate::live_state::{LiveStateFilter, LiveStateScanRequest, MaterializedLiveStateRow};
8
- use crate::session::CreateBranchOptions;
9
- use crate::sql2::test_support::generators::{
10
- deterministic_repro_cases, generated_dml_cases, DifferentialExpectation, DifferentialParam,
11
- DifferentialProbe, DifferentialSqlCase, ExpectedExecution, ACTIVE_BRANCH_PROBE_ID,
12
- };
13
- use crate::sql2::{WriteExecutorMode, WriteExecutorPath};
14
- use crate::storage::InMemoryStorageBackend;
15
- use crate::{Engine, ExecuteResult, LixError, Value};
16
-
17
- #[derive(Debug, Clone)]
18
- struct DifferentialOutcome {
19
- execution: ExecutionSignature,
20
- executor_path: Option<WriteExecutorPath>,
21
- staged_rows: Vec<ProbeSnapshot>,
22
- final_rows: Vec<ProbeSnapshot>,
23
- }
24
-
25
- impl PartialEq for DifferentialOutcome {
26
- fn eq(&self, other: &Self) -> bool {
27
- self.execution == other.execution
28
- && self.staged_rows == other.staged_rows
29
- && self.final_rows == other.final_rows
30
- }
31
- }
32
-
33
- #[derive(Debug, Clone, PartialEq, Eq)]
34
- enum ExecutionSignature {
35
- Ok { rows_affected: u64 },
36
- Err { code: String, message: String },
37
- }
38
-
39
- #[derive(Debug, Clone, PartialEq)]
40
- struct ProbeSnapshot {
41
- name: String,
42
- rows: Vec<Vec<Value>>,
43
- }
44
-
45
- struct ProbeQuery {
46
- name: String,
47
- sql: String,
48
- params: Vec<Value>,
49
- branch_column_indexes: &'static [usize],
50
- }
51
-
52
- #[tokio::test]
53
- async fn deterministic_known_repros_match_reference_writer() {
54
- for case in deterministic_repro_cases() {
55
- assert_case_matches_reference(&case).await;
56
- }
57
- }
58
-
59
- #[tokio::test]
60
- async fn generated_dml_cases_match_reference_writer() {
61
- for case in generated_dml_cases() {
62
- assert_case_matches_reference(&case).await;
63
- }
64
- }
65
-
66
- async fn assert_case_matches_reference(case: &DifferentialSqlCase) {
67
- let reference = run_case(case, WriteExecutorMode::ForceDataFusion).await;
68
- let candidate_mode = match case.expectation {
69
- DifferentialExpectation::SemanticParityMayFallback => WriteExecutorMode::Auto,
70
- DifferentialExpectation::FastRequiredParity => WriteExecutorMode::ForceFast,
71
- };
72
- let candidate = run_case(case, candidate_mode).await;
73
- assert_expected_execution(case, &reference.execution);
74
- assert_eq!(
75
- candidate, reference,
76
- "differential SQL seed '{}' diverged under {:?}\nSQL: {}",
77
- case.seed, candidate_mode, case.sql
78
- );
79
- if matches!(case.expected_execution, ExpectedExecution::Err { .. }) {
80
- assert_independent_no_mutation(case, &reference).await;
81
- } else if case.expectation == DifferentialExpectation::FastRequiredParity {
82
- assert_independent_no_mutation(case, &reference).await;
83
- assert_eq!(
84
- candidate.executor_path,
85
- Some(WriteExecutorPath::Fast),
86
- "differential SQL seed '{}' did not execute through the fast writer\nSQL: {}",
87
- case.seed,
88
- case.sql
89
- );
90
- } else if matches!(
91
- reference.execution,
92
- ExecutionSignature::Ok { rows_affected: 0 }
93
- ) {
94
- assert_independent_no_mutation(case, &reference).await;
95
- }
96
- }
97
-
98
- async fn assert_independent_no_mutation(
99
- case: &DifferentialSqlCase,
100
- reference: &DifferentialOutcome,
101
- ) {
102
- let baseline = run_baseline(case).await;
103
- assert_eq!(
104
- reference.staged_rows, baseline.staged_rows,
105
- "differential SQL seed '{}' changed staged rows in the independent no-mutation check\nSQL: {}",
106
- case.seed, case.sql
107
- );
108
- assert_eq!(
109
- reference.final_rows, baseline.final_rows,
110
- "differential SQL seed '{}' changed final rows in the independent no-mutation check\nSQL: {}",
111
- case.seed, case.sql
112
- );
113
- }
114
-
115
- async fn run_case(case: &DifferentialSqlCase, mode: WriteExecutorMode) -> DifferentialOutcome {
116
- let engine = open_initialized_engine().await;
117
- let session = engine
118
- .open_workspace_session()
119
- .await
120
- .expect("workspace session should open");
121
- create_probe_branches(&session).await;
122
- let active_branch_id = session
123
- .active_branch_id()
124
- .await
125
- .expect("differential session should have an active branch");
126
-
127
- for setup_sql in case.setup_sql {
128
- session
129
- .execute_with_write_executor_mode(
130
- setup_sql,
131
- &[],
132
- WriteExecutorMode::ForceDataFusion,
133
- )
134
- .await
135
- .unwrap_or_else(|error| {
136
- panic!(
137
- "differential SQL seed '{}' setup failed\nSQL: {}\nerror: {:?}",
138
- case.seed, setup_sql, error
139
- )
140
- });
141
- }
142
-
143
- let params = differential_params(case.params);
144
- let mut transaction = session
145
- .begin_transaction()
146
- .await
147
- .expect("differential transaction should open");
148
- for setup_sql in case.transaction_setup_sql {
149
- transaction
150
- .execute_with_write_executor_mode(
151
- setup_sql,
152
- &[],
153
- WriteExecutorMode::ForceDataFusion,
154
- )
155
- .await
156
- .unwrap_or_else(|error| {
157
- panic!(
158
- "differential SQL seed '{}' transaction setup failed\nSQL: {}\nerror: {:?}",
159
- case.seed, setup_sql, error
160
- )
161
- });
162
- }
163
- let execution_result = transaction
164
- .execute_with_write_executor_mode_and_trace(case.sql.as_ref(), &params, mode)
165
- .await;
166
- let execution = execution_signature(&execution_result);
167
- let executor_path = execution_result
168
- .as_ref()
169
- .ok()
170
- .and_then(|(_result, path)| *path);
171
- let staged_rows =
172
- probe_transaction_state(&mut transaction, case.probes, &active_branch_id).await;
173
-
174
- match execution_result {
175
- Ok(_) => transaction
176
- .commit()
177
- .await
178
- .expect("successful differential case should commit"),
179
- Err(_) => transaction
180
- .rollback()
181
- .await
182
- .expect("failed differential case should rollback"),
183
- }
184
-
185
- let final_rows = probe_session_state(&session, case.probes, &active_branch_id).await;
186
- DifferentialOutcome {
187
- execution,
188
- executor_path,
189
- staged_rows,
190
- final_rows,
191
- }
192
- }
193
-
194
- async fn run_baseline(case: &DifferentialSqlCase) -> DifferentialOutcome {
195
- let engine = open_initialized_engine().await;
196
- let session = engine
197
- .open_workspace_session()
198
- .await
199
- .expect("workspace session should open");
200
- create_probe_branches(&session).await;
201
- let active_branch_id = session
202
- .active_branch_id()
203
- .await
204
- .expect("differential session should have an active branch");
205
-
206
- for setup_sql in case.setup_sql {
207
- session
208
- .execute_with_write_executor_mode(
209
- setup_sql,
210
- &[],
211
- WriteExecutorMode::ForceDataFusion,
212
- )
213
- .await
214
- .unwrap_or_else(|error| {
215
- panic!(
216
- "differential SQL seed '{}' baseline setup failed\nSQL: {}\nerror: {:?}",
217
- case.seed, setup_sql, error
218
- )
219
- });
220
- }
221
-
222
- let mut transaction = session
223
- .begin_transaction()
224
- .await
225
- .expect("differential baseline transaction should open");
226
- for setup_sql in case.transaction_setup_sql {
227
- transaction
228
- .execute_with_write_executor_mode(
229
- setup_sql,
230
- &[],
231
- WriteExecutorMode::ForceDataFusion,
232
- )
233
- .await
234
- .unwrap_or_else(|error| {
235
- panic!(
236
- "differential SQL seed '{}' baseline transaction setup failed\nSQL: {}\nerror: {:?}",
237
- case.seed, setup_sql, error
238
- )
239
- });
240
- }
241
-
242
- let staged_rows =
243
- probe_transaction_state(&mut transaction, case.probes, &active_branch_id).await;
244
- transaction
245
- .commit()
246
- .await
247
- .expect("baseline differential case should commit setup");
248
- let final_rows = probe_session_state(&session, case.probes, &active_branch_id).await;
249
-
250
- DifferentialOutcome {
251
- execution: ExecutionSignature::Ok { rows_affected: 0 },
252
- executor_path: None,
253
- staged_rows,
254
- final_rows,
255
- }
256
- }
257
-
258
- async fn open_initialized_engine() -> Engine {
259
- let backend = InMemoryStorageBackend::new();
260
- Engine::initialize(backend.clone())
261
- .await
262
- .expect("unit backend should initialize");
263
- Engine::new(backend)
264
- .await
265
- .expect("engine should open over initialized unit backend")
266
- }
267
-
268
- async fn create_probe_branches(session: &crate::SessionContext) {
269
- for id in ["branch-a", "branch-b"] {
270
- session
271
- .create_branch(CreateBranchOptions {
272
- id: Some(id.to_string()),
273
- name: id.to_string(),
274
- from_commit_id: None,
275
- })
276
- .await
277
- .unwrap_or_else(|error| panic!("failed to create probe branch {id}: {error:?}"));
278
- }
279
- }
280
-
281
- fn execution_signature(
282
- result: &Result<(ExecuteResult, Option<WriteExecutorPath>), LixError>,
283
- ) -> ExecutionSignature {
284
- match result {
285
- Ok((result, _path)) => ExecutionSignature::Ok {
286
- rows_affected: result.rows_affected(),
287
- },
288
- Err(error) => ExecutionSignature::Err {
289
- code: error.code.clone(),
290
- message: error.message.clone(),
291
- },
292
- }
293
- }
294
-
295
- fn assert_expected_execution(case: &DifferentialSqlCase, execution: &ExecutionSignature) {
296
- match (case.expected_execution, execution) {
297
- (ExpectedExecution::Ok, ExecutionSignature::Ok { .. })
298
- | (ExpectedExecution::Err { .. }, ExecutionSignature::Err { .. }) => {}
299
- (ExpectedExecution::Ok, ExecutionSignature::Err { code, message }) => {
300
- panic!(
301
- "differential SQL seed '{}' should succeed but failed with {code}: {message}\nSQL: {}",
302
- case.seed, case.sql
303
- );
304
- }
305
- (ExpectedExecution::Err { code }, ExecutionSignature::Ok { rows_affected }) => {
306
- panic!(
307
- "differential SQL seed '{}' should fail with {code} but succeeded with {rows_affected} rows affected\nSQL: {}",
308
- case.seed, case.sql
309
- );
310
- }
311
- }
312
- if let (
313
- ExpectedExecution::Err {
314
- code: expected_code,
315
- },
316
- ExecutionSignature::Err { code, message },
317
- ) = (case.expected_execution, execution)
318
- {
319
- assert_eq!(
320
- code, expected_code,
321
- "differential SQL seed '{}' failed with the wrong error code: {code}: {message}\nSQL: {}",
322
- case.seed, case.sql
323
- );
324
- }
325
- }
326
-
327
- fn differential_params(params: &[DifferentialParam]) -> Vec<Value> {
328
- params
329
- .iter()
330
- .map(|param| match param {
331
- DifferentialParam::Json(value) => {
332
- let value =
333
- serde_json::from_str(value).expect("differential JSON param should parse");
334
- Value::Json(value)
335
- }
336
- })
337
- .collect()
338
- }
339
-
340
- async fn probe_session_state(
341
- session: &crate::SessionContext,
342
- probes: &[DifferentialProbe],
343
- active_branch_id: &str,
344
- ) -> Vec<ProbeSnapshot> {
345
- let mut snapshots = Vec::with_capacity(probes.len());
346
- for probe in probes {
347
- let query = probe_query(probe, active_branch_id);
348
- snapshots.push(ProbeSnapshot {
349
- name: query.name,
350
- rows: session
351
- .execute(&query.sql, &query.params)
352
- .await
353
- .unwrap_or_else(|error| {
354
- panic!(
355
- "final differential probe failed\nSQL: {}\nerror: {error:?}",
356
- query.sql
357
- )
358
- })
359
- .rows()
360
- .iter()
361
- .map(|row| {
362
- canonical_probe_values(
363
- row.values(),
364
- active_branch_id,
365
- query.branch_column_indexes,
366
- )
367
- })
368
- .collect(),
369
- });
370
- }
371
- snapshots
372
- }
373
-
374
- async fn probe_transaction_state(
375
- transaction: &mut crate::session::SessionTransaction,
376
- probes: &[DifferentialProbe],
377
- active_branch_id: &str,
378
- ) -> Vec<ProbeSnapshot> {
379
- let mut snapshots = Vec::with_capacity(probes.len());
380
- for probe in probes {
381
- if let Some(snapshot) =
382
- synthetic_staged_by_branch_probe(transaction, probe, active_branch_id).await
383
- {
384
- snapshots.push(snapshot);
385
- continue;
386
- }
387
- let query = probe_query(probe, active_branch_id);
388
- snapshots.push(ProbeSnapshot {
389
- name: query.name,
390
- rows: transaction
391
- .execute(&query.sql, &query.params)
392
- .await
393
- .unwrap_or_else(|error| {
394
- panic!(
395
- "staged differential probe failed\nSQL: {}\nerror: {error:?}",
396
- query.sql
397
- )
398
- })
399
- .rows()
400
- .iter()
401
- .map(|row| {
402
- canonical_probe_values(
403
- row.values(),
404
- active_branch_id,
405
- query.branch_column_indexes,
406
- )
407
- })
408
- .collect(),
409
- });
410
- }
411
- snapshots
412
- }
413
-
414
- fn probe_query(probe: &DifferentialProbe, active_branch_id: &str) -> ProbeQuery {
415
- match probe {
416
- DifferentialProbe::LixStateActive {
417
- schema_key,
418
- entity_pks,
419
- } => {
420
- let mut params = Vec::with_capacity(entity_pks.len() + 1);
421
- params.push(Value::Text((*schema_key).to_string()));
422
- let placeholders = entity_pks
423
- .iter()
424
- .enumerate()
425
- .map(|(index, entity_pk)| {
426
- params.push(Value::Json(serde_json::json!([*entity_pk])));
427
- format!("${}", index + 2)
428
- })
429
- .collect::<Vec<_>>()
430
- .join(", ");
431
- ProbeQuery {
432
- name: format!("lix_state:{schema_key}:{entity_pks:?}"),
433
- sql: format!(
434
- "SELECT entity_pk, schema_key, file_id, snapshot_content, metadata, global, untracked \
435
- FROM lix_state \
436
- WHERE schema_key = $1 AND entity_pk IN ({placeholders}) \
437
- ORDER BY schema_key, entity_pk, file_id"
438
- ),
439
- params,
440
- branch_column_indexes: &[],
441
- }
442
- }
443
- DifferentialProbe::LixStateByBranch {
444
- schema_key,
445
- entity_pks,
446
- branch_ids,
447
- } => {
448
- let mut params = Vec::with_capacity(entity_pks.len() + branch_ids.len() + 1);
449
- params.push(Value::Text((*schema_key).to_string()));
450
- let entity_placeholders = entity_pks
451
- .iter()
452
- .enumerate()
453
- .map(|(index, entity_pk)| {
454
- params.push(Value::Json(serde_json::json!([*entity_pk])));
455
- format!("${}", index + 2)
456
- })
457
- .collect::<Vec<_>>()
458
- .join(", ");
459
- let branch_offset = params.len();
460
- let branch_placeholders = branch_ids
461
- .iter()
462
- .enumerate()
463
- .map(|(index, branch_id)| {
464
- params.push(Value::Text(resolve_probe_branch_id(
465
- branch_id,
466
- active_branch_id,
467
- )));
468
- format!("${}", branch_offset + index + 1)
469
- })
470
- .collect::<Vec<_>>()
471
- .join(", ");
472
- ProbeQuery {
473
- name: format!(
474
- "lix_state_by_branch:{schema_key}:{entity_pks:?}:{branch_ids:?}"
475
- ),
476
- sql: format!(
477
- "SELECT entity_pk, schema_key, file_id, branch_id, snapshot_content, metadata, global, untracked \
478
- FROM lix_state_by_branch \
479
- WHERE schema_key = $1 \
480
- AND entity_pk IN ({entity_placeholders}) \
481
- AND branch_id IN ({branch_placeholders}) \
482
- ORDER BY schema_key, entity_pk, file_id, branch_id"
483
- ),
484
- params,
485
- branch_column_indexes: &[3],
486
- }
487
- }
488
- DifferentialProbe::RegisteredSchemaActive => ProbeQuery {
489
- name: "lix_registered_schema".to_string(),
490
- sql: "SELECT lixcol_entity_pk, value, lixcol_metadata, lixcol_global, lixcol_untracked \
491
- FROM lix_registered_schema \
492
- ORDER BY lixcol_entity_pk"
493
- .to_string(),
494
- params: Vec::new(),
495
- branch_column_indexes: &[],
496
- },
497
- DifferentialProbe::RegisteredSchemaByBranch { branch_ids } => {
498
- let mut params = Vec::with_capacity(branch_ids.len());
499
- let placeholders = branch_ids
500
- .iter()
501
- .enumerate()
502
- .map(|(index, branch_id)| {
503
- params.push(Value::Text(resolve_probe_branch_id(
504
- branch_id,
505
- active_branch_id,
506
- )));
507
- format!("${}", index + 1)
508
- })
509
- .collect::<Vec<_>>()
510
- .join(", ");
511
- ProbeQuery {
512
- name: format!("lix_registered_schema_by_branch:{branch_ids:?}"),
513
- sql: format!(
514
- "SELECT lixcol_entity_pk, value, lixcol_branch_id, lixcol_metadata, lixcol_global, lixcol_untracked \
515
- FROM lix_registered_schema_by_branch \
516
- WHERE lixcol_branch_id IN ({placeholders}) \
517
- ORDER BY lixcol_entity_pk, lixcol_branch_id"
518
- ),
519
- params,
520
- branch_column_indexes: &[2],
521
- }
522
- }
523
- }
524
- }
525
-
526
- async fn synthetic_staged_by_branch_probe(
527
- transaction: &mut crate::session::SessionTransaction,
528
- probe: &DifferentialProbe,
529
- active_branch_id: &str,
530
- ) -> Option<ProbeSnapshot> {
531
- match probe {
532
- DifferentialProbe::LixStateByBranch {
533
- schema_key,
534
- entity_pks,
535
- branch_ids,
536
- } => {
537
- let rows = scan_transaction_live_state(
538
- transaction,
539
- schema_key,
540
- *entity_pks,
541
- *branch_ids,
542
- active_branch_id,
543
- )
544
- .await;
545
- Some(ProbeSnapshot {
546
- name: format!(
547
- "lix_state_by_branch_staged:{schema_key}:{entity_pks:?}:{branch_ids:?}"
548
- ),
549
- rows: lix_state_by_branch_rows(rows, active_branch_id),
550
- })
551
- }
552
- DifferentialProbe::RegisteredSchemaByBranch { branch_ids } => {
553
- let rows = scan_transaction_live_state(
554
- transaction,
555
- "lix_registered_schema",
556
- &[],
557
- *branch_ids,
558
- active_branch_id,
559
- )
560
- .await;
561
- Some(ProbeSnapshot {
562
- name: format!("lix_registered_schema_by_branch_staged:{branch_ids:?}"),
563
- rows: registered_schema_by_branch_rows(rows, active_branch_id),
564
- })
565
- }
566
- _ => None,
567
- }
568
- }
569
-
570
- async fn scan_transaction_live_state(
571
- transaction: &mut crate::session::SessionTransaction,
572
- schema_key: &str,
573
- entity_pks: &[&str],
574
- branch_ids: &[&str],
575
- active_branch_id: &str,
576
- ) -> Vec<MaterializedLiveStateRow> {
577
- let rows = transaction
578
- .scan_live_state_for_test(&LiveStateScanRequest {
579
- filter: LiveStateFilter {
580
- schema_keys: vec![schema_key.to_string()],
581
- entity_pks: entity_pks
582
- .iter()
583
- .map(|entity_pk| EntityPk::single(*entity_pk))
584
- .collect(),
585
- branch_ids: branch_ids
586
- .iter()
587
- .map(|branch_id| resolve_probe_branch_id(branch_id, active_branch_id))
588
- .collect(),
589
- ..LiveStateFilter::default()
590
- },
591
- ..LiveStateScanRequest::default()
592
- })
593
- .await
594
- .unwrap_or_else(|error| {
595
- panic!(
596
- "staged live-state differential probe failed for schema '{schema_key}': {error:?}"
597
- )
598
- });
599
- rows
600
- }
601
-
602
- fn lix_state_by_branch_rows(
603
- mut rows: Vec<MaterializedLiveStateRow>,
604
- active_branch_id: &str,
605
- ) -> Vec<Vec<Value>> {
606
- rows.sort_by_key(|row| {
607
- (
608
- row.schema_key.clone(),
609
- row.entity_pk.clone(),
610
- row.file_id.clone(),
611
- row.branch_id.clone(),
612
- )
613
- });
614
- rows.iter()
615
- .map(|row| {
616
- canonical_probe_values(
617
- &[
618
- entity_pk_value(row),
619
- Value::Text(row.schema_key.clone()),
620
- optional_text_value(row.file_id.clone()),
621
- Value::Text(row.branch_id.clone()),
622
- optional_text_value(row.snapshot_content.clone()),
623
- row.metadata
624
- .as_ref()
625
- .map(serialize_row_metadata)
626
- .map(Value::Text)
627
- .unwrap_or(Value::Null),
628
- Value::Boolean(row.global),
629
- Value::Boolean(row.untracked),
630
- ],
631
- active_branch_id,
632
- &[3],
633
- )
634
- })
635
- .collect()
636
- }
637
-
638
- fn registered_schema_by_branch_rows(
639
- mut rows: Vec<MaterializedLiveStateRow>,
640
- active_branch_id: &str,
641
- ) -> Vec<Vec<Value>> {
642
- rows.sort_by_key(|row| (row.entity_pk.clone(), row.branch_id.clone()));
643
- rows.iter()
644
- .map(|row| {
645
- let value = row
646
- .snapshot_content
647
- .as_deref()
648
- .and_then(|snapshot| serde_json::from_str::<serde_json::Value>(snapshot).ok())
649
- .and_then(|snapshot| snapshot.get("value").cloned())
650
- .map(|value| {
651
- Value::Text(serde_json::to_string(&value).expect("JSON serializes"))
652
- })
653
- .unwrap_or(Value::Null);
654
- canonical_probe_values(
655
- &[
656
- entity_pk_value(row),
657
- value,
658
- Value::Text(row.branch_id.clone()),
659
- row.metadata
660
- .as_ref()
661
- .map(serialize_row_metadata)
662
- .map(Value::Text)
663
- .unwrap_or(Value::Null),
664
- Value::Boolean(row.global),
665
- Value::Boolean(row.untracked),
666
- ],
667
- active_branch_id,
668
- &[2],
669
- )
670
- })
671
- .collect()
672
- }
673
-
674
- fn entity_pk_value(row: &MaterializedLiveStateRow) -> Value {
675
- Value::Text(
676
- row.entity_pk
677
- .as_json_array_text()
678
- .expect("materialized entity pk should encode"),
679
- )
680
- }
681
-
682
- fn optional_text_value(value: Option<String>) -> Value {
683
- value.map(Value::Text).unwrap_or(Value::Null)
684
- }
685
-
686
- fn resolve_probe_branch_id(branch_id: &str, active_branch_id: &str) -> String {
687
- if branch_id == ACTIVE_BRANCH_PROBE_ID {
688
- active_branch_id.to_string()
689
- } else {
690
- branch_id.to_string()
691
- }
692
- }
693
-
694
- fn canonical_probe_values(
695
- values: &[Value],
696
- active_branch_id: &str,
697
- branch_column_indexes: &[usize],
698
- ) -> Vec<Value> {
699
- values
700
- .iter()
701
- .enumerate()
702
- .map(|(index, value)| match value {
703
- Value::Text(text)
704
- if text == active_branch_id && branch_column_indexes.contains(&index) =>
705
- {
706
- Value::Text(ACTIVE_BRANCH_PROBE_ID.to_string())
707
- }
708
- other => other.clone(),
709
- })
710
- .collect()
711
- }
712
- }