канон 4: тип записи стал единственной осью и задаёт схему

Осей было две — тип записи (goal/idea/task) и род работы (kind:<род>
тегом), — и ортогональность у них была фальшивой: из двенадцати клеток
произведения законны шесть. У цели род запрещён, у задачи обязателен, у
идеи пуст и на практике не ставится. Плюс «алгоритм работы над записью
такого типа» крепится не к task, а к fix и research, то есть к роду:
ось, к которой пишется алгоритм, и была настоящим типом. Схлопнуто в
одну ось из пяти значений: goal | feature | fix | chore | research.

Тип idea упразднён отдельно и по другой причине: он значил не род
работы, а незаполненность, а состояние типом быть не может — оно
меняется по мере того, как запись дописывают, а тип меняют командой.
Теперь состояние выводится из заполненности: research без раздела
«Вопрос» это сырьё. В спринт не берётся, как и прежняя идея, лежит в
конце категории, отбирается list --raw.

Дом типа — поле меты «Тип» первой строкой, эмодзи в H1 производна.
Прежнее «отдельного поля типа нет: два места для одного факта
разъезжаются» отменено собственным аргументом: он был против префикса
плюс поля, а при переносе дома место остаётся одно. Эмодзи стоит в H1,
а не в строке индекса, чтобы инвариант «заголовок в индексе дословно»
остался нетронутым.

Поле места названо по типу: «Секция» у цели (часть роадмапа, состояние
очереди), «Категория» у задачи (полка домена, куда её вернёт sprint
drop). Одинаковое переименование закрепило бы конфляцию; какое поле
обязательно, решает тип — то самое, ради чего затевалась правка.

Два новых обязательных раздела выросли из правил, которые были записаны
и которые нечем было проверить. «Не воспроизводится — это research, а не
fix» стояло в каноне: теперь есть раздел «Воспроизведение». Приёмка
разведки — «записанный ответ, а не изменённый код» — тоже стояла, но
sprint take требовал от research два-пять критериев с оракулами, и они
писались ради проверки; вместо них «Вопрос» и «Куда ляжет ответ».

Сортировка «по важности» из заметок не взята: она требует, чтобы кто-то
важность поддерживал, а это приоритет, от которого отказалось правило 4.
Взято только «сырьё в конец категории» — этот порядок выводится из типа
и заполненности, а не назначается человеком, и потому проверяется
машиной.

TYPE_SCHEMA кормит и body_template, и schema_verdict: иначе add кладёт
то, на чём sprint take потом откажет. check --fix мигрирует за один
проход — kind:/[goal]/[idea] в поле «Тип», эмодзи в заголовок, «Секция»
→ «Категория», сырьё в конец. Тип, которого неоткуда взять, не
угадывается: feature от chore машина не отличает, такие записи уходят в
НЕОДНОЗНАЧНО поимённо.

Попутно закрыт класс отказов в --fix: шагов, правящих мету, стало пять,
и второй, перечитавший файл с диска, стирал правку первого. Общий
stage() поверх отложенных правок; до этого корректность держалась на том,
что шагов было мало.

Устав на тип отдельным файлом — references/task-<тип>.md, пять штук:
схема, алгоритм, что видит машина и что человек. Агент task-form получил
правило «тип сходится с тем, что в записи написано» с проверяемыми
расхождениями.

Обкатано на демо-наборе из 13 записей: миграция за один проход, второй
прогон даёт ноль починок; fix без «Воспроизведения» и сырьё в спринт не
идут, годная feature берётся.

DECISIONS тема 27 (ААББ–ЛЛММ, следствия 101–104).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

DECISIONS.md

@@ -1834,3 +1834,84 @@ ADR, запискам разведки и сообщениям коммитов
 100. **Версия канона отделяет состояния проектов, а не редакции текста** — и
      ровно поэтому её нельзя не поднять, когда состояние хоть одного проекта
      уже зафиксировано.
