JSON to CSV Converter — illustrative example

INPUT
Convert [{"id":1,"name":"Ada"},{"id":2,"name":"Lee, Jo"}] to comma-separated CSV with a header and double-quote escaping.

RESULT
id,name
1,Ada
2,"Lee, Jo"

REVIEW
Converting between records and a table requires explicit nesting, type and missing-value rules. Keep reverse conversion as an option on the same utility.

This is a teaching example, not a live execution record.