feat: rename VS Code extension language ID and files from zon to zonf, update syntax highlighting rules, and add a developer experience section to the README.

Author: ronibhakta1

README.md

@@ -354,6 +354,12 @@ For nested objects and arrays, ZON omits the redundant colon, creating a cleaner
 user{name:Alice,roles[admin,dev]}
 ```
 (Note: `user{...}` instead of `user:{...}`)
+
+### Developer Experience
+ZON treats the format as a first-class language:
+- **VS Code Extension**: Syntax highlighting makes `.zonf` files readable.
+- **CLI**: `zon stats` gives immediate feedback on compression savings.
+- **Formatter**: `zon format` canonicalizes output for consistent diffs.
 - 💾 **Most Token-Efficient**: 4-15% fewer tokens than TOON across all tokenizers
 - 🎯 **JSON Data Model**: Encodes the same objects, arrays, and primitives as JSON with deterministic, lossless round-trips
 - 📐 **Minimal Syntax**: Explicit headers (`@(N)` for count, column list) eliminate ambiguity for LLMs

benchmarks/scripts/comprehensive-benchmark.js

@@ -133,19 +133,19 @@ for (const [categoryName, datasets] of Object.entries(categories)) {
   console.log(`\\n📈 ${categoryName}:`);
 
   const avgGPT = {
-    zonWins: datasets.filter(d => results.byDataset[d].gpt4o.zon < results.byDataset[d].gpt4o.toon).length,
+    zonWins: datasets.filter(d => results.byDataset[d].gpt4o.zonf < results.byDataset[d].gpt4o.toon).length,
     avgSavingsVsTOON: datasets.reduce((sum, d) => sum + results.byDataset[d].gpt4o.savingsVsTOON, 0) / datasets.length,
     avgSavingsVsJSON: datasets.reduce((sum, d) => sum + results.byDataset[d].gpt4o.savingsVsJSON, 0) / datasets.length
   };
 
   const avgClaude = {
-    zonWins: datasets.filter(d => results.byDataset[d].claude.zon < results.byDataset[d].claude.toon).length,
+    zonWins: datasets.filter(d => results.byDataset[d].claude.zonf < results.byDataset[d].claude.toon).length,
     avgSavingsVsTOON: datasets.reduce((sum, d) => sum + results.byDataset[d].claude.savingsVsTOON, 0) / datasets.length,
     avgSavingsVsJSON: datasets.reduce((sum, d) => sum + results.byDataset[d].claude.savingsVsJSON, 0) / datasets.length
   };
 
   const avgLlama = {
-    zonWins: datasets.filter(d => results.byDataset[d].llama.zon < results.byDataset[d].llama.toon).length,
+    zonWins: datasets.filter(d => results.byDataset[d].llama.zonf < results.byDataset[d].llama.toon).length,
     avgSavingsVsTOON: datasets.reduce((sum, d) => sum + results.byDataset[d].llama.savingsVsTOON, 0) / datasets.length,
     avgSavingsVsJSON: datasets.reduce((sum, d) => sum + results.byDataset[d].llama.savingsVsJSON, 0) / datasets.length
   };
@@ -159,19 +159,19 @@ console.log(`\\n\\n📊 OVERALL PERFORMANCE:`);
 
 const allDatasets = datasetNames;
 const overallGPT = {
-  zonWins: allDatasets.filter(d => results.byDataset[d].gpt4o.zon < results.byDataset[d].gpt4o.toon).length,
+  zonWins: allDatasets.filter(d => results.byDataset[d].gpt4o.zonf < results.byDataset[d].gpt4o.toon).length,
   avgSavingsVsTOON: allDatasets.reduce((sum, d) => sum + results.byDataset[d].gpt4o.savingsVsTOON, 0) / allDatasets.length,
   avgSavingsVsJSON: allDatasets.reduce((sum, d) => sum + results.byDataset[d].gpt4o.savingsVsJSON, 0) / allDatasets.length
 };
 
 const overallClaude = {
-  zonWins: allDatasets.filter(d => results.byDataset[d].claude.zon < results.byDataset[d].claude.toon).length,
+  zonWins: allDatasets.filter(d => results.byDataset[d].claude.zonf < results.byDataset[d].claude.toon).length,
   avgSavingsVsTOON: allDatasets.reduce((sum, d) => sum + results.byDataset[d].claude.savingsVsTOON, 0) / allDatasets.length,
   avgSavingsVsJSON: allDatasets.reduce((sum, d) => sum + results.byDataset[d].claude.savingsVsJSON, 0) / allDatasets.length
 };
 
 const overallLlama = {
-  zonWins: allDatasets.filter(d => results.byDataset[d].llama.zon < results.byDataset[d].llama.toon).length,
+  zonWins: allDatasets.filter(d => results.byDataset[d].llama.zonf < results.byDataset[d].llama.toon).length,
   avgSavingsVsTOON: allDatasets.reduce((sum, d) => sum + results.byDataset[d].llama.savingsVsTOON, 0) / allDatasets.length,
   avgSavingsVsJSON: allDatasets.reduce((sum, d) => sum + results.byDataset[d].llama.savingsVsJSON, 0) / allDatasets.length
 };