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

// Reference witness: the BPMN organizational-perspective container BpmnPool —
// a pool holding a process and its lanes (COVERAGE.md §2 — BPMN pool/lane).
//
// A BpmnPool groups a BpmnProcess with the lanes that partition its nodes (the
// organizational / resource perspective in BPMN). This witnesses pool
// construction with accessors and lane membership over a well-formed process.

use std::collections::HashSet;
use wasm4pm_compat::bpmn::{
    BpmnEdge, BpmnEvent, BpmnLane, BpmnNode, BpmnPool, BpmnProcess, BpmnTask,
};

#[test]
fn pool_holds_process_and_lanes() {
    let process = BpmnProcess::new(
        vec![
            BpmnNode::event("s", BpmnEvent::Start),
            BpmnNode::task("t", BpmnTask::new("approve")),
            BpmnNode::event("e", BpmnEvent::End),
        ],
        vec![BpmnEdge::new("s", "t"), BpmnEdge::new("t", "e")],
    );
    assert_eq!(
        process.validate(),
        Ok(()),
        "the pool's process is well-formed"
    );

    let lane = BpmnLane::new("lane-ops", "Operations", ["t"]);
    let pool = BpmnPool::new("pool-1", "Sales", process, [lane]);

    assert_eq!(pool.id(), "pool-1");
    assert_eq!(pool.name(), "Sales");
    assert_eq!(pool.lanes().len(), 1, "one lane in the pool");
    assert_eq!(
        pool.process().nodes().len(),
        3,
        "pool wraps the 3-node process"
    );

    // The lane's nodes are declared in the pool's process (organizational
    // partition is consistent).
    let known: HashSet<&str> = pool.process().nodes().iter().map(|n| n.id()).collect();
    assert!(
        pool.lanes()[0].validate(&known).is_ok(),
        "lane partitions declared nodes"
    );
}