Skip to content

feat(opy): support SpecVisibility.NEVER - #139

Merged
Teakowa merged 2 commits into
mainfrom
codex/issue-131-spec-visibility-never
Aug 31, 2026
Merged

feat(opy): support SpecVisibility.NEVER#139
Teakowa merged 2 commits into
mainfrom
codex/issue-131-spec-visibility-never

Conversation

@e54-bot

@e54-bot e54-bot commented Aug 31, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Map the OPY SpecVisibility.NEVER spelling to the canonical Workshop VISIBLE_NEVER enum member.
  • Add a pinned OverPy 9.7.10 regression fixture with canonical-WIR equivalence and source-attributed invalid-member coverage.
  • Preserve the existing SpecVisibility.ALWAYS diagnostic and update the crosshair corpus expectation to record its next hudSubtext gap.

Verification

  • cargo fmt --all -- --check
  • cargo clippy --workspace --all-targets --all-features -- -D warnings
  • cargo test --workspace --all-targets --all-features
  • python3 -m unittest discover -s compatibility/tests
  • cargo test --locked -p opy-rs --test differential -- --nocapture

Fixes #131

Map OPY spectator visibility spellings to canonical Workshop enum members and preserve source diagnostics with oracle-backed coverage.

Fixes #131

@Teakowa Teakowa left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Major — crates/opy-rs/src/lower.rs:1165

This PR also maps SpecVisibility.ALWAYS to VISIBLE_ALWAYS. #131 explicitly makes changes to unrelated SpecVisibility members a non-goal; on the base revision, catalog validation only accepts the canonical member IDs, so this changes ALWAYS behavior rather than merely preserving it.

Keep #131 limited to the NEVER mapping. Any ALWAYS compatibility change needs separately approved scope.

Keep Issue #131 limited to the NEVER spelling and retain the existing ALWAYS diagnostic.

@Teakowa Teakowa left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM

@Teakowa
Teakowa merged commit 39ec1d5 into main Aug 31, 2026
5 checks passed
@Teakowa
Teakowa deleted the codex/issue-131-spec-visibility-never branch August 31, 2026 09:59
This was referenced Aug 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support SpecVisibility.NEVER

2 participants