=

The passage around this formula

The standard escape hatch is idempotency, and RFC 9110 gives the definition that everything else builds on: “A request method is considered ‘idempotent’ if the intended effect on the server of multiple identical requests with that method is the same as the effect for a single such request” [ 5 ] . The specification connects this directly to the failure case above, noting that some requests can be automatically retried by a client in the event of an underlying connection failure [ 5 ] . In the transition-function model, writing the state component of the tool as $\delta_t$ , the property is: $\delta_t\big(a,\ \delta_t(a,\ \sigma)\big) = \delta_t(a,\ \sigma)$. Repeating the call with the same arguments leaves the world where the first call…

Read this part in the article →