@lix-js/sdk 0.6.0-preview.1 → 0.6.0-preview.3

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 (205) hide show
  1. package/SKILL.md +304 -320
  2. package/dist/engine-wasm/wasm/lix_engine.d.ts +5 -0
  3. package/dist/engine-wasm/wasm/lix_engine.js +9 -13
  4. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  5. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +1 -0
  6. package/dist/generated/builtin-schemas.d.ts +87 -162
  7. package/dist/generated/builtin-schemas.js +139 -236
  8. package/dist/open-lix.d.ts +103 -14
  9. package/dist/open-lix.js +3 -0
  10. package/dist/sqlite/index.js +99 -22
  11. package/dist-engine-src/README.md +18 -0
  12. package/dist-engine-src/src/backend/kv.rs +358 -0
  13. package/dist-engine-src/src/backend/mod.rs +12 -0
  14. package/dist-engine-src/src/backend/testing.rs +658 -0
  15. package/dist-engine-src/src/backend/types.rs +96 -0
  16. package/dist-engine-src/src/binary_cas/chunking.rs +31 -0
  17. package/dist-engine-src/src/binary_cas/codec.rs +346 -0
  18. package/dist-engine-src/src/binary_cas/context.rs +139 -0
  19. package/dist-engine-src/src/binary_cas/kv.rs +1063 -0
  20. package/dist-engine-src/src/binary_cas/mod.rs +11 -0
  21. package/dist-engine-src/src/binary_cas/types.rs +121 -0
  22. package/dist-engine-src/src/catalog/context.rs +412 -0
  23. package/dist-engine-src/src/catalog/mod.rs +10 -0
  24. package/dist-engine-src/src/catalog/schema.rs +4 -0
  25. package/dist-engine-src/src/catalog/snapshot.rs +1114 -0
  26. package/dist-engine-src/src/cel/context.rs +86 -0
  27. package/dist-engine-src/src/cel/error.rs +19 -0
  28. package/dist-engine-src/src/cel/mod.rs +8 -0
  29. package/dist-engine-src/src/cel/provider.rs +9 -0
  30. package/dist-engine-src/src/cel/runtime.rs +167 -0
  31. package/dist-engine-src/src/cel/value.rs +50 -0
  32. package/dist-engine-src/src/commit_graph/context.rs +901 -0
  33. package/dist-engine-src/src/commit_graph/mod.rs +11 -0
  34. package/dist-engine-src/src/commit_graph/types.rs +109 -0
  35. package/dist-engine-src/src/commit_graph/walker.rs +756 -0
  36. package/dist-engine-src/src/commit_store/codec.rs +887 -0
  37. package/dist-engine-src/src/commit_store/context.rs +944 -0
  38. package/dist-engine-src/src/commit_store/materialization.rs +84 -0
  39. package/dist-engine-src/src/commit_store/mod.rs +16 -0
  40. package/dist-engine-src/src/commit_store/storage.rs +600 -0
  41. package/dist-engine-src/src/commit_store/types.rs +215 -0
  42. package/dist-engine-src/src/common/error.rs +313 -0
  43. package/dist-engine-src/src/common/fingerprint.rs +3 -0
  44. package/dist-engine-src/src/common/fs_path.rs +1336 -0
  45. package/dist-engine-src/src/common/identity.rs +145 -0
  46. package/dist-engine-src/src/common/json_pointer.rs +67 -0
  47. package/dist-engine-src/src/common/metadata.rs +40 -0
  48. package/dist-engine-src/src/common/mod.rs +23 -0
  49. package/dist-engine-src/src/common/types.rs +105 -0
  50. package/dist-engine-src/src/common/wire.rs +222 -0
  51. package/dist-engine-src/src/domain.rs +324 -0
  52. package/dist-engine-src/src/engine.rs +225 -0
  53. package/dist-engine-src/src/entity_identity.rs +405 -0
  54. package/dist-engine-src/src/functions/context.rs +292 -0
  55. package/dist-engine-src/src/functions/deterministic.rs +113 -0
  56. package/dist-engine-src/src/functions/mod.rs +18 -0
  57. package/dist-engine-src/src/functions/provider.rs +130 -0
  58. package/dist-engine-src/src/functions/state.rs +336 -0
  59. package/dist-engine-src/src/functions/types.rs +37 -0
  60. package/dist-engine-src/src/init.rs +558 -0
  61. package/dist-engine-src/src/json_store/compression.rs +77 -0
  62. package/dist-engine-src/src/json_store/context.rs +423 -0
  63. package/dist-engine-src/src/json_store/encoded.rs +15 -0
  64. package/dist-engine-src/src/json_store/mod.rs +12 -0
  65. package/dist-engine-src/src/json_store/store.rs +1109 -0
  66. package/dist-engine-src/src/json_store/types.rs +217 -0
  67. package/dist-engine-src/src/lib.rs +62 -0
  68. package/dist-engine-src/src/live_state/context.rs +2019 -0
  69. package/dist-engine-src/src/live_state/mod.rs +15 -0
  70. package/dist-engine-src/src/live_state/overlay.rs +75 -0
  71. package/dist-engine-src/src/live_state/reader.rs +23 -0
  72. package/dist-engine-src/src/live_state/types.rs +222 -0
  73. package/dist-engine-src/src/live_state/visibility.rs +223 -0
  74. package/dist-engine-src/src/plugin/archive.rs +438 -0
  75. package/dist-engine-src/src/plugin/component.rs +183 -0
  76. package/dist-engine-src/src/plugin/install.rs +619 -0
  77. package/dist-engine-src/src/plugin/manifest.rs +516 -0
  78. package/dist-engine-src/src/plugin/materializer.rs +477 -0
  79. package/dist-engine-src/src/plugin/mod.rs +33 -0
  80. package/dist-engine-src/src/plugin/plugin_manifest.json +118 -0
  81. package/dist-engine-src/src/plugin/storage.rs +74 -0
  82. package/dist-engine-src/src/schema/annotations/defaults.rs +275 -0
  83. package/dist-engine-src/src/schema/annotations/mod.rs +1 -0
  84. package/dist-engine-src/src/schema/builtin/lix_account.json +21 -0
  85. package/dist-engine-src/src/schema/builtin/lix_active_account.json +29 -0
  86. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +29 -0
  87. package/dist-engine-src/src/schema/builtin/lix_change.json +63 -0
  88. package/dist-engine-src/src/schema/builtin/lix_change_author.json +45 -0
  89. package/dist-engine-src/src/schema/builtin/lix_commit.json +24 -0
  90. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +53 -0
  91. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +52 -0
  92. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +52 -0
  93. package/dist-engine-src/src/schema/builtin/lix_key_value.json +40 -0
  94. package/dist-engine-src/src/schema/builtin/lix_label.json +29 -0
  95. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +74 -0
  96. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +25 -0
  97. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +34 -0
  98. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +48 -0
  99. package/dist-engine-src/src/schema/builtin/mod.rs +222 -0
  100. package/dist-engine-src/src/schema/compatibility.rs +787 -0
  101. package/dist-engine-src/src/schema/definition.json +187 -0
  102. package/dist-engine-src/src/schema/definition.rs +742 -0
  103. package/dist-engine-src/src/schema/key.rs +138 -0
  104. package/dist-engine-src/src/schema/mod.rs +20 -0
  105. package/dist-engine-src/src/schema/seed.rs +14 -0
  106. package/dist-engine-src/src/schema/tests.rs +780 -0
  107. package/dist-engine-src/src/session/context.rs +364 -0
  108. package/dist-engine-src/src/session/create_version.rs +88 -0
  109. package/dist-engine-src/src/session/execute.rs +478 -0
  110. package/dist-engine-src/src/session/merge/analysis.rs +102 -0
  111. package/dist-engine-src/src/session/merge/apply.rs +23 -0
  112. package/dist-engine-src/src/session/merge/conflicts.rs +63 -0
  113. package/dist-engine-src/src/session/merge/mod.rs +11 -0
  114. package/dist-engine-src/src/session/merge/stats.rs +65 -0
  115. package/dist-engine-src/src/session/merge/version.rs +427 -0
  116. package/dist-engine-src/src/session/mod.rs +27 -0
  117. package/dist-engine-src/src/session/optimization9_sql2_bench.rs +100 -0
  118. package/dist-engine-src/src/session/switch_version.rs +109 -0
  119. package/dist-engine-src/src/sql2/change_provider.rs +331 -0
  120. package/dist-engine-src/src/sql2/classify.rs +182 -0
  121. package/dist-engine-src/src/sql2/context.rs +311 -0
  122. package/dist-engine-src/src/sql2/directory_history_provider.rs +631 -0
  123. package/dist-engine-src/src/sql2/directory_provider.rs +2453 -0
  124. package/dist-engine-src/src/sql2/dml.rs +148 -0
  125. package/dist-engine-src/src/sql2/entity_history_provider.rs +440 -0
  126. package/dist-engine-src/src/sql2/entity_provider.rs +3211 -0
  127. package/dist-engine-src/src/sql2/error.rs +216 -0
  128. package/dist-engine-src/src/sql2/execute.rs +3440 -0
  129. package/dist-engine-src/src/sql2/file_history_provider.rs +910 -0
  130. package/dist-engine-src/src/sql2/file_provider.rs +3679 -0
  131. package/dist-engine-src/src/sql2/filesystem_planner.rs +1490 -0
  132. package/dist-engine-src/src/sql2/filesystem_predicates.rs +159 -0
  133. package/dist-engine-src/src/sql2/filesystem_visibility.rs +383 -0
  134. package/dist-engine-src/src/sql2/history_projection.rs +56 -0
  135. package/dist-engine-src/src/sql2/history_provider.rs +412 -0
  136. package/dist-engine-src/src/sql2/history_route.rs +657 -0
  137. package/dist-engine-src/src/sql2/lix_state_provider.rs +2512 -0
  138. package/dist-engine-src/src/sql2/mod.rs +46 -0
  139. package/dist-engine-src/src/sql2/predicate_typecheck.rs +246 -0
  140. package/dist-engine-src/src/sql2/public_bind/assignment.rs +46 -0
  141. package/dist-engine-src/src/sql2/public_bind/capability.rs +41 -0
  142. package/dist-engine-src/src/sql2/public_bind/dml.rs +166 -0
  143. package/dist-engine-src/src/sql2/public_bind/mod.rs +25 -0
  144. package/dist-engine-src/src/sql2/public_bind/table.rs +168 -0
  145. package/dist-engine-src/src/sql2/read_only.rs +63 -0
  146. package/dist-engine-src/src/sql2/record_batch.rs +17 -0
  147. package/dist-engine-src/src/sql2/result_metadata.rs +29 -0
  148. package/dist-engine-src/src/sql2/runtime.rs +60 -0
  149. package/dist-engine-src/src/sql2/session.rs +132 -0
  150. package/dist-engine-src/src/sql2/udfs/common.rs +295 -0
  151. package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +53 -0
  152. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +47 -0
  153. package/dist-engine-src/src/sql2/udfs/lix_json.rs +100 -0
  154. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +99 -0
  155. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +99 -0
  156. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +82 -0
  157. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +85 -0
  158. package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +76 -0
  159. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +76 -0
  160. package/dist-engine-src/src/sql2/udfs/mod.rs +89 -0
  161. package/dist-engine-src/src/sql2/udfs/public_call.rs +211 -0
  162. package/dist-engine-src/src/sql2/version_provider.rs +1202 -0
  163. package/dist-engine-src/src/sql2/version_scope.rs +394 -0
  164. package/dist-engine-src/src/sql2/write_normalization.rs +345 -0
  165. package/dist-engine-src/src/storage/context.rs +356 -0
  166. package/dist-engine-src/src/storage/mod.rs +14 -0
  167. package/dist-engine-src/src/storage/read_scope.rs +88 -0
  168. package/dist-engine-src/src/storage/types.rs +501 -0
  169. package/dist-engine-src/src/storage_bench.rs +4863 -0
  170. package/dist-engine-src/src/test_support.rs +228 -0
  171. package/dist-engine-src/src/tracked_state/by_file_index.rs +98 -0
  172. package/dist-engine-src/src/tracked_state/codec.rs +2085 -0
  173. package/dist-engine-src/src/tracked_state/context.rs +1867 -0
  174. package/dist-engine-src/src/tracked_state/diff.rs +686 -0
  175. package/dist-engine-src/src/tracked_state/materialization.rs +403 -0
  176. package/dist-engine-src/src/tracked_state/materializer.rs +488 -0
  177. package/dist-engine-src/src/tracked_state/merge.rs +492 -0
  178. package/dist-engine-src/src/tracked_state/mod.rs +32 -0
  179. package/dist-engine-src/src/tracked_state/storage.rs +375 -0
  180. package/dist-engine-src/src/tracked_state/tree.rs +3187 -0
  181. package/dist-engine-src/src/tracked_state/types.rs +231 -0
  182. package/dist-engine-src/src/transaction/commit.rs +1484 -0
  183. package/dist-engine-src/src/transaction/context.rs +1548 -0
  184. package/dist-engine-src/src/transaction/live_state_overlay.rs +35 -0
  185. package/dist-engine-src/src/transaction/mod.rs +13 -0
  186. package/dist-engine-src/src/transaction/normalization.rs +890 -0
  187. package/dist-engine-src/src/transaction/prep.rs +37 -0
  188. package/dist-engine-src/src/transaction/schema_resolver.rs +149 -0
  189. package/dist-engine-src/src/transaction/staging.rs +1731 -0
  190. package/dist-engine-src/src/transaction/types.rs +460 -0
  191. package/dist-engine-src/src/transaction/validation.rs +5830 -0
  192. package/dist-engine-src/src/untracked_state/codec.rs +307 -0
  193. package/dist-engine-src/src/untracked_state/context.rs +98 -0
  194. package/dist-engine-src/src/untracked_state/materialization.rs +63 -0
  195. package/dist-engine-src/src/untracked_state/mod.rs +15 -0
  196. package/dist-engine-src/src/untracked_state/storage.rs +396 -0
  197. package/dist-engine-src/src/untracked_state/types.rs +146 -0
  198. package/dist-engine-src/src/version/context.rs +40 -0
  199. package/dist-engine-src/src/version/lifecycle.rs +221 -0
  200. package/dist-engine-src/src/version/mod.rs +13 -0
  201. package/dist-engine-src/src/version/refs.rs +330 -0
  202. package/dist-engine-src/src/version/stage_rows.rs +67 -0
  203. package/dist-engine-src/src/version/types.rs +21 -0
  204. package/dist-engine-src/src/wasm/mod.rs +60 -0
  205. package/package.json +68 -64
