Verifier
Reconstructs a settlement from two chain RPCs, the committed manifests and the guardian set. The application database is not an input.
A verification is a claim about a settlement under one deployment generation. A generation-1 settlement stays verifiable against generation-1 contracts forever, and the current generation cannot answer for it.
It proves what the chains and the guardian set say. It does not prove that the compliance attestation behind a COMMIT was honestly obtained: the contract checks that an authorised signer asserted eligibility and bound it to this settlement, and nothing on chain can check that the signer asked Cleanverse. With this deployment’s quorum of one, that is a trust assumption in the signer’s operator, recorded as T-08 in the threat register.