Issue 107 is resolved: a declaration carries its order #217

2026-09-30T12:13:51Z

jschoubben commented

2026-09-30 12:13:51 +00:00

Hosts first, then the controller. A host refuses a lower sequence than it kept and drains a batch by sequence; the controller numbers each send under the node's hold, inside the signed bytes.

Measured: two pushes → sequence 2 in the kept declaration, store counters agree, no machine reads as behind. The subtlety: the mesh compares the digest of what it would send against what it did, and a number changes the bytes — so the read-only comparison composes with the last number sent, not a fresh one.

mesh-host #59, mesh-controller #160.

Hosts first, then the controller. A host refuses a lower sequence than it kept and drains a batch by sequence; the controller numbers each send under the node's hold, inside the signed bytes. Measured: two pushes → sequence 2 in the kept declaration, store counters agree, no machine reads as behind. The subtlety: the mesh compares the digest of what it *would* send against what it *did*, and a number changes the bytes — so the read-only comparison composes with the last number sent, not a fresh one. mesh-host #59, mesh-controller #160.

jschoubben added 1 commit 2026-09-30 12:13:52 +00:00

Issue 107 is resolved: a declaration carries its order 9eef0bd525

Hosts first, then the controller — a build and a push each, now that the
mesh delivers the host. The host refuses a lower sequence than it kept
and drains a batch by sequence rather than arrival; the controller
numbers each send under the node's hold, inside the signed bytes.

Measured: two pushes, sequence 2 in the kept declaration, counters in
the store agree, no machine reads as behind. That last one is the
subtlety: the mesh compares the digest of what it would send against
what it did, and a number changes the bytes, so the read-only comparison
composes with the last number sent rather than a fresh one.

jschoubben merged commit 846c1f85f2 into main

2026-09-30 12:13:58 +00:00

jschoubben deleted branch issue/107-resolved

2026-09-30 12:13:58 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: novox/hq#217