Сертификат оптимальности артефакта + доказуемый size-floor субпутей («доказуемо минимальны», не «меньше»)

[lemone112]

Вердикт свипа (2026-07-23): STRONG как маркетинг-актив, делать после портфеля строк (#238). 0 продуктовых байт.

1. Сертификат оптимальности: после min-link/DP артефакт получает математический статус. Независимый скрипт-верификатор (жанр compiler-acceptance.mjs) пересчитывает DP-нижнюю границу узлов/байтов в грамматике linear() при том же tol, сверяет с эмитированным, и доказывает max-ошибку реконструкции интервальной оценкой замкнутой формы (огибающие уже выведены в segmenter/spring.ts) → машинно-проверяемое «этот linear() минимален по байтам при tol=X». Заодно регрессионный гейт: будущий эмиттер не отстаёт от собственной нижней границы. Конкуренты с эвристиками/fixed-N сэмплерами повторить не могут.
2. size-floor.mjs: нижний предел веса субпутя из unmanglable-токенов контракта (Element.animate, commitStyles, '(prefers-reduced-motion: reduce)' — 33 символа, 'linear(' и т.д.) + минимальный скелет, canonicalGzip → публикация «nano = X B при floor ≈ Y B; overhead Z%». Калибровка — рукописный golf-референс, зеленеющий на том же дифф-сьюте. Формулировка claim строго «граница для данного контракта поведения» (зафиксировать в docs/benchmark.md). Побочно floor-атрибуция показывает, что доминирует в весе — направляет реальные шейвы.

Связи: #238, #237, docs/benchmark.md, docs/explanations/size-methodology.md.