Skip to content

test(viewer): menu id taxonomy proptest surface (WBS-6.2 #457) - #472

Merged
KooshaPari merged 3 commits into
mainfrom
fix/viewer-mock-data-properties-20260809
Aug 10, 2026
Merged

test(viewer): menu id taxonomy proptest surface (WBS-6.2 #457)#472
KooshaPari merged 3 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

Adds crates/sl-viewer/tests/properties_viewer_menu.rs with 5 proptest properties pinning the desktop menu id SSOT (WBS-6.2 #457).

menu (5 properties) — desktop-only test (#![cfg(feature = "desktop")]):

  • 9 documented menu ids (ID_APP_ABOUT, ID_APP_SETTINGS, ID_FILE_RELOAD_DISCOVERY, ID_FILE_SETTINGS, ID_EDIT_FIND, ID_VIEW_RELOAD, ID_VIEW_TOGGLE_THEME, ID_VIEW_COMMAND_PALETTE, ID_HELP_TOGGLE).
  • Every id is non-empty.
  • Every id is kebab-case ASCII (muda / JS / serde round-trip safe).
  • Every id carries the documented sl-viewer. prefix.
  • Every id is unique across the documented set.
  • The menu taxonomy has exactly 9 documented ids.

Validation

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

WBS / TRACEABILITY

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


CodeAnt-AI Description

Add property coverage for viewer shortcuts, settings status labels, and desktop menu IDs

What Changed

  • Added checks that viewer help shortcuts remain present, readable, non-blank, non-duplicated, and tied to documented scopes, including help, close, and command-palette shortcuts.
  • Added checks that settings health labels remain distinct, stable, single-line, and use the expected values; the theme control ID also remains valid and separate from the storage key.
  • Added desktop-only checks that all nine menu IDs remain unique, prefixed, and safe for menu and browser dispatch.
  • Recorded the new property-test evidence in the changelog, WBS, and traceability records.

Impact

✅ Fewer undocumented shortcut regressions
✅ Clearer health status labels
✅ Fewer desktop menu dispatch conflicts

💡 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 3 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.
Adds crates/sl-viewer/tests/properties_viewer_menu.rs with 5 proptest
properties pinning the desktop menu id SSOT:

* Every documented menu id (9 of them: ID_APP_ABOUT,
  ID_APP_SETTINGS, ID_FILE_RELOAD_DISCOVERY, ID_FILE_SETTINGS,
  ID_EDIT_FIND, ID_VIEW_RELOAD, ID_VIEW_TOGGLE_THEME,
  ID_VIEW_COMMAND_PALETTE, ID_HELP_TOGGLE) is non-empty.
* Every id is kebab-case ASCII so muda / JS / serde round-trips
  are safe.
* Every id carries the documented sl-viewer. prefix.
* Every id is unique across the documented set.
* The menu taxonomy has exactly 9 documented ids.

Updates WBS-6.2 evidence list, TRACEABILITY.json, and CHANGELOG.
Copilot AI lite review requested due to automatic review settings August 10, 2026 02:05
@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 09ae967 Aug 10, 2026 · 02:05 02:08

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: 41 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: 4ecb69ab-1d27-4db6-b3a8-d1f5e0d776a1

📥 Commits

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

📒 Files selected for processing (6)
  • CHANGELOG.md
  • crates/sl-viewer/tests/properties_viewer_help_overlay.rs
  • crates/sl-viewer/tests/properties_viewer_menu.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
@KooshaPari
KooshaPari merged commit 8f34223 into main Aug 10, 2026
93 of 101 checks passed
@KooshaPari
KooshaPari deleted the fix/viewer-mock-data-properties-20260809 branch August 10, 2026 02:09
KooshaPari pushed a commit that referenced this pull request Aug 12, 2026
)

Shards the unique viewer proptest from #493 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