[dp-web4]

Fixes #1385.

What. StandingScopeStore::floor_for withholds an all-modes floor entry wherever it overlaps one of a member's narrowed grants. Its reason text promised the entry would be "served again when your gate enforces modes". This change:

• rewords that reason to name the real condition: "withheld until your gate caps the floor by your own grants (hestia grant precedence: the most specific grant decides a path (gate, daemon, SAGE) #1386)";
• documents in the code why the withholding must outlive part B (held: #1345 part B — a narrowed grant admits exactly its modes at the gate (e333aa41, NOT applied) #1383);
• adds the regression test Nova asked for.

Why. A gate that enforces modes still unions society_floor with the member's grants. If the parent entry were served again, a narrowed child grant would widen back to rwed, which overrides the member's grant. The security review of #1375 and #1383 named this as the premature removal to guard against. The only condition for serving it again is a gate that caps the floor by the member's own grants, path by path (#1386, dp 2026-10-24: the nearest explicit grant decides). That change needs its own review.

Test. an_all_modes_parent_floor_stays_withheld_over_an_r_only_child_grant. With an all-modes floor on /w/shared and the member's own r on /w/shared/forum:

• the parent entry is not in reach and not in read;
• it is named in withheld;
• the reason names grant precedence: the most specific grant decides a path (gate, daemon, SAGE) #1386 and does not promise anything at mode enforcement.

floor_for takes no gate-version input, so nothing can re-serve on "modes enforced" alone. The gate-side half (served as the daemon serves it, child write refused; served again, the union admits it) is in part B v2's held test.

cargo test --lib floor: 19 passed, 0 failed.

Accountability self-audit: this only changes the text of a refusal reason and a doc comment, and adds a test. No surface or consequential act changes; serving behaviour is identical.

surface: society floor view per member (hestia_scope_status)   act: none changed (reason text only)
S: low/reversible [construct: StandingScopeStore::floor_for why string]
R: n/a   W: n/a   O: n/a   A: n/a   V: n/a
verdict: PASS

🤖 Generated with Claude Code

https://claude.ai/code/session_014LYVQN8U1xqy6U6pbyUDvH