Skip to content

feat: enumerate complete raw maintenance populations - #670

Merged
zzylol merged 26 commits into
mainfrom
feat/maintenance-population-inventory
Sep 11, 2026
Merged

zzylol merged 26 commits into
mainfrom
feat/maintenance-population-inventory

Conversation

@zzylol

@zzylol zzylol commented Sep 11, 2026

Copy link
Copy Markdown
Contributor

Why

Group-aware maintenance must enumerate every durable physical population before choosing inputs. Filtering out an unbound historical SID could produce a partial outer summary.

What

Add a private complete raw population inventory over the existing SID metadata and durable parts. Keep the current singleton scheduler gate.

How

Hold the admission and instance snapshot, require finite raw closure, and union durable nonremoved and live SIDs. Every SID must be current, writable, raw, completed, and represented by durable coordinates. Return the existing SID/group/window map.

Before this PR

The coordinate helper rejected multiple SIDs and could only serve the singleton consumer.

After this PR

A future group-aware consumer can enumerate two distinct instance groups across two SIDs. A missing live binding for either retained durable SID rejects the inventory before any target mutation.

Verification

Limits

This is an inventory snapshot, not a publication capability. Consumers must still acquire frozen input proofs and revalidate lifetimes transactionally. Multi-group scheduling, versioned routing, continuous watermarks, and sliding execution remain separate work.

Stacked on #668.

@zzylol
zzylol marked this pull request as ready for review September 11, 2026 19:28
@zzylol
zzylol changed the base branch from feat/compile-multi-source-maintenance to main September 11, 2026 19:36
@zzylol
zzylol merged commit 70e5efd into main Sep 11, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant