Faceted search: Requirements and relevance contract
Specifies AND and OR filter composition, missing-value behavior, facet counts, and authorization-before-count rules so filtered navigation remains correct under ACLs and incomplete indexes.
Defines externally visible behavior when search returns no matches, including recovery suggestions, query reformulation affordances, and bounded fallbacks without inventing results or leaking unauthorized catalog breadth.