dsfb-turbine 0.1.0

DSFB Structural Semiotics Engine for Gas Turbine Jet Engine Health Monitoring. A deterministic, read-only, observer-only augmentation layer for typed residual interpretation over existing Engine Health Monitoring (EHM), Gas Path Analysis (GPA), and Prognostics and Health Management (PHM) systems. The core engine is no_std + no_alloc. Unsafe code is forbidden in the library. Dataset loading, fleet evaluation, reporting, and executable examples are std-gated.
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

//! Core DSFB engine — `no_std`, `no_alloc`, `no_unsafe`.
//!
//! This module contains the complete interpretive engine:
//! - Residual sign computation (residual, drift, slew)
//! - Admissibility envelope evaluation
//! - Grammar-state machine (Admissible / Boundary / Violation)
//! - Reason-code classification
//! - Heuristics bank (typed degradation motifs)
//! - Operating-regime classification
//! - Audit-trace generation
//! - Sensitivity sweep support
//! - Theorem-1 finite-exit bound computation
//!
//! All types in this module use fixed-size stack allocation.
//! No `Vec`, `String`, `Box`, `HashMap`, or any heap type is used.

pub mod residual;
pub mod envelope;
pub mod grammar;
pub mod heuristics;
pub mod regime;
pub mod episode;
pub mod audit;
pub mod config;
pub mod theorem;
pub mod sensitivity;
pub mod channels;

// ─── Re-exports for ergonomic use ──────────────────────────────────
pub use residual::ResidualSign;
pub use envelope::AdmissibilityEnvelope;
pub use grammar::{GrammarState, GrammarEngine};
pub use heuristics::{EngineReasonCode, HeuristicsBank};
pub use regime::OperatingRegime;
pub use episode::Episode;
pub use audit::AuditEntry;
pub use config::DsfbConfig;
pub use theorem::TheoremOneBound;
pub use channels::{ChannelId, SensorReading};