"""Machine-checkable claim contracts."""