I cloned your Spec-Driven-Development repo to my GitHub repo, use codex to generate a scraper checkpoint manager spec, then use codex prompt to implement the checkpoint logic. The new implementation has significant improvement on top of my original shape of checkpoint logic. It's strict implementation based on generated spec.
First of all, Thank you so much for sharing your experimentation with it. Your checkpoint spec generation and implementation against it is a great usecase test to check if the requirements format is indeed useful and not just properly structured.
Would you be willing to share what the generated spec looked like and where it was most useful vs where it needed adjustment? That kind of usecase is really valuable to explore further improvements that could be made.