entropy_conservation/
lib.rs

1//! # Entropy Conservation
2//!
3//! Core mathematical framework implementing the Conservation of Verification Entropy —
4//! the meta-law discovered across all PLATO/SuperInstance experiments.
5//!
6//! **Principle:** Every closed system of verification (tests, proofs, type checks)
7//! has a conserved quantity H — the verification entropy.
8//!
9//! H = -Σ pᵢ log pᵢ, where pᵢ is the probability that verification path i is exercised.
10//!
11//! **Conservation law:** dH/dt ≤ 0 (entropy never increases in a well-structured system).
12
13pub mod conservation;
14pub mod entropy;
15pub mod flow;
16pub mod gradient;
17pub mod hodge;
18pub mod persistence;
19pub mod spectrum;
20
21pub use conservation::{ConservationReport, EntropyViolation};
22pub use entropy::{VerificationEntropy};
23pub use flow::{EntropyFlow, ModuleId};
24pub use gradient::{GradientSuggestion, GradientDescent};
25pub use hodge::HodgeDecomposition;
26pub use persistence::PersistenceDiagram;
27pub use spectrum::SpectralAnalysis;
28
29/// Error type for entropy-conservation operations.
30#[derive(Debug, thiserror::Error)]
31pub enum EntropyError {
32    #[error("invalid probability distribution: probabilities must sum to 1.0, got {0}")]
33    InvalidDistribution(f64),
34    #[error("negative probability encountered: {0}")]
35    NegativeProbability(f64),
36    #[error("empty probability vector")]
37    EmptyVector,
38    #[error("singular matrix: {0}")]
39    SingularMatrix(String),
40    #[error("invalid Rényi order α: must be positive and ≠ 1 for Rényi, got {0}")]
41    InvalidRenyiOrder(f64),
42}
entropy_conservation/lib.rs

entropy_conservation/
lib.rs
