Struct OracleReport 

pub struct OracleReport {
    pub sampled: usize,
    pub on_skipped: usize,
    pub considered: usize,
    pub disagreements: Vec<SemanticDisagreement>,
    pub disagreement_rate: f64,
}

Outcome of boolean_semantic_disagreement.

Fields

sampled: usize

Total points drawn.

on_skipped: usize

Points skipped as On/near a boundary of A, B or R (ambiguous), or because a classifier could not decide them.

considered: usize

Decidable points actually compared (sampled - on_skipped).

disagreements: Vec<SemanticDisagreement>

Every decidable point whose result membership contradicts CSG.

disagreement_rate: f64

disagreements.len() / considered (0 when nothing was decidable).

Implementations

impl OracleReport

pub fn is_flagged(&self) -> bool

Whether the disagreement rate crosses DISAGREEMENT_THRESHOLD.

pub fn sample_disagreement(&self) -> Option<SemanticDisagreement>

A representative disagreeing point, if any.

Trait Implementations

impl Clone for OracleReport

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OracleReport

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

Formats the value using the given formatter.

impl Serialize for OracleReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.