Module arbitrary 

proptest::Arbitrary impl for Runtime primitive types.

Cover each type’s value domain precisely — spec boundary values (TypeCode range boundary / BoundedString N limit / Tick monotone) are injected directly into the fuzz path.

Functions

canonical_verb_typecode

Canonical Activity verb range strategy — 0x0002_0001..=0x0002_03FF.

core_component_typecode

Core Component TypeCode range strategy — 0x0003_0000..=0x0003_0EFF.

core_event_typecode

Core Event TypeCode range strategy — 0x0003_0F00..=0x0003_FFFF.

entity_id_nz

NonZeroU64 entity id strategy — inherits L0 A6.

shell_scoped_typecode

Shell-scoped TypeCode strategy — used by the shell_id brand fuzz suite.

tick_value

Tick value strategy — fuzz the full u64 domain.