Requirements that are checked before implementation: specs, the promise snapshot and fspec
How to check a new business requirement before writing code: a requirement as a proved promise, the fspec catalogue created by flang new, a snapshot that keeps an earlier …