modelrender

Overview ¶

Package modelrender — блоки типов модели доступов ПОРОЖДАЮТСЯ из манифеста домена, а порождённое сверяется с каноном ПОБАЙТОВО (задача #1089, приёмка services/iam/docs/engineering/acceptance/model-generated-from-manifest.md).

Почему побайтово, а не «по смыслу» ¶

Сверка по смыслу требует разбора обеих сторон и потому измеряет СОГЛАСИЕ ДВУХ РАЗБОРЩИКОВ, а не согласие текстов. Разборщик, не знающий формы, на ней молчит, и расхождение уезжает в слепую зону. У байтов слепой зоны нет.

Модель есть контракт: лишняя строка в ней — лишнее право, недостающая — отказ там, где доступ выдан. Поэтому расхождение НАЗЫВАЕТ СТОРОНУ (§2 п. 3): эти два исхода чинятся разными правками и означают разное для арендатора.

Единица блока — тело, а не тело с баннером следующего домена ¶

Блок — от строки `type X` до ПЕРВОЙ ПУСТОЙ СТРОКИ. Комментарии канона стоят МЕЖДУ блоками (баннер домена принадлежит файлу, а не блоку), и единица «от `type X` до следующей строки `type`» приписала бы блоку чужой баннер.

Замер, разводящий две единицы на этом дереве (ревизия HEAD линии). ВЕЛИЧИНА НАЗЫВАЕТ СВОЮ ЕДИНИЦУ, и обе строки даны в обеих единицах: канон несёт кириллическую прозу, поэтому байт и символ здесь расходятся почти на четверть, и число без единицы рядом с числом в другой единице выглядит сопоставимым, не будучи им.

единица A — тело блока          32 блока · 90 701 Б · 66 891 симв · 739 внутриблочных комментариев
единица B — тело плюс баннер     32 блока · 113 014 Б · 86 990 симв (весь файл)

Последний сдвиг величин — ПЕРЕЕЗД КОНТРАКТОВ (решение владельца 2026-09-13, kacho#2616): канон уехал в этот репозиторий, и абзац его шапки, утверждавший, что канон и вшитая копия лежат в разных деревьях, стал ложным и переписан. Тронут ТОЛЬКО баннер файла, ни один блок не изменился — поэтому единица A осталась прежней (90 701 Б / 66 891 симв), а единица B выросла на шестьсот девяносто байт. Это и есть довод в пользу двух единиц: сдвиг прозы шапки виден только в B. Величина прибавки написана словами намеренно: цифра рядом с обозначением единицы читается этим же гейтом как ЗАМЕР канона, и он справедливо требует, чтобы разбор такую величину давал.

Прежний сдвиг — переход написания якоря кластера (`cluster_kacho_root` → `cluster_root`, задача #2113): якорь назван в каноне ПЯТЬ раз, каждое называние короче на шесть знаков, и из пяти в телах блоков стоят ДВА — отсюда убыль в двенадцать байт у единицы A и в тридцать у единицы B. До него сдвиг был у переименования каталогов службы, до него — у имени схемы Postgres. Величины пересняты разбором, а не вычтены на бумаге: канон порождается из манифестов, и арифметика в уме дала бы совпадение, которое нечем проверить.

Канон УШЁЛ ВПЕРЁД от ревизии приёмки, и это сказано здесь, а не подразумевается ¶

Прежняя редакция шапки утверждала побайтовое равенство канона ревизии приёмки 5dcefe67. Равенства больше НЕТ: #1820 снял на кластере отношение `console` — читателя у него не было ни одного, и выдать его было нечем — и внёс на его место разбор снятия. Одним этим коммитом сдвинулись все пять величин выше; они пересняты разбором, а утверждение о равенстве снято вместе с предметом, потому что гейт величин судит ЧИСЛА и на пережившей себя прозе рядом с ними молчит by construction.

Единица счёта осталась ТОЙ ЖЕ, что в §0.7 приёмки, — строка-комментарий с отступом внутри тела `type`. На ревизии приёмки этот же счёт давал 720, и разборщик здесь с разборщиком приёмки тогда СОШЛИСЬ, а не «оба смолчали». Сходится ЕДИНИЦА, а не число: число есть свойство ревизии канона, и §0.7 остаётся верной записью о своей — переписывать её задним числом значило бы сделать ложным замер, который был верен.

Величины ВОСПРОИЗВОДЯТСЯ разбором, а не переписываются: гейт `TestCanonHeaderNamesItsUnitAndReproducesTheMeasurement` пересчитывает их из канона и падает на просроченной либо посчитанной в другой единице. В строке единицы A прежде стояло тело блоков В СИМВОЛАХ под обозначением байтов, рядом со строкой единицы B, где байты настоящие; из этой таблицы задача #1847 взяла своё число и построила на нём посылку (задача #1857).

Ошибочная пара здесь НЕ воспроизводится дословно намеренно: гейт судит всякую величину шапки, и цитата неверного числа краснила бы его на собственном объяснении.