spikard 0.3.5 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (142) hide show
  1. checksums.yaml +4 -4
  2. data/LICENSE +1 -1
  3. data/README.md +674 -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 +405 -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 +256 -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-bindings-shared/Cargo.toml +63 -0
  24. data/vendor/crates/spikard-bindings-shared/examples/config_extraction.rs +132 -0
  25. data/vendor/crates/spikard-bindings-shared/src/config_extractor.rs +752 -0
  26. data/vendor/crates/spikard-bindings-shared/src/conversion_traits.rs +194 -0
  27. data/vendor/crates/spikard-bindings-shared/src/di_traits.rs +246 -0
  28. data/vendor/crates/spikard-bindings-shared/src/error_response.rs +401 -0
  29. data/vendor/crates/spikard-bindings-shared/src/handler_base.rs +238 -0
  30. data/vendor/crates/spikard-bindings-shared/src/lib.rs +24 -0
  31. data/vendor/crates/spikard-bindings-shared/src/lifecycle_base.rs +292 -0
  32. data/vendor/crates/spikard-bindings-shared/src/lifecycle_executor.rs +616 -0
  33. data/vendor/crates/spikard-bindings-shared/src/response_builder.rs +305 -0
  34. data/vendor/crates/spikard-bindings-shared/src/test_client_base.rs +248 -0
  35. data/vendor/crates/spikard-bindings-shared/src/validation_helpers.rs +351 -0
  36. data/vendor/crates/spikard-bindings-shared/tests/comprehensive_coverage.rs +454 -0
  37. data/vendor/crates/spikard-bindings-shared/tests/error_response_edge_cases.rs +383 -0
  38. data/vendor/crates/spikard-bindings-shared/tests/handler_base_integration.rs +280 -0
  39. data/vendor/crates/spikard-core/Cargo.toml +40 -40
  40. data/vendor/crates/spikard-core/src/bindings/mod.rs +3 -3
  41. data/vendor/crates/spikard-core/src/bindings/response.rs +133 -133
  42. data/vendor/crates/spikard-core/src/debug.rs +127 -63
  43. data/vendor/crates/spikard-core/src/di/container.rs +702 -726
  44. data/vendor/crates/spikard-core/src/di/dependency.rs +273 -273
  45. data/vendor/crates/spikard-core/src/di/error.rs +118 -118
  46. data/vendor/crates/spikard-core/src/di/factory.rs +534 -538
  47. data/vendor/crates/spikard-core/src/di/graph.rs +506 -545
  48. data/vendor/crates/spikard-core/src/di/mod.rs +192 -192
  49. data/vendor/crates/spikard-core/src/di/resolved.rs +405 -411
  50. data/vendor/crates/spikard-core/src/di/value.rs +281 -283
  51. data/vendor/crates/spikard-core/src/errors.rs +69 -39
  52. data/vendor/crates/spikard-core/src/http.rs +415 -153
  53. data/vendor/crates/spikard-core/src/lib.rs +29 -29
  54. data/vendor/crates/spikard-core/src/lifecycle.rs +1186 -422
  55. data/vendor/crates/spikard-core/src/metadata.rs +389 -0
  56. data/vendor/crates/spikard-core/src/parameters.rs +2525 -722
  57. data/vendor/crates/spikard-core/src/problem.rs +344 -310
  58. data/vendor/crates/spikard-core/src/request_data.rs +1154 -189
  59. data/vendor/crates/spikard-core/src/router.rs +510 -249
  60. data/vendor/crates/spikard-core/src/schema_registry.rs +183 -183
  61. data/vendor/crates/spikard-core/src/type_hints.rs +304 -304
  62. data/vendor/crates/spikard-core/src/validation/error_mapper.rs +688 -0
  63. data/vendor/crates/spikard-core/src/{validation.rs → validation/mod.rs} +457 -699
  64. data/vendor/crates/spikard-http/Cargo.toml +64 -68
  65. data/vendor/crates/spikard-http/examples/sse-notifications.rs +148 -0
  66. data/vendor/crates/spikard-http/examples/websocket-chat.rs +92 -0
  67. data/vendor/crates/spikard-http/src/auth.rs +296 -247
  68. data/vendor/crates/spikard-http/src/background.rs +1860 -249
  69. data/vendor/crates/spikard-http/src/bindings/mod.rs +3 -3
  70. data/vendor/crates/spikard-http/src/bindings/response.rs +1 -1
  71. data/vendor/crates/spikard-http/src/body_metadata.rs +8 -8
  72. data/vendor/crates/spikard-http/src/cors.rs +1005 -490
  73. data/vendor/crates/spikard-http/src/debug.rs +128 -63
  74. data/vendor/crates/spikard-http/src/di_handler.rs +1668 -423
  75. data/vendor/crates/spikard-http/src/handler_response.rs +901 -190
  76. data/vendor/crates/spikard-http/src/handler_trait.rs +830 -228
  77. data/vendor/crates/spikard-http/src/handler_trait_tests.rs +290 -284
  78. data/vendor/crates/spikard-http/src/lib.rs +534 -529
  79. data/vendor/crates/spikard-http/src/lifecycle/adapter.rs +230 -149
  80. data/vendor/crates/spikard-http/src/lifecycle.rs +1193 -428
  81. data/vendor/crates/spikard-http/src/middleware/mod.rs +540 -285
  82. data/vendor/crates/spikard-http/src/middleware/multipart.rs +912 -86
  83. data/vendor/crates/spikard-http/src/middleware/urlencoded.rs +513 -147
  84. data/vendor/crates/spikard-http/src/middleware/validation.rs +735 -287
  85. data/vendor/crates/spikard-http/src/openapi/mod.rs +309 -309
  86. data/vendor/crates/spikard-http/src/openapi/parameter_extraction.rs +535 -190
  87. data/vendor/crates/spikard-http/src/openapi/schema_conversion.rs +1363 -308
  88. data/vendor/crates/spikard-http/src/openapi/spec_generation.rs +665 -195
  89. data/vendor/crates/spikard-http/src/query_parser.rs +793 -369
  90. data/vendor/crates/spikard-http/src/response.rs +720 -399
  91. data/vendor/crates/spikard-http/src/server/handler.rs +1650 -87
  92. data/vendor/crates/spikard-http/src/server/lifecycle_execution.rs +234 -98
  93. data/vendor/crates/spikard-http/src/server/mod.rs +1502 -805
  94. data/vendor/crates/spikard-http/src/server/request_extraction.rs +770 -119
  95. data/vendor/crates/spikard-http/src/server/routing_factory.rs +599 -0
  96. data/vendor/crates/spikard-http/src/sse.rs +1409 -447
  97. data/vendor/crates/spikard-http/src/testing/form.rs +52 -14
  98. data/vendor/crates/spikard-http/src/testing/multipart.rs +60 -60
  99. data/vendor/crates/spikard-http/src/testing/test_client.rs +283 -285
  100. data/vendor/crates/spikard-http/src/testing.rs +377 -377
  101. data/vendor/crates/spikard-http/src/websocket.rs +1375 -324
  102. data/vendor/crates/spikard-http/tests/background_behavior.rs +832 -0
  103. data/vendor/crates/spikard-http/tests/common/handlers.rs +309 -0
  104. data/vendor/crates/spikard-http/tests/common/mod.rs +26 -0
  105. data/vendor/crates/spikard-http/tests/di_integration.rs +192 -0
  106. data/vendor/crates/spikard-http/tests/doc_snippets.rs +5 -0
  107. data/vendor/crates/spikard-http/tests/lifecycle_execution.rs +1093 -0
  108. data/vendor/crates/spikard-http/tests/multipart_behavior.rs +656 -0
  109. data/vendor/crates/spikard-http/tests/server_config_builder.rs +314 -0
  110. data/vendor/crates/spikard-http/tests/sse_behavior.rs +620 -0
  111. data/vendor/crates/spikard-http/tests/websocket_behavior.rs +663 -0
  112. data/vendor/crates/spikard-rb/Cargo.toml +48 -42
  113. data/vendor/crates/spikard-rb/build.rs +199 -8
  114. data/vendor/crates/spikard-rb/src/background.rs +63 -63
  115. data/vendor/crates/spikard-rb/src/config/mod.rs +5 -0
  116. data/vendor/crates/spikard-rb/src/{config.rs → config/server_config.rs} +285 -294
  117. data/vendor/crates/spikard-rb/src/conversion.rs +554 -453
  118. data/vendor/crates/spikard-rb/src/di/builder.rs +100 -0
  119. data/vendor/crates/spikard-rb/src/{di.rs → di/mod.rs} +375 -409
  120. data/vendor/crates/spikard-rb/src/handler.rs +618 -625
  121. data/vendor/crates/spikard-rb/src/integration/mod.rs +3 -0
  122. data/vendor/crates/spikard-rb/src/lib.rs +1810 -2771
  123. data/vendor/crates/spikard-rb/src/lifecycle.rs +275 -274
  124. data/vendor/crates/spikard-rb/src/metadata/mod.rs +5 -0
  125. data/vendor/crates/spikard-rb/src/metadata/route_extraction.rs +447 -0
  126. data/vendor/crates/spikard-rb/src/runtime/mod.rs +5 -0
  127. data/vendor/crates/spikard-rb/src/runtime/server_runner.rs +324 -0
  128. data/vendor/crates/spikard-rb/src/server.rs +308 -283
  129. data/vendor/crates/spikard-rb/src/sse.rs +231 -231
  130. data/vendor/crates/spikard-rb/src/{test_client.rs → testing/client.rs} +551 -404
  131. data/vendor/crates/spikard-rb/src/testing/mod.rs +7 -0
  132. data/vendor/crates/spikard-rb/src/{test_sse.rs → testing/sse.rs} +143 -143
  133. data/vendor/crates/spikard-rb/src/testing/websocket.rs +635 -0
  134. data/vendor/crates/spikard-rb/src/websocket.rs +374 -233
  135. metadata +46 -13
  136. data/vendor/crates/spikard-http/src/parameters.rs +0 -1
  137. data/vendor/crates/spikard-http/src/problem.rs +0 -1
  138. data/vendor/crates/spikard-http/src/router.rs +0 -1
  139. data/vendor/crates/spikard-http/src/schema_registry.rs +0 -1
  140. data/vendor/crates/spikard-http/src/type_hints.rs +0 -1
  141. data/vendor/crates/spikard-http/src/validation.rs +0 -1
  142. data/vendor/crates/spikard-rb/src/test_websocket.rs +0 -221
