neuron-types 0.3.0

Core traits for AI agents in Rust — Provider, Tool, and ContextStrategy without the framework buy-in
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

//! Property-based tests: error classification consistency.

use neuron_types::*;
use proptest::prelude::*;
use std::time::Duration;

fn arb_provider_error() -> impl Strategy<Value = ProviderError> {
    prop_oneof![
        any::<String>().prop_map(ProviderError::Authentication),
        proptest::option::of(0u64..3600).prop_map(|secs| ProviderError::RateLimit {
            retry_after: secs.map(Duration::from_secs),
        }),
        any::<String>().prop_map(ProviderError::InvalidRequest),
        any::<String>().prop_map(ProviderError::ModelNotFound),
        any::<String>().prop_map(ProviderError::ServiceUnavailable),
        any::<String>().prop_map(ProviderError::ModelLoading),
        any::<String>().prop_map(ProviderError::InsufficientResources),
        any::<String>().prop_map(ProviderError::StreamError),
    ]
}

fn arb_embedding_error() -> impl Strategy<Value = EmbeddingError> {
    prop_oneof![
        any::<String>().prop_map(EmbeddingError::Authentication),
        proptest::option::of(0u64..3600).prop_map(|secs| EmbeddingError::RateLimit {
            retry_after: secs.map(Duration::from_secs),
        }),
        any::<String>().prop_map(EmbeddingError::InvalidRequest),
    ]
}

proptest! {
    #[test]
    fn provider_error_retryable_classification(err in arb_provider_error()) {
        let retryable = err.is_retryable();
        match &err {
            ProviderError::RateLimit { .. } => prop_assert!(retryable),
            ProviderError::ServiceUnavailable(_) => prop_assert!(retryable),
            ProviderError::Authentication(_) => prop_assert!(!retryable),
            ProviderError::InvalidRequest(_) => prop_assert!(!retryable),
            ProviderError::ModelNotFound(_) => prop_assert!(!retryable),
            _ => {} // Other variants — just check it doesn't panic
        }
    }

    #[test]
    fn embedding_error_retryable_classification(err in arb_embedding_error()) {
        let retryable = err.is_retryable();
        match &err {
            EmbeddingError::RateLimit { .. } => prop_assert!(retryable),
            EmbeddingError::Authentication(_) => prop_assert!(!retryable),
            EmbeddingError::InvalidRequest(_) => prop_assert!(!retryable),
            _ => {}
        }
    }
}