"""Top-level entrypoint: `python -m contract_check <file>` → stage-0 prototype."""

from __future__ import annotations

from src.contract_check.prototype import main

if __name__ == "__main__":
    main()