Proposal: BDD test suite

[raymyers]

Hi @wedow, I'm loving this little CLI. I was experimenting with using agents to port it to different languages and I made a test suite in Cucumber style to check equivalence. If you're interested in a PR, I'd be happy to contribute those tests back to this repo. Otherwise feel free to close. Thanks!

[wedow]

Hey @raymyers, I'm interested! I had been thinking about adding ShellSpec for tests at some point but a language-agnostic test suite is even better. What you're doing with uv there is really clean.

I'd be happy to look at a PR of that features/ directory with something like the typescript/bdd.sh as a top level test.sh here. It could take an arg for setting TICKET_SCRIPT as well, which I think would mean you wouldn't need to maintain all the separate bdd.sh files.

PS. I've never seen ACL2 used for a CLI utility like this before. Cool choice!

[georgebashi]

+1, for what it's worth I also fell in love with this little CLI! It fits my workflow better than beads. I ended up taking the tk CLI, having Claude write a spec from it, and reimplementing it in python with my own set of tweaks. BDD specs would have been a huge help. I'll tidy up and push my fork soon in case you're interested in any of the changes.