spikard 0.3.4 → 0.3.6

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 (180) hide show
  1. checksums.yaml +4 -4
  2. data/LICENSE +1 -1
  3. data/README.md +659 -659
  4. data/ext/spikard_rb/Cargo.toml +17 -17
  5. data/ext/spikard_rb/extconf.rb +10 -10
  6. data/ext/spikard_rb/src/lib.rs +6 -6
  7. data/lib/spikard/app.rb +386 -386
  8. data/lib/spikard/background.rb +27 -27
  9. data/lib/spikard/config.rb +396 -396
  10. data/lib/spikard/converters.rb +13 -13
  11. data/lib/spikard/handler_wrapper.rb +113 -113
  12. data/lib/spikard/provide.rb +214 -214
  13. data/lib/spikard/response.rb +173 -173
  14. data/lib/spikard/schema.rb +243 -243
  15. data/lib/spikard/sse.rb +111 -111
  16. data/lib/spikard/streaming_response.rb +44 -44
  17. data/lib/spikard/testing.rb +221 -221
  18. data/lib/spikard/upload_file.rb +131 -131
  19. data/lib/spikard/version.rb +5 -5
  20. data/lib/spikard/websocket.rb +59 -59
  21. data/lib/spikard.rb +43 -43
  22. data/sig/spikard.rbs +366 -360
  23. data/vendor/crates/spikard-core/Cargo.toml +40 -40
  24. data/vendor/crates/spikard-core/src/bindings/mod.rs +3 -3
  25. data/vendor/crates/spikard-core/src/bindings/response.rs +133 -133
  26. data/vendor/crates/spikard-core/src/debug.rs +63 -63
  27. data/vendor/crates/spikard-core/src/di/container.rs +726 -726
  28. data/vendor/crates/spikard-core/src/di/dependency.rs +273 -273
  29. data/vendor/crates/spikard-core/src/di/error.rs +118 -118
  30. data/vendor/crates/spikard-core/src/di/factory.rs +538 -538
  31. data/vendor/crates/spikard-core/src/di/graph.rs +545 -545
  32. data/vendor/crates/spikard-core/src/di/mod.rs +192 -192
  33. data/vendor/crates/spikard-core/src/di/resolved.rs +411 -411
  34. data/vendor/crates/spikard-core/src/di/value.rs +283 -283
  35. data/vendor/crates/spikard-core/src/errors.rs +39 -39
  36. data/vendor/crates/spikard-core/src/http.rs +153 -153
  37. data/vendor/crates/spikard-core/src/lib.rs +29 -29
  38. data/vendor/crates/spikard-core/src/lifecycle.rs +422 -422
  39. data/vendor/crates/spikard-core/src/parameters.rs +722 -722
  40. data/vendor/crates/spikard-core/src/problem.rs +310 -310
  41. data/vendor/crates/spikard-core/src/request_data.rs +189 -189
  42. data/vendor/crates/spikard-core/src/router.rs +249 -249
  43. data/vendor/crates/spikard-core/src/schema_registry.rs +183 -183
  44. data/vendor/crates/spikard-core/src/type_hints.rs +304 -304
  45. data/vendor/crates/spikard-core/src/validation.rs +699 -699
  46. data/vendor/crates/spikard-http/Cargo.toml +68 -58
  47. data/vendor/crates/spikard-http/src/auth.rs +247 -247
  48. data/vendor/crates/spikard-http/src/background.rs +249 -249
  49. data/vendor/crates/spikard-http/src/bindings/mod.rs +3 -3
  50. data/vendor/crates/spikard-http/src/bindings/response.rs +1 -1
  51. data/vendor/crates/spikard-http/src/body_metadata.rs +8 -8
  52. data/vendor/crates/spikard-http/src/cors.rs +490 -490
  53. data/vendor/crates/spikard-http/src/debug.rs +63 -63
  54. data/vendor/crates/spikard-http/src/di_handler.rs +423 -423
  55. data/vendor/crates/spikard-http/src/handler_response.rs +190 -190
  56. data/vendor/crates/spikard-http/src/handler_trait.rs +228 -228
  57. data/vendor/crates/spikard-http/src/handler_trait_tests.rs +284 -284
  58. data/vendor/crates/spikard-http/src/lib.rs +529 -529
  59. data/vendor/crates/spikard-http/src/lifecycle/adapter.rs +149 -149
  60. data/vendor/crates/spikard-http/src/lifecycle.rs +428 -428
  61. data/vendor/crates/spikard-http/src/middleware/mod.rs +285 -285
  62. data/vendor/crates/spikard-http/src/middleware/multipart.rs +86 -86
  63. data/vendor/crates/spikard-http/src/middleware/urlencoded.rs +147 -147
  64. data/vendor/crates/spikard-http/src/middleware/validation.rs +287 -287
  65. data/vendor/crates/spikard-http/src/openapi/mod.rs +309 -309
  66. data/vendor/crates/spikard-http/src/openapi/parameter_extraction.rs +190 -190
  67. data/vendor/crates/spikard-http/src/openapi/schema_conversion.rs +308 -308
  68. data/vendor/crates/spikard-http/src/openapi/spec_generation.rs +195 -195
  69. data/vendor/crates/spikard-http/src/parameters.rs +1 -1
  70. data/vendor/crates/spikard-http/src/problem.rs +1 -1
  71. data/vendor/crates/spikard-http/src/query_parser.rs +369 -369
  72. data/vendor/crates/spikard-http/src/response.rs +399 -399
  73. data/vendor/crates/spikard-http/src/router.rs +1 -1
  74. data/vendor/crates/spikard-http/src/schema_registry.rs +1 -1
  75. data/vendor/crates/spikard-http/src/server/handler.rs +87 -87
  76. data/vendor/crates/spikard-http/src/server/lifecycle_execution.rs +98 -98
  77. data/vendor/crates/spikard-http/src/server/mod.rs +805 -805
  78. data/vendor/crates/spikard-http/src/server/request_extraction.rs +119 -119
  79. data/vendor/crates/spikard-http/src/sse.rs +447 -447
  80. data/vendor/crates/spikard-http/src/testing/form.rs +14 -14
  81. data/vendor/crates/spikard-http/src/testing/multipart.rs +60 -60
  82. data/vendor/crates/spikard-http/src/testing/test_client.rs +285 -285
  83. data/vendor/crates/spikard-http/src/testing.rs +377 -377
  84. data/vendor/crates/spikard-http/src/type_hints.rs +1 -1
  85. data/vendor/crates/spikard-http/src/validation.rs +1 -1
  86. data/vendor/crates/spikard-http/src/websocket.rs +324 -324
  87. data/vendor/crates/spikard-rb/Cargo.toml +42 -42
  88. data/vendor/crates/spikard-rb/build.rs +8 -8
  89. data/vendor/crates/spikard-rb/src/background.rs +63 -63
  90. data/vendor/crates/spikard-rb/src/config.rs +294 -294
  91. data/vendor/crates/spikard-rb/src/conversion.rs +453 -453
  92. data/vendor/crates/spikard-rb/src/di.rs +409 -409
  93. data/vendor/crates/spikard-rb/src/handler.rs +625 -625
  94. data/vendor/crates/spikard-rb/src/lib.rs +2771 -2771
  95. data/vendor/crates/spikard-rb/src/lifecycle.rs +274 -274
  96. data/vendor/crates/spikard-rb/src/server.rs +283 -283
  97. data/vendor/crates/spikard-rb/src/sse.rs +231 -231
  98. data/vendor/crates/spikard-rb/src/test_client.rs +404 -404
  99. data/vendor/crates/spikard-rb/src/test_sse.rs +143 -143
  100. data/vendor/crates/spikard-rb/src/test_websocket.rs +221 -221
  101. data/vendor/crates/spikard-rb/src/websocket.rs +233 -233
  102. metadata +1 -79
  103. data/vendor/spikard-core/Cargo.toml +0 -40
  104. data/vendor/spikard-core/src/bindings/mod.rs +0 -3
  105. data/vendor/spikard-core/src/bindings/response.rs +0 -133
  106. data/vendor/spikard-core/src/debug.rs +0 -63
  107. data/vendor/spikard-core/src/di/container.rs +0 -726
  108. data/vendor/spikard-core/src/di/dependency.rs +0 -273
  109. data/vendor/spikard-core/src/di/error.rs +0 -118
  110. data/vendor/spikard-core/src/di/factory.rs +0 -538
  111. data/vendor/spikard-core/src/di/graph.rs +0 -545
  112. data/vendor/spikard-core/src/di/mod.rs +0 -192
  113. data/vendor/spikard-core/src/di/resolved.rs +0 -411
  114. data/vendor/spikard-core/src/di/value.rs +0 -283
  115. data/vendor/spikard-core/src/http.rs +0 -153
  116. data/vendor/spikard-core/src/lib.rs +0 -28
  117. data/vendor/spikard-core/src/lifecycle.rs +0 -422
  118. data/vendor/spikard-core/src/parameters.rs +0 -719
  119. data/vendor/spikard-core/src/problem.rs +0 -310
  120. data/vendor/spikard-core/src/request_data.rs +0 -189
  121. data/vendor/spikard-core/src/router.rs +0 -249
  122. data/vendor/spikard-core/src/schema_registry.rs +0 -183
  123. data/vendor/spikard-core/src/type_hints.rs +0 -304
  124. data/vendor/spikard-core/src/validation.rs +0 -699
  125. data/vendor/spikard-http/Cargo.toml +0 -58
  126. data/vendor/spikard-http/src/auth.rs +0 -247
  127. data/vendor/spikard-http/src/background.rs +0 -249
  128. data/vendor/spikard-http/src/bindings/mod.rs +0 -3
  129. data/vendor/spikard-http/src/bindings/response.rs +0 -1
  130. data/vendor/spikard-http/src/body_metadata.rs +0 -8
  131. data/vendor/spikard-http/src/cors.rs +0 -490
  132. data/vendor/spikard-http/src/debug.rs +0 -63
  133. data/vendor/spikard-http/src/di_handler.rs +0 -423
  134. data/vendor/spikard-http/src/handler_response.rs +0 -190
  135. data/vendor/spikard-http/src/handler_trait.rs +0 -228
  136. data/vendor/spikard-http/src/handler_trait_tests.rs +0 -284
  137. data/vendor/spikard-http/src/lib.rs +0 -529
  138. data/vendor/spikard-http/src/lifecycle/adapter.rs +0 -149
  139. data/vendor/spikard-http/src/lifecycle.rs +0 -428
  140. data/vendor/spikard-http/src/middleware/mod.rs +0 -285
  141. data/vendor/spikard-http/src/middleware/multipart.rs +0 -86
  142. data/vendor/spikard-http/src/middleware/urlencoded.rs +0 -147
  143. data/vendor/spikard-http/src/middleware/validation.rs +0 -287
  144. data/vendor/spikard-http/src/openapi/mod.rs +0 -309
  145. data/vendor/spikard-http/src/openapi/parameter_extraction.rs +0 -190
  146. data/vendor/spikard-http/src/openapi/schema_conversion.rs +0 -308
  147. data/vendor/spikard-http/src/openapi/spec_generation.rs +0 -195
  148. data/vendor/spikard-http/src/parameters.rs +0 -1
  149. data/vendor/spikard-http/src/problem.rs +0 -1
  150. data/vendor/spikard-http/src/query_parser.rs +0 -369
  151. data/vendor/spikard-http/src/response.rs +0 -399
  152. data/vendor/spikard-http/src/router.rs +0 -1
  153. data/vendor/spikard-http/src/schema_registry.rs +0 -1
  154. data/vendor/spikard-http/src/server/handler.rs +0 -80
  155. data/vendor/spikard-http/src/server/lifecycle_execution.rs +0 -98
  156. data/vendor/spikard-http/src/server/mod.rs +0 -805
  157. data/vendor/spikard-http/src/server/request_extraction.rs +0 -119
  158. data/vendor/spikard-http/src/sse.rs +0 -447
  159. data/vendor/spikard-http/src/testing/form.rs +0 -14
  160. data/vendor/spikard-http/src/testing/multipart.rs +0 -60
  161. data/vendor/spikard-http/src/testing/test_client.rs +0 -285
  162. data/vendor/spikard-http/src/testing.rs +0 -377
  163. data/vendor/spikard-http/src/type_hints.rs +0 -1
  164. data/vendor/spikard-http/src/validation.rs +0 -1
  165. data/vendor/spikard-http/src/websocket.rs +0 -324
  166. data/vendor/spikard-rb/Cargo.toml +0 -42
  167. data/vendor/spikard-rb/build.rs +0 -8
  168. data/vendor/spikard-rb/src/background.rs +0 -63
  169. data/vendor/spikard-rb/src/config.rs +0 -294
  170. data/vendor/spikard-rb/src/conversion.rs +0 -392
  171. data/vendor/spikard-rb/src/di.rs +0 -409
  172. data/vendor/spikard-rb/src/handler.rs +0 -534
  173. data/vendor/spikard-rb/src/lib.rs +0 -2020
  174. data/vendor/spikard-rb/src/lifecycle.rs +0 -267
  175. data/vendor/spikard-rb/src/server.rs +0 -283
  176. data/vendor/spikard-rb/src/sse.rs +0 -231
  177. data/vendor/spikard-rb/src/test_client.rs +0 -404
  178. data/vendor/spikard-rb/src/test_sse.rs +0 -143
  179. data/vendor/spikard-rb/src/test_websocket.rs +0 -221
  180. data/vendor/spikard-rb/src/websocket.rs +0 -233
