[Copilot]

PR Summary

Follow-up to #2270, targeting its branch rather than main.

The review finding is reproducible: a resource-shaped call to a script-defined function is treated as a DSC declaration because command discovery uses a separate runspace. Commands inside its script block arguments are then incorrectly suppressed. Both new regression cases returned zero diagnostics before the fix instead of the two expected diagnostics.

• Recognize function declarations in enclosing script-block scopes, case-insensitively, without searching unrelated nested scopes.
• Use that information consistently for resource declarations and their same-line/following-line bodies. Do not apply implicit Get- prefix corrections to script-defined function calls; preserve explicit alias handling.
• Cover script-level and configuration-level functions, both brace layouts, unrelated scopes, and formatter behavior. Document the distinction.

Validation: .NET 8 and .NET Framework 4.6.2 builds succeeded. Alias tests: 23 passed, 2 Windows-only tests skipped on Linux. Formatter integration tests: 10 passed. Executed using PowerShell 7.4.13 and Pester 5.7.1; the configured Pester 6.0.1 package was unavailable from the accessible mirror.

PR Checklist

• PR has a meaningful title
• Summarized changes
• Change is not breaking
• All changed source files have the correct copyright header
• Added regression tests and updated documentation
• This PR is ready to merge and is not Work in Progress (opened as a draft)

[Copilot]

🟡 Changes recommended

Scoped function declarations are mishandled, causing incorrect alias rewrites and suppressed diagnostics, while repeated scope scans introduce quadratic analysis overhead.

2 open issues

• Handle scoped function declarations and visibility in analysis · New
• Index function declarations to avoid repeated AST traversal · New

What changed in this PR

This follow-up to #2270 distinguishes script-defined function calls from DSC resource declarations so alias analysis preserves function names while checking commands in their script-block arguments.

Changes:

• Adds case-insensitive function lookup in enclosing script-block scopes and reuses it in DSC classification.
• Adds regression coverage for function scope, brace layouts, unrelated scopes, and formatter behavior.
• Documents the distinction between functions, DSC resources, and implicit aliases.

File	Description
Tests/​Rules/​AvoidUsingAlias.tests.ps1	Adds function-detection and formatter regression tests.
Rules/​AvoidAlias.cs	Uses script-defined function detection in alias and DSC handling.
docs/​Rules/​AvoidUsingCmdletAliases.md	Explains function and DSC resource exclusions from implicit alias correction.

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Scope handling still changes command resolution for dot-sourced private functions and incorrectly treats script/global declarations in unexecuted nested functions as visible, causing missed diagnostics and unsafe corrections.

2 open issues

• Handle dot-sourced blocks using caller scope · New
• Keep nested script/global declarations in lexical scope · New

2 resolved since last review

• Index function declarations to avoid repeated AST traversal
• Handle scoped function declarations and visibility in analysis

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Dot-sourced scope handling still misindexes declarations and incorrectly skips script-block argument scopes, causing both erroneous alias corrections and missed diagnostics.

2 open issues

• Avoid skipping scopes for script-block command arguments · New
• Index dot-sourced declarations in the effective caller scope · New

2 resolved since last review

• Keep nested script/global declarations in lexical scope
• Handle dot-sourced blocks using caller scope

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

The argument-count restriction incorrectly treats parameterized dot-sourced blocks as child scopes, causing erroneous alias formatting and missed declarations in the caller’s scope.

1 open issue

• Fix scope handling for parameterized dot-sourced blocks · New

2 resolved since last review

• Index dot-sourced declarations in the effective caller scope
• Avoid skipping scopes for script-block command arguments

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Active scope-resolution defects can suppress valid alias diagnostics for next-line resource bodies and incorrectly flag or rewrite function calls across named execution blocks.

2 open issues

• Use the immediate invocation block to resolve named-block scope · New
• Recognize resource declarations when the opening brace is on the next line · New

4 resolved since last review

• Unreachable else and elseif declarations suppress diagnostics
• Ordinary function callbacks are misclassified as DSC properties
• Root script phases override invoked block phase ownership
• Nested invoked blocks suppress diagnostics for later declarations

_{Review effort: Balanced}

[Copilot]

🔵 Needs a closer look

Human assessment is needed because subtle execution-order, scope-visibility, and callback-binding interactions can suppress legitimate alias diagnostics and trigger incorrect rewrites.

No open issues 🎉

2 resolved since last review

• Recognize resource declarations when the opening brace is on the next line
• Use the immediate invocation block to resolve named-block scope

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Unresolved execution-order and scope-analysis errors in AvoidAlias can suppress valid diagnostics or incorrectly replace calls to user-defined functions with Get-Verb.

5 open issues

• Exclude same-pipeline callbacks from declaration lookup · New
• Recognize dot invocation in immediate-execution chains · New
• Compare phases of dot-invoked script blocks · New
• Honor script and global scope modifiers in executed blocks · New
• Limit DSC property detection to its owning resource body · New

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Unresolved execution-phase and ordering errors in AvoidAlias incorrectly rewrite Verb as Get-Verb in nested dot-sourced blocks and call-operator blocks with script/global declarations.

2 open issues

• Preserve declaration order within the same invoked block · New
• Resolve declarations and calls to a shared execution block · New

5 resolved since last review

