diff --git a/dev/checks.md b/dev/checks.md
index 69a4ae1..f53c388 100644
--- a/dev/checks.md
+++ b/dev/checks.md
@@ -41,7 +41,8 @@ docker compose -f ../docs/dev/docker-compose.yml --project-name arm-ka run --rm
 Почему так: голый `docker compose up -d --wait` возвращает код 1 (одноразовый `minio-init` завершается кодом 0, compose
 считает это сбоем), поэтому `--wait` даётся со списком долгоживущих сервисов, а бакет создаётся отдельным шагом. Без
 бакета интеграционные тесты на свежем томе падают на `NoSuchBucket`. Целей `down`/`stop`/`restart` нет намеренно: проект
-`arm-ka` общий для всех сервисов; остановка и сброс — вручную (`docker compose down`, `down -v`), см. `README.md`.
+`arm-ka` общий для всех сервисов; остановка и сброс — вручную (`docker compose --profile services down`, при сбросе данных `down -v` с тем же `--profile services`,
+иначе контейнеры сервисов останутся), см. `README.md`.
 
 > Эталонная реализация `make up` — в `scan-gateway`. Реализации в `arm-core` и `tabular-parser` отличаются
 > (см. «Известные расхождения реализаций»).
@@ -76,7 +77,8 @@ docker compose -f ../docs/dev/docker-compose.yml --project-name arm-ka run --rm
 с которым сервис сверяется `diff`ом или который подключает напрямую:
 
 ```make
-# Makefile сервиса: свои переменные и цели; include — после первой цели (иначе целью по умолчанию станет venv)
+# Makefile сервиса: свои переменные и цели; цель по умолчанию задана явно, иначе ею станет первая цель include (venv)
+.DEFAULT_GOAL := check
 MYPY_PATHS := src scripts        # arm-core; по умолчанию src
 CHECK_FULL_STEPS := check dbml-check check-infra test-integration docker-build web-check   # arm-core
 include ../docs/dev/Makefile.common