Compiler-портфель строк: min-link коридор + DP байт-оптимум + percent-элизия + shortest-decimal (один versioned-релиз с имплементацией #228)

[lemone112]

Вердикт свипа (2026-07-23): STRONG по всем четырём элементам. Обязательное условие: объединить с имплементацией #228 в один versioned-релиз — оба меняют пины артефактов, а min-link конкурирует с RDP eps=3tol/8 из спайка #228; сертифицированную арифметику (сетка + сегментация + сериализация ≤ tol) перевывести один раз.

1. Re-segmentation + min-link «коридор»: понижать compiled-строки через certified-путь сегментера (25–45 узлов вместо 107 равномерных nano); затем min-link stabbing вертикальных интервалов [y±бюджет] (Imai–Iri, двойной клин наклонов, O(n), O(1) память — сливается с генерацией сэмплов perf(compositor): локальная энергетическая сетка вместо global worst-case oversampling #228 в один проход): доказуемо минимальное число звеньев; свободные y-узлы (не на кривой) дают бюджет h²M/16 вместо h²M/8 — ещё −√2 узлов. Пины: старт (0,0), tangent-anchor (наклон = v0), хвост = 1. Дельта: ~−150…200 B gz на артефакт.
2. DP байт-оптимум в грамматике linear(): percented-стоп ~10–13 B, bare ~6 B; грамматика равнораспределяет bare-стопы между percented-якорями → минимизировать символы сериализации, не число узлов: DP по сетке (переходы: percented-узел | uniform-блок из k bare-стопов), допустимость — тот же коридор. Лайт-версия без DP: второй вертикальный RDP (douglasPeuckerVertical уже в кодовой базе) по массиву index→percent в бюджете tol/16·maxSlope. Дельта −25…45% байтов строки на пружинах с длинным хвостом. Целевая функция «байты в грамматике» — нет ни в литературе line simplification, ни у конкурентов.
3. Shortest-decimal-in-interval: локальные per-token бюджеты вместо глобальных progressDigits/percentDigits (один крутой сегмент не должен заставлять все токены нести лишние знаки); печатать кратчайшую запись внутри доказанного интервала; per-pair guard от схлопывания percent + монотонность-тест. −5…12% строки. Остаточную свободу цифр (равнодлинные записи) — на gzip-снап через существующий compression-oracle.mjs.
4. regex-free roundShortest: ручной суффикс-скан вместо .replace(/\.?0+$/,'') — −20…35% времени эмиссии (~38% cold-compile) — забрать при имплементации perf(compositor): локальная энергетическая сетка вместо global worst-case oversampling #228.

Всё — versioned compiler-only портфель, легальная зона резолюции #232. Замер: canonicalGzip на корпусе compiler-acceptance артефактов, не raw. После лендинга — сертификат оптимальности (отдельный issue). Связи: #228, #232, #222, #237.

[lemone112]

Пункт 4 (regex-free roundShortest) — замер 2026-07-23: NO-GO в runtime-эмиттере по size-гейту

Реализован суффикс-скан (byte-идентичность подтверждена существующим дифф-фаззом 8000+ кейсов — зелёный), замеры:

Метрика	Значение
Изолированный helper (микробенч 200k+ вызовов, p50 из 7)	1.68× быстрее (24.3 против 40.9 мс)
End-to-end cold compile (корпус 39 точек, p50 из 30, поверх энергетической сетки #228/PR #246)	медиана 1.06× — скромно: на адаптивной сетке стопов мало, эмиссия уже не 38% профиля
Цена в байтах	+40 B gz compositor-stagger capability (6483→6523 > порога 6510) и +38 B animate+compositor (13093→13131 > порога 13130) — пробивает ДВА жёстких порога

Вердикт: тот же класс, что NO-GO ведущего нуля (#232) — размер здесь трамп-карта, «порог не поднимать без решения Даниила». Ветка удалена без пуша. Если пункты 1–3 портфеля (min-link коридор + DP байт-оптимум + percent-элизия) когда-нибудь высвободят байты в этих графах — пункт 4 забирается бесплатно тем же патчем (реализация тривиальна и лежит в этом комментарии как спецификация: скан хвостовых «0», затем опциональная «.», guard «-0»; при d≥1 точка отделяет целые нули — семантика \.?0+$ точная).

---

Generated by Claude Code

[lemone112]

Спайк пунктов 1–3 (2026-07-23, wf_9087dc67): GO — портфель сертифицирован на всех 54 точках, −27.6% байт артефактов

Прототип поверх claude/lm-228-energy-grid @ 12923bc (адаптивная сетка #228 не тронута). Полный отчёт с листингами передан владельцу файлом (worktree эфемерен); главное:

Метрика	(a) production	(b) +min-link	(c) +shortest-decimal	(d′) всё + элизия min(c,d)
Σ стопов	9622	8675 (−9.8%)	8675	8675
Σ байт строк	167 595	151 244 (−9.8%)	139 894 (−16.5%)	121 420 (−27.6%)
certified worst err/tol (все 216 замеров)	0.775	0.808	0.804	0.809 ≤ 1
canonicalGzip корпуса	64 955			46 238 (−28.8%)

Экономия per-point (a)→(d′): медиана 24.6%, худшая 7.8%, лучшая 32.0%. Элидировано percent-токенов 29.5%; жадный min-link против DP-нижней-границы: +1–2 звена (ζ=0.5: 37 при LB 36). SSOT-нарушений samples≡parser: 0 (равнораспределение бит-в-бит с test/css-linear-reference.ts).

План production (из спайка): PR-1 — minLinkCorridor (жадный stabbing двойным клином, O(n); пины (0,0)/tangent-anchor/хвост [1,1]) вместо douglasPeuckerVertical в tryBuildSpringNodes, полуширина 3tol/8 — замкнутая арифметика tol/2+3tol/8+tol/8 сохраняется; PR-2 — per-token эмиттер в emitArtifact (shortestInInterval, progress ±tol/16, percent ±(tol/16|tol/32)/L с анти-коллапс капом 0.49·gap), elision-RDP по index→percent (eps (tol/32)/L_loc), безусловная элизия 0%/100%, детерминированный выбор min(bytes_c, bytes_d); samples — равнораспределяющей арифметикой спеки. Кэш-тюплы/resting/nano не меняются.

Блокеры до мержа (риски спайка):

1. Size-gate: +0.7–1.0 KB min кода в compositor-граф, а экономия артефактных байт (runtime-строки) гейтом не засчитывается — headroom capability 27 B / a+c 36 B ⇒ ratchet-конфликт, нужно решение Даниила (поднять пороги под портфель) ЛИБО перенос эмиттера в compiler-only зону (буква issue: «versioned compiler-only портфель») — тогда сначала мигрировать compiled-артефакты на curve.ts-пайплайн (инфраструктура Facade-erasure: static lowering полного ./animate в compiled-путь (замерено 776 B против 12466) #240, план в соседнем issue).
2. Cold compile: спайковый min-link ~16× медленнее (тернарки) — production обязан O(n) funnel/двойной клин + бенч-гейт.
3. compositor-cold-compile-differential пинит kept-индексы RDP — подлежит замене corridor-инвариантами.
4. generatorVersion: если v2-корпус (perf(#228): локальная энергетическая сетка — certified-бонды кривизны вместо global worst-case oversampling #246) уедет в релиз раньше портфеля — bump до 3.
5. Худший запас упал 0.775→0.809 (19% запаса) — переприцел mutation-тестов констант.

---

Generated by Claude Code