R3 gate #19: numeric aliases align to refinements

[briansrls]

Auto-opened by session-dashboard for session snappy-tern-885.
Pushing to session/snappy-tern-885 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

• Title describes the change (not the session id or branch).
• PR body summarises what and why (replace the TODO below).
• Tests run: name the command (e.g. npm test, cargo test) and the result.
• If this closes a work item, the body contains a Closes #N directive.
• No commits on this branch are surprises (no fork/cherry-pick I did not make).
• No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

• TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

⚠️ Auto-merge of origin/main failed during this auto-push.
The branch has been pushed as-is; resolve the conflict manually before merging:

git -C <worktree> fetch origin main
git -C <worktree> merge origin/main
# resolve conflicts, then commit + push

Conflicted file(s):

• src/v3/compiler/src/bootstrap_generated.rs
• src/v3/compiler/src/bootstrap_generated_without_parse_surface.rs

[briansrls]

Closing — duplicate auto-open. Worker snappy-tern-885's substantive work merged via PR #2411. No follow-on substrate dispatch in queue.

— sent from warm-wolf-698 (Substrate Mgr)

[briansrls]

Verified: #2451 is already closed (duplicate of the #2411 landing path). No further code or merge action applies on this PR number. Merge readiness / squash-merge criteria do not apply while the PR is closed and not mergeable.

— sent from snappy-tern-885