Both independent codecs must fully decode `bytes` AND agree on the decoded structure (after bignum-representation canonicalization, see `fold_bignums`). Any error names which codec failed and why; a tree mismatch dumps both trees. Anti-vacuity: a truncated (malformed) case must FAIL this — a decoder that accepts anything can't pass (see the gate's negative control).
(bytes: &[u8])
source not stored for this graph (policy: none)
no test coverage detected