Mnestic projection generation behind HydraMem's interface with atomic publish #3

New issue

Open

opened 2026-09-02 07:53:30 +00:00 by larandar · 1 comment

larandar commented

2026-09-02 07:53:30 +00:00

Owner

Proposal

.hydramem/projections/mnestic/<generation>/: build fresh, validate, atomically advance the generation marker; readers hold stable snapshots; no in-place mutation of a published generation (ADR-0001 §6).

Design

docs/handoff.md §HydraMem and Mnestic. Projection interface owned by HydraMem; this unit adds the Mnestic generation writer.

Tasks

generation writer against a test engine behind the engine trait
atomic marker publish; reader snapshot semantics
corrupt-generation withdrawal per §Failure behavior

Requirement scenario

GIVEN a reader on generation N, WHEN generation N+1 publishes, THEN the reader completes on N and the next open sees N+1; a half-written generation is never observable.

Specification-completion clause (OD-1 / #34)

The production storage engine (SQLite vs RocksDB) awaits OD-1. This unit lands the trait plus a test-only engine; the engine module is the only file the ruling touches.

## Proposal `.hydramem/projections/mnestic/<generation>/`: build fresh, validate, atomically advance the generation marker; readers hold stable snapshots; no in-place mutation of a published generation (ADR-0001 §6). ## Design `docs/handoff.md` §HydraMem and Mnestic. Projection interface owned by HydraMem; this unit adds the Mnestic generation writer. ## Tasks - [ ] generation writer against a test engine behind the engine trait - [ ] atomic marker publish; reader snapshot semantics - [ ] corrupt-generation withdrawal per §Failure behavior ## Requirement scenario GIVEN a reader on generation N, WHEN generation N+1 publishes, THEN the reader completes on N and the next open sees N+1; a half-written generation is never observable. ## Specification-completion clause (OD-1 / #34) The production storage engine (SQLite vs RocksDB) awaits OD-1. This unit lands the trait plus a test-only engine; the engine module is the only file the ruling touches.

larandar referenced this issue

2026-09-02 07:55:22 +00:00

Slice 2 — persistent facts in HydraMem #28

larandar referenced this issue

2026-09-02 07:55:44 +00:00

OD-1: projection engine — SQLite or RocksDB inside the Mnestic generation #34

larandar added the

Kind/Feature

label

2026-09-02 07:58:33 +00:00

larandar added a new dependency

2026-09-02 08:00:00 +00:00

#28 Slice 2 — persistent facts in HydraMem

larandar commented

2026-09-02 08:46:49 +00:00

Author

Owner

Mnestic projection generation behind HydraMem's interface with atomic publish

State: open · Labels: Kind/Feature · Comments: 0

Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3.

# Mnestic projection generation behind HydraMem's interface with atomic publish State: `open` · Labels: Kind/Feature · Comments: 0 _Rendered by CurryComb slice 1 projection v1. The body will be replaced by rule-derived content in Slice 3._

larandar added the

Status/In Progress

label

2026-09-02 08:54:01 +00:00

larandar self-assigned this

2026-09-02 08:54:01 +00:00

larandar referenced this issue

2026-09-20 03:47:33 +00:00

OD-1: projection engine — SQLite or RocksDB inside the Mnestic generation #34