Only a decode ties pictures to a stream: a signer can state any figures and supply pictures that give them, and §7 step 11 accepted such pictures while §8.3.1 and §13 called the figures the stream's. A verdict now says decoded, handed or stated, and only decoded makes the figures the stream's. verify_with takes Pictures::Decoded or Pictures::Handed and returns a Verdict; decoded needs the stream step 8 held. The corpus records the case: a record stating the perfect score of the encoder's own input is accepted as handed and refused as decoded, in both verifiers. wai_encode_measure quality --record now signs as the record's own signer: --key is required, a key of another signer is refused, and issued_at is when it signed again (record::add_quality). A sum of 0 prints as exact, as staged-measurement §4.7 says, and the tool says which pictures it read. A test drives the tool end to end. Co-Authored-By: Claude Opus 5.5 <[email protected]>
162 KiB
162 KiB