agent-spec 0.3.0

AI-native BDD/Spec verification tool for contract-driven agent coding
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

use super::Span;

/// Unified error type for rua-spec.
#[derive(Debug, thiserror::Error)]
pub enum SpecError {
    #[error("parse error at line {}: {message}", span.start_line)]
    Parse { message: String, span: Span },

    #[error("invalid front-matter: {0}")]
    FrontMatter(String),

    #[error("inheritance error: spec '{name}' not found")]
    InheritanceNotFound { name: String },

    #[error("circular inheritance detected: {chain}")]
    CircularInheritance { chain: String },

    #[error("io error: {0}")]
    Io(#[from] std::io::Error),

    #[error("verification error: {0}")]
    Verification(String),
}

pub type SpecResult<T> = Result<T, SpecError>;