Skip to content

test(viewer): tokens SSOT proptest surface (WBS-6.2 #450) - #465

Closed
KooshaPari wants to merge 1 commit into
mainfrom
fix/viewer-tokens-properties-20260808
Closed

test(viewer): tokens SSOT proptest surface (WBS-6.2 #450)#465
KooshaPari wants to merge 1 commit into
mainfrom
fix/viewer-tokens-properties-20260808

Conversation

@KooshaPari

@KooshaPari KooshaPari commented Aug 9, 2026

Copy link
Copy Markdown
Owner

User description

Summary

Adds crates/sl-viewer/tests/properties_viewer_tokens.rs with 10 proptest properties pinning the tokens module SSOT invariants (WBS-6.2 #450).

lab_coat::* (4 properties)

  • Every hex is a well-formed #RRGGBB (7-char lowercase ASCII hex).
  • Every hex is non-empty.
  • All 16 documented hex constants are pairwise distinct.
  • Every hex appears in TOKENS_CSS.

REQUIRED_CSS_VARS (4 properties)

  • Every entry starts with --.
  • Every entry is non-empty.
  • The set is duplicate-free.
  • Every entry appears in TOKENS_CSS.

VIEWER_COLOR_SCHEME (2 properties)

  • Declares both :root and :root[data-theme="dark"] selectors.
  • Uses color-scheme exactly twice.

Validation

  • cargo test -p sl-viewer --test properties_viewer_tokens --features "desktop parquet" --locked — 10 passed
  • cargo fmt --all --check — clean

WBS / TRACEABILITY

WBS-6.2 evidence list and TRACEABILITY.json gain crates/sl-viewer/tests/properties_viewer_tokens.rs. CHANGELOG Unreleased documents the new surface.


CodeAnt-AI Description

Add property coverage for viewer color-token consistency

What Changed

  • Added automated checks that viewer palette values use valid, distinct lowercase hex colors and are present in the shared CSS.
  • Added checks that required CSS variables are valid, unique, and defined in the shared CSS.
  • Added checks that light and dark color-scheme selectors are both configured with the expected browser color-scheme declarations.
  • Recorded the new token checks in the verification documents and changelog.

Impact

✅ Fewer viewer theme regressions
✅ Consistent Rust and CSS color tokens
✅ Reliable light and dark mode wiring

💡 Usage Guide

Checking Your Pull Request

Every time you make a pull request, our system automatically looks through it. We check for security issues, mistakes in how you're setting up your infrastructure, and common code problems. We do this to make sure your changes are solid and won't cause any trouble later.

Talking to CodeAnt AI

Got a question or need a hand with something in your pull request? You can easily get in touch with CodeAnt AI right here. Just type the following in a comment on your pull request, and replace "Your question here" with whatever you want to ask:

@codeant-ai ask: Your question here

This lets you have a chat with CodeAnt AI about your pull request, making it easier to understand and improve your code.

Example

@codeant-ai ask: Can you suggest a safer alternative to storing this secret?

Preserve Org Learnings with CodeAnt

You can record team preferences so CodeAnt AI applies them in future reviews. Reply directly to the specific CodeAnt AI suggestion (in the same thread) and replace "Your feedback here" with your input:

@codeant-ai: Your feedback here

This helps CodeAnt AI learn and adapt to your team's coding style and standards.

Example

@codeant-ai: Do not flag unused imports.

Retrigger review

Ask CodeAnt AI to review the PR again, by typing:

@codeant-ai: review

Check Your Repository Health

To analyze the health of your code repository, visit our dashboard at https://app.codeant.ai. This tool helps you identify potential issues and areas for improvement in your codebase, ensuring your repository maintains high standards of code health.

Adds crates/sl-viewer/tests/properties_viewer_tokens.rs with 10
proptest properties pinning the design-token SSOT invariants:

* lab_coat::*:
  * Every hex is a well-formed #RRGGBB (7-char lowercase ASCII hex).
  * Every hex is non-empty.
  * All 16 documented hex constants are pairwise distinct.
  * Every hex appears in TOKENS_CSS so the Rust mirror and the
    CSS SSOT stay in sync.
* REQUIRED_CSS_VARS:
  * Every entry starts with --.
  * Every entry is non-empty.
  * The set is duplicate-free.
  * Every entry appears in TOKENS_CSS.
* VIEWER_COLOR_SCHEME:
  * Declares both :root and :root[data-theme dark] selectors.
  * Uses color-scheme exactly twice.

Updates WBS-6.2 evidence list, TRACEABILITY.json, and CHANGELOG.
Copilot AI lite review requested due to automatic review settings August 9, 2026 22:18
@codeant-ai

codeant-ai Bot commented Aug 9, 2026

Copy link
Copy Markdown

🤖 CodeAnt AI — Review Status

Status Commit Started (UTC) Finished (UTC)
✅ Reviewed your PR e562a3b Aug 09, 2026 · 22:19 22:20

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@codeant-ai

codeant-ai Bot commented Aug 9, 2026

Copy link
Copy Markdown

Thanks for using CodeAnt! 🎉

We're free for open-source projects. if you're enjoying it, help us grow by sharing.

Share on X ·
Reddit ·
LinkedIn

@coderabbitai

coderabbitai Bot commented Aug 9, 2026

Copy link
Copy Markdown

Warning

Review limit reached

@KooshaPari, you've reached your PR review limit, so we couldn't start this review.

Next review available in: 47 minutes

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

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 for each organization. Most developers receive the normal plan review availability.

For paid Pro and Pro+ PR reviews, CodeRabbit uses adaptive limits for sustained high-volume activity. When a developer's recent PR review activity reaches the 95th percentile or higher among CodeRabbit users, additional reviews become available more gradually as earlier reviews age out of the rolling window.

Please refer docs for additional details.

Review details
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro Plus

Run ID: 9df107b5-05f1-4808-9c8d-5c22ac71fc33

📥 Commits

Reviewing files that changed from the base of the PR and between 89dbbcc and e562a3b.

📒 Files selected for processing (4)
  • CHANGELOG.md
  • crates/sl-viewer/tests/properties_viewer_tokens.rs
  • docs/ops/TRACEABILITY.json
  • docs/ops/WBS.md

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

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

@codeant-ai codeant-ai Bot added the size:L This PR changes 100-499 lines, ignoring generated files label Aug 9, 2026
Comment on lines +51 to +69
fn lab_coat_hex_list() -> &'static [&'static str] {
&[
lab_coat::LAB_WHITE,
lab_coat::SLATE,
lab_coat::COBALT,
lab_coat::COBALT_ON_DARK,
lab_coat::ORANGE,
lab_coat::TEAL,
lab_coat::TEAL_ON_DARK,
lab_coat::BG_DARK,
lab_coat::SURFACE_LIGHT,
lab_coat::BORDER_LIGHT,
lab_coat::BORDER_DARK,
lab_coat::TEXT_DARK,
lab_coat::TEXT_MUTED_LIGHT,
lab_coat::TEXT_MUTED_DARK,
lab_coat::DANGER_LIGHT,
lab_coat::DANGER_DARK,
]

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggestion: The list of constants is manually maintained, but these tests never compare it with the actual declarations in lab_coat. Adding a new public hex constant to tokens.rs without extending this list leaves every property green, contrary to the comment's claim that exhaustiveness is checked. Replace the hard-coded mirror with an independently verified declaration list or add a check that detects omissions. [incomplete implementation]

Severity Level: Major ⚠️
- ⚠️ New Lab-Coat tokens can bypass all properties.
- ⚠️ Rust/CSS token drift may reach viewer styling.
- ⚠️ Pairwise-distinctness coverage becomes incomplete.

Fix in Cursor Fix in VSCode Claude

Prompt for AI Agent 🤖
This is a comment left during a code review.

**Path:** crates/sl-viewer/tests/properties_viewer_tokens.rs
**Line:** 51:69
**Comment:**
	*Incomplete Implementation: The list of constants is manually maintained, but these tests never compare it with the actual declarations in `lab_coat`. Adding a new public hex constant to `tokens.rs` without extending this list leaves every property green, contrary to the comment's claim that exhaustiveness is checked. Replace the hard-coded mirror with an independently verified declaration list or add a check that detects omissions.

Validate the correctness of the flagged issue. If correct, How can I resolve this? If you propose a fix, implement it and please make it concise.
Once fix is implemented, also check other comments on the same PR, and ask user if the user wants to fix the rest of the comments as well. if said yes, then fetch all the comments validate the correctness and implement a minimal fix
👍 | 👎

Comment on lines +113 to +119
fn lab_coat_hex_in_tokens_css(i in lab_coat_hex_indices_strategy()) {
let hex = lab_coat_hex_list()[i];
prop_assert!(
TOKENS_CSS.contains(hex),
"TOKENS_CSS missing lab_coat hex {:?}",
hex,
);

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggestion: Checking only TOKENS_CSS.contains(hex) does not verify that the hex is assigned to its corresponding Lab-Coat token. A mirror value can be changed to a hex used by an unrelated CSS declaration and this property will still pass, so verify the variable name and value on the same declaration line as the existing unit test does. [logic error]

Severity Level: Major ⚠️
- ⚠️ Rust palette values can map to wrong CSS tokens.
- ⚠️ Viewer light or dark colors may visibly drift.
- ⚠️ Existing stronger mapping coverage excludes newer constants.

Fix in Cursor Fix in VSCode Claude

Prompt for AI Agent 🤖
This is a comment left during a code review.

**Path:** crates/sl-viewer/tests/properties_viewer_tokens.rs
**Line:** 113:119
**Comment:**
	*Logic Error: Checking only `TOKENS_CSS.contains(hex)` does not verify that the hex is assigned to its corresponding Lab-Coat token. A mirror value can be changed to a hex used by an unrelated CSS declaration and this property will still pass, so verify the variable name and value on the same declaration line as the existing unit test does.

Validate the correctness of the flagged issue. If correct, How can I resolve this? If you propose a fix, implement it and please make it concise.
Once fix is implemented, also check other comments on the same PR, and ask user if the user wants to fix the rest of the comments as well. if said yes, then fetch all the comments validate the correctness and implement a minimal fix
👍 | 👎

@KooshaPari

Copy link
Copy Markdown
Owner Author

Closing due to merge conflicts.

@KooshaPari KooshaPari closed this Aug 9, 2026
@KooshaPari
KooshaPari deleted the fix/viewer-tokens-properties-20260808 branch August 9, 2026 22:25
@kilo-code-bot

kilo-code-bot Bot commented Aug 9, 2026

Copy link
Copy Markdown

Code Review Summary

Status: No New Issues Found | Recommendation: Merge

Files Reviewed (4 files)
  • crates/sl-viewer/tests/properties_viewer_tokens.rs
  • CHANGELOG.md
  • docs/ops/TRACEABILITY.json
  • docs/ops/WBS.md

Reviewed by step-3.7-flash · Input: 56.3K · Output: 17.5K · Cached: 287K

KooshaPari pushed a commit that referenced this pull request Aug 10, 2026
KooshaPari added a commit that referenced this pull request Aug 12, 2026
Adds the viewer context and contract proptest evidence surface that completes the WBS-6.2 #483 #464 #465 #466 handoff.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:L This PR changes 100-499 lines, ignoring generated files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants