count

open override fun count(): Int

Get the total count of propositions.


open override fun count(query: PropositionQuery): Int

Filtered count pushed into the DB: same where block as query, counted server-side instead of materialising and sizing the rows. Non-default decay can't push onto the materialised effectiveConfidence column, so that case falls back to counting query's live-decay result.

A PropositionQuery.limit caps the count, mirroring the SPI default (query(query).size) and the in-memory store, which both size a limit-truncated result — a server-side count() would otherwise count every match and ignore the cap.