[EPIC][CORE-C] World-model query + symbolic attention: epistemic recall, provenance, identity, bounded TAPS projections, and source dependence #35

New issue

Open

opened 2026-09-08 01:57:02 +00:00 by nsaspy · 0 comments

nsaspy commented

2026-09-08 01:57:02 +00:00

Owner

Parent: #11
Refines: #7 #10
Research: prolog-rlm#400 #403

Goal

Implement the durable query/attention surface that turns a huge semantic ledger into small, dependency-complete, provenance-bearing answers without flattening truth, relevance, identity, or coverage.

Own:

general semantic indexes over persisted #392 IR;
support/counterevidence/provenance lookup;
bitemporal/current/history query cuts;
reversible entity/concept/event/proposition identity mappings;
source-dependence/origin grouping;
TAPS hard admission + mandatory semantic dependency closure;
OATH support/opposition/defeater/freshness/identity/origin obligations;
MOSAIC/RSC-aware heterogeneous retrieval receipts where durable-memory backends participate;
RACE cache/generation/cursor state owned by the store;
bounded projection/source expansion APIs.

Prolog-RLM retains reasoning/profile semantics and Retrieval Expert policy. This epic provides durable indexed evidence and projection mechanics.

Hard invariants

retrieved != warranted
rank score != truth/confidence
same surface name != identity
same source copied N times != N independent origins
mandatory support/counterevidence closure cannot be silently token-trimmed
no retrieved defeater != proof no defeater exists

Acceptance

After restart, query facts/rules/time/defaults/conflicts/procedures/constraints with exact source/provenance, reverse an incorrect identity link, produce a bounded dependency-complete projection, and run known-symbolic queries with providers disabled.

Parent: #11 Refines: #7 #10 Research: prolog-rlm#400 #403 ## Goal Implement the durable query/attention surface that turns a huge semantic ledger into small, dependency-complete, provenance-bearing answers without flattening truth, relevance, identity, or coverage. Own: - general semantic indexes over persisted #392 IR; - support/counterevidence/provenance lookup; - bitemporal/current/history query cuts; - reversible entity/concept/event/proposition identity mappings; - source-dependence/origin grouping; - TAPS hard admission + mandatory semantic dependency closure; - OATH support/opposition/defeater/freshness/identity/origin obligations; - MOSAIC/RSC-aware heterogeneous retrieval receipts where durable-memory backends participate; - RACE cache/generation/cursor state owned by the store; - bounded projection/source expansion APIs. Prolog-RLM retains reasoning/profile semantics and Retrieval Expert policy. This epic provides durable indexed evidence and projection mechanics. ## Hard invariants ```text retrieved != warranted rank score != truth/confidence same surface name != identity same source copied N times != N independent origins mandatory support/counterevidence closure cannot be silently token-trimmed no retrieved defeater != proof no defeater exists ``` ## Acceptance After restart, query facts/rules/time/defaults/conflicts/procedures/constraints with exact source/provenance, reverse an incorrect identity link, produce a bounded dependency-complete projection, and run known-symbolic queries with providers disabled.

nsaspy referenced this issue

2026-09-08 01:57:39 +00:00

[EPIC][CORE] Library-first Symbolic Memory v1: durable semantic world model, learning history, federation, and zero-model recall #38