Engineering

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