kizzasi-logic 0.2.1

TensorLogic bridge for Kizzasi - constraint enforcement and safety guardrails
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

//! Error types for kizzasi-logic

use thiserror::Error;

/// Result type alias for logic operations
pub type LogicResult<T> = Result<T, LogicError>;

/// Errors that can occur in the logic module
#[derive(Error, Debug)]
pub enum LogicError {
    #[error("Invalid constraint: {0}")]
    InvalidConstraint(String),

    #[error("Constraint violation: {constraint} - value {value} violates {bound}")]
    ConstraintViolation {
        constraint: String,
        value: f32,
        bound: String,
    },

    #[error("Projection failed: {0}")]
    ProjectionFailed(String),

    #[error("Dimension mismatch: expected {expected}, got {got}")]
    DimensionMismatch { expected: usize, got: usize },

    #[error("Invalid input: {0}")]
    InvalidInput(String),

    #[error("Infeasible constraint: {0}")]
    InfeasibleConstraint(String),

    #[error("Core error: {0}")]
    CoreError(#[from] kizzasi_core::CoreError),
}