Requirements as Code: A Type-Safe Chain from Feature Definition to End-to-End Testing

A type-safe requirements tracking DSL in C# that makes the compiler enforce the chain from feature definition to specification to implementation to tests.