pub fn records_to_json_array(records: &[Value]) -> String
Canonical JSON array projection of a record slice (§12.1).