dsfb-gray 0.1.0

DSFB-Gray Structural Semiotics Engine: Deterministic Rust crate auditing with structural code-quality interpretation, assurance scoring, and attestation export. Core observer modules remain no_std-compatible when built without the default std feature.
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

use dsfb_gray::{AuditEvent, AuditTrace};
use proptest::prelude::*;

proptest! {
    #[test]
    fn audit_trace_reports_the_number_of_recorded_events(event_count in 0usize..128) {
        let mut trace = AuditTrace::new();

        for idx in 0..event_count {
            trace.record(AuditEvent {
                timestamp_ns: idx as u64,
                residual: idx as f64,
                drift: 0.0,
                slew: 0.0,
                envelope_position: 0,
                grammar_state: 0,
                transition_occurred: false,
            });
        }

        prop_assert_eq!(trace.total_count(), event_count as u64);
        prop_assert_eq!(trace.buffered_count(), event_count.min(256));
    }
}