"""Context-efficient adaptive proof model.""" __version__ = "0.1.0"