@lix-js/sdk 0.6.0-preview.4 → 0.6.0

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 (223) hide show
  1. package/README.md +76 -4
  2. package/dist/errors.d.ts +7 -0
  3. package/dist/errors.js +19 -0
  4. package/dist/index.d.ts +4 -5
  5. package/dist/index.js +3 -3
  6. package/dist/native.d.ts +1 -0
  7. package/dist/native.js +47 -0
  8. package/dist/open-lix.d.ts +39 -201
  9. package/dist/open-lix.js +59 -284
  10. package/dist/result.d.ts +18 -0
  11. package/dist/result.js +48 -0
  12. package/dist/types.d.ts +114 -1
  13. package/dist/value.d.ts +28 -0
  14. package/dist/value.js +245 -0
  15. package/package.json +20 -50
  16. package/SKILL.md +0 -506
  17. package/dist/builtin-schemas.d.ts +0 -1
  18. package/dist/builtin-schemas.js +0 -1
  19. package/dist/engine-wasm/index.d.ts +0 -87
  20. package/dist/engine-wasm/index.js +0 -339
  21. package/dist/engine-wasm/wasm/lix_engine.d.ts +0 -79
  22. package/dist/engine-wasm/wasm/lix_engine.js +0 -821
  23. package/dist/engine-wasm/wasm/lix_engine.wasm +0 -0
  24. package/dist/engine-wasm/wasm/lix_engine.wasm.d.ts +0 -26
  25. package/dist/generated/builtin-schemas.d.ts +0 -427
  26. package/dist/generated/builtin-schemas.js +0 -643
  27. package/dist/sqlite/index.d.ts +0 -12
  28. package/dist/sqlite/index.js +0 -303
  29. package/dist-engine-src/README.md +0 -18
  30. package/dist-engine-src/src/backend/kv.rs +0 -358
  31. package/dist-engine-src/src/backend/mod.rs +0 -12
  32. package/dist-engine-src/src/backend/testing.rs +0 -658
  33. package/dist-engine-src/src/backend/types.rs +0 -96
  34. package/dist-engine-src/src/binary_cas/chunking.rs +0 -31
  35. package/dist-engine-src/src/binary_cas/codec.rs +0 -346
  36. package/dist-engine-src/src/binary_cas/context.rs +0 -139
  37. package/dist-engine-src/src/binary_cas/kv.rs +0 -1063
  38. package/dist-engine-src/src/binary_cas/mod.rs +0 -11
  39. package/dist-engine-src/src/binary_cas/types.rs +0 -121
  40. package/dist-engine-src/src/catalog/context.rs +0 -412
  41. package/dist-engine-src/src/catalog/mod.rs +0 -10
  42. package/dist-engine-src/src/catalog/schema.rs +0 -4
  43. package/dist-engine-src/src/catalog/snapshot.rs +0 -1114
  44. package/dist-engine-src/src/cel/context.rs +0 -86
  45. package/dist-engine-src/src/cel/error.rs +0 -19
  46. package/dist-engine-src/src/cel/mod.rs +0 -8
  47. package/dist-engine-src/src/cel/provider.rs +0 -9
  48. package/dist-engine-src/src/cel/runtime.rs +0 -167
  49. package/dist-engine-src/src/cel/value.rs +0 -50
  50. package/dist-engine-src/src/commit_graph/context.rs +0 -901
  51. package/dist-engine-src/src/commit_graph/mod.rs +0 -11
  52. package/dist-engine-src/src/commit_graph/types.rs +0 -109
  53. package/dist-engine-src/src/commit_graph/walker.rs +0 -756
  54. package/dist-engine-src/src/commit_store/codec.rs +0 -887
  55. package/dist-engine-src/src/commit_store/context.rs +0 -944
  56. package/dist-engine-src/src/commit_store/materialization.rs +0 -84
  57. package/dist-engine-src/src/commit_store/mod.rs +0 -16
  58. package/dist-engine-src/src/commit_store/storage.rs +0 -600
  59. package/dist-engine-src/src/commit_store/types.rs +0 -215
  60. package/dist-engine-src/src/common/error.rs +0 -313
  61. package/dist-engine-src/src/common/fingerprint.rs +0 -3
  62. package/dist-engine-src/src/common/fs_path.rs +0 -1336
  63. package/dist-engine-src/src/common/identity.rs +0 -145
  64. package/dist-engine-src/src/common/json_pointer.rs +0 -67
  65. package/dist-engine-src/src/common/metadata.rs +0 -40
  66. package/dist-engine-src/src/common/mod.rs +0 -23
  67. package/dist-engine-src/src/common/types.rs +0 -105
  68. package/dist-engine-src/src/common/wire.rs +0 -222
  69. package/dist-engine-src/src/domain.rs +0 -324
  70. package/dist-engine-src/src/engine.rs +0 -225
  71. package/dist-engine-src/src/entity_identity.rs +0 -405
  72. package/dist-engine-src/src/functions/context.rs +0 -292
  73. package/dist-engine-src/src/functions/deterministic.rs +0 -113
  74. package/dist-engine-src/src/functions/mod.rs +0 -18
  75. package/dist-engine-src/src/functions/provider.rs +0 -130
  76. package/dist-engine-src/src/functions/state.rs +0 -336
  77. package/dist-engine-src/src/functions/types.rs +0 -37
  78. package/dist-engine-src/src/init.rs +0 -558
  79. package/dist-engine-src/src/json_store/compression.rs +0 -77
  80. package/dist-engine-src/src/json_store/context.rs +0 -423
  81. package/dist-engine-src/src/json_store/encoded.rs +0 -15
  82. package/dist-engine-src/src/json_store/mod.rs +0 -12
  83. package/dist-engine-src/src/json_store/store.rs +0 -1109
  84. package/dist-engine-src/src/json_store/types.rs +0 -217
  85. package/dist-engine-src/src/lib.rs +0 -62
  86. package/dist-engine-src/src/live_state/context.rs +0 -2019
  87. package/dist-engine-src/src/live_state/mod.rs +0 -15
  88. package/dist-engine-src/src/live_state/overlay.rs +0 -75
  89. package/dist-engine-src/src/live_state/reader.rs +0 -23
  90. package/dist-engine-src/src/live_state/types.rs +0 -222
  91. package/dist-engine-src/src/live_state/visibility.rs +0 -223
  92. package/dist-engine-src/src/plugin/archive.rs +0 -438
  93. package/dist-engine-src/src/plugin/component.rs +0 -183
  94. package/dist-engine-src/src/plugin/install.rs +0 -619
  95. package/dist-engine-src/src/plugin/manifest.rs +0 -516
  96. package/dist-engine-src/src/plugin/materializer.rs +0 -477
  97. package/dist-engine-src/src/plugin/mod.rs +0 -33
  98. package/dist-engine-src/src/plugin/plugin_manifest.json +0 -118
  99. package/dist-engine-src/src/plugin/storage.rs +0 -74
  100. package/dist-engine-src/src/schema/annotations/defaults.rs +0 -275
  101. package/dist-engine-src/src/schema/annotations/mod.rs +0 -1
  102. package/dist-engine-src/src/schema/builtin/lix_account.json +0 -21
  103. package/dist-engine-src/src/schema/builtin/lix_active_account.json +0 -29
  104. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +0 -29
  105. package/dist-engine-src/src/schema/builtin/lix_change.json +0 -63
  106. package/dist-engine-src/src/schema/builtin/lix_change_author.json +0 -45
  107. package/dist-engine-src/src/schema/builtin/lix_commit.json +0 -24
  108. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +0 -53
  109. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +0 -52
  110. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +0 -52
  111. package/dist-engine-src/src/schema/builtin/lix_key_value.json +0 -40
  112. package/dist-engine-src/src/schema/builtin/lix_label.json +0 -29
  113. package/dist-engine-src/src/schema/builtin/lix_label_assignment.json +0 -74
  114. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +0 -25
  115. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +0 -34
  116. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +0 -48
  117. package/dist-engine-src/src/schema/builtin/mod.rs +0 -222
  118. package/dist-engine-src/src/schema/compatibility.rs +0 -787
  119. package/dist-engine-src/src/schema/definition.json +0 -187
  120. package/dist-engine-src/src/schema/definition.rs +0 -742
  121. package/dist-engine-src/src/schema/key.rs +0 -138
  122. package/dist-engine-src/src/schema/mod.rs +0 -20
  123. package/dist-engine-src/src/schema/seed.rs +0 -14
  124. package/dist-engine-src/src/schema/tests.rs +0 -780
  125. package/dist-engine-src/src/session/context.rs +0 -404
  126. package/dist-engine-src/src/session/create_version.rs +0 -88
  127. package/dist-engine-src/src/session/execute.rs +0 -541
  128. package/dist-engine-src/src/session/merge/analysis.rs +0 -102
  129. package/dist-engine-src/src/session/merge/apply.rs +0 -23
  130. package/dist-engine-src/src/session/merge/conflicts.rs +0 -63
  131. package/dist-engine-src/src/session/merge/mod.rs +0 -11
  132. package/dist-engine-src/src/session/merge/stats.rs +0 -65
  133. package/dist-engine-src/src/session/merge/version.rs +0 -427
  134. package/dist-engine-src/src/session/mod.rs +0 -27
  135. package/dist-engine-src/src/session/optimization9_sql2_bench.rs +0 -100
  136. package/dist-engine-src/src/session/switch_version.rs +0 -110
  137. package/dist-engine-src/src/session/transaction.rs +0 -76
  138. package/dist-engine-src/src/sql2/change_provider.rs +0 -331
  139. package/dist-engine-src/src/sql2/classify.rs +0 -174
  140. package/dist-engine-src/src/sql2/context.rs +0 -311
  141. package/dist-engine-src/src/sql2/directory_history_provider.rs +0 -631
  142. package/dist-engine-src/src/sql2/directory_provider.rs +0 -2453
  143. package/dist-engine-src/src/sql2/dml.rs +0 -148
  144. package/dist-engine-src/src/sql2/entity_history_provider.rs +0 -440
  145. package/dist-engine-src/src/sql2/entity_provider.rs +0 -3211
  146. package/dist-engine-src/src/sql2/error.rs +0 -215
  147. package/dist-engine-src/src/sql2/execute.rs +0 -3533
  148. package/dist-engine-src/src/sql2/file_history_provider.rs +0 -910
  149. package/dist-engine-src/src/sql2/file_provider.rs +0 -3679
  150. package/dist-engine-src/src/sql2/filesystem_planner.rs +0 -1490
  151. package/dist-engine-src/src/sql2/filesystem_predicates.rs +0 -159
  152. package/dist-engine-src/src/sql2/filesystem_visibility.rs +0 -383
  153. package/dist-engine-src/src/sql2/history_projection.rs +0 -56
  154. package/dist-engine-src/src/sql2/history_provider.rs +0 -412
  155. package/dist-engine-src/src/sql2/history_route.rs +0 -657
  156. package/dist-engine-src/src/sql2/lix_state_provider.rs +0 -2512
  157. package/dist-engine-src/src/sql2/mod.rs +0 -47
  158. package/dist-engine-src/src/sql2/predicate_typecheck.rs +0 -246
  159. package/dist-engine-src/src/sql2/public_bind/assignment.rs +0 -46
  160. package/dist-engine-src/src/sql2/public_bind/capability.rs +0 -41
  161. package/dist-engine-src/src/sql2/public_bind/dml.rs +0 -172
  162. package/dist-engine-src/src/sql2/public_bind/mod.rs +0 -26
  163. package/dist-engine-src/src/sql2/public_bind/table.rs +0 -168
  164. package/dist-engine-src/src/sql2/read_only.rs +0 -63
  165. package/dist-engine-src/src/sql2/record_batch.rs +0 -17
  166. package/dist-engine-src/src/sql2/result_metadata.rs +0 -29
  167. package/dist-engine-src/src/sql2/runtime.rs +0 -60
  168. package/dist-engine-src/src/sql2/session.rs +0 -132
  169. package/dist-engine-src/src/sql2/udfs/common.rs +0 -295
  170. package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +0 -53
  171. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +0 -47
  172. package/dist-engine-src/src/sql2/udfs/lix_json.rs +0 -100
  173. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +0 -99
  174. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +0 -99
  175. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +0 -82
  176. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +0 -85
  177. package/dist-engine-src/src/sql2/udfs/lix_timestamp.rs +0 -76
  178. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +0 -76
  179. package/dist-engine-src/src/sql2/udfs/mod.rs +0 -89
  180. package/dist-engine-src/src/sql2/udfs/public_call.rs +0 -238
  181. package/dist-engine-src/src/sql2/version_provider.rs +0 -1202
  182. package/dist-engine-src/src/sql2/version_scope.rs +0 -394
  183. package/dist-engine-src/src/sql2/write_normalization.rs +0 -345
  184. package/dist-engine-src/src/storage/context.rs +0 -356
  185. package/dist-engine-src/src/storage/mod.rs +0 -14
  186. package/dist-engine-src/src/storage/read_scope.rs +0 -88
  187. package/dist-engine-src/src/storage/types.rs +0 -501
  188. package/dist-engine-src/src/storage_bench.rs +0 -4863
  189. package/dist-engine-src/src/test_support.rs +0 -228
  190. package/dist-engine-src/src/tracked_state/by_file_index.rs +0 -98
  191. package/dist-engine-src/src/tracked_state/codec.rs +0 -2085
  192. package/dist-engine-src/src/tracked_state/context.rs +0 -1867
  193. package/dist-engine-src/src/tracked_state/diff.rs +0 -686
  194. package/dist-engine-src/src/tracked_state/materialization.rs +0 -403
  195. package/dist-engine-src/src/tracked_state/materializer.rs +0 -488
  196. package/dist-engine-src/src/tracked_state/merge.rs +0 -492
  197. package/dist-engine-src/src/tracked_state/mod.rs +0 -32
  198. package/dist-engine-src/src/tracked_state/storage.rs +0 -375
  199. package/dist-engine-src/src/tracked_state/tree.rs +0 -3187
  200. package/dist-engine-src/src/tracked_state/types.rs +0 -231
  201. package/dist-engine-src/src/transaction/commit.rs +0 -1484
  202. package/dist-engine-src/src/transaction/context.rs +0 -1548
  203. package/dist-engine-src/src/transaction/live_state_overlay.rs +0 -35
  204. package/dist-engine-src/src/transaction/mod.rs +0 -13
  205. package/dist-engine-src/src/transaction/normalization.rs +0 -890
  206. package/dist-engine-src/src/transaction/prep.rs +0 -37
  207. package/dist-engine-src/src/transaction/schema_resolver.rs +0 -149
  208. package/dist-engine-src/src/transaction/staging.rs +0 -1731
  209. package/dist-engine-src/src/transaction/types.rs +0 -460
  210. package/dist-engine-src/src/transaction/validation.rs +0 -5830
  211. package/dist-engine-src/src/untracked_state/codec.rs +0 -307
  212. package/dist-engine-src/src/untracked_state/context.rs +0 -98
  213. package/dist-engine-src/src/untracked_state/materialization.rs +0 -63
  214. package/dist-engine-src/src/untracked_state/mod.rs +0 -15
  215. package/dist-engine-src/src/untracked_state/storage.rs +0 -396
  216. package/dist-engine-src/src/untracked_state/types.rs +0 -146
  217. package/dist-engine-src/src/version/context.rs +0 -40
  218. package/dist-engine-src/src/version/lifecycle.rs +0 -221
  219. package/dist-engine-src/src/version/mod.rs +0 -13
  220. package/dist-engine-src/src/version/refs.rs +0 -330
  221. package/dist-engine-src/src/version/stage_rows.rs +0 -67
  222. package/dist-engine-src/src/version/types.rs +0 -21
  223. package/dist-engine-src/src/wasm/mod.rs +0 -60
