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
//! 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.
pub use ;
pub use ;
pub use ProofPackWriter;
pub use record_activity;