Компоситорные перф-новеллы: аддитивный ретаргет суперпозицией, tail-handoff, phase-shift базис staggers

[lemone112]

Вердикт свипа (2026-07-23): STRONG по всем трём (после байтовых треков — «размер важнее»). Все три — следствия аналитической физики, недоступные твин-либам; настоящие novel-кандидаты.

1. Аддитивный ретаргет суперпозицией (composite:'add')

Пружина — LTI-система: реакция на смену цели на ΔT в момент t₁ = старая траектория + ΔT·(step-response из покоя, старт t₁). Mid-flight ретаргет на компоситоре = НЕ снимать (value,velocity) и не компилировать v0-кривую, а добавить второе WAAPI-животное с composite:'add' и уже закэшированной resting-кривой (restingCache в curve.ts). Ретаргет: с ~0.1–1 ms (компиляция на miss) до единиц µs.

• ⚠️ Требование из ревью: стек аддитивных кривых деградирует бюджет maxValueError линейно по глубине — учёт в контракте [compositor] Выражать reconstruction error в единицах результата #223 + консолидация на settle (commitStyles суммы, cancel стека, bounded-глубина).
• Скоуп: translate/opacity точно; scale через accumulate/(s−1) — отдельно; rotate/сложные списки — исключить.
• POC: числовой тест суперпозиции против solveSpring(v0) в пределах tolerance (вне DOM), затем browser-стенд (webkit-матрица уже в CI — composite-повеление Safari проверить обязательно).

2. Tail-handoff live→compositor (opt-in)

После последнего retarget траектория автономна — законная территория компоситора. K тихих кадров → снять (value,velocity) → компиляция остатка существующим generic-путём (после #228 — десятки µs) → element.animate + отписка от батча; возврат при перехвате — существующий compositor/handoff.ts. 60–70% длительности пружины (визуально затухающий хвост) уходит с main thread. Только при доказанно нативных Element.animate/commitStyles (hostile-host контракт); дисциплина поколений против реентерабельного supersede (#196).

3. Phase-shift базис для staggers

Staggered-юниты общей пружины: t_i = T − delay_i — это фазовый сдвиг; angle-addition даёт 3 константы/юнит на bind + один exp+sin+cos на кадр вместо N (якорь в dmax ⇒ все экспоненты ≤ 1, переполнения нет). Update-математика 1000 юнитов: ~60–100 µs → ~10–15 µs.

• ⚠️ Профилировать ДО кода: на DOM-сценах кадр ограничен записями стилей (итог −5…10%); полный 5–8× — canvas/MotionValue.
• Overdamped — только pole-space формулы (болезнь fix(core): устойчивый pole-space solver без потери медленного overdamped-полюса #226). Цена +80…150 B в animate — платить фасадным гольфом (Фасадный гольф-пакет: mangle-аудит + фабрика трёхрежимного ядра + style[group] — обогнать motion #236).

Связи: #223, #226, #228, #196, #236, #241 (perf-gate даст до/после).

[lemone112]

Численные POC (2026-07-23, wf_9087dc67): 1 — GO, 2 — GO, 3 — PARTIAL (дизайн-этап до кода)

Полный отчёт с выводами и таблицами передан владельцу файлом; вердикты:

1. Аддитивный ретаргет суперпозицией — GO

• Непрерывная математика: суперпозиция ≡ snapshot-ретаргет с точностью 1.78e-15 (value) / 8.9e-15 (velocity) — LTI-теорема подтверждена алгебраически и на корпусе.
• Сериализованные стеки depth 1/2/3 (tol=1/400): maxErr 2.03e-3 / 2.27e-3 / 2.74e-3 — внутри бюджета E1·(1+mass) с запасом (ratio ≤ 0.51/0.45/0.34); линейность по Σ|dT| подтверждена.
• Ключевая поправка контракта [compositor] Выражать reconstruction error в единицах результата #223: пол ошибки ε_endpoint ≈ 1.65e-3 от эндпоинт-снапа артефакта НЕ сжимается tolerance-ом ⇒ бюджет обязан быть maxValueError ≤ (tolerance + ε_endpoint)·(1 + Σ|dT_k|), иначе при tol<1e-3 нарушение до 4.1×. Плюс collapse-порог по массе (стек схлопывается обычным snapshot-ретаргетом), канальный гейт translate/opacity (scale — вне скоупа до accumulate/(s−1)), browser-differential на composite:'add' обязателен (кламп opacity в node не проверяем).

2. Phase-shift базис staggers — GO

• ε-паритет против solveSpring по-юнитно: ≤ 1.84e-14 (N=1000, 5 распределений) —但 НЕ бит-паритет (7–100% бит-совпадений) ⇒ контракт только ε-бюджетом.
• Переполнение α·dmax>709 реально (2751 NaN без гарда) — когортирование span≤700/rate обязательно (с ним 0 NaN / 2.0e-15); ζ→1± маршрутизируется в критическую ветку (|ζ−1|<1e-3, как в settle-законе).
• Бенч per-frame математики: N=1000 → 2.44 µs против 64.4 µs solveSpring (26.4×); N=100 → 0.33 против 7.73 (23.7×). Применимо только к main-thread fallback/nano/live путям — compositor-трек per-frame работы не делает.
• Байтовая цена (+80…150 B в animate) финансирования не имеет: гольф-резерв Фасадный гольф-пакет: mangle-аудит + фабрика трёхрежимного ядра + style[group] — обогнать motion #236 закрыт аудитом, headroom фасада 57 B ⇒ имплементация ждёт либо освобождения байт (перенос портфеля Compiler-портфель строк: min-link коридор + DP байт-оптимум + percent-элизия + shortest-decimal (один versioned-релиз с имплементацией #228) #238 в compiler-only), либо решения о пороге.

3. Tail-handoff — PARTIAL

Бюджет компиляции подтверждён фактом (p50 общий 106.6 µs; типовые ζ∈[0.3..2] — 27–82 µs; ζ=0.05 — до 749 µs; GC-хвост до 5.3 ms ⇒ компиляция только в idle/preflight). Браузерная цена эмиссии не измерена; каждый handoff — уникальный v0-ключ ⇒ гарантированный cache miss + LRU-вытеснение горячих ключей; hostile-host currentTime и поколения supersede #196 требуют дизайн-этапа до кода. План: факт-таблица в bench + design-doc, затем tryHandoffTailToCompositor через существующие execution/handoff-швы.

Планы имплементации по всем трём — файлом у владельца; порядок: 1 → 2 (после байтов) → 3 (после дизайна и browser-замера).

---

Generated by Claude Code