Marten#4349: Add Marten.AotSmoke + extension package IsAotCompatible audit

[jeremydmiller]

Summary

Ticks two checkboxes on #4349 (Marten 9.0 master plan):

• AOT smoke test — Marten in a Static-mode app builds clean under IsAotCompatible=true + TrimMode=full with the standard IL warnings-as-errors list. Regressions in Marten's class-level annotations now fail Marten's own CI rather than waiting for downstream consumers to catch them.
• Per-extension-package IsAotCompatible audit — same exercise Weasel ran in #283 across its provider packages.

Pattern mirrors src/JasperFx.AotSmoke/ (commit d4077d8) and src/Weasel.Core.AotSmoke/ (PR #283 / commit 5844c9f).

Per-package audit table

Package	IsAotCompatible	Notes
Marten	true (pre-existing)	Already AOT-flagged with class-level [UnconditionalSuppressMessage] suppressions. Out of scope to tighten further.
Marten.AspNetCore	true (new)	Clean — streaming endpoints route through Marten's already-annotated IDocumentStore / LINQ / JSON streaming. No annotations needed.
Marten.EntityFrameworkCore	true (new, annotated)	EF Core's reflective query path (IModel.FindEntityType, DbContext.Find<TEntity>, Activator.CreateInstance<TDbContext>) needs [DynamicallyAccessedMembers] on the wrapper's TDoc / TDbContext generic parameters. Annotations propagate the trim requirement to consumers — see the EF Core commit for the full surface.
Marten.Newtonsoft	false (documented)	Newtonsoft.Json's IContractResolver is fundamentally AOT-hostile — it reflects over the full member surface of every serialized type without DAM annotations anywhere. Annotating the Marten wrapper papers over a small slice of an unfixable upstream. Csproj carries a comment block explaining the decision. AOT consumers should use UseSystemTextJsonForSerialization instead.
Marten.NodaTime	true (new)	Clean — value-object types + Npgsql NodaTime type handlers, all AOT-friendly upstream.

Marten.AotSmoke

Build-time consumer project (not a test project — no xUnit, no dotnet test). Exits cleanly when the smoke surface analyzes clean under IsAotCompatible=true + TrimMode=full + the standard WarningsAsErrors list (IL2026;IL2046;IL2055;IL2065;IL2067;IL2070;IL2072;IL2075;IL2090;IL2091;IL2111;IL3050;IL3051).

Surface exercised (matches the chip's minimum):

• services.AddMarten(opts => { ... }) — DI-facing entry point.
• opts.GeneratedCodeMode = TypeLoadMode.Static — pins the AOT-publishing consumer profile.
• opts.Schema.For<SmokeDoc>() — closed-shape IDocumentStorage registration.
• opts.Events.AddEventType<SmokeEvent>() — explicit event-alias registration.
• opts.Projections.Add<SmokeProjection>(Inline) — SingleStreamProjection<,> registration (the JasperFx.Events.SourceGenerator [GeneratedEvolver] discovery path).
• Host.CreateApplicationBuilder + Build + IDocumentStore DI resolve.

Deliberately NOT exercised: connecting / querying / persisting (build-time analyzer test, not runtime), compiled queries (covered by Marten.SourceGenerator.Tests), JasperFx.RuntimeCompiler / services.AddRuntimeCompilation() (retired in Marten 9.0 — #4454 / #4461).

Regression guard verification

Per chip acceptance: temporarily added object obj = "x"; obj.GetType().GetMethod("ToString"); to Program.cs — surfaced error IL2075: 'this' argument does not satisfy 'DynamicallyAccessedMemberTypes.PublicMethods' on both net9.0 and net10.0. Reverted before commit.

Known follow-up (outside this chip's scope)

dotnet publish /p:PublishAot=true against Marten.AotSmoke surfaces ~15 unannotated sites in Marten.Internal.ClosedShape.* (every Identification / Binder / BulkLoader reaches LambdaBuilder.Getter / LambdaBuilder.Setter from FEC). Marten's class-level [UnconditionalSuppressMessage] justifications hide these at build time, but the AOT publish walks the full reachable graph regardless. The chip explicitly carves these out:

Don't tighten existing class-level suppressions in Marten core — separate, larger task.

That work tracks on the larger Marten 9.0 master-plan item for closed-shape AOT cleanliness. This PR's gate is dotnet build (per the chip's explicit acceptance criterion) — which is clean.

Test plan

• dotnet build src/Marten.slnx — 0 errors, full slnx builds clean (1126 warnings, all pre-existing in Marten core)
• dotnet build src/Marten.AotSmoke/Marten.AotSmoke.csproj — 0 warnings, 0 errors on both net9.0 and net10.0
• dotnet run --project src/Marten.AotSmoke — exits 0 with the expected Marten AOT smoke OK message
• Marten.EntityFrameworkCore.Tests — 39/39 pass post-DAM-annotation pass (net10.0)
• Marten.AspNetCore.Testing — 45/46 pass (one pre-existing flake in using_strong_typed_identifiers.stream_json_hit on master — confirmed unrelated to this PR by stashing and re-running on master HEAD; tracked as a sibling closed-shape ValueTypeIdentification issue)
• Regression guard verified (see above)
• CI matrix

References: #4349 (master plan — not "Closes", this just ticks two boxes).

🤖 Generated with Claude Code