How does LINQ guarantee correctness when query translation differs across providers?

LINQ does not guarantee identical results across providers; correctness depends on provider semantics.

LINQ defines a query abstraction, not a strict execution contract. When executed across different providers (EF Core, in-memory LINQ, Cosmos DB, etc.), translation rules differ. This means identical LINQ expressions can produce different results due to differences in collation, null handling, floating-point precision, and string comparison rules. Correctness is therefore provider-dependent, not LINQ-dependent.