Skip to content

test(viewer): help_overlay + settings_tab proptest surfaces (WBS-6.2 #455 #456) - #470

Closed
KooshaPari wants to merge 2 commits into
mainfrom
fix/viewer-mock-data-properties-20260809
Closed

test(viewer): help_overlay + settings_tab proptest surfaces (WBS-6.2 #455 #456)#470
KooshaPari wants to merge 2 commits into
mainfrom
fix/viewer-mock-data-properties-20260809

Conversation

@KooshaPari

@KooshaPari KooshaPari commented Aug 10, 2026

Copy link
Copy Markdown
Owner

User description

Summary

Two property-test surfaces consolidated on a single branch:

crates/sl-viewer/tests/properties_viewer_help_overlay.rs (WBS-6.2 #455)

13 proptest properties pinning help_overlay::SHORTCUTS invariants:

  • SHORTCUTS is non-empty.
  • Every shortcut has non-empty keys / scope / action.
  • Every action is descriptive (has at least one ASCII letter) and human-readable (no ERR_ / error code leaks).
  • Every (keys, scope) pair is unique.
  • The ? help toggle, Escape close, and Cmd+K / Ctrl+K command palette shortcuts are present.
  • Every scope is one of the documented panel scopes.
  • Every keys is non-blank.

crates/sl-viewer/tests/properties_viewer_settings_tab.rs (WBS-6.2 #456)

11 proptest properties pinning settings_tab::HealthStatus enum + THEME_RADIO_GROUP_ID SSOT:

  • HealthStatus::Unknown / Healthy / Unreachable label() values match the documented strings.
  • Every variant's label is non-empty, distinct, single-line, lowercase ASCII, deterministic.
  • THEME_RADIO_GROUP_ID is non-empty, kebab-case ASCII, distinct from FORGE_DB_HINT_STORAGE_KEY.

Validation

  • cargo test -p sl-viewer --test properties_viewer_help_overlay --features "desktop parquet" --locked — 13 passed
  • cargo test -p sl-viewer --test properties_viewer_settings_tab --features "desktop parquet" --locked — 11 passed
  • cargo fmt --all --check — clean

WBS / TRACEABILITY

WBS-6.2 evidence list and TRACEABILITY.json gain both new files. CHANGELOG Unreleased documents both surfaces.


CodeAnt-AI Description

Add property-test coverage for viewer shortcuts and settings status labels

What Changed

  • Validates that the viewer help overlay contains the expected help, close, and command-palette shortcuts with readable, non-duplicated labels and documented scopes.
  • Validates that settings health labels remain stable, distinct, single-line, and use the expected checking, healthy, and unreachable values.
  • Validates that the theme control identifier remains usable and separate from the database hint storage key.
  • Records both test surfaces in the WBS evidence, traceability records, and changelog.

Impact

✅ Fewer broken or misleading help-overlay shortcuts
✅ Clearer settings health status labels
✅ More reliable theme-control and test selectors

💡 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.

SessionLedger Bot added 2 commits August 9, 2026 18:48
Adds crates/sl-viewer/tests/properties_viewer_help_overlay.rs with
13 proptest properties pinning the keyboard help SSOT:

* SHORTCUTS is non-empty.
* Every shortcut has non-empty keys / scope / action.
* Every action is descriptive (has at least one ASCII letter) and
  human-readable (no ERR_ / error code leaks).
* Every (keys, scope) pair is unique so the rendered table does
  not collide on its React key.
* The ?, Escape, and Cmd+K / Ctrl+K shortcuts are present.
* Every scope is one of the documented panel scopes.
* Every keys is non-blank.

Updates WBS-6.2 evidence list, TRACEABILITY.json, and CHANGELOG.
Adds crates/sl-viewer/tests/properties_viewer_settings_tab.rs with
11 proptest properties pinning the settings tab SSOT:

* HealthStatus::Unknown.label() is , Healthy is ,
  Unreachable is .
* Every label is non-empty, distinct across variants, single-line,
  and lowercase ASCII.
* label() is deterministic across calls.
* THEME_RADIO_GROUP_ID is non-empty, kebab-case ASCII, and distinct
  from FORGE_DB_HINT_STORAGE_KEY.

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

codeant-ai Bot commented Aug 10, 2026

Copy link
Copy Markdown

🤖 CodeAnt AI — Review Status

Status Commit Started (UTC) Finished (UTC)
✅ Reviewed your PR eb4474f Aug 10, 2026 · 01:49 01:51

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 10, 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 10, 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: 57 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: 94167053-2b88-46de-bbf3-9a2e4655254c

📥 Commits

Reviewing files that changed from the base of the PR and between e0a89df and eb4474f.

📒 Files selected for processing (5)
  • CHANGELOG.md
  • crates/sl-viewer/tests/properties_viewer_help_overlay.rs
  • crates/sl-viewer/tests/properties_viewer_settings_tab.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 10, 2026
// appear under multiple scopes (e.g. `Escape` is a multi-scope
// close). We assert that at least one key appears more than once
// is reasonable; the strong check is the (keys, scope) pair.
let _ = (keys.len(), SHORTCUTS.len());

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

WARNING: shortcuts_keys_unique is a no-op — it discards its computation without asserting anything.

The let _ = (keys.len(), SHORTCUTS.len()); line creates a tuple and immediately drops it. The test always passes regardless of whether keys are unique or not. If the intent is to verify that at least one key appears in multiple scopes, use prop_assert!(keys.len() < SHORTCUTS.len(), ...). If uniqueness is required, use prop_assert_eq!(keys.len(), SHORTCUTS.len()). As written, this test provides zero verification.


Reply with @kilocode-bot fix it to have Kilo Code address this issue.

@kilo-code-bot

kilo-code-bot Bot commented Aug 10, 2026

Copy link
Copy Markdown

Code Review Summary

Status: 1 Issue Found | Recommendation: Address before merge

Overview

Severity Count
WARNING 1
Issue Details (click to expand)

WARNING

File Line Issue
crates/sl-viewer/tests/properties_viewer_help_overlay.rs 125 shortcuts_keys_unique is a no-op test — discards result without asserting
Files Reviewed (4 files)
  • crates/sl-viewer/tests/properties_viewer_help_overlay.rs - 1 issue
  • crates/sl-viewer/tests/properties_viewer_settings_tab.rs
  • CHANGELOG.md
  • docs/ops/TRACEABILITY.json
  • docs/ops/WBS.md

Fix these issues in Kilo Cloud


Reviewed by step-3.7-flash · Input: 53K · Output: 9.5K · Cached: 141.3K

@KooshaPari KooshaPari closed this Aug 10, 2026
@KooshaPari
KooshaPari deleted the fix/viewer-mock-data-properties-20260809 branch August 10, 2026 02:05
KooshaPari pushed a commit that referenced this pull request Aug 12, 2026
…6.2 #470)

Shards the unique viewer proptest from #491 onto main without the
obsolete pre-rename daemon source churn.
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