Green before the model. A1, A3, A5, A7, A9, A14 are pure state assertions. I'd have them green before the model is even wired.

Names aren't unit tests. A4 and A11 — name quality and sensitivity — aren't unit tests. They need labelled histories and humans, and that's the expensive part.