"""Runtime contracts used by the published model."""