Fix build library list
ober
f287097be8ed1f6d695313104b7250e5c5226230
--- a/data/anti-patterns.sexp +++ b/data/anti-patterns.sexp @@ -4120,4 +4120,26 @@ "jerboa_verify" "hybrid equivalence test" "focused A/B benchmark" + "jerboa_security_scan")) + (("advice" + . + "Stream complete candidate scores directly into a deterministic worst-first heap bounded by the result limit. Keep document-score accumulation for multi-contribution cases such as multi-term queries, preserve score and document-ID tie ordering, verify against the materialized reference, and benchmark score production plus selection.") + ("avoid" + . + "Do not allocate one score-table entry per match when each candidate is visited exactly once and that visit yields its complete score. A bounded top-k API does not save O(matches) memory if an O(matches) accumulator is still built first.") + ("id" . "materializing-single-contribution-score-table") + ("kinds" "module" "test") + ("pattern" + . + "single-term.*(?:score|scores).*(?:hash|table)|hash-put!.*score.*top-k") + ("severity" . "medium") + ("tags" "search" "top-k" "streaming" "heap" "score-accumulator" + "memory") + ("title" + . + "Do Not Materialize Scores When Each Candidate Contributes Once") + ("tools" + "jerboa_verify" + "ranking equivalence test" + "focused accumulator benchmark" "jerboa_security_scan"))) --- a/support/build.ss +++ b/support/build.ss @@ -81,7 +81,6 @@ (jerboa core) (jerboa runtime) (jerboa ffi) - (jerboa modules) (jerboa build) (jerboa typed parser) (jerboa typed checker)