A declaration carries its order, and a host refuses an older one #59

2026-09-30T12:03:04Z

jschoubben commented

2026-09-30 12:03:04 +00:00

novox/hq issue 107, host half. A declaration's only identity was the digest of its bytes: a host could say "not the last" and could not say "older". On the link nothing refused an older one at all, and the drain picked the last to arrive.

A declaration may now carry a sequence. A host refuses one lower than what it kept, whole, and says why; the drain keeps the highest in a batch rather than the last to arrive.

Only when both sides claim an order. Absent reads as zero — no ordering claimed — so a controller that sends none is understood and a host that kept one before it understood them compares nothing. Hosts go first, the controller follows.

make check clean.

novox/hq issue 107, host half. A declaration's only identity was the digest of its bytes: a host could say "not the last" and could not say "older". On the link nothing refused an older one at all, and the drain picked the last to arrive. A declaration may now carry a `sequence`. A host refuses one lower than what it kept, whole, and says why; the drain keeps the highest in a batch rather than the last to arrive. **Only when both sides claim an order.** Absent reads as zero — no ordering claimed — so a controller that sends none is understood and a host that kept one before it understood them compares nothing. Hosts go first, the controller follows. `make check` clean.

jschoubben added 1 commit 2026-09-30 12:03:04 +00:00

A declaration carries its order, and a host refuses an older one 8431ecfb48

novox/hq 04-ISSUES/107. A declaration's only identity was the digest of
its bytes: a host could say "not the last" and could not say "older". On
the link, nothing refused an older one at all, and the drain picked the
last to arrive — wrong exactly when it mattered, a backlog drained out of
order or a broker that split a burst.

A declaration may now carry a sequence, one higher per send. A host
refuses one lower than what it kept, whole, and says why. The drain keeps
the highest sequence in a batch rather than the last to arrive.

Only when both sides claim an order. Absent reads as zero — "no ordering
claimed", not "first" — so a controller that sends none is still
understood and a host that kept one before it understood them compares
nothing. That is what lets hosts go first and the controller follow, which
is the order 087 says a new field needs.

jschoubben merged commit 422ad516d5 into main

2026-09-30 12:03:10 +00:00

jschoubben deleted branch feat/107-a-declaration-carries-its-order

2026-09-30 12:03:10 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: novox/mesh-host#59