@@ -1,310 +1,344 @@
1
- //! RFC 9457 Problem Details for HTTP APIs
2
- //!
3
- //! Implements the standard Problem Details format (RFC 9457, July 2023) for HTTP error responses.
4
- //! This replaces framework-specific error formats with the IETF standard.
5
- //!
6
- //! # References
7
- //! - [RFC 9457: Problem Details for HTTP APIs](https://www.rfc-editor.org/rfc/rfc9457.html)
8
- //! - [RFC 9110: HTTP Semantics](https://www.rfc-editor.org/rfc/rfc9110.html)
9
-
10
- use crate::validation::ValidationError;
11
- use http::StatusCode;
12
- use serde::Serialize;
13
- use serde_json::Value;
14
- use std::collections::HashMap;
15
-
16
- /// RFC 9457 Problem Details for HTTP APIs
17
- ///
18
- /// A machine-readable format for specifying errors in HTTP API responses.
19
- /// Per RFC 9457, all fields are optional. The `type` field defaults to "about:blank"
20
- /// if not specified.
21
- ///
22
- /// # Content-Type
23
- /// Responses using this struct should set:
24
- /// ```text
25
- /// Content-Type: application/problem+json
26
- /// ```
27
- ///
28
- /// # Example
29
- /// ```json
30
- /// {
31
- /// "type": "https://spikard.dev/errors/validation-error",
32
- /// "title": "Request Validation Failed",
33
- /// "status": 422,
34
- /// "detail": "2 validation errors in request body",
35
- /// "errors": [...]
36
- /// }
37
- /// ```
38
- #[derive(Debug, Clone, Serialize)]
39
- pub struct ProblemDetails {
40
- /// A URI reference that identifies the problem type.
41
- /// Defaults to "about:blank" when absent.
42
- /// Should be a stable, human-readable identifier for the problem type.
43
- #[serde(rename = "type")]
44
- pub type_uri: String,
45
-
46
- /// A short, human-readable summary of the problem type.
47
- /// Should not change from occurrence to occurrence of the problem.
48
- pub title: String,
49
-
50
- /// The HTTP status code generated by the origin server.
51
- /// This is advisory; the actual HTTP status code takes precedence.
52
- pub status: u16,
53
-
54
- /// A human-readable explanation specific to this occurrence of the problem.
55
- #[serde(skip_serializing_if = "Option::is_none")]
56
- pub detail: Option<String>,
57
-
58
- /// A URI reference that identifies the specific occurrence of the problem.
59
- /// It may or may not yield further information if dereferenced.
60
- #[serde(skip_serializing_if = "Option::is_none")]
61
- pub instance: Option<String>,
62
-
63
- /// Extension members - problem-type-specific data.
64
- /// For validation errors, this typically contains an "errors" array.
65
- #[serde(flatten, skip_serializing_if = "HashMap::is_empty")]
66
- pub extensions: HashMap<String, Value>,
67
- }
68
-
69
- impl ProblemDetails {
70
- /// Standard type URI for validation errors (422)
71
- pub const TYPE_VALIDATION_ERROR: &'static str = "https://spikard.dev/errors/validation-error";
72
-
73
- /// Standard type URI for not found errors (404)
74
- pub const TYPE_NOT_FOUND: &'static str = "https://spikard.dev/errors/not-found";
75
-
76
- /// Standard type URI for method not allowed (405)
77
- pub const TYPE_METHOD_NOT_ALLOWED: &'static str = "https://spikard.dev/errors/method-not-allowed";
78
-
79
- /// Standard type URI for internal server error (500)
80
- pub const TYPE_INTERNAL_SERVER_ERROR: &'static str = "https://spikard.dev/errors/internal-server-error";
81
-
82
- /// Standard type URI for bad request (400)
83
- pub const TYPE_BAD_REQUEST: &'static str = "https://spikard.dev/errors/bad-request";
84
-
85
- /// Create a new ProblemDetails with required fields
86
- pub fn new(type_uri: impl Into<String>, title: impl Into<String>, status: StatusCode) -> Self {
87
- Self {
88
- type_uri: type_uri.into(),
89
- title: title.into(),
90
- status: status.as_u16(),
91
- detail: None,
92
- instance: None,
93
- extensions: HashMap::new(),
94
- }
95
- }
96
-
97
- /// Set the detail field
98
- pub fn with_detail(mut self, detail: impl Into<String>) -> Self {
99
- self.detail = Some(detail.into());
100
- self
101
- }
102
-
103
- /// Set the instance field
104
- pub fn with_instance(mut self, instance: impl Into<String>) -> Self {
105
- self.instance = Some(instance.into());
106
- self
107
- }
108
-
109
- /// Add an extension field
110
- pub fn with_extension(mut self, key: impl Into<String>, value: Value) -> Self {
111
- self.extensions.insert(key.into(), value);
112
- self
113
- }
114
-
115
- /// Create a validation error Problem Details from ValidationError
116
- ///
117
- /// This converts the FastAPI-style validation errors to RFC 9457 format:
118
- /// - `type`: "https://spikard.dev/errors/validation-error"
119
- /// - `title`: "Request Validation Failed"
120
- /// - `status`: 422
121
- /// - `detail`: Summary of error count
122
- /// - `errors`: Array of validation error details (as extension field)
123
- pub fn from_validation_error(error: &ValidationError) -> Self {
124
- let error_count = error.errors.len();
125
- let detail = if error_count == 1 {
126
- "1 validation error in request".to_string()
127
- } else {
128
- format!("{} validation errors in request", error_count)
129
- };
130
-
131
- let errors_json = serde_json::to_value(&error.errors).unwrap_or_else(|_| serde_json::Value::Array(vec![]));
132
-
133
- Self::new(
134
- Self::TYPE_VALIDATION_ERROR,
135
- "Request Validation Failed",
136
- StatusCode::UNPROCESSABLE_ENTITY,
137
- )
138
- .with_detail(detail)
139
- .with_extension("errors", errors_json)
140
- }
141
-
142
- /// Create a not found error
143
- pub fn not_found(detail: impl Into<String>) -> Self {
144
- Self::new(Self::TYPE_NOT_FOUND, "Resource Not Found", StatusCode::NOT_FOUND).with_detail(detail)
145
- }
146
-
147
- /// Create a method not allowed error
148
- pub fn method_not_allowed(detail: impl Into<String>) -> Self {
149
- Self::new(
150
- Self::TYPE_METHOD_NOT_ALLOWED,
151
- "Method Not Allowed",
152
- StatusCode::METHOD_NOT_ALLOWED,
153
- )
154
- .with_detail(detail)
155
- }
156
-
157
- /// Create an internal server error
158
- pub fn internal_server_error(detail: impl Into<String>) -> Self {
159
- Self::new(
160
- Self::TYPE_INTERNAL_SERVER_ERROR,
161
- "Internal Server Error",
162
- StatusCode::INTERNAL_SERVER_ERROR,
163
- )
164
- .with_detail(detail)
165
- }
166
-
167
- /// Create an internal server error with debug information
168
- ///
169
- /// Includes exception details, traceback, and request data for debugging.
170
- /// Only use in development/debug mode.
171
- pub fn internal_server_error_debug(
172
- detail: impl Into<String>,
173
- exception: impl Into<String>,
174
- traceback: impl Into<String>,
175
- request_data: Value,
176
- ) -> Self {
177
- Self::new(
178
- Self::TYPE_INTERNAL_SERVER_ERROR,
179
- "Internal Server Error",
180
- StatusCode::INTERNAL_SERVER_ERROR,
181
- )
182
- .with_detail(detail)
183
- .with_extension("exception", Value::String(exception.into()))
184
- .with_extension("traceback", Value::String(traceback.into()))
185
- .with_extension("request_data", request_data)
186
- }
187
-
188
- /// Create a bad request error
189
- pub fn bad_request(detail: impl Into<String>) -> Self {
190
- Self::new(Self::TYPE_BAD_REQUEST, "Bad Request", StatusCode::BAD_REQUEST).with_detail(detail)
191
- }
192
-
193
- /// Get the HTTP status code
194
- pub fn status_code(&self) -> StatusCode {
195
- StatusCode::from_u16(self.status).unwrap_or(StatusCode::INTERNAL_SERVER_ERROR)
196
- }
197
-
198
- /// Serialize to JSON string
199
- pub fn to_json(&self) -> Result<String, serde_json::Error> {
200
- serde_json::to_string(self)
201
- }
202
-
203
- /// Serialize to pretty JSON string
204
- pub fn to_json_pretty(&self) -> Result<String, serde_json::Error> {
205
- serde_json::to_string_pretty(self)
206
- }
207
- }
208
-
209
- /// Content-Type for RFC 9457 Problem Details
210
- pub const CONTENT_TYPE_PROBLEM_JSON: &str = "application/problem+json; charset=utf-8";
211
-
212
- #[cfg(test)]
213
- mod tests {
214
- use super::*;
215
- use crate::validation::{ValidationError, ValidationErrorDetail};
216
- use serde_json::json;
217
-
218
- #[test]
219
- fn test_validation_error_conversion() {
220
- let validation_error = ValidationError {
221
- errors: vec![
222
- ValidationErrorDetail {
223
- error_type: "missing".to_string(),
224
- loc: vec!["body".to_string(), "username".to_string()],
225
- msg: "Field required".to_string(),
226
- input: Value::String("".to_string()),
227
- ctx: None,
228
- },
229
- ValidationErrorDetail {
230
- error_type: "string_too_short".to_string(),
231
- loc: vec!["body".to_string(), "password".to_string()],
232
- msg: "String should have at least 8 characters".to_string(),
233
- input: Value::String("pass".to_string()),
234
- ctx: Some(json!({"min_length": 8})),
235
- },
236
- ],
237
- };
238
-
239
- let problem = ProblemDetails::from_validation_error(&validation_error);
240
-
241
- assert_eq!(problem.type_uri, ProblemDetails::TYPE_VALIDATION_ERROR);
242
- assert_eq!(problem.title, "Request Validation Failed");
243
- assert_eq!(problem.status, 422);
244
- assert_eq!(problem.detail, Some("2 validation errors in request".to_string()));
245
-
246
- let errors = problem.extensions.get("errors").unwrap();
247
- assert!(errors.is_array());
248
- assert_eq!(errors.as_array().unwrap().len(), 2);
249
- }
250
-
251
- #[test]
252
- fn test_problem_details_serialization() {
253
- let problem = ProblemDetails::new(
254
- "https://example.com/probs/out-of-credit",
255
- "You do not have enough credit",
256
- StatusCode::FORBIDDEN,
257
- )
258
- .with_detail("Your current balance is 30, but that costs 50.")
259
- .with_instance("/account/12345/msgs/abc")
260
- .with_extension("balance", json!(30))
261
- .with_extension("accounts", json!(["/account/12345", "/account/67890"]));
262
-
263
- let json_str = problem.to_json_pretty().unwrap();
264
- let parsed: serde_json::Value = serde_json::from_str(&json_str).unwrap();
265
-
266
- assert_eq!(parsed["type"], "https://example.com/probs/out-of-credit");
267
- assert_eq!(parsed["title"], "You do not have enough credit");
268
- assert_eq!(parsed["status"], 403);
269
- assert_eq!(parsed["detail"], "Your current balance is 30, but that costs 50.");
270
- assert_eq!(parsed["instance"], "/account/12345/msgs/abc");
271
- assert_eq!(parsed["balance"], 30);
272
- }
273
-
274
- #[test]
275
- fn test_not_found_error() {
276
- let problem = ProblemDetails::not_found("No route matches GET /api/users/999");
277
-
278
- assert_eq!(problem.type_uri, ProblemDetails::TYPE_NOT_FOUND);
279
- assert_eq!(problem.title, "Resource Not Found");
280
- assert_eq!(problem.status, 404);
281
- assert_eq!(problem.detail, Some("No route matches GET /api/users/999".to_string()));
282
- }
283
-
284
- #[test]
285
- fn test_internal_server_error_debug() {
286
- let request_data = json!({
287
- "path_params": {},
288
- "query_params": {},
289
- "body": {"username": "test"}
290
- });
291
-
292
- let problem = ProblemDetails::internal_server_error_debug(
293
- "Python handler raised KeyError",
294
- "KeyError: 'username'",
295
- "Traceback (most recent call last):\n ...",
296
- request_data,
297
- );
298
-
299
- assert_eq!(problem.type_uri, ProblemDetails::TYPE_INTERNAL_SERVER_ERROR);
300
- assert_eq!(problem.status, 500);
301
- assert!(problem.extensions.contains_key("exception"));
302
- assert!(problem.extensions.contains_key("traceback"));
303
- assert!(problem.extensions.contains_key("request_data"));
304
- }
305
-
306
- #[test]
307
- fn test_content_type_constant() {
308
- assert_eq!(CONTENT_TYPE_PROBLEM_JSON, "application/problem+json; charset=utf-8");
309
- }
310
- }
1
+ //! RFC 9457 Problem Details for HTTP APIs
2
+ //!
3
+ //! Implements the standard Problem Details format (RFC 9457, July 2023) for HTTP error responses.
4
+ //! This replaces framework-specific error formats with the IETF standard.
5
+ //!
6
+ //! # References
7
+ //! - [RFC 9457: Problem Details for HTTP APIs](https://www.rfc-editor.org/rfc/rfc9457.html)
8
+ //! - [RFC 9110: HTTP Semantics](https://www.rfc-editor.org/rfc/rfc9110.html)
9
+
10
+ use crate::validation::ValidationError;
11
+ use http::StatusCode;
12
+ use serde::Serialize;
13
+ use serde_json::Value;
14
+ use std::collections::HashMap;
15
+
16
+ /// RFC 9457 Problem Details for HTTP APIs
17
+ ///
18
+ /// A machine-readable format for specifying errors in HTTP API responses.
19
+ /// Per RFC 9457, all fields are optional. The `type` field defaults to "about:blank"
20
+ /// if not specified.
21
+ ///
22
+ /// # Content-Type
23
+ /// Responses using this struct should set:
24
+ /// ```text
25
+ /// Content-Type: application/problem+json
26
+ /// ```
27
+ ///
28
+ /// # Example
29
+ /// ```json
30
+ /// {
31
+ /// "type": "https://spikard.dev/errors/validation-error",
32
+ /// "title": "Request Validation Failed",
33
+ /// "status": 422,
34
+ /// "detail": "2 validation errors in request body",
35
+ /// "errors": [...]
36
+ /// }
37
+ /// ```
38
+ #[derive(Debug, Clone, Serialize)]
39
+ pub struct ProblemDetails {
40
+ /// A URI reference that identifies the problem type.
41
+ /// Defaults to "about:blank" when absent.
42
+ /// Should be a stable, human-readable identifier for the problem type.
43
+ #[serde(rename = "type")]
44
+ pub type_uri: String,
45
+
46
+ /// A short, human-readable summary of the problem type.
47
+ /// Should not change from occurrence to occurrence of the problem.
48
+ pub title: String,
49
+
50
+ /// The HTTP status code generated by the origin server.
51
+ /// This is advisory; the actual HTTP status code takes precedence.
52
+ pub status: u16,
53
+
54
+ /// A human-readable explanation specific to this occurrence of the problem.
55
+ #[serde(skip_serializing_if = "Option::is_none")]
56
+ pub detail: Option<String>,
57
+
58
+ /// A URI reference that identifies the specific occurrence of the problem.
59
+ /// It may or may not yield further information if dereferenced.
60
+ #[serde(skip_serializing_if = "Option::is_none")]
61
+ pub instance: Option<String>,
62
+
63
+ /// Extension members - problem-type-specific data.
64
+ /// For validation errors, this typically contains an "errors" array.
65
+ #[serde(flatten, skip_serializing_if = "HashMap::is_empty")]
66
+ pub extensions: HashMap<String, Value>,
67
+ }
68
+
69
+ impl ProblemDetails {
70
+ /// Standard type URI for validation errors (422)
71
+ pub const TYPE_VALIDATION_ERROR: &'static str = "https://spikard.dev/errors/validation-error";
72
+
73
+ /// Standard type URI for not found errors (404)
74
+ pub const TYPE_NOT_FOUND: &'static str = "https://spikard.dev/errors/not-found";
75
+
76
+ /// Standard type URI for method not allowed (405)
77
+ pub const TYPE_METHOD_NOT_ALLOWED: &'static str = "https://spikard.dev/errors/method-not-allowed";
78
+
79
+ /// Standard type URI for internal server error (500)
80
+ pub const TYPE_INTERNAL_SERVER_ERROR: &'static str = "https://spikard.dev/errors/internal-server-error";
81
+
82
+ /// Standard type URI for bad request (400)
83
+ pub const TYPE_BAD_REQUEST: &'static str = "https://spikard.dev/errors/bad-request";
84
+
85
+ /// Create a new ProblemDetails with required fields
86
+ pub fn new(type_uri: impl Into<String>, title: impl Into<String>, status: StatusCode) -> Self {
87
+ Self {
88
+ type_uri: type_uri.into(),
89
+ title: title.into(),
90
+ status: status.as_u16(),
91
+ detail: None,
92
+ instance: None,
93
+ extensions: HashMap::new(),
94
+ }
95
+ }
96
+
97
+ /// Set the detail field
98
+ pub fn with_detail(mut self, detail: impl Into<String>) -> Self {
99
+ self.detail = Some(detail.into());
100
+ self
101
+ }
102
+
103
+ /// Set the instance field
104
+ pub fn with_instance(mut self, instance: impl Into<String>) -> Self {
105
+ self.instance = Some(instance.into());
106
+ self
107
+ }
108
+
109
+ /// Add an extension field
110
+ pub fn with_extension(mut self, key: impl Into<String>, value: Value) -> Self {
111
+ self.extensions.insert(key.into(), value);
112
+ self
113
+ }
114
+
115
+ /// Add all extensions from a JSON object
116
+ pub fn with_extensions(mut self, extensions: Value) -> Self {
117
+ if let Some(obj) = extensions.as_object() {
118
+ for (key, value) in obj {
119
+ self.extensions.insert(key.clone(), value.clone());
120
+ }
121
+ }
122
+ self
123
+ }
124
+
125
+ /// Create a validation error Problem Details from ValidationError
126
+ ///
127
+ /// This converts the FastAPI-style validation errors to RFC 9457 format:
128
+ /// - `type`: "https://spikard.dev/errors/validation-error"
129
+ /// - `title`: "Request Validation Failed"
130
+ /// - `status`: 422
131
+ /// - `detail`: Summary of error count
132
+ /// - `errors`: Array of validation error details (as extension field)
133
+ pub fn from_validation_error(error: &ValidationError) -> Self {
134
+ let error_count = error.errors.len();
135
+ let detail = if error_count == 1 {
136
+ "1 validation error in request".to_string()
137
+ } else {
138
+ format!("{} validation errors in request", error_count)
139
+ };
140
+
141
+ let errors_json = serde_json::to_value(&error.errors).unwrap_or_else(|_| serde_json::Value::Array(vec![]));
142
+
143
+ Self::new(
144
+ Self::TYPE_VALIDATION_ERROR,
145
+ "Request Validation Failed",
146
+ StatusCode::UNPROCESSABLE_ENTITY,
147
+ )
148
+ .with_detail(detail)
149
+ .with_extension("errors", errors_json)
150
+ }
151
+
152
+ /// Create a not found error
153
+ pub fn not_found(detail: impl Into<String>) -> Self {
154
+ Self::new(Self::TYPE_NOT_FOUND, "Resource Not Found", StatusCode::NOT_FOUND).with_detail(detail)
155
+ }
156
+
157
+ /// Create a method not allowed error
158
+ pub fn method_not_allowed(detail: impl Into<String>) -> Self {
159
+ Self::new(
160
+ Self::TYPE_METHOD_NOT_ALLOWED,
161
+ "Method Not Allowed",
162
+ StatusCode::METHOD_NOT_ALLOWED,
163
+ )
164
+ .with_detail(detail)
165
+ }
166
+
167
+ /// Create an internal server error
168
+ pub fn internal_server_error(detail: impl Into<String>) -> Self {
169
+ Self::new(
170
+ Self::TYPE_INTERNAL_SERVER_ERROR,
171
+ "Internal Server Error",
172
+ StatusCode::INTERNAL_SERVER_ERROR,
173
+ )
174
+ .with_detail(detail)
175
+ }
176
+
177
+ /// Create an internal server error with debug information
178
+ ///
179
+ /// Includes exception details, traceback, and request data for debugging.
180
+ /// Only use in development/debug mode.
181
+ pub fn internal_server_error_debug(
182
+ detail: impl Into<String>,
183
+ exception: impl Into<String>,
184
+ traceback: impl Into<String>,
185
+ request_data: Value,
186
+ ) -> Self {
187
+ Self::new(
188
+ Self::TYPE_INTERNAL_SERVER_ERROR,
189
+ "Internal Server Error",
190
+ StatusCode::INTERNAL_SERVER_ERROR,
191
+ )
192
+ .with_detail(detail)
193
+ .with_extension("exception", Value::String(exception.into()))
194
+ .with_extension("traceback", Value::String(traceback.into()))
195
+ .with_extension("request_data", request_data)
196
+ }
197
+
198
+ /// Create a bad request error
199
+ pub fn bad_request(detail: impl Into<String>) -> Self {
200
+ Self::new(Self::TYPE_BAD_REQUEST, "Bad Request", StatusCode::BAD_REQUEST).with_detail(detail)
201
+ }
202
+
203
+ /// Get the HTTP status code
204
+ pub fn status_code(&self) -> StatusCode {
205
+ StatusCode::from_u16(self.status).unwrap_or(StatusCode::INTERNAL_SERVER_ERROR)
206
+ }
207
+
208
+ /// Serialize to JSON string
209
+ pub fn to_json(&self) -> Result<String, serde_json::Error> {
210
+ serde_json::to_string(self)
211
+ }
212
+
213
+ /// Serialize to pretty JSON string
214
+ pub fn to_json_pretty(&self) -> Result<String, serde_json::Error> {
215
+ serde_json::to_string_pretty(self)
216
+ }
217
+ }
218
+
219
+ /// Content-Type for RFC 9457 Problem Details
220
+ pub const CONTENT_TYPE_PROBLEM_JSON: &str = "application/problem+json; charset=utf-8";
221
+
222
+ #[cfg(test)]
223
+ mod tests {
224
+ use super::*;
225
+ use crate::validation::{ValidationError, ValidationErrorDetail};
226
+ use serde_json::json;
227
+
228
+ #[test]
229
+ fn test_validation_error_conversion() {
230
+ let validation_error = ValidationError {
231
+ errors: vec![
232
+ ValidationErrorDetail {
233
+ error_type: "missing".to_string(),
234
+ loc: vec!["body".to_string(), "username".to_string()],
235
+ msg: "Field required".to_string(),
236
+ input: Value::String("".to_string()),
237
+ ctx: None,
238
+ },
239
+ ValidationErrorDetail {
240
+ error_type: "string_too_short".to_string(),
241
+ loc: vec!["body".to_string(), "password".to_string()],
242
+ msg: "String should have at least 8 characters".to_string(),
243
+ input: Value::String("pass".to_string()),
244
+ ctx: Some(json!({"min_length": 8})),
245
+ },
246
+ ],
247
+ };
248
+
249
+ let problem = ProblemDetails::from_validation_error(&validation_error);
250
+
251
+ assert_eq!(problem.type_uri, ProblemDetails::TYPE_VALIDATION_ERROR);
252
+ assert_eq!(problem.title, "Request Validation Failed");
253
+ assert_eq!(problem.status, 422);
254
+ assert_eq!(problem.detail, Some("2 validation errors in request".to_string()));
255
+
256
+ let errors = problem.extensions.get("errors").unwrap();
257
+ assert!(errors.is_array());
258
+ assert_eq!(errors.as_array().unwrap().len(), 2);
259
+ }
260
+
261
+ #[test]
262
+ fn test_problem_details_serialization() {
263
+ let problem = ProblemDetails::new(
264
+ "https://example.com/probs/out-of-credit",
265
+ "You do not have enough credit",
266
+ StatusCode::FORBIDDEN,
267
+ )
268
+ .with_detail("Your current balance is 30, but that costs 50.")
269
+ .with_instance("/account/12345/msgs/abc")
270
+ .with_extension("balance", json!(30))
271
+ .with_extension("accounts", json!(["/account/12345", "/account/67890"]));
272
+
273
+ let json_str = problem.to_json_pretty().unwrap();
274
+ let parsed: serde_json::Value = serde_json::from_str(&json_str).unwrap();
275
+
276
+ assert_eq!(parsed["type"], "https://example.com/probs/out-of-credit");
277
+ assert_eq!(parsed["title"], "You do not have enough credit");
278
+ assert_eq!(parsed["status"], 403);
279
+ assert_eq!(parsed["detail"], "Your current balance is 30, but that costs 50.");
280
+ assert_eq!(parsed["instance"], "/account/12345/msgs/abc");
281
+ assert_eq!(parsed["balance"], 30);
282
+ }
283
+
284
+ #[test]
285
+ fn test_not_found_error() {
286
+ let problem = ProblemDetails::not_found("No route matches GET /api/users/999");
287
+
288
+ assert_eq!(problem.type_uri, ProblemDetails::TYPE_NOT_FOUND);
289
+ assert_eq!(problem.title, "Resource Not Found");
290
+ assert_eq!(problem.status, 404);
291
+ assert_eq!(problem.detail, Some("No route matches GET /api/users/999".to_string()));
292
+ }
293
+
294
+ #[test]
295
+ fn test_internal_server_error_debug() {
296
+ let request_data = json!({
297
+ "path_params": {},
298
+ "query_params": {},
299
+ "body": {"username": "test"}
300
+ });
301
+
302
+ let problem = ProblemDetails::internal_server_error_debug(
303
+ "Python handler raised KeyError",
304
+ "KeyError: 'username'",
305
+ "Traceback (most recent call last):\n ...",
306
+ request_data,
307
+ );
308
+
309
+ assert_eq!(problem.type_uri, ProblemDetails::TYPE_INTERNAL_SERVER_ERROR);
310
+ assert_eq!(problem.status, 500);
311
+ assert!(problem.extensions.contains_key("exception"));
312
+ assert!(problem.extensions.contains_key("traceback"));
313
+ assert!(problem.extensions.contains_key("request_data"));
314
+ }
315
+
316
+ #[test]
317
+ fn test_validation_error_conversion_single_error_uses_singular_detail() {
318
+ let validation_error = ValidationError {
319
+ errors: vec![ValidationErrorDetail {
320
+ error_type: "missing".to_string(),
321
+ loc: vec!["query".to_string(), "id".to_string()],
322
+ msg: "Field required".to_string(),
323
+ input: Value::Null,
324
+ ctx: None,
325
+ }],
326
+ };
327
+
328
+ let problem = ProblemDetails::from_validation_error(&validation_error);
329
+ assert_eq!(problem.status, 422);
330
+ assert_eq!(problem.detail, Some("1 validation error in request".to_string()));
331
+ }
332
+
333
+ #[test]
334
+ fn test_with_extensions_ignores_non_object_values() {
335
+ let problem =
336
+ ProblemDetails::new("about:blank", "Test", StatusCode::BAD_REQUEST).with_extensions(Value::Bool(true));
337
+ assert!(problem.extensions.is_empty());
338
+ }
339
+
340
+ #[test]
341
+ fn test_content_type_constant() {
342
+ assert_eq!(CONTENT_TYPE_PROBLEM_JSON, "application/problem+json; charset=utf-8");
343
+ }
344
+ }