[SLICE 12][CORE-C] Implement RACE durable cursor/cache generations, invalidation fingerprints, and replayable retrieval receipts #19

New issue

Open

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

nsaspy commented

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

Owner

Parent epic: #14
Depends on: #29
Research: prolog-rlm#403C/#403D

Goal

Implement the store-side durable state needed for heterogeneous retrieval execution without making backend statistics or cache state epistemic truth.

Implement:

versioned retrieval/cache keys including exact cut, query/obligation plan, identity/dependence/freshness generations and backend/index/translator generations;
snapshot-safe cursors/pages;
deterministic normalized candidate identities independent of async arrival order;
source/backend receipt persistence where policy permits;
dependency-directed cache invalidation;
stale/lagging/partial backend status;
retained-response replay vs deterministic local reexecution vs live remote requery lineage;
cancellation/late-response discard receipts.

Acceptance

Mixed-generation pagination is rejected/marked partial; async response permutation yields identical normalized result; cache invalidates only actual dependents; stale cache cannot answer as exact; remote requery creates new observation lineage; no cache hit grants authority or warrant.

Parent epic: #14 Depends on: #29 Research: prolog-rlm#403C/#403D ## Goal Implement the store-side durable state needed for heterogeneous retrieval execution without making backend statistics or cache state epistemic truth. Implement: - versioned retrieval/cache keys including exact cut, query/obligation plan, identity/dependence/freshness generations and backend/index/translator generations; - snapshot-safe cursors/pages; - deterministic normalized candidate identities independent of async arrival order; - source/backend receipt persistence where policy permits; - dependency-directed cache invalidation; - stale/lagging/partial backend status; - retained-response replay vs deterministic local reexecution vs live remote requery lineage; - cancellation/late-response discard receipts. ## Acceptance Mixed-generation pagination is rejected/marked partial; async response permutation yields identical normalized result; cache invalidates only actual dependents; stale cache cannot answer as exact; remote requery creates new observation lineage; no cache hit grants authority or warrant.

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

nsaspy referenced this issue

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

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

nsaspy referenced this issue

2026-09-08 01:59:55 +00:00

[SLICE 27][CORE-H] Symbolic Memory v1 north-star integration: heterogeneous corpus → durable semantics → bounded zero-model reasoning → learned-history replay #4