affidavit 26.6.22

Provenance Layer — receipt assembly and certification (verify a witness against a format standard; never decide honesty).
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
49
50
51
52
53
54
55
56

// Reference witness: process-tree operators and cross-log correlation schemas
// are constructed as exhaustive censuses (COVERAGE.md §2).
//
//   • ProcessTreeOperator — the process-tree control-flow operators
//     (Sequence/Xor/Parallel/Or/Loop/Silent).
//   • CorrelationSchema   — cross-log event correlation strategies.

use wasm4pm_compat::correlation::CorrelationSchema as Corr;
use wasm4pm_compat::process_tree::ProcessTreeOperator as Op;

#[test]
fn process_tree_operators_are_constructed() {
    let all = [
        Op::Sequence,
        Op::Xor,
        Op::Parallel,
        Op::Or,
        Op::Loop,
        Op::Silent,
    ];
    // No-wildcard control-flow family classification: a new ProcessTreeOperator
    // variant breaks compilation here (the `match` is exhaustive, no `_` arm).
    fn family(o: Op) -> &'static str {
        match o {
            Op::Sequence => "ordering",
            Op::Xor | Op::Or => "choice",
            Op::Parallel => "concurrency",
            Op::Loop => "iteration",
            Op::Silent => "tau",
        }
    }
    let families: std::collections::BTreeSet<&str> = all.iter().copied().map(family).collect();
    assert_eq!(families.len(), 5, "five control-flow families");
    let debugs: std::collections::BTreeSet<String> = all.iter().map(|o| format!("{o:?}")).collect();
    assert_eq!(debugs.len(), 6, "six distinct process-tree operators");
}

#[test]
fn correlation_schemas_are_constructed() {
    let all = [
        Corr::ByCase,
        Corr::ByObject,
        Corr::ByTimestamp,
        Corr::ByAttribute,
    ];
    fn label(c: Corr) -> &'static str {
        match c {
            Corr::ByCase => "by-case",
            Corr::ByObject => "by-object",
            Corr::ByTimestamp => "by-timestamp",
            Corr::ByAttribute => "by-attribute",
        }
    }
    let s: std::collections::BTreeSet<&str> = all.iter().copied().map(label).collect();
    assert_eq!(s.len(), 4, "four cross-log correlation schemas");
}