Saved Queries

Honest by Construction

Expected facts are assertions only; compiler output is the source of truth.

highlighted = computed this step

Honest by construction

Each lesson compiles raw base-table and view inputs, turns recomputed facts into expected assertions, then compiles again.

expected is assertion only\text{expected is assertion only}

Show the guarded view

The guarded view has 2 rows and 2 output columns.

rows=2\text{rows}=2

View examples are tiny finite saved-query outputs; SQL dialects, optimizers, security, updatability, materialized-view strategy, performance, and maintenance advice are out of scope.

Guarded view facts: base tableidstatustotal1open502closed203open70 view column mappingsourceoutputididtotaltotal view filteropcolumnvalueeqstatusopen source rows usedbaseRow02 current view outputidtotal150370 view factsfactvaluebaseRowCount3sourceRowCount2rowCount2columnCount2stalenot_materializedhasFilteryeshasAliasesnohasMaterializedCopyno

Try to tamper

Wrong expected rows, derived sidecars, missing columns, duplicate aliases, and unsupported predicates fail closed.

fail closed before render\text{fail closed before render}

Summary

Book nineteen stays inside finite saved-query and stored-copy behavior.

recomputed view facts\text{recomputed view facts}