From e44cbaf57fc34c5d5e88eca664afe32263fb997b Mon Sep 17 00:00:00 2001 From: jochen Date: Mon, 26 Oct 2026 21:12:48 +0100 Subject: [PATCH] A module with no floor holds no head back; a merge among its changes reads not yet on the machines (review of issue 1280, ADR 0556 clause 2) --- go/delivery/reach.go | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/go/delivery/reach.go b/go/delivery/reach.go index 31aeb51..ad84483 100644 --- a/go/delivery/reach.go +++ b/go/delivery/reach.go @@ -84,7 +84,8 @@ type Reach struct { // counting whether its health check passes or not; it is empty when a node that wants the module has no running have, or // runs a fingerprint not among Changes. Waiting names, in words, every node where the module is not settled (its have // different from its want, not running, or not healthy), with or without a floor: health is said here and never moves the -// floor (ADR 0556 clause 2). A module no node wants has neither. +// floor (ADR 0556 clause 2). A module whose floor is empty while a node wants it holds no head of the repository back: a +// reader takes a merge among its Changes as not yet on the machines, with these words. A module no node wants has neither. type ModuleReach struct { FP string `json:"fp,omitempty"` Nodes int `json:"nodes"`