Turn product intent, project evidence, and domain decisions into an implementable software specification with checkable acceptance criteria.