• Limit DSC property detection to its owning resource body
• Honor script and global scope modifiers in executed blocks
• Compare phases of dot-invoked script blocks
• Recognize dot invocation in immediate-execution chains
• Exclude same-pipeline callbacks from declaration lookup

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Execution-order offsets collapse declarations and nested calls to the same outer invocation, causing missed implicit-alias diagnostics for calls preceding script: or global: function declarations.

1 open issue

• Preserve declaration order within shared outer invocations · New

2 resolved since last review

• Resolve declarations and calls to a shared execution block
• Preserve declaration order within the same invoked block

_{Review effort: Balanced}

[Copilot]

🔵 Needs a closer look

Human assessment is needed because interacting callback-scope, execution-order, and remote-target rules can suppress valid alias diagnostics or cause incorrect command rewrites.

No open issues 🎉

1 resolved since last review

• Preserve declaration order within shared outer invocations

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Unresolved scope and execution-order defects in AvoidAlias cause incorrect Get-Verb rewrites and missed diagnostics across callbacks, nested blocks, and job initialization.

7 open issues

• Resolve aliases to local functions for callback lookup · New
• Include synchronous callbacks in invocation-order resolution · New
• Compare phases at the nearest shared execution block · New
• Exclude other caller-scoped callbacks from same-pipeline lookup · New
• Resolve RemainingScripts declarations by execution phase · New
• Traverse callbacks for explicit script and global declarations · New
• Apply initialization-to-job scope mapping before returning · New

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Module-qualified calls can incorrectly resolve to local functions and suppress diagnostics, while incorrect callback ordering can rewrite commands despite prior function declarations.

2 open issues

• Exclude module-qualified calls from local-function lookup · New
• Order RemainingScripts callbacks before End callbacks · New

7 resolved since last review

• Apply initialization-to-job scope mapping before returning
• Traverse callbacks for explicit script and global declarations
• Resolve RemainingScripts declarations by execution phase
• Exclude other caller-scoped callbacks from same-pipeline lookup
• Compare phases at the nearest shared execution block
• Include synchronous callbacks in invocation-order resolution
• Resolve aliases to local functions for callback lookup

_{Review effort: Balanced}

[Copilot]

🔵 Needs a closer look

Mixed named and positional callback binding is handled incorrectly, causing a valid function call to be misidentified as an alias and rewritten to Get-Verb.

No open issues 🎉

2 resolved since last review

• Order RemainingScripts callbacks before End callbacks
• Exclude module-qualified calls from local-function lookup

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Unresolved scope and execution-order handling errors in AvoidAlias produce incorrect Get-Verb rewrites and suppress valid diagnostics across local, remote, and callback script blocks.

5 open issues

• Recognize the clean block in execution-order checks · New
• Include synchronous local Invoke-Command blocks in scope resolution · New
• Traverse subexpression wrappers during callback resolution · New
• Treat SSHConnection as a remote Invoke-Command target · New
• Only treat literal script-block arguments as local callbacks · New

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Singleton subexpressions are not unwrapped, causing incorrect function-scope resolution, erroneous command rewrites, and remote-command misclassification.

1 open issue

• Unwrap singleton subexpressions when resolving command scope · New

5 resolved since last review

• Only treat literal script-block arguments as local callbacks
• Treat SSHConnection as a remote Invoke-Command target
• Traverse subexpression wrappers during callback resolution
• Include synchronous local Invoke-Command blocks in scope resolution
• Recognize the clean block in execution-order checks

_{Review effort: Balanced}

[Copilot]

🔵 Needs a closer look

Human assessment is needed because execution-order and scope-isolation edge cases can suppress valid alias diagnostics or produce incorrect formatter replacements.

No open issues 🎉

1 resolved since last review

• Unwrap singleton subexpressions when resolving command scope

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Unresolved execution-order and scope-analysis errors cause valid function calls to be incorrectly rewritten as Get-Verb and required alias diagnostics to be suppressed.

4 open issues

• Resolve nested callback phases relative to their shared invocation · New
• Treat background pipeline blocks as isolated scopes · New
• Recognize native DSC script properties as isolated scopes · New
• Exclude declarations in statically unentered loop bodies · New

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

Scope-boundary searches incorrectly isolate nested blocks in DSC callbacks and background pipelines, hiding enclosing local functions and causing erroneous alias rewrites.

2 open issues

• Preserve enclosing job functions in nested script blocks · New
• Limit DSC isolation to the property callback script block · New

4 resolved since last review

• Exclude declarations in statically unentered loop bodies
• Recognize native DSC script properties as isolated scopes
• Treat background pipeline blocks as isolated scopes
• Resolve nested callback phases relative to their shared invocation

_{Review effort: Balanced}

[Copilot]

🟡 Changes recommended

The ancestor walk incorrectly treats a nested hashtable callback as an isolated DSC resource callback, causing a false Get-Verb suggestion; it needs to stop at an intervening ScriptBlockAst and gain regression coverage.

1 open issue

• Avoid treating nested ScriptBlock callbacks as DSC resource properties · New

2 resolved since last review

• Limit DSC isolation to the property callback script block
• Preserve enclosing job functions in nested script blocks

_{Review effort: Balanced}

[Copilot]

🔵 Needs a closer look

The scope traversal incorrectly promotes global: and script: function declarations from background jobs into the foreground scope, suppressing required diagnostics for implicit Get-Verb calls.

No open issues 🎉

1 resolved since last review

• Avoid treating nested ScriptBlock callbacks as DSC resource properties

_{Review effort: Balanced}