yap^332 The host answers requests by id, in order of commands

What it says

The host runs a step's commands in the order given, and a reply carries the id of the request it answers. Replies may be slow, fail, come out of order, twice, or never.

Evidence

assumed	Stated, not proved. The proofs rely on it.
fuzzed	Not shown yet: the claim-driven fuzzer held it in every random sequence (docs/fuzz.md). A CI step will publish it (#95).

Where it's defined

Declaration: Yap.hostRequests
Module: Yap
Source: lean/Yap.lean:435 at v0.1.0
Statement hash: -

Ledger

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