Expand description
Main engine: composes all stages into a single deterministic observer. Main engine: composes all pipeline stages into a single deterministic observer.
§Pipeline (paper §B, Theorem 9)
IQ Residual → Sign → Grammar → Syntax → Semantics → DSA → Policy
Each stage is a deterministic function under fixed parameters. The composition is deterministic: identical ordered inputs produce identical outputs on every replay.
§Non-Intrusion Contract (paper §II, §VIII-C)
The public observe() method accepts &[f32] immutable residual slices
from the caller. The engine’s internal mutable state is fully encapsulated.
No mutable reference to any caller-owned data is ever taken.
The Rust type system enforces this: cargo geiger reports zero unsafe.
§Generic Parameters
W: window width for sign and DSA (paper default: 10)K: grammar persistence threshold (paper default: 4)M: heuristics bank capacity (default: 32)
Structs§
- Decimation
Accumulator - The DSFB RF Structural Semiotics Engine.
- Dsfb
RfEngine - Main DSFB Structural Semiotics Engine.
- NonIntrusive
Contract - Typed non-intrusion contract for the DSFB-RF observer.
- Observation
Result - Full deterministic trace for one observation — the audit chain.
Constants§
- NON_
INTRUSIVE_ CONTRACT - The canonical non-intrusion contract for dsfb-rf.