Migrations

myspec: Stop declaring what you can already read

Every time you ask someone to tell your tool something it could have found out, you’ve created a second copy of a fact. Second copies drift. In an agent’s toolchain there are a lot of …