feat(core): мигрировать PairLabel на приватный appearance-граф (#307)

[lemone112]

Closes #307. Owner: #298.

Root

Production resolve_pair_label вручную собирал derived-поверхность; физическая топология не была объявлена.

Что сделано

• Приватный appearance-граф (appearance.rs, pub(crate)): атомарный compile (валидация → канонизация по typed ID → детерминированный topo), fail-closed evaluate (bindings, NaN/∞/α-домен через SSOT-валидатор), единственный композитор alpha::composite_over_srgb8, replayable-сертификат (α через to_bits), trace-счётчики. Клиентских имён в графе нет.
• Production resolve_pair_label — compatibility-адаптер над одним статическим компонентом (OnceLock); foreground решается из возвращённого occurrence-источника (resolve_hued_anchor_from_encoded_source).
• Старый путь заморожен как test-only differential oracle.

RED → GREEN

Структурный RED: E0583 file not found for module appearance (intentional, воспроизведён до реализации). Все тесты RED-файла GREEN без ослабления.

Proof ledger

• Differential-матрица: 5 семей × 4 режима × 6 фонов (each с подписанным происхождением) + property (произвольные source/context/α/fraction/floor/mode) — production == frozen oracle по всем полям Resolved, включая замороженные публичные тексты отказов невалидной α.
• Fail-closed юниты на каждый класс GraphError; replay-сертификат property; identity-edge witness; PairFill ≠ поверхность PairLabel (санитарный witness BUG/PAIR: PairFill Ink расходится с фактическим nested polarity law #305).
• 4 targeted mutation-пробы убиты (swap source/backdrop; occurrence→page; подмена identity; пропуск ребра).
• appearance.rs добавлен в mutation examine_globs.

Public drift

Нет: goldens/fingerprint/WASM JSON/CSS vars/adaptive trace byte-identical (полный workspace, npm 105/105, release:verify, headless Chrome 12/12 — локально зелёные).

Docs

Убрано ложное ребро PairFill→PairLabel из README/whitepaper/semantic/config; verification-map получила graph-секцию; UI_FLOOR из SSOT (Floor::AaUi), 1e-9 удалён из затронутых утверждений.

Rollback

Revert одного squash-коммита; публичные байты не менялись.

🤖 Generated with Claude Code

Summary by CodeRabbit

• Новые возможности

  • Улучшено вычисление контраста подписей на цветных бейджах: теперь оно учитывает фактически отображаемую локальную поверхность.
  • Добавлена более детерминированная обработка вложенных цветовых композиций.

• Исправления

  • Повышена стабильность результатов для разных цветовых сочетаний и тем.
  • Некорректные значения прозрачности теперь обрабатываются предсказуемо и безопасно.

• Документация

  • Обновлены описания правил контраста, цветовых рецептов и проверок корректности.

[coderabbitai]

Caution

Review failed

The pull request is closed.

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro Plus

Run ID: f154623f-4d70-4ad9-8783-c9edb768ec06

📥 Commits

Reviewing files that changed from the base of the PR and between 52d7895 and d8d6ea7.

📒 Files selected for processing (11)

• .cargo/mutants.toml
• README.md
• crates/labcolors-core/src/alpha.rs
• crates/labcolors-core/src/appearance.rs
• crates/labcolors-core/src/appearance_graph_tests.rs
• crates/labcolors-core/src/config.rs
• crates/labcolors-core/src/lib.rs
• crates/labcolors-core/src/pair_label_tests.rs
• crates/labcolors-core/src/semantic.rs
• docs/verification-map.md
• docs/whitepaper.md

---

Walkthrough

Добавлен приватный appearance-граф с типизированными декларациями, детерминированной компиляцией, точной source-over-композицией и сертификатами. Production-путь PairLabel переведён на derived-поверхность графа, а тесты фиксируют эквивалентность legacy-результатов и корректность зависимостей.

Changes

Миграция appearance-графа

Layer / File(s)	Summary
Контракты графа и SSOT-композитор crates/labcolors-core/src/alpha.rs, crates/labcolors-core/src/appearance.rs	Добавлены typed handles, описания поверхностей и occurrences, типизированные ошибки, общий валидатор alpha, bindings, execution trace и replayable source-over certificates.
Компиляция и исполнение графа crates/labcolors-core/src/appearance.rs	Граф канонизирует декларации, проверяет ссылки и циклы, строит topological order и вычисляет derived-поверхности через composite_over_srgb8.
Подключение PairLabel crates/labcolors-core/src/semantic.rs, crates/labcolors-core/src/config.rs, crates/labcolors-core/src/lib.rs	PairLabel использует compiled appearance-граф, разрешает foreground против derived tint-поверхности и сохраняет legacy oracle для сравнений.
Контрактные тесты и документация миграции crates/labcolors-core/src/appearance_graph_tests.rs, crates/labcolors-core/src/pair_label_tests.rs, README.md, docs/*, .cargo/mutants.toml	Добавлены проверки зависимостей, fail-closed ошибок, alpha-домена, certificate replay и differential-эквивалентности production с legacy-путём; обновлены документация и mutation scope.

Estimated code review effort: 4 (Complex) | ~60 minutes

Sequence Diagram(s)

sequenceDiagram
  participant PairLabel
  participant AppearanceGraph
  participant Alpha
  participant HuedAnchor
  PairLabel->>AppearanceGraph: evaluate bindings
  AppearanceGraph->>Alpha: composite_over_srgb8
  Alpha-->>AppearanceGraph: derived surface RGB
  AppearanceGraph-->>PairLabel: resolved foreground occurrence
  PairLabel->>HuedAnchor: resolve against derived surface
  HuedAnchor-->>PairLabel: resolved PairLabel

Loading

Possibly related issues

• BUG/PAIR: PairFill Ink расходится с фактическим nested polarity law #305 — описывает разделение PairLabel и эмитируемого PairFill, отражённое в этой миграции.
• ARCH/SCIENCE: решать и проверять связанный color/token graph совместно #244 — связан с введением typed appearance-графа и derived-surface пути.
• OWNER/ARCH: Appearance Contract Graph migration #298 — связан с реализацией Appearance Contract Graph и подключением PairLabel.
• CURRENT STATUS: M2a/M2b merged (#514) - next: semantic verifier / O1b #228 — обозначает архитектурный correctness-root для appearance-графа и миграции PairLabel.
• API: единый структурированный compile/resolve/runtime error contract без panic и silent fallback #41 — связан с типизированными ошибками и fail-closed валидацией графа.

Possibly related PRs

• Labpics-Team/lab-colors#269 — изменяет общий alpha/source-over API, который используется новым appearance-графом.

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch agent/appearance-graph-shadow

---

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