1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
//! Clause-carrying MATCH for the embedded API, split from
//! `ops_index.rs` for the 500-LOC house rule. A `#[path]` child module,
//! so it reaches `Store`'s crate-private index methods and fields.
use kevy_index::IndexSpec;
use super::claused::{ValueFilter, unknown_field, value_test};
use super::{FieldSpans, HighlightedHit, sync_segs};
use crate::store::{Store, lock_write};
use crate::{KevyError, KevyResult};
/// Everything a text MATCH carries beyond its index, query text and
/// result limit — the embedded twin of the wire's optional clauses.
///
/// Grouping them keeps one entry point instead of one per clause, and
/// [`MatchOpts::default`] is the plain query, so a caller opts into
/// exactly the clauses it names.
#[derive(Clone, Copy, Default)]
pub struct MatchOpts<'a> {
/// `HIGHLIGHT`: `None` = not requested, `Some(&[])` = every indexed
/// field, `Some(names)` = only those.
pub highlight: Option<&'a [Vec<u8>]>,
/// `TYPO n`: edit budget for each bare term; 0 = exact.
pub typo: u32,
/// `OFFSET n`: hits to skip before `limit` takes effect.
pub offset: usize,
/// `IN <field…>`: the declared field names to score within; empty =
/// the whole document.
pub scope: &'a [Vec<u8>],
/// `FILTER …`: non-scoring predicates over stored values, ANDed.
/// They decide which documents are eligible, not what a term is
/// worth, so the corpus statistics stay whole-corpus.
pub filters: &'a [ValueFilter<'a>],
/// `SORT <field> ASC|DESC`: select by a stored value instead of by
/// score. Selecting, not re-ordering — a document that wins on the
/// key is chosen even when its score would never have reached the
/// page.
pub sort: Option<(&'a [u8], bool)>,
/// `DISTINCT <field>`: at most one hit per value of a stored field,
/// applied during selection so the page holds `limit` distinct
/// documents rather than `limit` that then collapse.
pub distinct: Option<&'a [u8]>,
/// `FACET <field…>`: count each field's values over the whole match
/// set. Reported alongside the page rather than shaping it.
pub facets: &'a [Vec<u8>],
}
impl Store {
/// [`Self::idx_match`] with every optional clause: highlight spans,
/// a typo budget, an offset, and a field scope.
///
/// A scoped query is a field-scoped BM25 — frequency, length and
/// document frequency all come from the named fields alone — so
/// naming a field the index does not declare is an error rather than
/// an empty result that would look like a working query.
pub fn idx_match_with(
&self,
name: &[u8],
query: &[u8],
limit: usize,
opts: MatchOpts<'_>,
) -> KevyResult<Vec<HighlightedHit>> {
self.idx_match_faceted(name, query, limit, opts).map(|p| p.hits)
}
/// [`Self::idx_match_with`], additionally counting the values of the
/// `FACET` fields over the whole match set — not just the page, which
/// is why the counts cannot be derived from the hits.
pub fn idx_match_faceted(
&self,
name: &[u8],
query: &[u8],
limit: usize,
opts: MatchOpts<'_>,
) -> KevyResult<MatchPage> {
let limit = limit.clamp(1, 1000);
let offset = opts.offset.min(10_000);
// Fetch deep enough to skip OFFSET and still fill LIMIT after the
// cross-shard merge.
let fetch = limit + offset;
let (scope, tests) = self.resolve_clauses(name, opts.scope, opts.filters)?;
let sorted = self.sort_field(name, opts.sort)?;
let fkeys = self.facet_keys(name, opts.facets)?;
let fac: Vec<kevy_text::Facet> =
fkeys.iter().map(|(field, k)| kevy_text::Facet { field: *field, key: k.as_ref() }).collect();
let grouped = self.value_field("DISTINCT", name, opts.distinct)?;
let dkey = grouped.map(|(_, ty)| move |raw: &[u8]| kevy_index::order_key(ty, raw));
let distinct = grouped
.zip(dkey.as_ref())
.map(|((field, _), k)| kevy_text::Distinct { field, key: k });
let key = sorted.map(|(_, _, ty)| move |raw: &[u8]| kevy_index::order_key(ty, raw));
let sort = sorted
.zip(key.as_ref())
.map(|((field, desc, _), k)| kevy_text::Sort { field, desc, key: k });
let boxed = box_tests(tests);
let filter: Vec<kevy_text::Filter> = boxed
.iter()
.map(|(f, t)| kevy_text::Filter { field: *f, test: t.as_ref() })
.collect();
let stats = self.text_corpus_stats_in(name, query, opts.typo, &scope)?;
let q = kevy_text::QueryOpts {
stats: Some(&stats),
typo: opts.typo,
fields: &scope,
filter: &filter,
sort,
distinct,
};
let (mut all, facets) =
self.gather_hits(name, query, fetch, q, opts.highlight, &fac);
self.order_page(name, &mut all, sorted);
self.collapse_union(name, &mut all, grouped);
if offset > 0 {
all.drain(..offset.min(all.len()));
}
all.truncate(limit);
Ok(MatchPage { hits: all, facets })
}
/// Resolve the clauses that need the index spec: `IN` names onto
/// field positions, `FILTER` predicates onto stored-value positions
/// and typed tests.
///
/// One catalog read for both, and both fail loudly on a name the
/// index does not offer — an unknown field could just as easily match
/// nothing, but then a typo would return a result indistinguishable
/// from a working query with no hits.
fn resolve_clauses(
&self,
name: &[u8],
scope: &[Vec<u8>],
filters: &[ValueFilter<'_>],
) -> KevyResult<ResolvedClauses> {
if scope.is_empty() && filters.is_empty() {
return Ok((Vec::new(), Vec::new()));
}
let guard = self.indexes.catalog.read().unwrap_or_else(|e| e.into_inner());
let Some((spec, _)) = guard.1.get(name) else {
return Err(KevyError::NotFound("no such text index".into()));
};
let mut positions = Vec::with_capacity(scope.len());
for want in scope {
let names = || spec.fields.iter().map(|f| f.name.as_slice()).collect::<Vec<_>>();
let i = spec
.fields
.iter()
.position(|f| f.name == *want)
.ok_or_else(|| unknown_field("IN", want, "index", &names()))?;
positions.push(i);
}
let tests =
filters.iter().map(|f| value_test(spec, f)).collect::<KevyResult<Vec<_>>>()?;
Ok((positions, tests))
}
}
/// What the spec-dependent clauses resolve to: `IN`'s field positions,
/// and `FILTER`'s (stored-value position, typed test) pairs.
type ResolvedClauses = (Vec<usize>, Vec<(usize, kevy_index::ValueTest)>);
/// Each resolved test boxed as the closure the segment takes. The boxes
/// must outlive the borrowed `Filter` list, so they are returned rather
/// than built inline.
type ValuePred = Box<dyn Fn(&[u8]) -> bool>;
fn box_tests(tests: Vec<(usize, kevy_index::ValueTest)>) -> Vec<(usize, ValuePred)> {
tests
.into_iter()
.map(|(f, t)| {
let b: ValuePred = Box::new(move |v: &[u8]| t.passes(v));
(f, b)
})
.collect()
}
impl Store {
/// Every shard's page for this query, unmerged, with the facet
/// buckets summed by identity as the shards report them.
fn gather_hits(
&self,
name: &[u8],
query: &[u8],
fetch: usize,
q: kevy_text::QueryOpts<'_>,
highlight: Option<&[Vec<u8>]>,
facets: &[kevy_text::Facet],
) -> (Vec<HighlightedHit>, Vec<FacetCounts>) {
let mut all = Vec::new();
let mut buckets: Vec<Vec<RawBucket>> = vec![Vec::new(); facets.len()];
for shard in self.shards.iter() {
let mut g = lock_write(shard);
let inner = &mut *g;
sync_segs(&self.indexes, &mut inner.idx_segs, &mut inner.store);
if let Some((spec, ts)) = inner.idx_segs.text.iter().find(|(s, _)| s.name == name) {
// `matches_query_with` parses quoted phrases out of the
// raw query text; with none it is the ordinary term query.
let r = ts.matches_query_faceted(query, fetch, q, facets);
for m in r.hits {
let hl = highlight
.map_or_else(Vec::new, |w| hit_highlight(ts, spec, &m.key, query, w));
all.push((m.key, m.score, hl));
}
for (into, from) in buckets.iter_mut().zip(r.facets) {
for (key, label, n) in from {
match into.iter_mut().find(|(k, _, _)| *k == key) {
Some(e) => e.2 += n,
None => into.push((key, label, n)),
}
}
}
}
}
(all, finish_buckets(buckets))
}
/// Put the merged hits in the page's order: by the sort key when the
/// query gave one — the same definition each shard selected by — else
/// by score.
fn order_page(
&self,
name: &[u8],
all: &mut Vec<HighlightedHit>,
sorted: Option<(usize, bool, kevy_index::ValType)>,
) {
let Some((field, desc, ty)) = sorted else {
all.sort_by(|a, b| b.1.total_cmp(&a.1).then_with(|| a.0.cmp(&b.0)));
return;
};
let mut keyed: Vec<(Option<Vec<u8>>, HighlightedHit)> = std::mem::take(all)
.into_iter()
.map(|h| (self.stored_order_key(name, &h.0, field, ty), h))
.collect();
keyed.sort_by(|a, b| {
kevy_text::sorted_order((a.0.as_deref(), &a.1.0), (b.0.as_deref(), &b.1.0), desc)
});
*all = keyed.into_iter().map(|(_, h)| h).collect();
}
/// Collapse the union of the shards' pages: two shards can each hold
/// a document with the same value, and only the better survives.
///
/// `all` is already in the page's order, so the first occurrence of a
/// value is its best and a stable retain keeps exactly that.
/// Documents with no value are their own group and all survive — the
/// same rule each shard collapsed by.
fn collapse_union(
&self,
name: &[u8],
all: &mut Vec<HighlightedHit>,
grouped: Option<(usize, kevy_index::ValType)>,
) {
let Some((field, ty)) = grouped else { return };
let mut seen: std::collections::HashSet<Vec<u8>> = std::collections::HashSet::new();
all.retain(|h| match self.stored_order_key(name, &h.0, field, ty) {
Some(k) => seen.insert(k),
None => true,
});
}
/// Resolve a `SORT <field> ASC|DESC` clause to the stored-value
/// position, the direction, and that field's declared type.
fn sort_field(
&self,
name: &[u8],
sort: Option<(&[u8], bool)>,
) -> KevyResult<Option<(usize, bool, kevy_index::ValType)>> {
let Some((field, desc)) = sort else { return Ok(None) };
let Some((pos, ty)) = self.value_field("SORT", name, Some(field))? else {
return Ok(None);
};
Ok(Some((pos, desc, ty)))
}
/// Each `FACET` field's position paired with the order-preserving
/// encoding of its declared type — the identity buckets are grouped
/// by. Returned rather than built inline because the borrowed
/// `Facet` list points at these closures.
fn facet_keys(
&self,
name: &[u8],
facets: &[Vec<u8>],
) -> KevyResult<Vec<FacetKey>> {
Ok(self
.facet_fields(name, facets)?
.into_iter()
.map(|(field, ty)| -> FacetKey {
(field, Box::new(move |raw: &[u8]| kevy_index::order_key(ty, raw)))
})
.collect())
}
/// Each `FACET` field's stored-value position and declared type.
fn facet_fields(
&self,
name: &[u8],
facets: &[Vec<u8>],
) -> KevyResult<Vec<(usize, kevy_index::ValType)>> {
facets
.iter()
.map(|f| {
Ok(self
.value_field("FACET", name, Some(f))?
.expect("a named field always resolves or errors"))
})
.collect()
}
/// A clause's named stored-value field, as a position and its
/// declared type. Errors naming what the index does store.
fn value_field(
&self,
clause: &str,
name: &[u8],
field: Option<&[u8]>,
) -> KevyResult<Option<(usize, kevy_index::ValType)>> {
let Some(field) = field else { return Ok(None) };
let guard = self.indexes.catalog.read().unwrap_or_else(|e| e.into_inner());
let Some((spec, _)) = guard.1.get(name) else {
return Err(KevyError::NotFound("no such text index".into()));
};
let stored: Vec<&[u8]> = spec.values.iter().map(|v| v.name.as_slice()).collect();
let pos = spec
.values
.iter()
.position(|v| v.name == field)
.ok_or_else(|| unknown_field(clause, field, "store", &stored))?;
Ok(Some((pos, spec.values[pos].ty)))
}
/// One row's sort key: its stored value, in the order-preserving
/// encoding of that field's declared type.
fn stored_order_key(
&self,
name: &[u8],
key: &[u8],
field: usize,
ty: kevy_index::ValType,
) -> Option<Vec<u8>> {
for shard in self.shards.iter() {
let g = lock_write(shard);
if let Some((_, ts)) = g.idx_segs.text.iter().find(|(s, _)| s.name == name)
&& let Some(raw) = ts.stored_value(key, field)
{
return kevy_index::order_key(ty, raw);
}
}
None
}
}
/// A facet field's position paired with the order-preserving encoding of
/// its declared type — the identity its buckets are grouped by.
type FacetKey = (usize, Box<dyn Fn(&[u8]) -> Option<Vec<u8>>>);
/// One facet field's reported buckets: `(value, count)`, most frequent
/// first.
pub type FacetCounts = Vec<(Vec<u8>, u64)>;
/// One facet bucket in flight, before the grouping identity is dropped.
type RawBucket = (Vec<u8>, Vec<u8>, u64);
/// A faceted query's answer: the page, and per requested `FACET` field
/// its `(value, count)` buckets over the whole match set.
#[derive(Debug)]
pub struct MatchPage {
/// The ranked page — exactly what [`Store::idx_match_with`] returns.
pub hits: Vec<HighlightedHit>,
/// One entry per requested facet field, most frequent first.
pub facets: Vec<FacetCounts>,
}
/// Drop the grouping identity and order the buckets for reporting: most
/// frequent first, the label breaking ties so the order is stable.
fn finish_buckets(buckets: Vec<Vec<RawBucket>>) -> Vec<FacetCounts> {
buckets
.into_iter()
.map(|mut field| {
field.sort_by(|a, b| b.2.cmp(&a.2).then_with(|| a.1.cmp(&b.1)));
field.into_iter().map(|(_, label, n)| (label, n)).collect()
})
.collect()
}
/// One hit's highlight spans as `(field name, [(start, end)])`, filtered
/// to the requested fields (`want` empty = every field with a match).
fn hit_highlight(
ts: &kevy_text::TextSegment,
spec: &IndexSpec,
key: &[u8],
query: &[u8],
want: &[Vec<u8>],
) -> Vec<FieldSpans> {
ts.highlight_spans(key, query)
.into_iter()
.filter_map(|(fi, spans)| {
let name = spec.fields.get(fi)?.name.clone();
if !want.is_empty() && !want.contains(&name) {
return None;
}
let ranges = spans.into_iter().map(|(s, e)| (s as u32, e as u32)).collect();
Some((name, ranges))
})
.collect()
}