What this is, why verification and provenance are separate problems, and what has actually been built.