@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,26 +0,0 @@
1
- use bytes::Bytes;
2
-
3
- use crate::backend::{Key, PutBatch, PutEntry, SpaceId, StoredValue};
4
-
5
- pub fn space(id: u32) -> SpaceId {
6
- SpaceId(id)
7
- }
8
-
9
- pub fn key(bytes: impl AsRef<[u8]>) -> Key {
10
- Key(Bytes::copy_from_slice(bytes.as_ref()))
11
- }
12
-
13
- pub fn full_put(key: Key, value: impl Into<Bytes>) -> PutEntry {
14
- PutEntry {
15
- key,
16
- value: StoredValue {
17
- bytes: value.into(),
18
- },
19
- }
20
- }
21
-
22
- pub fn put_batch(entries: impl IntoIterator<Item = PutEntry>) -> PutBatch {
23
- PutBatch {
24
- entries: entries.into_iter().collect(),
25
- }
26
- }
@@ -1,75 +0,0 @@
1
- //! Conformance harness for backend implementations.
2
- //!
3
- //! The harness is colocated with the experimental API for now. Once backend
4
- //! is stable, rs-sdk can re-export this as the public backend author test kit.
5
-
6
- mod baseline;
7
- mod factory;
8
- #[cfg(test)]
9
- mod failure_tests;
10
- #[allow(dead_code)]
11
- mod fixtures;
12
- #[allow(dead_code)]
13
- mod model;
14
- mod model_based;
15
- mod persistence;
16
- mod projection;
17
- mod pushdown;
18
- mod runner;
19
- mod scan;
20
- mod write;
21
-
22
- pub(crate) use factory::open_backend;
23
- pub use factory::{BackendFactory, BackendFixture, BackendTestConfig};
24
- pub use runner::{
25
- run_backend_conformance, ConformanceReport, ConformanceResult, ConformanceStatus,
26
- ConformanceTest,
27
- };
28
-
29
- #[cfg(test)]
30
- mod tests {
31
- use super::{run_backend_conformance, ConformanceStatus};
32
- use crate::backend::InMemoryBackendFactory;
33
-
34
- #[test]
35
- fn in_memory_backend_passes_baseline_conformance() {
36
- let report = run_backend_conformance(&InMemoryBackendFactory);
37
-
38
- report.assert_no_failures();
39
-
40
- let passed = report
41
- .tests
42
- .iter()
43
- .filter(|test| matches!(test.status, ConformanceStatus::Passed))
44
- .map(|test| test.name)
45
- .collect::<Vec<_>>();
46
- assert_eq!(
47
- passed,
48
- vec![
49
- "baseline::get_many_returns_requested_slots",
50
- "baseline::get_many_empty_key_list",
51
- "baseline::delete_many_missing_keys_is_idempotent",
52
- "baseline::delete_many_removes_existing_keys",
53
- "baseline::delete_range_removes_exact_range",
54
- "baseline::delete_range_applies_after_staged_puts",
55
- "baseline::put_many_applies_after_delete_range",
56
- "baseline::put_many_overwrites_existing_value",
57
- "baseline::scan_range_sees_overwritten_existing_value",
58
- "baseline::scan_range_returns_forward_row_bounded_chunks",
59
- "baseline::scan_range_honors_bound_variants",
60
- "baseline::scan_range_resume_before_lower_does_not_widen_range",
61
- "baseline::scan_range_orders_raw_byte_keys",
62
- "baseline::scan_range_drains_multi_chunk_limits",
63
- "baseline::scan_cursor_drains_multi_chunk_limits",
64
- "baseline::scan_range_empty_range_returns_empty_chunk",
65
- "baseline::commit_is_atomic",
66
- "baseline::rollback_discards_staged_mutations",
67
- "baseline::rollback_discards_overwrite_and_delete",
68
- "baseline::begin_read_pins_coherent_view",
69
- "baseline::full_value_and_key_only_are_core",
70
- "baseline::full_value_preserves_opaque_bytes",
71
- "model::deterministic_history_matches_reference_model",
72
- ]
73
- );
74
- }
75
- }
@@ -1,28 +0,0 @@
1
- use std::collections::BTreeMap;
2
-
3
- use bytes::Bytes;
4
-
5
- use crate::backend::Key;
6
-
7
- #[derive(Clone, Debug, Default, PartialEq, Eq)]
8
- pub struct ReferenceModel {
9
- entries: BTreeMap<Key, Bytes>,
10
- }
11
-
12
- impl ReferenceModel {
13
- pub fn get(&self, key: &Key) -> Option<&Bytes> {
14
- self.entries.get(key)
15
- }
16
-
17
- pub fn put(&mut self, key: Key, value: Bytes) {
18
- self.entries.insert(key, value);
19
- }
20
-
21
- pub fn delete(&mut self, key: &Key) {
22
- self.entries.remove(key);
23
- }
24
-
25
- pub fn iter(&self) -> impl Iterator<Item = (&Key, &Bytes)> {
26
- self.entries.iter()
27
- }
28
- }
@@ -1,257 +0,0 @@
1
- use std::collections::BTreeMap;
2
- use std::ops::Bound;
3
-
4
- use bytes::Bytes;
5
-
6
- use crate::backend::conformance::{
7
- fixtures::{full_put, key, put_batch},
8
- model::ReferenceModel,
9
- open_backend, BackendFactory, ConformanceReport, ConformanceResult,
10
- };
11
- use crate::backend::{
12
- get_many as backend_get_many, visit_range as backend_visit_range, Backend, BackendRead,
13
- BackendWrite, GetOptions, Key, KeyRange, KeyRef, ProjectedValue, ProjectedValueRef, ReadEntry,
14
- ReadOptions, ScanChunk, ScanOptions, WriteOptions,
15
- };
16
-
17
- pub(crate) fn register<F>(report: &mut ConformanceReport, factory: &F)
18
- where
19
- F: BackendFactory,
20
- {
21
- report.run(
22
- "model::deterministic_history_matches_reference_model",
23
- || deterministic_history_matches_reference_model(factory),
24
- );
25
- }
26
-
27
- fn deterministic_history_matches_reference_model<F>(factory: &F) -> ConformanceResult
28
- where
29
- F: BackendFactory,
30
- {
31
- let backend = open_backend(factory);
32
- let mut model = ReferenceModel::default();
33
- let mut rng = TinyRng::new(0x51cedeed);
34
- let keys = [
35
- key("a"),
36
- key("b"),
37
- key("c"),
38
- key("d"),
39
- key("aa"),
40
- key("ab"),
41
- key("ba"),
42
- ];
43
-
44
- for step in 0..48 {
45
- let old_read = backend
46
- .begin_read(ReadOptions::default())
47
- .map_err(|error| format!("step {step}: begin old read failed: {error}"))?;
48
- let old_model = model.clone();
49
- let mut write = backend
50
- .begin_write(WriteOptions::default())
51
- .map_err(|error| format!("step {step}: begin write failed: {error}"))?;
52
- let mut staged = model.clone();
53
-
54
- let mutation_count = 1 + rng.usize(4);
55
- for mutation_index in 0..mutation_count {
56
- let target_key = keys[rng.usize(keys.len())].clone();
57
- if rng.bool() {
58
- let value = Bytes::from(format!("v{step}-{mutation_index}"));
59
- write
60
- .put_many(put_batch([full_put(target_key.clone(), value.clone())]))
61
- .map_err(|error| format!("step {step}: put_many failed: {error}"))?;
62
- staged.put(target_key, value);
63
- } else {
64
- write
65
- .delete_many(&[target_key.clone()])
66
- .map_err(|error| format!("step {step}: delete_many failed: {error}"))?;
67
- staged.delete(&target_key);
68
- }
69
- }
70
-
71
- if rng.bool() {
72
- write
73
- .commit()
74
- .map_err(|error| format!("step {step}: commit failed: {error}"))?;
75
- model = staged;
76
- } else {
77
- write
78
- .rollback()
79
- .map_err(|error| format!("step {step}: rollback failed: {error}"))?;
80
- }
81
-
82
- compare_read_to_model(
83
- &old_read,
84
- &old_model,
85
- &keys,
86
- &mut rng,
87
- &format!("step {step} old snapshot"),
88
- )?;
89
-
90
- let new_read = backend
91
- .begin_read(ReadOptions::default())
92
- .map_err(|error| format!("step {step}: begin new read failed: {error}"))?;
93
- compare_read_to_model(
94
- &new_read,
95
- &model,
96
- &keys,
97
- &mut rng,
98
- &format!("step {step} new snapshot"),
99
- )?;
100
- }
101
-
102
- Ok(())
103
- }
104
-
105
- fn compare_read_to_model<R>(
106
- read: &R,
107
- model: &ReferenceModel,
108
- keys: &[Key],
109
- rng: &mut TinyRng,
110
- label: &str,
111
- ) -> ConformanceResult
112
- where
113
- R: BackendRead,
114
- {
115
- let point_keys = [
116
- keys[rng.usize(keys.len())].clone(),
117
- keys[rng.usize(keys.len())].clone(),
118
- key("missing"),
119
- keys[rng.usize(keys.len())].clone(),
120
- ];
121
- let result = backend_get_many(read, &point_keys, GetOptions::default())
122
- .map_err(|error| format!("{label}: get_many failed: {error}"))?;
123
- let actual = entries_to_map(&result.entries_for_requested_keys(&point_keys));
124
- let expected = point_keys
125
- .iter()
126
- .filter_map(|key| model.get(key).map(|value| (key.clone(), value.clone())))
127
- .collect::<BTreeMap<_, _>>();
128
- if actual != expected {
129
- return Err(format!(
130
- "{label}: get_many mismatch: expected {expected:?}, got {actual:?}"
131
- ));
132
- }
133
-
134
- let lower_key = keys[rng.usize(keys.len())].clone();
135
- let upper_key = keys[rng.usize(keys.len())].clone();
136
- let (lower, upper) = if lower_key <= upper_key {
137
- (lower_key, upper_key)
138
- } else {
139
- (upper_key, lower_key)
140
- };
141
- let range = KeyRange {
142
- lower: Bound::Included(lower),
143
- upper: Bound::Included(upper),
144
- };
145
- let chunk = scan_range(
146
- read,
147
- range.clone(),
148
- ScanOptions {
149
- limit_rows: 3,
150
- ..Default::default()
151
- },
152
- )
153
- .map_err(|error| format!("{label}: scan_range failed: {error}"))?;
154
- let actual_scan = chunk_entries(&chunk.entries);
155
- let expected_scan = model_scan(model, &range, Some(3));
156
- if actual_scan != expected_scan {
157
- return Err(format!(
158
- "{label}: scan_range mismatch: expected {expected_scan:?}, got {actual_scan:?}"
159
- ));
160
- }
161
-
162
- Ok(())
163
- }
164
-
165
- fn scan_range<R>(
166
- read: &R,
167
- range: KeyRange,
168
- opts: ScanOptions<'_>,
169
- ) -> Result<ScanChunk, crate::backend::BackendError>
170
- where
171
- R: BackendRead,
172
- {
173
- let mut entries = Vec::with_capacity(opts.limit_rows);
174
- let result = backend_visit_range(
175
- read,
176
- range,
177
- opts,
178
- &mut |key: KeyRef<'_>, value: ProjectedValueRef<'_>| {
179
- entries.push(ReadEntry {
180
- key: key.to_owned_key(),
181
- value: value.to_owned(),
182
- });
183
- Ok(())
184
- },
185
- )?;
186
- Ok(ScanChunk {
187
- entries,
188
- has_more: result.has_more,
189
- })
190
- }
191
-
192
- fn model_scan(model: &ReferenceModel, range: &KeyRange, limit: Option<usize>) -> Vec<(Key, Bytes)> {
193
- model
194
- .iter()
195
- .filter(|(key, _)| range_contains(range, key))
196
- .take(limit.unwrap_or(usize::MAX))
197
- .map(|(key, value)| (key.clone(), value.clone()))
198
- .collect()
199
- }
200
-
201
- fn range_contains(range: &KeyRange, key: &Key) -> bool {
202
- let lower_matches = match &range.lower {
203
- Bound::Included(lower) => key >= lower,
204
- Bound::Excluded(lower) => key > lower,
205
- Bound::Unbounded => true,
206
- };
207
- let upper_matches = match &range.upper {
208
- Bound::Included(upper) => key <= upper,
209
- Bound::Excluded(upper) => key < upper,
210
- Bound::Unbounded => true,
211
- };
212
- lower_matches && upper_matches
213
- }
214
-
215
- fn chunk_entries(entries: &[crate::backend::ReadEntry]) -> Vec<(Key, Bytes)> {
216
- entries
217
- .iter()
218
- .map(|entry| (entry.key.clone(), projected_value_bytes(&entry.value)))
219
- .collect()
220
- }
221
-
222
- fn entries_to_map(entries: &[crate::backend::ReadEntry]) -> BTreeMap<Key, Bytes> {
223
- chunk_entries(entries).into_iter().collect()
224
- }
225
-
226
- fn projected_value_bytes(value: &ProjectedValue) -> Bytes {
227
- match value {
228
- ProjectedValue::FullValue(bytes) => bytes.clone(),
229
- ProjectedValue::KeyOnly => Bytes::new(),
230
- }
231
- }
232
-
233
- struct TinyRng {
234
- state: u64,
235
- }
236
-
237
- impl TinyRng {
238
- fn new(seed: u64) -> Self {
239
- Self { state: seed }
240
- }
241
-
242
- fn next(&mut self) -> u64 {
243
- self.state = self
244
- .state
245
- .wrapping_mul(6364136223846793005)
246
- .wrapping_add(1442695040888963407);
247
- self.state
248
- }
249
-
250
- fn usize(&mut self, upper: usize) -> usize {
251
- (self.next() as usize) % upper
252
- }
253
-
254
- fn bool(&mut self) -> bool {
255
- self.next() & 1 == 0
256
- }
257
- }
@@ -1,204 +0,0 @@
1
- use crate::backend::conformance::{
2
- fixtures::{full_put, key, put_batch, space},
3
- BackendFactory, BackendFixture, ConformanceReport, ConformanceResult,
4
- };
5
- use crate::backend::{
6
- get_many as backend_get_many, Backend, BackendWrite, GetOptions, ProjectedValue, ReadOptions,
7
- WriteOptions,
8
- };
9
-
10
- pub(crate) fn register<F>(report: &mut ConformanceReport, factory: &F)
11
- where
12
- F: BackendFactory,
13
- {
14
- report.run(
15
- "persistence::durable_write_lock_is_shared_across_reopen",
16
- || durable_write_lock_is_shared_across_reopen(factory),
17
- );
18
- report.run("persistence::committed_data_survives_reopen", || {
19
- committed_data_survives_reopen(factory)
20
- });
21
- report.run(
22
- "persistence::rolled_back_data_does_not_survive_reopen",
23
- || rolled_back_data_does_not_survive_reopen(factory),
24
- );
25
- report.run(
26
- "persistence::overwrite_and_delete_final_state_survives_reopen",
27
- || overwrite_and_delete_final_state_survives_reopen(factory),
28
- );
29
- }
30
-
31
- fn durable_write_lock_is_shared_across_reopen<F>(factory: &F) -> ConformanceResult
32
- where
33
- F: BackendFactory,
34
- {
35
- let fixture = factory.create_fixture();
36
- let first_lock = {
37
- let first = fixture.open();
38
- first.durable_write_lock()
39
- };
40
- let second_lock = {
41
- let second = fixture.open();
42
- second.durable_write_lock()
43
- };
44
- if !first_lock.ptr_eq(&second_lock) {
45
- return Err(
46
- "durable_write_lock must return the same lock for reopened handles to one durable target"
47
- .to_string(),
48
- );
49
- }
50
- Ok(())
51
- }
52
-
53
- fn committed_data_survives_reopen<F>(factory: &F) -> ConformanceResult
54
- where
55
- F: BackendFactory,
56
- {
57
- let fixture = factory.create_fixture();
58
- let test_space = space(71);
59
- let alpha = key("alpha");
60
- let beta = key("beta");
61
-
62
- {
63
- let backend = fixture.open();
64
- let mut write = backend
65
- .begin_write(WriteOptions::default())
66
- .map_err(|error| format!("begin_write failed: {error}"))?;
67
- write
68
- .put_many(put_batch([
69
- full_put(alpha.clone(), "persisted-alpha"),
70
- full_put(beta.clone(), "persisted-beta"),
71
- ]))
72
- .map_err(|error| format!("put_many failed: {error}"))?;
73
- write
74
- .commit()
75
- .map_err(|error| format!("commit failed: {error}"))?;
76
- }
77
-
78
- let reopened = fixture.open();
79
- assert_full_values(
80
- &reopened,
81
- test_space,
82
- &[
83
- (alpha, Some("persisted-alpha")),
84
- (beta, Some("persisted-beta")),
85
- ],
86
- )
87
- }
88
-
89
- fn rolled_back_data_does_not_survive_reopen<F>(factory: &F) -> ConformanceResult
90
- where
91
- F: BackendFactory,
92
- {
93
- let fixture = factory.create_fixture();
94
- let test_space = space(72);
95
- let rolled_back = key("rolled-back");
96
-
97
- {
98
- let backend = fixture.open();
99
- let mut write = backend
100
- .begin_write(WriteOptions::default())
101
- .map_err(|error| format!("begin_write failed: {error}"))?;
102
- write
103
- .put_many(put_batch([full_put(
104
- rolled_back.clone(),
105
- "should-not-persist",
106
- )]))
107
- .map_err(|error| format!("put_many failed: {error}"))?;
108
- write
109
- .rollback()
110
- .map_err(|error| format!("rollback failed: {error}"))?;
111
- }
112
-
113
- let reopened = fixture.open();
114
- assert_full_values(&reopened, test_space, &[(rolled_back, None)])
115
- }
116
-
117
- fn overwrite_and_delete_final_state_survives_reopen<F>(factory: &F) -> ConformanceResult
118
- where
119
- F: BackendFactory,
120
- {
121
- let fixture = factory.create_fixture();
122
- let test_space = space(73);
123
- let overwritten = key("overwritten");
124
- let deleted = key("deleted");
125
-
126
- {
127
- let backend = fixture.open();
128
- let mut write = backend
129
- .begin_write(WriteOptions::default())
130
- .map_err(|error| format!("begin_write failed: {error}"))?;
131
- write
132
- .put_many(put_batch([
133
- full_put(overwritten.clone(), "old"),
134
- full_put(deleted.clone(), "delete-me"),
135
- ]))
136
- .map_err(|error| format!("initial put_many failed: {error}"))?;
137
- write
138
- .commit()
139
- .map_err(|error| format!("initial commit failed: {error}"))?;
140
- }
141
-
142
- {
143
- let backend = fixture.open();
144
- let mut write = backend
145
- .begin_write(WriteOptions::default())
146
- .map_err(|error| format!("begin_write failed: {error}"))?;
147
- write
148
- .put_many(put_batch([full_put(overwritten.clone(), "new")]))
149
- .map_err(|error| format!("overwrite put_many failed: {error}"))?;
150
- write
151
- .delete_many(&[deleted.clone()])
152
- .map_err(|error| format!("delete_many failed: {error}"))?;
153
- write
154
- .commit()
155
- .map_err(|error| format!("final commit failed: {error}"))?;
156
- }
157
-
158
- let reopened = fixture.open();
159
- assert_full_values(
160
- &reopened,
161
- test_space,
162
- &[(overwritten, Some("new")), (deleted, None)],
163
- )
164
- }
165
-
166
- fn assert_full_values<B>(
167
- backend: &B,
168
- _test_space: crate::backend::SpaceId,
169
- expected: &[(crate::backend::Key, Option<&str>)],
170
- ) -> ConformanceResult
171
- where
172
- B: Backend,
173
- {
174
- let keys = expected
175
- .iter()
176
- .map(|(key, _)| key.clone())
177
- .collect::<Vec<_>>();
178
- let read = backend
179
- .begin_read(ReadOptions::default())
180
- .map_err(|error| format!("begin_read failed: {error}"))?;
181
- let result = backend_get_many(&read, &keys, GetOptions::default())
182
- .map_err(|error| format!("get_many failed: {error}"))?;
183
-
184
- for (index, (key, expected_value)) in expected.iter().enumerate() {
185
- let actual = match result.values.get(index).and_then(|value| value.as_ref()) {
186
- Some(ProjectedValue::FullValue(bytes)) => Some(
187
- std::str::from_utf8(bytes.as_ref())
188
- .map_err(|error| format!("slot {index} contained non-utf8 bytes: {error}"))?,
189
- ),
190
- Some(other) => {
191
- return Err(format!("slot {index} returned unexpected value: {other:?}"));
192
- }
193
- None => None,
194
- };
195
- if actual != *expected_value {
196
- return Err(format!(
197
- "key {:?} value mismatch: expected {:?}, got {:?}",
198
- key, expected_value, actual
199
- ));
200
- }
201
- }
202
-
203
- Ok(())
204
- }
@@ -1,21 +0,0 @@
1
- use crate::backend::conformance::{BackendFactory, ConformanceReport};
2
-
3
- pub(crate) fn register<F>(report: &mut ConformanceReport, factory: &F)
4
- where
5
- F: BackendFactory,
6
- {
7
- let capabilities = factory.capabilities();
8
-
9
- if capabilities.projection.header {
10
- report.add_pending("projection::header_returns_header_without_payload");
11
- }
12
- if capabilities.projection.refs {
13
- report.add_pending("projection::refs_returns_refs_without_payload");
14
- }
15
- if capabilities.projection.header_and_refs {
16
- report.add_pending("projection::header_and_refs_returns_both_without_payload");
17
- }
18
- if capabilities.projection.payload {
19
- report.add_pending("projection::payload_returns_payload_only");
20
- }
21
- }
@@ -1,24 +0,0 @@
1
- use crate::backend::{
2
- conformance::{BackendFactory, ConformanceReport},
3
- PredicateSupportLevel,
4
- };
5
-
6
- pub(crate) fn register<F>(report: &mut ConformanceReport, factory: &F)
7
- where
8
- F: BackendFactory,
9
- {
10
- let capabilities = factory.capabilities();
11
-
12
- if capabilities.pushdown.key != PredicateSupportLevel::None {
13
- report.add_pending("pushdown::key_support_metadata_is_truthful");
14
- }
15
- if capabilities.pushdown.header != PredicateSupportLevel::None {
16
- report.add_pending("pushdown::header_support_metadata_is_truthful");
17
- }
18
- if capabilities.pushdown.refs != PredicateSupportLevel::None {
19
- report.add_pending("pushdown::refs_support_metadata_is_truthful");
20
- }
21
- if capabilities.pushdown.object_pruning != PredicateSupportLevel::None {
22
- report.add_pending("pushdown::object_pruning_requires_residual_filtering_when_inexact");
23
- }
24
- }