pub fn encode_value(value: &CodeValue) -> Value
Encodes a Code Mode value into a JSON-safe tagged representation.