Skip to content

Retire the srv1 sum: main supersedes the revision srv1 is running #10803

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
briansrls merged 16 commits into from
Sep 7, 2026
Merged

Retire the srv1 sum: main supersedes the revision srv1 is running #10803

Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
a8fa2b0
Conformance is a design principle with its own reviewers: §3b, a doma…
Sep 6, 2026
92d30ef
chore: regenerate drifted generated artifacts (ci auto-heal)
Sep 6, 2026
883d237
Author §3b in the DESIGN generator and hash homes and answer algebra …
Sep 6, 2026
515ebcd
Regenerate DESIGN.md with §3b from the model
Sep 6, 2026
8868e16
Consumption is a design principle with its own reviewer: DESIGN §3c, …
Sep 6, 2026
e3bd8ca
A reviewer's turn ends when its verdict exists, and it is told where …
Sep 6, 2026
53afe7b
Merge remote-tracking branch 'origin/conformance-criterion' into srv1…
Sep 6, 2026
6fcd319
Merge remote-tracking branch 'origin/reviewer-press' into srv1-sum
Sep 6, 2026
7f511d0
The fabric event-log root is an owned deployment member, so a seat bi…
Sep 6, 2026
d76e946
Merge remote-tracking branch 'origin/event-log-root' into srv1-sum
Sep 6, 2026
b2ab967
A deployment converges on member identities: tree publication, execut…
Sep 6, 2026
2081e8f
Merge remote-tracking branch 'origin/deploy-member-identity' into srv…
Sep 6, 2026
740c11f
Merge remote-tracking branch 'origin/main' into srv1-sum-refresh
Sep 7, 2026
df79026
Restore the event-log lane emitter arms the re-sum dropped
Sep 7, 2026
542c034
Root ownership is read through a modelled operation, not LocalShell t…
Sep 7, 2026
6b0b468
Retire the srv1 sum: main supersedes the revision srv1 is running
Sep 7, 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

These merge commits were added into this branch cleanly.

There are no new changes to show.