Module testing 

Route-Driven TDD substrate for wasm4pm.

Proves not only that a test result is correct, but that the result was produced through a lawful POWL v2 route with exact conformance (1.0). Below 1.0 is AndonPull. There is no partial pass.

Public Surface

use wasm4pm::testing::{
    PowlTestHarness,
    ExpectedConformance,
    ReplayReport,
    ConformanceVerdict,
    AndonPull,
    AndonPolicy,
    classify_conformance,
};

Doctrine

A test may not pass on output alone. fitness == 1.0 is the only admitted conformance. 0.999 < 1.0 is AndonPull::RouteConformanceGap. The harness is usable without macros — PowlTestHarness is explicit Rust. Proc-macros are sugar added in Phase 9.

Re-exports

pub use conformance::classify_conformance;

pub use conformance::AndonPolicy;

pub use conformance::AndonPull;

pub use conformance::ConformanceVerdict;

pub use conformance::ExpectedConformance;

pub use conformance::ProofDimension;

pub use conformance::ReplayReport;

pub use harness::ActivityEvidence;

pub use harness::EvidenceError;

pub use harness::ObjectEvidence;

pub use harness::PowlTestHarness;

pub use harness::TestEvent;

pub use proof_pack::ProofPackWriter;

pub use recorder::record_activity;

Modules

conformance

Route-driven test conformance types and classifier.

env_bridge

Environment bridge for testing

harness

Explicit stateful test harness.

ocel_exporter

OCEL exporter for test evidence

proof_pack

Proof pack writer — writes machine-checkable evidence to disk.

recorder

Activity recorder for route-driven TDD