Expand description
Where a call to a provider stops, stage by stage.
The part crates/kernel/spec/Reach.lean specifies this module.
A refusal reading error sending request for url (...): operation timed out tells a person nothing they can act on. Four things go
wrong before a provider ever sees a request, and each has a different
next step: the name does not resolve (check the spelling, or the
proxy), the connection is refused or never answers (a firewall, a
wrong port, a proxy that is not running), the handshake fails (a
hostname that is not a legal DNS name, a certificate this machine
does not trust), or the provider answers with a status (401 is a key,
404 is a path). This is the vocabulary of that reading; gateway
takes it, because the reading needs a socket and this crate has none.
Structs§
- Reach
- One staged reading of one host.
Enums§
- Answered
- What the request itself did, once the transport was somebody else’s problem. Carries the handshake, because a TLS failure surfaces as a request that never got a status.
- Connected
- Whether a socket opened to the first address the name gave.
- Named
- How the name resolved.
- Proxying
- Which of this endpoint’s calls go through the machine’s proxy.
- Through
- What the city believes it will send this request through.