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

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

Parent epic: #15
Depends on: #20 #21
Refines canonical requirement: #5
Upstream: prolog-rlm#388 #396

Goal

Implement durable-source → semantic-compiler → validated projection publication without coupling source durability to compiler success.

Implement:

  • memory_symbolize/3-style library surface;
  • projection status/get/retry;
  • exact source-version/hash binding;
  • compiler/schema/config/run fingerprints;
  • provider/model usage lineage only when actually used;
  • source-span links for every accepted semantic record;
  • atomic projection publication after full validation;
  • idempotent same-input retry;
  • new generation on changed source/compiler/schema/config;
  • cancellation/failure with no half-published current projection.

Acceptance

Remember succeeds when compiler is absent/failing; successful projection survives restart; identical retry does not duplicate records; changed source gets new generation; generated semantic actions remain inert data.

Parent epic: #15 Depends on: #20 #21 Refines canonical requirement: #5 Upstream: prolog-rlm#388 #396 ## Goal Implement durable-source → semantic-compiler → validated projection publication without coupling source durability to compiler success. Implement: - `memory_symbolize/3`-style library surface; - projection status/get/retry; - exact source-version/hash binding; - compiler/schema/config/run fingerprints; - provider/model usage lineage only when actually used; - source-span links for every accepted semantic record; - atomic projection publication after full validation; - idempotent same-input retry; - new generation on changed source/compiler/schema/config; - cancellation/failure with no half-published current projection. ## Acceptance Remember succeeds when compiler is absent/failing; successful projection survives restart; identical retry does not duplicate records; changed source gets new generation; generated semantic actions remain inert data.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
nsaspy/symbolic-memory#27
No description provided.