Propagate

This generates tests from Allium specifications using a deterministic mapping where every spec construct becomes a test obligation. You run it when you have an Allium spec file and want comprehensive test coverage: boundary tests for surfaces, property-based tests for invariants, state machine tests for entities with status enums, and integration tests for cross-entity processes. It supports multiple test frameworks (fast-check, Hypothesis, proptest) and handles the full taxonomy from simple field presence checks to complex reachability and deadlock scenarios. The plant propagation metaphor is apt: the spec is the parent plant, tests are the cuttings. Works best when you can run allium plan and allium model to get structured test obligations, though it can derive them manually if needed.