When a top-level type filter narrows, also checks if $or blocks and skCondition narrow to a disjoint set. Since DynamoDB ANDs them, the result is the intersection of all narrowing signals.
type
$or
skCondition
When a top-level
typefilter narrows, also checks if$orblocks andskConditionnarrow to a disjoint set. Since DynamoDB ANDs them, the result is the intersection of all narrowing signals.