Module preflight 

What openspec archive would refuse, found before any model call: validate --strict passes a MODIFIED requirement that does not exist, and only archive fails on it — after the work is done.

Functions

change

Problems of one change, given the main specs’ requirement names.

project

Problems of the project as a whole.