surlymochan/evalid

Claimed ≠ verified. evalid is a runtime verification layer…