Skip to content

test(guards): convert lock-ordering and click-ordering guards to behavioural tests (#778, partial) - #1165

Merged
Carme99 merged 1 commit into
mainfrom
w2-guard3
Oct 7, 2026
Merged

Carme99 merged 1 commit into
mainfrom
w2-guard3

Conversation

@Carme99

@Carme99 Carme99 commented Oct 7, 2026

Copy link
Copy Markdown
Owner

Summary

#398 snapshot guard is now behavioural (held-section per-slot try_write probe, fail-closed; offload equality on non-empty state); tray click ordering moves into pure TrayClickTarget. Every surviving scan in the 8 touched files carries a why-not comment. Prose reword can no longer fail the suite.

PARTIAL: ~25 scans tree-wide remain unannotated; reorder-mutation proof is the follow-up. No Closes keyword — #778 stays open.

Review

Two independent post-fix 100/100 MERGE-PARTIAL verdicts (Critic778c + Critic778d). Prior rounds: 58/FIX (5 gaps) → fixed → 88/FIX (2 gaps) → fixed.

Verification

  • cargo test --lib: 912 passed
  • cargo check/clippy/fmt/link-audit: clean

@Carme99
Carme99 merged commit 531c880 into main Oct 7, 2026
14 checks passed
@Carme99
Carme99 deleted the w2-guard3 branch October 8, 2026 20:32
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.

1 participant