+
+## 27. Тип записи стал единственной осью и задаёт схему (2026-08-05)
+
+Заметка просила «каждый тип задач сделать своей сущностью»: эмодзи на тип, тип
+первым полем меты, категория вместо секции, описание типа с обязательными
+разделами и алгоритмом, идеи в конец. Разбор показал, что первый шаг обязан быть
+другим — не добавить типу свойств, а **сократить число осей**.
+
+**ААББ. Осей было две, и ортогональность была фальшивой.** Тип записи
+(`goal`/`idea`/`task`) и род работы (`kind:<род>` тегом) давали двенадцать клеток
+произведения, из которых законны шесть: у цели род запрещён, у задачи обязателен,
+у идеи пуст и на практике не ставится. Плюс «алгоритм работы над записью такого
+типа» крепится не к `task`, а к `fix` и `research` — то есть к роду. Ось, к
+которой пишется алгоритм, и была настоящим типом. Оси схлопнуты в одну из пяти
+значений: `goal` | `feature` | `fix` | `chore` | `research`.
+
+**ВВГГ. Тип `idea` упразднён: состояние не может быть типом.** Он значил не род
+работы, а незаполненность — «первый, второй или третий вопрос теста готовности не
+отвечается». Состояние меняется по мере того, как запись дописывают, а тип меняют
+командой, и на этом расхождении `idea` и жила: её приходилось «понижать» и
+«повышать» вручную. Теперь состояние выводится из заполненности — **`research`
+без раздела «Вопрос» это сырьё**, — и различие держит та же машина, что и всё
+остальное.
+
+Цена решения названа сразу: `research` теперь вбирает и замер реальности, и
+сырую функцию («Подсказка следующего хода»). Обосновано это тем, что у обоих
+**один исход — записанный ответ, а не изменение системы**, и одна приёмка. Имя
+`rnd` из заметки отклонено в пользу `research`: аббревиатура читается как
+`random` и не расшифровывается тому, кто вернётся к беклогу через квартал, а
+`research` уже стоял в файлах живых проектов — миграция тронула только бывшие
+идеи.
+
+**ДДЕЕ. Дом типа — поле меты, эмодзи производна.** Прежнее правило «отдельного
+поля типа нет: два места для одного факта разъезжаются» отменено не потому, что
+разонравилось, а потому, что его аргумент был против **префикса плюс поля**. При
+переносе дома в мету дом остаётся один; из индекса тип при этом пропадал бы — там,
+где принимают решение «брать или не брать», — и это чинит эмодзи. Она стоит в H1,
+а не в строке индекса, чтобы инвариант «заголовок в индексе дословно» остался
+нетронутым: одна проверка вместо двух.
+
+**ЖЖЗЗ. Поле места назвали по типу, а не одним словом на всех.** «Категория»
+вместо «Секции» — просьба заметки, но одинаковое переименование закрепило бы
+конфляцию: у задачи поле называет полку домена, в которую она вернётся из
+спринта, у цели — часть роадмапа, то есть состояние очереди. Разные имена
+(`Категория` / `Секция`) выбраны именно потому, что **какое поле обязательно,
+решает тип** — то самое, ради чего затевалась вся правка.
+
+**ИИКК. Два новых обязательных раздела появились из уже записанных правил,
+которые нечем было проверить.** «Не воспроизводится — это `research`, а не `fix`»
+стояло в каноне и не проверялось: раздел `Воспроизведение` делает его
+проверяемым. Приёмка разведки — «записанный ответ, а не изменённый код» — тоже
+стояла, но `sprint take` требовал от `research` два-пять критериев с оракулами,
+и они писались ради проверки; вместо них `Вопрос` и `Куда ляжет ответ`.
+
+**ЛЛММ. Сортировка «по важности» отклонена, «сырьё в конец» взято.** Первая
+требует, чтобы кто-то важность поддерживал, — это ровно тот приоритет, от
+которого правило 4 отказалось сознательно. Вторая **выводится из типа и
+заполненности**, а не назначается человеком, и потому проверяется машиной и
+приоритетом не становится. Разрез прошёл по признаку «кто источник порядка», а не
+по признаку «полезно ли».
+
+### Что из этого следует
+
+101. **Правило можно отменять его собственным аргументом.** «Отдельного поля типа
+     нет» держалось на «два места для одного факта»; перенос дома оставил одно
+     место, и правило перестало применяться. Проверять надо не запись правила, а
+     то, выполняется ли ещё его посылка.
+102. **Схема, шаблон и проверка растут из одной таблицы.** `TYPE_SCHEMA` кормит и
+     `body_template`, и `schema_verdict`: иначе `add` кладёт то, на чём
+     `sprint take` потом откажет. Тот же приём, что нормализатор `spaced_sections`
+     для оформления индексов.
+103. **`--fix` не угадывает того, чего нет.** Тип переносится из тега `kind:` и
+     префикса `[goal]`/`[idea]` детерминированно, но записи, заведённые до
+     появления рода работы, не несут ни того ни другого — `feature` от `chore`
+     машина не отличает. Они уходят в `НЕОДНОЗНАЧНО` поимённо, а не получают
+     значение по умолчанию, которое врало бы ровно там, где по нему принимают
+     решение.
+104. **Мигрирующие шаги обязаны читать отложенный текст, а не диск.** Шагов,
+     правящих мету, стало пять, и второй, перечитавший файл, стёр бы правку
+     первого. Общий `stage()` поверх `files` снял целый класс отказов, который до
+     этого держался на том, что шагов было мало.