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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (191) hide show
  1. package/SKILL.md +305 -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/open-lix.d.ts +103 -14
  7. package/dist/open-lix.js +3 -0
  8. package/dist/sqlite/index.js +99 -22
  9. package/dist-engine-src/README.md +18 -0
  10. package/dist-engine-src/src/backend/kv.rs +358 -0
  11. package/dist-engine-src/src/backend/mod.rs +12 -0
  12. package/dist-engine-src/src/backend/testing.rs +658 -0
  13. package/dist-engine-src/src/backend/types.rs +96 -0
  14. package/dist-engine-src/src/binary_cas/chunking.rs +31 -0
  15. package/dist-engine-src/src/binary_cas/codec.rs +346 -0
  16. package/dist-engine-src/src/binary_cas/context.rs +139 -0
  17. package/dist-engine-src/src/binary_cas/kv.rs +1063 -0
  18. package/dist-engine-src/src/binary_cas/mod.rs +11 -0
  19. package/dist-engine-src/src/binary_cas/types.rs +127 -0
  20. package/dist-engine-src/src/cel/context.rs +86 -0
  21. package/dist-engine-src/src/cel/error.rs +19 -0
  22. package/dist-engine-src/src/cel/mod.rs +8 -0
  23. package/dist-engine-src/src/cel/provider.rs +9 -0
  24. package/dist-engine-src/src/cel/runtime.rs +167 -0
  25. package/dist-engine-src/src/cel/value.rs +50 -0
  26. package/dist-engine-src/src/changelog/codec.rs +321 -0
  27. package/dist-engine-src/src/changelog/context.rs +92 -0
  28. package/dist-engine-src/src/changelog/materialization.rs +121 -0
  29. package/dist-engine-src/src/changelog/mod.rs +13 -0
  30. package/dist-engine-src/src/changelog/reader.rs +20 -0
  31. package/dist-engine-src/src/changelog/storage.rs +220 -0
  32. package/dist-engine-src/src/changelog/types.rs +38 -0
  33. package/dist-engine-src/src/commit_graph/context.rs +1588 -0
  34. package/dist-engine-src/src/commit_graph/mod.rs +12 -0
  35. package/dist-engine-src/src/commit_graph/types.rs +145 -0
  36. package/dist-engine-src/src/commit_graph/walker.rs +780 -0
  37. package/dist-engine-src/src/common/error.rs +313 -0
  38. package/dist-engine-src/src/common/fingerprint.rs +3 -0
  39. package/dist-engine-src/src/common/fs_path.rs +1336 -0
  40. package/dist-engine-src/src/common/identity.rs +135 -0
  41. package/dist-engine-src/src/common/metadata.rs +35 -0
  42. package/dist-engine-src/src/common/mod.rs +23 -0
  43. package/dist-engine-src/src/common/types.rs +105 -0
  44. package/dist-engine-src/src/common/wire.rs +222 -0
  45. package/dist-engine-src/src/engine.rs +239 -0
  46. package/dist-engine-src/src/entity_identity.rs +285 -0
  47. package/dist-engine-src/src/functions/context.rs +327 -0
  48. package/dist-engine-src/src/functions/deterministic.rs +113 -0
  49. package/dist-engine-src/src/functions/mod.rs +18 -0
  50. package/dist-engine-src/src/functions/provider.rs +130 -0
  51. package/dist-engine-src/src/functions/state.rs +363 -0
  52. package/dist-engine-src/src/functions/types.rs +37 -0
  53. package/dist-engine-src/src/init.rs +505 -0
  54. package/dist-engine-src/src/json_store/compression.rs +77 -0
  55. package/dist-engine-src/src/json_store/context.rs +129 -0
  56. package/dist-engine-src/src/json_store/encoded.rs +15 -0
  57. package/dist-engine-src/src/json_store/mod.rs +9 -0
  58. package/dist-engine-src/src/json_store/store.rs +236 -0
  59. package/dist-engine-src/src/json_store/types.rs +52 -0
  60. package/dist-engine-src/src/lib.rs +61 -0
  61. package/dist-engine-src/src/live_state/context.rs +2241 -0
  62. package/dist-engine-src/src/live_state/mod.rs +15 -0
  63. package/dist-engine-src/src/live_state/overlay.rs +75 -0
  64. package/dist-engine-src/src/live_state/reader.rs +23 -0
  65. package/dist-engine-src/src/live_state/types.rs +239 -0
  66. package/dist-engine-src/src/live_state/visibility.rs +218 -0
  67. package/dist-engine-src/src/plugin/archive.rs +441 -0
  68. package/dist-engine-src/src/plugin/component.rs +183 -0
  69. package/dist-engine-src/src/plugin/install.rs +637 -0
  70. package/dist-engine-src/src/plugin/manifest.rs +516 -0
  71. package/dist-engine-src/src/plugin/materializer.rs +477 -0
  72. package/dist-engine-src/src/plugin/mod.rs +33 -0
  73. package/dist-engine-src/src/plugin/plugin_manifest.json +119 -0
  74. package/dist-engine-src/src/plugin/storage.rs +74 -0
  75. package/dist-engine-src/src/schema/annotations/defaults.rs +280 -0
  76. package/dist-engine-src/src/schema/annotations/mod.rs +1 -0
  77. package/dist-engine-src/src/schema/builtin/lix_account.json +22 -0
  78. package/dist-engine-src/src/schema/builtin/lix_active_account.json +30 -0
  79. package/dist-engine-src/src/schema/builtin/lix_binary_blob_ref.json +30 -0
  80. package/dist-engine-src/src/schema/builtin/lix_change.json +62 -0
  81. package/dist-engine-src/src/schema/builtin/lix_change_author.json +46 -0
  82. package/dist-engine-src/src/schema/builtin/lix_change_set.json +18 -0
  83. package/dist-engine-src/src/schema/builtin/lix_change_set_element.json +75 -0
  84. package/dist-engine-src/src/schema/builtin/lix_commit.json +62 -0
  85. package/dist-engine-src/src/schema/builtin/lix_commit_edge.json +46 -0
  86. package/dist-engine-src/src/schema/builtin/lix_directory_descriptor.json +53 -0
  87. package/dist-engine-src/src/schema/builtin/lix_entity_label.json +63 -0
  88. package/dist-engine-src/src/schema/builtin/lix_file_descriptor.json +53 -0
  89. package/dist-engine-src/src/schema/builtin/lix_key_value.json +41 -0
  90. package/dist-engine-src/src/schema/builtin/lix_label.json +22 -0
  91. package/dist-engine-src/src/schema/builtin/lix_registered_schema.json +31 -0
  92. package/dist-engine-src/src/schema/builtin/lix_version_descriptor.json +35 -0
  93. package/dist-engine-src/src/schema/builtin/lix_version_ref.json +49 -0
  94. package/dist-engine-src/src/schema/builtin/mod.rs +271 -0
  95. package/dist-engine-src/src/schema/definition.json +157 -0
  96. package/dist-engine-src/src/schema/definition.rs +636 -0
  97. package/dist-engine-src/src/schema/key.rs +206 -0
  98. package/dist-engine-src/src/schema/mod.rs +20 -0
  99. package/dist-engine-src/src/schema/seed.rs +14 -0
  100. package/dist-engine-src/src/schema/tests.rs +739 -0
  101. package/dist-engine-src/src/schema_registry.rs +294 -0
  102. package/dist-engine-src/src/session/context.rs +366 -0
  103. package/dist-engine-src/src/session/create_version.rs +80 -0
  104. package/dist-engine-src/src/session/execute.rs +447 -0
  105. package/dist-engine-src/src/session/merge/analysis.rs +102 -0
  106. package/dist-engine-src/src/session/merge/apply.rs +23 -0
  107. package/dist-engine-src/src/session/merge/conflicts.rs +62 -0
  108. package/dist-engine-src/src/session/merge/mod.rs +11 -0
  109. package/dist-engine-src/src/session/merge/stats.rs +65 -0
  110. package/dist-engine-src/src/session/merge/version.rs +437 -0
  111. package/dist-engine-src/src/session/mod.rs +25 -0
  112. package/dist-engine-src/src/session/switch_version.rs +121 -0
  113. package/dist-engine-src/src/sql2/change_provider.rs +337 -0
  114. package/dist-engine-src/src/sql2/classify.rs +147 -0
  115. package/dist-engine-src/src/sql2/commit_derived_provider.rs +591 -0
  116. package/dist-engine-src/src/sql2/context.rs +307 -0
  117. package/dist-engine-src/src/sql2/directory_history_provider.rs +623 -0
  118. package/dist-engine-src/src/sql2/directory_provider.rs +2405 -0
  119. package/dist-engine-src/src/sql2/dml.rs +148 -0
  120. package/dist-engine-src/src/sql2/entity_history_provider.rs +444 -0
  121. package/dist-engine-src/src/sql2/entity_provider.rs +2700 -0
  122. package/dist-engine-src/src/sql2/error.rs +196 -0
  123. package/dist-engine-src/src/sql2/execute.rs +3379 -0
  124. package/dist-engine-src/src/sql2/file_history_provider.rs +902 -0
  125. package/dist-engine-src/src/sql2/file_provider.rs +3254 -0
  126. package/dist-engine-src/src/sql2/filesystem_planner.rs +1526 -0
  127. package/dist-engine-src/src/sql2/filesystem_predicates.rs +159 -0
  128. package/dist-engine-src/src/sql2/filesystem_visibility.rs +369 -0
  129. package/dist-engine-src/src/sql2/history_projection.rs +80 -0
  130. package/dist-engine-src/src/sql2/history_provider.rs +418 -0
  131. package/dist-engine-src/src/sql2/history_route.rs +643 -0
  132. package/dist-engine-src/src/sql2/lix_state_provider.rs +2430 -0
  133. package/dist-engine-src/src/sql2/mod.rs +43 -0
  134. package/dist-engine-src/src/sql2/read_only.rs +65 -0
  135. package/dist-engine-src/src/sql2/record_batch.rs +17 -0
  136. package/dist-engine-src/src/sql2/result_metadata.rs +29 -0
  137. package/dist-engine-src/src/sql2/runtime.rs +60 -0
  138. package/dist-engine-src/src/sql2/session.rs +135 -0
  139. package/dist-engine-src/src/sql2/udfs/common.rs +295 -0
  140. package/dist-engine-src/src/sql2/udfs/lix_active_version_commit_id.rs +53 -0
  141. package/dist-engine-src/src/sql2/udfs/lix_empty_blob.rs +47 -0
  142. package/dist-engine-src/src/sql2/udfs/lix_json.rs +100 -0
  143. package/dist-engine-src/src/sql2/udfs/lix_json_get.rs +99 -0
  144. package/dist-engine-src/src/sql2/udfs/lix_json_get_text.rs +99 -0
  145. package/dist-engine-src/src/sql2/udfs/lix_text_decode.rs +82 -0
  146. package/dist-engine-src/src/sql2/udfs/lix_text_encode.rs +85 -0
  147. package/dist-engine-src/src/sql2/udfs/lix_uuid_v7.rs +76 -0
  148. package/dist-engine-src/src/sql2/udfs/mod.rs +82 -0
  149. package/dist-engine-src/src/sql2/version_provider.rs +1187 -0
  150. package/dist-engine-src/src/sql2/version_scope.rs +394 -0
  151. package/dist-engine-src/src/sql2/write_normalization.rs +345 -0
  152. package/dist-engine-src/src/storage/context.rs +356 -0
  153. package/dist-engine-src/src/storage/mod.rs +14 -0
  154. package/dist-engine-src/src/storage/read_scope.rs +88 -0
  155. package/dist-engine-src/src/storage/types.rs +501 -0
  156. package/dist-engine-src/src/storage_bench.rs +3406 -0
  157. package/dist-engine-src/src/test_support.rs +81 -0
  158. package/dist-engine-src/src/tracked_state/by_file_index.rs +102 -0
  159. package/dist-engine-src/src/tracked_state/codec.rs +747 -0
  160. package/dist-engine-src/src/tracked_state/context.rs +983 -0
  161. package/dist-engine-src/src/tracked_state/diff.rs +494 -0
  162. package/dist-engine-src/src/tracked_state/materialization.rs +141 -0
  163. package/dist-engine-src/src/tracked_state/merge.rs +474 -0
  164. package/dist-engine-src/src/tracked_state/mod.rs +31 -0
  165. package/dist-engine-src/src/tracked_state/rebuild.rs +771 -0
  166. package/dist-engine-src/src/tracked_state/storage.rs +243 -0
  167. package/dist-engine-src/src/tracked_state/tree.rs +2744 -0
  168. package/dist-engine-src/src/tracked_state/tree_types.rs +176 -0
  169. package/dist-engine-src/src/tracked_state/types.rs +61 -0
  170. package/dist-engine-src/src/transaction/commit.rs +1224 -0
  171. package/dist-engine-src/src/transaction/context.rs +1307 -0
  172. package/dist-engine-src/src/transaction/live_state_overlay.rs +34 -0
  173. package/dist-engine-src/src/transaction/mod.rs +11 -0
  174. package/dist-engine-src/src/transaction/normalization.rs +1026 -0
  175. package/dist-engine-src/src/transaction/schema_resolver.rs +127 -0
  176. package/dist-engine-src/src/transaction/staging.rs +1436 -0
  177. package/dist-engine-src/src/transaction/types.rs +351 -0
  178. package/dist-engine-src/src/transaction/validation.rs +4811 -0
  179. package/dist-engine-src/src/untracked_state/codec.rs +363 -0
  180. package/dist-engine-src/src/untracked_state/context.rs +82 -0
  181. package/dist-engine-src/src/untracked_state/materialization.rs +157 -0
  182. package/dist-engine-src/src/untracked_state/mod.rs +17 -0
  183. package/dist-engine-src/src/untracked_state/storage.rs +348 -0
  184. package/dist-engine-src/src/untracked_state/types.rs +96 -0
  185. package/dist-engine-src/src/version/context.rs +52 -0
  186. package/dist-engine-src/src/version/mod.rs +12 -0
  187. package/dist-engine-src/src/version/refs.rs +421 -0
  188. package/dist-engine-src/src/version/stage_rows.rs +71 -0
  189. package/dist-engine-src/src/version/types.rs +21 -0
  190. package/dist-engine-src/src/wasm/mod.rs +60 -0
  191. package/package.json +68 -64