@@ -1,15 +0,0 @@
1
- mod context;
2
- mod overlay;
3
- mod reader;
4
- mod types;
5
- mod visibility;
6
-
7
- #[allow(unused_imports)]
8
- pub(crate) use context::{LiveStateContext, LiveStateStoreReader};
9
- #[allow(unused_imports)]
10
- pub(crate) use reader::LiveStateReader;
11
- #[allow(unused_imports)]
12
- pub(crate) use types::{
13
- Bound, LiveStateFilter, LiveStateProjection, LiveStateRowIdentity, LiveStateRowRequest,
14
- LiveStateScanRequest, MaterializedLiveStateRow, ScanConstraint, ScanField, ScanOperator,
15
- };
@@ -1,75 +0,0 @@
1
- use std::collections::BTreeMap;
2
-
3
- use crate::live_state::{LiveStateRowIdentity, MaterializedLiveStateRow};
4
-
5
- /// Applies the local untracked overlay to tracked live-state rows.
6
- ///
7
- /// The visible live-state contract is "latest local untracked row wins" for
8
- /// the same version/schema/entity/file identity. This keeps SQL providers from
9
- /// knowing whether a visible row came from tracked changelog projection or from
10
- /// local untracked state.
11
- pub(crate) fn overlay_untracked_rows(
12
- tracked_rows: Vec<MaterializedLiveStateRow>,
13
- untracked_rows: Vec<MaterializedLiveStateRow>,
14
- ) -> Vec<MaterializedLiveStateRow> {
15
- let mut rows_by_identity = BTreeMap::new();
16
-
17
- for row in tracked_rows {
18
- rows_by_identity.insert(LiveStateRowIdentity::from_row(&row), row);
19
- }
20
- for row in untracked_rows {
21
- rows_by_identity.insert(LiveStateRowIdentity::from_row(&row), row);
22
- }
23
-
24
- rows_by_identity.into_values().collect()
25
- }
26
-
27
- #[cfg(test)]
28
- mod tests {
29
- use super::*;
30
-
31
- #[test]
32
- fn untracked_row_wins_for_same_identity() {
33
- let tracked = live_row("tracked", false, Some("change-tracked"));
34
- let untracked = live_row("untracked", true, None);
35
-
36
- let rows = overlay_untracked_rows(vec![tracked], vec![untracked]);
37
-
38
- assert_eq!(rows.len(), 1);
39
- assert_eq!(
40
- rows[0].snapshot_content.as_deref(),
41
- Some("{\"value\":\"untracked\"}")
42
- );
43
- assert!(rows[0].untracked);
44
- assert_eq!(rows[0].change_id, None);
45
- }
46
-
47
- #[test]
48
- fn different_identities_are_preserved() {
49
- let tracked = live_row("tracked", false, Some("change-tracked"));
50
- let mut untracked = live_row("untracked", true, None);
51
- untracked.entity_id = crate::entity_identity::EntityIdentity::single("other");
52
-
53
- let rows = overlay_untracked_rows(vec![tracked], vec![untracked]);
54
-
55
- assert_eq!(rows.len(), 2);
56
- }
57
-
58
- fn live_row(value: &str, untracked: bool, change_id: Option<&str>) -> MaterializedLiveStateRow {
59
- MaterializedLiveStateRow {
60
- entity_id: crate::entity_identity::EntityIdentity::single("entity"),
61
- schema_key: "schema".to_string(),
62
- file_id: None,
63
- snapshot_content: Some(format!("{{\"value\":\"{value}\"}}")),
64
- metadata: None,
65
- deleted: false,
66
- created_at: "2026-01-01T00:00:00Z".to_string(),
67
- updated_at: "2026-01-01T00:00:00Z".to_string(),
68
- global: true,
69
- change_id: change_id.map(str::to_string),
70
- commit_id: None,
71
- untracked,
72
- version_id: "global".to_string(),
73
- }
74
- }
75
- }
@@ -1,23 +0,0 @@
1
- use async_trait::async_trait;
2
-
3
- use crate::live_state::MaterializedLiveStateRow;
4
- use crate::live_state::{LiveStateRowRequest, LiveStateScanRequest};
5
- use crate::LixError;
6
-
7
- /// Minimal engine read model for transaction planning and SQL providers.
8
- ///
9
- /// Engine only needs visible state-row reads here. Changelog freshness/catch-up
10
- /// should be added at this boundary later instead of leaking projection internals
11
- /// into sessions or SQL providers.
12
- #[async_trait]
13
- pub(crate) trait LiveStateReader: Send + Sync {
14
- async fn scan_rows(
15
- &self,
16
- request: &LiveStateScanRequest,
17
- ) -> Result<Vec<MaterializedLiveStateRow>, LixError>;
18
-
19
- async fn load_row(
20
- &self,
21
- request: &LiveStateRowRequest,
22
- ) -> Result<Option<MaterializedLiveStateRow>, LixError>;
23
- }
@@ -1,222 +0,0 @@
1
- use crate::entity_identity::EntityIdentity;
2
- use crate::tracked_state::MaterializedTrackedStateRow;
3
- use crate::untracked_state::{
4
- MaterializedUntrackedStateRow, UntrackedStateFilter, UntrackedStateRowRequest,
5
- };
6
- use crate::{NullableKeyFilter, Value};
7
-
8
- /// Durable row visible through live_state reads.
9
- ///
10
- /// Unlike provider write rows, live-state rows are fully hydrated facts. Missing
11
- /// generated fields should be caught before this type is constructed.
12
- #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
13
- pub(crate) struct MaterializedLiveStateRow {
14
- pub(crate) entity_id: EntityIdentity,
15
- pub(crate) schema_key: String,
16
- pub(crate) file_id: Option<String>,
17
- pub(crate) snapshot_content: Option<String>,
18
- pub(crate) metadata: Option<String>,
19
- pub(crate) deleted: bool,
20
- pub(crate) created_at: String,
21
- pub(crate) updated_at: String,
22
- pub(crate) global: bool,
23
- pub(crate) change_id: Option<String>,
24
- pub(crate) commit_id: Option<String>,
25
- pub(crate) untracked: bool,
26
- pub(crate) version_id: String,
27
- }
28
-
29
- impl From<MaterializedUntrackedStateRow> for MaterializedLiveStateRow {
30
- fn from(row: MaterializedUntrackedStateRow) -> Self {
31
- MaterializedLiveStateRow {
32
- entity_id: row.entity_id,
33
- schema_key: row.schema_key,
34
- file_id: row.file_id,
35
- snapshot_content: row.snapshot_content,
36
- metadata: row.metadata,
37
- deleted: row.deleted,
38
- created_at: row.created_at,
39
- updated_at: row.updated_at,
40
- global: row.global,
41
- change_id: None,
42
- commit_id: None,
43
- untracked: true,
44
- version_id: row.version_id,
45
- }
46
- }
47
- }
48
-
49
- impl TryFrom<&MaterializedLiveStateRow> for MaterializedTrackedStateRow {
50
- type Error = crate::LixError;
51
-
52
- fn try_from(row: &MaterializedLiveStateRow) -> Result<Self, Self::Error> {
53
- if row.untracked {
54
- return Err(crate::LixError::new(
55
- "LIX_ERROR_UNKNOWN",
56
- "tracked_state cannot store untracked live-state rows",
57
- ));
58
- }
59
- let Some(change_id) = row.change_id.clone() else {
60
- return Err(crate::LixError::new(
61
- "LIX_ERROR_UNKNOWN",
62
- "tracked_state rows require change_id",
63
- ));
64
- };
65
- let Some(commit_id) = row.commit_id.clone() else {
66
- return Err(crate::LixError::new(
67
- "LIX_ERROR_UNKNOWN",
68
- "tracked_state rows require commit_id",
69
- ));
70
- };
71
-
72
- Ok(MaterializedTrackedStateRow {
73
- entity_id: row.entity_id.clone(),
74
- schema_key: row.schema_key.clone(),
75
- file_id: row.file_id.clone(),
76
- snapshot_content: row.snapshot_content.clone(),
77
- metadata: row.metadata.clone(),
78
- deleted: row.deleted,
79
- created_at: row.created_at.clone(),
80
- updated_at: row.updated_at.clone(),
81
- change_id,
82
- commit_id,
83
- })
84
- }
85
- }
86
-
87
- impl From<&MaterializedLiveStateRow> for MaterializedUntrackedStateRow {
88
- fn from(row: &MaterializedLiveStateRow) -> Self {
89
- MaterializedUntrackedStateRow {
90
- entity_id: row.entity_id.clone(),
91
- schema_key: row.schema_key.clone(),
92
- file_id: row.file_id.clone(),
93
- snapshot_content: row.snapshot_content.clone(),
94
- metadata: row.metadata.clone(),
95
- deleted: row.deleted,
96
- created_at: row.created_at.clone(),
97
- updated_at: row.updated_at.clone(),
98
- global: row.global,
99
- version_id: row.version_id.clone(),
100
- }
101
- }
102
- }
103
-
104
- /// Which indexed field a live-state scan constraint applies to.
105
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
106
- pub(crate) enum ScanField {
107
- EntityId,
108
- FileId,
109
- }
110
-
111
- /// Inclusive or exclusive range bound.
112
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
113
- pub(crate) struct Bound {
114
- pub(crate) value: Value,
115
- pub(crate) inclusive: bool,
116
- }
117
-
118
- /// SQL-free structured scan constraint.
119
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
120
- pub(crate) struct ScanConstraint {
121
- pub(crate) field: ScanField,
122
- pub(crate) operator: ScanOperator,
123
- }
124
-
125
- /// Structured scan operator aligned with the current planner/storage split.
126
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
127
- pub(crate) enum ScanOperator {
128
- Eq(Value),
129
- In(Vec<Value>),
130
- Range {
131
- lower: Option<Bound>,
132
- upper: Option<Bound>,
133
- },
134
- }
135
-
136
- /// Identity-centered filter for visible live entities.
137
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize, Default)]
138
- pub(crate) struct LiveStateFilter {
139
- #[serde(default)]
140
- pub(crate) schema_keys: Vec<String>,
141
- #[serde(default)]
142
- pub(crate) entity_ids: Vec<EntityIdentity>,
143
- #[serde(default)]
144
- pub(crate) version_ids: Vec<String>,
145
- #[serde(default)]
146
- pub(crate) file_ids: Vec<NullableKeyFilter<String>>,
147
- #[serde(default)]
148
- pub(crate) untracked: Option<bool>,
149
- #[serde(default)]
150
- pub(crate) constraints: Vec<ScanConstraint>,
151
- #[serde(default)]
152
- pub(crate) include_tombstones: bool,
153
- }
154
-
155
- impl From<LiveStateFilter> for UntrackedStateFilter {
156
- fn from(filter: LiveStateFilter) -> Self {
157
- Self {
158
- schema_keys: filter.schema_keys,
159
- entity_ids: filter.entity_ids,
160
- version_ids: filter.version_ids,
161
- file_ids: filter.file_ids,
162
- }
163
- }
164
- }
165
-
166
- /// Requested property set for a live-state scan.
167
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize, Default)]
168
- pub(crate) struct LiveStateProjection {
169
- #[serde(default)]
170
- pub(crate) columns: Vec<String>,
171
- }
172
-
173
- /// First-principles scan request for engine-owned reads.
174
- #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize, Default)]
175
- pub(crate) struct LiveStateScanRequest {
176
- #[serde(default)]
177
- pub(crate) filter: LiveStateFilter,
178
- #[serde(default)]
179
- pub(crate) projection: LiveStateProjection,
180
- #[serde(default)]
181
- pub(crate) limit: Option<usize>,
182
- }
183
-
184
- /// Point lookup request for one visible live-state row.
185
- #[derive(Debug, Clone, PartialEq)]
186
- pub(crate) struct LiveStateRowRequest {
187
- pub(crate) schema_key: String,
188
- pub(crate) version_id: String,
189
- pub(crate) entity_id: EntityIdentity,
190
- pub(crate) file_id: NullableKeyFilter<String>,
191
- }
192
-
193
- impl From<&LiveStateRowRequest> for UntrackedStateRowRequest {
194
- fn from(request: &LiveStateRowRequest) -> Self {
195
- Self {
196
- schema_key: request.schema_key.clone(),
197
- version_id: request.version_id.clone(),
198
- entity_id: request.entity_id.clone(),
199
- file_id: request.file_id.clone(),
200
- }
201
- }
202
- }
203
-
204
- /// Stable visible-row identity used for overlay composition.
205
- #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord)]
206
- pub(crate) struct LiveStateRowIdentity {
207
- pub(crate) version_id: String,
208
- pub(crate) schema_key: String,
209
- pub(crate) entity_id: EntityIdentity,
210
- pub(crate) file_id: Option<String>,
211
- }
212
-
213
- impl LiveStateRowIdentity {
214
- pub(crate) fn from_row(row: &MaterializedLiveStateRow) -> Self {
215
- Self {
216
- version_id: row.version_id.clone(),
217
- schema_key: row.schema_key.clone(),
218
- entity_id: row.entity_id.clone(),
219
- file_id: row.file_id.clone(),
220
- }
221
- }
222
- }
@@ -1,223 +0,0 @@
1
- use std::collections::BTreeMap;
2
-
3
- use crate::live_state::{LiveStateRowIdentity, MaterializedLiveStateRow};
4
- use crate::GLOBAL_VERSION_ID;
5
-
6
- /// Expands a version-scoped storage read so global candidates are available for
7
- /// the visibility overlay.
8
- pub(crate) fn expanded_version_ids(version_ids: &[String]) -> Vec<String> {
9
- if version_ids.is_empty() {
10
- return Vec::new();
11
- }
12
-
13
- let mut expanded = version_ids.to_vec();
14
- if version_ids
15
- .iter()
16
- .any(|version_id| version_id != GLOBAL_VERSION_ID)
17
- && !expanded
18
- .iter()
19
- .any(|version_id| version_id == GLOBAL_VERSION_ID)
20
- {
21
- expanded.push(GLOBAL_VERSION_ID.to_string());
22
- }
23
- expanded
24
- }
25
-
26
- /// Resolves raw tracked/untracked candidates into the rows visible for a scan.
27
- ///
28
- /// Global rows are projected into each requested version scope, but keep
29
- /// `global = true`. Version-scoped rows win over projected global rows for the
30
- /// same identity. Tombstones participate in winning and are filtered only after
31
- /// visibility is resolved. This projection is a read concern; constraint
32
- /// validation remains exact storage-scope local unless a validator explicitly
33
- /// opts into overlay semantics.
34
- pub(crate) fn resolve_scan_rows(
35
- rows: Vec<MaterializedLiveStateRow>,
36
- requested_version_ids: &[String],
37
- include_tombstones: bool,
38
- ) -> Vec<MaterializedLiveStateRow> {
39
- let mut rows = project_global_rows_into_requested_versions(rows, requested_version_ids);
40
- if !include_tombstones {
41
- rows.retain(|row| !row.deleted);
42
- }
43
- rows
44
- }
45
-
46
- /// Resolves a row loaded through a concrete storage version into the row visible
47
- /// to the requested version scope.
48
- pub(crate) fn project_loaded_row(
49
- mut row: MaterializedLiveStateRow,
50
- requested_version_id: &str,
51
- matched_version_id: &str,
52
- ) -> MaterializedLiveStateRow {
53
- if row.global && requested_version_id != GLOBAL_VERSION_ID {
54
- row.version_id = requested_version_id.to_string();
55
- } else if matched_version_id == GLOBAL_VERSION_ID && requested_version_id != GLOBAL_VERSION_ID {
56
- row.version_id = requested_version_id.to_string();
57
- }
58
- row
59
- }
60
-
61
- fn project_global_rows_into_requested_versions(
62
- rows: Vec<MaterializedLiveStateRow>,
63
- requested_version_ids: &[String],
64
- ) -> Vec<MaterializedLiveStateRow> {
65
- if requested_version_ids.is_empty() {
66
- return rows;
67
- }
68
-
69
- let mut rows_by_identity = BTreeMap::<LiveStateRowIdentity, MaterializedLiveStateRow>::new();
70
- for requested_version_id in requested_version_ids {
71
- for row in &rows {
72
- if row.version_id == GLOBAL_VERSION_ID {
73
- let mut projected = row.clone();
74
- projected.version_id = requested_version_id.clone();
75
- rows_by_identity.insert(LiveStateRowIdentity::from_row(&projected), projected);
76
- }
77
- }
78
- for row in rows
79
- .iter()
80
- .filter(|row| row.version_id == *requested_version_id)
81
- {
82
- rows_by_identity.insert(LiveStateRowIdentity::from_row(row), row.clone());
83
- }
84
- }
85
-
86
- rows_by_identity.into_values().collect()
87
- }
88
-
89
- #[cfg(test)]
90
- mod tests {
91
- use super::*;
92
-
93
- #[test]
94
- fn expands_requested_version_with_global_candidates() {
95
- assert_eq!(
96
- expanded_version_ids(&["version-a".to_string()]),
97
- vec!["version-a".to_string(), "global".to_string()]
98
- );
99
- assert_eq!(
100
- expanded_version_ids(&["global".to_string()]),
101
- vec!["global".to_string()]
102
- );
103
- }
104
-
105
- #[test]
106
- fn scan_projects_global_row_into_requested_version() {
107
- let rows = resolve_scan_rows(
108
- vec![row_at(
109
- "global",
110
- "global-value",
111
- true,
112
- Some("change-global"),
113
- )],
114
- &["version-a".to_string()],
115
- false,
116
- );
117
-
118
- assert_eq!(rows.len(), 1);
119
- assert_eq!(rows[0].version_id, "version-a");
120
- assert!(rows[0].global);
121
- assert_eq!(
122
- rows[0].snapshot_content.as_deref(),
123
- Some("{\"value\":\"global-value\"}")
124
- );
125
- }
126
-
127
- #[test]
128
- fn scan_prefers_requested_version_row_over_projected_global_row() {
129
- let rows = resolve_scan_rows(
130
- vec![
131
- row_at("global", "global-value", true, Some("change-global")),
132
- row_at("version-a", "version-value", false, Some("change-version")),
133
- ],
134
- &["version-a".to_string()],
135
- false,
136
- );
137
-
138
- assert_eq!(rows.len(), 1);
139
- assert_eq!(rows[0].version_id, "version-a");
140
- assert!(!rows[0].global);
141
- assert_eq!(
142
- rows[0].snapshot_content.as_deref(),
143
- Some("{\"value\":\"version-value\"}")
144
- );
145
- }
146
-
147
- #[test]
148
- fn version_tombstone_hides_global_row_after_visibility_resolution() {
149
- let rows = resolve_scan_rows(
150
- vec![
151
- row_at("global", "global-value", true, Some("change-global")),
152
- tombstone_at("version-a", false, Some("change-tombstone")),
153
- ],
154
- &["version-a".to_string()],
155
- false,
156
- );
157
-
158
- assert!(rows.is_empty());
159
- }
160
-
161
- #[test]
162
- fn tombstone_can_be_returned_when_requested() {
163
- let rows = resolve_scan_rows(
164
- vec![
165
- row_at("global", "global-value", true, Some("change-global")),
166
- tombstone_at("version-a", false, Some("change-tombstone")),
167
- ],
168
- &["version-a".to_string()],
169
- true,
170
- );
171
-
172
- assert_eq!(rows.len(), 1);
173
- assert_eq!(rows[0].version_id, "version-a");
174
- assert_eq!(rows[0].snapshot_content, None);
175
- }
176
-
177
- #[test]
178
- fn loaded_global_row_is_projected_into_requested_version() {
179
- let row = project_loaded_row(
180
- row_at("global", "global-value", true, Some("change-global")),
181
- "version-a",
182
- "global",
183
- );
184
-
185
- assert_eq!(row.version_id, "version-a");
186
- assert!(row.global);
187
- }
188
-
189
- fn row_at(
190
- version_id: &str,
191
- value: &str,
192
- global: bool,
193
- change_id: Option<&str>,
194
- ) -> MaterializedLiveStateRow {
195
- MaterializedLiveStateRow {
196
- entity_id: crate::entity_identity::EntityIdentity::single("entity"),
197
- schema_key: "schema".to_string(),
198
- file_id: None,
199
- snapshot_content: Some(format!("{{\"value\":\"{value}\"}}")),
200
- metadata: None,
201
- deleted: false,
202
- created_at: "2026-01-01T00:00:00Z".to_string(),
203
- updated_at: "2026-01-01T00:00:00Z".to_string(),
204
- global,
205
- change_id: change_id.map(str::to_string),
206
- commit_id: Some("commit".to_string()),
207
- untracked: false,
208
- version_id: version_id.to_string(),
209
- }
210
- }
211
-
212
- fn tombstone_at(
213
- version_id: &str,
214
- global: bool,
215
- change_id: Option<&str>,
216
- ) -> MaterializedLiveStateRow {
217
- MaterializedLiveStateRow {
218
- snapshot_content: None,
219
- deleted: true,
220
- ..row_at(version_id, "ignored", global, change_id)
221
- }
222
- }
223
- }