FROZEN: research/extraction branch конечного цветового ядра

[lemone112]

Статус

Заморожен. Не предназначен для merge.

Этот mega-PR служит только:

• audit trail;
• хранилищем контрпримеров;
• research prototype;
• источником для повторного извлечения независимых вертикальных срезов.

Green CI не делает 75-файловый diff обозримым, научно доказанным или архитектурно допустимым.

Единственный допустимый перенос

Новый production-код из этой ветки переносится только отдельным PR от актуального main:

контрпример / RED-тест
→ минимальная повторная реализация
→ полный CI
→ гетерогенное ревью
→ squash merge

Слепой cherry-pick крупных коммитов запрещён.

Доказанный кандидат на извлечение

Конечная NeutralCurve

• путь проходит через фактический sRGB encode → clamp → round → decode quantizer;
• для каждого следующего channel byte ищется первое representable f64 t;
• независимый RED-контрпример #090900 восстановлен;
• inverse half-byte wall не считается production quantizer.

Cross-runtime доказательство остаётся #223. Срез повторно реализуется отдельным PR.

Research prototype ColorQuality

Ветка содержит неканонический прототип:

• ранний appearance context;
• audit без weighted scalar;
• frozen warm-dark interaction вместо человеческого Clean/Dirty;
• тесты против verdict по знаку формулы.

Он не является production API. Полная модель, issue graph и gates сформированы после исследования в:

• CURRENT STATUS: M2a/M2b merged (#514) - next: semantic verifier / O1b #228 — динамический SSOT;
• EPIC / PRODUCT DoD: адаптивный compiler + runtime до 100% production-ready #248 — статический whole-product Definition of Done;
• SCIENCE/DDD: разделить medium, stimulus relation и scene interpretation #230–SCIENCE/ARCH: типизировать photopic, mesopic и scotopic low-luminance domain #256 — evidence, context, metrology, observer, family, solver и policy contracts.

Правила ветки

• не добавлять product features;
• не мержить;
• не переводить ready;
• не использовать как base новой production-ветки;
• после извлечения доказанных частей закрыть как superseded.

Актуальная очередь намеренно не копируется сюда: единственный SSOT — #228.

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro Plus

Run ID: 3710860b-06c4-4d1c-8575-7d78f87aba3b

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch agent/scientific-color-core

---

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

[lemone112]

@coderabbitai review

Нужен полный review текущего merge-кандидата после синхронизации с main. Особый фокус: branch-sensitive powf/interval claims, finite sRGB8 path, публичные panic-paths, local-cell quantization vs заявленная глобальность, API migrations и вакуумные тесты.

[coderabbitai]

@lemone112 Принято. Проведу полный повторный review текущего merge-кандидата с отдельной проверкой указанных численных, конечных sRGB8, panic-safety, API-миграционных и тестовых аспектов.

✅ Action performed

Full review finished.

---

You're currently rate limited under our Fair Usage Limits Policy. Your recent PR review activity is in the 95th percentile or higher among CodeRabbit users, so adaptive limits apply. Your next review will be available in 34 minutes.

[lemone112]

Гетерогенное ревью, срез «конечная нейтральная кривая»:

BLOCKER найден и исправляется. Реализация перечисляла переходы через аналитическую inverse half-byte wall, но фактическая эмиссия использует forward srgb_gamma → clamp → round. Из-за f64/libm round-trip эти границы не эквивалентны: конкретный путь #090A00 → #000100 содержит реальное состояние #090900, которое half-wall перечисление теряло. Последний коммит ветки удалял независимый RED-тест вместо исправления алгоритма.

Сделано:

• RED-тест neutral_quantization_exactness.rs возвращён;
• NeutralCurve переведена на поиск первого представимого t через общий production quantise_srgb по полному порядку положительных f64;
• документация ограничивает claim текущим runtime и прямо оставляет cross-runtime сертификацию в #223;
• временный pinned-rustfmt probe применяет только механический формат и будет удалён.

PR оставлен draft. Merge запрещён до зелёных гейтов и закрытия остальных blockers (#223, #218, #41/публичные panic-paths, overclaim «сертифицировано»).

[lemone112]

API-review blocker: NeutralCurve::at и AccentCurve::try_at принимают публичный f64, но новый код использует assert!(t.is_finite()); AccentCurve::at дополнительно скрывает IsoHkError через .expect. Это расширяет публичные panic-paths и нарушает корневой контракт AGENTS.md. Исправление должно быть единым с #41: структурированный Result на внешнем вводе, без произвольного NaN-fallback. До миграции merge остаётся заблокирован.

[lemone112]

Решение по дальнейшей судьбе PR

После screen-native research (#230–#232) этот mega-PR нельзя использовать как ветку для дальнейшего наращивания production-модели.

Причины:

• 73 изменённых файла и несколько независимых доменов в одном diff;
• публичная Dirt/cleanliness-семантика научно superseded ARCH/SCIENCE: разделить facts, visibility, research, observers и contracts #231;
• appearance context отсутствует SCIENCE/DDD: разделить medium, stimulus relation и scene interpretation #230;
• projection/default policy блокируется screen psychophysics SCIENCE/DATA: secondary analysis of published observer datasets #232;
• остаются независимые blockers API: единый структурированный compile/resolve/runtime error contract без panic и silent fallback #41/ARCH/NUMERICS: построить доказуемый finite constraint solver per output domain #218/NUMERICS: доказать cross-runtime устойчивость branch-sensitive color decisions #223;
• извлечение доказательства из зелёного CI для такого diff слабее, чем для вертикальных срезов.

Канонический план

1. Заморозить FROZEN: research/extraction branch конечного цветового ядра #226 как исследовательскую/extraction ветку; не добавлять новые продуктовые возможности.
2. Новую реализацию SCIENCE/DDD: разделить medium, stimulus relation и scene interpretation #230 начать от актуального main отдельным PR.
3. ARCH/SCIENCE: разделить facts, visibility, research, observers и contracts #231 реализовать следующим вертикальным PR поверх слитого SCIENCE/DDD: разделить medium, stimulus relation и scene interpretation #230.
4. Из FROZEN: research/extraction branch конечного цветового ядра #226 переносить только фрагменты, повторно прошедшие RED → implementation → reference/property tests в новом срезе; не cherry-pick целых исторических коммитов без ревью.
5. Остальные независимые улучшения FROZEN: research/extraction branch конечного цветового ядра #226 извлечь отдельными Issues/PR по зависимостям.
6. После извлечения доказанных частей закрыть FROZEN: research/extraction branch конечного цветового ядра #226 как superseded, не merge.

#226 остаётся полезным audit trail и источником контрпримеров, но не должен стать обходом требований AGENTS.md к одному связному срезу и отсутствию средних/высоких дефектов.

[lemone112]

Архивная функция PR выполнена: контрпримеры, research-прототипы и направления извлечения зафиксированы в issue-графе (#218, #223, #228, #230–#256), а production-срезы идут отдельными ветками от актуального main (например, #269). Открытый статус больше не несёт рабочей семантики и загрязняет очередь. Закрываю без merge как superseded; история, diff и branch остаются доступными только как audit trail. Любой дальнейший перенос — исключительно повторной реализацией через RED-тест и отдельный PR.