heaven/textmachine
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Point a note's anchor at a token that appears once instead of one that appears twice, so the target cannot be the wrong field

Browse source
This commit is contained in:
heaven 2026-09-06 07:36:41 +03:00
parent 93f098c815
commit 2ed1c0b394
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/architecture/05-decisions-log.md
View file

@ -2639,7 +2639,7 @@ $2.00» не мерил никто), **а утверждение о ПРОШЛО
**5. Нижняя граница НЕ снята, и довод зоны сильнее моего.** Я предлагал рассмотреть снятие («раз `null` уже отдельный случай»). Зона отказалась: **ноль — это ПОЛ, а не сегодняшнее наименьшее**; отрицательное отвергает сам допуск стора, и схема теперь говорит вслух то, что сервис и так гарантирует. Снять границу значило бы разрешить в контракте то, чего сервис не примет.
**6. То же расщепление в соседних полях — искано МЕХАНИЧЕСКИ, а не глазами.** Сканер зоны по **193** свойствам схем канона, три правила (граница `> 0` при прозе о нуле · проза обещает `null`, тип не допускает · тип допускает `null`, проза молчит): семь флагов, шесть — ложные срабатывания эвристики, настоящих два. **(а)** `OrderOptions.structure` — **зеркало моего случая**: тип допускает `null`, а проза не говорила, когда он бывает и что значит, — генератор знал, человек нет. Смысл дописан из пина (`httpapi.TestABookWhoseCutCannotBeSoldAgainstOffersCharactersAndSaysSo`, `platform/internal/httpapi/v0.go:308`=`Structure *string`): **`null` — не четвёртый вид разреза**; `none` — книга, на которую движок посмотрел и нашёл одну главу, `null` — книга, которую ещё не спрашивали. **(б)** `Chapter.number` — уже объявлено эрратой 05.09 в самом поле; зона сверила, что довод эрраты ЖИВ (`ingest.Whole()` по-прежнему отвергает `c.Number < 1`), и не трогала.
**6. То же расщепление в соседних полях — искано МЕХАНИЧЕСКИ, а не глазами.** Сканер зоны по **193** свойствам схем канона, три правила (граница `> 0` при прозе о нуле · проза обещает `null`, тип не допускает · тип допускает `null`, проза молчит): семь флагов, шесть — ложные срабатывания эвристики, настоящих два. **(а)** `OrderOptions.structure` — **зеркало моего случая**: тип допускает `null`, а проза не говорила, когда он бывает и что значит, — генератор знал, человек нет. Смысл дописан из пина (`httpapi.TestABookWhoseCutCannotBeSoldAgainstOffersCharactersAndSaysSo`, `platform/internal/httpapi/v0.go:306-308`=`null when no manifest`): **`null` — не четвёртый вид разреза**; `none` — книга, на которую движок посмотрел и нашёл одну главу, `null` — книга, которую ещё не спрашивали. **(б)** `Chapter.number` — уже объявлено эрратой 05.09 в самом поле; зона сверила, что довод эрраты ЖИВ (`ingest.Whole()` по-прежнему отвергает `c.Number < 1`), и не трогала.
**7. ⚠ НАХОДКА О СПОСОБЕ ПЕРЕДАЧИ, отданная зоной мне и записываемая здесь: НОМЕР СТРОКИ, ПОСЛАННЫЙ СООБЩЕНИЕМ, ПРОТУХАЕТ ОТ СЛЕДУЮЩЕЙ ПРАВКИ ТОГО ЖЕ ФАЙЛА И НИЧЕМ НЕ СТОРОЖИТСЯ.** Замерено на себе: зона прислала три номера для чужих якорей, потом дописала в канон два блока — и все три уехали ровно на четыре строки. **Я поймал это только потому, что пере-считал сам**, а не взял из письма; зона поймала одновременно и прислала поправку. ⇒ **правило: номер строки из чужого письма НЕ переносится в док — переносится ТОКЕН, а номер пере-считывается линтом в момент правки.** Это тот же класс, что «замер, снятый до правки» (`D39.209`): цифра верна на момент отправки и лжёт на момент применения, и ничто в форме сообщения об этом не сигналит.