Nano-трек: гольф до sub-1000 B + огибающе-растянутая сетка springLinear

[lemone112]

Вердикт свипа идей (81 → 20 кластеров, 2026-07-23): STRONG, приоритет Tier-1. Два связанных элемента — порядок обязателен (гольф создаёт headroom, warp его тратит).

1. Гольф-пакет (−85…150 B gz, цель 1002 → sub-1000)

• animation.finished.then(...) вместо new Promise((resolve,reject)=>{...finished.catch(reject); addEventListener('finish',...)}) — реджект протекает нативно; тот же хвост продублирован в src/compiler/runtime (−20…30 B и там). Проверить microtask-vs-event порядок при duration:0.
• Единый цикл сборки кадра: if (props.scale != null) спецветка дублирует общий цикл (мёртвая); rotate — единственный честный спецкейс (deg-суффикс). Проверить, что C4 не пинит порядок ключей кадра.
• addEventListener('finish') → onfinish (Animation принадлежит nano).
• ln-слияние: max(ln a, ln b)/α ≡ ln(max(a,b))/α; Number.isFinite(k+c+m) вместо .every(isFinite) (отрицательные уже отвергнуты >0-проверкой; переполнение суммы отвергает только абсурдные пружины).
• ⚠️ Замена do/while на замкнутую верхнюю ln-границу длительности удлиняет duration → у overdamped может вырасти count и строка. Мерить строку, не только код; underdamped не затронут (уже замкнутая форма).

2. Огибающе-растянутая сетка (перенос инсайта #228 в замкнутую форму SSOT)

count = ceil(T·w/√(8ε)) равномерен, хотя |x″| = w²·e^{−at} затухает экспоненциально — хвост пере-сэмплирован. Квадратичный warp t_i = T·(i/count)² (плотность ~√|x″|): 107 → ~42 стопа, строка ~750 → ~290 символов; точный exp-warp — ~23 стопа, но дороже кодом.

• Цена: +12–18 B min+gz в nano-графе (headroom сейчас 22 B — потому сначала гольф).
• Сертификация: ошибка сегмента ≤ h²·|x″(левый конец)|/8 — огибающая монотонна, оценка строгая.
• Паритет runtime↔compiled по построению: spring-linear.ts — SSOT, обе стороны двигаются вместе. feat(compiler): serialization-aware portfolio выбирает минимальный сертифицированный artifact #232 не нарушен (меняется сетка, не текстовая эмиссия). Пины строк обновляются одним versioned-коммитом.
• Выигрыш двусторонний: runtime (быстрее CSS-парс, меньше retained-памяти Animation, генерация 2.5–4.7×) и compiled-артефакт (~300–350 B gz → ~80–150 B).

Первый шаг: копия springLinear с warp → дифф max|Δ| < ε на плотной сетке → size-gate. Вердикт за полчаса.

Гейт NANO_GATE_BYTES=1024 — продуктовая граница, не трогать; ратчет вниз по факту. Связи: #228, #232.

[lemone112]

Гольф-пакет, замер по факту (c5ac844):

• ✅ Единый цикл кадра: 1002 → 977 B gz (−25 B) — sub-1000 взят уже этим шейвом. 3908 тестов зелёные.
• ❌ finished.then вместо listener (−28 B по замеру): отклонён тестом пина «чистит каждый replay» — finished-промис резолвится один раз, listener же коммитит n-й finish после play(). Это документированный контракт, байты его не оплачивают. NB-комментарий оставлен в хвосте (nano + зеркало compiler/runtime).
• Остальные пункты пакета (onfinish — снят вместе с finished.then; ln-слияние; замкнутая граница длительности с ⚠️ про рост строки overdamped) и warp-сетка — впереди; headroom теперь 47 B.

---

Generated by Claude Code

[lemone112]

Скоуп-коррекция: warp-сетка (часть 2) в nano-runtime — NO-GO по грамматике, без замера.

nano эмитит values-only linear(${points}), а алгоритм спеки (пин в test/css-linear-reference.ts, шаги 2–3: края без позиции → 0%/100%, пропущенные позиции → линейное распределение между явными соседями) размещает безпроцентные стопы равномерно. Warped-сэмплы t_i = T·(i/count)², эмитированные values-only, браузер разложит по равномерной сетке — кривая исказится на каждом стопе. Чтобы warp работал, нужны percent-токены: ~42 стопа × ~13 симв. ≈ 550 chars (вместо обещанных 160–290), плюс код форматирования процентов в nano-графе — далеко за +12–18 B. Заявленная генератором дельта игнорировала стоимость процентов.

Вывод: nano остаётся на равномерной values-only сетке (это и есть его байтовое преимущество); неравномерное сэмплирование — законная территория compiler-портфеля #238 (min-link/DP уже работают с percent-токенами и решают ровно эту задачу оптимально, а не эвристическим warp'ом).

Остаток #235: ln-слияние (−10…20 B), замкнутая граница длительности (⚠️ рост строки overdamped — мерить строку). Факт после части 1: 977 B gz, headroom 47 B.

---

Generated by Claude Code

[lemone112]

Коррекция фактов после ревью-фикса onfinish (83921cc): чистка finish отложена микротаском + guard по playState — пользовательские listeners теперь видят finished-состояние, replay из хендлера не затаптывается. Цена корректности: nano 977 → 1008 B gz (sub-1000 временно потерян), compiler/runtime 365 → 386 (exact-ратчет решением). Оставшийся гольф (ln-слияние, isFinite-слияние: −15…30 B; ⚠️ оба ULP-сдвигают duration → versioned-пины) — кандидат на возврат sub-1000; замерить при следующем заходе в nano-граф.

---

Generated by Claude Code