Verifying AI Claims Against Artifacts