Skip to content

Define retention roots and GC liveness #68

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
flyingrobots merged 23 commits into from
Jul 30, 2026
Merged

Define retention roots and GC liveness #68

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
3d9e378
Docs: Define retention and GC liveness
flyingrobots Jul 30, 2026
b9ee732
Fix: Preserve retention generation continuity
flyingrobots Jul 30, 2026
eaa39d7
Fix: Define deterministic retention realization
flyingrobots Jul 30, 2026
ac2ba76
Fix: Serialize GC execution with publication
flyingrobots Jul 30, 2026
9f9ba36
Fix: Require retained physical witnesses
flyingrobots Jul 30, 2026
8123107
Fix: Serialize retention with catalog publication
flyingrobots Jul 30, 2026
62cae09
Fix: Bind retention realization profile identity
flyingrobots Jul 30, 2026
006579c
Fix: Cap retention traversal resources
flyingrobots Jul 30, 2026
327a779
Fix: Separate retention and GC state subjects
flyingrobots Jul 30, 2026
bcb8efb
Fix: Lift GC liveness to immutable segments
flyingrobots Jul 30, 2026
c5265ea
Fix: Retire catalog references before segments
flyingrobots Jul 30, 2026
6c22f84
Fix: Require explicit recovery evidence disposition
flyingrobots Jul 30, 2026
7453b40
Fix: Define crash-safe GC retirement
flyingrobots Jul 30, 2026
bd8dbb5
Fix: Version the retention store namespace
flyingrobots Jul 30, 2026
6fca251
Fix: Bound retained namespace growth
flyingrobots Jul 30, 2026
f6b54d1
Fix: Bind complete liveness snapshot coordinates
flyingrobots Jul 30, 2026
55aa9ed
Fix: Restrict retention retry success to current state
flyingrobots Jul 30, 2026
7a2fb0f
Fix: Assign namespace continuity to version two
flyingrobots Jul 30, 2026
a5f9dfe
Fix: Bind retention receipts to exact evidence
flyingrobots Jul 30, 2026
356033a
Fix: Define reader safety fences for GC
flyingrobots Jul 30, 2026
9e788bf
Fix: Enforce the retention ADR size ceiling
flyingrobots Jul 30, 2026
a1c2e56
Fix: Preserve retained closures across catalogs
flyingrobots Jul 30, 2026
9953c23
Fix: Correct representation retention scope
flyingrobots Jul 30, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -303,6 +303,12 @@ after its public API and format compatibility policies are established.

### Added

- Accepted ADR-0009 defines caller-supplied retention namespaces,
`BlobId`/`LayoutId` reconstruction anchors, fail-closed canonical closure,
generation-checked retention publication, immutable liveness snapshots,
release nonclaims, and GC evidence boundaries. This records the M4 design
contract; it does not claim that retention transitions or GC are
implemented.
- Checked catalog generations; canonical catalog and publication-head codecs;
exact logical-record-to-segment admission with one bounded physical lookup
plan, one scan per referenced segment, and refusal of every unreferenced
Expand Down
Loading