Enforce cast to application contract