Module testing 

Deterministic model-test helpers for oracle and replay checks.

Structs

ModelGenerator

Small deterministic generator for repeatable model tests.

ModelScript

Generated deterministic graph shape and input sequence.

Enums

ModelStep

Deterministic mutation generated for model tests.

ModelTopology

Supported model-test graph shape generated for oracle checks.