仕様を真実にする

仕様を構造化し、AIがどの記述を根拠に検証したかを明示する。散らばった合意を、追跡可能な事実に変える。