Boolean Filters

Honest by Construction

Expected Boolean-filter facts are assertions only.

highlighted = computed this step

Honest by construction

Expected Boolean-filter facts are assertions only.

compiler is source of truth\text{compiler is source of truth}

Render checked rows

The guarded Boolean filter renders 1 output rows after recomputation.

checked rows=1\text{checked rows}=1

Boolean-filter examples are tiny finite WHERE-style filters 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 rowsidagestatus130active217active3NULLactive440paused525NULL Boolean predicate evaluationsourcevaluestruthkepttrace0[1, 30, active]TRUEyes[age ge 18 -> TRUE, status eq active -> TRUE, AND(TRUE,TRUE) -> TRUE]1[2, 17, active]FALSEno[age ge 18 -> FALSE, status eq active -> TRUE, AND(FALSE,TRUE) -> FALSE]2[3, NULL, active]UNKNOWNno[age ge 18 -> UNKNOWN, status eq active -> TRUE, AND(UNKNOWN,TRUE) -> UNKNOWN]3[4, 40, paused]FALSEno[age ge 18 -> TRUE, status eq active -> FALSE, AND(TRUE,FALSE) -> FALSE]4[5, 25, NULL]UNKNOWNno[age ge 18 -> TRUE, status eq active -> UNKNOWN, AND(TRUE,UNKNOWN) -> UNKNOWN] Boolean filter output rowsidagestatus130active Boolean filter factsfactvalueinputRowCount5outputRowCount1trueRows1falseRows2unknownRows2rootKindandtreeAND(age ge 18, status eq active)rowOrdersource_order

Try to tamper

Wrong expected facts, derived sidecars, missing columns, bad predicate kinds, short child lists, bools, floats, and unsupported keys fail closed.

tamper rejected\text{tamper rejected}

Summary

The book shows exact finite Boolean-filter behavior only; product SQL behavior is outside the model.

scoped Boolean model\text{scoped Boolean model}