Function json_value_to_serde_json 

pub fn json_value_to_serde_json(jv: &JsonValue) -> Value

Convert a JsonValue into a serde_json::Value.

Inverse of serde_json_to_json_value (stdlib/json.rs:172-196). Used by N7 consumers that produce JSON strings: json.stringify (C7), http.post_json (C8), http.put_json (C9). Pair with heap_to_json_value to round-trip a HeapValue tree to a JSON string via serde_json::to_string(&v)? / to_string_pretty(&v)?.

JsonValue::Bytes maps to serde_json::Value::Array of u8-as- Number per JSON’s no-byte-array convention. JsonValue::Bytes is not currently produced by heap_to_json_value (the C2 walker has no path that emits Bytes); included here for completeness + bidirectional symmetry with future 3.C msgpack-binary parse paths per supervisor PB 3/4.