[SLICE 06][CORE-B] Build bitemporal current/history projections and lifecycle resolution #25

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

Parent epic: #13
Depends on: #23
Refines: #6

Goal

Build rebuildable current/history views over canonical append-only semantic history.

Implement:

  • explicit valid_at vs known_at query coordinates;
  • current-active resolution for supersession/retraction/invalidation/temporal expiry;
  • historical cut queries preserving what was known at a past frontier;
  • conflict plurality instead of last-write-wins;
  • projection generation/freshness metadata;
  • deterministic rebuild from canonical ledger;
  • stale-view rejection when query requires exact current state.

Acceptance

Fixtures prove historical truth vs historical knowledge are distinct; correction today can alter today's view of past validity without rewriting what the system knew yesterday; retraction does not synthesize negation; cache/view deletion followed by rebuild yields equivalent normalized results.

Parent epic: #13 Depends on: #23 Refines: #6 ## Goal Build rebuildable current/history views over canonical append-only semantic history. Implement: - explicit `valid_at` vs `known_at` query coordinates; - current-active resolution for supersession/retraction/invalidation/temporal expiry; - historical cut queries preserving what was known at a past frontier; - conflict plurality instead of last-write-wins; - projection generation/freshness metadata; - deterministic rebuild from canonical ledger; - stale-view rejection when query requires exact current state. ## Acceptance Fixtures prove historical truth vs historical knowledge are distinct; correction today can alter today's view of past validity without rewriting what the system knew yesterday; retraction does not synthesize negation; cache/view deletion followed by rebuild yields equivalent normalized results.
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#25
No description provided.