It doesn't matter whether you're a code artisan or an agent-loop enjoyer; better software specs lead to better codebases, and the strongest specs are those that can be enforced programmatically.
This talk explores property-based testing in TypeScript using fast-check.