Guides
Complete focused modeling, debugging, security, and integration tasks.
Model a real process
Turn a real process into objects, tasks, state, effects, and domain invariants.
Choose Changes or Generator
Choose predetermined task effects or causal simulation behavior without mixing their roles.
Design useful Constraints
Create a small set of domain invariants that tests resolved evidence without copying implementation.
Debug a broken project
Use validation, resolved inspection, Constraints, and rendering to isolate project failures.
Make runs reproducible
Capture versions, source, seed, horizon, budget, and evidence for repeatable WorkSpec runs.
Model dynamic work
Declare collection-driven work and inspect the runtime instances created from it.
Embed WorkSpec in another application
Run a trusted WorkSpec project once and reuse its evidence across application features.
Author WorkSpec with AI tools
Give AI tools canonical context and require validated, inspected evidence from generated projects.