A busca que não perde nada — e prova.

A garantia de completude

Para range e k-NN em L2, o SIEVE prova que nenhum vizinho dentro do raio ficou de fora. Não é 'recall 99%': é ausência provada — 'busquei tudo e não sobrou nenhum', a frase que compliance e forense compram.

• ▸Forense: achar todo caso que casa um padrão, sem falso negativo.
• ▸Detecção: doom-loop de agente (literal, cíclico, parafrástico) com zero falso positivo, medido em embeddings reais.
• ▸Ausência certificada: 'nenhum registro passou do teto' = faixa vazia provada.

Compõe com a família

SIEVE ∘ CLAMP = agregado certificado sobre vizinhança certificada. Provado em dado real (327/327, bracket de 2,26 °C = ε + busca). A completude habilita a atribuição, e a atribuição habilita a auditoria.

O limite honesto

O claim 'mais rápido que brute-force em RAM para L2' foi refutado e reportado — a força do SIEVE é a garantia (zero-FN determinístico), não a velocidade bruta. Dizemos o que medimos.