Propagation This skill generates tests from Allium specifications. Propagation is how plants reproduce from cuttings of the parent: the spec is the parent, the tests are the offspring. Deterministic tools guarantee completeness (every spec construct maps to a test obligation). You handle the implementation bridge: correlating spec constructs with code, generating tests in the project's conventions. Prerequisites Before propagating tests, you need: 1. An Allium spec — the file describing the system's behaviour 2. A target codebase — the implementation to test 3. Test obligations — from (JSON l…