Covers the tickets filter model: each facet's matching, bucket/range/none composition, facet counts that ignore their own facet, missing-last sorting with newest-first ties, and the URL round-trip with junk tolerated.

## Before writing SPEC.md files

Read https://raw.githubusercontent.com/brillout/sdd/refs/heads/main/sdd.md
