@lix-js/sdk 0.6.0-preview.0 → 0.6.0-preview.2

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 (196) hide show
  1. package/README.md +9 -0
  2. package/SKILL.md +468 -0
  3. package/dist/engine-wasm/index.d.ts +15 -11
  4. package/dist/engine-wasm/index.js +105 -38
  5. package/dist/engine-wasm/wasm/lix_engine.d.ts +14 -2
  6. package/dist/engine-wasm/wasm/lix_engine.js +18 -17
  7. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  8. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +2 -1
  9. package/dist/generated/builtin-schemas.d.ts +31 -41
  10. package/dist/generated/builtin-schemas.js +52 -56
  11. package/dist/open-lix.d.ts +141 -24
  12. package/dist/open-lix.js +199 -35
  13. package/dist/sqlite/index.js +99 -22
  14. package/dist-engine-src/README.md +18 -0
  15. package/dist-engine-src/src/backend/kv.rs +358 -0
  16. package/dist-engine-src/src/backend/mod.rs +12 -0
  17. package/dist-engine-src/src/backend/testing.rs +658 -0
  18. package/dist-engine-src/src/backend/types.rs +96 -0
  19. package/dist-engine-src/src/binary_cas/chunking.rs +31 -0
  20. package/dist-engine-src/src/binary_cas/codec.rs +346 -0
  21. package/dist-engine-src/src/binary_cas/context.rs +139 -0
  22. package/dist-engine-src/src/binary_cas/kv.rs +1063 -0
  23. package/dist-engine-src/src/binary_cas/mod.rs +11 -0
  24. package/dist-engine-src/src/binary_cas/types.rs +127 -0
  25. package/dist-engine-src/src/cel/context.rs +86 -0
  26. package/dist-engine-src/src/cel/error.rs +19 -0
  27. package/dist-engine-src/src/cel/mod.rs +8 -0
  28. package/dist-engine-src/src/cel/provider.rs +9 -0
  29. package/dist-engine-src/src/cel/runtime.rs +167 -0
  30. package/dist-engine-src/src/cel/value.rs +50 -0
  31. package/dist-engine-src/src/changelog/codec.rs +321 -0
  32. package/dist-engine-src/src/changelog/context.rs +92 -0
  33. package/dist-engine-src/src/changelog/materialization.rs +121 -0
  34. package/dist-engine-src/src/changelog/mod.rs +13 -0
  35. package/dist-engine-src/src/changelog/reader.rs +20 -0
  36. package/dist-engine-src/src/changelog/storage.rs +220 -0
  37. package/dist-engine-src/src/changelog/types.rs +38 -0
  38. package/dist-engine-src/src/commit_graph/context.rs +1588 -0
  39. package/dist-engine-src/src/commit_graph/mod.rs +12 -0
  40. package/dist-engine-src/src/commit_graph/types.rs +145 -0
  41. package/dist-engine-src/src/commit_graph/walker.rs +780 -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 +135 -0
  46. package/dist-engine-src/src/common/metadata.rs +35 -0
  47. package/dist-engine-src/src/common/mod.rs +23 -0
  48. package/dist-engine-src/src/common/types.rs +105 -0
  49. package/dist-engine-src/src/common/wire.rs +222 -0
  50. package/dist-engine-src/src/engine.rs +239 -0
  51. package/dist-engine-src/src/entity_identity.rs +285 -0
  52. package/dist-engine-src/src/functions/context.rs +327 -0
  53. package/dist-engine-src/src/functions/deterministic.rs +113 -0
  54. package/dist-engine-src/src/functions/mod.rs +18 -0
  55. package/dist-engine-src/src/functions/provider.rs +130 -0
  56. package/dist-engine-src/src/functions/state.rs +363 -0
  57. package/dist-engine-src/src/functions/types.rs +37 -0
  58. package/dist-engine-src/src/init.rs +505 -0
  59. package/dist-engine-src/src/json_store/compression.rs +77 -0
  60. package/dist-engine-src/src/json_store/context.rs +129 -0
  61. package/dist-engine-src/src/json_store/encoded.rs +15 -0
  62. package/dist-engine-src/src/json_store/mod.rs +9 -0
  63. package/dist-engine-src/src/json_store/store.rs +236 -0
  64. package/dist-engine-src/src/json_store/types.rs +52 -0
  65. package/dist-engine-src/src/lib.rs +61 -0
  66. package/dist-engine-src/src/live_state/context.rs +2241 -0
  67. package/dist-engine-src/src/live_state/mod.rs +15 -0
  68. package/dist-engine-src/src/live_state/overlay.rs +75 -0
  69. package/dist-engine-src/src/live_state/reader.rs +23 -0
  70. package/dist-engine-src/src/live_state/types.rs +239 -0
  71. package/dist-engine-src/src/live_state/visibility.rs +218 -0
  72. package/dist-engine-src/src/plugin/archive.rs +441 -0
  73. package/dist-engine-src/src/plugin/component.rs +183 -0
  74. package/dist-engine-src/src/plugin/install.rs +637 -0
  75. package/dist-engine-src/src/plugin/manifest.rs +516 -0
  76. package/dist-engine-src/src/plugin/materializer.rs +477 -0
  77. package/dist-engine-src/src/plugin/mod.rs +33 -0
  78. package/dist-engine-src/src/plugin/plugin_manifest.json +119 -0
  79. package/dist-engine-src/src/plugin/storage.rs +74 -0
  80. package/dist-engine-src/src/schema/annotations/defaults.rs +280 -0
  81. package/dist-engine-src/src/schema/annotations/mod.rs +1 -0
  82. package/dist-engine-src/src/schema/builtin/lix_account.json +22 -0
  83. package/dist-engine-src/src/schema/builtin/lix_active_account.json +30 -0
  84. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +30 -0
  85. package/dist-engine-src/src/schema/builtin/lix_change.json +62 -0
  86. package/dist-engine-src/src/schema/builtin/lix_change_author.json +46 -0
  87. package/dist-engine-src/src/schema/builtin/lix_change_set.json +18 -0
  88. package/dist-engine-src/src/schema/builtin/lix_change_set_element.json +75 -0
  89. package/dist-engine-src/src/schema/builtin/lix_commit.json +62 -0
  90. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +46 -0
  91. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +53 -0
  92. package/dist-engine-src/src/schema/builtin/lix_entity_label.json +63 -0
  93. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +53 -0
  94. package/dist-engine-src/src/schema/builtin/lix_key_value.json +41 -0
  95. package/dist-engine-src/src/schema/builtin/lix_label.json +22 -0
  96. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +31 -0
  97. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +35 -0
  98. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +49 -0
  99. package/dist-engine-src/src/schema/builtin/mod.rs +271 -0
  100. package/dist-engine-src/src/schema/definition.json +157 -0
  101. package/dist-engine-src/src/schema/definition.rs +636 -0
  102. package/dist-engine-src/src/schema/key.rs +206 -0
  103. package/dist-engine-src/src/schema/mod.rs +20 -0
  104. package/dist-engine-src/src/schema/seed.rs +14 -0
  105. package/dist-engine-src/src/schema/tests.rs +739 -0
  106. package/dist-engine-src/src/schema_registry.rs +294 -0
  107. package/dist-engine-src/src/session/context.rs +366 -0
  108. package/dist-engine-src/src/session/create_version.rs +80 -0
  109. package/dist-engine-src/src/session/execute.rs +447 -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 +62 -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 +437 -0
  116. package/dist-engine-src/src/session/mod.rs +25 -0
  117. package/dist-engine-src/src/session/switch_version.rs +121 -0
  118. package/dist-engine-src/src/sql2/change_provider.rs +337 -0
  119. package/dist-engine-src/src/sql2/classify.rs +147 -0
  120. package/dist-engine-src/src/sql2/commit_derived_provider.rs +591 -0
  121. package/dist-engine-src/src/sql2/context.rs +307 -0
  122. package/dist-engine-src/src/sql2/directory_history_provider.rs +623 -0
  123. package/dist-engine-src/src/sql2/directory_provider.rs +2405 -0
  124. package/dist-engine-src/src/sql2/dml.rs +148 -0
  125. package/dist-engine-src/src/sql2/entity_history_provider.rs +444 -0
  126. package/dist-engine-src/src/sql2/entity_provider.rs +2700 -0
  127. package/dist-engine-src/src/sql2/error.rs +196 -0
  128. package/dist-engine-src/src/sql2/execute.rs +3379 -0
  129. package/dist-engine-src/src/sql2/file_history_provider.rs +902 -0
  130. package/dist-engine-src/src/sql2/file_provider.rs +3254 -0
  131. package/dist-engine-src/src/sql2/filesystem_planner.rs +1526 -0
  132. package/dist-engine-src/src/sql2/filesystem_predicates.rs +159 -0
  133. package/dist-engine-src/src/sql2/filesystem_visibility.rs +369 -0
  134. package/dist-engine-src/src/sql2/history_projection.rs +80 -0
  135. package/dist-engine-src/src/sql2/history_provider.rs +418 -0
  136. package/dist-engine-src/src/sql2/history_route.rs +643 -0
  137. package/dist-engine-src/src/sql2/lix_state_provider.rs +2430 -0
  138. package/dist-engine-src/src/sql2/mod.rs +43 -0
  139. package/dist-engine-src/src/sql2/read_only.rs +65 -0
  140. package/dist-engine-src/src/sql2/record_batch.rs +17 -0
  141. package/dist-engine-src/src/sql2/result_metadata.rs +29 -0
  142. package/dist-engine-src/src/sql2/runtime.rs +60 -0
  143. package/dist-engine-src/src/sql2/session.rs +135 -0
  144. package/dist-engine-src/src/sql2/udfs/common.rs +295 -0
  145. package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +53 -0
  146. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +47 -0
  147. package/dist-engine-src/src/sql2/udfs/lix_json.rs +100 -0
  148. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +99 -0
  149. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +99 -0
  150. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +82 -0
  151. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +85 -0
  152. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +76 -0
  153. package/dist-engine-src/src/sql2/udfs/mod.rs +82 -0
  154. package/dist-engine-src/src/sql2/version_provider.rs +1187 -0
  155. package/dist-engine-src/src/sql2/version_scope.rs +394 -0
  156. package/dist-engine-src/src/sql2/write_normalization.rs +345 -0
  157. package/dist-engine-src/src/storage/context.rs +356 -0
  158. package/dist-engine-src/src/storage/mod.rs +14 -0
  159. package/dist-engine-src/src/storage/read_scope.rs +88 -0
  160. package/dist-engine-src/src/storage/types.rs +501 -0
  161. package/dist-engine-src/src/storage_bench.rs +3406 -0
  162. package/dist-engine-src/src/test_support.rs +81 -0
  163. package/dist-engine-src/src/tracked_state/by_file_index.rs +102 -0
  164. package/dist-engine-src/src/tracked_state/codec.rs +747 -0
  165. package/dist-engine-src/src/tracked_state/context.rs +983 -0
  166. package/dist-engine-src/src/tracked_state/diff.rs +494 -0
  167. package/dist-engine-src/src/tracked_state/materialization.rs +141 -0
  168. package/dist-engine-src/src/tracked_state/merge.rs +474 -0
  169. package/dist-engine-src/src/tracked_state/mod.rs +31 -0
  170. package/dist-engine-src/src/tracked_state/rebuild.rs +771 -0
  171. package/dist-engine-src/src/tracked_state/storage.rs +243 -0
  172. package/dist-engine-src/src/tracked_state/tree.rs +2744 -0
  173. package/dist-engine-src/src/tracked_state/tree_types.rs +176 -0
  174. package/dist-engine-src/src/tracked_state/types.rs +61 -0
  175. package/dist-engine-src/src/transaction/commit.rs +1224 -0
  176. package/dist-engine-src/src/transaction/context.rs +1307 -0
  177. package/dist-engine-src/src/transaction/live_state_overlay.rs +34 -0
  178. package/dist-engine-src/src/transaction/mod.rs +11 -0
  179. package/dist-engine-src/src/transaction/normalization.rs +1026 -0
  180. package/dist-engine-src/src/transaction/schema_resolver.rs +127 -0
  181. package/dist-engine-src/src/transaction/staging.rs +1436 -0
  182. package/dist-engine-src/src/transaction/types.rs +351 -0
  183. package/dist-engine-src/src/transaction/validation.rs +4811 -0
  184. package/dist-engine-src/src/untracked_state/codec.rs +363 -0
  185. package/dist-engine-src/src/untracked_state/context.rs +82 -0
  186. package/dist-engine-src/src/untracked_state/materialization.rs +157 -0
  187. package/dist-engine-src/src/untracked_state/mod.rs +17 -0
  188. package/dist-engine-src/src/untracked_state/storage.rs +348 -0
  189. package/dist-engine-src/src/untracked_state/types.rs +96 -0
  190. package/dist-engine-src/src/version/context.rs +52 -0
  191. package/dist-engine-src/src/version/mod.rs +12 -0
  192. package/dist-engine-src/src/version/refs.rs +421 -0
  193. package/dist-engine-src/src/version/stage_rows.rs +71 -0
  194. package/dist-engine-src/src/version/types.rs +21 -0
  195. package/dist-engine-src/src/wasm/mod.rs +60 -0
  196. package/package.json +68 -63
