The filter cardinality is recomputed from row count and selectivity.
highlighted = computed this step
Estimate filtered rows
The model applies the selectivity to the left table row count.
filtered rows
Compute the kept rows
The estimated filtered rows are 3.
filtered rows=3
Optimizer-choice examples are named toy estimate-model outputs; they are not benchmark results, database-product claims, hardware claims, or real speed predictions.
Require an exact count
If the fraction would need rounding, the compiler rejects it instead of guessing.
no hidden rounding
Summary
The filtered row count is a named estimate, not observed output.