Verify one bounded fact, preserve its source as an ArtifactRef, and report unresolved uncertainty explicitly.
