docs: dropped_note keeps its doc comment; desk door doc names the listing gate

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
This commit is contained in:
Eureka 2026-11-14 02:10:33 +00:00
commit 211f15559d
2 changed files with 10 additions and 3 deletions

View file

@ -109,9 +109,6 @@ impl Handled {
} }
} }
/// What the log says of the hits the mind held no document for: how many, and
/// the first few by name (a restored mind can leave hundreds), or nothing when
/// the mind held them all.
/// The door checks an account id; the Mind's desk calls take it as the text it is. /// The door checks an account id; the Mind's desk calls take it as the text it is.
fn short_id(id: AccountId) -> Short { fn short_id(id: AccountId) -> Short {
Short(id.0) Short(id.0)
@ -121,6 +118,9 @@ fn short_ids(ids: &[AccountId]) -> Vec<Short> {
ids.iter().map(|id| Short(id.0.clone())).collect() ids.iter().map(|id| Short(id.0.clone())).collect()
} }
/// What the log says of the hits the mind held no document for: how many, and
/// the first few by name (a restored mind can leave hundreds), or nothing when
/// the mind held them all.
fn dropped_note(dropped: &[PipelineRef]) -> Option<String> { fn dropped_note(dropped: &[PipelineRef]) -> Option<String> {
if dropped.is_empty() { if dropped.is_empty() {
return None; return None;

View file

@ -20,6 +20,13 @@
//! gets `deciders` empty, `answerer` nil and the counts instead. The reads carry no `authority` (a //! gets `deciders` empty, `answerer` nil and the counts instead. The reads carry no `authority` (a
//! payload that names one is refused whole), and the door has no other way to ask who is reading. //! payload that names one is refused whole), and the door has no other way to ask who is reading.
//! //!
//! The listing gate: a reader who is not a decider sees a fork only while a `desk_listing` for it is
//! in force, and a fork it may not see reads `fork_unknown`, the same bytes as a missing one, on
//! every desk operation, a replay of a stored answer included. The door never writes a listing; it
//! arrives by the RUDP Admit door only. Unlisting is a `Withdrawn` resolution on the listing, and
//! admitting the listing again after that returns `AlreadyAdmitted` and the fork stays hidden:
//! relisting is withdrawing the withdrawal, not a second admission.
//!
//! It owns no rule. Which Mind method answers is `Daemon::handle_desk`'s; when the door is //! It owns no rule. Which Mind method answers is `Daemon::handle_desk`'s; when the door is
//! served is `serve::run`'s, once per pass in the thread that owns the Mind. A peer that is //! served is `serve::run`'s, once per pass in the thread that owns the Mind. A peer that is
//! slow costs the loop at most `DESK_ACCEPTS_PER_PASS` connections of `DESK_CONNECTION_DEADLINE` //! slow costs the loop at most `DESK_ACCEPTS_PER_PASS` connections of `DESK_CONNECTION_DEADLINE`