Expected WHERE facts are assertions only.
Honest by construction
Expected WHERE facts are assertions only.
compiler is source of truth \text{compiler is source of truth} compiler is source of truth
Render checked rows
The guarded filter keeps 2 rows after recomputation.
checked kept rows = 2 \text{checked kept rows}=2 checked kept rows = 2
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.
Honest by construction: base rows item qty status pen 3 open notebook 0 open mug 2 closed sticker NULL open predicate evaluation source values truth kept 0 [pen, 3, open] TRUE yes 1 [notebook, 0, open] FALSE no 2 [mug, 2, closed] TRUE yes 3 [sticker, NULL, open] UNKNOWN no WHERE output rows item qty status pen 3 open mug 2 closed WHERE facts fact value inputRowCount 4 trueRows 2 falseRows 1 unknownRows 1 keptRows 2 droppedRows 2 rowOrder source_order unknownKept no
Try to tamper
Wrong expected facts, derived sidecars, missing columns, bools, floats, unsupported predicates, and invalid comparisons fail closed.
tamper rejected \text{tamper rejected} tamper rejected
Summary
The book shows exact finite WHERE behavior only; product SQL behavior is outside the model.
scoped WHERE model \text{scoped WHERE model} scoped WHERE model