WHERE-filter examples are tiny finite-table transforms with SQL-style TRUE/FALSE/UNKNOWN logic; SQL dialect completeness, type coercion, optimizer behavior, indexing, and product claims are out of scope.
Evaluate after seeing rows
The predicate evaluation table keeps the source row beside its TRUE, FALSE, or UNKNOWN result.