"""Reusable contract checks for replaceable implementation adapters."""