[SLICE 10][CORE-C] Implement general semantic query API over current/history/support/reasoning cuts #21

New issue

Open

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

nsaspy commented

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

Owner

Parent epic: #14
Depends on: #24 #25 #26 #27
Refines: #7
Upstream reasoning: prolog-rlm#394

Goal

Expose one general library query substrate over persisted semantics rather than separate fact/procedure/time APIs.

Implement:

query by explicit semantic QueryIR/context/profile/frontier;
current/history/entity/rule/procedure/event/causal/constraint/claim query helpers;
support state + profile-relative acceptance passthrough to Prolog-RLM reasoning;
support/counterevidence/assumption/identity/provenance refs in results;
explicit unknown/conflicted/unsupported/resource-limited outcomes;
source expansion by authority-checked record/span ref;
stable explanation/replay receipt identities.

Acceptance

Provider-disabled fixtures answer taxonomy, temporal, default+exception, conflicting claims, causal/diagnostic, procedure branch and safe constraint questions after restart, with explicit false distinct from unknown and exact source/proof paths.

Parent epic: #14 Depends on: #24 #25 #26 #27 Refines: #7 Upstream reasoning: prolog-rlm#394 ## Goal Expose one general library query substrate over persisted semantics rather than separate fact/procedure/time APIs. Implement: - query by explicit semantic QueryIR/context/profile/frontier; - current/history/entity/rule/procedure/event/causal/constraint/claim query helpers; - support state + profile-relative acceptance passthrough to Prolog-RLM reasoning; - support/counterevidence/assumption/identity/provenance refs in results; - explicit unknown/conflicted/unsupported/resource-limited outcomes; - source expansion by authority-checked record/span ref; - stable explanation/replay receipt identities. ## Acceptance Provider-disabled fixtures answer taxonomy, temporal, default+exception, conflicting claims, causal/diagnostic, procedure branch and safe constraint questions after restart, with explicit false distinct from unknown and exact source/proof paths.

nsaspy referenced this issue

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

[SLICE 04][CORE-D] Implement Prolog-RLM semantic compiler adapter and independent projection lifecycle #27

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