proven 0.9.0

Safe, formally verified library for math, crypto, parsing, validation, and ML - Rust bindings
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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

// SPDX-License-Identifier: AGPL-3.0-or-later
// SPDX-FileCopyrightText: 2025 Hyperpolymath
//! # Proven - Safe, Formally Verified Library
//!
//! Rust bindings for the proven library, providing formally verified
//! implementations for safe math, cryptography, parsing, and validation.
//! Calls Idris 2 verified code via Zig ABI.
//!
//! ## Features
//!
//! - **Safe Math**: Overflow detection, safe division, bounded integers
//! - **Safe Strings**: UTF-8 validation, injection-safe escaping
//! - **Safe JSON**: Exception-free parsing with type-safe access
//! - **Safe URLs**: RFC 3986 compliant parsing
//! - **Safe Email**: RFC 5321/5322 validation
//! - **Safe Paths**: Traversal prevention, glob matching
//! - **Safe Crypto**: Secure hashing, HMAC, random generation (stubs)
//! - **Safe Passwords**: Policy validation, strength analysis
//! - **Safe DateTime**: ISO 8601 parsing, timezone handling
//! - **Safe Network**: IPv4/IPv6 parsing, CIDR, ports
//! - **Safe UUID**: RFC 4122 UUID generation and validation
//! - **Safe Currency**: Type-safe monetary values with ISO 4217 codes
//! - **Safe Phone**: E.164 phone number parsing and formatting
//! - **Safe Hex**: Hexadecimal encoding and decoding
//! - **Safe Header**: HTTP header validation, CRLF injection prevention (v0.8.0)
//! - **Safe Cookie**: HTTP cookie validation, injection prevention (v0.8.0)
//! - **Safe ContentType**: MIME type validation, sniffing prevention (v0.8.0)
//! - **Safe Float**: NaN/Infinity prevention, safe division for f32/f64 (v0.9.0)
//! - **Safe Tensor**: Bounds-checked vector/matrix ops, shape validation (v0.9.0)
//! - **Safe ML**: Numerically stable softmax, loss functions, activations (v0.9.0)
//!
//! ## Example
//!
//! ```rust
//! use proven::{SafeMath, SafeString, Result};
//!
//! // Safe addition with overflow detection
//! let result = SafeMath::add(i64::MAX, 1);
//! assert!(result.is_err());
//!
//! // Safe HTML escaping
//! let escaped = SafeString::escape_html("<script>alert('xss')</script>");
//! assert!(!escaped.contains('<'));
//! ```

#![forbid(unsafe_code)]
#![warn(missing_docs)]
#![cfg_attr(docsrs, feature(doc_cfg))]

pub mod core;
pub mod safe_content_type;
pub mod safe_cookie;
pub mod safe_crypto;
pub mod safe_currency;
pub mod safe_datetime;
pub mod safe_email;
pub mod safe_float;
pub mod safe_header;
pub mod safe_hex;
pub mod safe_json;
pub mod safe_math;
pub mod safe_ml;
pub mod safe_network;
pub mod safe_password;
pub mod safe_path;
pub mod safe_phone;
pub mod safe_string;
pub mod safe_tensor;
pub mod safe_url;
pub mod safe_uuid;

// Re-exports for convenience
pub use crate::core::{Bounded, Error, NonEmpty, Result};
pub use safe_content_type::{ContentType, MediaCategory, SafeContentType};
pub use safe_cookie::{Cookie, CookieAttributes, CookiePrefix, SafeCookie, SameSite};
pub use safe_crypto::SafeCrypto;
pub use safe_currency::{CurrencyCode, Money, SafeCurrency};
pub use safe_datetime::SafeDateTime;
pub use safe_email::SafeEmail;
pub use safe_header::{Header, SafeHeader};
pub use safe_hex::SafeHex;
pub use safe_json::SafeJson;
pub use safe_math::SafeMath;
pub use safe_network::SafeNetwork;
pub use safe_password::SafePassword;
pub use safe_path::SafePath;
pub use safe_phone::{PhoneNumber, SafePhone};
pub use safe_string::SafeString;
pub use safe_url::SafeUrl;
pub use safe_uuid::{SafeUuid, Uuid};
// ML and numerical computing modules (v0.9.0)
pub use safe_float::SafeFloat;
pub use safe_ml::SafeML;
pub use safe_tensor::SafeTensor;

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_safe_add_overflow() {
        let result = SafeMath::add(i64::MAX, 1);
        assert!(result.is_err());
    }

    #[test]
    fn test_safe_add_normal() {
        let result = SafeMath::add(1, 2);
        assert_eq!(result.unwrap(), 3);
    }

    #[test]
    fn test_safe_div_by_zero() {
        let result = SafeMath::div(10, 0);
        assert!(result.is_err());
    }

    #[test]
    fn test_html_escape() {
        let escaped = SafeString::escape_html("<script>");
        assert_eq!(escaped, "&lt;script&gt;");
    }

    #[test]
    fn test_sql_escape() {
        let escaped = SafeString::escape_sql("O'Brien");
        assert_eq!(escaped, "O''Brien");
    }
}