icydb_core/error/mod.rs
1//! Module: error
2//!
3//! Responsibility: module-local ownership and contracts for error.
4//! Does not own: cross-module orchestration outside this module.
5//! Boundary: exposes this module API while keeping implementation details internal.
6
7#[cfg(test)]
8mod tests;
9
10use crate::patch::MergePatchError;
11use std::fmt;
12use thiserror::Error as ThisError;
13
14// ============================================================================
15// INTERNAL ERROR TAXONOMY — ARCHITECTURAL CONTRACT
16// ============================================================================
17//
18// This file defines the canonical runtime error classification system for
19// icydb-core. It is the single source of truth for:
20//
21// • ErrorClass (semantic domain)
22// • ErrorOrigin (subsystem boundary)
23// • Structured detail payloads
24// • Canonical constructor entry points
25//
26// -----------------------------------------------------------------------------
27// DESIGN INTENT
28// -----------------------------------------------------------------------------
29//
30// 1. InternalError is a *taxonomy carrier*, not a formatting utility.
31//
32// - ErrorClass represents semantic meaning (corruption, invariant_violation,
33// unsupported, etc).
34// - ErrorOrigin represents the subsystem boundary (store, index, query,
35// executor, serialize, interface, etc).
36// - The (class, origin) pair must remain stable and intentional.
37//
38// 2. Call sites MUST prefer canonical constructors.
39//
40// Do NOT construct errors manually via:
41// InternalError::new(class, origin, ...)
42// unless you are defining a new canonical helper here.
43//
44// If a pattern appears more than once, centralize it here.
45//
46// 3. Constructors in this file must represent real architectural boundaries.
47//
48// Add a new helper ONLY if it:
49//
50// • Encodes a cross-cutting invariant,
51// • Represents a subsystem boundary,
52// • Or prevents taxonomy drift across call sites.
53//
54// Do NOT add feature-specific helpers.
55// Do NOT add one-off formatting helpers.
56// Do NOT turn this file into a generic message factory.
57//
58// 4. ErrorDetail must align with ErrorOrigin.
59//
60// If detail is present, it MUST correspond to the origin.
61// Do not attach mismatched detail variants.
62//
63// 5. Plan-layer errors are NOT runtime failures.
64//
65// PlanError and CursorPlanError must be translated into
66// executor/query invariants via the canonical mapping functions.
67// Do not leak plan-layer error types across execution boundaries.
68//
69// 6. Preserve taxonomy stability.
70//
71// Do NOT:
72// • Merge error classes.
73// • Reclassify corruption as internal.
74// • Downgrade invariant violations.
75// • Introduce ambiguous class/origin combinations.
76//
77// Any change to ErrorClass or ErrorOrigin is an architectural change
78// and must be reviewed accordingly.
79//
80// -----------------------------------------------------------------------------
81// NON-GOALS
82// -----------------------------------------------------------------------------
83//
84// This is NOT:
85//
86// • A public API contract.
87// • A generic error abstraction layer.
88// • A feature-specific message builder.
89// • A dumping ground for temporary error conversions.
90//
91// -----------------------------------------------------------------------------
92// MAINTENANCE GUIDELINES
93// -----------------------------------------------------------------------------
94//
95// When modifying this file:
96//
97// 1. Ensure classification semantics remain consistent.
98// 2. Avoid constructor proliferation.
99// 3. Prefer narrow, origin-specific helpers over ad-hoc new(...).
100// 4. Keep formatting minimal and standardized.
101// 5. Keep this file boring and stable.
102//
103// If this file grows rapidly, something is wrong at the call sites.
104//
105// ============================================================================
106
107///
108/// InternalError
109///
110/// Structured runtime error with a stable internal classification.
111/// Not a stable API; intended for internal use and may change without notice.
112///
113
114#[derive(Debug, ThisError)]
115#[error("{message}")]
116pub struct InternalError {
117 pub(crate) class: ErrorClass,
118 pub(crate) origin: ErrorOrigin,
119 pub(crate) message: String,
120
121 /// Optional structured error detail.
122 /// The variant (if present) must correspond to `origin`.
123 pub(crate) detail: Option<ErrorDetail>,
124}
125
126impl InternalError {
127 /// Construct an InternalError with optional origin-specific detail.
128 /// This constructor provides default StoreError details for certain
129 /// (class, origin) combinations but does not guarantee a detail payload.
130 pub fn new(class: ErrorClass, origin: ErrorOrigin, message: impl Into<String>) -> Self {
131 let message = message.into();
132
133 let detail = match (class, origin) {
134 (ErrorClass::Corruption, ErrorOrigin::Store) => {
135 Some(ErrorDetail::Store(StoreError::Corrupt {
136 message: message.clone(),
137 }))
138 }
139 (ErrorClass::InvariantViolation, ErrorOrigin::Store) => {
140 Some(ErrorDetail::Store(StoreError::InvariantViolation {
141 message: message.clone(),
142 }))
143 }
144 _ => None,
145 };
146
147 Self {
148 class,
149 origin,
150 message,
151 detail,
152 }
153 }
154
155 /// Return the internal error class taxonomy.
156 #[must_use]
157 pub const fn class(&self) -> ErrorClass {
158 self.class
159 }
160
161 /// Return the internal error origin taxonomy.
162 #[must_use]
163 pub const fn origin(&self) -> ErrorOrigin {
164 self.origin
165 }
166
167 /// Return the rendered internal error message.
168 #[must_use]
169 pub fn message(&self) -> &str {
170 &self.message
171 }
172
173 /// Return the optional structured detail payload.
174 #[must_use]
175 pub const fn detail(&self) -> Option<&ErrorDetail> {
176 self.detail.as_ref()
177 }
178
179 /// Consume and return the rendered internal error message.
180 #[must_use]
181 pub fn into_message(self) -> String {
182 self.message
183 }
184
185 /// Construct an error while preserving an explicit class/origin taxonomy pair.
186 pub(crate) fn classified(
187 class: ErrorClass,
188 origin: ErrorOrigin,
189 message: impl Into<String>,
190 ) -> Self {
191 Self::new(class, origin, message)
192 }
193
194 /// Rebuild this error with a new message while preserving class/origin taxonomy.
195 pub(crate) fn with_message(self, message: impl Into<String>) -> Self {
196 Self::classified(self.class, self.origin, message)
197 }
198
199 /// Rebuild this error with a new origin while preserving class/message.
200 ///
201 /// Origin-scoped detail payloads are intentionally dropped when re-origining.
202 pub(crate) fn with_origin(self, origin: ErrorOrigin) -> Self {
203 Self::classified(self.class, origin, self.message)
204 }
205
206 /// Construct an index-origin invariant violation.
207 pub(crate) fn index_invariant(message: impl Into<String>) -> Self {
208 Self::new(
209 ErrorClass::InvariantViolation,
210 ErrorOrigin::Index,
211 message.into(),
212 )
213 }
214
215 /// Construct a store-origin invariant violation.
216 pub(crate) fn store_invariant(message: impl Into<String>) -> Self {
217 Self::new(
218 ErrorClass::InvariantViolation,
219 ErrorOrigin::Store,
220 message.into(),
221 )
222 }
223
224 /// Construct a store-origin internal error.
225 pub(crate) fn store_internal(message: impl Into<String>) -> Self {
226 Self::new(ErrorClass::Internal, ErrorOrigin::Store, message.into())
227 }
228
229 /// Construct an index-origin internal error.
230 pub(crate) fn index_internal(message: impl Into<String>) -> Self {
231 Self::new(ErrorClass::Internal, ErrorOrigin::Index, message.into())
232 }
233
234 /// Construct a query-origin internal error.
235 #[cfg(test)]
236 pub(crate) fn query_internal(message: impl Into<String>) -> Self {
237 Self::new(ErrorClass::Internal, ErrorOrigin::Query, message.into())
238 }
239
240 /// Construct a serialize-origin internal error.
241 pub(crate) fn serialize_internal(message: impl Into<String>) -> Self {
242 Self::new(ErrorClass::Internal, ErrorOrigin::Serialize, message.into())
243 }
244
245 /// Construct a store-origin corruption error.
246 pub(crate) fn store_corruption(message: impl Into<String>) -> Self {
247 Self::new(ErrorClass::Corruption, ErrorOrigin::Store, message.into())
248 }
249
250 /// Construct an index-origin corruption error.
251 pub(crate) fn index_corruption(message: impl Into<String>) -> Self {
252 Self::new(ErrorClass::Corruption, ErrorOrigin::Index, message.into())
253 }
254
255 /// Construct a serialize-origin corruption error.
256 pub(crate) fn serialize_corruption(message: impl Into<String>) -> Self {
257 Self::new(
258 ErrorClass::Corruption,
259 ErrorOrigin::Serialize,
260 message.into(),
261 )
262 }
263
264 /// Construct an identity-origin corruption error.
265 pub(crate) fn identity_corruption(message: impl Into<String>) -> Self {
266 Self::new(
267 ErrorClass::Corruption,
268 ErrorOrigin::Identity,
269 message.into(),
270 )
271 }
272
273 /// Construct a store-origin unsupported error.
274 pub(crate) fn store_unsupported(message: impl Into<String>) -> Self {
275 Self::new(ErrorClass::Unsupported, ErrorOrigin::Store, message.into())
276 }
277
278 /// Construct an index-origin unsupported error.
279 pub(crate) fn index_unsupported(message: impl Into<String>) -> Self {
280 Self::new(ErrorClass::Unsupported, ErrorOrigin::Index, message.into())
281 }
282
283 /// Construct a serialize-origin unsupported error.
284 pub(crate) fn serialize_unsupported(message: impl Into<String>) -> Self {
285 Self::new(
286 ErrorClass::Unsupported,
287 ErrorOrigin::Serialize,
288 message.into(),
289 )
290 }
291
292 /// Construct a cursor-origin unsupported error.
293 pub(crate) fn cursor_unsupported(message: impl Into<String>) -> Self {
294 Self::new(ErrorClass::Unsupported, ErrorOrigin::Cursor, message.into())
295 }
296
297 pub fn store_not_found(key: impl Into<String>) -> Self {
298 let key = key.into();
299
300 Self {
301 class: ErrorClass::NotFound,
302 origin: ErrorOrigin::Store,
303 message: format!("data key not found: {key}"),
304 detail: Some(ErrorDetail::Store(StoreError::NotFound { key })),
305 }
306 }
307
308 /// Construct a standardized unsupported-entity-path error.
309 pub fn unsupported_entity_path(path: impl Into<String>) -> Self {
310 let path = path.into();
311
312 Self::new(
313 ErrorClass::Unsupported,
314 ErrorOrigin::Store,
315 format!("unsupported entity path: '{path}'"),
316 )
317 }
318
319 #[must_use]
320 pub const fn is_not_found(&self) -> bool {
321 matches!(
322 self.detail,
323 Some(ErrorDetail::Store(StoreError::NotFound { .. }))
324 )
325 }
326
327 #[must_use]
328 pub fn display_with_class(&self) -> String {
329 format!("{}:{}: {}", self.origin, self.class, self.message)
330 }
331
332 /// Construct an index-plan corruption error with a canonical prefix.
333 pub(crate) fn index_plan_corruption(origin: ErrorOrigin, message: impl Into<String>) -> Self {
334 let message = message.into();
335 Self::new(
336 ErrorClass::Corruption,
337 origin,
338 format!("corruption detected ({origin}): {message}"),
339 )
340 }
341
342 /// Construct an index-plan corruption error for index-origin failures.
343 pub(crate) fn index_plan_index_corruption(message: impl Into<String>) -> Self {
344 Self::index_plan_corruption(ErrorOrigin::Index, message)
345 }
346
347 /// Construct an index-plan corruption error for store-origin failures.
348 pub(crate) fn index_plan_store_corruption(message: impl Into<String>) -> Self {
349 Self::index_plan_corruption(ErrorOrigin::Store, message)
350 }
351
352 /// Construct an index-plan corruption error for serialize-origin failures.
353 pub(crate) fn index_plan_serialize_corruption(message: impl Into<String>) -> Self {
354 Self::index_plan_corruption(ErrorOrigin::Serialize, message)
355 }
356
357 /// Construct an index-plan invariant violation error with a canonical prefix.
358 pub(crate) fn index_plan_invariant(origin: ErrorOrigin, message: impl Into<String>) -> Self {
359 let message = message.into();
360 Self::new(
361 ErrorClass::InvariantViolation,
362 origin,
363 format!("invariant violation detected ({origin}): {message}"),
364 )
365 }
366
367 /// Construct an index-plan invariant violation error for store-origin failures.
368 pub(crate) fn index_plan_store_invariant(message: impl Into<String>) -> Self {
369 Self::index_plan_invariant(ErrorOrigin::Store, message)
370 }
371
372 /// Construct an index uniqueness violation conflict error.
373 pub(crate) fn index_violation(path: &str, index_fields: &[&str]) -> Self {
374 Self::new(
375 ErrorClass::Conflict,
376 ErrorOrigin::Index,
377 format!(
378 "index constraint violation: {path} ({})",
379 index_fields.join(", ")
380 ),
381 )
382 }
383}
384
385///
386/// ErrorDetail
387///
388/// Structured, origin-specific error detail carried by [`InternalError`].
389/// This enum is intentionally extensible.
390///
391
392#[derive(Debug, ThisError)]
393pub enum ErrorDetail {
394 #[error("{0}")]
395 Store(StoreError),
396 #[error("{0}")]
397 ViewPatch(crate::patch::MergePatchError),
398 // Future-proofing:
399 // #[error("{0}")]
400 // Index(IndexError),
401 //
402 // #[error("{0}")]
403 // Query(QueryErrorDetail),
404 //
405 // #[error("{0}")]
406 // Executor(ExecutorErrorDetail),
407}
408
409impl From<MergePatchError> for InternalError {
410 fn from(err: MergePatchError) -> Self {
411 Self {
412 class: ErrorClass::Unsupported,
413 origin: ErrorOrigin::Interface,
414 message: err.to_string(),
415 detail: Some(ErrorDetail::ViewPatch(err)),
416 }
417 }
418}
419
420///
421/// StoreError
422///
423/// Store-specific structured error detail.
424/// Never returned directly; always wrapped in [`ErrorDetail::Store`].
425///
426
427#[derive(Debug, ThisError)]
428pub enum StoreError {
429 #[error("key not found: {key}")]
430 NotFound { key: String },
431
432 #[error("store corruption: {message}")]
433 Corrupt { message: String },
434
435 #[error("store invariant violation: {message}")]
436 InvariantViolation { message: String },
437}
438
439///
440/// ErrorClass
441/// Internal error taxonomy for runtime classification.
442/// Not a stable API; may change without notice.
443///
444
445#[derive(Clone, Copy, Debug, Eq, PartialEq)]
446pub enum ErrorClass {
447 Corruption,
448 NotFound,
449 Internal,
450 Conflict,
451 Unsupported,
452 InvariantViolation,
453}
454
455impl fmt::Display for ErrorClass {
456 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
457 let label = match self {
458 Self::Corruption => "corruption",
459 Self::NotFound => "not_found",
460 Self::Internal => "internal",
461 Self::Conflict => "conflict",
462 Self::Unsupported => "unsupported",
463 Self::InvariantViolation => "invariant_violation",
464 };
465 write!(f, "{label}")
466 }
467}
468
469///
470/// ErrorOrigin
471/// Internal origin taxonomy for runtime classification.
472/// Not a stable API; may change without notice.
473///
474
475#[derive(Clone, Copy, Debug, Eq, PartialEq)]
476pub enum ErrorOrigin {
477 Serialize,
478 Store,
479 Index,
480 Identity,
481 Query,
482 Planner,
483 Cursor,
484 Recovery,
485 Response,
486 Executor,
487 Interface,
488}
489
490impl fmt::Display for ErrorOrigin {
491 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
492 let label = match self {
493 Self::Serialize => "serialize",
494 Self::Store => "store",
495 Self::Index => "index",
496 Self::Identity => "identity",
497 Self::Query => "query",
498 Self::Planner => "planner",
499 Self::Cursor => "cursor",
500 Self::Recovery => "recovery",
501 Self::Response => "response",
502 Self::Executor => "executor",
503 Self::Interface => "interface",
504 };
505 write!(f, "{label}")
506 }
507}