A sufficiently comprehensive spec is not (necessarily) code (via amw-zero) — discussion
#formalmethods #vibecoding
