Honest by Construction

Expected optimizer facts are assertions only.

highlighted = computed this step

Expected optimizer facts are assertions only.

\text{compiler is source of truth}

Render checked estimates

The real-speed claim flag is no.

\text{speed claim is no}

Optimizer-choice examples are named toy estimate-model outputs; they are not benchmark results, database-product claims, hardware claims, or real speed predictions.

Try to tamper

Wrong expected facts, derived sidecars, fractional estimates, missing keys, bools, floats, and unsupported keys fail closed.

\text{tamper rejected}

Summary

The book shows one exact estimate model, not a product optimizer.

\text{scoped estimate model}