Show HN: Let formal specs test AI implementations

SpecGuardian turns FizzBee formal specification results into Go tests that check whether an implementation, including AI-generated code, reaches only states the spec allows, including after injected I/O failures. The post walks through a cache-aside example where an ordering bug (cache invalidation before the database write) passes on success but is caught when the database write fails, and gives setup commands using FizzBee, Go and Docker Compose. It currently generates Go tests for one FizzBee Action invocation at a time and its APIs may change.