Testing

We automated the cheap half of trust — contracts and types. The expensive half — evidence the system actually behaves — we still answer with a vibe.