Crate arkhe_runtime_testkit 

ArkheForge Runtime Testkit

Property-based test helpers for ArkheForge Runtime (theorist M4) — proptest Arbitrary strategies plus a scope-based shrinker.

The shrinker specializes in “structural minimization” of Runtime primitives: it narrows a failure case down to the smallest reproducible counterexample. “Scope-based” means one shrink path per TypeCode region (core / shell / debug), so a range-boundary violation is pinned to its originating region immediately.

Modules

arbitrary

proptest::Arbitrary impl for Runtime primitive types.

shrink

Scope-based shrinker — TypeCode-region per-shrink path.

Constants

TESTKIT_SEMVER

Testkit semver.