Skip to content

Give the resident supervisor its own answer to "are the residents loa… - #1330

Merged
noha merged 1 commit into
mainfrom
the-supervisor-knows-it-is-loaded
Oct 7, 2026
Merged

noha merged 1 commit into
mainfrom
the-supervisor-knows-it-is-loaded

Conversation

@noha

@noha noha commented Oct 7, 2026

Copy link
Copy Markdown
Contributor

…ded"

hasResidents stood for two different things: that an instance exists, and that the residents were loaded. For a database whose registry describes nothing they come apart: it is loaded, and nobody is in the supervisor. #loadFrom: let it be loaded again and again, and an embedder that asked before adding a resident to a running database was told the others were not loaded yet, so a switch it meant to throw only wrote its flag and nothing started.

#isLoaded answers whether #loadFrom: ran. #loadFrom: refuses a second load by it, also for an empty registry, and sets it once every instance exists. #hasResidents keeps its meaning, an instance is in here, and says so.

…ded"

hasResidents stood for two different things: that an instance exists, and that
the residents were loaded. For a database whose registry describes nothing they
come apart: it is loaded, and nobody is in the supervisor. #loadFrom: let it be
loaded again and again, and an embedder that asked before adding a resident to
a running database was told the others were not loaded yet, so a switch it
meant to throw only wrote its flag and nothing started.

#isLoaded answers whether #loadFrom: ran. #loadFrom: refuses a second load by
it, also for an empty registry, and sets it once every instance exists.
#hasResidents keeps its meaning, an instance is in here, and says so.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@noha
noha requested a review from MarcusDenker October 7, 2026 11:28
@noha
noha merged commit 808a6c0 into main Oct 7, 2026
5 checks passed
@noha
noha deleted the the-supervisor-knows-it-is-loaded branch October 7, 2026 11:43
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