[fix-finder] Document NotificationManager.FromContext

[github-actions]

AI-generated fix. Produced by the nightly-fix-finder agentic workflow.

Problem

NotificationManager.FromContext(Context) is a public helper in Mono.Android.dll, but unlike a documented API it had no XML documentation describing its input, nullable result, or relationship to Android's notification manager service.

Fix

Add <summary>, <param>, <returns>, and Android reference <seealso> documentation to src/Mono.Android/Android.App/NotificationManager.cs. Runtime behavior is unchanged.

Validation

• AndroidSdkDirectory="$GITHUB_WORKSPACE/bin/Debug/android-sdk" AndroidNdkDirectory="$GITHUB_WORKSPACE/bin/Debug/android-ndk" ./build.sh Prepare — passed.
• ./dotnet-local.sh build /tmp/gh-aw/agent/notification-doc-validation/notification-doc-validation.csproj --nologo --verbosity:minimal — passed against the exact changed source with XML documentation enabled; the generated XML contains the complete NotificationManager.FromContext member documentation.
• curl -fsSIL --max-redirs 5 https://developer.android.com/reference/android/app/NotificationManager — passed.
• git diff --check — passed.

A full Mono.Android.csproj build reached C# compilation but the hosted runner terminated csc with exit code 137; the focused compilation above validates the changed source and generated XML independently.

Fix-finder metadata

• Script: 04-missing-xml-docs
• Score: 30/30 (actionability: 10, safety: 10, scope: 10)

Generated by Nightly Fix Finder · copilot · gpt56 · 69.8 AIC · ⌖ 22.2 AIC · ⊞ 20.3K · ◷