parlov-analysis 0.7.0

Analysis engine trait and signal detection for parlov.
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

use super::*;

#[test]
fn evaluate_3_samples_unstable_probe_not_present() {
    let ds = diff_set_n(&[403, 403, 403], &[404, 200, 404]);
    let SampleDecision::Complete(result, _outcome) = ExistenceAnalyzer.evaluate(&ds) else {
        panic!("expected Complete");
    };
    assert_eq!(result.verdict, OracleVerdict::NotPresent);
    assert_eq!(result.severity, None);
}

#[test]
fn evaluate_3_samples_unstable_baseline_not_present() {
    let ds = diff_set_n(&[403, 200, 403], &[404, 404, 404]);
    let SampleDecision::Complete(result, _outcome) = ExistenceAnalyzer.evaluate(&ds) else {
        panic!("expected Complete");
    };
    assert_eq!(result.verdict, OracleVerdict::NotPresent);
    assert_eq!(result.severity, None);
}

#[test]
fn unstable_result_carries_signal() {
    let ds = diff_set_n(&[403, 403, 403], &[404, 200, 404]);
    let SampleDecision::Complete(result, _outcome) = ExistenceAnalyzer.evaluate(&ds) else {
        panic!("expected Complete");
    };
    assert_eq!(result.verdict, OracleVerdict::NotPresent);
    assert!(
        result.primary_evidence().contains("unstable"),
        "unstable result should carry unstable signal"
    );
}

/// The `unstable_result` path produces `StrategyOutcome::NoSignal`.
#[test]
fn unstable_path_produces_no_signal_outcome() {
    let ds = diff_set_n(&[403, 403, 403], &[404, 200, 404]);
    let SampleDecision::Complete(result, outcome) = ExistenceAnalyzer.evaluate(&ds) else {
        panic!("expected Complete");
    };
    assert_eq!(result.verdict, OracleVerdict::NotPresent);
    assert!(
        matches!(outcome, StrategyOutcome::NoSignal(_)),
        "unstable path must produce NoSignal outcome"
    );
}