@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,692 +0,0 @@
1
- use crate::branch::{BRANCH_DESCRIPTOR_SCHEMA_KEY, BRANCH_REF_SCHEMA_KEY};
2
- use crate::changelog::{
3
- ChangeRecord, ChangelogAppend, ChangelogContext, ChangelogWriter, CommitChangeRef,
4
- CommitChangeRefSet, CommitRecord,
5
- };
6
- use crate::entity_pk::EntityPk;
7
- use crate::functions::{
8
- FunctionProvider, FunctionProviderHandle, SharedFunctionProvider, SystemFunctionProvider,
9
- };
10
- use crate::json_store::JsonRef;
11
- use crate::json_store::{JsonStoreContext, JsonWritePlacementRef, NormalizedJsonRef};
12
- use crate::schema::{
13
- registered_schema_entity_pk, schema_key_from_definition, seed_schema_definitions,
14
- };
15
- use crate::storage::StorageBackend;
16
- use crate::storage::{StorageContext, StorageWriteSet};
17
- use crate::tracked_state::{TrackedStateContext, TrackedStateDeltaRef};
18
- use crate::untracked_state::{UntrackedStateContext, UntrackedStateRow};
19
- use crate::LixError;
20
- use crate::GLOBAL_BRANCH_ID;
21
- use serde_json::json;
22
-
23
- const KEY_VALUE_SCHEMA_KEY: &str = "lix_key_value";
24
- const LIX_ID_KEY: &str = "lix_id";
25
- const WORKSPACE_BRANCH_KEY: &str = "lix_workspace_branch_id";
26
- const REGISTERED_SCHEMA_KEY: &str = "lix_registered_schema";
27
-
28
- /// Pure seed plan for initializing an engine repository.
29
- ///
30
- /// Tracked bootstrap facts go to the changelog. Moving refs such as
31
- /// `lix_branch_ref` are seeded as untracked local state so repository heads
32
- /// can advance without becoming commit members.
33
- pub(crate) struct InitSeedPlan {
34
- commit: InitSeedCommit,
35
- changes: Vec<InitSeedChange>,
36
- untracked_rows: Vec<InitSeedLiveRow>,
37
- pub(crate) receipt: InitReceipt,
38
- }
39
-
40
- #[derive(Debug, Clone, PartialEq, Eq)]
41
- struct InitSeedCommit {
42
- id: String,
43
- change_id: String,
44
- parent_ids: Vec<String>,
45
- author_account_ids: Vec<String>,
46
- created_at: String,
47
- }
48
-
49
- #[derive(Debug, Clone, PartialEq, Eq)]
50
- struct InitSeedChange {
51
- id: String,
52
- entity_pk: EntityPk,
53
- schema_key: String,
54
- snapshot_content: String,
55
- created_at: String,
56
- }
57
-
58
- #[derive(Debug, Clone, PartialEq, Eq)]
59
- struct InitSeedLiveRow {
60
- entity_pk: EntityPk,
61
- schema_key: String,
62
- snapshot_content: String,
63
- created_at: String,
64
- updated_at: String,
65
- global: bool,
66
- branch_id: String,
67
- }
68
-
69
- /// Values generated while planning the initial repository seed.
70
- #[derive(Debug, Clone, PartialEq, Eq)]
71
- pub struct InitReceipt {
72
- pub lix_id: String,
73
- pub global_branch_id: String,
74
- pub main_branch_id: String,
75
- pub initial_commit_id: String,
76
- }
77
-
78
- /// Builds the canonical bootstrap changes for a new engine repository.
79
- ///
80
- /// The initial commit tracks durable content rows. Branch refs are moving
81
- /// pointers and therefore live in untracked local state instead of the commit.
82
- pub(crate) fn plan_init_seed(functions: FunctionProviderHandle) -> Result<InitSeedPlan, LixError> {
83
- let main_branch_id = functions.call_uuid_v7();
84
- let lix_id = functions.call_uuid_v7();
85
- let initial_commit_id = functions.call_uuid_v7();
86
- let timestamp = functions.call_timestamp();
87
-
88
- let mut registered_schema_changes = Vec::new();
89
- for schema in seed_schema_definitions() {
90
- let key = schema_key_from_definition(schema)?;
91
- registered_schema_changes.push(canonical_change(
92
- functions.call_uuid_v7(),
93
- registered_schema_entity_pk(&key.schema_key)?,
94
- REGISTERED_SCHEMA_KEY,
95
- registered_schema_snapshot(schema)?,
96
- &timestamp,
97
- ));
98
- }
99
-
100
- let global_branch_descriptor_change = canonical_change(
101
- GLOBAL_BRANCH_ID.to_string(),
102
- EntityPk::single(GLOBAL_BRANCH_ID),
103
- BRANCH_DESCRIPTOR_SCHEMA_KEY,
104
- branch_descriptor_snapshot(GLOBAL_BRANCH_ID, "global", true)?,
105
- &timestamp,
106
- );
107
- let main_branch_descriptor_change = canonical_change(
108
- functions.call_uuid_v7(),
109
- EntityPk::single(&main_branch_id),
110
- BRANCH_DESCRIPTOR_SCHEMA_KEY,
111
- branch_descriptor_snapshot(&main_branch_id, "main", false)?,
112
- &timestamp,
113
- );
114
- let kv_lix_id_change = canonical_change(
115
- functions.call_uuid_v7(),
116
- EntityPk::single(LIX_ID_KEY),
117
- KEY_VALUE_SCHEMA_KEY,
118
- key_value_snapshot(LIX_ID_KEY, &lix_id)?,
119
- &timestamp,
120
- );
121
-
122
- let initial_commit = InitSeedCommit {
123
- id: initial_commit_id.clone(),
124
- change_id: functions.call_uuid_v7(),
125
- parent_ids: Vec::new(),
126
- author_account_ids: Vec::new(),
127
- created_at: timestamp.clone(),
128
- };
129
- let global_branch_ref_row = untracked_row(
130
- EntityPk::single(GLOBAL_BRANCH_ID),
131
- BRANCH_REF_SCHEMA_KEY,
132
- branch_ref_snapshot(GLOBAL_BRANCH_ID, &initial_commit_id)?,
133
- &timestamp,
134
- );
135
- let main_branch_ref_row = untracked_row(
136
- EntityPk::single(&main_branch_id),
137
- BRANCH_REF_SCHEMA_KEY,
138
- branch_ref_snapshot(&main_branch_id, &initial_commit_id)?,
139
- &timestamp,
140
- );
141
- let workspace_branch_row = untracked_row(
142
- EntityPk::single(WORKSPACE_BRANCH_KEY),
143
- KEY_VALUE_SCHEMA_KEY,
144
- key_value_snapshot(WORKSPACE_BRANCH_KEY, &main_branch_id)?,
145
- &timestamp,
146
- );
147
-
148
- Ok(InitSeedPlan {
149
- commit: initial_commit,
150
- changes: registered_schema_changes
151
- .into_iter()
152
- .chain([
153
- global_branch_descriptor_change,
154
- main_branch_descriptor_change,
155
- kv_lix_id_change,
156
- ])
157
- .collect(),
158
- untracked_rows: vec![
159
- global_branch_ref_row,
160
- main_branch_ref_row,
161
- workspace_branch_row,
162
- ],
163
- receipt: InitReceipt {
164
- lix_id,
165
- global_branch_id: GLOBAL_BRANCH_ID.to_string(),
166
- main_branch_id,
167
- initial_commit_id,
168
- },
169
- })
170
- }
171
-
172
- /// Initializes an empty engine repository in one backend transaction.
173
- ///
174
- /// The pure seed planner decides which bootstrap facts exist. This function is
175
- /// only responsible for durably writing those facts to their owning stores:
176
- /// changelog for tracked changes, and live_state for the serving state
177
- /// plus untracked moving refs.
178
- pub(crate) async fn initialize<B>(
179
- storage: StorageContext<B>,
180
- tracked_state: &TrackedStateContext,
181
- untracked_state: &UntrackedStateContext,
182
- ) -> Result<InitReceipt, LixError>
183
- where
184
- B: StorageBackend + Clone + Send + Sync + 'static,
185
- for<'backend> B::Read<'backend>: Clone + Send + Sync + 'static,
186
- for<'backend> B::Write<'backend>: Send,
187
- {
188
- let functions = SharedFunctionProvider::new(
189
- Box::new(SystemFunctionProvider) as Box<dyn FunctionProvider + Send>
190
- );
191
- let plan = plan_init_seed(functions)?;
192
- let receipt = plan.receipt.clone();
193
-
194
- let mut read = storage.begin_read(crate::storage::StorageReadOptions::default())?;
195
- let mut writes = StorageWriteSet::new();
196
-
197
- let authored_changes = plan
198
- .changes
199
- .iter()
200
- .map(seed_change_to_change_record)
201
- .collect::<Vec<_>>();
202
-
203
- stage_init_json_payloads(&mut writes, &plan)?;
204
- stage_init_changelog_commit(&mut read, &mut writes, &plan, authored_changes.clone()).await?;
205
-
206
- let untracked_rows = plan
207
- .untracked_rows
208
- .iter()
209
- .map(untracked_state_row_from_seed)
210
- .collect::<Result<Vec<_>, _>>()?;
211
-
212
- {
213
- untracked_state
214
- .writer(&mut writes)
215
- .stage_rows(untracked_rows.iter().map(|row| row.as_ref()))?;
216
- let commit_row_change = seed_commit_row_change_record(&plan.commit)?;
217
- let mut deltas = authored_changes
218
- .iter()
219
- .map(|change| TrackedStateDeltaRef {
220
- schema_key: &change.schema_key,
221
- file_id: change.file_id.as_deref(),
222
- entity_pk: &change.entity_pk,
223
- change_id: &change.change_id,
224
- commit_id: &plan.commit.id,
225
- snapshot_ref: change.snapshot_ref.as_ref(),
226
- metadata_ref: change.metadata_ref.as_ref(),
227
- deleted: change.snapshot_ref.is_none(),
228
- created_at: &change.created_at,
229
- updated_at: &change.created_at,
230
- })
231
- .collect::<Vec<_>>();
232
- deltas.push(TrackedStateDeltaRef {
233
- schema_key: &commit_row_change.schema_key,
234
- file_id: commit_row_change.file_id.as_deref(),
235
- entity_pk: &commit_row_change.entity_pk,
236
- change_id: &commit_row_change.change_id,
237
- commit_id: &plan.commit.id,
238
- snapshot_ref: commit_row_change.snapshot_ref.as_ref(),
239
- metadata_ref: commit_row_change.metadata_ref.as_ref(),
240
- deleted: commit_row_change.snapshot_ref.is_none(),
241
- created_at: &commit_row_change.created_at,
242
- updated_at: &commit_row_change.created_at,
243
- });
244
- let mut writer = tracked_state.writer(&read, &mut writes);
245
- writer
246
- .stage_commit_root(&receipt.initial_commit_id, None, deltas)
247
- .await?;
248
- }
249
-
250
- storage.commit_write_set(writes, crate::storage::StorageWriteOptions::default())?;
251
- Ok(receipt)
252
- }
253
-
254
- fn seed_change_to_change_record(change: &InitSeedChange) -> ChangeRecord {
255
- ChangeRecord {
256
- format_version: 1,
257
- change_id: change.id.clone(),
258
- entity_pk: change.entity_pk.clone(),
259
- schema_key: change.schema_key.clone(),
260
- file_id: None,
261
- snapshot_ref: Some(JsonRef::for_content(change.snapshot_content.as_bytes())),
262
- metadata_ref: None,
263
- created_at: change.created_at.clone(),
264
- }
265
- }
266
-
267
- fn seed_commit_row_change_record(commit: &InitSeedCommit) -> Result<ChangeRecord, LixError> {
268
- let snapshot_content = commit_row_snapshot_content(&commit.id)?;
269
- Ok(ChangeRecord {
270
- format_version: 1,
271
- change_id: commit.change_id.clone(),
272
- entity_pk: EntityPk::single(commit.id.clone()),
273
- schema_key: "lix_commit".to_string(),
274
- file_id: None,
275
- snapshot_ref: Some(JsonRef::for_content(snapshot_content.as_bytes())),
276
- metadata_ref: None,
277
- created_at: commit.created_at.clone(),
278
- })
279
- }
280
-
281
- fn stage_init_json_payloads(
282
- writes: &mut StorageWriteSet,
283
- plan: &InitSeedPlan,
284
- ) -> Result<(), LixError> {
285
- let commit_snapshot = commit_row_snapshot_content(&plan.commit.id)?;
286
- JsonStoreContext::new().writer().stage_batch(
287
- writes,
288
- JsonWritePlacementRef::OutOfBand,
289
- plan.changes
290
- .iter()
291
- .map(|change| NormalizedJsonRef::new(change.snapshot_content.as_str()))
292
- .chain(std::iter::once(NormalizedJsonRef::new(
293
- commit_snapshot.as_str(),
294
- ))),
295
- )?;
296
- Ok(())
297
- }
298
-
299
- async fn stage_init_changelog_commit(
300
- read: &mut (impl crate::storage::StorageRead + Send + Sync),
301
- writes: &mut StorageWriteSet,
302
- plan: &InitSeedPlan,
303
- changes: Vec<ChangeRecord>,
304
- ) -> Result<(), LixError> {
305
- let commit = CommitRecord {
306
- format_version: 1,
307
- commit_id: plan.commit.id.clone(),
308
- parent_commit_ids: plan.commit.parent_ids.clone(),
309
- change_id: plan.commit.change_id.clone(),
310
- author_account_ids: plan.commit.author_account_ids.clone(),
311
- created_at: plan.commit.created_at.clone(),
312
- };
313
- let commit_change_refs = CommitChangeRefSet {
314
- commit_id: plan.commit.id.clone(),
315
- entries: plan
316
- .changes
317
- .iter()
318
- .map(commit_change_ref_from_seed_change)
319
- .collect(),
320
- };
321
- let mut writer = ChangelogContext::new().writer(read, writes);
322
- writer
323
- .stage_append(ChangelogAppend {
324
- commits: vec![commit],
325
- changes,
326
- commit_change_refs: vec![commit_change_refs],
327
- })
328
- .await
329
- }
330
-
331
- fn commit_row_snapshot_content(commit_id: &str) -> Result<String, LixError> {
332
- encode_snapshot(json!({
333
- "id": commit_id,
334
- }))
335
- }
336
-
337
- fn commit_change_ref_from_seed_change(change: &InitSeedChange) -> CommitChangeRef {
338
- CommitChangeRef {
339
- schema_key: change.schema_key.clone(),
340
- file_id: None,
341
- entity_pk: change.entity_pk.clone(),
342
- change_id: change.id.clone(),
343
- }
344
- }
345
-
346
- fn untracked_state_row_from_seed(row: &InitSeedLiveRow) -> Result<UntrackedStateRow, LixError> {
347
- Ok(UntrackedStateRow {
348
- entity_pk: row.entity_pk.clone(),
349
- schema_key: row.schema_key.clone(),
350
- file_id: None,
351
- snapshot_content: Some(row.snapshot_content.clone()),
352
- metadata: None,
353
- created_at: row.created_at.clone(),
354
- updated_at: row.updated_at.clone(),
355
- global: row.global,
356
- branch_id: row.branch_id.clone(),
357
- })
358
- }
359
-
360
- fn untracked_row(
361
- entity_pk: EntityPk,
362
- schema_key: &str,
363
- snapshot_content: String,
364
- timestamp: &str,
365
- ) -> InitSeedLiveRow {
366
- InitSeedLiveRow {
367
- entity_pk,
368
- schema_key: schema_key.to_string(),
369
- snapshot_content,
370
- created_at: timestamp.to_string(),
371
- updated_at: timestamp.to_string(),
372
- global: true,
373
- branch_id: GLOBAL_BRANCH_ID.to_string(),
374
- }
375
- }
376
-
377
- fn canonical_change(
378
- id: String,
379
- entity_pk: EntityPk,
380
- schema_key: &str,
381
- snapshot_content: String,
382
- created_at: &str,
383
- ) -> InitSeedChange {
384
- InitSeedChange {
385
- id,
386
- entity_pk,
387
- schema_key: schema_key.to_string(),
388
- snapshot_content,
389
- created_at: created_at.to_string(),
390
- }
391
- }
392
-
393
- fn branch_descriptor_snapshot(id: &str, name: &str, hidden: bool) -> Result<String, LixError> {
394
- encode_snapshot(json!({
395
- "id": id,
396
- "name": name,
397
- "hidden": hidden,
398
- }))
399
- }
400
-
401
- fn key_value_snapshot(key: &str, value: &str) -> Result<String, LixError> {
402
- encode_snapshot(json!({
403
- "key": key,
404
- "value": value,
405
- }))
406
- }
407
-
408
- fn registered_schema_snapshot(schema: &serde_json::Value) -> Result<String, LixError> {
409
- encode_snapshot(json!({
410
- "value": schema,
411
- }))
412
- }
413
-
414
- fn branch_ref_snapshot(id: &str, commit_id: &str) -> Result<String, LixError> {
415
- encode_snapshot(json!({
416
- "id": id,
417
- "commit_id": commit_id,
418
- }))
419
- }
420
-
421
- fn encode_snapshot(value: serde_json::Value) -> Result<String, LixError> {
422
- serde_json::to_string(&value).map_err(|error| {
423
- LixError::new(
424
- "LIX_ERROR_UNKNOWN",
425
- format!("engine init seed snapshot serialization failed: {error}"),
426
- )
427
- })
428
- }
429
-
430
- #[cfg(test)]
431
- mod tests {
432
- use serde_json::Value as JsonValue;
433
-
434
- use super::*;
435
- use crate::changelog::ChangelogReader;
436
- use crate::functions::{FunctionProvider, SharedFunctionProvider};
437
- use crate::storage::InMemoryStorageBackend;
438
- use crate::storage::StorageContext;
439
- use crate::tracked_state::TrackedStateContext;
440
- use crate::untracked_state::UntrackedStateContext;
441
-
442
- #[test]
443
- fn plan_init_seed_returns_tracked_changes_and_untracked_workspace_state() {
444
- let plan = plan_init_seed(test_functions()).expect("init seed should plan");
445
-
446
- assert_eq!(plan.changes.len(), seed_schema_definitions().len() + 3);
447
- assert_eq!(plan.untracked_rows.len(), 3);
448
- assert_eq!(plan.receipt.global_branch_id, GLOBAL_BRANCH_ID);
449
- assert_eq!(plan.receipt.main_branch_id, "test-uuid-1");
450
- assert_eq!(plan.receipt.lix_id, "test-uuid-2");
451
- assert_eq!(plan.receipt.initial_commit_id, "test-uuid-3");
452
- }
453
-
454
- #[test]
455
- fn plan_init_seed_commit_header_tracks_schema_registrations_descriptor_and_lix_id_changes() {
456
- let plan = plan_init_seed(test_functions()).expect("init seed should plan");
457
-
458
- assert_eq!(plan.commit.id, plan.receipt.initial_commit_id);
459
- assert_eq!(plan.commit.change_id, "test-uuid-21");
460
- assert!(plan.commit.parent_ids.is_empty());
461
- assert!(plan.commit.author_account_ids.is_empty());
462
- assert_eq!(plan.commit.created_at, "test-timestamp-1");
463
-
464
- let change_ids = plan
465
- .changes
466
- .iter()
467
- .map(|change| change.id.as_str())
468
- .collect::<Vec<_>>();
469
- assert_eq!(change_ids.len(), seed_schema_definitions().len() + 3);
470
- assert!(change_ids.contains(&"global"));
471
- assert!(!change_ids.contains(&plan.commit.change_id.as_str()));
472
-
473
- let registered_schema_change_ids = plan
474
- .changes
475
- .iter()
476
- .filter(|change| change.schema_key == REGISTERED_SCHEMA_KEY)
477
- .map(|change| change.id.as_str())
478
- .collect::<Vec<_>>();
479
- for change_id in registered_schema_change_ids {
480
- assert!(change_ids.contains(&change_id));
481
- }
482
- }
483
-
484
- #[test]
485
- fn plan_init_seed_registers_seed_schemas_as_initial_commit_rows() {
486
- let plan = plan_init_seed(test_functions()).expect("init seed should plan");
487
- let registered_schema_changes = plan
488
- .changes
489
- .iter()
490
- .filter(|change| change.schema_key == REGISTERED_SCHEMA_KEY)
491
- .collect::<Vec<_>>();
492
-
493
- assert_eq!(
494
- registered_schema_changes.len(),
495
- seed_schema_definitions().len()
496
- );
497
- assert!(registered_schema_changes.iter().any(|change| {
498
- snapshot(change)
499
- .pointer("/value/x-lix-key")
500
- .and_then(JsonValue::as_str)
501
- == Some(REGISTERED_SCHEMA_KEY)
502
- }));
503
- assert!(registered_schema_changes.iter().any(|change| {
504
- snapshot(change)
505
- .pointer("/value/x-lix-key")
506
- .and_then(JsonValue::as_str)
507
- == Some(KEY_VALUE_SCHEMA_KEY)
508
- }));
509
- }
510
-
511
- #[test]
512
- fn plan_init_seed_branch_refs_point_to_initial_commit() {
513
- let plan = plan_init_seed(test_functions()).expect("init seed should plan");
514
- let branch_refs = plan
515
- .untracked_rows
516
- .iter()
517
- .filter(|row| row.schema_key == BRANCH_REF_SCHEMA_KEY)
518
- .collect::<Vec<_>>();
519
-
520
- assert_eq!(branch_refs.len(), 2);
521
- assert!(plan
522
- .changes
523
- .iter()
524
- .all(|change| change.schema_key != BRANCH_REF_SCHEMA_KEY));
525
- for row in branch_refs {
526
- assert_eq!(row.schema_key, BRANCH_REF_SCHEMA_KEY);
527
- assert_eq!(row.branch_id, GLOBAL_BRANCH_ID);
528
- let snapshot = untracked_snapshot(row);
529
- assert_eq!(
530
- snapshot.get("commit_id").and_then(JsonValue::as_str),
531
- Some(plan.receipt.initial_commit_id.as_str())
532
- );
533
- }
534
- }
535
-
536
- #[test]
537
- fn plan_init_seed_workspace_branch_points_to_main_branch() {
538
- let plan = plan_init_seed(test_functions()).expect("init seed should plan");
539
- let workspace_row = plan
540
- .untracked_rows
541
- .iter()
542
- .find(|row| {
543
- row.schema_key == KEY_VALUE_SCHEMA_KEY
544
- && row.entity_pk == crate::entity_pk::EntityPk::single(WORKSPACE_BRANCH_KEY)
545
- })
546
- .expect("workspace branch row should exist");
547
-
548
- assert_eq!(workspace_row.branch_id, GLOBAL_BRANCH_ID);
549
- assert!(workspace_row.global);
550
- let snapshot = untracked_snapshot(workspace_row);
551
- assert_eq!(
552
- snapshot.get("key").and_then(JsonValue::as_str),
553
- Some(WORKSPACE_BRANCH_KEY)
554
- );
555
- assert_eq!(
556
- snapshot.get("value").and_then(JsonValue::as_str),
557
- Some(plan.receipt.main_branch_id.as_str())
558
- );
559
- }
560
-
561
- #[tokio::test]
562
- async fn initialize_writes_initial_commit_through_changelog() {
563
- let backend = InMemoryStorageBackend::new();
564
- let storage = StorageContext::new(backend);
565
- let tracked_state = TrackedStateContext::new();
566
- let untracked_state = UntrackedStateContext::new();
567
-
568
- let receipt = initialize(storage.clone(), &tracked_state, &untracked_state)
569
- .await
570
- .expect("engine should initialize");
571
- let mut reader = ChangelogContext::new().reader(
572
- storage
573
- .begin_read(crate::storage::StorageReadOptions::default())
574
- .expect("read should open"),
575
- );
576
- let commits = reader
577
- .load_commits(crate::changelog::CommitLoadRequest {
578
- commit_ids: &[receipt.initial_commit_id.clone()],
579
- projection: crate::changelog::CommitProjection::Full,
580
- })
581
- .await
582
- .expect("commit should load");
583
- let Some(crate::changelog::CommitLoadEntry::Full {
584
- record,
585
- change_ref_chunks,
586
- }) = commits.entries.into_iter().next().flatten()
587
- else {
588
- panic!("initial commit should exist");
589
- };
590
-
591
- assert_eq!(record.commit_id, receipt.initial_commit_id);
592
- let commit_change_id = record.change_id.clone();
593
- let change_refs = change_ref_chunks
594
- .iter()
595
- .flat_map(|chunk| chunk.entries.iter())
596
- .collect::<Vec<_>>();
597
- assert_eq!(change_refs.len(), seed_schema_definitions().len() + 3);
598
- assert!(
599
- !change_refs
600
- .iter()
601
- .any(|change_ref| change_ref.change_id == record.change_id),
602
- "initial commit row is derived from changelog.commit, not stored in commit refs"
603
- );
604
-
605
- let changes = reader
606
- .load_changes(crate::changelog::ChangeLoadRequest {
607
- change_ids: &["global".to_string()],
608
- })
609
- .await
610
- .expect("change index should load");
611
- assert!(matches!(
612
- changes.entries.as_slice(),
613
- [Some(change)] if change.change_id == "global"
614
- ));
615
- let missing_derivable = reader
616
- .load_changes(crate::changelog::ChangeLoadRequest {
617
- change_ids: &[commit_change_id.clone()],
618
- })
619
- .await
620
- .expect("derivable change lookup should load");
621
- assert!(matches!(missing_derivable.entries.as_slice(), [None]));
622
- {
623
- let read = storage
624
- .begin_read(crate::storage::StorageReadOptions::default())
625
- .expect("read should open");
626
- let mut writes = storage.new_write_set();
627
- tracked_state
628
- .root_rebuilder(&read, &mut writes)
629
- .rebuild_commit_root_at(&receipt.initial_commit_id)
630
- .await
631
- .expect("initial commit root should rebuild from changelog refs");
632
- drop(read);
633
- storage
634
- .commit_write_set(writes, crate::storage::StorageWriteOptions::default())
635
- .expect("rebuilt initial commit root should commit");
636
- }
637
- let mut tracked_reader = tracked_state.reader(
638
- storage
639
- .begin_read(crate::storage::StorageReadOptions::default())
640
- .expect("read should open"),
641
- );
642
- let rows = tracked_reader
643
- .scan_rows_at_commit(
644
- &receipt.initial_commit_id,
645
- &crate::tracked_state::TrackedStateScanRequest {
646
- filter: crate::tracked_state::TrackedStateFilter {
647
- schema_keys: vec!["lix_commit".to_string()],
648
- ..Default::default()
649
- },
650
- ..Default::default()
651
- },
652
- )
653
- .await
654
- .expect("tracked initial root should scan");
655
- assert!(
656
- rows.iter().any(|row| row.change_id == commit_change_id),
657
- "initial commit root should surface its lix_commit row"
658
- );
659
- }
660
-
661
- fn snapshot(change: &InitSeedChange) -> JsonValue {
662
- serde_json::from_str(&change.snapshot_content).expect("snapshot should be JSON")
663
- }
664
-
665
- fn untracked_snapshot(row: &InitSeedLiveRow) -> JsonValue {
666
- serde_json::from_str(&row.snapshot_content).expect("snapshot should be JSON")
667
- }
668
-
669
- fn test_functions() -> FunctionProviderHandle {
670
- SharedFunctionProvider::new(
671
- Box::new(TestFunctionProvider::default()) as Box<dyn FunctionProvider + Send>
672
- )
673
- }
674
-
675
- #[derive(Default)]
676
- struct TestFunctionProvider {
677
- uuid_count: usize,
678
- timestamp_count: usize,
679
- }
680
-
681
- impl FunctionProvider for TestFunctionProvider {
682
- fn uuid_v7(&mut self) -> String {
683
- self.uuid_count += 1;
684
- format!("test-uuid-{}", self.uuid_count)
685
- }
686
-
687
- fn timestamp(&mut self) -> String {
688
- self.timestamp_count += 1;
689
- format!("test-timestamp-{}", self.timestamp_count)
690
- }
691
- }
692
- }