# Ensures the package root is importable so `import lean_ctx` resolves when
# pytest is run from anywhere inside packages/python-lean-ctx.