#168: correct the audit's MISSING claim — the feature is documented, its index row was not
CI / contract (push) Successful in 41s
CI / build (push) Successful in 1m42s

The memberHerdrSocket section exists at 11-Features.md:2174; what was absent was
its row in the index table. My omission when I added the section. Wiki fixed at
b24965c.
This commit is contained in:
Dai Ha
2026-08-31 09:17:41 +07:00
parent e6193c4098
commit 2d55b0b9a5
+12 -5
View File
@@ -186,11 +186,18 @@ Chapter 13 now owns run and recovery instructions.
## MISSING
`11-Features.md` has no entry for **routing members through a separate herdr daemon**
(#185). Operators can set `memberHerdrSocket`; member spawn and member status use that
daemon, and `/healthz` becomes degraded if either the lead or member daemon is down.
Evidence: `FleetConfig.java:34-37` and `FleetApp.java:103-115`, `210-245`, and
`247-263`. Add one chapter-11 entry with the knob, why, and the two-daemon health gotcha.
`11-Features.md` has a body section for **routing members through a separate herdr daemon**
(`## memberHerdrSocket`, line 2174), but **no row in the index table** at the top of the page
(lines 20-95). That table is how the page is meant to be read, so a capability absent from it is
effectively undiscoverable. Lead note: this is my own omission — I added the section on 2026-08-31
and did not add the matching row. Fixed in the wiki at `68e32c6`'s successor.
The original audit stated the feature had no entry at all. That was wrong: the section exists. The
gap is the index row. Recorded here rather than silently corrected, because the difference matters —
"undocumented" and "documented but unindexed" are different jobs.
Evidence for the feature itself: `FleetConfig.java:34-37` and `FleetApp.java:103-115`, `210-245`,
and `247-263`.
## Audit method and coverage