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

// Reference witness: ArtifactGrounding grounded/ungrounded distinction and
// Pm4pyShape object-centric classification (COVERAGE.md §2.5 / interop).
// ArtifactGrounding distinguishes grounded vs ungrounded claims (the basis of
// InteropRefusal::UngroundedArtifact). Pm4pyShape::is_object_centric() classifies
// shapes at the convergence/divergence boundary.

use wasm4pm_compat::interop::{ArtifactGrounding, Pm4pyShape};

#[test]
fn artifact_grounding_distinguishes_grounded_from_ungrounded() {
    let grounded = ArtifactGrounding::<()>::new(Pm4pyShape::EventLog, "ocel:fixture-1");
    assert!(
        grounded.is_grounded(),
        "an evidence-backed claim is grounded"
    );

    let ungrounded = ArtifactGrounding::<()>::new(Pm4pyShape::EventLog, "");
    assert!(
        !ungrounded.is_grounded(),
        "an empty evidence ref is ungrounded (→ UngroundedArtifact)"
    );
}

#[test]
fn pm4py_shape_classifies_object_centric_vs_flat() {
    assert!(
        Pm4pyShape::ObjectCentricLog.is_object_centric(),
        "ObjectCentricLog must be classified as object-centric"
    );
    assert!(
        !Pm4pyShape::EventLog.is_object_centric(),
        "EventLog must not be classified as object-centric"
    );
}