weasel#263: Add Weasel.Core.AotSmoke + per-provider IsAotCompatible audit

[jeremydmiller]

Ticks off two boxes on the Weasel 9.0 master tracker (#263):

• The missing AOT smoke-test consumer project (parallel to JasperFx.AotSmoke in jasperfx).
• The per-provider AOT-flag audit across Weasel.Postgresql / Weasel.SqlServer / Weasel.Oracle / Weasel.MySql / Weasel.Sqlite / Weasel.EntityFrameworkCore.

Part 1 — Weasel.Core.AotSmoke

New console project src/Weasel.Core.AotSmoke/ modelled on src/JasperFx.AotSmoke/ in jasperfx (commit d4077d8):

• Microsoft.NET.Sdk console Exe, IsAotCompatible=true, TrimMode=full
• WarningsAsErrors=IL2026;IL2046;IL2055;IL2065;IL2067;IL2070;IL2072;IL2075;IL2090;IL2091;IL2111;IL3050;IL3051 (mirroring jasperfx)
• ProjectReference to Weasel.Core only — no provider deps, per the chip

Program.cs exercises the #270 consolidation surface: DbObjectName, the cross-provider enums, ForeignKeyBase.Parse / LinkColumns / Equals, TableBase<TColumn, TIndex, TForeignKey> (via a SmokeTable subclass that overrides every abstract), and IDdlSyntaxStrategy (via a SmokeSyntax implementation). Wired into Weasel.slnx so CI workflows pick it up.

Part 1.5 — Fix two pre-existing Weasel.Core warnings the smoke test surfaced

The smoke project's IsAotCompatible build immediately flagged two defects from PR #272 that the original IL3050/IL2075 cleanup hadn't quite landed correctly:

• IL3051 in AssertCommand.cs — the [RequiresDynamicCode] override didn't match the unannotated base (JasperFxAsyncCommand<T>.Execute). Removed [RequiresDynamicCode] and kept the [UnconditionalSuppressMessage] for IL3050, which actually silences the underlying warning.
• IL2098 in CommandBuilderBase.cs — [DynamicallyAccessedMembers] on an object parameter is invalid (the attribute only works on Type / string params). Removed the attribute; updated xmldoc to point at the [RequiresUnreferencedCode] already on the method as the actual caller-contract.

This is direct evidence the smoke test works as designed.

Part 2 — Per-provider audit table

Provider	IsAotCompatible	Notes
Weasel.Postgresql	true	+ 3 wrapper annotations: ICommandBuilder.AddParameters(object) marked [RequiresUnreferencedCode] to match the base; BatchBuilder.AddParameters(object) likewise + IL2075 suppression at the GetType().GetProperties() call site; PostgresqlProvider.determineParameterType suppresses IL2070 at the typeInfo.ImplementedInterfaces lookup (cold-path IEnumerable<T> detection), GetNullableType marked [RequiresDynamicCode] for the Type.MakeGenericType(Nullable<>) call, AddTimespanTypes + CustomizableWhereFragment.Apply suppress the resulting cascade with Justifications. Pre-register types via storeMappings / RegisterMapping to avoid these paths under AOT.
Weasel.SqlServer	true	+ 2 wrapper annotations: ICommandBuilder.AddParameters(object) and BatchBuilder.AddParameters(object) — same [RequiresUnreferencedCode] pattern as PG.
Weasel.Oracle	true	Clean out of the box.
Weasel.MySql	true	Clean out of the box.
Weasel.Sqlite	true	Clean out of the box.
Weasel.EntityFrameworkCore	true	+ 4 wrapper suppressions on EF Core's reflective surfaces (FindEntityType, AddTransient<TImpl>, GetType().GetProperty by name). EF Core upstream is not AOT-ready (dotnet/efcore#29761); consumers of Weasel.EntityFrameworkCore targeting AOT inherit that limitation. Justifications point at the upstream issue.

Test plan

• dotnet build Weasel.slnx — 0 warnings, 0 errors
• Smoke executable runs and exits cleanly under net10.0: Weasel.Core AOT smoke OK — exercised DbObjectName, ForeignKeyBase.Parse, TableBase, IDdlSyntaxStrategy.
• Smoke catches regressions: empirically proven — the smoke project's first build surfaced IL3051 + IL2098 in Weasel.Core (pre-existing defects from Resolve #261, #265, #266 — Core.CascadeAction overloads + AOT annotations #272 that the chip-listed sanity criterion was designed to detect). Both fixed in Part 1.5.
• Behavioural test runs: Weasel.Core 6/6, Weasel.Postgresql 634/640 (6 pre-existing skips), Weasel.Sqlite 360/361 (1 pre-existing timezone-boundary flake), Weasel.Core.Tests 6/6
• Weasel.EntityFrameworkCore.Tests shows 17 failures but these are pre-existing on bare master (confirmed via git stash toggle) — require SQL Server connectivity not available locally

References #263, JasperFx/jasperfx#213.

🤖 Generated with Claude Code