Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.1

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

An assumption of cairn 0.2.1.

Id
cairn^913
Kind
assume
Reads as
assumed
Version
0.2.1

All of cairn 0.2.1's claims

What it says

http sends the method, URL, headers and body as given and answers with the response's status, headers sorted by name and body exactly; a connection failure is network, no answer in time is timeout, and a non-http URL, a bad method or a header that could inject another is invalid and sends nothing.

Evidence

assumedStated, not proved. The proofs rely on it.
fuzzedNot shown yet: the trusted-base fuzzer's check effects.http held. A CI step will publish it (#95).

Where it's defined

Declaration
Cairn.Fuzz.Trusted.Claims.hostHttp
Module
Cairn.Fuzz.Trusted.Claims
Source
lean/Cairn/Fuzz/Trusted/Claims.lean:63 at v0.2.1
Statement hash
-

Ledger

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