Bounded, read-only KB integrity reporting: the passes kb-integrity runs under a work
meter (vaelii.impl.budget). vaelii.core requires this namespace; it requires
predall and provers, which also sit below vaelii.core. See docs/integrity.md.
Bounded, read-only KB integrity reporting: the passes `kb-integrity` runs under a work meter (`vaelii.impl.budget`). `vaelii.core` requires this namespace; it requires `predall` and `provers`, which also sit below `vaelii.core`. See docs/integrity.md.
The options kb-integrity reads: three cooperative bounds and the categories to run.
The options `kb-integrity` reads: three cooperative bounds and the categories to run.
(kb-integrity kb candidate-terms context)(kb-integrity kb candidate-terms context options)Run the bounded integrity sweep in context over the finite set of ground
candidate-terms. Answers {:status :audited :candidate-count n} when no pass finds
anything, :status :gap with the non-empty categories otherwise, and :status :truncated with its :reason, :work, :elapsed-ms and the findings kept before a
bound in options (integrity-opt-keys) ran out. :categories, a set of category
keys, runs those passes alone; without it the sweep runs every pass but the
review-categories. Reads only: a diagnostic raised by
evaluating a condition goes to a sink local to the call. See docs/integrity.md.
Run the bounded integrity sweep in `context` over the finite set of ground
`candidate-terms`. Answers `{:status :audited :candidate-count n}` when no pass finds
anything, `:status :gap` with the non-empty categories otherwise, and `:status
:truncated` with its `:reason`, `:work`, `:elapsed-ms` and the findings kept before a
bound in `options` (`integrity-opt-keys`) ran out. `:categories`, a set of category
keys, runs those passes alone; without it the sweep runs every pass but the
`review-categories`. Reads only: a diagnostic raised by
evaluating a condition goes to a sink local to the call. See docs/integrity.md.cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |