From Spec-Driven Development to Compilable Specs (opens in new tab)

MTHDS methods are already executable specs, interpreted by a runtime today. But a declarative language this high-level could also be compiled, deterministically generating code, tests, and guidance for agents. That would give us a compiler for specs, an engineering layer for Spec-Driven Development.