fn extras_of(raw: &Value, known: &[&str]) -> Extras
The block’s own object minus the keys its typed arm read, kept verbatim so a decode is lossless.