…ence the row (#2842)

Co-authored-by: Ben <benjamingowers@resolutiion.com>
Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>
Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>

Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>
Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>

Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>

Co-authored-by: Yuzhong Zhang <BetterAndBetterII@users.noreply.github.com>
Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>
Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>

Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>

…ively deep instantiation (#2855)

Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>

… includes and ordering (#2857)

Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>

…and collection predicates on PostgreSQL

Fixes two of the three patterns reported in #2851 that prevent PostgreSQL
from using indexes when evaluating access policies.

1. `field == auth().id` no longer casts the column. The policy transformer
   now resolves `auth().x` member chains against the auth model so both
   sides carry their native type, and the PostgreSQL dialect skips casting
   when a natively-typed column is compared against a bound value. For
   `@db.Uuid` the value is format-checked up front so a malformed auth id
   yields a constant result (denied) instead of a database error.
   Text-like native types (text/varchar/char/citext) are compared natively
   too. Other native types keep the previous column cast.

2. Collection predicates (`?`, `!`, `^`) compile to `exists` / `not exists`
   instead of a correlated `count(1) > 0` aggregate, letting the planner
   use a semi-join that can start from the indexed side.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

…comparisons

A malformed uuid compared with `!=` now compiles to `column is not null`
instead of a constant `true`, preserving SQL null semantics for nullable
columns (previously `cast(col as text) != $1` yielded null and excluded
the row).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>

…ction predicates on PostgreSQL (#2859)

…auth()` (#2860)

Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>
Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>

Co-authored-by: Ludovic Motte <ludovic.motte@orange.com>
Co-authored-by: ymc9 <104139426+ymc9@users.noreply.github.com>
Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>