@@ -1,699 +1,699 @@
1
- //! Request/response validation using JSON Schema
2
-
3
- use crate::debug_log_module;
4
- use jsonschema::Validator;
5
- use serde_json::Value;
6
- use std::sync::Arc;
7
-
8
- /// Schema validator that compiles and validates JSON Schema
9
- #[derive(Clone)]
10
- pub struct SchemaValidator {
11
- compiled: Arc<Validator>,
12
- schema: Value,
13
- }
14
-
15
- impl SchemaValidator {
16
- /// Create a new validator from a JSON Schema
17
- pub fn new(schema: Value) -> Result<Self, String> {
18
- let compiled = jsonschema::options()
19
- .with_draft(jsonschema::Draft::Draft202012)
20
- .should_validate_formats(true)
21
- .with_pattern_options(jsonschema::PatternOptions::regex())
22
- .build(&schema)
23
- .map_err(|e| {
24
- anyhow::anyhow!("Invalid JSON Schema")
25
- .context(format!("Schema compilation failed: {}", e))
26
- .to_string()
27
- })?;
28
-
29
- Ok(Self {
30
- compiled: Arc::new(compiled),
31
- schema,
32
- })
33
- }
34
-
35
- /// Get the underlying JSON Schema
36
- pub fn schema(&self) -> &Value {
37
- &self.schema
38
- }
39
-
40
- /// Pre-process data to convert file objects to strings for format: "binary" validation
41
- ///
42
- /// Files uploaded via multipart are converted to objects like:
43
- /// {"filename": "...", "size": N, "content": "...", "content_type": "..."}
44
- ///
45
- /// But schemas define them as: {"type": "string", "format": "binary"}
46
- ///
47
- /// This method recursively processes the data and converts file objects to their content strings
48
- /// so that validation passes, while preserving the original structure for handlers to use.
49
- fn preprocess_binary_fields(&self, data: &Value) -> Value {
50
- self.preprocess_value_with_schema(data, &self.schema)
51
- }
52
-
53
- #[allow(clippy::only_used_in_recursion)]
54
- fn preprocess_value_with_schema(&self, data: &Value, schema: &Value) -> Value {
55
- if let Some(schema_obj) = schema.as_object() {
56
- let is_string_type = schema_obj.get("type").and_then(|t| t.as_str()) == Some("string");
57
- let is_binary_format = schema_obj.get("format").and_then(|f| f.as_str()) == Some("binary");
58
-
59
- #[allow(clippy::collapsible_if)]
60
- if is_string_type && is_binary_format {
61
- if let Some(data_obj) = data.as_object() {
62
- if data_obj.contains_key("filename")
63
- && data_obj.contains_key("content")
64
- && data_obj.contains_key("size")
65
- && data_obj.contains_key("content_type")
66
- {
67
- return data_obj.get("content").unwrap_or(&Value::Null).clone();
68
- }
69
- }
70
- return data.clone();
71
- }
72
-
73
- #[allow(clippy::collapsible_if)]
74
- if schema_obj.get("type").and_then(|t| t.as_str()) == Some("array") {
75
- if let Some(items_schema) = schema_obj.get("items") {
76
- if let Some(data_array) = data.as_array() {
77
- let processed_array: Vec<Value> = data_array
78
- .iter()
79
- .map(|item| self.preprocess_value_with_schema(item, items_schema))
80
- .collect();
81
- return Value::Array(processed_array);
82
- }
83
- }
84
- }
85
-
86
- #[allow(clippy::collapsible_if)]
87
- if schema_obj.get("type").and_then(|t| t.as_str()) == Some("object") {
88
- if let Some(properties) = schema_obj.get("properties").and_then(|p| p.as_object()) {
89
- if let Some(data_obj) = data.as_object() {
90
- let mut processed_obj = serde_json::Map::new();
91
- for (key, value) in data_obj {
92
- if let Some(prop_schema) = properties.get(key) {
93
- processed_obj
94
- .insert(key.clone(), self.preprocess_value_with_schema(value, prop_schema));
95
- } else {
96
- processed_obj.insert(key.clone(), value.clone());
97
- }
98
- }
99
- return Value::Object(processed_obj);
100
- }
101
- }
102
- }
103
- }
104
-
105
- data.clone()
106
- }
107
-
108
- /// Validate JSON data against the schema
109
- pub fn validate(&self, data: &Value) -> Result<(), ValidationError> {
110
- let processed_data = self.preprocess_binary_fields(data);
111
-
112
- let validation_errors: Vec<_> = self.compiled.iter_errors(&processed_data).collect();
113
-
114
- if validation_errors.is_empty() {
115
- return Ok(());
116
- }
117
-
118
- let errors: Vec<ValidationErrorDetail> = validation_errors
119
- .into_iter()
120
- .map(|err| {
121
- let instance_path = err.instance_path().to_string();
122
- let schema_path_str = err.schema_path().as_str();
123
- let error_msg = err.to_string();
124
-
125
- let param_name = if schema_path_str.ends_with("/required") {
126
- let field_name = if let Some(start) = error_msg.find('"') {
127
- if let Some(end) = error_msg[start + 1..].find('"') {
128
- error_msg[start + 1..start + 1 + end].to_string()
129
- } else {
130
- "".to_string()
131
- }
132
- } else {
133
- "".to_string()
134
- };
135
-
136
- if !instance_path.is_empty() && instance_path.starts_with('/') && instance_path.len() > 1 {
137
- let base_path = &instance_path[1..];
138
- if !field_name.is_empty() {
139
- format!("{}/{}", base_path, field_name)
140
- } else {
141
- base_path.to_string()
142
- }
143
- } else if !field_name.is_empty() {
144
- field_name
145
- } else {
146
- "body".to_string()
147
- }
148
- } else if schema_path_str.contains("/additionalProperties") {
149
- if let Some(start) = error_msg.find('(') {
150
- if let Some(quote_start) = error_msg[start..].find('\'') {
151
- let abs_start = start + quote_start + 1;
152
- if let Some(quote_end) = error_msg[abs_start..].find('\'') {
153
- let property_name = error_msg[abs_start..abs_start + quote_end].to_string();
154
- if !instance_path.is_empty()
155
- && instance_path.starts_with('/')
156
- && instance_path.len() > 1
157
- {
158
- format!("{}/{}", &instance_path[1..], property_name)
159
- } else {
160
- property_name
161
- }
162
- } else {
163
- instance_path[1..].to_string()
164
- }
165
- } else {
166
- instance_path[1..].to_string()
167
- }
168
- } else if instance_path.starts_with('/') && instance_path.len() > 1 {
169
- instance_path[1..].to_string()
170
- } else {
171
- "body".to_string()
172
- }
173
- } else if instance_path.starts_with('/') && instance_path.len() > 1 {
174
- instance_path[1..].to_string()
175
- } else if instance_path.is_empty() {
176
- "body".to_string()
177
- } else {
178
- instance_path
179
- };
180
-
181
- let loc_parts: Vec<String> = if param_name.contains('/') {
182
- let mut parts = vec!["body".to_string()];
183
- parts.extend(param_name.split('/').map(|s| s.to_string()));
184
- parts
185
- } else if param_name == "body" {
186
- vec!["body".to_string()]
187
- } else {
188
- vec!["body".to_string(), param_name.clone()]
189
- };
190
-
191
- let input_value = if schema_path_str == "/required" {
192
- data.clone()
193
- } else {
194
- err.instance().clone().into_owned()
195
- };
196
-
197
- let schema_prop_path = if param_name.contains('/') {
198
- format!("/properties/{}", param_name.replace('/', "/properties/"))
199
- } else {
200
- format!("/properties/{}", param_name)
201
- };
202
-
203
- let (error_type, msg, ctx) = if schema_path_str.contains("minLength") {
204
- if let Some(min_len) = self
205
- .schema
206
- .pointer(&format!("{}/minLength", schema_prop_path))
207
- .and_then(|v| v.as_u64())
208
- {
209
- let ctx = serde_json::json!({"min_length": min_len});
210
- (
211
- "string_too_short".to_string(),
212
- format!("String should have at least {} characters", min_len),
213
- Some(ctx),
214
- )
215
- } else {
216
- ("string_too_short".to_string(), "String is too short".to_string(), None)
217
- }
218
- } else if schema_path_str.contains("maxLength") {
219
- if let Some(max_len) = self
220
- .schema
221
- .pointer(&format!("{}/maxLength", schema_prop_path))
222
- .and_then(|v| v.as_u64())
223
- {
224
- let ctx = serde_json::json!({"max_length": max_len});
225
- (
226
- "string_too_long".to_string(),
227
- format!("String should have at most {} characters", max_len),
228
- Some(ctx),
229
- )
230
- } else {
231
- ("string_too_long".to_string(), "String is too long".to_string(), None)
232
- }
233
- } else if schema_path_str.contains("exclusiveMinimum")
234
- || (error_msg.contains("less than or equal to") && error_msg.contains("minimum"))
235
- {
236
- if let Some(min_val) = self
237
- .schema
238
- .pointer(&format!("{}/exclusiveMinimum", schema_prop_path))
239
- .and_then(|v| v.as_i64())
240
- {
241
- let ctx = serde_json::json!({"gt": min_val});
242
- (
243
- "greater_than".to_string(),
244
- format!("Input should be greater than {}", min_val),
245
- Some(ctx),
246
- )
247
- } else {
248
- (
249
- "greater_than".to_string(),
250
- "Input should be greater than the minimum".to_string(),
251
- None,
252
- )
253
- }
254
- } else if schema_path_str.contains("minimum") || error_msg.contains("less than the minimum") {
255
- if let Some(min_val) = self
256
- .schema
257
- .pointer(&format!("{}/minimum", schema_prop_path))
258
- .and_then(|v| v.as_i64())
259
- {
260
- let ctx = serde_json::json!({"ge": min_val});
261
- (
262
- "greater_than_equal".to_string(),
263
- format!("Input should be greater than or equal to {}", min_val),
264
- Some(ctx),
265
- )
266
- } else {
267
- (
268
- "greater_than_equal".to_string(),
269
- "Input should be greater than or equal to the minimum".to_string(),
270
- None,
271
- )
272
- }
273
- } else if schema_path_str.contains("exclusiveMaximum")
274
- || (error_msg.contains("greater than or equal to") && error_msg.contains("maximum"))
275
- {
276
- if let Some(max_val) = self
277
- .schema
278
- .pointer(&format!("{}/exclusiveMaximum", schema_prop_path))
279
- .and_then(|v| v.as_i64())
280
- {
281
- let ctx = serde_json::json!({"lt": max_val});
282
- (
283
- "less_than".to_string(),
284
- format!("Input should be less than {}", max_val),
285
- Some(ctx),
286
- )
287
- } else {
288
- (
289
- "less_than".to_string(),
290
- "Input should be less than the maximum".to_string(),
291
- None,
292
- )
293
- }
294
- } else if schema_path_str.contains("maximum") || error_msg.contains("greater than the maximum") {
295
- if let Some(max_val) = self
296
- .schema
297
- .pointer(&format!("{}/maximum", schema_prop_path))
298
- .and_then(|v| v.as_i64())
299
- {
300
- let ctx = serde_json::json!({"le": max_val});
301
- (
302
- "less_than_equal".to_string(),
303
- format!("Input should be less than or equal to {}", max_val),
304
- Some(ctx),
305
- )
306
- } else {
307
- (
308
- "less_than_equal".to_string(),
309
- "Input should be less than or equal to the maximum".to_string(),
310
- None,
311
- )
312
- }
313
- } else if schema_path_str.contains("enum") || error_msg.contains("is not one of") {
314
- if let Some(enum_values) = self
315
- .schema
316
- .pointer(&format!("{}/enum", schema_prop_path))
317
- .and_then(|v| v.as_array())
318
- {
319
- let values: Vec<String> = enum_values
320
- .iter()
321
- .filter_map(|v| v.as_str().map(|s| format!("'{}'", s)))
322
- .collect();
323
-
324
- let msg = if values.len() > 1 {
325
- let last = values.last().unwrap();
326
- let rest = &values[..values.len() - 1];
327
- format!("Input should be {} or {}", rest.join(", "), last)
328
- } else if !values.is_empty() {
329
- format!("Input should be {}", values[0])
330
- } else {
331
- "Input should be one of the allowed values".to_string()
332
- };
333
-
334
- let expected_str = if values.len() > 1 {
335
- let last = values.last().unwrap();
336
- let rest = &values[..values.len() - 1];
337
- format!("{} or {}", rest.join(", "), last)
338
- } else if !values.is_empty() {
339
- values[0].clone()
340
- } else {
341
- "allowed values".to_string()
342
- };
343
- let ctx = serde_json::json!({"expected": expected_str});
344
- ("enum".to_string(), msg, Some(ctx))
345
- } else {
346
- (
347
- "enum".to_string(),
348
- "Input should be one of the allowed values".to_string(),
349
- None,
350
- )
351
- }
352
- } else if schema_path_str.contains("pattern") || error_msg.contains("does not match") {
353
- if let Some(pattern) = self
354
- .schema
355
- .pointer(&format!("{}/pattern", schema_prop_path))
356
- .and_then(|v| v.as_str())
357
- {
358
- let ctx = serde_json::json!({"pattern": pattern});
359
- let msg = format!("String should match pattern '{}'", pattern);
360
- ("string_pattern_mismatch".to_string(), msg, Some(ctx))
361
- } else {
362
- (
363
- "string_pattern_mismatch".to_string(),
364
- "String does not match expected pattern".to_string(),
365
- None,
366
- )
367
- }
368
- } else if schema_path_str.contains("format") {
369
- if error_msg.contains("email") {
370
- let email_pattern = r"^[a-zA-Z0-9_.+-]+@[a-zA-Z0-9-]+\.[a-zA-Z0-9-.]+$";
371
- let ctx = serde_json::json!({"pattern": email_pattern});
372
- (
373
- "string_pattern_mismatch".to_string(),
374
- format!("String should match pattern '{}'", email_pattern),
375
- Some(ctx),
376
- )
377
- } else if error_msg.contains("uuid") {
378
- (
379
- "uuid_parsing".to_string(),
380
- "Input should be a valid UUID".to_string(),
381
- None,
382
- )
383
- } else if error_msg.contains("date-time") {
384
- (
385
- "datetime_parsing".to_string(),
386
- "Input should be a valid datetime".to_string(),
387
- None,
388
- )
389
- } else if error_msg.contains("date") {
390
- (
391
- "date_parsing".to_string(),
392
- "Input should be a valid date".to_string(),
393
- None,
394
- )
395
- } else {
396
- ("format_error".to_string(), err.to_string(), None)
397
- }
398
- } else if schema_path_str.contains("/type") {
399
- let expected_type = self
400
- .schema
401
- .pointer(&format!("{}/type", schema_prop_path))
402
- .and_then(|v| v.as_str())
403
- .unwrap_or("unknown");
404
-
405
- let (error_type, msg) = match expected_type {
406
- "integer" => (
407
- "int_parsing".to_string(),
408
- "Input should be a valid integer, unable to parse string as an integer".to_string(),
409
- ),
410
- "number" => (
411
- "float_parsing".to_string(),
412
- "Input should be a valid number, unable to parse string as a number".to_string(),
413
- ),
414
- "boolean" => (
415
- "bool_parsing".to_string(),
416
- "Input should be a valid boolean".to_string(),
417
- ),
418
- "string" => ("string_type".to_string(), "Input should be a valid string".to_string()),
419
- _ => (
420
- "type_error".to_string(),
421
- format!("Input should be a valid {}", expected_type),
422
- ),
423
- };
424
- (error_type, msg, None)
425
- } else if schema_path_str.ends_with("/required") {
426
- ("missing".to_string(), "Field required".to_string(), None)
427
- } else if schema_path_str.contains("/additionalProperties")
428
- || error_msg.contains("Additional properties are not allowed")
429
- {
430
- let unexpected_field = if param_name.contains('/') {
431
- param_name.split('/').next_back().unwrap_or(&param_name).to_string()
432
- } else {
433
- param_name.clone()
434
- };
435
-
436
- let ctx = serde_json::json!({
437
- "additional_properties": false,
438
- "unexpected_field": unexpected_field
439
- });
440
- (
441
- "validation_error".to_string(),
442
- "Additional properties are not allowed".to_string(),
443
- Some(ctx),
444
- )
445
- } else if schema_path_str.contains("/minItems") {
446
- let min_items = if let Some(start) = schema_path_str.rfind('/') {
447
- if let Some(_min_idx) = schema_path_str[..start].rfind("/minItems") {
448
- 1
449
- } else {
450
- 1
451
- }
452
- } else {
453
- 1
454
- };
455
-
456
- let ctx = serde_json::json!({
457
- "min_length": min_items
458
- });
459
- (
460
- "too_short".to_string(),
461
- format!("List should have at least {} item after validation", min_items),
462
- Some(ctx),
463
- )
464
- } else if schema_path_str.contains("/maxItems") {
465
- let ctx = serde_json::json!({
466
- "max_length": 1
467
- });
468
- (
469
- "too_long".to_string(),
470
- "List should have at most N items after validation".to_string(),
471
- Some(ctx),
472
- )
473
- } else {
474
- ("validation_error".to_string(), err.to_string(), None)
475
- };
476
-
477
- ValidationErrorDetail {
478
- error_type,
479
- loc: loc_parts,
480
- msg,
481
- input: input_value,
482
- ctx,
483
- }
484
- })
485
- .collect();
486
-
487
- debug_log_module!("validation", "Returning {} validation errors", errors.len());
488
- for (i, error) in errors.iter().enumerate() {
489
- debug_log_module!(
490
- "validation",
491
- " Error {}: type={}, loc={:?}, msg={}, input={}, ctx={:?}",
492
- i,
493
- error.error_type,
494
- error.loc,
495
- error.msg,
496
- error.input,
497
- error.ctx
498
- );
499
- }
500
- #[allow(clippy::collapsible_if)]
501
- if crate::debug::is_enabled() {
502
- if let Ok(json_errors) = serde_json::to_value(&errors) {
503
- if let Ok(json_str) = serde_json::to_string_pretty(&json_errors) {
504
- debug_log_module!("validation", "Serialized errors:\n{}", json_str);
505
- }
506
- }
507
- }
508
-
509
- Err(ValidationError { errors })
510
- }
511
-
512
- /// Validate and parse JSON bytes
513
- pub fn validate_json(&self, json_bytes: &[u8]) -> Result<Value, ValidationError> {
514
- let value: Value = serde_json::from_slice(json_bytes).map_err(|e| ValidationError {
515
- errors: vec![ValidationErrorDetail {
516
- error_type: "json_parse_error".to_string(),
517
- loc: vec!["body".to_string()],
518
- msg: format!("Invalid JSON: {}", e),
519
- input: Value::Null,
520
- ctx: None,
521
- }],
522
- })?;
523
-
524
- self.validate(&value)?;
525
-
526
- Ok(value)
527
- }
528
- }
529
-
530
- /// Validation error containing one or more validation failures
531
- #[derive(Debug, Clone)]
532
- pub struct ValidationError {
533
- pub errors: Vec<ValidationErrorDetail>,
534
- }
535
-
536
- /// Individual validation error detail (FastAPI-compatible format)
537
- #[derive(Debug, Clone, serde::Serialize)]
538
- pub struct ValidationErrorDetail {
539
- #[serde(rename = "type")]
540
- pub error_type: String,
541
- pub loc: Vec<String>,
542
- pub msg: String,
543
- pub input: Value,
544
- #[serde(skip_serializing_if = "Option::is_none")]
545
- pub ctx: Option<Value>,
546
- }
547
-
548
- impl std::fmt::Display for ValidationError {
549
- fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
550
- write!(f, "Validation failed: {} errors", self.errors.len())
551
- }
552
- }
553
-
554
- impl std::error::Error for ValidationError {}
555
-
556
- #[cfg(test)]
557
- mod tests {
558
- use super::*;
559
- use serde_json::json;
560
-
561
- #[test]
562
- fn test_validator_creation() {
563
- let schema = json!({
564
- "type": "object",
565
- "properties": {
566
- "name": {"type": "string"},
567
- "age": {"type": "integer"}
568
- },
569
- "required": ["name"]
570
- });
571
-
572
- let validator = SchemaValidator::new(schema).unwrap();
573
- assert!(validator.compiled.is_valid(&json!({"name": "Alice", "age": 30})));
574
- }
575
-
576
- #[test]
577
- fn test_validation_success() {
578
- let schema = json!({
579
- "type": "object",
580
- "properties": {
581
- "email": {"type": "string", "format": "email"}
582
- }
583
- });
584
-
585
- let validator = SchemaValidator::new(schema).unwrap();
586
- let data = json!({"email": "test@example.com"});
587
-
588
- assert!(validator.validate(&data).is_ok());
589
- }
590
-
591
- #[test]
592
- fn test_validation_failure() {
593
- let schema = json!({
594
- "type": "object",
595
- "properties": {
596
- "age": {"type": "integer", "minimum": 0}
597
- },
598
- "required": ["age"]
599
- });
600
-
601
- let validator = SchemaValidator::new(schema).unwrap();
602
- let data = json!({"age": -5});
603
-
604
- assert!(validator.validate(&data).is_err());
605
- }
606
-
607
- #[test]
608
- fn test_validation_error_serialization() {
609
- let schema = json!({
610
- "type": "object",
611
- "properties": {
612
- "name": {
613
- "type": "string",
614
- "maxLength": 10
615
- }
616
- },
617
- "required": ["name"]
618
- });
619
-
620
- let validator = SchemaValidator::new(schema).unwrap();
621
- let data = json!({"name": "this_is_way_too_long"});
622
-
623
- let result = validator.validate(&data);
624
- assert!(result.is_err());
625
-
626
- let err = result.unwrap_err();
627
- assert_eq!(err.errors.len(), 1);
628
-
629
- let error_detail = &err.errors[0];
630
- assert_eq!(error_detail.error_type, "string_too_long");
631
- assert_eq!(error_detail.loc, vec!["body", "name"]);
632
- assert_eq!(error_detail.msg, "String should have at most 10 characters");
633
- assert_eq!(error_detail.input, Value::String("this_is_way_too_long".to_string()));
634
- assert_eq!(error_detail.ctx, Some(json!({"max_length": 10})));
635
-
636
- let json_output = serde_json::to_value(&err.errors).unwrap();
637
- println!(
638
- "Serialized JSON: {}",
639
- serde_json::to_string_pretty(&json_output).unwrap()
640
- );
641
-
642
- let serialized_error = &json_output[0];
643
- assert!(serialized_error.get("type").is_some());
644
- assert!(serialized_error.get("loc").is_some());
645
- assert!(serialized_error.get("msg").is_some());
646
- assert!(
647
- serialized_error.get("input").is_some(),
648
- "Missing 'input' field in serialized JSON!"
649
- );
650
- assert!(
651
- serialized_error.get("ctx").is_some(),
652
- "Missing 'ctx' field in serialized JSON!"
653
- );
654
-
655
- assert_eq!(
656
- serialized_error["input"],
657
- Value::String("this_is_way_too_long".to_string())
658
- );
659
- assert_eq!(serialized_error["ctx"], json!({"max_length": 10}));
660
- }
661
-
662
- #[test]
663
- fn test_exclusive_minimum() {
664
- let schema = json!({
665
- "$schema": "https://json-schema.org/draft/2020-12/schema",
666
- "type": "object",
667
- "required": ["id", "name", "price"],
668
- "properties": {
669
- "id": {
670
- "type": "integer"
671
- },
672
- "name": {
673
- "type": "string",
674
- "minLength": 3
675
- },
676
- "price": {
677
- "type": "number",
678
- "exclusiveMinimum": 0
679
- }
680
- }
681
- });
682
-
683
- let validator = SchemaValidator::new(schema).unwrap();
684
-
685
- let data = json!({
686
- "id": 1,
687
- "name": "X",
688
- "price": -10
689
- });
690
-
691
- let result = validator.validate(&data);
692
- eprintln!("Validation result: {:?}", result);
693
-
694
- assert!(result.is_err(), "Should have validation errors");
695
- let err = result.unwrap_err();
696
- eprintln!("Errors: {:?}", err.errors);
697
- assert_eq!(err.errors.len(), 2, "Should have 2 errors");
698
- }
699
- }
1
+ //! Request/response validation using JSON Schema
2
+
3
+ use crate::debug_log_module;
4
+ use jsonschema::Validator;
5
+ use serde_json::Value;
6
+ use std::sync::Arc;
7
+
8
+ /// Schema validator that compiles and validates JSON Schema
9
+ #[derive(Clone)]
10
+ pub struct SchemaValidator {
11
+ compiled: Arc<Validator>,
12
+ schema: Value,
13
+ }
14
+
15
+ impl SchemaValidator {
16
+ /// Create a new validator from a JSON Schema
17
+ pub fn new(schema: Value) -> Result<Self, String> {
18
+ let compiled = jsonschema::options()
19
+ .with_draft(jsonschema::Draft::Draft202012)
20
+ .should_validate_formats(true)
21
+ .with_pattern_options(jsonschema::PatternOptions::regex())
22
+ .build(&schema)
23
+ .map_err(|e| {
24
+ anyhow::anyhow!("Invalid JSON Schema")
25
+ .context(format!("Schema compilation failed: {}", e))
26
+ .to_string()
27
+ })?;
28
+
29
+ Ok(Self {
30
+ compiled: Arc::new(compiled),
31
+ schema,
32
+ })
33
+ }
34
+
35
+ /// Get the underlying JSON Schema
36
+ pub fn schema(&self) -> &Value {
37
+ &self.schema
38
+ }
39
+
40
+ /// Pre-process data to convert file objects to strings for format: "binary" validation
41
+ ///
42
+ /// Files uploaded via multipart are converted to objects like:
43
+ /// {"filename": "...", "size": N, "content": "...", "content_type": "..."}
44
+ ///
45
+ /// But schemas define them as: {"type": "string", "format": "binary"}
46
+ ///
47
+ /// This method recursively processes the data and converts file objects to their content strings
48
+ /// so that validation passes, while preserving the original structure for handlers to use.
49
+ fn preprocess_binary_fields(&self, data: &Value) -> Value {
50
+ self.preprocess_value_with_schema(data, &self.schema)
51
+ }
52
+
53
+ #[allow(clippy::only_used_in_recursion)]
54
+ fn preprocess_value_with_schema(&self, data: &Value, schema: &Value) -> Value {
55
+ if let Some(schema_obj) = schema.as_object() {
56
+ let is_string_type = schema_obj.get("type").and_then(|t| t.as_str()) == Some("string");
57
+ let is_binary_format = schema_obj.get("format").and_then(|f| f.as_str()) == Some("binary");
58
+
59
+ #[allow(clippy::collapsible_if)]
60
+ if is_string_type && is_binary_format {
61
+ if let Some(data_obj) = data.as_object() {
62
+ if data_obj.contains_key("filename")
63
+ && data_obj.contains_key("content")
64
+ && data_obj.contains_key("size")
65
+ && data_obj.contains_key("content_type")
66
+ {
67
+ return data_obj.get("content").unwrap_or(&Value::Null).clone();
68
+ }
69
+ }
70
+ return data.clone();
71
+ }
72
+
73
+ #[allow(clippy::collapsible_if)]
74
+ if schema_obj.get("type").and_then(|t| t.as_str()) == Some("array") {
75
+ if let Some(items_schema) = schema_obj.get("items") {
76
+ if let Some(data_array) = data.as_array() {
77
+ let processed_array: Vec<Value> = data_array
78
+ .iter()
79
+ .map(|item| self.preprocess_value_with_schema(item, items_schema))
80
+ .collect();
81
+ return Value::Array(processed_array);
82
+ }
83
+ }
84
+ }
85
+
86
+ #[allow(clippy::collapsible_if)]
87
+ if schema_obj.get("type").and_then(|t| t.as_str()) == Some("object") {
88
+ if let Some(properties) = schema_obj.get("properties").and_then(|p| p.as_object()) {
89
+ if let Some(data_obj) = data.as_object() {
90
+ let mut processed_obj = serde_json::Map::new();
91
+ for (key, value) in data_obj {
92
+ if let Some(prop_schema) = properties.get(key) {
93
+ processed_obj
94
+ .insert(key.clone(), self.preprocess_value_with_schema(value, prop_schema));
95
+ } else {
96
+ processed_obj.insert(key.clone(), value.clone());
97
+ }
98
+ }
99
+ return Value::Object(processed_obj);
100
+ }
101
+ }
102
+ }
103
+ }
104
+
105
+ data.clone()
106
+ }
107
+
108
+ /// Validate JSON data against the schema
109
+ pub fn validate(&self, data: &Value) -> Result<(), ValidationError> {
110
+ let processed_data = self.preprocess_binary_fields(data);
111
+
112
+ let validation_errors: Vec<_> = self.compiled.iter_errors(&processed_data).collect();
113
+
114
+ if validation_errors.is_empty() {
115
+ return Ok(());
116
+ }
117
+
118
+ let errors: Vec<ValidationErrorDetail> = validation_errors
119
+ .into_iter()
120
+ .map(|err| {
121
+ let instance_path = err.instance_path().to_string();
122
+ let schema_path_str = err.schema_path().as_str();
123
+ let error_msg = err.to_string();
124
+
125
+ let param_name = if schema_path_str.ends_with("/required") {
126
+ let field_name = if let Some(start) = error_msg.find('"') {
127
+ if let Some(end) = error_msg[start + 1..].find('"') {
128
+ error_msg[start + 1..start + 1 + end].to_string()
129
+ } else {
130
+ "".to_string()
131
+ }
132
+ } else {
133
+ "".to_string()
134
+ };
135
+
136
+ if !instance_path.is_empty() && instance_path.starts_with('/') && instance_path.len() > 1 {
137
+ let base_path = &instance_path[1..];
138
+ if !field_name.is_empty() {
139
+ format!("{}/{}", base_path, field_name)
140
+ } else {
141
+ base_path.to_string()
142
+ }
143
+ } else if !field_name.is_empty() {
144
+ field_name
145
+ } else {
146
+ "body".to_string()
147
+ }
148
+ } else if schema_path_str.contains("/additionalProperties") {
149
+ if let Some(start) = error_msg.find('(') {
150
+ if let Some(quote_start) = error_msg[start..].find('\'') {
151
+ let abs_start = start + quote_start + 1;
152
+ if let Some(quote_end) = error_msg[abs_start..].find('\'') {
153
+ let property_name = error_msg[abs_start..abs_start + quote_end].to_string();
154
+ if !instance_path.is_empty()
155
+ && instance_path.starts_with('/')
156
+ && instance_path.len() > 1
157
+ {
158
+ format!("{}/{}", &instance_path[1..], property_name)
159
+ } else {
160
+ property_name
161
+ }
162
+ } else {
163
+ instance_path[1..].to_string()
164
+ }
165
+ } else {
166
+ instance_path[1..].to_string()
167
+ }
168
+ } else if instance_path.starts_with('/') && instance_path.len() > 1 {
169
+ instance_path[1..].to_string()
170
+ } else {
171
+ "body".to_string()
172
+ }
173
+ } else if instance_path.starts_with('/') && instance_path.len() > 1 {
174
+ instance_path[1..].to_string()
175
+ } else if instance_path.is_empty() {
176
+ "body".to_string()
177
+ } else {
178
+ instance_path
179
+ };
180
+
181
+ let loc_parts: Vec<String> = if param_name.contains('/') {
182
+ let mut parts = vec!["body".to_string()];
183
+ parts.extend(param_name.split('/').map(|s| s.to_string()));
184
+ parts
185
+ } else if param_name == "body" {
186
+ vec!["body".to_string()]
187
+ } else {
188
+ vec!["body".to_string(), param_name.clone()]
189
+ };
190
+
191
+ let input_value = if schema_path_str == "/required" {
192
+ data.clone()
193
+ } else {
194
+ err.instance().clone().into_owned()
195
+ };
196
+
197
+ let schema_prop_path = if param_name.contains('/') {
198
+ format!("/properties/{}", param_name.replace('/', "/properties/"))
199
+ } else {
200
+ format!("/properties/{}", param_name)
201
+ };
202
+
203
+ let (error_type, msg, ctx) = if schema_path_str.contains("minLength") {
204
+ if let Some(min_len) = self
205
+ .schema
206
+ .pointer(&format!("{}/minLength", schema_prop_path))
207
+ .and_then(|v| v.as_u64())
208
+ {
209
+ let ctx = serde_json::json!({"min_length": min_len});
210
+ (
211
+ "string_too_short".to_string(),
212
+ format!("String should have at least {} characters", min_len),
213
+ Some(ctx),
214
+ )
215
+ } else {
216
+ ("string_too_short".to_string(), "String is too short".to_string(), None)
217
+ }
218
+ } else if schema_path_str.contains("maxLength") {
219
+ if let Some(max_len) = self
220
+ .schema
221
+ .pointer(&format!("{}/maxLength", schema_prop_path))
222
+ .and_then(|v| v.as_u64())
223
+ {
224
+ let ctx = serde_json::json!({"max_length": max_len});
225
+ (
226
+ "string_too_long".to_string(),
227
+ format!("String should have at most {} characters", max_len),
228
+ Some(ctx),
229
+ )
230
+ } else {
231
+ ("string_too_long".to_string(), "String is too long".to_string(), None)
232
+ }
233
+ } else if schema_path_str.contains("exclusiveMinimum")
234
+ || (error_msg.contains("less than or equal to") && error_msg.contains("minimum"))
235
+ {
236
+ if let Some(min_val) = self
237
+ .schema
238
+ .pointer(&format!("{}/exclusiveMinimum", schema_prop_path))
239
+ .and_then(|v| v.as_i64())
240
+ {
241
+ let ctx = serde_json::json!({"gt": min_val});
242
+ (
243
+ "greater_than".to_string(),
244
+ format!("Input should be greater than {}", min_val),
245
+ Some(ctx),
246
+ )
247
+ } else {
248
+ (
249
+ "greater_than".to_string(),
250
+ "Input should be greater than the minimum".to_string(),
251
+ None,
252
+ )
253
+ }
254
+ } else if schema_path_str.contains("minimum") || error_msg.contains("less than the minimum") {
255
+ if let Some(min_val) = self
256
+ .schema
257
+ .pointer(&format!("{}/minimum", schema_prop_path))
258
+ .and_then(|v| v.as_i64())
259
+ {
260
+ let ctx = serde_json::json!({"ge": min_val});
261
+ (
262
+ "greater_than_equal".to_string(),
263
+ format!("Input should be greater than or equal to {}", min_val),
264
+ Some(ctx),
265
+ )
266
+ } else {
267
+ (
268
+ "greater_than_equal".to_string(),
269
+ "Input should be greater than or equal to the minimum".to_string(),
270
+ None,
271
+ )
272
+ }
273
+ } else if schema_path_str.contains("exclusiveMaximum")
274
+ || (error_msg.contains("greater than or equal to") && error_msg.contains("maximum"))
275
+ {
276
+ if let Some(max_val) = self
277
+ .schema
278
+ .pointer(&format!("{}/exclusiveMaximum", schema_prop_path))
279
+ .and_then(|v| v.as_i64())
280
+ {
281
+ let ctx = serde_json::json!({"lt": max_val});
282
+ (
283
+ "less_than".to_string(),
284
+ format!("Input should be less than {}", max_val),
285
+ Some(ctx),
286
+ )
287
+ } else {
288
+ (
289
+ "less_than".to_string(),
290
+ "Input should be less than the maximum".to_string(),
291
+ None,
292
+ )
293
+ }
294
+ } else if schema_path_str.contains("maximum") || error_msg.contains("greater than the maximum") {
295
+ if let Some(max_val) = self
296
+ .schema
297
+ .pointer(&format!("{}/maximum", schema_prop_path))
298
+ .and_then(|v| v.as_i64())
299
+ {
300
+ let ctx = serde_json::json!({"le": max_val});
301
+ (
302
+ "less_than_equal".to_string(),
303
+ format!("Input should be less than or equal to {}", max_val),
304
+ Some(ctx),
305
+ )
306
+ } else {
307
+ (
308
+ "less_than_equal".to_string(),
309
+ "Input should be less than or equal to the maximum".to_string(),
310
+ None,
311
+ )
312
+ }
313
+ } else if schema_path_str.contains("enum") || error_msg.contains("is not one of") {
314
+ if let Some(enum_values) = self
315
+ .schema
316
+ .pointer(&format!("{}/enum", schema_prop_path))
317
+ .and_then(|v| v.as_array())
318
+ {
319
+ let values: Vec<String> = enum_values
320
+ .iter()
321
+ .filter_map(|v| v.as_str().map(|s| format!("'{}'", s)))
322
+ .collect();
323
+
324
+ let msg = if values.len() > 1 {
325
+ let last = values.last().unwrap();
326
+ let rest = &values[..values.len() - 1];
327
+ format!("Input should be {} or {}", rest.join(", "), last)
328
+ } else if !values.is_empty() {
329
+ format!("Input should be {}", values[0])
330
+ } else {
331
+ "Input should be one of the allowed values".to_string()
332
+ };
333
+
334
+ let expected_str = if values.len() > 1 {
335
+ let last = values.last().unwrap();
336
+ let rest = &values[..values.len() - 1];
337
+ format!("{} or {}", rest.join(", "), last)
338
+ } else if !values.is_empty() {
339
+ values[0].clone()
340
+ } else {
341
+ "allowed values".to_string()
342
+ };
343
+ let ctx = serde_json::json!({"expected": expected_str});
344
+ ("enum".to_string(), msg, Some(ctx))
345
+ } else {
346
+ (
347
+ "enum".to_string(),
348
+ "Input should be one of the allowed values".to_string(),
349
+ None,
350
+ )
351
+ }
352
+ } else if schema_path_str.contains("pattern") || error_msg.contains("does not match") {
353
+ if let Some(pattern) = self
354
+ .schema
355
+ .pointer(&format!("{}/pattern", schema_prop_path))
356
+ .and_then(|v| v.as_str())
357
+ {
358
+ let ctx = serde_json::json!({"pattern": pattern});
359
+ let msg = format!("String should match pattern '{}'", pattern);
360
+ ("string_pattern_mismatch".to_string(), msg, Some(ctx))
361
+ } else {
362
+ (
363
+ "string_pattern_mismatch".to_string(),
364
+ "String does not match expected pattern".to_string(),
365
+ None,
366
+ )
367
+ }
368
+ } else if schema_path_str.contains("format") {
369
+ if error_msg.contains("email") {
370
+ let email_pattern = r"^[a-zA-Z0-9_.+-]+@[a-zA-Z0-9-]+\.[a-zA-Z0-9-.]+$";
371
+ let ctx = serde_json::json!({"pattern": email_pattern});
372
+ (
373
+ "string_pattern_mismatch".to_string(),
374
+ format!("String should match pattern '{}'", email_pattern),
375
+ Some(ctx),
376
+ )
377
+ } else if error_msg.contains("uuid") {
378
+ (
379
+ "uuid_parsing".to_string(),
380
+ "Input should be a valid UUID".to_string(),
381
+ None,
382
+ )
383
+ } else if error_msg.contains("date-time") {
384
+ (
385
+ "datetime_parsing".to_string(),
386
+ "Input should be a valid datetime".to_string(),
387
+ None,
388
+ )
389
+ } else if error_msg.contains("date") {
390
+ (
391
+ "date_parsing".to_string(),
392
+ "Input should be a valid date".to_string(),
393
+ None,
394
+ )
395
+ } else {
396
+ ("format_error".to_string(), err.to_string(), None)
397
+ }
398
+ } else if schema_path_str.contains("/type") {
399
+ let expected_type = self
400
+ .schema
401
+ .pointer(&format!("{}/type", schema_prop_path))
402
+ .and_then(|v| v.as_str())
403
+ .unwrap_or("unknown");
404
+
405
+ let (error_type, msg) = match expected_type {
406
+ "integer" => (
407
+ "int_parsing".to_string(),
408
+ "Input should be a valid integer, unable to parse string as an integer".to_string(),
409
+ ),
410
+ "number" => (
411
+ "float_parsing".to_string(),
412
+ "Input should be a valid number, unable to parse string as a number".to_string(),
413
+ ),
414
+ "boolean" => (
415
+ "bool_parsing".to_string(),
416
+ "Input should be a valid boolean".to_string(),
417
+ ),
418
+ "string" => ("string_type".to_string(), "Input should be a valid string".to_string()),
419
+ _ => (
420
+ "type_error".to_string(),
421
+ format!("Input should be a valid {}", expected_type),
422
+ ),
423
+ };
424
+ (error_type, msg, None)
425
+ } else if schema_path_str.ends_with("/required") {
426
+ ("missing".to_string(), "Field required".to_string(), None)
427
+ } else if schema_path_str.contains("/additionalProperties")
428
+ || error_msg.contains("Additional properties are not allowed")
429
+ {
430
+ let unexpected_field = if param_name.contains('/') {
431
+ param_name.split('/').next_back().unwrap_or(&param_name).to_string()
432
+ } else {
433
+ param_name.clone()
434
+ };
435
+
436
+ let ctx = serde_json::json!({
437
+ "additional_properties": false,
438
+ "unexpected_field": unexpected_field
439
+ });
440
+ (
441
+ "validation_error".to_string(),
442
+ "Additional properties are not allowed".to_string(),
443
+ Some(ctx),
444
+ )
445
+ } else if schema_path_str.contains("/minItems") {
446
+ let min_items = if let Some(start) = schema_path_str.rfind('/') {
447
+ if let Some(_min_idx) = schema_path_str[..start].rfind("/minItems") {
448
+ 1
449
+ } else {
450
+ 1
451
+ }
452
+ } else {
453
+ 1
454
+ };
455
+
456
+ let ctx = serde_json::json!({
457
+ "min_length": min_items
458
+ });
459
+ (
460
+ "too_short".to_string(),
461
+ format!("List should have at least {} item after validation", min_items),
462
+ Some(ctx),
463
+ )
464
+ } else if schema_path_str.contains("/maxItems") {
465
+ let ctx = serde_json::json!({
466
+ "max_length": 1
467
+ });
468
+ (
469
+ "too_long".to_string(),
470
+ "List should have at most N items after validation".to_string(),
471
+ Some(ctx),
472
+ )
473
+ } else {
474
+ ("validation_error".to_string(), err.to_string(), None)
475
+ };
476
+
477
+ ValidationErrorDetail {
478
+ error_type,
479
+ loc: loc_parts,
480
+ msg,
481
+ input: input_value,
482
+ ctx,
483
+ }
484
+ })
485
+ .collect();
486
+
487
+ debug_log_module!("validation", "Returning {} validation errors", errors.len());
488
+ for (i, error) in errors.iter().enumerate() {
489
+ debug_log_module!(
490
+ "validation",
491
+ " Error {}: type={}, loc={:?}, msg={}, input={}, ctx={:?}",
492
+ i,
493
+ error.error_type,
494
+ error.loc,
495
+ error.msg,
496
+ error.input,
497
+ error.ctx
498
+ );
499
+ }
500
+ #[allow(clippy::collapsible_if)]
501
+ if crate::debug::is_enabled() {
502
+ if let Ok(json_errors) = serde_json::to_value(&errors) {
503
+ if let Ok(json_str) = serde_json::to_string_pretty(&json_errors) {
504
+ debug_log_module!("validation", "Serialized errors:\n{}", json_str);
505
+ }
506
+ }
507
+ }
508
+
509
+ Err(ValidationError { errors })
510
+ }
511
+
512
+ /// Validate and parse JSON bytes
513
+ pub fn validate_json(&self, json_bytes: &[u8]) -> Result<Value, ValidationError> {
514
+ let value: Value = serde_json::from_slice(json_bytes).map_err(|e| ValidationError {
515
+ errors: vec![ValidationErrorDetail {
516
+ error_type: "json_parse_error".to_string(),
517
+ loc: vec!["body".to_string()],
518
+ msg: format!("Invalid JSON: {}", e),
519
+ input: Value::Null,
520
+ ctx: None,
521
+ }],
522
+ })?;
523
+
524
+ self.validate(&value)?;
525
+
526
+ Ok(value)
527
+ }
528
+ }
529
+
530
+ /// Validation error containing one or more validation failures
531
+ #[derive(Debug, Clone)]
532
+ pub struct ValidationError {
533
+ pub errors: Vec<ValidationErrorDetail>,
534
+ }
535
+
536
+ /// Individual validation error detail (FastAPI-compatible format)
537
+ #[derive(Debug, Clone, serde::Serialize)]
538
+ pub struct ValidationErrorDetail {
539
+ #[serde(rename = "type")]
540
+ pub error_type: String,
541
+ pub loc: Vec<String>,
542
+ pub msg: String,
543
+ pub input: Value,
544
+ #[serde(skip_serializing_if = "Option::is_none")]
545
+ pub ctx: Option<Value>,
546
+ }
547
+
548
+ impl std::fmt::Display for ValidationError {
549
+ fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
550
+ write!(f, "Validation failed: {} errors", self.errors.len())
551
+ }
552
+ }
553
+
554
+ impl std::error::Error for ValidationError {}
555
+
556
+ #[cfg(test)]
557
+ mod tests {
558
+ use super::*;
559
+ use serde_json::json;
560
+
561
+ #[test]
562
+ fn test_validator_creation() {
563
+ let schema = json!({
564
+ "type": "object",
565
+ "properties": {
566
+ "name": {"type": "string"},
567
+ "age": {"type": "integer"}
568
+ },
569
+ "required": ["name"]
570
+ });
571
+
572
+ let validator = SchemaValidator::new(schema).unwrap();
573
+ assert!(validator.compiled.is_valid(&json!({"name": "Alice", "age": 30})));
574
+ }
575
+
576
+ #[test]
577
+ fn test_validation_success() {
578
+ let schema = json!({
579
+ "type": "object",
580
+ "properties": {
581
+ "email": {"type": "string", "format": "email"}
582
+ }
583
+ });
584
+
585
+ let validator = SchemaValidator::new(schema).unwrap();
586
+ let data = json!({"email": "test@example.com"});
587
+
588
+ assert!(validator.validate(&data).is_ok());
589
+ }
590
+
591
+ #[test]
592
+ fn test_validation_failure() {
593
+ let schema = json!({
594
+ "type": "object",
595
+ "properties": {
596
+ "age": {"type": "integer", "minimum": 0}
597
+ },
598
+ "required": ["age"]
599
+ });
600
+
601
+ let validator = SchemaValidator::new(schema).unwrap();
602
+ let data = json!({"age": -5});
603
+
604
+ assert!(validator.validate(&data).is_err());
605
+ }
606
+
607
+ #[test]
608
+ fn test_validation_error_serialization() {
609
+ let schema = json!({
610
+ "type": "object",
611
+ "properties": {
612
+ "name": {
613
+ "type": "string",
614
+ "maxLength": 10
615
+ }
616
+ },
617
+ "required": ["name"]
618
+ });
619
+
620
+ let validator = SchemaValidator::new(schema).unwrap();
621
+ let data = json!({"name": "this_is_way_too_long"});
622
+
623
+ let result = validator.validate(&data);
624
+ assert!(result.is_err());
625
+
626
+ let err = result.unwrap_err();
627
+ assert_eq!(err.errors.len(), 1);
628
+
629
+ let error_detail = &err.errors[0];
630
+ assert_eq!(error_detail.error_type, "string_too_long");
631
+ assert_eq!(error_detail.loc, vec!["body", "name"]);
632
+ assert_eq!(error_detail.msg, "String should have at most 10 characters");
633
+ assert_eq!(error_detail.input, Value::String("this_is_way_too_long".to_string()));
634
+ assert_eq!(error_detail.ctx, Some(json!({"max_length": 10})));
635
+
636
+ let json_output = serde_json::to_value(&err.errors).unwrap();
637
+ println!(
638
+ "Serialized JSON: {}",
639
+ serde_json::to_string_pretty(&json_output).unwrap()
640
+ );
641
+
642
+ let serialized_error = &json_output[0];
643
+ assert!(serialized_error.get("type").is_some());
644
+ assert!(serialized_error.get("loc").is_some());
645
+ assert!(serialized_error.get("msg").is_some());
646
+ assert!(
647
+ serialized_error.get("input").is_some(),
648
+ "Missing 'input' field in serialized JSON!"
649
+ );
650
+ assert!(
651
+ serialized_error.get("ctx").is_some(),
652
+ "Missing 'ctx' field in serialized JSON!"
653
+ );
654
+
655
+ assert_eq!(
656
+ serialized_error["input"],
657
+ Value::String("this_is_way_too_long".to_string())
658
+ );
659
+ assert_eq!(serialized_error["ctx"], json!({"max_length": 10}));
660
+ }
661
+
662
+ #[test]
663
+ fn test_exclusive_minimum() {
664
+ let schema = json!({
665
+ "$schema": "https://json-schema.org/draft/2020-12/schema",
666
+ "type": "object",
667
+ "required": ["id", "name", "price"],
668
+ "properties": {
669
+ "id": {
670
+ "type": "integer"
671
+ },
672
+ "name": {
673
+ "type": "string",
674
+ "minLength": 3
675
+ },
676
+ "price": {
677
+ "type": "number",
678
+ "exclusiveMinimum": 0
679
+ }
680
+ }
681
+ });
682
+
683
+ let validator = SchemaValidator::new(schema).unwrap();
684
+
685
+ let data = json!({
686
+ "id": 1,
687
+ "name": "X",
688
+ "price": -10
689
+ });
690
+
691
+ let result = validator.validate(&data);
692
+ eprintln!("Validation result: {:?}", result);
693
+
694
+ assert!(result.is_err(), "Should have validation errors");
695
+ let err = result.unwrap_err();
696
+ eprintln!("Errors: {:?}", err.errors);
697
+ assert_eq!(err.errors.len(), 2, "Should have 2 errors");
698
+ }
699
+ }