@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,307 @@
1
+ use crate::entity_identity::EntityIdentity;
2
+ use crate::untracked_state::{UntrackedStateRow, UntrackedStateRowRef};
3
+ use crate::LixError;
4
+
5
+ const UNTRACKED_STATE_FILE_IDENTIFIER: &str = "LXUS";
6
+
7
+ pub(crate) fn encode_row_ref(row: UntrackedStateRowRef<'_>) -> Result<Vec<u8>, LixError> {
8
+ let entity_id = row.entity_id.as_json_array_text().map_err(|error| {
9
+ LixError::unknown(format!(
10
+ "failed to encode untracked-state entity identity: {error}"
11
+ ))
12
+ })?;
13
+
14
+ let mut builder = flatbuffers::FlatBufferBuilder::with_capacity(256);
15
+ let entity_id = builder.create_string(&entity_id);
16
+ let schema_key = builder.create_string(row.schema_key);
17
+ let file_id = row.file_id.map(|value| builder.create_string(value));
18
+ let snapshot_content = row
19
+ .snapshot_content
20
+ .map(|value| builder.create_string(value));
21
+ let metadata = row.metadata.map(|value| builder.create_string(value));
22
+ let created_at = builder.create_string(row.created_at);
23
+ let updated_at = builder.create_string(row.updated_at);
24
+ let version_id = builder.create_string(row.version_id);
25
+
26
+ let root = flatbuffer::create_untracked_state_row(
27
+ &mut builder,
28
+ &flatbuffer::UntrackedStateRowArgs {
29
+ entity_id,
30
+ schema_key,
31
+ file_id,
32
+ snapshot_content,
33
+ metadata,
34
+ created_at,
35
+ updated_at,
36
+ global: row.global,
37
+ version_id,
38
+ },
39
+ );
40
+ builder.finish(root, Some(UNTRACKED_STATE_FILE_IDENTIFIER));
41
+ Ok(builder.finished_data().to_vec())
42
+ }
43
+
44
+ pub(crate) fn decode_row(bytes: &[u8]) -> Result<UntrackedStateRow, LixError> {
45
+ if bytes.len() < flatbuffers::SIZE_UOFFSET + flatbuffers::FILE_IDENTIFIER_LENGTH
46
+ || !flatbuffers::buffer_has_identifier(bytes, UNTRACKED_STATE_FILE_IDENTIFIER, false)
47
+ {
48
+ return Err(LixError::new(
49
+ "LIX_ERROR_UNKNOWN",
50
+ "failed to decode untracked-state row: invalid FlatBuffers file identifier",
51
+ ));
52
+ }
53
+
54
+ let row = flatbuffer::root_as_untracked_state_row(bytes).map_err(|error| {
55
+ LixError::new(
56
+ "LIX_ERROR_UNKNOWN",
57
+ format!("failed to decode untracked-state row: {error}"),
58
+ )
59
+ })?;
60
+
61
+ let entity_id = required_str(row.entity_id(), "entity_id")?;
62
+ let entity_id = EntityIdentity::from_json_array_text(entity_id).map_err(|error| {
63
+ LixError::unknown(format!(
64
+ "failed to decode untracked-state entity identity: {error}"
65
+ ))
66
+ })?;
67
+
68
+ Ok(UntrackedStateRow {
69
+ entity_id,
70
+ schema_key: required_str(row.schema_key(), "schema_key")?.to_string(),
71
+ file_id: row.file_id().map(ToString::to_string),
72
+ snapshot_content: row.snapshot_content().map(ToString::to_string),
73
+ metadata: row.metadata().map(ToString::to_string),
74
+ created_at: required_str(row.created_at(), "created_at")?.to_string(),
75
+ updated_at: required_str(row.updated_at(), "updated_at")?.to_string(),
76
+ global: row.global(),
77
+ version_id: required_str(row.version_id(), "version_id")?.to_string(),
78
+ })
79
+ }
80
+
81
+ fn required_str<'a>(value: Option<&'a str>, field: &str) -> Result<&'a str, LixError> {
82
+ value.ok_or_else(|| {
83
+ LixError::new(
84
+ "LIX_ERROR_UNKNOWN",
85
+ format!("failed to decode untracked-state row: missing required field `{field}`"),
86
+ )
87
+ })
88
+ }
89
+
90
+ mod flatbuffer {
91
+ #[derive(Copy, Clone, PartialEq)]
92
+ pub(super) struct UntrackedStateRow<'a> {
93
+ table: flatbuffers::Table<'a>,
94
+ }
95
+
96
+ impl<'a> flatbuffers::Follow<'a> for UntrackedStateRow<'a> {
97
+ type Inner = UntrackedStateRow<'a>;
98
+
99
+ #[inline]
100
+ unsafe fn follow(buf: &'a [u8], loc: usize) -> Self::Inner {
101
+ Self {
102
+ table: unsafe { flatbuffers::Table::new(buf, loc) },
103
+ }
104
+ }
105
+ }
106
+
107
+ impl<'a> UntrackedStateRow<'a> {
108
+ const VT_ENTITY_ID: flatbuffers::VOffsetT = 4;
109
+ const VT_SCHEMA_KEY: flatbuffers::VOffsetT = 6;
110
+ const VT_FILE_ID: flatbuffers::VOffsetT = 8;
111
+ const VT_SNAPSHOT_CONTENT: flatbuffers::VOffsetT = 10;
112
+ const VT_METADATA: flatbuffers::VOffsetT = 12;
113
+ const VT_CREATED_AT: flatbuffers::VOffsetT = 14;
114
+ const VT_UPDATED_AT: flatbuffers::VOffsetT = 16;
115
+ const VT_GLOBAL: flatbuffers::VOffsetT = 18;
116
+ const VT_VERSION_ID: flatbuffers::VOffsetT = 20;
117
+
118
+ #[inline]
119
+ pub(super) fn entity_id(&self) -> Option<&'a str> {
120
+ unsafe {
121
+ self.table
122
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_ENTITY_ID, None)
123
+ }
124
+ }
125
+
126
+ #[inline]
127
+ pub(super) fn schema_key(&self) -> Option<&'a str> {
128
+ unsafe {
129
+ self.table
130
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_SCHEMA_KEY, None)
131
+ }
132
+ }
133
+
134
+ #[inline]
135
+ pub(super) fn file_id(&self) -> Option<&'a str> {
136
+ unsafe {
137
+ self.table
138
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_FILE_ID, None)
139
+ }
140
+ }
141
+
142
+ #[inline]
143
+ pub(super) fn snapshot_content(&self) -> Option<&'a str> {
144
+ unsafe {
145
+ self.table
146
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_SNAPSHOT_CONTENT, None)
147
+ }
148
+ }
149
+
150
+ #[inline]
151
+ pub(super) fn metadata(&self) -> Option<&'a str> {
152
+ unsafe {
153
+ self.table
154
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_METADATA, None)
155
+ }
156
+ }
157
+
158
+ pub(super) fn created_at(&self) -> Option<&'a str> {
159
+ unsafe {
160
+ self.table
161
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_CREATED_AT, None)
162
+ }
163
+ }
164
+
165
+ #[inline]
166
+ pub(super) fn updated_at(&self) -> Option<&'a str> {
167
+ unsafe {
168
+ self.table
169
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_UPDATED_AT, None)
170
+ }
171
+ }
172
+
173
+ #[inline]
174
+ pub(super) fn global(&self) -> bool {
175
+ unsafe { self.table.get::<bool>(Self::VT_GLOBAL, Some(false)) }.unwrap_or(false)
176
+ }
177
+
178
+ #[inline]
179
+ pub(super) fn version_id(&self) -> Option<&'a str> {
180
+ unsafe {
181
+ self.table
182
+ .get::<flatbuffers::ForwardsUOffset<&str>>(Self::VT_VERSION_ID, None)
183
+ }
184
+ }
185
+ }
186
+
187
+ impl flatbuffers::Verifiable for UntrackedStateRow<'_> {
188
+ #[inline]
189
+ fn run_verifier(
190
+ verifier: &mut flatbuffers::Verifier,
191
+ position: usize,
192
+ ) -> Result<(), flatbuffers::InvalidFlatbuffer> {
193
+ verifier
194
+ .visit_table(position)?
195
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
196
+ "entity_id",
197
+ Self::VT_ENTITY_ID,
198
+ true,
199
+ )?
200
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
201
+ "schema_key",
202
+ Self::VT_SCHEMA_KEY,
203
+ true,
204
+ )?
205
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
206
+ "file_id",
207
+ Self::VT_FILE_ID,
208
+ false,
209
+ )?
210
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
211
+ "snapshot_content",
212
+ Self::VT_SNAPSHOT_CONTENT,
213
+ false,
214
+ )?
215
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
216
+ "metadata",
217
+ Self::VT_METADATA,
218
+ false,
219
+ )?
220
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
221
+ "created_at",
222
+ Self::VT_CREATED_AT,
223
+ true,
224
+ )?
225
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
226
+ "updated_at",
227
+ Self::VT_UPDATED_AT,
228
+ true,
229
+ )?
230
+ .visit_field::<bool>("global", Self::VT_GLOBAL, false)?
231
+ .visit_field::<flatbuffers::ForwardsUOffset<&str>>(
232
+ "version_id",
233
+ Self::VT_VERSION_ID,
234
+ true,
235
+ )?
236
+ .finish();
237
+ Ok(())
238
+ }
239
+ }
240
+
241
+ pub(super) struct UntrackedStateRowArgs<'a> {
242
+ pub(super) entity_id: flatbuffers::WIPOffset<&'a str>,
243
+ pub(super) schema_key: flatbuffers::WIPOffset<&'a str>,
244
+ pub(super) file_id: Option<flatbuffers::WIPOffset<&'a str>>,
245
+ pub(super) snapshot_content: Option<flatbuffers::WIPOffset<&'a str>>,
246
+ pub(super) metadata: Option<flatbuffers::WIPOffset<&'a str>>,
247
+ pub(super) created_at: flatbuffers::WIPOffset<&'a str>,
248
+ pub(super) updated_at: flatbuffers::WIPOffset<&'a str>,
249
+ pub(super) global: bool,
250
+ pub(super) version_id: flatbuffers::WIPOffset<&'a str>,
251
+ }
252
+
253
+ pub(super) fn create_untracked_state_row<'bldr: 'args, 'args: 'mut_bldr, 'mut_bldr>(
254
+ builder: &'mut_bldr mut flatbuffers::FlatBufferBuilder<'bldr>,
255
+ args: &'args UntrackedStateRowArgs<'args>,
256
+ ) -> flatbuffers::WIPOffset<UntrackedStateRow<'bldr>> {
257
+ let start = builder.start_table();
258
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
259
+ UntrackedStateRow::VT_VERSION_ID,
260
+ args.version_id,
261
+ );
262
+ builder.push_slot::<bool>(UntrackedStateRow::VT_GLOBAL, args.global, false);
263
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
264
+ UntrackedStateRow::VT_UPDATED_AT,
265
+ args.updated_at,
266
+ );
267
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
268
+ UntrackedStateRow::VT_CREATED_AT,
269
+ args.created_at,
270
+ );
271
+ if let Some(metadata) = args.metadata {
272
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
273
+ UntrackedStateRow::VT_METADATA,
274
+ metadata,
275
+ );
276
+ }
277
+ if let Some(snapshot_content) = args.snapshot_content {
278
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
279
+ UntrackedStateRow::VT_SNAPSHOT_CONTENT,
280
+ snapshot_content,
281
+ );
282
+ }
283
+ if let Some(file_id) = args.file_id {
284
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
285
+ UntrackedStateRow::VT_FILE_ID,
286
+ file_id,
287
+ );
288
+ }
289
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
290
+ UntrackedStateRow::VT_SCHEMA_KEY,
291
+ args.schema_key,
292
+ );
293
+ builder.push_slot_always::<flatbuffers::WIPOffset<_>>(
294
+ UntrackedStateRow::VT_ENTITY_ID,
295
+ args.entity_id,
296
+ );
297
+ let offset = builder.end_table(start);
298
+ flatbuffers::WIPOffset::new(offset.value())
299
+ }
300
+
301
+ #[inline]
302
+ pub(super) fn root_as_untracked_state_row(
303
+ bytes: &[u8],
304
+ ) -> Result<UntrackedStateRow<'_>, flatbuffers::InvalidFlatbuffer> {
305
+ flatbuffers::root::<UntrackedStateRow>(bytes)
306
+ }
307
+ }
@@ -0,0 +1,98 @@
1
+ use crate::storage::{StorageReader, StorageWriteSet};
2
+ use crate::untracked_state::{
3
+ MaterializedUntrackedStateRow, UntrackedStateIdentity, UntrackedStateIdentityRef,
4
+ UntrackedStateRowRef, 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
+ pub(crate) async fn existing_identities<'a, I>(
64
+ &mut self,
65
+ identities: I,
66
+ ) -> Result<Vec<UntrackedStateIdentity>, LixError>
67
+ where
68
+ I: IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
69
+ {
70
+ crate::untracked_state::storage::existing_identities(&mut self.store, identities).await
71
+ }
72
+ }
73
+
74
+ /// Untracked-state writer over a transaction-local storage write set.
75
+ pub(crate) struct UntrackedStateWriter<'a> {
76
+ writes: &'a mut StorageWriteSet,
77
+ }
78
+
79
+ impl UntrackedStateWriter<'_> {
80
+ /// Stages the latest untracked rows for their identities.
81
+ ///
82
+ /// A row with `snapshot_content = None` is treated as removal because
83
+ /// untracked state keeps only the current local value, not tombstones.
84
+ pub(crate) fn stage_rows<'a, I>(&mut self, rows: I) -> Result<(), LixError>
85
+ where
86
+ I: IntoIterator<Item = UntrackedStateRowRef<'a>>,
87
+ {
88
+ crate::untracked_state::storage::stage_rows(self.writes, rows)
89
+ }
90
+
91
+ /// Removes untracked rows by exact identity.
92
+ pub(crate) fn stage_delete_rows<'a, I>(&mut self, identities: I)
93
+ where
94
+ I: IntoIterator<Item = UntrackedStateIdentityRef<'a>>,
95
+ {
96
+ crate::untracked_state::storage::stage_delete_rows(self.writes, identities)
97
+ }
98
+ }
@@ -0,0 +1,63 @@
1
+ use crate::untracked_state::{MaterializedUntrackedStateRow, UntrackedStateRow};
2
+ use crate::{parse_row_metadata, LixError};
3
+
4
+ pub(crate) fn materialize_row(
5
+ row: UntrackedStateRow,
6
+ projection: &UntrackedMaterializationProjection,
7
+ ) -> Result<MaterializedUntrackedStateRow, LixError> {
8
+ let deleted = row.snapshot_content.is_none();
9
+ let snapshot_content = if projection.snapshot_content {
10
+ row.snapshot_content
11
+ } else {
12
+ None
13
+ };
14
+ let metadata = if projection.metadata {
15
+ load_optional_metadata(row.metadata)?
16
+ } else {
17
+ None
18
+ };
19
+ Ok(MaterializedUntrackedStateRow {
20
+ entity_id: row.entity_id,
21
+ schema_key: row.schema_key,
22
+ file_id: row.file_id,
23
+ snapshot_content,
24
+ metadata,
25
+ deleted,
26
+ created_at: row.created_at,
27
+ updated_at: row.updated_at,
28
+ global: row.global,
29
+ version_id: row.version_id,
30
+ })
31
+ }
32
+
33
+ #[derive(Debug, Clone, Copy, PartialEq, Eq)]
34
+ pub(crate) struct UntrackedMaterializationProjection {
35
+ pub(crate) snapshot_content: bool,
36
+ pub(crate) metadata: bool,
37
+ }
38
+
39
+ impl UntrackedMaterializationProjection {
40
+ pub(crate) fn full() -> Self {
41
+ Self {
42
+ snapshot_content: true,
43
+ metadata: true,
44
+ }
45
+ }
46
+
47
+ pub(crate) fn from_columns(columns: &[String]) -> Self {
48
+ if columns.is_empty() {
49
+ return Self::full();
50
+ }
51
+ Self {
52
+ snapshot_content: columns.iter().any(|column| column == "snapshot_content"),
53
+ metadata: columns.iter().any(|column| column == "metadata"),
54
+ }
55
+ }
56
+ }
57
+
58
+ fn load_optional_metadata(metadata: Option<String>) -> Result<Option<String>, LixError> {
59
+ let Some(json) = metadata else {
60
+ return Ok(None);
61
+ };
62
+ parse_row_metadata(&json, "untracked_state metadata").map(Some)
63
+ }
@@ -0,0 +1,15 @@
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::{materialize_row, UntrackedMaterializationProjection};
10
+ #[allow(unused_imports)]
11
+ pub(crate) use types::{
12
+ MaterializedUntrackedStateRow, UntrackedStateFilter, UntrackedStateIdentity,
13
+ UntrackedStateIdentityRef, UntrackedStateProjection, UntrackedStateRow, UntrackedStateRowRef,
14
+ UntrackedStateRowRequest, UntrackedStateScanRequest,
15
+ };