# Спека: прогон цикла согласования M7 (2026-06-13, run5)

## Цель

Доказать в свежей сессии весь цикл согласования end-to-end с корректным планом
(шаг с обязательным `ref`). Спека → судья gate1 GO → печать артефакта; план →
наставник (L1) даёт вердикт → судья (L2) GO → печать плана; шаг плана проходит
стену. Спека и план пишутся подряд, чтобы артефакт был свежим при печати плана.

## Решение {#sanity-run5}

Прогнать минимальный обратимый цикл: эта спека печатается артефактом (раздел с
якорем `{#sanity-run5}` попадёт в `sections`); план с одним шагом `ref:"sanity-run5"`
проходит L1 (наставник) и L2 (судья); шаг создаёт маркер-заметку
`docs/observer/notes/2026-06-13-print-sanity-run5.md`. Маркер — наблюдаемое
доказательство: если Write маркера проходит стену, значит план запечатался и
`refResolves` нашёл `sanity-run5` в sections свежего артефакта.

## Проверяемость

GREEN: Write маркера по шагу плана НЕ блокируется стеной. По пути: артефакт —
gate1 не заблокировал spec-Write; наставник (L1) — свежий вердикт (файл
mentor-verdict ~сейчас + запись gate2-post в seal-attempts); план — шаг прошёл.
RED: блок → причина в свежем mentor-verdict / seal-attempts gate2-post reason.

## Риск исполнения

Низкий и обратимый. Один Write нового doc-файла (маркер), не discipline-код, не
необратимое. Артефакты run5 — тривиально удаляемы. Живые вызовы судьи и
наставника — расход незначителен. Коммит — отдельный шаг владельца.
