AI code can be correct and still unaccountable. Contracts, provenance graphs, and why control beats autonomy.
