Crate aimds_analysis 

AIMDS Analysis Layer

High-level behavioral analysis and policy verification for AIMDS using temporal-attractor-studio and temporal-neural-solver.

Components

• Behavioral Analyzer: Attractor-based anomaly detection (target: <100ms p99)
• Policy Verifier: LTL-based policy verification (target: <500ms p99)
• LTL Checker: Linear Temporal Logic verification engine

Performance

• Behavioral analysis: 87ms baseline + overhead → <100ms p99
• Policy verification: 423ms baseline + overhead → <500ms p99
• Combined deep path: <520ms total

Re-exports

pub use behavioral::BehavioralAnalyzer;

pub use behavioral::BehaviorProfile;

pub use behavioral::AnomalyScore;

pub use policy_verifier::PolicyVerifier;

pub use policy_verifier::SecurityPolicy;

pub use policy_verifier::VerificationResult;

pub use ltl_checker::LTLChecker;

pub use ltl_checker::LTLFormula;

pub use ltl_checker::Trace;

pub use errors::AnalysisError;

pub use errors::AnalysisResult;

Modules

behavioral

Behavioral analysis using temporal attractors

errors

Error types for AIMDS analysis layer

ltl_checker

Linear Temporal Logic (LTL) verification

policy_verifier

Policy verification using temporal neural solver

Structs

AnalysisEngine

Combined analysis engine integrating behavioral and policy verification

FullAnalysis

Combined analysis result