Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/coverage/pinned-surface
Original file line number Diff line number Diff line change
Expand Up @@ -78,6 +78,7 @@ module src/session/device.rs The device identity, whose identifier is one
module src/server/mod.rs The server module and what it places at its own boundary.
module src/server/address.rs The address a person typed, parsed and refused where it is not usable.
module src/server/certificate.rs The one exception 0029 admits to certificate validation: which certificate an operator pinned for which server, and what a pin never vouches for. A defect here accepts a certificate nobody asserted was theirs, or turns one server's key into something that can answer for a name the person never typed.
module src/server/destinations.rs 0069's set of destinations, the comparison an origin is admitted by, and what a redirect leaving the origin a request was sent to does. A defect here follows a server's redirect out to a host nobody configured, which is an address and a device identity reaching somewhere the operator never chose, or admits a host on a core nothing has been configured on, where 0068 says the set is empty.
module src/server/federation.rs Which second host a request may reach, and the deliberate act that admits one.
module src/server/recovery.rs 0045's schedule for a server that is gone: when the next probe is due, where the doubling stops, and the hour after which the core stops asking. A defect here is a radio kept busy overnight on a device in somebody's bag, or a server that came back and was noticed hours later.
module src/server/retry.rs 0038's one policy for every request the core makes: which kinds are retried inside a call, how many attempts one call may spend, the interval each wait is drawn over, and the deadline that ends it. A defect here retries something that changed the server, or keeps a caller waiting past the point 0007 says an answer is not coming.
Expand Down
4 changes: 4 additions & 0 deletions src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -141,6 +141,10 @@ const _: () = {
any_thread::<diagnostics::redaction::Correlator>();
any_thread::<server::QueryResult>();
any_thread::<server::federation::Federation<'static>>();
any_thread::<server::destinations::Destinations>();
any_thread::<server::destinations::AdmittedOrigin>();
any_thread::<server::destinations::WhatConfiguringDid>();
any_thread::<server::destinations::WhatARedirectDoes>();
any_thread::<server::certificate::Fingerprint>();
any_thread::<server::certificate::PresentedChain<'static>>();
any_thread::<server::certificate::Refused<'static>>();
Expand Down
Loading
Loading