[SLICE 05][CORE-B] Implement append-only semantic commit protocol and immutable full-IR persistence #26

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: #13
Depends on: #22
Refines: #6
Upstream IR: prolog-rlm#392

Goal

Persist validated semantic packages as immutable canonical history while preserving every material IR distinction and exact source/compiler lineage.

Implement:

semantic object/assertion/event/commit identities as separate records;
atomic append of one projection generation;
idempotency key + canonical digest conflict semantics;
full #392 constructor persistence without per-domain schema redesign;
lifecycle events for assert/supersede/retract/invalidate/conflict/corroborate;
explicit valid-time and known/transaction-time fields;
unknown/incompatible IR schema quarantine;
namespace isolation and provenance linkage.

Acceptance

Round-trip every major semantic class; same package retry is idempotent; same idempotency key/different digest hard-fails; correction never mutates old record; source/compiler/projection/commit identities remain independently inspectable.

Parent epic: #13 Depends on: #22 Refines: #6 Upstream IR: prolog-rlm#392 ## Goal Persist validated semantic packages as immutable canonical history while preserving every material IR distinction and exact source/compiler lineage. Implement: - semantic object/assertion/event/commit identities as separate records; - atomic append of one projection generation; - idempotency key + canonical digest conflict semantics; - full #392 constructor persistence without per-domain schema redesign; - lifecycle events for assert/supersede/retract/invalidate/conflict/corroborate; - explicit valid-time and known/transaction-time fields; - unknown/incompatible IR schema quarantine; - namespace isolation and provenance linkage. ## Acceptance Round-trip every major semantic class; same package retry is idempotent; same idempotency key/different digest hard-fails; correction never mutates old record; source/compiler/projection/commit identities remain independently inspectable.

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