State machines

Spec Kitty mission lifecycle: a domain modeling pass through Giiken

This article details the lifecycle of a Spec Kitty mission, an agent framework that executes real missions through a state machine with on-disk artifacts. It traces a specific domain modeling mission for Giiken from specification to merge.