arkhe_runtime_testkit/lib.rs
1//! # ArkheForge Runtime Testkit
2//!
3//! Property-based test helpers for ArkheForge Runtime (theorist M4) —
4//! proptest `Arbitrary` strategies plus a scope-based shrinker.
5//!
6//! The shrinker specializes in "structural minimization" of Runtime
7//! primitives: it narrows a failure case down to the smallest reproducible
8//! counterexample. "Scope-based" means one shrink path per TypeCode region
9//! (core / shell / debug), so a range-boundary violation is pinned to its
10//! originating region immediately.
11
12#![forbid(unsafe_code)]
13#![warn(missing_docs)]
14
15pub mod arbitrary;
16pub mod shrink;
17
18/// Testkit semver.
19pub const TESTKIT_SEMVER: (u16, u16, u16) = (0, 12, 0);