The Rust mutations showed a usage's quantity of the wrong type went uncaught, and the same held of
other forms and bounds the text states. Each now has a control, at its first value past the limit,
so the two implementations are held to the same limits. A clause `unhex` already made redundant
is gone. The document kind is in the registry.
The Python verifier stops a mutated copy at its first failure: it only asks whether one fails.
routes corpus: 236 vectors. route_record_verify.py: 103 checks, 1,119 mutated copies.
Co-Authored-By: Claude Opus 5.5 <[email protected]>