NFRHardness Replication package for our study of what makes non-functional requirements (NFRs) hard for LLMs to verify against code.