Cairn Docs Claims Blog Packages

Claim ยท cairn 0.5.2

cairn^913 http sends the request as given and returns the response as received

An assumption of cairn 0.5.2.

Id
cairn^913
Kind
assume
Reads as
retired
Version
0.5.2

All of cairn 0.5.2's claims

Evidence

retired Reissued as ^974: http gained a secret header and captured reply fields (#205), so a request with them is no longer sent and answered exactly as given; a published claim keeps its statement.

Where it's defined

Declaration
Cairn.Fuzz.Trusted.Claims.retired_913
Module
Cairn.Fuzz.Trusted.Claims
Source
lean/Cairn/Fuzz/Trusted/Claims.lean:64 at v0.5.2
Statement hash
-

Ledger

cairn^913 is retired in this version's claims.lock. An id never moves or changes meaning.