generateJson
Generates the machine-readable JSON report envelope: { graph, summary, violations, generatedAt, aalekhVersion }.
Generates the machine-readable JSON report envelope: { graph, summary, violations, generatedAt, aalekhVersion }.