[CaffeinatedCoder]

Closes #81

Problem

The EF satellite's queries and round trips ran on SQLite and PostgreSQL. SQL Server, where .Value "works in LINQ as it does in memory" is most likely to differ, was only checked for its model. No query, insert or key read-back ever reached a SQL Server, so nothing said what a consumer sees there.

Change

• SQL Server in a container (SqlServer.cs): SQL Server 2022, one container for the SQL Server collection, a database per class, many models in schemas of their own. It's a plain Testcontainers container started by its log line, so TYPEKIT_MSSQL_IMAGE can name Azure SQL Edge on an arm64 Mac, where 2022 doesn't start under QEMU.
• SqlServerQueryVariantTests: the whole QueryShapes catalogue (~10k cases). Each case is held to the wrapped type's query on SQL Server (rows, and SQL on a table column), as the SQLite test does through the now-shared AnswersAsTheWrappedType. Then it is held to memory. A difference passes only where SQLite answers the same, where the ValueOrNull() form answers it (null .Value semantics), or where it is a pinned SQL Server fact (Known). Greatest/Least are also checked at compatibility level 160, without a server: the value object's SQL is the wrapped type's.
• SqlServerKeyVariantTests: every KeyShapes shape × key kind, inserted and read back. Identity and TPC-sequence keys get the wrapped type's numbers. Assigned keys (char, Guid) round-trip.
• SqlServerRoundTripTests: the PostgreSQL round trips on SQL Server, plus case-insensitive and trailing-space matching and decimal rounding on value objects next to plain columns.
• Facts KB-048 to KB-054 (plain EF Core, test/CodoMetis.TypeKit.Facts):
  • text compares ignoring case and trailing spaces;
  • a uniqueidentifier orders by its last group;
  • a decimal is decimal(18,2) by default, read back at scale 2 and rounded on write;
  • time holds less than a day: refused in a column, and silently misread from a JSON column (1.02:00:00 → 01:02:00);
  • no MAX or MIN of a bit;
  • Greatest/Least only from compatibility level 160;
  • datetime2 keeps every tick and reads Kind back as Unspecified.
• Nothing in src/. Every difference is the wrapped type's too, so none called for a change there. The EF README gets an On SQL Server section with the ones a consumer meets, plus seven claims (E17-*).
• Catalogue values: text and char now mix case (Bravo, alpha), and the Guids ascend by their first group, so a collation or Guid order can't match memory by accident. This exposed the SQLite test's Greatest/Least stand-in comparing strings by culture. It now compares ordinally, as the value object and SQLite do.
• CI: the Windows and macOS legs now leave out every class with the trait Needs=Docker (--filter-not-trait): the PostgreSQL round trips and the SQL Server classes and facts. Linux runs them all. CONTRIBUTING says how to run them locally.

Tests

• Locally on Azure SQL Edge: the EF project passes (20,142 passed, 915 skipped), Facts 105 passed, Oracles, Conventions, CiLanes and docs-query check are clean. CI's Linux leg runs SQL Server 2022, the image the facts pin.
• Oracles: SqlServerQueryVariantTests and SqlServerKeyVariantTests are registered. The new seed column-cast-not-re-typed is caught: 2,978 of 10,071 cases fail. ushort-key-not-generated is caught by the key leg: 10 of 170 fail.
• The guard is load-bearing: dropping the Guid-order fact from Known fails 141 Guid cases.

🤖 Generated with Claude Code