The specification defines what should exist. Golden Tests verify that it does.

A traceable reference for software built from formal domain knowledge, including systems generated with AI.