Struct NonIntrusiveContract 

pub struct NonIntrusiveContract {
    pub integration_mode: &'static str,
    pub fail_safe_isolation_note: &'static str,
    pub write_path_note: &'static str,
    pub determinism_note: &'static str,
    pub attribution_policy: &'static str,
    pub unsafe_count: u32,
    pub heap_policy: &'static str,
}

Typed non-intrusion contract for the DSFB-RF observer.

This struct is a compile-time, read-only declaration of the architectural guarantees this observer provides to the system it is embedded in.

Derived from the DSFB-Semiconductor NonIntrusiveDsfbObserver contract (de Beer 2026, §VIII-C) and extended for the RF context.

Guarantees

1. Observer-only write path: observe() takes &mut self (own state only) and &[f32] (caller data immutable). No mutable reference to caller-owned data is ever taken.

2. Fail-safe isolation: if the observer panics or returns an error, it cannot alter upstream receiver behaviour. The observer is a leaf node in the data flow graph.

3. Read-only side channel: the observer taps the IQ residual stream that the receiver already produces. It neither writes to the receiver’s filter coefficients, detector thresholds, AGC loop state, nor any firmware register.

4. Deterministic: identical ordered inputs produce identical outputs on every replay (Theorem 9 from the paper). No internal PRNG, no OS clock, no hardware entropy source.

5. Non-attributing: the observer produces grammar states and motif classes. It does not attribute physical cause, emitter identity, or intent.

Fields

integration_mode: &'static str

Integration mode string. Always "read_only_side_channel".

fail_safe_isolation_note: &'static str

Fail-safe isolation guarantee.

write_path_note: &'static str

Write-path guarantee.

determinism_note: &'static str

Determinism guarantee.

attribution_policy: &'static str

Attribution policy.

unsafe_count: u32

Unsafe code count (enforced by #![forbid(unsafe_code)]).

heap_policy: &'static str

Heap allocation policy.

Trait Implementations

impl Clone for NonIntrusiveContract

fn clone(&self) -> NonIntrusiveContract

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NonIntrusiveContract

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for NonIntrusiveContract