Struct AuditReport 

pub struct AuditReport {
    pub dataset_label: &'static str,
    pub stage_i: StageResult,
    pub stage_ii: StageResult,
    pub stage_iii: StageResult,
    pub sample_rate_hz: f32,
    pub observer_contract_holds: bool,
    pub unsafe_count: u32,
    pub non_claim: &'static str,
}

Consolidated 4-stage Continuous Rigor audit report for one example run.

Produced at the end of every benchmark example. Contains Stage I–III statistics plus Stage IV comparison metrics.

SBIR Pitch Keys

The fields most relevant to SBIR Phase II reviewers are:

• stage_i.false_alarm_rate() — should be 0.0 in clean synthetic
• stage_ii.false_alarm_rate() — should be < 10⁻³ under full impairment
• stage_iii.lead_time_samples() — positive = DSFB detects before nav/link failure
• observer_contract_holds — true if no upstream mutations occurred
• unsafe_count — always 0, enforced by #![forbid(unsafe_code)]

Fields

dataset_label: &'static str

Example / dataset label.

stage_i: StageResult

Stage I: Physics-Only Baseline result.

stage_ii: StageResult

Stage II: Impairment-Injected result.

stage_iii: StageResult

Stage III: SigMF Playback result.

sample_rate_hz: f32

Nominal sample rate of the dataset [Hz].

observer_contract_holds: bool

Whether the observer contract (read-only, no upstream mutation) held. Always true in this crate; recorded for provenance.

unsafe_count: u32

Number of unsafe blocks in the crate: always 0.

non_claim: &'static str

Non-claim statement: what this report does NOT prove.

Trait Implementations

impl Clone for AuditReport

fn clone(&self) -> AuditReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AuditReport

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

Formats the value using the given formatter.

impl Copy for AuditReport