@@ -0,0 +1,135 @@
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
+ if value.is_empty() {
17
+ return Err(LixError::unknown(format!("{} must be non-empty", $label)));
18
+ }
19
+ Ok(Self(value))
20
+ }
21
+
22
+ pub fn as_str(&self) -> &str {
23
+ &self.0
24
+ }
25
+
26
+ pub fn into_inner(self) -> String {
27
+ self.0
28
+ }
29
+ }
30
+
31
+ impl TryFrom<String> for $name {
32
+ type Error = LixError;
33
+
34
+ fn try_from(value: String) -> Result<Self, Self::Error> {
35
+ Self::new(value)
36
+ }
37
+ }
38
+
39
+ impl TryFrom<&str> for $name {
40
+ type Error = LixError;
41
+
42
+ fn try_from(value: &str) -> Result<Self, Self::Error> {
43
+ Self::new(value)
44
+ }
45
+ }
46
+
47
+ impl From<$name> for String {
48
+ fn from(value: $name) -> Self {
49
+ value.0
50
+ }
51
+ }
52
+
53
+ impl Deref for $name {
54
+ type Target = str;
55
+
56
+ fn deref(&self) -> &Self::Target {
57
+ self.0.as_str()
58
+ }
59
+ }
60
+
61
+ impl AsRef<str> for $name {
62
+ fn as_ref(&self) -> &str {
63
+ self.0.as_str()
64
+ }
65
+ }
66
+
67
+ impl Borrow<str> for $name {
68
+ fn borrow(&self) -> &str {
69
+ self.0.as_str()
70
+ }
71
+ }
72
+
73
+ impl fmt::Display for $name {
74
+ fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
75
+ self.0.fmt(f)
76
+ }
77
+ }
78
+
79
+ impl PartialEq<&str> for $name {
80
+ fn eq(&self, other: &&str) -> bool {
81
+ self.0 == *other
82
+ }
83
+ }
84
+
85
+ impl PartialEq<$name> for &str {
86
+ fn eq(&self, other: &$name) -> bool {
87
+ *self == other.0
88
+ }
89
+ }
90
+
91
+ impl Serialize for $name {
92
+ fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
93
+ where
94
+ S: Serializer,
95
+ {
96
+ serializer.serialize_str(&self.0)
97
+ }
98
+ }
99
+
100
+ impl<'de> Deserialize<'de> for $name {
101
+ fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
102
+ where
103
+ D: Deserializer<'de>,
104
+ {
105
+ let value = String::deserialize(deserializer)?;
106
+ Self::new(value).map_err(serde::de::Error::custom)
107
+ }
108
+ }
109
+ };
110
+ }
111
+
112
+ canonical_identity_type!(EntityId, "entity_id");
113
+ canonical_identity_type!(FileId, "file_id");
114
+ canonical_identity_type!(VersionId, "version_id");
115
+ canonical_identity_type!(CanonicalSchemaKey, "schema_key");
116
+ canonical_identity_type!(CanonicalSchemaVersion, "schema_version");
117
+ canonical_identity_type!(CanonicalPluginKey, "plugin_key");
118
+
119
+ pub(crate) fn json_pointer_get<'a>(
120
+ value: &'a serde_json::Value,
121
+ pointer: &[String],
122
+ ) -> Option<&'a serde_json::Value> {
123
+ let mut current = value;
124
+ for segment in pointer {
125
+ match current {
126
+ serde_json::Value::Object(object) => current = object.get(segment)?,
127
+ serde_json::Value::Array(array) => {
128
+ let index = segment.parse::<usize>().ok()?;
129
+ current = array.get(index)?;
130
+ }
131
+ _ => return None,
132
+ }
133
+ }
134
+ Some(current)
135
+ }
@@ -0,0 +1,35 @@
1
+ use serde_json::Value as JsonValue;
2
+
3
+ use crate::LixError;
4
+
5
+ pub(crate) type RowMetadata = JsonValue;
6
+
7
+ pub(crate) fn parse_row_metadata(
8
+ value: &str,
9
+ context: impl AsRef<str>,
10
+ ) -> Result<RowMetadata, LixError> {
11
+ let metadata = serde_json::from_str::<JsonValue>(value).map_err(|error| {
12
+ LixError::new(
13
+ "LIX_ERROR_INVALID_JSON",
14
+ format!("{} metadata is invalid JSON: {error}", context.as_ref()),
15
+ )
16
+ })?;
17
+ validate_row_metadata(metadata, context)
18
+ }
19
+
20
+ pub(crate) fn validate_row_metadata(
21
+ metadata: RowMetadata,
22
+ context: impl AsRef<str>,
23
+ ) -> Result<RowMetadata, LixError> {
24
+ if metadata.is_object() {
25
+ return Ok(metadata);
26
+ }
27
+ Err(LixError::new(
28
+ LixError::CODE_SCHEMA_VALIDATION,
29
+ format!("{} metadata must be a JSON object", context.as_ref()),
30
+ ))
31
+ }
32
+
33
+ pub(crate) fn serialize_row_metadata(metadata: &RowMetadata) -> String {
34
+ serde_json::to_string(metadata).expect("serde_json::Value metadata serializes")
35
+ }
@@ -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 metadata;
6
+ pub(crate) mod types;
7
+ pub(crate) mod wire;
8
+
9
+ pub use error::LixError;
10
+ pub(crate) use fingerprint::stable_content_fingerprint_hex;
11
+ pub(crate) use fs_path::{
12
+ directory_ancestor_paths, directory_name_from_path, normalize_directory_path,
13
+ normalize_path_segment, parent_directory_path, ParsedFilePath,
14
+ };
15
+ pub(crate) use identity::json_pointer_get;
16
+ pub use identity::{
17
+ CanonicalPluginKey, CanonicalSchemaKey, CanonicalSchemaVersion, EntityId, FileId, VersionId,
18
+ };
19
+ pub(crate) use metadata::{
20
+ parse_row_metadata, serialize_row_metadata, validate_row_metadata, RowMetadata,
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
+ }