skills.rest
ravenoak
ravenoakCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

propagate

Generate deterministic tests from Allium specifications and plans.

Updated Apr 27, 2026
Search Tags:#testing#specification#test-generation#state-machine#propagation#deterministic-tests#allium
One-click install
npx skills add https://github.com/ravenoak/oh-my-stigmergy --skill propagate-ravenoak
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: propagate
Source: https://github.com/ravenoak/oh-my-stigmergy/tree/main/.agents/skills/propagate
Command: npx skills add https://github.com/ravenoak/oh-my-stigmergy --skill propagate-ravenoak

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Generates tests from Allium specifications by mapping spec constructs to code, enabling deterministic test coverage and traceability to the spec.

Core Features & Use Cases

  • Maps every spec construct to a corresponding test obligation in the project's test suite.
  • Supports surface, invariant, and transition-graph tests, plus state-machine and data-flow validations.
  • Enables deterministic test generation from Allium plans and models to bootstrap test suites.

Quick Start

Run the propagate workflow on your Allium spec to generate initial tests and fixtures from the spec provisions.

Frequently Asked Questions about propagate

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I generate deterministic tests from specifications?▼

You can generate deterministic tests from specifications by mapping spec constructs to code and producing test obligations aligned with your project conventions. This process requires allium plan and model outputs to bootstrap your test suite.

What types of test coverage can I generate from Allium specs?▼

Test coverage from Allium specs includes surface tests, state machine tests, invariants, and transition graphs. It supports both single-component and multi-component systems to ensure comprehensive validation of spec provisions.

Do I need an existing test framework to generate test obligations from Allium models?▼

Yes, you need a codebase with an existing test framework to generate deterministic test artifacts. The workflow maps Allium model outputs to your project's test suite to produce traceable test obligations.

How do I bootstrap a test suite from state machine and transition graph specifications?▼

Bootstrapping a test suite from state machine and transition graph specifications involves running the propagate workflow on your Allium spec. This maps spec provisions to initial tests and fixtures for data-flow validations.

What is the best way to ensure traceability between generated tests and spec provisions?▼

The best way to ensure traceability is generating tests directly from Allium specifications by mapping every spec construct to a corresponding test obligation in the project's test suite, providing deterministic coverage linked to the spec.

Related Skills

Explore More Software Engineering Skills→
scottopellscottopell
1

propagate

Generate tests from Allium specifications for surface and spec-driven scopes.

Community
Advanced
bbsbotbbsbot
1

ln-782-test-runner

Run detected test suites and report pass/fail counts with coverage.

Community
Advanced
juxtjuxt
10

weed

Resolve divergences between Allium behavioral specification files and implementation code.

Official
Advanced
grad13grad13

spec-to-tests

Generate test cases from specification documents for missing and partial coverage.

Community
Advanced