agentbible 0.1.0

Language-agnostic correctness checker for scientific numerical code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

pub mod check;
pub mod provenance;
pub mod types;

use thiserror::Error;

pub const SPEC_VERSION: &str = "1.0";

#[derive(Debug, Error, Clone)]
pub enum AgentBibleError {
    #[error("value must be finite")]
    NonFinite,
    #[error("value must be strictly positive")]
    NotPositive,
    #[error("value must be in [0, 1]")]
    InvalidProbability,
    #[error("L1 sum must be within tolerance of 1")]
    NotNormalized,
    #[error("matrix is not unitary")]
    NotUnitary,
    #[error("matrix is not positive definite")]
    NotPositiveDefinite,
}