Honestly, you’re giving a really good scenario to show the usefulness of a (good) type system. What you’re describing can be expressed very well in eg typescrip

Honestly, you’re giving a really good scenario to show the usefulness of a (good) type system. What you’re describing can be expressed very well in eg typescript, and while I’d write test, I’d be confident writing the code only supported by tests