Expected SELECT facts are assertions only.
Honest by construction
Expected SELECT 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 SELECT list renders 4 output rows after recomputation.
checked rows = 4 \text{checked rows}=4 checked rows = 4
SELECT-list examples are tiny finite-table transforms; DISTINCT, aggregation, type coercion, optimizer behavior, and database-product claims are out of scope.
Honest by construction: base rows item qty bonus status pen 3 1 open mug 2 0 open cup 2 1 closed tag NULL 1 open SELECT list items position kind source output 0 column item item 1 add qty plus bonus total SELECT output rows item total pen 4 mug 2 cup 3 tag NULL SELECT facts fact value inputRowCount 4 outputRowCount 4 outputColumnCount 2 duplicateOutputRows 0 rowOrder source_order distinctApplied no
Try to tamper
Wrong expected facts, derived sidecars, missing columns, duplicate labels, bools, floats, and invalid expressions fail closed.
tamper rejected \text{tamper rejected} tamper rejected
Summary
The book shows exact finite SELECT-list behavior only; product SQL behavior is outside the model.
scoped SELECT model \text{scoped SELECT model} scoped SELECT model