leases.md uses argument name 'path:' but the parameter is 'pattern'

[nficano]

Category: docs Severity: major
Location: docs/guides/leases.md:46-50

What

LeaseManager.AuthorizeOperation(Lease, LeaseConstraints?, string namespaceName, string pattern) (src/Arcp.Runtime/Leases/LeaseManager.cs:129) names the fourth parameter 'pattern', not 'path'. The named argument path: does not exist, so the example does not compile.

Evidence

        lm.AuthorizeOperation(
            ctx.Lease,
            ctx.LeaseConstraints,
            LeaseNamespaces.FsWrite,
            path: "/workspace/src/output.cs");

Proposed fix

Rename the argument to pattern: "/workspace/src/output.cs".

Acceptance criteria

• The example compiles against AuthorizeOperation's actual parameter names.