Skip to content

test: negative case for the new static gates (do not merge) - #1309

Closed
kvlonge wants to merge 3 commits into
ci/gate-d128-rulesfrom
scratch/d136-negative
Closed

kvlonge wants to merge 3 commits into
ci/gate-d128-rulesfrom
scratch/d136-negative

Conversation

@kvlonge

@kvlonge kvlonge commented Nov 5, 2026

Copy link
Copy Markdown
Contributor

Why

Negative evidence for the gating change: CI must fail on an unread control-store column, an unconstructed enum variant and a copied function. Do not merge; this pull request is closed once the failing run is recorded.

Changes

  • Copies an existing function into a new module (new duplicate cluster).
  • Adds a store column nothing reads (XSB076) and an enum variant nothing constructs (XSB077) in a scratch workspace crate.

Verification

The static checks job is expected to fail on fensu check (XSB076, XSB077) and on check-dupes-new.

kvlonge commented Nov 5, 2026

Copy link
Copy Markdown
Contributor Author

Negative evidence recorded on #1310: dupes gate (job 127159159650) and XSB076/XSB077 (job 127173738196). Closing; never to be merged.

@kvlonge kvlonge closed this Nov 5, 2026
@kvlonge
kvlonge deleted the scratch/d136-negative branch November 5, 2026 10:17
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