Semantic search

Hits with similarity scores (forge shape). With beliefs: true, each hit also carries belief: null for a memory with no subject (absent, not unknown), else current / superseded (with superseded_by) / contested (more than one live claim — do not render one as the answer) / unasserted. exclude_superseded filters the retired ones and reports the count in beliefs.

With regimes: true, each hit also carries regime: regime_agnostic: true with applicability: null for an UNSCOPED memory — which means it applies EVERYWHERE, the algebra's explicit default and not an unknown — else applicable / inapplicable_ended (the phase ended; it still applied while it ran) / inapplicable_void (the phase never applied at any T) / inapplicable_until_adjudicated (two active regimes conflict and nobody has ruled — a dead end only an operator moves) / inapplicable_adjudicated / not_yet_applicable. regime: null is different again: no fold was available. exclude_inapplicable filters and reports its count, and KEEPS regime-agnostic hits.

With warrants: true, each hit also carries warrant: examined: false with status: null for a memory NO EDGE BEARS ON — nobody has stated a reason about it, which is not a doubt and not a defeat — else warranted / defeated / unsupported (every reason that bore on it has been withdrawn, defeated or discounted). fold_status always carries the kernel's own word beside the softened one. warrant: null is different again: no fold was available. exclude_defeated filters and reports its count, and KEEPS unexamined hits.

COST: there is no batch acceptance verb, so each distinct hit is one whole-workspace warrant fold PLUS one assertion-log oracle build upstream. warrants.targets_folded and warrants.oracle_builds are that call count, on the response. A workspace with no warrant records pays ONE probe for the whole page.

With correspondence: true, each subjected hit also carries correspondence: split_risk: true means at least one live corresponds link names this subject and NO operator has ruled — so the belief fold you are reading may be SPLIT across more than one key, and Phase 1's supersession guarantee may not be applying. corresponds_to lists the proposals, identified_with the pairs an operator actually ruled on, disputed whether anything conflicts. beliefs_unioned is always false, on the wire, because corresponds is not identity (CR2) and unioning two subjects would merge two facts nobody agreed were one. There is NO filter argument here, deliberately: a mark that changes no status, a payload the fold ignores, and the flag marking the rows an operator most needs to see are the only three things one could key on.

COST: ONE whole-workspace identities call (also the probe) plus ONE scoped neighborhood call per DISTINCT SUBJECT on the page. correspondence.upstream_calls is that number. A workspace with no correspondence records pays exactly one call for the whole page.