@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,145 @@
1
+ use std::borrow::Borrow;
2
+ use std::fmt;
3
+ use std::ops::Deref;
4
+
5
+ use crate::LixError;
6
+ use serde::{Deserialize, Deserializer, Serialize, Serializer};
7
+
8
+ macro_rules! canonical_identity_type {
9
+ ($name:ident, $label:literal) => {
10
+ #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
11
+ pub struct $name(String);
12
+
13
+ impl $name {
14
+ pub fn new(value: impl Into<String>) -> Result<Self, LixError> {
15
+ let value = value.into();
16
+ validate_non_empty_identity_value($label, value).map(Self)
17
+ }
18
+
19
+ pub fn as_str(&self) -> &str {
20
+ &self.0
21
+ }
22
+
23
+ pub fn into_inner(self) -> String {
24
+ self.0
25
+ }
26
+ }
27
+
28
+ impl TryFrom<String> for $name {
29
+ type Error = LixError;
30
+
31
+ fn try_from(value: String) -> Result<Self, Self::Error> {
32
+ Self::new(value)
33
+ }
34
+ }
35
+
36
+ impl TryFrom<&str> for $name {
37
+ type Error = LixError;
38
+
39
+ fn try_from(value: &str) -> Result<Self, Self::Error> {
40
+ Self::new(value)
41
+ }
42
+ }
43
+
44
+ impl From<$name> for String {
45
+ fn from(value: $name) -> Self {
46
+ value.0
47
+ }
48
+ }
49
+
50
+ impl Deref for $name {
51
+ type Target = str;
52
+
53
+ fn deref(&self) -> &Self::Target {
54
+ self.0.as_str()
55
+ }
56
+ }
57
+
58
+ impl AsRef<str> for $name {
59
+ fn as_ref(&self) -> &str {
60
+ self.0.as_str()
61
+ }
62
+ }
63
+
64
+ impl Borrow<str> for $name {
65
+ fn borrow(&self) -> &str {
66
+ self.0.as_str()
67
+ }
68
+ }
69
+
70
+ impl fmt::Display for $name {
71
+ fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
72
+ self.0.fmt(f)
73
+ }
74
+ }
75
+
76
+ impl PartialEq<&str> for $name {
77
+ fn eq(&self, other: &&str) -> bool {
78
+ self.0 == *other
79
+ }
80
+ }
81
+
82
+ impl PartialEq<$name> for &str {
83
+ fn eq(&self, other: &$name) -> bool {
84
+ *self == other.0
85
+ }
86
+ }
87
+
88
+ impl Serialize for $name {
89
+ fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
90
+ where
91
+ S: Serializer,
92
+ {
93
+ serializer.serialize_str(&self.0)
94
+ }
95
+ }
96
+
97
+ impl<'de> Deserialize<'de> for $name {
98
+ fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
99
+ where
100
+ D: Deserializer<'de>,
101
+ {
102
+ let value = String::deserialize(deserializer)?;
103
+ Self::new(value).map_err(serde::de::Error::custom)
104
+ }
105
+ }
106
+ };
107
+ }
108
+
109
+ canonical_identity_type!(EntityId, "entity_id");
110
+ canonical_identity_type!(FileId, "file_id");
111
+ canonical_identity_type!(VersionId, "version_id");
112
+ canonical_identity_type!(CanonicalSchemaKey, "schema_key");
113
+ canonical_identity_type!(CanonicalPluginKey, "plugin_key");
114
+
115
+ pub(crate) fn validate_non_empty_identity_value(
116
+ label: &str,
117
+ value: impl Into<String>,
118
+ ) -> Result<String, LixError> {
119
+ let value = value.into();
120
+ if value.is_empty() {
121
+ return Err(LixError::new(
122
+ LixError::CODE_INVALID_PARAM,
123
+ format!("{label} must be non-empty"),
124
+ ));
125
+ }
126
+ Ok(value)
127
+ }
128
+
129
+ pub(crate) fn json_pointer_get<'a>(
130
+ value: &'a serde_json::Value,
131
+ pointer: &[String],
132
+ ) -> Option<&'a serde_json::Value> {
133
+ let mut current = value;
134
+ for segment in pointer {
135
+ match current {
136
+ serde_json::Value::Object(object) => current = object.get(segment)?,
137
+ serde_json::Value::Array(array) => {
138
+ let index = segment.parse::<usize>().ok()?;
139
+ current = array.get(index)?;
140
+ }
141
+ _ => return None,
142
+ }
143
+ }
144
+ Some(current)
145
+ }
@@ -0,0 +1,67 @@
1
+ use crate::LixError;
2
+
3
+ pub(crate) fn parse_json_pointer(pointer: &str) -> Result<Vec<String>, LixError> {
4
+ if pointer.is_empty() {
5
+ return Ok(Vec::new());
6
+ }
7
+ if !pointer.starts_with('/') {
8
+ return Err(LixError::new(
9
+ LixError::CODE_SCHEMA_DEFINITION,
10
+ format!("invalid JSON pointer '{pointer}'"),
11
+ ));
12
+ }
13
+ pointer[1..]
14
+ .split('/')
15
+ .map(decode_json_pointer_segment)
16
+ .collect()
17
+ }
18
+
19
+ pub(crate) fn format_json_pointer(segments: &[String]) -> String {
20
+ if segments.is_empty() {
21
+ return String::new();
22
+ }
23
+ format!(
24
+ "/{}",
25
+ segments
26
+ .iter()
27
+ .map(|segment| segment.replace('~', "~0").replace('/', "~1"))
28
+ .collect::<Vec<_>>()
29
+ .join("/")
30
+ )
31
+ }
32
+
33
+ pub(crate) fn top_level_property_name(pointer: &str) -> Result<Option<String>, LixError> {
34
+ if pointer.is_empty() {
35
+ return Ok(None);
36
+ }
37
+ if !pointer.starts_with('/') {
38
+ return Err(LixError::new(
39
+ LixError::CODE_SCHEMA_DEFINITION,
40
+ format!("invalid JSON pointer '{pointer}'"),
41
+ ));
42
+ }
43
+ let segment = pointer[1..].split('/').next().unwrap_or_default();
44
+ Ok(Some(decode_json_pointer_segment(segment)?))
45
+ }
46
+
47
+ fn decode_json_pointer_segment(segment: &str) -> Result<String, LixError> {
48
+ let mut out = String::new();
49
+ let mut chars = segment.chars();
50
+ while let Some(ch) = chars.next() {
51
+ if ch != '~' {
52
+ out.push(ch);
53
+ continue;
54
+ }
55
+ match chars.next() {
56
+ Some('0') => out.push('~'),
57
+ Some('1') => out.push('/'),
58
+ _ => {
59
+ return Err(LixError::new(
60
+ LixError::CODE_SCHEMA_DEFINITION,
61
+ "invalid JSON pointer escape",
62
+ ))
63
+ }
64
+ }
65
+ }
66
+ Ok(out)
67
+ }
@@ -0,0 +1,40 @@
1
+ use crate::LixError;
2
+
3
+ pub(crate) fn parse_row_metadata(
4
+ value: &str,
5
+ context: impl AsRef<str>,
6
+ ) -> Result<String, LixError> {
7
+ let metadata = parse_row_metadata_value(value, context)?;
8
+ Ok(serde_json::to_string(&metadata).expect("serde_json::Value metadata serializes"))
9
+ }
10
+
11
+ pub(crate) fn parse_row_metadata_value(
12
+ value: &str,
13
+ context: impl AsRef<str>,
14
+ ) -> Result<serde_json::Value, LixError> {
15
+ let metadata = serde_json::from_str::<serde_json::Value>(value).map_err(|error| {
16
+ LixError::new(
17
+ "LIX_ERROR_INVALID_JSON",
18
+ format!("{} metadata is invalid JSON: {error}", context.as_ref()),
19
+ )
20
+ })?;
21
+ validate_row_metadata(&metadata, context)?;
22
+ Ok(metadata)
23
+ }
24
+
25
+ pub(crate) fn validate_row_metadata(
26
+ metadata: &serde_json::Value,
27
+ context: impl AsRef<str>,
28
+ ) -> Result<(), LixError> {
29
+ if metadata.is_object() {
30
+ return Ok(());
31
+ }
32
+ Err(LixError::new(
33
+ LixError::CODE_SCHEMA_VALIDATION,
34
+ format!("{} metadata must be a JSON object", context.as_ref()),
35
+ ))
36
+ }
37
+
38
+ pub(crate) fn serialize_row_metadata(metadata: &String) -> String {
39
+ metadata.clone()
40
+ }
@@ -0,0 +1,23 @@
1
+ pub(crate) mod error;
2
+ pub(crate) mod fingerprint;
3
+ pub(crate) mod fs_path;
4
+ pub(crate) mod identity;
5
+ pub(crate) mod json_pointer;
6
+ pub(crate) mod metadata;
7
+ pub(crate) mod types;
8
+ pub(crate) mod wire;
9
+
10
+ pub use error::LixError;
11
+ pub(crate) use fingerprint::stable_content_fingerprint_hex;
12
+ pub(crate) use fs_path::{
13
+ directory_ancestor_paths, directory_name_from_path, normalize_directory_path,
14
+ normalize_path_segment, parent_directory_path, ParsedFilePath,
15
+ };
16
+ pub(crate) use identity::{json_pointer_get, validate_non_empty_identity_value};
17
+ pub use identity::{CanonicalPluginKey, CanonicalSchemaKey, EntityId, FileId, VersionId};
18
+ pub(crate) use json_pointer::{format_json_pointer, parse_json_pointer, top_level_property_name};
19
+ pub(crate) use metadata::{
20
+ parse_row_metadata, parse_row_metadata_value, serialize_row_metadata, validate_row_metadata,
21
+ };
22
+ pub use types::{LixNotice, NullableKeyFilter, SqlQueryResult, Value, WriteReceipt};
23
+ pub use wire::{WireQueryResult, WireValue};
@@ -0,0 +1,105 @@
1
+ use std::ops::Deref;
2
+
3
+ #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
4
+ pub enum Value {
5
+ Null,
6
+ Boolean(bool),
7
+ Integer(i64),
8
+ Real(f64),
9
+ Text(String),
10
+ Json(serde_json::Value),
11
+ Blob(Vec<u8>),
12
+ }
13
+
14
+ #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
15
+ pub enum NullableKeyFilter<T> {
16
+ Any,
17
+ Null,
18
+ Value(T),
19
+ }
20
+
21
+ impl<T> Default for NullableKeyFilter<T> {
22
+ fn default() -> Self {
23
+ Self::Any
24
+ }
25
+ }
26
+
27
+ impl<T> NullableKeyFilter<T> {
28
+ pub fn is_any(&self) -> bool {
29
+ matches!(self, Self::Any)
30
+ }
31
+
32
+ pub fn as_value(&self) -> Option<&T> {
33
+ match self {
34
+ Self::Value(value) => Some(value),
35
+ Self::Any | Self::Null => None,
36
+ }
37
+ }
38
+
39
+ pub fn as_ref(&self) -> NullableKeyFilter<&T> {
40
+ match self {
41
+ Self::Any => NullableKeyFilter::Any,
42
+ Self::Null => NullableKeyFilter::Null,
43
+ Self::Value(value) => NullableKeyFilter::Value(value),
44
+ }
45
+ }
46
+
47
+ pub fn from_nullable(value: Option<T>) -> Self {
48
+ match value {
49
+ Some(value) => Self::Value(value),
50
+ None => Self::Null,
51
+ }
52
+ }
53
+ }
54
+
55
+ impl<T> NullableKeyFilter<T>
56
+ where
57
+ T: Deref,
58
+ {
59
+ pub fn as_deref(&self) -> NullableKeyFilter<&T::Target> {
60
+ match self {
61
+ Self::Any => NullableKeyFilter::Any,
62
+ Self::Null => NullableKeyFilter::Null,
63
+ Self::Value(value) => NullableKeyFilter::Value(value.deref()),
64
+ }
65
+ }
66
+ }
67
+
68
+ impl<T: PartialEq> NullableKeyFilter<T> {
69
+ pub fn matches(&self, candidate: Option<&T>) -> bool {
70
+ match self {
71
+ Self::Any => true,
72
+ Self::Null => candidate.is_none(),
73
+ Self::Value(expected) => candidate == Some(expected),
74
+ }
75
+ }
76
+ }
77
+
78
+ #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
79
+ pub struct SqlQueryResult {
80
+ pub rows: Vec<Vec<Value>>,
81
+ #[serde(default)]
82
+ pub columns: Vec<String>,
83
+ #[serde(default)]
84
+ pub notices: Vec<LixNotice>,
85
+ }
86
+
87
+ #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize)]
88
+ pub struct LixNotice {
89
+ pub code: String,
90
+ pub message: String,
91
+ #[serde(default, skip_serializing_if = "Option::is_none")]
92
+ pub hint: Option<String>,
93
+ }
94
+
95
+ #[derive(Debug, Clone, PartialEq, Eq, serde::Serialize, serde::Deserialize, Default)]
96
+ pub struct WriteReceipt {
97
+ #[serde(default, skip_serializing_if = "Option::is_none")]
98
+ pub state_commit_sequence: Option<u64>,
99
+ }
100
+
101
+ impl WriteReceipt {
102
+ pub fn is_empty(&self) -> bool {
103
+ self.state_commit_sequence.is_none()
104
+ }
105
+ }
@@ -0,0 +1,222 @@
1
+ use crate::{LixError, LixNotice, SqlQueryResult, Value};
2
+ use base64::Engine as _;
3
+ use serde::{Deserialize, Serialize};
4
+
5
+ #[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
6
+ #[serde(tag = "kind", rename_all = "lowercase")]
7
+ pub enum WireValue {
8
+ Null { value: () },
9
+ Bool { value: bool },
10
+ Int { value: i64 },
11
+ Float { value: f64 },
12
+ Text { value: String },
13
+ Json { value: serde_json::Value },
14
+ Blob { base64: String },
15
+ }
16
+
17
+ #[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
18
+ pub struct WireQueryResult {
19
+ pub rows: Vec<Vec<WireValue>>,
20
+ #[serde(default)]
21
+ pub columns: Vec<String>,
22
+ #[serde(default)]
23
+ pub notices: Vec<LixNotice>,
24
+ }
25
+
26
+ impl WireValue {
27
+ pub fn try_from_engine(value: &Value) -> Result<Self, LixError> {
28
+ match value {
29
+ Value::Null => Ok(Self::Null { value: () }),
30
+ Value::Boolean(value) => Ok(Self::Bool { value: *value }),
31
+ Value::Integer(value) => Ok(Self::Int { value: *value }),
32
+ Value::Real(value) => {
33
+ if !value.is_finite() {
34
+ return Err(LixError {
35
+ code: "LIX_ERROR_UNKNOWN".to_string(),
36
+ message: "cannot encode non-finite float value to wire format".to_string(),
37
+ hint: None,
38
+ details: None,
39
+ });
40
+ }
41
+ Ok(Self::Float { value: *value })
42
+ }
43
+ Value::Text(value) => Ok(Self::Text {
44
+ value: value.clone(),
45
+ }),
46
+ Value::Json(value) => Ok(Self::Json {
47
+ value: value.clone(),
48
+ }),
49
+ Value::Blob(value) => Ok(Self::Blob {
50
+ base64: base64::engine::general_purpose::STANDARD.encode(value),
51
+ }),
52
+ }
53
+ }
54
+
55
+ pub fn try_into_engine(self) -> Result<Value, LixError> {
56
+ match self {
57
+ Self::Null { .. } => Ok(Value::Null),
58
+ Self::Bool { value } => Ok(Value::Boolean(value)),
59
+ Self::Int { value } => Ok(Value::Integer(value)),
60
+ Self::Float { value } => {
61
+ if !value.is_finite() {
62
+ return Err(LixError {
63
+ code: "LIX_ERROR_UNKNOWN".to_string(),
64
+ message: "cannot decode non-finite float value from wire format"
65
+ .to_string(),
66
+ hint: None,
67
+ details: None,
68
+ });
69
+ }
70
+ Ok(Value::Real(value))
71
+ }
72
+ Self::Text { value } => Ok(Value::Text(value)),
73
+ Self::Json { value } => Ok(Value::Json(value)),
74
+ Self::Blob { base64 } => {
75
+ let decoded = base64::engine::general_purpose::STANDARD
76
+ .decode(base64.as_bytes())
77
+ .map_err(|error| LixError {
78
+ code: "LIX_ERROR_UNKNOWN".to_string(),
79
+ message: format!("failed to decode wire blob base64: {error}"),
80
+ hint: None,
81
+ details: None,
82
+ })?;
83
+ Ok(Value::Blob(decoded))
84
+ }
85
+ }
86
+ }
87
+ }
88
+
89
+ impl WireQueryResult {
90
+ pub fn try_from_engine(result: &SqlQueryResult) -> Result<Self, LixError> {
91
+ let mut rows = Vec::with_capacity(result.rows.len());
92
+ for row in &result.rows {
93
+ let mut wire_row = Vec::with_capacity(row.len());
94
+ for value in row {
95
+ wire_row.push(WireValue::try_from_engine(value)?);
96
+ }
97
+ rows.push(wire_row);
98
+ }
99
+ Ok(Self {
100
+ rows,
101
+ columns: result.columns.clone(),
102
+ notices: result.notices.clone(),
103
+ })
104
+ }
105
+
106
+ pub fn try_into_engine(self) -> Result<SqlQueryResult, LixError> {
107
+ let mut rows = Vec::with_capacity(self.rows.len());
108
+ for row in self.rows {
109
+ let mut engine_row = Vec::with_capacity(row.len());
110
+ for value in row {
111
+ engine_row.push(value.try_into_engine()?);
112
+ }
113
+ rows.push(engine_row);
114
+ }
115
+ Ok(SqlQueryResult {
116
+ rows,
117
+ columns: self.columns,
118
+ notices: self.notices,
119
+ })
120
+ }
121
+ }
122
+
123
+ #[cfg(test)]
124
+ mod tests {
125
+ use super::{WireQueryResult, WireValue};
126
+ use crate::{LixNotice, SqlQueryResult, Value};
127
+ use serde_json::json;
128
+
129
+ #[test]
130
+ fn value_roundtrip_preserves_all_variants() {
131
+ let original = vec![
132
+ Value::Null,
133
+ Value::Boolean(true),
134
+ Value::Integer(42),
135
+ Value::Real(1.5),
136
+ Value::Text("hello".to_string()),
137
+ Value::Json(json!({"hello": "world"})),
138
+ Value::Blob(vec![1, 2, 3]),
139
+ ];
140
+
141
+ for value in original {
142
+ let wire = WireValue::try_from_engine(&value).expect("to wire should succeed");
143
+ let roundtrip = wire
144
+ .try_into_engine()
145
+ .expect("from wire to engine should succeed");
146
+ assert_eq!(roundtrip, value);
147
+ }
148
+ }
149
+
150
+ #[test]
151
+ fn query_result_roundtrip_preserves_rows_and_columns() {
152
+ let original = SqlQueryResult {
153
+ rows: vec![
154
+ vec![
155
+ Value::Integer(1),
156
+ Value::Text("a".to_string()),
157
+ Value::Blob(vec![0x41, 0x42]),
158
+ ],
159
+ vec![Value::Null, Value::Boolean(false), Value::Real(2.5)],
160
+ ],
161
+ columns: vec!["i".to_string(), "t".to_string(), "b".to_string()],
162
+ notices: vec![LixNotice {
163
+ code: "LIX_TEST_NOTICE".to_string(),
164
+ message: "test notice".to_string(),
165
+ hint: Some("test hint".to_string()),
166
+ }],
167
+ };
168
+
169
+ let wire = WireQueryResult::try_from_engine(&original).expect("to wire should succeed");
170
+ let roundtrip = wire
171
+ .try_into_engine()
172
+ .expect("from wire to engine should succeed");
173
+ assert_eq!(roundtrip, original);
174
+ }
175
+
176
+ #[test]
177
+ fn canonical_json_uses_lowercase_kinds_only() {
178
+ let wire = WireQueryResult {
179
+ rows: vec![vec![
180
+ WireValue::Null { value: () },
181
+ WireValue::Bool { value: true },
182
+ WireValue::Int { value: 1 },
183
+ WireValue::Float { value: 1.5 },
184
+ WireValue::Text {
185
+ value: "hello".to_string(),
186
+ },
187
+ WireValue::Json {
188
+ value: json!({"hello": "world"}),
189
+ },
190
+ WireValue::Blob {
191
+ base64: "AQI=".to_string(),
192
+ },
193
+ ]],
194
+ columns: vec!["a".to_string()],
195
+ notices: Vec::new(),
196
+ };
197
+
198
+ let serialized =
199
+ serde_json::to_string(&wire).expect("wire query result should serialize to json");
200
+ assert!(serialized.contains("\"kind\":\"null\""));
201
+ assert!(serialized.contains("\"kind\":\"bool\""));
202
+ assert!(serialized.contains("\"kind\":\"int\""));
203
+ assert!(serialized.contains("\"kind\":\"float\""));
204
+ assert!(serialized.contains("\"kind\":\"text\""));
205
+ assert!(serialized.contains("\"kind\":\"json\""));
206
+ assert!(serialized.contains("\"kind\":\"blob\""));
207
+ assert!(!serialized.contains("\"kind\":\"Null\""));
208
+ assert!(!serialized.contains("\"kind\":\"Bool\""));
209
+ assert!(!serialized.contains("\"kind\":\"Integer\""));
210
+ assert!(!serialized.contains("\"kind\":\"Real\""));
211
+ assert!(!serialized.contains("\"kind\":\"Text\""));
212
+ assert!(!serialized.contains("\"kind\":\"Json\""));
213
+ assert!(!serialized.contains("\"kind\":\"Blob\""));
214
+ }
215
+
216
+ #[test]
217
+ fn null_shape_is_explicitly_canonical() {
218
+ let value = WireValue::Null { value: () };
219
+ let json = serde_json::to_value(value).expect("wire value should serialize");
220
+ assert_eq!(json, json!({ "kind": "null", "value": null }));
221
+ }
222
+ }