@@ -0,0 +1,558 @@
1
+ use crate::commit_store::{Change, CommitDraftRef, CommitStoreContext};
2
+ use crate::entity_identity::EntityIdentity;
3
+ use crate::functions::{
4
+ FunctionProvider, FunctionProviderHandle, SharedFunctionProvider, SystemFunctionProvider,
5
+ };
6
+ use crate::json_store::{JsonRef, JsonStoreContext, JsonWritePlacementRef, NormalizedJsonRef};
7
+ use crate::schema::{
8
+ registered_schema_entity_id, schema_key_from_definition, seed_schema_definitions,
9
+ };
10
+ use crate::storage::{StorageContext, StorageWriteSet};
11
+ use crate::tracked_state::{TrackedStateContext, TrackedStateDeltaRef};
12
+ use crate::untracked_state::{UntrackedStateContext, UntrackedStateRow};
13
+ use crate::version::{VERSION_DESCRIPTOR_SCHEMA_KEY, VERSION_REF_SCHEMA_KEY};
14
+ use crate::LixError;
15
+ use crate::GLOBAL_VERSION_ID;
16
+ use serde_json::json;
17
+ #[cfg(test)]
18
+ use std::sync::Arc;
19
+
20
+ const KEY_VALUE_SCHEMA_KEY: &str = "lix_key_value";
21
+ const LIX_ID_KEY: &str = "lix_id";
22
+ const WORKSPACE_VERSION_KEY: &str = "lix_workspace_version_id";
23
+ const REGISTERED_SCHEMA_KEY: &str = "lix_registered_schema";
24
+
25
+ /// Pure seed plan for initializing an engine repository.
26
+ ///
27
+ /// Tracked bootstrap facts go to the commit store. Moving refs such as
28
+ /// `lix_version_ref` are seeded as untracked local state so repository heads
29
+ /// can advance without becoming commit members.
30
+ pub(crate) struct InitSeedPlan {
31
+ commit: InitSeedCommit,
32
+ changes: Vec<InitSeedChange>,
33
+ untracked_rows: Vec<InitSeedLiveRow>,
34
+ pub(crate) receipt: InitReceipt,
35
+ }
36
+
37
+ #[derive(Debug, Clone, PartialEq, Eq)]
38
+ struct InitSeedCommit {
39
+ id: String,
40
+ change_id: String,
41
+ parent_ids: Vec<String>,
42
+ author_account_ids: Vec<String>,
43
+ created_at: String,
44
+ }
45
+
46
+ #[derive(Debug, Clone, PartialEq, Eq)]
47
+ struct InitSeedChange {
48
+ id: String,
49
+ entity_id: EntityIdentity,
50
+ schema_key: String,
51
+ snapshot_content: String,
52
+ created_at: String,
53
+ }
54
+
55
+ #[derive(Debug, Clone, PartialEq, Eq)]
56
+ struct InitSeedLiveRow {
57
+ entity_id: EntityIdentity,
58
+ schema_key: String,
59
+ snapshot_content: String,
60
+ created_at: String,
61
+ updated_at: String,
62
+ global: bool,
63
+ version_id: String,
64
+ }
65
+
66
+ /// Values generated while planning the initial repository seed.
67
+ #[derive(Debug, Clone, PartialEq, Eq)]
68
+ pub struct InitReceipt {
69
+ pub lix_id: String,
70
+ pub global_version_id: String,
71
+ pub main_version_id: String,
72
+ pub initial_commit_id: String,
73
+ }
74
+
75
+ /// Builds the canonical bootstrap changes for a new engine repository.
76
+ ///
77
+ /// The initial commit tracks durable content rows. Version refs are moving
78
+ /// pointers and therefore live in untracked local state instead of the commit.
79
+ pub(crate) fn plan_init_seed(functions: FunctionProviderHandle) -> Result<InitSeedPlan, LixError> {
80
+ let main_version_id = functions.call_uuid_v7();
81
+ let lix_id = functions.call_uuid_v7();
82
+ let initial_commit_id = functions.call_uuid_v7();
83
+ let timestamp = functions.call_timestamp();
84
+
85
+ let mut registered_schema_changes = Vec::new();
86
+ for schema in seed_schema_definitions() {
87
+ let key = schema_key_from_definition(schema)?;
88
+ registered_schema_changes.push(canonical_change(
89
+ functions.call_uuid_v7(),
90
+ registered_schema_entity_id(&key.schema_key)?,
91
+ REGISTERED_SCHEMA_KEY,
92
+ registered_schema_snapshot(schema)?,
93
+ &timestamp,
94
+ ));
95
+ }
96
+
97
+ let global_version_descriptor_change = canonical_change(
98
+ GLOBAL_VERSION_ID.to_string(),
99
+ EntityIdentity::single(GLOBAL_VERSION_ID),
100
+ VERSION_DESCRIPTOR_SCHEMA_KEY,
101
+ version_descriptor_snapshot(GLOBAL_VERSION_ID, "global", true)?,
102
+ &timestamp,
103
+ );
104
+ let main_version_descriptor_change = canonical_change(
105
+ functions.call_uuid_v7(),
106
+ EntityIdentity::single(&main_version_id),
107
+ VERSION_DESCRIPTOR_SCHEMA_KEY,
108
+ version_descriptor_snapshot(&main_version_id, "main", false)?,
109
+ &timestamp,
110
+ );
111
+ let kv_lix_id_change = canonical_change(
112
+ functions.call_uuid_v7(),
113
+ EntityIdentity::single(LIX_ID_KEY),
114
+ KEY_VALUE_SCHEMA_KEY,
115
+ key_value_snapshot(LIX_ID_KEY, &lix_id)?,
116
+ &timestamp,
117
+ );
118
+
119
+ let initial_commit = InitSeedCommit {
120
+ id: initial_commit_id.clone(),
121
+ change_id: functions.call_uuid_v7(),
122
+ parent_ids: Vec::new(),
123
+ author_account_ids: Vec::new(),
124
+ created_at: timestamp.clone(),
125
+ };
126
+ let global_version_ref_row = untracked_row(
127
+ EntityIdentity::single(GLOBAL_VERSION_ID),
128
+ VERSION_REF_SCHEMA_KEY,
129
+ version_ref_snapshot(GLOBAL_VERSION_ID, &initial_commit_id)?,
130
+ &timestamp,
131
+ );
132
+ let main_version_ref_row = untracked_row(
133
+ EntityIdentity::single(&main_version_id),
134
+ VERSION_REF_SCHEMA_KEY,
135
+ version_ref_snapshot(&main_version_id, &initial_commit_id)?,
136
+ &timestamp,
137
+ );
138
+ let workspace_version_row = untracked_row(
139
+ EntityIdentity::single(WORKSPACE_VERSION_KEY),
140
+ KEY_VALUE_SCHEMA_KEY,
141
+ key_value_snapshot(WORKSPACE_VERSION_KEY, &main_version_id)?,
142
+ &timestamp,
143
+ );
144
+
145
+ Ok(InitSeedPlan {
146
+ commit: initial_commit,
147
+ changes: registered_schema_changes
148
+ .into_iter()
149
+ .chain([
150
+ global_version_descriptor_change,
151
+ main_version_descriptor_change,
152
+ kv_lix_id_change,
153
+ ])
154
+ .collect(),
155
+ untracked_rows: vec![
156
+ global_version_ref_row,
157
+ main_version_ref_row,
158
+ workspace_version_row,
159
+ ],
160
+ receipt: InitReceipt {
161
+ lix_id,
162
+ global_version_id: GLOBAL_VERSION_ID.to_string(),
163
+ main_version_id,
164
+ initial_commit_id,
165
+ },
166
+ })
167
+ }
168
+
169
+ /// Initializes an empty engine repository in one backend transaction.
170
+ ///
171
+ /// The pure seed planner decides which bootstrap facts exist. This function is
172
+ /// only responsible for durably writing those facts to their owning stores:
173
+ /// commit_store for tracked changes, and live_state for the serving projection
174
+ /// plus untracked moving refs.
175
+ pub(crate) async fn initialize(
176
+ storage: StorageContext,
177
+ commit_store: &CommitStoreContext,
178
+ tracked_state: &TrackedStateContext,
179
+ untracked_state: &UntrackedStateContext,
180
+ ) -> Result<InitReceipt, LixError> {
181
+ let functions = SharedFunctionProvider::new(
182
+ Box::new(SystemFunctionProvider) as Box<dyn FunctionProvider + Send>
183
+ );
184
+ let plan = plan_init_seed(functions)?;
185
+ let receipt = plan.receipt.clone();
186
+
187
+ let mut transaction = storage.begin_write_transaction().await?;
188
+ let mut writes = StorageWriteSet::new();
189
+
190
+ let authored_changes = plan
191
+ .changes
192
+ .iter()
193
+ .map(seed_change_to_commit_store_change)
194
+ .collect::<Result<Vec<_>, _>>()?;
195
+ JsonStoreContext::new().writer().stage_batch(
196
+ &mut writes,
197
+ JsonWritePlacementRef::CommitPack {
198
+ commit_id: &plan.commit.id,
199
+ pack_id: 0,
200
+ },
201
+ plan.changes
202
+ .iter()
203
+ .map(|change| NormalizedJsonRef::new(change.snapshot_content.as_str())),
204
+ )?;
205
+
206
+ let staged_commit = {
207
+ let commit = CommitDraftRef {
208
+ id: &plan.commit.id,
209
+ change_id: &plan.commit.change_id,
210
+ parent_ids: &plan.commit.parent_ids,
211
+ author_account_ids: &plan.commit.author_account_ids,
212
+ created_at: &plan.commit.created_at,
213
+ };
214
+ let mut writer = commit_store.writer(transaction.as_mut(), &mut writes);
215
+ writer
216
+ .stage_tracked_commit_draft(
217
+ commit,
218
+ authored_changes.iter().map(Change::as_ref).collect(),
219
+ Vec::new(),
220
+ )
221
+ .await?
222
+ };
223
+
224
+ let untracked_rows = plan
225
+ .untracked_rows
226
+ .iter()
227
+ .map(untracked_state_row_from_seed)
228
+ .collect::<Result<Vec<_>, _>>()?;
229
+
230
+ {
231
+ untracked_state
232
+ .writer(&mut writes)
233
+ .stage_rows(untracked_rows.iter().map(|row| row.as_ref()))?;
234
+ let deltas = authored_changes
235
+ .iter()
236
+ .zip(&staged_commit.authored_locators)
237
+ .map(|(change, locator)| TrackedStateDeltaRef {
238
+ change: change.as_ref(),
239
+ locator: locator.as_ref(),
240
+ created_at: &change.created_at,
241
+ updated_at: &change.created_at,
242
+ })
243
+ .collect::<Vec<_>>();
244
+ let mut writer = tracked_state.writer(transaction.as_mut(), &mut writes);
245
+ writer
246
+ .stage_delta(&receipt.initial_commit_id, None, &deltas)
247
+ .await?;
248
+ }
249
+
250
+ writes.apply(&mut transaction.as_mut()).await?;
251
+ transaction.commit().await?;
252
+ Ok(receipt)
253
+ }
254
+
255
+ fn seed_change_to_commit_store_change(change: &InitSeedChange) -> Result<Change, LixError> {
256
+ Ok(Change {
257
+ id: change.id.clone(),
258
+ entity_id: change.entity_id.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 untracked_state_row_from_seed(row: &InitSeedLiveRow) -> Result<UntrackedStateRow, LixError> {
268
+ Ok(UntrackedStateRow {
269
+ entity_id: row.entity_id.clone(),
270
+ schema_key: row.schema_key.clone(),
271
+ file_id: None,
272
+ snapshot_content: Some(row.snapshot_content.clone()),
273
+ metadata: None,
274
+ created_at: row.created_at.clone(),
275
+ updated_at: row.updated_at.clone(),
276
+ global: row.global,
277
+ version_id: row.version_id.clone(),
278
+ })
279
+ }
280
+
281
+ fn untracked_row(
282
+ entity_id: EntityIdentity,
283
+ schema_key: &str,
284
+ snapshot_content: String,
285
+ timestamp: &str,
286
+ ) -> InitSeedLiveRow {
287
+ InitSeedLiveRow {
288
+ entity_id,
289
+ schema_key: schema_key.to_string(),
290
+ snapshot_content,
291
+ created_at: timestamp.to_string(),
292
+ updated_at: timestamp.to_string(),
293
+ global: true,
294
+ version_id: GLOBAL_VERSION_ID.to_string(),
295
+ }
296
+ }
297
+
298
+ fn canonical_change(
299
+ id: String,
300
+ entity_id: EntityIdentity,
301
+ schema_key: &str,
302
+ snapshot_content: String,
303
+ created_at: &str,
304
+ ) -> InitSeedChange {
305
+ InitSeedChange {
306
+ id,
307
+ entity_id,
308
+ schema_key: schema_key.to_string(),
309
+ snapshot_content,
310
+ created_at: created_at.to_string(),
311
+ }
312
+ }
313
+
314
+ fn version_descriptor_snapshot(id: &str, name: &str, hidden: bool) -> Result<String, LixError> {
315
+ encode_snapshot(json!({
316
+ "id": id,
317
+ "name": name,
318
+ "hidden": hidden,
319
+ }))
320
+ }
321
+
322
+ fn key_value_snapshot(key: &str, value: &str) -> Result<String, LixError> {
323
+ encode_snapshot(json!({
324
+ "key": key,
325
+ "value": value,
326
+ }))
327
+ }
328
+
329
+ fn registered_schema_snapshot(schema: &serde_json::Value) -> Result<String, LixError> {
330
+ encode_snapshot(json!({
331
+ "value": schema,
332
+ }))
333
+ }
334
+
335
+ fn version_ref_snapshot(id: &str, commit_id: &str) -> Result<String, LixError> {
336
+ encode_snapshot(json!({
337
+ "id": id,
338
+ "commit_id": commit_id,
339
+ }))
340
+ }
341
+
342
+ fn encode_snapshot(value: serde_json::Value) -> Result<String, LixError> {
343
+ serde_json::to_string(&value).map_err(|error| {
344
+ LixError::new(
345
+ "LIX_ERROR_UNKNOWN",
346
+ format!("engine init seed snapshot serialization failed: {error}"),
347
+ )
348
+ })
349
+ }
350
+
351
+ #[cfg(test)]
352
+ mod tests {
353
+ use serde_json::Value as JsonValue;
354
+
355
+ use super::*;
356
+ use crate::backend::{testing::UnitTestBackend, Backend};
357
+ use crate::functions::{FunctionProvider, SharedFunctionProvider};
358
+ use crate::storage::StorageContext;
359
+ use crate::tracked_state::TrackedStateContext;
360
+ use crate::untracked_state::UntrackedStateContext;
361
+
362
+ #[test]
363
+ fn plan_init_seed_returns_tracked_changes_and_untracked_workspace_state() {
364
+ let plan = plan_init_seed(test_functions()).expect("init seed should plan");
365
+
366
+ assert_eq!(plan.changes.len(), seed_schema_definitions().len() + 3);
367
+ assert_eq!(plan.untracked_rows.len(), 3);
368
+ assert_eq!(plan.receipt.global_version_id, GLOBAL_VERSION_ID);
369
+ assert_eq!(plan.receipt.main_version_id, "test-uuid-1");
370
+ assert_eq!(plan.receipt.lix_id, "test-uuid-2");
371
+ assert_eq!(plan.receipt.initial_commit_id, "test-uuid-3");
372
+ }
373
+
374
+ #[test]
375
+ fn plan_init_seed_commit_header_tracks_schema_registrations_descriptor_and_lix_id_changes() {
376
+ let plan = plan_init_seed(test_functions()).expect("init seed should plan");
377
+
378
+ assert_eq!(plan.commit.id, plan.receipt.initial_commit_id);
379
+ assert_eq!(plan.commit.change_id, "test-uuid-21");
380
+ assert!(plan.commit.parent_ids.is_empty());
381
+ assert!(plan.commit.author_account_ids.is_empty());
382
+ assert_eq!(plan.commit.created_at, "test-timestamp-1");
383
+
384
+ let change_ids = plan
385
+ .changes
386
+ .iter()
387
+ .map(|change| change.id.as_str())
388
+ .collect::<Vec<_>>();
389
+ assert_eq!(change_ids.len(), seed_schema_definitions().len() + 3);
390
+ assert!(change_ids.contains(&"global"));
391
+ assert!(!change_ids.contains(&plan.commit.change_id.as_str()));
392
+
393
+ let registered_schema_change_ids = plan
394
+ .changes
395
+ .iter()
396
+ .filter(|change| change.schema_key == REGISTERED_SCHEMA_KEY)
397
+ .map(|change| change.id.as_str())
398
+ .collect::<Vec<_>>();
399
+ for change_id in registered_schema_change_ids {
400
+ assert!(change_ids.contains(&change_id));
401
+ }
402
+ }
403
+
404
+ #[test]
405
+ fn plan_init_seed_registers_seed_schemas_as_initial_commit_rows() {
406
+ let plan = plan_init_seed(test_functions()).expect("init seed should plan");
407
+ let registered_schema_changes = plan
408
+ .changes
409
+ .iter()
410
+ .filter(|change| change.schema_key == REGISTERED_SCHEMA_KEY)
411
+ .collect::<Vec<_>>();
412
+
413
+ assert_eq!(
414
+ registered_schema_changes.len(),
415
+ seed_schema_definitions().len()
416
+ );
417
+ assert!(registered_schema_changes.iter().any(|change| {
418
+ snapshot(change)
419
+ .pointer("/value/x-lix-key")
420
+ .and_then(JsonValue::as_str)
421
+ == Some(REGISTERED_SCHEMA_KEY)
422
+ }));
423
+ assert!(registered_schema_changes.iter().any(|change| {
424
+ snapshot(change)
425
+ .pointer("/value/x-lix-key")
426
+ .and_then(JsonValue::as_str)
427
+ == Some(KEY_VALUE_SCHEMA_KEY)
428
+ }));
429
+ }
430
+
431
+ #[test]
432
+ fn plan_init_seed_version_refs_point_to_initial_commit() {
433
+ let plan = plan_init_seed(test_functions()).expect("init seed should plan");
434
+ let version_refs = plan
435
+ .untracked_rows
436
+ .iter()
437
+ .filter(|row| row.schema_key == VERSION_REF_SCHEMA_KEY)
438
+ .collect::<Vec<_>>();
439
+
440
+ assert_eq!(version_refs.len(), 2);
441
+ assert!(plan
442
+ .changes
443
+ .iter()
444
+ .all(|change| change.schema_key != VERSION_REF_SCHEMA_KEY));
445
+ for row in version_refs {
446
+ assert_eq!(row.schema_key, VERSION_REF_SCHEMA_KEY);
447
+ assert_eq!(row.version_id, GLOBAL_VERSION_ID);
448
+ let snapshot = untracked_snapshot(row);
449
+ assert_eq!(
450
+ snapshot.get("commit_id").and_then(JsonValue::as_str),
451
+ Some(plan.receipt.initial_commit_id.as_str())
452
+ );
453
+ }
454
+ }
455
+
456
+ #[test]
457
+ fn plan_init_seed_workspace_version_points_to_main_version() {
458
+ let plan = plan_init_seed(test_functions()).expect("init seed should plan");
459
+ let workspace_row = plan
460
+ .untracked_rows
461
+ .iter()
462
+ .find(|row| {
463
+ row.schema_key == KEY_VALUE_SCHEMA_KEY
464
+ && row.entity_id
465
+ == crate::entity_identity::EntityIdentity::single(WORKSPACE_VERSION_KEY)
466
+ })
467
+ .expect("workspace version row should exist");
468
+
469
+ assert_eq!(workspace_row.version_id, GLOBAL_VERSION_ID);
470
+ assert!(workspace_row.global);
471
+ let snapshot = untracked_snapshot(workspace_row);
472
+ assert_eq!(
473
+ snapshot.get("key").and_then(JsonValue::as_str),
474
+ Some(WORKSPACE_VERSION_KEY)
475
+ );
476
+ assert_eq!(
477
+ snapshot.get("value").and_then(JsonValue::as_str),
478
+ Some(plan.receipt.main_version_id.as_str())
479
+ );
480
+ }
481
+
482
+ #[tokio::test]
483
+ async fn initialize_writes_initial_commit_through_commit_store() {
484
+ let backend: Arc<dyn Backend + Send + Sync> = Arc::new(UnitTestBackend::new());
485
+ let storage = StorageContext::new(backend);
486
+ let commit_store = CommitStoreContext::new();
487
+ let tracked_state = TrackedStateContext::new();
488
+ let untracked_state = UntrackedStateContext::new();
489
+
490
+ let receipt = initialize(
491
+ storage.clone(),
492
+ &commit_store,
493
+ &tracked_state,
494
+ &untracked_state,
495
+ )
496
+ .await
497
+ .expect("engine should initialize");
498
+ let reader = commit_store.reader(storage.clone());
499
+ let commit = reader
500
+ .load_commit(&receipt.initial_commit_id)
501
+ .await
502
+ .expect("commit should load")
503
+ .expect("initial commit should exist");
504
+
505
+ assert_eq!(commit.id, receipt.initial_commit_id);
506
+ assert_eq!(commit.change_pack_count, 1);
507
+ assert_eq!(commit.membership_pack_count, 0);
508
+
509
+ let change_pack = reader
510
+ .load_change_pack(&commit.id, 0)
511
+ .await
512
+ .expect("change pack should load")
513
+ .expect("initial change pack should exist");
514
+ assert_eq!(change_pack.len(), seed_schema_definitions().len() + 3);
515
+ assert!(change_pack
516
+ .iter()
517
+ .all(|change| change.id != commit.change_id));
518
+
519
+ let entries = reader
520
+ .load_change_index_entries(&[commit.change_id.clone(), "global".to_string()])
521
+ .await
522
+ .expect("change index should load");
523
+ assert!(entries[0].is_some());
524
+ assert!(entries[1].is_some());
525
+ }
526
+
527
+ fn snapshot(change: &InitSeedChange) -> JsonValue {
528
+ serde_json::from_str(&change.snapshot_content).expect("snapshot should be JSON")
529
+ }
530
+
531
+ fn untracked_snapshot(row: &InitSeedLiveRow) -> JsonValue {
532
+ serde_json::from_str(&row.snapshot_content).expect("snapshot should be JSON")
533
+ }
534
+
535
+ fn test_functions() -> FunctionProviderHandle {
536
+ SharedFunctionProvider::new(
537
+ Box::new(TestFunctionProvider::default()) as Box<dyn FunctionProvider + Send>
538
+ )
539
+ }
540
+
541
+ #[derive(Default)]
542
+ struct TestFunctionProvider {
543
+ uuid_count: usize,
544
+ timestamp_count: usize,
545
+ }
546
+
547
+ impl FunctionProvider for TestFunctionProvider {
548
+ fn uuid_v7(&mut self) -> String {
549
+ self.uuid_count += 1;
550
+ format!("test-uuid-{}", self.uuid_count)
551
+ }
552
+
553
+ fn timestamp(&mut self) -> String {
554
+ self.timestamp_count += 1;
555
+ format!("test-timestamp-{}", self.timestamp_count)
556
+ }
557
+ }
558
+ }
@@ -0,0 +1,77 @@
1
+ use crate::LixError;
2
+
3
+ #[cfg(not(target_arch = "wasm32"))]
4
+ pub(crate) fn compress_json_payload(json_data: &[u8]) -> Result<Vec<u8>, LixError> {
5
+ zstd::bulk::compress(json_data, 1).map_err(|error| LixError {
6
+ code: "LIX_ERROR_UNKNOWN".to_string(),
7
+ message: format!("json compression failed: {error}"),
8
+ hint: None,
9
+ details: None,
10
+ })
11
+ }
12
+
13
+ #[cfg(target_arch = "wasm32")]
14
+ pub(crate) fn compress_json_payload(json_data: &[u8]) -> Result<Vec<u8>, LixError> {
15
+ Ok(ruzstd::encoding::compress_to_vec(
16
+ json_data,
17
+ ruzstd::encoding::CompressionLevel::Fastest,
18
+ ))
19
+ }
20
+
21
+ #[cfg(not(target_arch = "wasm32"))]
22
+ pub(crate) fn decode_json_zstd_payload(
23
+ compressed_payload: &[u8],
24
+ uncompressed_len: usize,
25
+ hash_hex: &str,
26
+ ) -> Result<Vec<u8>, LixError> {
27
+ zstd::bulk::decompress(compressed_payload, uncompressed_len).map_err(|error| LixError {
28
+ code: "LIX_ERROR_UNKNOWN".to_string(),
29
+ message: format!("json decompression failed for ref '{hash_hex}': {error}"),
30
+ hint: None,
31
+ details: None,
32
+ })
33
+ }
34
+
35
+ #[cfg(target_arch = "wasm32")]
36
+ pub(crate) fn decode_json_zstd_payload(
37
+ compressed_payload: &[u8],
38
+ _uncompressed_len: usize,
39
+ _hash_hex: &str,
40
+ ) -> Result<Vec<u8>, LixError> {
41
+ use std::io::Read as _;
42
+
43
+ let mut decoder =
44
+ ruzstd::decoding::StreamingDecoder::new(compressed_payload).map_err(|error| LixError {
45
+ code: "LIX_ERROR_UNKNOWN".to_string(),
46
+ message: format!("json decompression failed: {error}"),
47
+ hint: None,
48
+ details: None,
49
+ })?;
50
+
51
+ let mut output = Vec::new();
52
+ decoder.read_to_end(&mut output).map_err(|error| LixError {
53
+ code: "LIX_ERROR_UNKNOWN".to_string(),
54
+ message: format!("json decompression failed: {error}"),
55
+ hint: None,
56
+ details: None,
57
+ })?;
58
+ Ok(output)
59
+ }
60
+
61
+ #[cfg(test)]
62
+ mod tests {
63
+ use super::*;
64
+
65
+ #[test]
66
+ fn zstd_payload_roundtrips() {
67
+ let json = "zstd-friendly text ".repeat(2048);
68
+ let compressed = compress_json_payload(json.as_bytes()).expect("should compress");
69
+ assert!(compressed.len() < json.len());
70
+
71
+ let hash_hex = blake3::hash(json.as_bytes()).to_hex().to_string();
72
+ let decoded =
73
+ decode_json_zstd_payload(&compressed, json.len(), &hash_hex).expect("should decode");
74
+
75
+ assert_eq!(decoded, json.as_bytes());
76
+ }
77
+ }