Narrowing the exceptWhen re-check to the firings a trigger can reach: a memory-only
filter over a queued rule's firings and recorded refusals, run before any level-6
query, in which every "cannot tell" answers keep. A settle pass reads it through
exception-blocked-set and released-refusals. See docs/exceptions.md, "Narrowing
the re-check to the firings a trigger can reach".
Narrowing the `exceptWhen` re-check to the firings a trigger can reach: a memory-only filter over a queued rule's firings and recorded refusals, run before any level-6 query, in which every "cannot tell" answers keep. A settle pass reads it through `exception-blocked-set` and `released-refusals`. See docs/exceptions.md, "Narrowing the re-check to the firings a trigger can reach".
(exception-blocked-set kb queued)(exception-blocked-set kb _queued cands)The blocked set after re-deciding the exceptions of exception-candidates' firings:
a block outside the candidates is carried forward, and every candidate is re-decided
from scratch. The whole set, since jtms/set-blocked replaces rather than adds.
cands is exception-candidates' answer for queued, when the caller holds it.
The blocked set after re-deciding the exceptions of `exception-candidates`' firings: a block outside the candidates is carried forward, and every candidate is re-decided from scratch. The whole set, since `jtms/set-blocked` replaces rather than adds. `cands` is `exception-candidates`' answer for `queued`, when the caller holds it.
(exception-candidates kb queued)The justifications of the queued rules whose block condition the queued triggers could
have flipped. One record fetch per rule, and none for a rule queued :all, which
keeps every firing. The block literals are the exception conjuncts read through
their query frames (rules/watched-literals), the NAF inner queries and the aggregate
bodies (docs/naf.md). A withdrawal marker adds the firings its own test keeps
(entailment-candidates, preserving-candidates, except-candidates).
The justifications of the queued rules whose block condition the queued triggers could have flipped. One record fetch per rule, and none for a rule queued `:all`, which keeps every firing. The block literals are the exception conjuncts read through their query frames (`rules/watched-literals`), the NAF inner queries and the aggregate bodies (docs/naf.md). A withdrawal marker adds the firings its own test keeps (`entailment-candidates`, `preserving-candidates`, `except-candidates`).
(released-refusals kb queued)The recorded refusals the queued triggers may have released: {:free [[rule-handle entry] …] :overflow [rule-handle …]}. Narrowed as exception-candidates narrows
justifications. A dead entry is dropped as it is read, and an overflowed rule is named
for the caller to re-join (docs/exceptions.md, "A refused firing is remembered as
bindings").
The recorded refusals the queued triggers may have released: `{:free [[rule-handle
entry] …] :overflow [rule-handle …]}`. Narrowed as `exception-candidates` narrows
justifications. A dead entry is dropped as it is read, and an overflowed rule is named
for the caller to re-join (docs/exceptions.md, "A refused firing is remembered as
bindings").(withdrawal-marker? t)Is queued trigger t one of special's withdrawal markers rather than a sentence?
Is queued trigger `t` one of `special`'s withdrawal markers rather than a sentence?
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 |