Skip to main content

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}