The PRD. Product definition, user and system requirements, interfaces, constraints, compliance and environmental targets, explicit out-of-scope statements. Every requirement numbered, atomic and testable. Anything that cannot be tested goes into a separate assumptions section instead of pretending to be a requirement.