undefined

points

[-]

also by abusing linters and other guardrails you can basically automate the rewrite

[-]

I mean that’s not abuse? That’s what mechanically checkable invariants are for! They constrain the space the model has to work in.