test(compositor): [#227] оракул root-matched recurrence — вердикт NO-GO

[lemone112]

Вердикт по GO/NO-GO-контракту #227: NO-GO для production

Issue сам предписывает: «если выигрыш не финансирует code size — сохранить benchmark/oracle и не оставлять production complexity». Ровно этот случай.

GO-часть подтверждена измерениями

• Inner loop: ×13.0–13.7 на сетках 256/1024/4096 (совпало с прогнозом issue 12.9–13.5×).
• End-to-end cold compile 200 пружин: 12.05 → 8.09 ms (−33%) против main — выигрыш сквозной, RDP/serialization не съедают его.
• Численная точность: дрейф ≤1e-7 на свипе under/critical/over/near-critical × v0 × сетки — 4 порядка запаса к бюджету дискретизации tol/2.

NO-GO-условие сработало на size

5 итераций гольфа production-кода (Виет для P, √P-форма, слитый цикл, α-Δ алгебра settle-боундов, oscillatory-only ветвь): минимальная цена +213 B gz сразу на ТРИ гейта (mixed 17704>17500, stagger-capability 6699>6600, фасад 15644>15600). Код не финансируется выигрышем; пороги не поднимаются (политика 2026-08-15).

Что входит в PR (test-only)

Независимый оракул segmenter-recurrence-oracle: рекуррентные коэффициенты строятся из полюсов независимо от production-кода, сравнение против аналитического сэмплера — 7 конфигураций × 3 сетки. Капитализация исследования: любой будущий заход на #227 (например, при появлении size-headroom от #235/#239) стартует с готового оракула, а не с нуля.

Отклонённые альтернативы (доказательно)

• S,P из 4 аналитических сэмплов (2×2 система): дрейф до 2.1e-5 — численно неустойчиво.
• P по Виету + S из одного сэмпла: расходится до 2.0 (полный развал).
  Коэффициенты обязаны строиться из полюсов — класс зафиксирован в оракуле.

Гейты

Тесты 3978 passed локально; production-код не тронут (size PASS тривиально).

Контекст плана

Узел COMP-06 трека lab-motion-production → закрывается вердиктом prove-or-refute (гейт плана допускает формальное опровержение как exit).

[coderabbitai]

Warning

Review limit reached

You’ve reached a temporary PR review limit under our Fair Usage Limits Policy.

Your current included review allowance is based on your included PR review attempts over the past 7 days.

Next review available in: 44 minutes

Limit details: You’ve used the included review currently available. Your 105 included PR review attempts over the past 7 days set your current allowance at 1 review per hour.

Enable usage-based reviews in Billing to review now. Otherwise, wait until the next included review is available.
You're only billed for reviews past your plan's rate limits ($0.25/file).

How can I continue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

To avoid repeated limits, reduce automatic review volume by pausing incremental auto-reviews earlier, using label-based review opt-in, excluding WIP or generated PR titles, or requesting reviews manually when the PR is ready. If your team needs uninterrupted high-volume reviews, an organization admin can enable usage-based reviews.

How do review limits work?

CodeRabbit enforces per-developer PR review limits within each organization.

For paid Pro and Pro+ reviews, CodeRabbit uses a developer's included PR review attempts over the past 7 days to set the current hourly allowance. At typical activity levels, the full plan allowance applies. Higher sustained activity can lower the allowance until earlier attempts leave the 7-day window.

Please refer docs for additional details.

Review details

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro Plus

Run ID: df5edc55-260b-420b-ac1d-4e02d65043c8

📥 Commits

Reviewing files that changed from the base of the PR and between 7adc4ac and 95ac69a.

📒 Files selected for processing (1)

• test/segmenter-recurrence-oracle.test.ts

---

_{Comment @coderabbitai help to get the list of available commands.}