@@ -0,0 +1,363 @@
1
+ use crate::entity_identity::EntityIdentity;
2
+ use crate::json_store::JsonRef;
3
+ use crate::untracked_state::UntrackedStateRow;
4
+ use crate::LixError;
5
+
6
+ const UNTRACKED_STATE_FILE_IDENTIFIER: &str = "LXUS";
7
+
8
+ pub(crate) fn encode_row(row: &UntrackedStateRow) -> Result<Vec<u8>, LixError> {
9
+ let entity_id = row.entity_id.as_string().map_err(|error| {
10
+ LixError::unknown(format!(
11
+ "failed to encode untracked-state entity identity: {error}"
12
+ ))
13
+ })?;
14
+
15
+ let mut builder = flatbuffers::FlatBufferBuilder::with_capacity(256);
16
+ let entity_id = builder.create_string(&entity_id);
17
+ let schema_key = builder.create_string(&row.schema_key);
18
+ let file_id = row
19
+ .file_id
20
+ .as_ref()
21
+ .map(|value| builder.create_string(value));
22
+ let snapshot_ref = row
23
+ .snapshot_ref
24
+ .as_ref()
25
+ .map(|value| builder.create_vector(value.as_hash_bytes()));
26
+ let metadata_ref = row
27
+ .metadata_ref
28
+ .as_ref()
29
+ .map(|value| builder.create_vector(value.as_hash_bytes()));
30
+ let schema_version = builder.create_string(&row.schema_version);
31
+ let created_at = builder.create_string(&row.created_at);
32
+ let updated_at = builder.create_string(&row.updated_at);
33
+ let version_id = builder.create_string(&row.version_id);
34
+
35
+ let root = flatbuffer::create_untracked_state_row(
36
+ &mut builder,
37
+ &flatbuffer::UntrackedStateRowArgs {
38
+ entity_id,
39
+ schema_key,
40
+ file_id,
41
+ snapshot_ref,
42
+ metadata_ref,
43
+ schema_version,
44
+ created_at,
45
+ updated_at,
46
+ global: row.global,
47
+ version_id,
48
+ },
49
+ );
50
+ builder.finish(root, Some(UNTRACKED_STATE_FILE_IDENTIFIER));
51
+ Ok(builder.finished_data().to_vec())
52
+ }
53
+
54
+ pub(crate) fn decode_row(bytes: &[u8]) -> Result<UntrackedStateRow, LixError> {
55
+ if bytes.len() < flatbuffers::SIZE_UOFFSET + flatbuffers::FILE_IDENTIFIER_LENGTH
56
+ || !flatbuffers::buffer_has_identifier(bytes, UNTRACKED_STATE_FILE_IDENTIFIER, false)
57
+ {
58
+ return Err(LixError::new(
59
+ "LIX_ERROR_UNKNOWN",
60
+ "failed to decode untracked-state row: invalid FlatBuffers file identifier",
61
+ ));
62
+ }
63
+
64
+ let row = flatbuffer::root_as_untracked_state_row(bytes).map_err(|error| {
65
+ LixError::new(
66
+ "LIX_ERROR_UNKNOWN",
67
+ format!("failed to decode untracked-state row: {error}"),
68
+ )
69
+ })?;
70
+
71
+ let entity_id = required_str(row.entity_id(), "entity_id")?;
72
+ let entity_id = EntityIdentity::from_string(entity_id).map_err(|error| {
73
+ LixError::unknown(format!(
74
+ "failed to decode untracked-state entity identity: {error}"
75
+ ))
76
+ })?;
77
+
78
+ Ok(UntrackedStateRow {
79
+ entity_id,
80
+ schema_key: required_str(row.schema_key(), "schema_key")?.to_string(),
81
+ file_id: row.file_id().map(ToString::to_string),
82
+ snapshot_ref: optional_json_ref(row.snapshot_ref(), "snapshot_ref")?,
83
+ metadata_ref: optional_json_ref(row.metadata_ref(), "metadata_ref")?,
84
+ schema_version: required_str(row.schema_version(), "schema_version")?.to_string(),
85
+ created_at: required_str(row.created_at(), "created_at")?.to_string(),
86
+ updated_at: required_str(row.updated_at(), "updated_at")?.to_string(),
87
+ global: row.global(),
88
+ version_id: required_str(row.version_id(), "version_id")?.to_string(),
89
+ })
90
+ }
91
+
92
+ fn required_str<'a>(value: Option<&'a str>, field: &str) -> Result<&'a str, LixError> {
93
+ value.ok_or_else(|| {
94
+ LixError::new(
95
+ "LIX_ERROR_UNKNOWN",
96
+ format!("failed to decode untracked-state row: missing required field `{field}`"),
97
+ )
98
+ })
99
+ }
100
+
101
+ fn optional_json_ref(
102
+ value: Option<flatbuffers::Vector<'_, u8>>,
103
+ field: &str,
104
+ ) -> Result<Option<JsonRef>, LixError> {
105
+ let Some(value) = value else {
106
+ return Ok(None);
107
+ };
108
+ let bytes = value.bytes();
109
+ let hash = <[u8; 32]>::try_from(bytes).map_err(|_| {
110
+ LixError::new(
111
+ "LIX_ERROR_UNKNOWN",
112
+ format!(
113
+ "failed to decode untracked-state row: field `{field}` must be exactly 32 bytes"
114
+ ),
115
+ )
116
+ })?;
117
+ Ok(Some(JsonRef::from_hash_bytes(hash)))
118
+ }
119
+
120
+ mod flatbuffer {
121
+ #[derive(Copy, Clone, PartialEq)]
122
+ pub(super) struct UntrackedStateRow<'a> {
123
+ table: flatbuffers::Table<'a>,
124
+ }
125
+
126
+ impl<'a> flatbuffers::Follow<'a> for UntrackedStateRow<'a> {
127
+ type Inner = UntrackedStateRow<'a>;
128
+
129
+ #[inline]
130
+ unsafe fn follow(buf: &'a [u8], loc: usize) -> Self::Inner {
131
+ Self {
132
+ table: unsafe { flatbuffers::Table::new(buf, loc) },
133
+ }
134
+ }
135
+ }
136
+
137
+ impl<'a> UntrackedStateRow<'a> {
138
+ const VT_ENTITY_ID: flatbuffers::VOffsetT = 4;
139
+ const VT_SCHEMA_KEY: flatbuffers::VOffsetT = 6;
140
+ const VT_FILE_ID: flatbuffers::VOffsetT = 8;
141
+ const VT_SNAPSHOT_REF: flatbuffers::VOffsetT = 10;
142
+ const VT_METADATA_REF: flatbuffers::VOffsetT = 12;
143
+ const VT_SCHEMA_VERSION: flatbuffers::VOffsetT = 14;
144
+ const VT_CREATED_AT: flatbuffers::VOffsetT = 16;
145
+ const VT_UPDATED_AT: flatbuffers::VOffsetT = 18;
146
+ const VT_GLOBAL: flatbuffers::VOffsetT = 20;
147
+ const VT_VERSION_ID: flatbuffers::VOffsetT = 22;
148
+
149
+ #[inline]
150
+ pub(super) fn entity_id(&self) -> Option<&'a str> {
151
+ unsafe {
152
+ self.table
153
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_ENTITY_ID, None)
154
+ }
155
+ }
156
+
157
+ #[inline]
158
+ pub(super) fn schema_key(&self) -> Option<&'a str> {
159
+ unsafe {
160
+ self.table
161
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_SCHEMA_KEY, None)
162
+ }
163
+ }
164
+
165
+ #[inline]
166
+ pub(super) fn file_id(&self) -> Option<&'a str> {
167
+ unsafe {
168
+ self.table
169
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_FILE_ID, None)
170
+ }
171
+ }
172
+
173
+ #[inline]
174
+ pub(super) fn snapshot_ref(&self) -> Option<flatbuffers::Vector<'a, u8>> {
175
+ unsafe {
176
+ self.table
177
+ .get::<flatbuffers::ForwardsUOffset<flatbuffers::Vector<'a, u8>>>(
178
+ Self::VT_SNAPSHOT_REF,
179
+ None,
180
+ )
181
+ }
182
+ }
183
+
184
+ #[inline]
185
+ pub(super) fn metadata_ref(&self) -> Option<flatbuffers::Vector<'a, u8>> {
186
+ unsafe {
187
+ self.table
188
+ .get::<flatbuffers::ForwardsUOffset<flatbuffers::Vector<'a, u8>>>(
189
+ Self::VT_METADATA_REF,
190
+ None,
191
+ )
192
+ }
193
+ }
194
+
195
+ #[inline]
196
+ pub(super) fn schema_version(&self) -> Option<&'a str> {
197
+ unsafe {
198
+ self.table
199
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_SCHEMA_VERSION, None)
200
+ }
201
+ }
202
+
203
+ #[inline]
204
+ pub(super) fn created_at(&self) -> Option<&'a str> {
205
+ unsafe {
206
+ self.table
207
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_CREATED_AT, None)
208
+ }
209
+ }
210
+
211
+ #[inline]
212
+ pub(super) fn updated_at(&self) -> Option<&'a str> {
213
+ unsafe {
214
+ self.table
215
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_UPDATED_AT, None)
216
+ }
217
+ }
218
+
219
+ #[inline]
220
+ pub(super) fn global(&self) -> bool {
221
+ unsafe { self.table.get::<bool>(Self::VT_GLOBAL, Some(false)) }.unwrap_or(false)
222
+ }
223
+
224
+ #[inline]
225
+ pub(super) fn version_id(&self) -> Option<&'a str> {
226
+ unsafe {
227
+ self.table
228
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_VERSION_ID, None)
229
+ }
230
+ }
231
+ }
232
+
233
+ impl flatbuffers::Verifiable for UntrackedStateRow<'_> {
234
+ #[inline]
235
+ fn run_verifier(
236
+ verifier: &mut flatbuffers::Verifier,
237
+ position: usize,
238
+ ) -> Result<(), flatbuffers::InvalidFlatbuffer> {
239
+ verifier
240
+ .visit_table(position)?
241
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
242
+ "entity_id",
243
+ Self::VT_ENTITY_ID,
244
+ true,
245
+ )?
246
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
247
+ "schema_key",
248
+ Self::VT_SCHEMA_KEY,
249
+ true,
250
+ )?
251
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
252
+ "file_id",
253
+ Self::VT_FILE_ID,
254
+ false,
255
+ )?
256
+ .visit_field::<flatbuffers::ForwardsUOffset<flatbuffers::Vector<'_, u8>>>(
257
+ "snapshot_ref",
258
+ Self::VT_SNAPSHOT_REF,
259
+ false,
260
+ )?
261
+ .visit_field::<flatbuffers::ForwardsUOffset<flatbuffers::Vector<'_, u8>>>(
262
+ "metadata_ref",
263
+ Self::VT_METADATA_REF,
264
+ false,
265
+ )?
266
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
267
+ "schema_version",
268
+ Self::VT_SCHEMA_VERSION,
269
+ true,
270
+ )?
271
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
272
+ "created_at",
273
+ Self::VT_CREATED_AT,
274
+ true,
275
+ )?
276
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
277
+ "updated_at",
278
+ Self::VT_UPDATED_AT,
279
+ true,
280
+ )?
281
+ .visit_field::<bool>("global", Self::VT_GLOBAL, false)?
282
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
283
+ "version_id",
284
+ Self::VT_VERSION_ID,
285
+ true,
286
+ )?
287
+ .finish();
288
+ Ok(())
289
+ }
290
+ }
291
+
292
+ pub(super) struct UntrackedStateRowArgs<'a> {
293
+ pub(super) entity_id: flatbuffers::WIPOffset<&'a str>,
294
+ pub(super) schema_key: flatbuffers::WIPOffset<&'a str>,
295
+ pub(super) file_id: Option<flatbuffers::WIPOffset<&'a str>>,
296
+ pub(super) snapshot_ref: Option<flatbuffers::WIPOffset<flatbuffers::Vector<'a, u8>>>,
297
+ pub(super) metadata_ref: Option<flatbuffers::WIPOffset<flatbuffers::Vector<'a, u8>>>,
298
+ pub(super) schema_version: flatbuffers::WIPOffset<&'a str>,
299
+ pub(super) created_at: flatbuffers::WIPOffset<&'a str>,
300
+ pub(super) updated_at: flatbuffers::WIPOffset<&'a str>,
301
+ pub(super) global: bool,
302
+ pub(super) version_id: flatbuffers::WIPOffset<&'a str>,
303
+ }
304
+
305
+ pub(super) fn create_untracked_state_row<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
306
+ builder: &'mut_bldr mut flatbuffers::FlatBufferBuilder<'bldr>,
307
+ args: &'args UntrackedStateRowArgs<'args>,
308
+ ) -> flatbuffers::WIPOffset<UntrackedStateRow<'bldr>> {
309
+ let start = builder.start_table();
310
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
311
+ UntrackedStateRow::VT_VERSION_ID,
312
+ args.version_id,
313
+ );
314
+ builder.push_slot::<bool>(UntrackedStateRow::VT_GLOBAL, args.global, false);
315
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
316
+ UntrackedStateRow::VT_UPDATED_AT,
317
+ args.updated_at,
318
+ );
319
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
320
+ UntrackedStateRow::VT_CREATED_AT,
321
+ args.created_at,
322
+ );
323
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
324
+ UntrackedStateRow::VT_SCHEMA_VERSION,
325
+ args.schema_version,
326
+ );
327
+ if let Some(metadata_ref) = args.metadata_ref {
328
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
329
+ UntrackedStateRow::VT_METADATA_REF,
330
+ metadata_ref,
331
+ );
332
+ }
333
+ if let Some(snapshot_ref) = args.snapshot_ref {
334
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
335
+ UntrackedStateRow::VT_SNAPSHOT_REF,
336
+ snapshot_ref,
337
+ );
338
+ }
339
+ if let Some(file_id) = args.file_id {
340
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
341
+ UntrackedStateRow::VT_FILE_ID,
342
+ file_id,
343
+ );
344
+ }
345
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
346
+ UntrackedStateRow::VT_SCHEMA_KEY,
347
+ args.schema_key,
348
+ );
349
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
350
+ UntrackedStateRow::VT_ENTITY_ID,
351
+ args.entity_id,
352
+ );
353
+ let offset = builder.end_table(start);
354
+ flatbuffers::WIPOffset::new(offset.value())
355
+ }
356
+
357
+ #[inline]
358
+ pub(super) fn root_as_untracked_state_row(
359
+ bytes: &[u8],
360
+ ) -> Result<UntrackedStateRow<'_>, flatbuffers::InvalidFlatbuffer> {
361
+ flatbuffers::root::<UntrackedStateRow>(bytes)
362
+ }
363
+ }
@@ -0,0 +1,82 @@
1
+ use crate::storage::{StorageReader, StorageWriteSet};
2
+ use crate::untracked_state::{
3
+ MaterializedUntrackedStateRow, UntrackedStateIdentity, UntrackedStateRow,
4
+ UntrackedStateRowRequest, UntrackedStateScanRequest,
5
+ };
6
+ use crate::LixError;
7
+
8
+ /// Durable local overlay excluded from changelog and commit membership.
9
+ ///
10
+ /// Untracked state is not change-controlled, but it is still durable local
11
+ /// state. It is read alongside tracked live state and can override tracked rows
12
+ /// with the same identity.
13
+ #[derive(Clone, Copy)]
14
+ pub(crate) struct UntrackedStateContext;
15
+
16
+ impl UntrackedStateContext {
17
+ pub(crate) fn new() -> Self {
18
+ Self
19
+ }
20
+
21
+ /// Creates a reader over a caller-provided KV store.
22
+ ///
23
+ /// The caller decides which KV store supplies visibility for the read.
24
+ pub(crate) fn reader<S>(&self, store: S) -> UntrackedStateStoreReader<S>
25
+ where
26
+ S: StorageReader,
27
+ {
28
+ UntrackedStateStoreReader { store }
29
+ }
30
+
31
+ /// Creates a writer over a transaction-local storage write set.
32
+ ///
33
+ /// The context never opens its own transaction; the caller applies the
34
+ /// write set to choose the durable commit or rollback boundary.
35
+ pub(crate) fn writer<'a>(&self, writes: &'a mut StorageWriteSet) -> UntrackedStateWriter<'a> {
36
+ UntrackedStateWriter { writes }
37
+ }
38
+ }
39
+
40
+ /// Store-backed untracked-state reader created by `UntrackedStateContext`.
41
+ pub(crate) struct UntrackedStateStoreReader<S> {
42
+ store: S,
43
+ }
44
+
45
+ impl<S> UntrackedStateStoreReader<S>
46
+ where
47
+ S: StorageReader,
48
+ {
49
+ pub(crate) async fn scan_rows(
50
+ &mut self,
51
+ request: &UntrackedStateScanRequest,
52
+ ) -> Result<Vec<MaterializedUntrackedStateRow>, LixError> {
53
+ crate::untracked_state::storage::scan_rows(&mut self.store, request).await
54
+ }
55
+
56
+ pub(crate) async fn load_row(
57
+ &mut self,
58
+ request: &UntrackedStateRowRequest,
59
+ ) -> Result<Option<MaterializedUntrackedStateRow>, LixError> {
60
+ crate::untracked_state::storage::load_row(&mut self.store, request).await
61
+ }
62
+ }
63
+
64
+ /// Untracked-state writer over a transaction-local storage write set.
65
+ pub(crate) struct UntrackedStateWriter<'a> {
66
+ writes: &'a mut StorageWriteSet,
67
+ }
68
+
69
+ impl UntrackedStateWriter<'_> {
70
+ /// Stages the latest untracked rows for their identities.
71
+ ///
72
+ /// A row with `snapshot_ref = None` is treated as removal because
73
+ /// untracked state keeps only the current local value, not tombstones.
74
+ pub(crate) fn stage_rows(&mut self, rows: &[UntrackedStateRow]) -> Result<(), LixError> {
75
+ crate::untracked_state::storage::stage_rows(self.writes, rows)
76
+ }
77
+
78
+ /// Removes untracked rows by exact identity.
79
+ pub(crate) fn stage_delete_rows(&mut self, identities: &[UntrackedStateIdentity]) {
80
+ crate::untracked_state::storage::stage_delete_rows(self.writes, identities)
81
+ }
82
+ }
@@ -0,0 +1,157 @@
1
+ use crate::json_store::{JsonRef, JsonStoreReader, JsonStoreWriter};
2
+ use crate::storage::{StorageReader, StorageWriteSet};
3
+ use crate::untracked_state::{MaterializedUntrackedStateRow, UntrackedStateRow};
4
+ use crate::{serialize_row_metadata, validate_row_metadata, LixError, RowMetadata};
5
+
6
+ pub(crate) fn canonicalize_materialized_row(
7
+ writes: &mut StorageWriteSet,
8
+ json_writer: &mut JsonStoreWriter,
9
+ row: &MaterializedUntrackedStateRow,
10
+ ) -> Result<UntrackedStateRow, LixError> {
11
+ let snapshot_ref = stage_optional_json(writes, json_writer, row.snapshot_content.as_deref())?;
12
+ let metadata_ref = stage_optional_metadata(writes, json_writer, row.metadata.as_ref())?;
13
+ Ok(UntrackedStateRow {
14
+ entity_id: row.entity_id.clone(),
15
+ schema_key: row.schema_key.clone(),
16
+ file_id: row.file_id.clone(),
17
+ snapshot_ref,
18
+ metadata_ref,
19
+ schema_version: row.schema_version.clone(),
20
+ created_at: row.created_at.clone(),
21
+ updated_at: row.updated_at.clone(),
22
+ global: row.global,
23
+ version_id: row.version_id.clone(),
24
+ })
25
+ }
26
+
27
+ pub(crate) async fn materialize_row<S>(
28
+ json_reader: &mut JsonStoreReader<S>,
29
+ row: UntrackedStateRow,
30
+ projection: &UntrackedMaterializationProjection,
31
+ ) -> Result<MaterializedUntrackedStateRow, LixError>
32
+ where
33
+ S: StorageReader,
34
+ {
35
+ let snapshot_content = if projection.snapshot_content {
36
+ load_optional_json(json_reader, row.snapshot_ref.as_ref(), "snapshot_ref").await?
37
+ } else {
38
+ None
39
+ };
40
+ let metadata = if projection.metadata {
41
+ load_optional_metadata(json_reader, row.metadata_ref.as_ref()).await?
42
+ } else {
43
+ None
44
+ };
45
+ Ok(MaterializedUntrackedStateRow {
46
+ entity_id: row.entity_id,
47
+ schema_key: row.schema_key,
48
+ file_id: row.file_id,
49
+ snapshot_content,
50
+ metadata,
51
+ schema_version: row.schema_version,
52
+ created_at: row.created_at,
53
+ updated_at: row.updated_at,
54
+ global: row.global,
55
+ version_id: row.version_id,
56
+ })
57
+ }
58
+
59
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
60
+ pub(crate) struct UntrackedMaterializationProjection {
61
+ pub(crate) snapshot_content: bool,
62
+ pub(crate) metadata: bool,
63
+ }
64
+
65
+ impl UntrackedMaterializationProjection {
66
+ pub(crate) fn full() -> Self {
67
+ Self {
68
+ snapshot_content: true,
69
+ metadata: true,
70
+ }
71
+ }
72
+
73
+ pub(crate) fn from_columns(columns: &[String]) -> Self {
74
+ if columns.is_empty() {
75
+ return Self::full();
76
+ }
77
+ Self {
78
+ snapshot_content: columns.iter().any(|column| column == "snapshot_content"),
79
+ metadata: columns.iter().any(|column| column == "metadata"),
80
+ }
81
+ }
82
+ }
83
+
84
+ fn stage_optional_json(
85
+ writes: &mut StorageWriteSet,
86
+ json_writer: &mut JsonStoreWriter,
87
+ value: Option<&str>,
88
+ ) -> Result<Option<JsonRef>, LixError> {
89
+ let Some(value) = value else {
90
+ return Ok(None);
91
+ };
92
+ json_writer.stage_bytes(writes, value.as_bytes()).map(Some)
93
+ }
94
+
95
+ fn stage_optional_metadata(
96
+ writes: &mut StorageWriteSet,
97
+ json_writer: &mut JsonStoreWriter,
98
+ value: Option<&RowMetadata>,
99
+ ) -> Result<Option<JsonRef>, LixError> {
100
+ let Some(value) = value else {
101
+ return Ok(None);
102
+ };
103
+ let serialized = serialize_row_metadata(value);
104
+ json_writer
105
+ .stage_bytes(writes, serialized.as_bytes())
106
+ .map(Some)
107
+ }
108
+
109
+ async fn load_optional_metadata<S>(
110
+ json_reader: &mut JsonStoreReader<S>,
111
+ json_ref: Option<&JsonRef>,
112
+ ) -> Result<Option<RowMetadata>, LixError>
113
+ where
114
+ S: StorageReader,
115
+ {
116
+ let Some(json) = load_optional_json(json_reader, json_ref, "metadata_ref").await? else {
117
+ return Ok(None);
118
+ };
119
+ let metadata = serde_json::from_str::<RowMetadata>(&json).map_err(|error| {
120
+ LixError::new(
121
+ "LIX_ERROR_INVALID_JSON",
122
+ format!("untracked_state metadata_ref is invalid JSON: {error}"),
123
+ )
124
+ })?;
125
+ validate_row_metadata(metadata, "untracked_state metadata_ref").map(Some)
126
+ }
127
+
128
+ async fn load_optional_json<S>(
129
+ json_reader: &mut JsonStoreReader<S>,
130
+ json_ref: Option<&JsonRef>,
131
+ field: &str,
132
+ ) -> Result<Option<String>, LixError>
133
+ where
134
+ S: StorageReader,
135
+ {
136
+ let Some(json_ref) = json_ref else {
137
+ return Ok(None);
138
+ };
139
+ let bytes = json_reader.load_bytes(json_ref).await?.ok_or_else(|| {
140
+ LixError::new(
141
+ "LIX_ERROR_UNKNOWN",
142
+ format!(
143
+ "untracked_state {field} '{}' is missing from json_store",
144
+ json_ref.to_hex()
145
+ ),
146
+ )
147
+ })?;
148
+ String::from_utf8(bytes).map(Some).map_err(|error| {
149
+ LixError::new(
150
+ "LIX_ERROR_UNKNOWN",
151
+ format!(
152
+ "untracked_state {field} '{}' is not valid UTF-8 JSON bytes: {error}",
153
+ json_ref.to_hex()
154
+ ),
155
+ )
156
+ })
157
+ }
@@ -0,0 +1,17 @@
1
+ mod codec;
2
+ mod context;
3
+ mod materialization;
4
+ pub(crate) mod storage;
5
+ mod types;
6
+
7
+ #[allow(unused_imports)]
8
+ pub(crate) use context::{UntrackedStateContext, UntrackedStateStoreReader, UntrackedStateWriter};
9
+ pub(crate) use materialization::{
10
+ canonicalize_materialized_row, materialize_row, UntrackedMaterializationProjection,
11
+ };
12
+ #[allow(unused_imports)]
13
+ pub(crate) use types::{
14
+ MaterializedUntrackedStateRow, UntrackedStateFilter, UntrackedStateIdentity,
15
+ UntrackedStateProjection, UntrackedStateRow, UntrackedStateRowRequest,
16
+ UntrackedStateScanRequest,
17
+ };