machine-checkable
VSTD: portable, bounded, refutable evidence for computational claims and provenance graphs.