Skip to content

land: list-envelope-item-names - #981

Merged
ualtinok merged 6 commits into
mainfrom
land/list-envelope-item-names
Oct 27, 2026
Merged

ualtinok merged 6 commits into
mainfrom
land/list-envelope-item-names

Conversation

@aft-alfonso

@aft-alfonso aft-alfonso Bot commented Oct 26, 2026

Copy link
Copy Markdown

Accepted agent delivery; branch-keyed search descriptor included.

ualtinok and others added 6 commits October 26, 2026 11:09
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Parse parenthesized visibility and function qualifiers once for both scanners, retaining const/static/struct/enum names. Correct the sweep, reply and semantic_results registry keys without changing product code paths.

The restricted-visibility fixture failed first with both scanners reporting plain for all three cuts. Move it out of support so the mutation matrix's second inclusion does not duplicate the regression test.

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
The page cap belongs to external_exact::reply; rank_hits only sorts and has no list-cutting primitive.

Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
The drift and conformance resolvers compare item names exactly, not qualified paths. The first post-fix list-envelope run found reply unresolved at external_exact.rs:583; use its bare name rather than external_exact::reply.

Verification: the five touched list-envelope tests pass on linux,1c. The earlier fmt, cargo check, 187-test list-envelope target and prefix-control proof completed before the process change; no further broad gates or mutation checks were run after it.
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
Co-authored-by: alfonso-aft <289616620+alfonso-aft@users.noreply.github.com>
@ualtinok
ualtinok added this pull request to the merge queue Oct 26, 2026
Merged via the queue into main with commit 79c63ba Oct 27, 2026
131 of 132 checks passed
@ualtinok
ualtinok deleted the land/list-envelope-item-names branch October 27, 2026 03:11
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